Efficient Mitigation of Data and Control Flow Errors in Microprocessors

The use of microprocessor-based systems is gaining importance in application domains where safety is a must. For this reason, there is a growing concern about the mitigation of SEU and SET effects. This paper presents a new hybrid technique aimed to protect both the data and the control-flow of embedded applications running on microprocessors. On one hand, the approach is based on software redundancy techniques for correcting errors produced in the data. On the other hand, control-flow errors can be detected by reusing the on-chip debug interface, existing in most modern microprocessors. Experimental results show an important increase in the system reliability even superior to two orders of magnitude, in terms of mitigation of both SEUs and SETs. Furthermore, the overheads incurred by our technique can be perfectly assumable in low-cost systems.

New hybrid materials based on the grafting of Pd(II)-amino complexes on the graphitic surface of AC: preparation, structures and catalytic properties

A novel procedure for the preparation of solid Pd(II)-based catalysts consisting of the anchorage of designed Pd(II)-complexes on an activated carbon (AC) surface is reported. Two molecules of the Ar–S–F type (where Ar is a plane-pyrimidine moiety, F a Pd(II)-ligand and S an aliphatic linker) differing in F, were grafted on AC by π–π stacking of the Ar moiety and the graphene planes of the AC, thus favouring the retaining of the metal-complexing ability of F. Adsorption of Pd(II) by the AC/Ar–S–F hybrids occurs via Pd(II)-complexation by F. After deep characterization, the catalytic activities of the AC/Ar–S–F/Pd(II) hybrids on the hydrogenation of 1-octene in methanol as a catalytic test were evaluated. 100% conversion to n-octane at T = 323.1 K and P = 15 bar, was obtained with both catalysts and most of Pd(II) was reduced to Pd(0) nanoparticles, which remained on the AC surface. Reusing the catalysts in three additional cycles reveals that the catalyst bearing the F ligand with a larger Pd-complexing ability showed no loss of activity (100% conversion to n-octane) which is assigned to its larger structural stability. The catalyst with the weaker F ligand underwent a progressive loss of activity (from 100% to 79% in four cycles), due to the constant aggregation of the Pd(0) nanoparticles. Milder conditions, T = 303.1 K and P = 1.5 bar, prevent the aggregation of the Pd(0) nanoparticles in this catalyst allowing the retention of the high catalytic efficiency (100% conversion) in four reaction cycles.

Industrial Material Exchange Service /

The Industrial Material Exchange Service (IMES) program is a free service designed to provide a mechanism for recycling and reusing unwanted materials. The exchange program maintains and distributes listings of materials both wanted and available provided by our participants. Through IMES, waste generators can be matched with waste users. Any material, either non-hazardous or hazardous that is available from one business yet has potential reuse by another, can be a part of the exchange. IMES functions as an information clearinghouse for industrial by-products, surplus materials, waste and other forms of unwanted industrial materials. The goal of the IMES program is to conserve energy, resources and landfill space by helping find alternatives to disposal of what might be a valuable material.

Flexible proof reuse for software verification

Proof reuse, or analogical reasoning, involves reusing the proof of a source theorem in the proof of a target conjecture. We have developed a method for proof reuse that is based on the generalisation replay paradigm described in the literature, in which a generalisation of the source proof is replayed to construct the target proof. In this paper, we describe the novel aspects of our method, which include a technique for producing more accurate source proof generalisations (using knowledge of the target goal), as well as a flexible replay strategy that allows the user to set various parameters to control the size and the shape of the search space. Finally, we report on the results of applying this method to a case study from the realm of software verification.

Supporting the software testing process through specification animation

Achieving consistency between a specification and its implementation is an important part of software development. In this paper, we present a method for generating passive test oracles that act as self-checking implementations. The implementation is verified using an animation tool to check that the behavior of the implementation matches the behavior of the specification. We discuss how to integrate this method into a framework developed for systematically animating specifications, which means a tester can significantly reduce testing time and effort by reusing work products from the animation. One such work product is a testgraph: a directed graph that partially models the states and transitions of the specification. Testgraphs are used to generate sequences for animation, and during testing, to execute these same sequences on the implementation.

Metrics for ranking ontologies

Representing knowledge using domain ontologies has shown to be a useful mechanism and format for managing and exchanging information. Due to the difficulty and cost of building ontologies, a number of ontology libraries and search engines are coming to existence to facilitate reusing such knowledge structures. The need for ontology ranking techniques is becoming crucial as the number of ontologies available for reuse is continuing to grow. In this paper we present AKTiveRank, a prototype system for ranking ontologies based on the analysis of their structures. We describe the metrics used in the ranking system and present an experiment on ranking ontologies returned by a popular search engine for an example query.

Enhanced semantic access to formal software models

The success of the Semantic Web, as the next generation of Web technology, can have profound impact on the environment for formal software development. It allows both the software engineers and machines to understand the content of formal models and supports more effective software design in terms of understanding, sharing and reusing in a distributed manner. To realise the full potential of the Semantic Web in formal software development, effectively creating proper semantic metadata for formal software models and their related software artefacts is crucial. In this paper, a methodology with tool support is proposed to automatically derive ontological metadata from formal software models and semantically describe them.

Is question answering fit for the semantic web? A survey

With the recent rapid growth of the Semantic Web (SW), the processes of searching and querying content that is both massive in scale and heterogeneous have become increasingly challenging. User-friendly interfaces, which can support end users in querying and exploring this novel and diverse, structured information space, are needed to make the vision of the SW a reality. We present a survey on ontology-based Question Answering (QA), which has emerged in recent years to exploit the opportunities offered by structured semantic information on the Web. First, we provide a comprehensive perspective by analyzing the general background and history of the QA research field, from influential works from the artificial intelligence and database communities developed in the 70s and later decades, through open domain QA stimulated by the QA track in TREC since 1999, to the latest commercial semantic QA solutions, before tacking the current state of the art in open user-friendly interfaces for the SW. Second, we examine the potential of this technology to go beyond the current state of the art to support end-users in reusing and querying the SW content. We conclude our review with an outlook for this novel research area, focusing in particular on the R&D directions that need to be pursued to realize the goal of efficient and competent retrieval and integration of answers from large scale, heterogeneous, and continuously evolving semantic sources.

Integration of semantically annotated data by the KnoFuss architecture

Most of the existing work on information integration in the Semantic Web concentrates on resolving schema-level problems. Specific issues of data-level integration (instance coreferencing, conflict resolution, handling uncertainty) are usually tackled by applying the same techniques as for ontology schema matching or by reusing the solutions produced in the database domain. However, data structured according to OWL ontologies has its specific features: e.g., the classes are organized into a hierarchy, the properties are inherited, data constraints differ from those defined by database schema. This paper describes how these features are exploited in our architecture KnoFuss, designed to support data-level integration of semantic annotations.

Implications of query caching for JXTA peers

This dissertation studies the caching of queries and how to cache in an efficient way, so that retrieving previously accessed data does not need any intermediary nodes between the data-source peer and the querying peer in super-peer P2P network. A precise algorithm was devised that demonstrated how queries can be deconstructed to provide greater flexibility for reusing their constituent elements. It showed how subsequent queries can make use of more than one previous query and any part of those queries to reconstruct direct data communication with one or more source peers that have supplied data previously. In effect, a new query can search and exploit the entire cached list of queries to construct the list of the data locations it requires that might match any locations previously accessed. The new method increases the likelihood of repeat queries being able to reuse earlier queries and provides a viable way of by-passing shared data indexes in structured networks. It could also increase the efficiency of unstructured networks by reducing traffic and the propensity for network flooding. In addition, performance evaluation for predicting query routing performance by using a UML sequence diagram is introduced. This new method of performance evaluation provides designers with information about when it is most beneficial to use caching and how the peer connections can optimize its exploitation.

Domain Modeling to Support Anti-cyber Crime Education

This paper describes an approach to a computer-based learning of educational material. We define a model for the class of subjects of our interest - teaching of investigation and prevention of computer crimes, (those including both theoretical and practical issues). From this model, specific content outlines can be derived as subclasses and then instanced into actual domains. The last step consists in generating interactive documents, which use the instanced domain. Students can explore these documents through a web browser. Thus, an interactive learning scenario is created. This approach allows reusing and adapting the contents to a variety of situations, students and teaching purposes.

An automated tool for semantic accessing to formal software models

Many software engineers have found that it is difficult to understand, incorporate and use different formal models consistently in the process of software developments, especially for large and complex software systems. This is mainly due to the complex mathematical nature of the formal methods and the lack of tool support. It is highly desirable to have software models and their related software artefacts systematically connected and used collaboratively, rather than in isolation. The success of the Semantic Web, as the next generation of Web technology, can have profound impact on the environment for formal software development. It allows both the software engineers and machines to understand the content of formal models and supports more effective software design in terms of understanding, sharing and reusing in a distributed manner. To realise the full potential of the Semantic Web in formal software development, effectively creating proper semantic metadata for formal software models and their related software artefacts is crucial. This paper proposed a framework that allows users to interconnect the knowledge about formal software models and other related documents using the semantic technology. We first propose a methodology with tool support is proposed to automatically derive ontological metadata from formal software models and semantically describe them. We then develop a Semantic Web environment for representing and sharing formal Z/OZ models. A method with prototype tool is presented to enhance semantic query to software models and other artefacts. © 2014.

Gestão e gerenciamento de resíduos sólidos: diretrizes jurídico-ambientais para a sustentabilidade

rates in the Brazilian cities, which time there is an inexistent theoretical reflection about public policy statement adding the way of Urban Solid Waste (USW) and tailing integrated management plans in the majorly Brazilian cities. The unappropriated solid waste disposal and final pollution result in a strong socioenvironmental problems and material extravagancies that should be used to recycling and reusing waste material, besides bringing immense challenges for the thematic Strategy Urban and Environmental Management it considers the Sustainable City Model. Moreover, this labor projects a discussion about USW problematic through legally and environmentally point of view, including the public environmental policy and the social technologies as resolution tactics. At that time, it reports rights, scientific articles, documents and Environmental Law Doctrine on findings thematic studies, also the propose displays an interdisciplinary research methodology which combines bibliographic method - focusing theory aspects of the legally environmentally guiding principle, public policy and social technologies. Those are theorist features very important to create a Municipal Integrated Solid Waste Management Plan (PMGIRS) - modus operandi of the Federal Law n. 12.305/2010 (National Solid Waste Policy - PNRS). That policy is interesting to receive financial resources from federal government (Cities Ministry; idem, Federal Decree n. 7.404/2010 and Federal Law n. 10.257/2001) helping the preservation of the environment, regional development, generation of jobs and income (art. 6º), in addition broadening spreading’s private companies dedicated to waste management. Consequently, the PNRS contains a set of guidelines and general procedures; it should be an operation of this legal policy contextualized by Social Technologies theory (TS) into social issues, legal, economic and environmental aspects. Therefore, this research notes the possibility of public policy statement implementation over and done with the PNRS by the terms of development and sustainability in the urban space.

Análise microestrutural de misturas cerâmicas de grês porcelanato com adição de chamote de telhas cerâmicas

MELO, Maxymme Mendes de ; PINHEIRO, Andrea Santos ; NASCIMENTO, R. M. ; MARTINELLI, Antonio Eduardo ; DUTRA, Ricardo Peixoto Suassuna ; MELO, Marcus Antônio de Freitas . Análise microestrutural de misturas cerâmicas de grês Porcelanato com adição de chamote de telhas cerâmicas. Cerâmica (São Paulo. Impresso), v. 55, p. 356-364, 2009

Licenshantering inom webbprojekt : Hur medvetna är företag om tredjepartslicenser?

Teknikutvecklingen går snabbt framåt, och idag finns det ett stort behov av att använda andra utvecklares kod för att hänga med i det höga tempot. De kallas samlat för ramverk eller bibliotek, och hjälper utvecklaren att på ett effektivare sätt ta sig från start till mål utan att behöva skriva all programmeringskod själv. Dessa tredjepartslösningar är nästintill alltid bundna till ett licensavtal, vars restriktioner och tillåtelser utvecklaren måste följa vid nyttjandet. I denna studie har vi undersökt hur medvetenheten ser ut kring de licenser som är bundna till dessa tredjepartslösningar. Då det framkom i vår förstudie att vårt fall hade en relativt låg medvetenhet har vi även valt att titta på hur medvetenheten kan ökas. För att genomföra detta har vi valt att intervjua utvecklare och projektledare på ett konsultföretag. Vi undersökte även vilka faktorer som är viktiga för att höja medvetenheten samt vilka konsekvenser som kunde uppkomma vid bristfällande licenshantering. Vi upptäckte att det var en bristfällig kunskap om tredjepartslicenser på det studerade företaget, och hur de följde de licensrestriktioner som fanns för respektive licens. För att höja medvetenheten föreslår vi hjälpmedel i form av en automatiserad centraliserad lösning, lathundar för en enklare överblick av licensavtalen och hur användning av redan färdiga programvaror kan hjälpa till att öka medvetenheten och hanteringen av licenser.