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)     

刚性棒状全芳香液晶聚酯的合成及性质的研究

以溴和苯基取代的对苯二甲酰氯及2，2′-二甲基联苯-4，4′-二甲酰氯作为单体，分别与甲基、叔丁基、苯基取代的对苯二酚经熔融缩聚反应，合成一类具有刚性棒状结构的全芳香液晶聚酯。聚酯的热性质以TGA、DSC，热台偏光显微镜研究。所有的聚酯均为热致性液晶，它们具有相对较低的转变温度，在普通的有机溶剂中具有较好的溶解性质。