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.     

Development of alternative technical systems

This paper considers the integration of alternative technical systems (TS) belonging to a wider class of competing TS, into a supersystem. The paper introduces the notion of alternative TS, shows the peculiarities of their incorporation into a supersystem, reveals the mechanisms used for such incorporation, and shows areas of application for the suggested method.     

会计政策选择的效率性分析

会计政策选择类型在理论上大体可分为机会主义型和效率(或有效契约)型。会计政策选择具有效率性,但也为经理人员的机会主义行为打开了大门。在我国,由于企业缺乏一系列有效的激励约束机制,会计政策选择的机会主义仍然严重。为此,必须建立适合我国企业有效的激励约束机制。     

Self-Irradiation Cascade Simulations in Plutonium Metal: Model Behavior at High Energy

The Modified Embedded Atom Method model for Pu metal is revised so that it more accurately captures the behavior of the Ziegler-Biersack-Littmark model of ion-ion interactions. Two revision are tested with somewhat different stiffnesses in the 2-1000 eV range. The revised models show higher damage levels at 20 KeV than an earlier model, suggesting that the behavior of the models above 100 eV is dominating damage production, at least in the earlier stages of the cascade. Work was performed at Los Alamos National Laboratory under the auspices of the US Department of Energy, under contract DE-AC52-06NA25396.     

高层建筑地下室人防及通风设计

该文结合工程实例介绍了地下室人防及通风设计的方法及实际运用中的注意事项．     

多级网络多处理机系统的性能评估

本文建立了多级网络(δ-网)多处理机系统的马尔柯夫模型,为系统结构参数和任务粒度的选择提供了依据。文中分析了处理机数目、网络结构参数和任务粒度对系统性能的影响,并对模型计算结果和仿真结果作了比较。     

面向对象的程序设计语言CLUSTER86的设计与实现

本文介绍了笔者设计并实现的一种新型的面向对象的程序设计语言,着重讨论了在设计过程中采用的新的概念,并和其它类似语言作了比较.     

Towards real CAD

Present-day computer-aided design (CAD) packages play only a small part in the area of mechanical engineering design, which involves the synthesis and embodiment of physical components to perform a pre-determined function without unwanted side effects. The computer cannot properly help the designer in this task until it is able to capture and process the function requirements of the design. This paper describes the computer system being developed for this purpose at the Engineering Design Centre at Cambridge University Engineering Department. The paper also explores some of the geometrical and programming implications raised.     

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.