盖层封闭能力的灰聚类评价方法

提出灰聚类评价方法，用于盖层封闭能力定量评价。所有被评价对象构成聚类对象集，所有评价指标构成评价指标集，所划分的盖层封闭能力等级构成聚类的灰类集，按照最大聚类权确定对象所属的灰类，即盖层的封闭能力级别。评价流程是：确定指标灰类模式→数据预处理→利用聚类公式计算→利用最大聚类权准则抉择。这种方法避免了加法评分法要依靠人的主观经验划定总评分值的问题，而且由于把评价对象视为“灰”的，具有处理边缘信息的能力。以琼东南盆地３个主要探区的盖层封闭性评价为例，介绍了灰聚类评价的具体应用方法。灰聚类评价方法同样可用于储集层评价、圈闭评价等地质问题的定量研究。表２参３（王孝陵摘     

利用先进的结构试验系统进行发动机构件的仿真疲劳试验

本文介绍一套先进的构件实验设备的功能及其在发动机构件疲劳试验方面的具体应用实例．通过对几种受力较复杂构件的受力分析设计出实验方法，使构件在实验室中受力情况与构件实际受力情况相似或相同，这样，得出的试验数据就可为构件的可靠性分析工作提供较好的依据．     

The formalization and analysis of a communications protocol

The MSMIE protocol [SBC89] allows processors in a distributed system to communicate via shared memory. It was designed to meet the reliability and efficiency needs of applications such as nuclear safety systems. We present a formal model of the MSMIE protocol expressed in the notation CCS. Desirable properties of the protocol are expressed in the modal mu-calculus, an expressive modal logic. We show that the protocol lacks an important liveness property. In actual operation, additional operating constraints are checked to avoid potential problems. We present a modified protocol and show that it possesses the liveness property even without checking operating constraints. We also show how parts of the analysis were automated with the Concurrency Workbench.     

MPP中确定临界处理器数的方法

本文提出了并行求解问题时所应征用ＭＰＰ系统中临界处理器数的选择方法，该方法根据问题图中每一结点的时间特征进行选择，可操作性好，易于实现，特别适用于基于互连网络的ＭＰＰ系统和分布式系统。     

平面分层介质结构全波分析综述

本文综述了广义谱域导抗法，直线法及直线法的快速算法，全波离散镜象法等主要方法，并对各种方法的特点进行了比较，这些方法可有效地处理平面分层介质结构问题，文中包括作者近期的研究成果。     

Object-extending class transformations

Reorganisation and evolution of class hierarchies is important for object-oriented system development and has received considerable attention in the literature. The contributions of this paper are: (1) a formal study of a set of extension relations and transformations on class hierarchies; (2) a presentation of a small set of primitive transformations which form a minimal and complete basis for the extension relations; and (3) an analysis of the impact of these transformations at the object level.The study leads to a better understanding of evolution and reuse of object-oriented software and class hierarchies. It also provides a terminology and a means of classification for design reuse. The theory presented in this paper is based on the Demeter data model, which gives a concise mathematical foundation for classes and their inheritance and part-of relationships. Parts of the theory have been implemented in the Demeter System ^TM C++, a CASE tool for object-oriented design and programming.     

Additives distribution and electrical properties in zinc oxide varistor prepared by a wet chemical method

Cobalt-, praseodymium-added zinc oxide varistor was prepared through a wet chemical method followed by sintering with or without calcination. Changes in grain size, compact density, additives distribution, and voltagecurrent/ capacitance-voltage relations were investigated for the characterization of the samples sintered at temperatures from 1473 to 1573 K without calcination or with calcination at 773 K for 2 h. The electrical properties were compared with nhose of samples prepared by two types of ball mill methods. The wet chemical method provided almost the same additives-distribution profile and less impurities in comparison with the ball grinding method carried out for 10–100 h. The donor concentration and the potential-barrier height for the samples were evaluated by Double Schottky Barrier Model. Addition of small amount of both cobalt and praseodymium in preparation by the wet chemical method was effective for a better nonlinearity relation between voltage and current, which has potential for a smaller sized varistor.     

A scheme to randomly generate surface dust points for the 3D complex variable boundary element method (CVBEM)

A scheme to randomly generate dust points on the surface of a three-dimensional (3D) object is proposed. This scheme will potentially eliminate the bias of a density of points which are approximately equally spaced on the surface, as well as eliminate possible weighting requirements for areas of higher density. This method has the potential to reduce computational effort, as fewer points might be required to define the surface area. The global trial function vector can be assigned to these dust points and then entered into the complex variable boundary element method (CVBEM) commercial code. This scheme can be applied to each piece of a system that is comprised of a connected multiple geometry. A noticeable benefit of this approach is that the same problem can be studied several times, using a new random distribution of surface points each time. The smallest error can then be determined and that run selected. The Mathematica code used to generate the scheme is attached as an appendix.     

Three-parameter vs. two-parameter Weibull distribution for pultruded composite material properties

The three-parameter and two-parameter Weibull distributions are compared using 26 mechanical property data sets of fiber-reinforced polymeric (FRP) composite materials manufactured by the pultrusion process. Both strength and stiffness properties were examined. The probability distributions were compared on the basis of goodness of fit, nominal design values, and allowable load to achieve uniform reliability. It is recommended that the two-parameter Weibull distribution be used to characterize FRP composite material properties. The primary basis for this recommendation is small differences in nominal design values and small differences in allowable loads between the two-parameter and three-parameter Weibull distributions. Other supporting reasons for the recommendation are similar observed significance levels in distribution fitting, computational efficiency, and the fact that the location parameter of the three-parameter Weibull distribution is near the first order statistic.     

Putting it all together – Formal verification of the VAMP

In the verified architecture microprocessor (VAMP) project we have designed, functionally verified, and synthesized a processor with full DLX instruction set, delayed branch, Tomasulo scheduler, maskable nested precise interrupts, pipelined fully IEEE compatible dual precision floating point unit with variable latency, and separate instruction and data caches. The verification has been carried out in the theorem proving system PVS. The processor has been implemented on a Xilinx FPGA. A shorter version of this article with the title “Instantiating uninterpreted functional units and memory system: functional verification of the VAMP” appeared in [8]. The work reported here was done while all the authors were with Saarland University.