A local and global tour on MOMoT

Software and Systems Modeling - Many model transformation scenarios require flexible execution strategies as they should produce models with the highest possible quality. At the same time,...     

Type inference in stack based languages

We consider a language of operations which pass parameters by means of a stack. An algebra over the set of type signatures is introduced, which allows the type signature of a program to be obtained from the type signatures of its constituent operations.Although the theories apply in principle to any stack based language, they have been evolved with particular regard to the proposed ANSI Standard Forth language, which is currently implemented in a type free manner. We hope this work will stimulate an interest in Forth amongst those applying algebraic techniques in software engineering, and we hope to lay the theoretical foundations for implementing practical type checkers to support Forth.     

通往10 Gbps以太网的低速之路

较低的速度通常不能算是创新，但在10 Gbps以太网的领域内，两种“低速”互连标准，即LX4和CX4，正在降低实现成本，并实现新的应用。     

冷漠的灯光和火热的Guru

我已经看见了未来。它充满耀眼的光芒。这种特殊的未来的具体体现就是由Lumileds生产并打上Luxeon的品牌铛售的高亮度发光二极管，该公司把一些采用了最新技术的样机带到了我们的办公室，这给我们留下了深刻印象。     

Twin closeness and co-twin risk for substance use disorders: assessing the impact of the equal environment assumption

Studies were conducted from May, 1993 to April, 1995 to determine the changing patterns of infection by the liver fluke, Clonorchis sinensis, among residents and fish hosts in Kyongbuk Province. The infection rate among residents was 7.7% by stool examination. The rate in males (11.3%) was significantly higher than females (4.1%). Positive rate of intradermal test was 27.6% in the same population. The special type of a simple catalytic model was applied for the analysis of intradermal positive reactors by age and sex, and the equation was y = 0.4776 (1 - e-0.0375t) for males and, y = 0.2085 (1 - e-0.0138t) for females. Analysis of stool examination data by two-stage catalytic model revealed y = 0.025 (e-0.00471 - e-0.0235t). The annual Clonorchis infection rate was 4.7 per 1,000 susceptibles and the annual loss rate was 23.5 per 1,000 infected. The frequency distribution by the eggs per gram (EPG) was calculated as well as the cumulative percentages of positives. The regression equations were y = 0.929 + 1.506 log x for males and, y = 0.473 + 1.767 log x for females. Of the 25 fish species, 7 species were infected with Clonorchis metacercariae. Infection rates varied by the species, and ranged from 2.8% in Puntungia herzi to 30.0% in Pseudorasbora parva. Average number of the matacercariae per gram of flesh was 58.1 in P. parva, followed by 10.2 in Gnathopogon atromaculatus, 7.0 in Saurogobio dabryi, and 3.0 in Paracheilognathus rhombea. The present study indicates that clonorchiasis in Kyongbuk Province is less prevalent than that of several decades ago.     

Generativity and social motives in young adults.

Different forms of generativity in the writings of E. H. Erikson (1950/1963) and J. Kotre (1984) were related to agentic and communal motives in a sample of young adults (M?=?28 yrs old). For women, the power motive related to parenting, whereas the achievement motive was associated with forms of generative expression outside of the household. The opposite pattern of achievement and power motive relationships was found for men, although in a weaker form. The affiliation–intimacy motive, on the other hand, related both to women's parenting and societal concerns. Differences in expectations and opportunities for young men and women may account for these gender differences. The results for women support D. P. McAdams's (1988) suggestions that agency and communion are important for understanding generativity. In addition, the results provide evidence that people begin to grapple with generative issues as young adults. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Effect of thermal treatment on ZnO substrate for epitaxial growth

ZnO is a highly efficient photon emitter, and has optical and piezoelectric properties that are attractive for a variety of applications in sensors and potentially optoelectronic devices such as emitters. Due to its identical stacking order and close lattice match to GaN, it is also being developed as a substrate material for GaN epitaxy. However, the surface finish of the ZnO is such that much of the damage induced by sawing and follow up mechanical polishing remains. We developed a thermal treatment method to eliminate surface damage on the 0 face of ZnO (0 0 0 1) to prepare it for epitaxial growth. Atomic force microscopy images of ZnO (0 0 0 1) annealed at 1050 °C for 3 h etc. show that residual scratches from mechanical polishing are removed and atomically flat, terrace-like surfaces are attained. In addition, low-temperature photoluminescence and high-resolution X-ray diffraction measurements have been employed to investigate the effect of annealing on ZnO substrates.     

Crystallization of Polymer-Derived Silicon Carbonitride at 1873 K under Nitrogen Overpressure

The chemical stability of an amorphous silicon carbonitride ceramic, having the composition 0.57SiC·0.43Si₃N₄·0.49C is studied as a function of nitrogen overpressure at 1873 K. The ceramic suffers a weight loss at p _N2 < 3.5 bar (1 bar = 100 kPa), does not show a weight change from 3.5 to 11 bar, and gains weight above 11 bar. The structure of the ceramic changes with pressure: it is crystalline from 1 to 6 bar, amorphous at ∼10 bar, and is crystalline above ∼10 bar. The weight-loss transition, at 3.5 bar, is in excellent agreement with the prediction from thermodynamic analysis when the activities of carbon, SiC, and Si₃N₄ are set equal to those of the crystalline forms; this implies that the material crystallizes before decomposition. The amorphous to crystalline transition that occurs at ∼10 bar, and which is accompanied by weight gain, is likely to have taken place by a different mechanism. A nucleation and growth reaction with the atmospheric nitrogen is proposed as the likely mechanism. The supersaturation required to nucleate α-Si₃N₄ crystals is calculated to be 30 kJ/mol.