Fault tolerant embedded systems design by multi-objective optimization

The design of fault tolerant systems is gaining importance in large domains of embedded applications where design constrains are as important as reliability. New software techniques, based on selective application of redundancy, have shown remarkable fault coverage with reduced costs and overheads. However, the large number of different solutions provided by these techniques, and the costly process to assess their reliability, make the design space exploration a very difficult and time-consuming task. This paper proposes the integration of a multi-objective optimization tool with a software hardening environment to perform an automatic design space exploration in the search for the best trade-offs between reliability, cost, and performance. The first tool is commanded by a genetic algorithm which can simultaneously fulfill many design goals thanks to the use of the NSGA-II multi-objective algorithm. The second is a compiler-based infrastructure that automatically produces selective protected (hardened) versions of the software and generates accurate overhead reports and fault coverage estimations. The advantages of our proposal are illustrated by means of a complex and detailed case study involving a typical embedded application, the AES (Advanced Encryption Standard).

Water polo throwing speed and body composition: an analysis by playing positions and opposition level

The aim of this study was to develop an anthropometric profile on highly skilled male water polo players by specific playing positions. Also, to identify significant relationships between these features an overhead throwing speed in highly skilled male Water Polo players by specific playing positions. Methods: A total of 94 male water polo players (24.5±5.3 yrs) who were playing in the Spanish King´s cup were studied. Subjects were grouped according to their specific playing positions: 15 goalkeepers, 45 offensive wings, 20 center backs and 14 center forwards. Anthropometric assessment was made following ISAK protocols. Hand grip and throwing speed in several situations were also assessed. A one-way analysis of variance (ANOVA) was used to determine if significant differences existed among the four playing positions. Pearson product-moment correlation coefficients (r) were used to determine the relationships of all anthropometric measures with throwing speed and hand grip. The total player’s somatotype was endomorphic-mesomorphic (2.9–5.8–2.3). Center forwards exhibit important anthropometric differences compared with the other specific playing positions in elite male water polo players, but no differences were found in throwing speed by specific playing positions in each throwing conditions. Moreover, a higher number of relationships between anthropometric and throwing speed were found in wings and also in center backs but no relationships were found in center forwards. The data reflects the importance of muscle mass and upper body in the throwing skill. Coaches can use this information in order to select players for the different specific positions.

S-SETA: Selective Software-Only Error-Detection Technique Using Assertions

Software-based techniques offer several advantages to increase the reliability of processor-based systems at very low cost, but they cause performance degradation and an increase of the code size. To meet constraints in performance and memory, we propose SETA, a new control-flow software-only technique that uses assertions to detect errors affecting the program flow. SETA is an independent technique, but it was conceived to work together with previously proposed data-flow techniques that aim at reducing performance and memory overheads. Thus, SETA is combined with such data-flow techniques and submitted to a fault injection campaign. Simulation and neutron induced SEE tests show high fault coverage at performance and memory overheads inferior to the state-of-the-art.

Photographic prints of the elevations and floor plans of Harvard College or "Old College" used for publication by Samuel E. Morison, February 1933

Contains seven photographic prints elevations and floor plans of Harvard College used in an article on "Old College" by Samuel E. Morison. Includes first, second, and third floor plans; north, south, and east elevations; and one overhead perspective of the structure.

FPGA implementation of a multi-population PBIL algorithm

Evolutionary-based algorithms play an important role in finding solutions to many problems that are not solved by classical methods, and particularly so for those cases where solutions lie within extreme non-convex multidimensional spaces. The intrinsic parallel structure of evolutionary algorithms are amenable to the simultaneous testing of multiple solutions; this has proved essential to the circumvention of local optima, and such robustness comes with high computational overhead, though custom digital processor use may reduce this cost. This paper presents a new implementation of an old, and almost forgotten, evolutionary algorithm: the population-based incremental learning method. We show that the structure of this algorithm is well suited to implementation within programmable logic, as compared with contemporary genetic algorithms. Further, the inherent concurrency of our FPGA implementation facilitates the integration and testing of micro-populations.

Desenvolvimento de competências sociais no cuidador informal

O cuidador informal tem nos últimos anos ganho visibilidade em inúmeras investigações. No entanto, não foram encontrados registos em Portugal relativamente às competências do cuidador informal e a forma como a exposição a um programa de informação o pode influenciar. Desta forma, foi desenvolvido o presente estudo no âmbito do desenvolvimento de competências no cuidador informal, recorrendo à metodologia de investigação ação. A estratégia metodológica utilizada na componente da ação (característica basilar na metodologia selecionada) consistiu na realização de um conjunto de sessões em contexto de domicílio com os cuidadores informais. Pretendeu-se com esta estratégia expor os cuidadores a um conjunto de informações e intervenções planeadas de acordo com as suas necessidades. Durante o estudo foram utilizados instrumentos de recolha de dados de natureza quantitativa e qualitativa. Salientamos ainda que em contexto de domicílio, foram também utilizadas outras estratégias e técnicas de desenvolvimento de competências sociais que permitiram complementar a informação a que os cuidadores foram expostos. Os instrumentos referidos anteriormente foram utilizados numa população de seis cuidadores provenientes do distrito de Portalegre. Após a realização do estudo foi possível verificar que as visitas domiciliárias são uma estratégia de ação que influenciam o desenvolvimento de competências sociais no cuidador informal, a informação adequada ao cuidador influencia o conhecimento dos cuidadores informais relativamente ao ato de cuidar, os cuidadores informais que têm redes familiares apresentam uma maior resiliência, o desenvolvimento de competências sociais influencia a sobrecarga no cuidador informal, que o aumento da resiliência influencia os níveis de sobrecarga nos cuidadores informais e que os cuidadores informais que identificam e gerem as emoções apresentam menor sobrecarga.

Famous composers and their works.

Includes index.

The electromotive force produced by the acceleration of metals ...

Cover-title.

Programme /

Title from cover.

The Conductor and brakeman.

Mode of access: Internet.

Die elektrischen Erscheinungen in metallischen Leitern (Leitung, Thermoelektrizität, galvanomagnetische Effekte, Optik)

Mode of access: Internet.

Traite des paratonnerres : leur utilite, leur théorie, leur construction /

Mode of access: Internet.

Popular tracts /

Largely reprinted from the Free enquirer or the New-Harmony gazette. Published by Robert Dale Owen--Cf. Richard William Leopold, Robert Dale Owen, a biography. (Harvard Historical Studies ; 45). Cambridge, Mass. 1940, p. 68.

Unterricht vom Blitz und den Blitz- oder Wetter Ableitern : zur Belehrung und Beruhigung sonderlich der Ungelehrten und des gemeinen Mannes : mit einer Kupfertafel /

Signatures: pi1 2pi⁴ A⁸(-A1) B-I⁸ K⁴(-K4).

The Constitution, statutes and rules of order ...

Mode of access: Internet.