Evaluating 0.53 eVGaInAsSbthermophotovoltaic diode based on an analytical absorption model

Radiant heat conversion performance dominated by the active layer of Ga0.84In0.16As0.14Sb0.86 diode has been systematically investigated based on an analytic absorption spectrum, which is suggested here by numerically fitting the limited experimental data. For the concerned diode configuration, our calculation demonstrates that the optimal base doping is 3-4 x 10(17) cm(-3), which is less sensitive to the variation of the external radiation spectrum. Given the scarcity of the alloy elements, an economical device configuration of the 0.2-0.6 mu m emitter and the 4-6 mu m base would be particularly acceptable because the corresponding conversion efficiency cannot exhibit discouraging degradation in comparison to the one for the optimal structure, the thickness of which may be up to 10 mu m. More importantly, the method we suggested here to calculate alloy absorption can be easily transferred to other composition, thus bringing great convenience for design or optimization of the optoelectronic device formed by these alloys.

Formal specification and refinement of a safe train control function

Motivated by the design and development challenges of the BART case study, an approach for developing and analyzing a formal model for reactive systems is presented. The approach makes use of a domain specific language for specifying control algorithms able to satisfy competing properties such as safety and optimality. The domain language, called SPC, offers several key abstractions such as the state, the profile, and the constraint to facilitate problem specification. Using a high-level program transformation system such as HATS being developed at the University of Nebraska at Omaha, specifications in this modelling language can be transformed to ML code. The resulting executable specification can be further refined by applying generic transformations to the abstractions provided by the domain language. Problem dependent transformations utilizing the domain specific knowledge and properties may also be applied. The result is a significantly more efficient implementation which can be used for simulation and gaining deeper insight into design decisions and various control policies. The correctness of transformations can be established using a rewrite-rule based induction theorem prover Rewrite Rule Laboratory developed at the University of New Mexico.

function definition language fdl and its implementation

A Function Definition Language (FDL) is presented. Though designed for describing specifications, FDL is also a general-purpose functional programming language. It uses context-free language as data type, supports pattern matching definition of functions, offers several function definition forms, and is executable. It is shown that FDL has strong expressiveness, is easy to use and describes algorithms concisely and naturally. An interpreter of FDL is introduced. Experiments and discussion are included.