A practical evaluation of spectrum-based fault localization

Spectrum-based fault localization (SFL) shortens the test–diagnose–repair cycle by reducing the debugging effort. As a light-weight automated diagnosis technique it can easily be integrated with existing testing schemes. Since SFL is based on discovering statistical coincidences between system failures and the activity of the different parts of a system, its diagnostic accuracy is inherently limited. Using a common benchmark consisting of the Siemens set and the space program, we investigate this diagnostic accuracy as a function of several parameters (such as quality and quantity of the program spectra collected during the execution of the system), some of which directly relate to test design. Our results indicate that the superior performance of a particular similarity coefficient, used to analyze the program spectra, is largely independent of test design. Furthermore, near-optimal diagnostic accuracy (exonerating over 80% of the blocks of code on average) is already obtained for low-quality error observations and limited numbers of test cases. In addition to establishing these results in the controlled environment of our benchmark set, we show that SFL can effectively be applied in the context of embedded software development in an industrial environment.     

Diffusion mechanisms of vacancy and doped Si in Al3Ti from first-principles calculations

First-principles calculations were employed to study the migration of vacancy in clean and Si-doped Al₃Ti. The effect of Si doping on the formation of vacancy and the diffusion of doped-Si atom in the Al₃Ti were also investigated. It is found that, under Al-rich condition, the formation energies of Al vacancies in Al₃Ti with Si doping are decreased compared with those in clean Al₃Ti. The preferred migration paths of vacancies are not changed when Si occupies Al site, but the migration energy barriers for the majority of paths are decreased after Si doping. The doped-Si atom on Al site prefers to diffuse via the nearest Al vacancy.     

The effects of expressive writing following first myocardial infarction: A randomized controlled trial.

Objective: To assess the effects of expressive writing on health care utilization, clinical variables and subjective quality of life following first myocardial infarction (MI). Methods: One-hundred and seventy-nine first MI patients were randomized to Intervention (N = 88) or Control (N = 91) groups. The intervention group wrote about their thoughts and feelings in relation to having had an MI. Controls wrote in a neutral way about daily activities. The main outcome measures were health care utilization, physical status and subjective quality of life (QOL), assessed after one, two, and five months. Results: One-hundred and fifty-six (87%) completed the study. Five months post-intervention, the intervention group had significantly fewer recorded medical appointments compared to controls. The number of prescribed medicines decreased over time within the intervention group but increased within the control group. The intervention group attended significantly more rehabilitation sessions, reported fewer cardiac related symptoms and had lower diastolic blood pressure five months post-intervention. There was no significant group by time interaction on reported physical health. The group by time interaction on reported mental health approached significance, those in the intervention group reporting greater improvement. Conclusion: Expressive writing may be a beneficial strategy which could be incorporated into rehabilitation interventions to help individuals adjust after first MI. (PsycINFO Database Record (c) 2011 APA, all rights reserved)     

耳机放大器设计：品质VS效率

在最近几年中,D类放大器因其体积小,效率高,已经进入了消费类音频电子产品、汽车以及便携式音频产品市场.它的效率帮助减小了汽车放大器以及便携式媒体扩展插槽的尺寸,并以较小的波形因子提供了更大的功率,有助实现新式的消费类音频设备.     

A heuristic to manage perishable inventory with batch ordering,positive lead-times,and time-varying demand

So far the literature on inventory control for perishable products has mainly focused on (near-) optimal replenishment policies for a stylized environment, assuming no lead-time, no lot-sizing, stationary demand, a first in first out withdrawal policy and/or product life time equal to two periods. This literature has given fundamental insight in the behavior and the complexity of inventory systems for perishable products. In practice, many grocery retailers have recently automated the inventory replenishment for non-perishable products. They recognize they may need a different replenishment logic for perishable products, which takes into account e.g. the age of the inventory in the system. Due to new information technologies like RFID, it now also becomes more economically feasible to register this type of information. This paper suggests a replenishment policy for perishable products which takes into account the age of inventories and which requires only very simple calculations. It will be shown that in an environment, which contains important features of the real-life retail environment, this new policy leads to substantial cost reductions compared with a base policy that does not take into account the age of inventories.     

Application of high-throughput computing in bioinformatics

We describe the challenges faced when developing a Linux/PC-based cluster to apply bioinformatics algorithms to the rapidly increasing raw genomics data available. The calculations, which take around two months to complete, result in a powerful resource that can be used for data mining--most obviously for the human genome. Our current infrastructure consists of a 1314 node cluster with 1734 processors supporting both production and research. This paper highlights the problems in achieving high data throughput with such systems and shows that raw computer power is only one component of a complex problem.     

Perceived trustworthiness of knowledge sources: The moderating impact of relationship length.

Prior meta-analytic evidence has indicated no association between relationship length and perceived trustworthiness. Viewing trustors as information processors, the authors propose a model in which relationship length, although having no direct effect on perceived trustworthiness, moderates the association between perceived trustworthiness and the basis on which people decide to trust each other. Specifically, as trustors learn about others, they base their trust on different kinds of information (demographic similarity, trustworthy behavior, and shared perspective). Hierarchical multiple regression analyses of a field survey of supervisors and subordinates from 3 companies (N = 88) provide evidence consistent with this prediction: Perceived trustworthiness is associated with demographic similarity in newer relationships, with trustworthy behavior in relationships that are neither brand new nor old but in-between, and with shared perspective in older relationships. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Movie Making at Pixar: A Collaboration of Art and Technology

This talk takes you behind the scenes at Pixar Animation Studios for an in‐depth look at how its 3d computer graphics films are made. Making a computer animated film involves people with artistic talent and people with technical skills working together in close collaboration. The process starts with the development of the story and continues with modeling the geometry, adding articulation controls, using those controls to animate the characters, simulating things like water and cloth and hair, defining the look of the surfaces, putting lights in the scene, adding special effects, rendering, and post‐production. Special emphasis is given to the roles of technology and computer graphics research in supporting the filmmaker.     

Lessons learned from programmers' experiences with one‐way constraints

One‐way constraints have been incorporated in many graphical user interface toolkits because they are simple to learn, easy to write, and can express many types of useful graphical relationships. This paper is an evaluative paper that examines users' experience with one‐way constraints in two user interface development toolkits, Garnet and Amulet, over a 15‐year time span. The lessons gained from this examination can help guide the design of future constraint systems. The most important lessons are that (1) constraints should be allowed to contain arbitrary code that is written in the underlying toolkit language and does not require any annotations, such as parameter declarations, (2) constraints are difficult to debug and better debugging tools are needed, and (3) programmers will readily use one‐way constraints to specify the graphical layout of an application, but must be carefully and time‐consumingly trained to use them for other purposes. Copyright © 2005 John Wiley & Sons, Ltd.