Prolog逻辑程序的测试方法

Prolog逻辑程序设计语言具有不同于传统程序设计语言的特点.本文根据测试Prolog程序的实践,提出了一系列为Prolog程序生成测试用例的准则.按这些准则测试实际程序效果良好.这是在逻辑程序测试新领域迈出的一步.     

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

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

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

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

Characterization of EBPVD micro-layer composites and simulation of its internal stress state

Based on the basic operating principal and the technology characteristic of electron beam physical vapor deposition(EBPVD) technique, EBPVD was used to prepare the micro-layer composites. The effect on the substrate preheating temperature was taken into accounts and the finite element analysis package ANSYS was used to simulate the internal stress field and the potential displacement changing tendency. The results show that one of the most important quality factors on the judgment of micro-layer composites is the adhesion between the substrate and the deposition layers as well as among the different deposition layers. Besides the existance of temperature gradient through the thickness of layers, the main reason for the internal stress in micro-layer composites is the mismatch of various properties of the layer and the substrate of different thermal expansions and crystal lattice types. With the increase of substrate preheating temperature, the inter-laminar shear stress also takes on a tendency of increase but the axial residual stress decrease.     

线性八元树表示的三维客体群的连通分量标号和计数

本文提出二种算法分别标号和计数线性八元树表示的三维客体群的连通分量.这些操作典型地需要检查线性八元树中诸八分体在三个主方向上的面邻接对.根据这些邻接对,可以建造在计算机中用关联矩阵表示的邻接图.连通分量标号和计数是在关联矩阵上分别执行相应的操作而完成的.连通分量标号的执行时间是O(n+m·logm),而连通分量计数需要O(n)时间,其中m和n分别是线性八元树中八分体和邻接对的数目.     

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.