Some n-p (Hg,Cd)Te photodiodes for 8-14 micrometer heterodyne applications

The results describing the dc and CO2 laser heterodyne characteristics of a three element photodiode array and single element and four element photodiode arrays are presented. The measured data shows that the n(+)-p configuration is capable of achieving bandwidths of 475 to 725 MHz and noise equivalent powers of 3.2 x 10 to the minus 20th power W/Hz at 77 K and 1.0 x 10 to the minus 19th power W/Hz at 145 K. The n(+)-n(-)-p photodiodes exhibited wide bandwidths (approximately 2.0 GHz) and fairly good effective heterodyne quantum efficiencies (approximately 13-30 percent at 2.0 GHz). Noise equivalent powers ranging from 1.44 x 10 to the minus 19th power W/Hz to 6.23 x 10 to the minus 20th power W/Hz were measured at 2.0 GHz

A functional analysis of change propagation

A thorough understanding of change propagation is fundamental to effective change management during product redesign. A new model of change propagation, as a result of the interaction of form and function is presented and used to develop an analysis method that determines how change is likely to propagate. The analysis produces a Design Structure Matrix, which clearly illustrates change propagation paths and highlights connections that could otherwise be ignored. This provides the user with an in-depth knowledge of product connectivity, which has the potential to support the design process and reduce the product's susceptibility to future change

Parameter trails

Successful communication is vital for the success of any design project. However, communication often fails, adversely affecting design process efficiency and product quality.understand the connections between different aspects of design and don–t know where to find out more information or who to talk to. This paper presents a new model, developed from current project planning techniques, which supports communication using parameter-specific data. It enables designers to question information, inform their colleagues pro-actively and assess the impact of changing parameter values on subsequent design tasks. Such interaction is critical in allowing designers to see how their own tasks fit into the overall product design

Ottawah : Ottawa

https://digitalcommons.library.umaine.edu/mmb-vp/3698/thumbnail.jp

Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription

Circumscription is a representative example of a nonmonotonic reasoning inference technique. Circumscription has often been studied for first order theories, but its propositional version has also been the subject of extensive research, having been shown equivalent to extended closed world assumption (ECWA). Moreover, entailment in propositional circumscription is a well-known example of a decision problem in the second level of the polynomial hierarchy. This paper proposes a new Boolean Satisfiability (SAT)-based algorithm for entailment in propositional circumscription that explores the relationship of propositional circumscription to minimal models. The new algorithm is inspired by ideas commonly used in SAT-based model checking, namely counterexample guided abstraction refinement. In addition, the new algorithm is refined to compute the theory closure for generalized close world assumption (GCWA). Experimental results show that the new algorithm can solve problem instances that other solutions are unable to solve

An Accurate Metabolic Simulator for Indirect Calorimetry System Validation

A metabolic simulator capable of simulation of respiratory oxygen consumption (VO2) and carbon dioxide production (VCO2) for validation of indirect calorimetry systems is described. The metabolic simulator adds/removes respiratory gases by way of mass flow controllers to/from a physiologically realistic lung simulator (Michigan Instruments Inc. Training/Test Lung). The metabolic simulator and Michigan Instruments Training/Test Lung in combination are capable of simulating a wide range of metabolic and physiologic lung conditions. Simulation of VCO2 is achieved by adding controlled amounts of carbon dioxide to the Training/Test Lung every (mechanical ventilator delivered) breath cycle. VO2 simulation consists of adding controlled amounts of nitrogen and removing controlled amounts of inspiratory gas from the Training/Test Lung every breath. Real time monitoring of ventilation parameters is obtained from a Novametrix Cosmo+ respiratory profile monitor and control of gas flow through the simulator is achieved by way of a programmed IBM personal computer

Myopia: A growing epidemic

Myopia is a serious and growing problem that will affect low- or middleincome countries as they become more urbanised - especially when educational demands increase