寻找非构造油气藏的新思路

目前,一种新的理论体系和研究方法已经形成,并正在发展和逐步完善。那就是层序地层学和油气成藏系统理论的诞生和发展;以及由计算机的快速发展带动起来的地震测井资料的采集、处理、显示和各种地质问题的计算机模拟技术,使得地质学和石油地质学都在朝着从定性到定量,从推测到更科学的预测方向发展。在今后的5～10年中,中国的石油地质家们不仅要注意方法和技术方面的进步,还应当重视在陆相层序地层学和陆相层序中油气成藏机制等基本理论方面的研究。     

DIDS: rapidly prototyping configuration design systems

The domain independent design system (DIDS) provides a set of tools for rapidly constructing new configuration design systems from a library of reusable software elements called mechanisms. A DIDS user begins by creating a model of the problem domain and the task to be automated. This includes describing a library of parts from which new artifacts could be configured, optimization and preference criteria, and functionality constraints. DIDS analyzes this input and automatically builds an operational prototype system by selecting and combining mechanisms. DIDS' ability to automate this process is derived from its model of configuration design, which enables reusable mechanisms to be identified and automatically selected based on a problem's characteristics. The use of DIDS is illustrated by showing how DIDS solved an elevator-configuration problem.     

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.     

钛容器的特点

根据钛材的化学、物理、力学和工艺性能介绍了钛容器在设计、制造、检验和应用方面的特点。     

符号运算在求解车辆传动系扭振中的应用

介绍符号运算方法在用拉普拉斯变换方法求解车辆传动系扭振过程中的作用．针对弹性联轴器的匹配计算，给出了具体求解实例．实践表明，与传统的纯数值计算方法相比，符号运算方法可以方便准确地处理车辆传动系统扭振分析中的非线性等复杂问题，具有推广应用价值．     

非线性理论在计算机视觉中的应用

针对目前计算机视领域中普遍存在的大量非线性问题以及此带来的鲁棒必差、效率低等问题，结合目前比较新的解决非线性问题的方法，诸如同伦法、吴方法以及Ａｄｏｍａｉｎ方法等，对一系列计算机视觉中的非线性问题给出了比较满意的解答。     

Mechanization techniques for poplar development in Turkey

Annual commercial poplar wood production in Turkey is about 3.6 million cubic meters, half of which comes from hybrid poplar I-214. The poplar plantation areas of Turkey are 70% of the poplar plantation areas of the Near and Middle Eastern countries, and nearly 5% of the world. In this study, unit times of standard operations were investigated in poplar nurseries and plantations in which new mechanical technology was applied and compared with traditional methods. Analyses of unit times were made on 11 treatments for poplar nurseries and nine treatments for poplar plantations; some new methods are also recommended. Mechanization methods based on new technologies give promising results in poplar nurseries and plantations.     

高功率激光焊接光致等离子体的检测

系统地归纳了高功率激光焊接过程中光致等离子体的声、光、电、热等四种特征信号，综述了国外在等离子体信号检测方面的试验方法及研究进展，分析了未来的发展趋势     

连续驱动摩擦焊动态扭矩检测的新方法—VCMM法

连续驱动摩擦焊动态扭矩检测的新方法──ＶＣＭＭ法刘金合，罗键连续驱动摩擦焊扭矩是一个重要的工艺参数。摩擦焊扭矩是动态扭矩，具有时变性、速变性以及变化范围大等特点。现有的检测摩擦焊扭矩的方法均有一定的局限性’‘－’‘，本文提出了通过驱动主电机定子电压和...