Improved diagnosis using enhanced fault dominance

Defect diagnosis can benefit from fault dominance relations to reduce the set of defect candidate sites. This paper presents new fault dominance collapsing operators that further reduce the set of candidates considered during the initial phase of diagnosis. In contrast to existing dominance-based methods which operate on pairs of faults, the proposed method operates on sets of faults. Fault-related entities are generated to guide the diagnosis process. The proposed collapsing operators can be used to accelerate effect-cause diagnosis. Experimental results demonstrate that the proposed method achieves a higher collapsing ratio than existing methods.     

玛丽蒂姆会议酒店,柏林,德国

立面、周边环境以及对所在街区的一系列回应,是玛丽蒂姆酒店的设计要点。这个占地约1.2万m2的酒店基地紧邻文化中心（Kulturforum）和著名的文物保护建筑贝壳屋（Shellhaus,建筑师：Emil Fahrenkamp）,且距国家美术馆和波茨坦广场不远。     

Exploring the universality of personality judgments: Evidence from the great transformation (1000 BCE–200 BCE).

We examined whether personality judgments were present in texts of the diverse religious and philosophical traditions that emerged during the Great Transformation, an era spanning roughly 1000 BCE to 200 BCE. Some psychologists have suggested that the tendency of humans to judge personality has evolved; if some ancient societies failed to record personality judgments, it would be evidence against such an evolutionary position. In addition, learning about the prevalence and specifics of ancient personality judgments can help psychologists better understand the prehistory of personality psychology. Eight cultural traditions were studied: two each from China (Confucianism, Taoism), Greece (Classical and Hellenistic philosophy), India (Buddhism, Hinduism), and the Middle East (Judaism, Zoroastrianism). We found evidence that personality judgments were an important aspect of all of these traditions. Not only did people judge one another, but they also offered instructions on how to judge others. (PsycINFO Database Record (c) 2011 APA, all rights reserved)     

On the formalization and reuse of scientific research

The reuse of scientific knowledge obtained from one investigation in another investigation is basic to the advance of science. Scientific investigations should therefore be recorded in ways that promote the reuse of the knowledge they generate. The use of logical formalisms to describe scientific knowledge has potential advantages in facilitating such reuse. Here, we propose a formal framework for using logical formalisms to promote reuse. We demonstrate the utility of this framework by using it in a worked example from biology: demonstrating cycles of investigation formalization [F] and reuse [R] to generate new knowledge. We first used logic to formally describe a Robot scientist investigation into yeast (Saccharomyces cerevisiae) functional genomics [f₁]. With Robot scientists, unlike human scientists, the production of comprehensive metadata about their investigations is a natural by-product of the way they work. We then demonstrated how this formalism enabled the reuse of the research in investigating yeast phenotypes [r₁ = R(f₁)]. This investigation found that the removal of non-essential enzymes generally resulted in enhanced growth. The phenotype investigation was then formally described using the same logical formalism as the functional genomics investigation [f₂ = F(r₁)]. We then demonstrated how this formalism enabled the reuse of the phenotype investigation to investigate yeast systems-biology modelling [r₂ = R(f₂)]. This investigation found that yeast flux-balance analysis models fail to predict the observed changes in growth. Finally, the systems biology investigation was formalized for reuse in future investigations [f₃ = F(r₂)]. These cycles of reuse are a model for the general reuse of scientific knowledge.     

Comparison of the Determination of Eight Cholesterol Oxides in Dry�CCured Shoulder by GC�CFID, GC�CMS, and GC Tandem Mass Spectrometry

The analysis of eight cholesterol oxidation products: 7α–hydroxycholesterol, 7β–hydroxycholesterol, α–epoxycholesterol, β–epoxycholesterol, 20α–hydroxycholesterol, cholestanetriol, 25–hydroxycholesterol, and 7–ketocholesterol in dry–cured shoulder was carried out. The extraction of lipids was performed by using the Bligh and Dyer method (1959). Interferences were removed by solid-phase extraction (SPE) in two steps with silica and aminipropylsilica SPE columns. The separation of the eight cholesterol oxidation products was done by gas chromatography, and the detection was performed by flame ionization detection (FID) and mass spectrometry (MS). The results obtained from the use of both systems of detection were compared. The results showed that gas chromatography-mass spectrometry (GC–MS) was the most suitable technique to obtain reliable quantitative data, and significant differences (p < 0.05) between FID and MS determining 7α–hydroxycholesterol, 20α–hydroxycholesterol, and 25–hydroxycholesterol were observed. For the determination of cholesterol oxidation products, it was necessary to apply gas chromatography-tandem mass spectrometry to increase the sensitivity and to avoid interference from other compounds.     

Natural and human forcing in recent geomorphic change; case studies in the Rio de la Plata basin

An analysis of geomorphic system's response to change in human and natural drivers in some areas within the Río de la Plata basin is presented. The aim is to determine whether an acceleration of geomorphic processes has taken place in recent years and, if so, to what extent it is due to natural (climate) or human (land-use) drivers. Study areas of different size, socio-economic and geomorphic conditions have been selected: the Río de la Plata estuary and three sub-basins within its watershed. Sediment cores were extracted and dated (²¹⁰Pb) to determine sedimentation rates since the end of the 19th century. Rates were compared with time series on rainfall as well as human drivers such as population, GDP, livestock load, crop area, energy consumption or cement consumption, all of them related to human capacity to disturb land surface. Data on river discharge were also gathered. Results obtained indicate that sedimentation rates during the last century have remained essentially constant in a remote Andean basin, whereas they show important increases in the other two, particularly one located by the São Paulo metropolitan area. Rates in the estuary are somewhere in between. It appears that there is an intensification of denudation/sedimentation processes within the basin.Rainfall remained stable or varied very slightly during the period analysed and does not seem to explain increases of sedimentation rates observed. Human drivers, particularly those more directly related to capacity to disturb land surface (GDP, energy or cement consumption) show variations that suggest human forcing is a more likely explanation for the observed change in geomorphic processes. It appears that a marked increase in denudation, of a “technological” nature, is taking place in this basin and leading to an acceleration of sediment supply. This is coherent with similar increases observed in other regions.     

Light and Strong SiC Networks

The directional freezing of microfiber suspensions is used to assemble highly porous (porosities ranging between 92% and 98%) SiC networks. These networks exhibit a unique hierarchical architecture in which thin layers with honeycomb‐like structure and internal strut length in the order of 1–10 μm in size are aligned with an interlayer spacing ranging between 15 and 50 μm. The resulting structures exhibit strengths (up to 3 MPa) and stiffness (up to 0.3 GPa) that are higher than aerogels of similar density and comparable to other ceramic microlattices fabricated by vapor deposition. Furthermore, this wet processing technique allows the fabrication of large‐size samples that are stable at high temperature, with acoustic impedance that can be manipulated over one order of magnitude (0.03–0.3 MRayl), electrically conductive and with very low thermal conductivity. The approach can be extended to other ceramic materials and opens new opportunities for the fabrication of ultralight structures with unique mechanical and functional properties in practical dimensions.     

Low Cost BIST for Static and Dynamic Testing of ADCs

This paper presents a low cost test method for the static and dynamic characterization of analog-to-digital converters. The method is suitable for implementation in a SoC environment, as a built-in self test (BIST) solution. In the proposed approach, noise is used as the test signal. Theory of operation and practical results demonstrating the effectiveness of the method for INL, DNL, THD and SINAD characterization are presented. The BIST surface overhead caused by the noise generator is only 7.4% of the ADC total area. The reduced number of data samples required allows a reduction of about 7.5× in test time, in comparison to the histogram method.Maria da Gloria Cataldi Flores was born in Santa Maria, Brazil, in 1978. She received the electrical engineering degree in 2000 from Universidade Federal de Santa Maria (UFSM) and the M.S. degree engineering in 2003 from Universidade Federal do Rio Grande do Sul (UFRGS), Brazil. Since then, she has been working as a design engineer in an EAS Supply brazilian company. Her main research interests include mixed-signal and analog testing and digital signal processing.Marcelo Negreiros was born in Porto Alegre, Brazil, in 1969. He received the electrical engineering degree in 1992 and the M.S. degree engineering in 1994, both from Universidade Federal do Rio Grande do Sul (UFRGS), Brazil. Since then he was been working as an associate researcher in the Signal Processing Lab. (LaPSI) of the Electrical Engineering Department at UFRGS. Since 2000 he also works toward a Ph.D. in Computer Science from UFRGS. His main research interests include mixed-signal and analog testing and digital signal processing.Luigi Carro was born in Porto Alegre, Brazil, in 1962. He received the Electrical Engineering and the M.Sc. degrees from Universidade Federal do Rio Grande do Sul (UFRGS), Brazil, in 1985 and 1989, respectively. From 1989 to 1991 he worked at ST-Microelectronics, Agrate, Italy, in the R&D group. In 1996 he received the Ph.D. degree in the area of Computer Science from Universidade Federal do Rio Grande do Sul (UFRGS), Brazil. He is presently a lecturer at the Electrical Engineering Department of UFRGS, in charge of Digital Systems Design and Digital Signal processing disciplines at the graduate and undergraduate level. He is also a member of the Graduation Program in Computer Science of UFRGS, where he is responsible for courses in Embedded Systems, Digital Signal Processing, and VLSI Design. His primary research interests include mixed-signal design, digital signal processing, mixed-signal and analog testing, and fast system prototyping. He has published more than 90 technical papers in those topics and is the author of the book Digital Systems Design and Prototyping (in portuguese).Altamiro A Susin was born in Vacaria-RS, Brazil, in 1945. He received the Electrical Engineering and the MSc. degrees from Universidade Federal do Rio Grande do Sul (UFRGS), Brazil, in 1972 and 1977, respectively. Since 1968 he worked in the start up of Computer Centers of two local Universities. In 1981 he got his Dr. Eng degree from Institut National Polytechnique de Grenoble-France. He is presently a lecturer at the Electrical Engineering Department of UFRGS, in charge of Digital Systems Design disciplines at the graduate and undergraduate level. He is also a member of the Graduation Program in Computer Science of UFRGS, where he is responsible by courses in VLSI Architecture and is also thesis director. His main research interests are Integrated Circuit Architecture, Embedded Systems, Signal Processing with more than 50 technical papers published in those domains. He is/was responsible for several R&D projects either funded with public and/or industry resources.Felipe Ricardo Clayton received the B.S. degree in Electrical Engineering from State University of Campinas (UNICAMP), Brazil, in 1986. He worked at CPqD (Brazilian PTT R&D Center) till 1996 designing analog and mixed signal circuits for telecom and automotive applications. From 1997 to the second half of 1998, he worked at Instituto Superior Técnico (IST), Lisbon, Portugal, under the guidance of Prof. Carlos Azeredo Leme on development of CMOS RF circuits. Since October 1998 he had worked for Motorola SPS. Now he is head of the Power Managment Group at Freescale.Cristiano Benevento received his B.S. degree in Electrical Engineering from Universidade Estadual de Campinas (Unicamp), Brazil, in 1997. He worked at Motorola Cellular Infrastructure Group until August 2000 as a Systems Engineer. He joined Motorola Semiconductor Product Sector in August 2000 as IC Designer for Power Management Group and is now at Freescale.