Reliability models for computer systems: An overview including dataflow graphs

The reliability of a system is the probability that the system will perform its intended mission under given conditions. This paper provides an overview of the approaches to reliability modelling and identifies their strengths and weaknesses. The models discussed include structure models, simple stochastic models and decomposable stochastic models. Ignoring time-dependence, structure models give reliability as a function of the topological structure of the system. Simple stochastic models make direct use of the properties of underlying stochastic processes, while decomposable models consider more complex systems and analyse them through subsystems. Petri nets and dataflow graphs facilitate the analysis of complex systems by providing a convenient framework for reliability analysis.     

The mirror effect and mixture signal detection theory.

The mirror effect for word frequency refers to the finding that low-frequency words have higher hit rates and lower false alarm rates than high-frequency words. This result is typically interpreted in terms of conventional signal detection theory (SDT), in which case it indicates that the order of the underlying old item distributions mirrors the order of the new item distributions. However, when viewed in terms of a mixture version of SDT, the order of hits and false alarms does not necessarily imply the same order in the underlying distributions because of possible effects of mixing. A reversal in underlying distributions did not appear for fits of mixture SDT models to data from 4 experiments. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Nonlinear discrete-time models: state-space vs. I/O representations

This paper compares state-space and input–output realizations for nonlinear discrete-time dynamic models. For linear models, these two realizations are essentially equivalent and their structures are closely related, but these statements do not hold for nonlinear models. We illustrate this point with simple, realistic examples for which only one of the two realizations exists or for which both exist but their structures are profoundly different. Overall, the main point of this paper is the importance of the choice of realization in the development of nonlinear dynamic models.     

Behavioral depression during cocaine withdrawal is associated with decreased spontaneous activity of ventral tegmental area dopamine neurons.

Withdrawal from an escalating-dose, bingelike regimen of cocaine administration in rats produced significantly depressed levels of locomotor activity during the nocturnal portion of the day-night cycle. This effect was observed during the first 48 hrs of testing. Extracellular single-unit recordings of ventral tegmental area (VTA) dopamine (DA) neurons revealed no differences between saline- and cocaine-treated rats with respect to basal firing rates. However, significantly fewer spontaneously active VTA DA neurons were encountered in rats withdrawn from binge cocaine. As with the nocturnal hypoactivity, this effect was observed only during the first 48 hrs of withdrawal. These findings suggest that short-term DA neuron dysfunction during cocaine withdrawal temporally corresponds to behavioral disruptions that are similar to those described in human addicts. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Strategic appraisal of energy models for Mozambique

The needs that an energy supply system must meet are constantly changing, due to technological, social and political reasons. Effective energy planning is a dynamic process that is repeated periodically and adjusts to changing conditions. Energy decision makers and planners are no longer able to rely on inductive decision making since they have to investigate the effect of various decision parameters and possible future changes. To help in this process, models have been developed where estimates of future load growth, candidate power plants, fuels and other key factors can be introduced, from which the planners can evaluate decision parameters and the available alternatives. The paper presents the different methodologies and practices that are used by 11 energy models for energy demand forecasting, supply side management and generation expansion planning, demand side management and integrated resource planning. The paper concludes to the presentation of a strategic appraisal of the examined energy models appropriate for energy planning in Mozambique. Three models are proposed for conducting demand forecasting, generation expansion planning and demand side management. Copyright © 2002 John Wiley & Sons, Ltd.     

Roles for Psychologists in End-of-Life Care: Emerging Models of Practice.

Professional psychologists are increasingly likely to encounter opportunities to work with patients and families facing end-of-life issues. Psychologists can provide psychological assessment, intervention for patients and families, consultation with and support of health care team members, grief therapy, and program development and evaluation. Psychological services are useful for healthy individuals who wish to make thoughtful plans about their own future care, patients with life-limiting illnesses, families stressed by providing end-of-life care, bereaved individuals, and health care providers who face issues of burnout and strain. Several challenges for psychologists working in end-of-life care are noted, including training, development of clear roles, and reimbursement. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Economic Model to Optimize Underground Utility Protection

The need for better protecting our vital infrastructure from being damaged or destroyed has received increased attention since the terrorist attacks on September 11, 2001. The tragedy of having thousands of innocent people die before the eyes of an entire nation awakened people to the reality of “managed” attacks of unthinkable magnitudes. However, tragedies of a smaller scale are a daily occurrence but accepted as “collateral damage” of work in an unsafe environment. This paper presents a cost-benefit analysis to address the question of how much money should be spent in protecting underground utilities from damage. During the study of an actual incident it was found that the total costs of such accidents are vastly underreported because only costs for emergency responses and repair are tallied up. This paper makes the case that a comprehensive approach for assessing the total economic impact of such incidents on the public, business, and government is the critical stepping stone to a mathematical optimization of expenditure for damage prevention. In addition, the reader will quickly realize that the use of the presented optimization model provides theoretical underpinning for the engineering profession in its effort to better protect our critical infrastructure from terrorist attacks.     

Reasoning, Integration, Inference Alteration, and Text Comprehension.

This paper reports how the study of formal logical reasoning provides insight into more everyday types of reasoning, such as that involved in language comprehension. Both of these types of cognition are thought to involve the use of mental models, and so it is reasonable to think that the cognitive operations needed for formal logical reasoning would be involved in everyday reasoning as well. We focused on three aspects of formal reasoning: (a) the integration of information into a common mental model, (b) the drawing of inferences, and (c) the coordination of alternative possibilities. We were able to show that the integration and inference components were related to narrative comprehension processes, but the coordination of alternative models was not. Thus, there is evidence for some overlap in the mental processes used in formal and everyday reasoning. This further justifies the study of formal logical reasoning as a window into certain types of everyday reasoning. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Efficient and accurate approach for powder compaction problems

 In this paper, a new approach for powder cold compaction simulations is presented. A density-dependent plastic model within the framework of finite strain multiplicative hyperelastoplasticity is used to describe the highly nonlinear material behaviour; the Coulomb dry friction model is used to capture friction effects at die-powder contact; and an Arbitrary Lagrangian–Eulerian (ALE) formulation is used to avoid the (usual) excessive distortion of Lagrangian meshes caused by large mass fluxes. Several representative examples, involving structured and unstructured meshes are simulated. The results obtained agree with the experimental data and other numerical results reported in the literature. It is shown that, contrary to other Lagrangian and adaptive h-remeshing approaches recently reported for this type of problems, the present approach verifies the mass conservation principle with very low relative errors (less than 1% in all ALE examples and exactly in the pure Lagrangian examples). Moreover, thanks to the use of an ALE formulation and in contrast with other simulations, the presented density distributions do not present spurious oscillations. Received: 20 March 2002 / Accepted: 15 October 2002 The partial financial support of the Ministerio de Ciencia y Tecnología (grant number DPI 2001-2204) is gratefully acknowledged.