P#: a concurrent Prolog for the .NET framework

We discuss P#, our implementation of a tool that allows interoperation between a concurrent superset of the Prolog programming language and C#. This enables Prolog to be used as a native implementation language for Microsoft's .NET platform. P# compiles a linear logic extension of Prolog to C# source code. We can thus create C# objects from Prolog and use C#'s graphical, networking and other libraries. We add language constructs on the Prolog side that allow concurrent Prolog code to be written. A primitive predicate is provided that evaluates a Prolog structure on a newly forked thread. Communication between threads is based on the unification of variables contained in such a structure. It is also possible for threads to communicate through a globally accessible table. All of the new features are available to the programmer through new built-in Prolog predicates. We discuss two software engineering tools implemented using P#. Copyright © 2004 John Wiley & Sons, Ltd.     

Micromechanical approach to damage mechanics of composite materials with fabric tensors

The purpose of this study is to apply continuum damage mechanics – introduced through the concept of fabric tensors – to composite materials within the framework of the theory of elasticity. A directional data model of damage mechanics for composite materials will be developed using fabric tensors. The introduction of fabric tensors into the analysis of damage of composite materials will allow for an enhanced and better understood physical meaning of damage. The micromechanical approach will be used here to relate the damage effect through fabric tensors to the behavior of composite materials. In this approach, damage mechanics is introduced separately to the constituents of the composite material through different constituents’ damage effect tensors. The damaged properties of the composite system as a whole can then be obtained by proper homogenization of the damaged properties of the constituents.

The derivation of a generalized formulation of damage evolution will be shown here in a mathematically consistent manner that is based on sound thermodynamic principles. Numerical examples will be presented to show applicability. In addition, damage evolution for the one-dimensional tension case is also illustrated.     

稀土改善09CuPTiRE耐候钢耐蚀性的作用机理

应用扫描电镜(SEM)、离子探针(IMA)、X射线光电子能谱(XPS)和交流阻抗法研究含不同稀土耐候钢稀土提高耐大气腐蚀作用机理。结果表明,合适的稀土含量可显著提高钢的耐腐蚀性,稀土能促进Si、Cu和P在内锈层中以Si~(4+)、Cu~+和P~(5+)形态富集,并观察到锈层中的稀土。钢中加入稀土形成了致密连续厚而粘附性好的含硅铜稀土的复合铁锈层,从而提高了抗大气腐蚀性能。     

Ion-beam-defect processes in group-III nitrides and ZnO

Recently, there has been much interest in wide band-gap wurtzite semiconductors such as group-III nitrides (GaN, AlGaN, and InGaN) and ZnO. Ion-beam-defect processes are considerably more complex in these wurtzite semiconductors than in the case of both elemental and group-III-V cubic semiconductors. This brief review focuses on our recent studies of the following aspects of ion-beam-defect processes: (i) effects of implanted species and the density of collision cascades, (ii) the nature of ion-beam-produced planar defects in GaN, (iii) defect production in GaN by swift heavy ions, (iv) blistering of H-implanted GaN, (v) electrical isolation of GaN and ZnO, (vi) the effect of Al and In content on defect processes in III-nitrides, and (vii) structural damage in ZnO with an intriguing effect of the formation of an anomalous defect peak. Emphasis is given to unusual ion-beam-defect processes and to the physical mechanisms underlying them.     

Emission of core-excited autoionizing sodium atoms from NaCl induced by electron bombardment

In the time-of-flight spectrum of positive ions produced by electron bombardment of NaCl surface a delayed signal of Na⁺ is detected. This observation is attributed to production of core-excited autoionizing metastable Na^** atoms which have their characteristic lifetimes in the 100 ns range. Moreover, it is noticed that the populations of the various metastable Na^** states depend on the NaCl layer thickness. The lifetimes of some quartet metastable Na^** states have been determined as well.     

International Humanitarian Award.

Presents the citation, biography, and selected bibliography for the 2007 recipient of the American Psychological Association's International Humanitarian Award. Also presented is an article based on the author's award address delivered at the APA's 115th annual meeting, held August 17-20, 2007, in San Francisco, California. The International Humanitarian Award recognizes extraordinary humanitarian services and activism by psychologists, including professional and volunteer work conducted primarily in the field with underserved populations. Award recipients are psychologists who, by their extraordinary service at a difficult time, improve the lives and contribute to the well-being of people in a large or small geographic area anywhere in the world. The 2007 recipient of this award is Gerard A. Jacobs. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Markov analysis of qualitative dynamics1

Common sense sometimes predicts events to be likely or unlikely rather than merely possible. We extend methods of qualitative reasoning to predict the relative likelihoods of possible qualitative behaviors by viewing the dynamics of a system as a Markov chain over its transition graph. This involves adding qualitative or quantitative estimates of transition probabilities to each of the transitions and applying the standard theory of Markov chains to distinguish persistent states from transient states and to calculate recurrence times, settling times, and probabilities for ending up in each state. Much of the analysis depends solely on qualitative estimates of transition probabilities, which follow directly from theoretical considerations and which lead to qualitative predictions about entire classes of systems. Quantitative estimates for specific systems are derived empirically and lead to qualitative and quantitative conclusions, most of which are insensitive to small perturbations in the estimated transition probabilities. The algorithms are straightforward and efficient.     

PHOSPHORUS AND PHOSPHATE LEVELS IN THE ALEURONE CELLS OF CEREAL GRAINS

The aleurone cells of barley, wheat, rice, rye, oats and triticale contained, comparatively, higher percentages of phosphorus than the aleurone cells of sorghum, maize or millet. The aleurone tissues of barley, wheat and rice had more phosphate than corresponding tissues of sorghum and maize. Phosphate was not detected in the aleurone tissue of maize but was found in trace amounts in the aleurone tissue of sorghum.     

加油站油品用体积交接存在的问题及建议

叙述了目前加油站在实行按任意温度下的体积交接，由于未考虑油品体积随温度、压力、密度的变化，出现了零售损耗很大的问题。建议加油站在现阶段采用“准标准体积”交接；在由体积转换为质量计算加油站损溢时，使用油库当月发出的平均密度；当财会核销损溢时，不使用盘存的体积和固定密度进行计算的方法，而使用实际盘点的质量数，以真实反映加油站的当期损溢。     

Gold Medal Award for Life Achievement in the Practice of Psychology.

Announces the 2007 recipient of the Gold Medal Award for Life Achievement in the Practice of Psychology: Patricia M. Bricklin. A brief biography, highlighting areas of special focus in Bricklin's work, is provided. (PsycINFO Database Record (c) 2010 APA, all rights reserved)