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.     

X射线三轴晶衍射法测量半绝缘GaAs单晶的化学配比

采用X射线三轴晶衍射法,根据As间隙原子对作为过量As在GaAs单晶材料中存在的主要形式的模型,可以无损、高精度测量半绝缘GaAs单晶的化学配比.并探讨了引起晶格变化的原因及其与熔体组分的关系,对于制备高质量GaAs单晶及其光电器件具有重要的意义.     

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)     

磁热效应的直接测量及装置

磁热效应的测量有间接测量和直接测量两种方法。本文在比较两种测量方法各自特点的基础上,重点综述了直接测量装置的种类及特点;指出直接测量装置在室温磁制冷技术研究中的重要作用。     

可膨胀波纹管技术在韦15-19井的应用

可膨胀管包括可膨胀实体管和可膨胀波纹管，主要用于在不减小井眼尺寸的情况下封堵各种复杂地层，对损坏套管进行补贴修复，作为各种井筒封隔器以及延长技术套管长度。实体管和波纹管两者膨胀机理不一样，相比之下，可膨胀波纹管技术具有膨胀工艺简单，作业周期短的优点，该技术一直由俄罗斯掌握。中国石化勘探开发研究院经过多年的潜心研究，终于形成了具有自主知识产权的可膨胀波纹管产品及其配套的工艺技术，新研制的可膨胀波纹管壁厚8mm，抗内压强度35MPa，抗外挤强度10MPa，并在江苏油田韦15—19井进行了漏层封堵现场试验，经过扩眼、管串下入、水力膨胀、机械膨胀等工艺后获得圆满成功，标志着我国已经打破了国外公司对该技术的垄断，填补了国内在该领域的技术空白。     

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.     

First steps in developing a multimetric macroinvertebrate index for the Ohio River

The causes of degradation of aquatic systems are often complex and stem from a variety of human influences. Comprehensive, multimetric biological indices have been developed to quantify this degradation and its effect on aquatic communities, and measure subsequent recovery from anthropogenic stressors. Traditionally, such indices have concentrated on small‐to medium‐sized streams. Recently, however, the Ohio River Fish Index (ORFIn) was created to assess biotic integrity in the Ohio River. The goal of the present project was to begin developing a companion Ohio River multimetric index using benthic macroinvertebrates. Hester–Dendy multiplate samplers were used to evaluate benthic macroinvertebrate assemblages in relation to a gradient of water quality disturbance, represented by varying distances downstream of industrial and municipal wastewater outfalls in the Ohio River. In August 1999 and 2000, samplers were set every 100 m downstream of outfalls (12 outfalls in 1999, 22 in 2000) for 300–1000 m, as well as at upstream reference sites. Candidate metrics (n = 55) were examined to determine which have potential to detect changes in water quality downstream of outfalls. These individual measures of community structure were plotted against distance downstream of each outfall to determine their response to water quality disturbance. Values at reference and outfall sites were also compared. Metrics that are ecologically relevant and showed a response to outfall disturbance were identified as potentially valuable in a multimetric index. Multiple box plots of index scores indicated greater response to outfall disturbance during periods of low‐flow, and longitudinal river‐wide trends. Evaluation of other types of anthropogenic disturbance, as well as continued analysis of the effects of chemical water quality on macroinvertebrate communities in future years will facilitate further development of a multimetric benthic macroinvertebrate index to evaluate biotic integrity in the Ohio River. Copyright © 2007 John Wiley & Sons, Ltd.