Some results on generalized residual entropy

Shannon’s entropy plays an important role in the context of information theory. Since this entropy is not applicable to a system which has survived for some units of time, the concept of residual entropy has been developed in the literature. Here we generalize the residual entropy by choosing a convex function ? with ?(1) = 0. In this paper, some orderings and aging properties have been defined in terms of the generalized residual entropy function and their properties have been studied. Quite a few results available in the literature have been generalized and some distributions (viz. uniform, exponential, Pareto, power series, finite range) have been characterized through the generalized residual entropy.     

Putting it all together – Formal verification of the VAMP

In the verified architecture microprocessor (VAMP) project we have designed, functionally verified, and synthesized a processor with full DLX instruction set, delayed branch, Tomasulo scheduler, maskable nested precise interrupts, pipelined fully IEEE compatible dual precision floating point unit with variable latency, and separate instruction and data caches. The verification has been carried out in the theorem proving system PVS. The processor has been implemented on a Xilinx FPGA. A shorter version of this article with the title “Instantiating uninterpreted functional units and memory system: functional verification of the VAMP” appeared in [8]. The work reported here was done while all the authors were with Saarland University.     

Performance antecedents of voluntary and involuntary managerial turnover.

Examined the job performance of 420 credit managers (mean age at hiring 25 yrs) from a large finance company who either quit their job, were fired, or were promoted to a higher position in the company. Six biographical variables and 12 performance appraisal scores accumulated from data in employee files were used in a cross-validated multiple discriminant analysis to predict membership in the 3 classification groups. Results reveal a systematic relation between the performance appraisal variables and the classification groups: The performance of promoted Ss was significantly superior to that of Ss who quit, which in turn was significantly superior to the performance of the fired Ss. 18 discriminating variables accounted for a 46.7% hit rate in group membership. Findings are discussed in the context of research on performance antecedents of voluntary and involuntary turnover, as well as the feedback properties of performance appraisal information. It is suggested that no single performance–turnover relation exists. (14 ref) (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Temperature effects on the mass flow rate in the SBI and similar heat‐release rate test equipment

In various medium‐to‐large‐scale fire test equipments like the ISO room corner test (RC), and more recently, the single burning item test (SBI) the mass flow rate measurement of the combustion gases plays a key role in the determination of the heat‐release rate and smoke‐production rate. With the knowledge of the velocity profile and the temperature of the flow, the mass flow rate is obtained by measuring the velocity on the axis of the duct. This is done by means of a bi‐directional probe based on the pitot principle. However, due to the variation of the mean temperature and the temperature gradient in any cross section of the duct, introduced by ever changing combustion gas temperatures, the velocity nor the density profile are constant in time. This paper examines the resulting uncertainty on the mass flow rate. Copyright © 2006 John Wiley & Sons, Ltd.     

Positive psychology principles applied to consulting psychology at the individual and group level.

This article describes the application, at the team and individual level, of findings from the positive psychology research. An overview of this research is presented focusing on several areas generally included in the positive psychology domain: flow, appreciative inquiry, the broaden and build theory, and other strategies for increasing the experience of positive emotions and the identification and deployment of strengths. The authors propose that these applications show promise in consulting psychology engagements and may have merit when utilized by practitioners themselves. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

What's the use of being happy? Mood states, useful objects, and repetition priming effects.

Two experiments involving 99 undergraduate participants sought to examine the influence of mood states on encoding speed within lexical decision and pronunciation tasks. Mood states were measured naturalistically in Experiment 1 and manipulated in Experiment 2. Stimuli consisted of nouns representing useful (e.g., food) and nonuseful (e.g., lint) objects. Mood states had no implications for initial encoding speed. However, when the same words were presented a 2nd time (i.e., repeated), happy individuals displayed a tendency to encode useful words faster than nonuseful ones. Thus, mood states influenced repetition priming on the basis of stimulus valence. The authors propose that happiness sensitizes individuals to useful or rewarding objects, which in turn creates a stronger memory trace for such stimuli in the future. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Deformation,residual stress,and constitutive relations for quenched W319 aluminum

A study of the development of deformation and transient and residual stresses during quenching in aluminum alloy W319 is presented. Rapid tension tests were performed on W319 in the super-saturated solution state at several temperatures and strain rates. A material model following the mechanical threshold stress (MTS)-Voce formulation is developed and implemented in both a simple one-dimensional code and a fully three-dimensional form as a user material subroutine in ABAQUS. The results of the tension tests are used to determine the parameters in the thermomechanical constitutive model. Unidirectional beam quenching experiments are performed to test the applicability of the constitutive model. Residual stresses in the beams are measured using a groove removal technique upon completion of the quenching process. Residual stress and deformation results from beam quenching experiments compare well to the analytical results computed using the constitutive model.