A logical approach to program analysis

This paper describesMicroScope, a framework for developing analysis tools for Lisp programs. MicroScope uses a knowledge-intensive approach for program representation and analysis. The analysis tools share a common object oriented program database, and a common Prolog inference engine. The use of Prolog and a declarative representation for programs permits sharing of information, and provides high bandwidth communication between diverse analysis tools. It also supports program specification and debugging activities in the same framework. Extensions to Prolog to support analysis are described, and two tools, theCritic and theExpector, are presented.This work supported in part by Hewlett-Packard Company, the National Science foundation Under Grant Number MCS81-21750 and the Defense Advanced Research Projects Agency under contract number DAAK11-84-K-0017.     

Traveling-wave piezoelectric linear motor Part I: the stator design.

A new type of piezoelectric linear motor incorporating a traveling wave has been developed. The linear motor is comprised of a stator and a carriage. The stator design, which consists of a meander-line structure and gear teeth mounted on the meander-line structure, is the focus of this article. The meander-line structure is constructed with bimorph actuators arranged in a line. These actuators are driven by two phased sets of alternating current (ac) in order to generate a traveling wave. The traveling wave is transferred to the gear teeth, by which the carriage is driven. Modeling of the stator is derived by use of a strain energy method. The performance of various materials is evaluated by analytical and experimental methods. The analytical and the experimental results are quite approximate. Modal analysis is investigated using ANSYS. Appropriate modes associated with ultrasonic levels of resonant frequency are selected to obtain desired motion and to enhance the output performance. Surface speed for various applied input voltage are studied and indicate a nearly linear relationship. The stator in combination with the carriage makes up the linear motor.     

Object data MODEL = object-oriented + semantic models

The term ‘object-oriented database’ has been used to refer to different characteristics and mechanisms supported by semantic databases and (behaviorally) object-oriented ones. While this indicates the current confusion due to the lack of a common model, it also suggests the potential desirability of combining these two kinds of modeling facilities into the same nutshell. This paper summarizes from these two paradigms the features common to both, the features influenced/adopted by each other, and the features which are presented in one paradigm but missing from the other. After a brief analysis and discussion of these features, we conclude this paper by proposing our major theme: a complete object data model should take the union of the facilities offered by these two kinds of models.     

Study of the nutrient distribution in root tips of the tropical forage Brachiaria

A Brachiaria breeding project is being conducted at CIAT, Colombia to combine acid soil adaptation of B. decumbens with other favourable traits of Brachiaria species that are less adapted to acid soils. Micro-PIXE was applied to investigate nutrient uptake and distribution in root tips of different species grown in hydroponic culture under control and simulated acid soil stress conditions. Different sample measurement approaches were evaluated, including: (1) linear scans with single point measurements along the root axis; (2) mapping of whole root tips; and (3) mapping of root cross sections. Different tissue types could be distinguished on the base of differences in nutrient concentrations and/or Al stress. Al, if supplied under nutrient stress conditions, increased P accumulation in the central vascular tissue of the meristematic and elongation zone of B. decumbens and B. brizantha. Furthermore, a negative correlation was found between Al and Cl accumulation in the root cap of B. decumbens.     

承钢棒材连轧线计算机控制系统

主要介绍了承钢棒材连轧线计算机控制系统，其中包括了系统的硬件配置，控制功能及控制说明。     

JETS,PLUMES AND BUOYANT JETS IN STATIC ENVIRONMENT

Turbulence represents an essential aspect in atmospheric and oceanic circulations.In particu-lar,it is a preponderant factor in the dispersion of pollutants of artificial or natural origin.Thevertical turbulent jets,plumes and buoyant jets discharging into static environment is one of themost important and basic flow patterns related with the environment pollution.These flows havenumerous important applications,for example,thrust augmentors,waste disposal plumes fromstacks and combustion systems,and significant problems of turbulent diffusion.     

The influence of trigger configurations and laminate lay-up on the failure mode of composite crush cylinders

In this paper the results are presented of a test program on the energy absorption of composite cylinders loaded in compression. The influence of the laminate lay-up and of the trigger configuration were determined. Two different failure modes for the different laminates and triggers were observed: a splaying mode and a fragmentation mode. The splaying mode is more efficient in absorbing energy. The failure mode did not change during the crushing process.     

新型复合弹簧的研究

提出一种金属圆锥弹簧与橡胶圆锥弹簧复合而成的弹簧．分析表明：它可以应用于弹性耦合激励振动筛和座式直线振动筛。     

Exchange and oxidation of CO on O-predosed Rh---Al2O3 and Rh---CeO2 catalysts

Exchange and oxidation of C¹⁶O were investigated at 450°C on ¹⁸O-predosed Rh and Pt catalysts supported on A1₂O₃, CeO₂ and CeO₂-Al₂O₃. In all cases, a rapid exchange of C¹⁶O with the surface can be observed. CO oxidation leads to C¹⁶O₂, C¹⁶O¹⁸O and C¹⁸O₂. Significant formation of C¹⁶O₂ is due to the relatively high ¹⁶O coverage in reaction resulting from the C¹⁶O exchange and from an exchange between O surface species and ¹⁶O internal atoms. Hydrogen is also formed via a water-gas shift reaction (CO + surface OH) in higher proportion on CeO₂-containing catalysts than on A1₂O₃. Chlorine inhibits all the reactions (exchange, oxidation and WGS) and particularly the internal exchange.     

4，4’－硫代双［2－（1，1－二甲基乙基）－5－甲基苯酚］的合成及鉴定

报道了４，４′－硫代双［２－（１，１－二甲基乙基）－５一甲基苯酚］的合成方法及结构鉴定。