C／O测井响应随源距变化的理论研究

针对井内介质分别为水、油，地层分别为３５％孔隙度饱和水砂和油砂的４种情况，采用蒙特卡罗方法模拟外径φ８９碳氧比测井仪不同源距处的非弹性散射伽马能谱。通过分析地层或井内介质不同时的Ｃ／Ｏ差值随源距变化的关系，为设计仪器推荐源距参数。     

EGS程序图形化输入平台的开发

为了使EGS能够更加方便地被工程人员使用，使用VC^ 语言开发出一套运行于Windows下的EGSWIN程序，其中包括一个图形化的输入平台，通过使用本程序，用户可以仅仅进行简单而直观的输入几何实体的工作，就可以实现区域的定义。极大的提高了EGS的使用效率。     

油砂地层中子-伽玛能谱Monte-Carlo模拟

本工作应用自行研制开发的中子 伽玛能谱测井的中子 伽玛射线随空间、能量、时间分布的蒙特卡罗模拟软件包计算了裸眼井、井眼里无下井仪器、油饱和砂岩地层、井眼注油条件下沿井轴和井壁的中子 伽玛射线随能量、时间分布及沿井轴和沿井壁的中子 伽玛射线能谱 ,研究了源距对中子 伽玛射线随能量、时间分布以及井轴与井壁中子 伽玛射线能谱的影响。     

Cluster analysis in industrial market segmentation through artificial neural network

Market segmentation has commonly applied cluster analysis. This study intends to make the comparison of conventional two-stage method with proposed two-stage method through the simulated data. The proposed two-stage method is the combination of self-organizing feature maps and K-means method. The simulation results show that the proposed scheme is better than the conventional two-stage method based on the rate of misclassification.     

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

目前,一种新的理论体系和研究方法已经形成,并正在发展和逐步完善。那就是层序地层学和油气成藏系统理论的诞生和发展;以及由计算机的快速发展带动起来的地震测井资料的采集、处理、显示和各种地质问题的计算机模拟技术,使得地质学和石油地质学都在朝着从定性到定量,从推测到更科学的预测方向发展。在今后的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.     

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

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