Nonterminating Rewritings with Head Boundedness

We define here the concept of head boundedness,head normal form and head confluence of term rewriting systems that allow infinite derivation.Head confluence iw weaker than confluence,but sufficient to guarantee the correctness of lazy implementations of equational logic programming languages.Then we prove several results.First,if a left-linear system is locally confluent and head-bounded.then it is head-confluent.Second,head-confluent and head-bounded systems have the heau Church-Rosser property.Last,if an orthogonal system is head-terminating,then it is head-bounded.These results can be applied to generalize equational logic programming languages.     

食品高压装置

高压装置是研究高压食品科学、开发和生产高压食品的核心设备，能否提供性能优良、价格相对便宜的装置是高压食品产业化的关键。本文系统介绍食品高压处理装置的类型、结构、性能、特点及最新研究进展，并就如何降低高压装置造价，提高生产能力等关键问题进行探讨。     

Preparation of nanosized titania powder via the controlled hydrolysis of titanium alkoxide

By controlling the hydrolysis of titanium butoxide, followed with or without an ethanol washing process, the preparation of nanoscale titania powder was studied in detail. The characteristics of different powders produced by the direct precipitation (without an ethanol wash) and ethanol wash processes were studied by X-ray diffraction, transmission electron microscopy, BET, thermogravimetry and differential thermal analysis techniques. By comparison, it was found that both the direct precipitation and ethanol wash methods can obtain slightly agglomerated nanoscale titania powders of less than 15 nm, but the ethanol wash can further reduce the agglomeration. The particle sizes of titania powders can be modified while still retaining the anatase structure.     

NiTi形状记忆合金基本驱动特性

研究了预应变ＮｉＴｉ形状记忆合金的基本驱动特性，结果表明，加热和冷却过程回复力存在滞后行为；卸载过程中应力与应变具有与加热、冷却过程相关的非线性关系；卸尖力随卸载应变速率增加而降低，此外研究了预应变ＮｉＴｉ合金丝产生回复力后对外应力的响应行为。     

关于透视投影逆变换基本方程及有关问题的讨论

对《任意曲线透视投影的逆变换》中作出的以下３项研究结果进行了探讨并提出了不同见解：（１）透视投影的逆变换基本方程；（２）根据长方体上一个矩形的投影确定其长宽高之比；（３）由实体的透视图象准确重建其三维信息。     

0.5级电子式电能表的设计与实现

本文论述了一种普及型电子式电能表的设计原理和实现方法，具体讨论了时分割乘法器和电流互感器的组成和误差分析，最后给出测试结果。     

WTG420铁路罐车用钢的组织结构和力学性能分析

分析了ＷＴＧ４２０铁路罐车用钢的组织结构和力学性能。提出了冶炼与轧制的技术关键，其一，添加稀土元素改善钢中夹杂物；其二，采用控轧控冷使铁素体晶粒细化。     

Determination of the short-range order structure of Au-25 At. Pct Fe using wide-angle diffuse synchrotron X-Ray scattering

The short-range order (SRO) structure of a Au-25 at. pct Fe single crystal was studied using wide-angle diffuse synchrotron X-radiation scattering at room temperature. Two heat treatments were investigated: a 400 °C aging treatment for 2 days and a 440 °C treatment for 5 days, both preceded by solution treatment in the single-phase field and water-quenched to room temperature. Evolution of the SRO structure with aging was determined by fitting the two sets of Cowley-Warren (C-W) SRO parameters to a pair of 140,608-atom models. The microstructures, although quite disordered, showed a trend with aging for an increasing volume fraction of an Fe-enriched and an Fe-depleted environment. The Fe-enriched environment displayed a preference for Fe segregation to the {110} and {100} face-centered cubic (fcc) matrix planes. A major portion of the Fe-depleted environment was found to contain elements (and variations of these elements) of the Dl_a ordered superstructure. The SRO contained in the Fe-depleted environment may be best described in terms of the standing concentration wave packet (SCWP) model. This study provides, for the first time, a quantitative real-space view of the atomic arrangements, which make up both environments in the SRO structure of Au-25 at. pct Fe. Formerly Graduate Research Assistant, University of Illinois, Urbana, IL.     

Do chart reviews and interviews provide the same information about breast and cervical cancer screening?

Magnetic resonance imaging allows a noninvasive assessment of myelination during normal brain maturation as well as the detection of genetically determined and acquired diseases that affect the synthesis and maintenance of myelin. If this high sensitivity of magnetic resonance imaging for white matter changes is completed by adequate clinical and biochemical information, a unique diagnostic tool is available to gain new insights in the formation of myelin and pathogenesis of myelin disorders.