储层地质模型与油藏模拟模型之间的桥梁——一种有效的模型粗化方法

针对油田储层地质模型向油藏模拟模型转化中粗化软件存在的问题 ,提出了一种实用的网格粗化方法 ,并编制了模型粗化程序 ,还给出了检验粗化结果的 5个要点。应用效果表明 ,该粗化方法是有效的 ,它较好地解决了地质模型与油藏模型之间的转化问题     

新型模具钢012Al在深冷处理过程中的组织转变

本文利用x-射线衍射分析及复型和薄膜透射技术研究了012Al钢经淬火后在深冷处理过程中的组织转变。结果表明,淬火后的残余奥氏体在深冷处理过程中部分转变成马氏体;深冷处理使马氏体发生分解,析出超细碳化物;同时伴有形变晶孪产生。     

大集中后数据调整智能化处理的实现

文章简单介绍了INFORMIX关系数据库动态RDSQL语句的使用方法以及利用动态RDSQL语句成功开发的中国建设银行湖南省分行智能帐务调整模块的设计方法。     

工程结构动态特性智能优化设计研究

本文针对在传统结构优化设计中，优化过程复杂和费时的问题，采用神经网络的智能算法对结构进行动态优化设计，并给出了具体的设计方法。以门座起重机筒型支柱结构为例，应用此方法对其进行了动态优化设计计算，从而证明了该算法的有效性。     

AI paradigms

The aim of this paper is comparative analysis of most important AI paradigms. An AI paradigm is defined as the pair composed by a concept of intelligence and a methodology in which intelligent computer systems are developed and operated. Three paradigms, the behaviourist paradigm, the agent paradigm, and the artificial life paradigm are discussed.     

用面向对象编程实现问题求解自动化

本文从面向对象方法基本原理和面向对象编程的技术特征出发，阐明所建应用软件系统中的对象，类及相应类层次结构和类组合结构，使系统具有很强的表现真空世界复杂系统结构的能力，系统通过消息传递在程序执行中实现对操作的调用机制，使之在面向用户问题选择和执行求解策略方面有很强的适应性，这一点对于强调人－机交互和解题协作的智能决策支持系统设计至关重要，文章给出了用Ｃ＋＋实现的模型对象系统及消息传递机制。     

Pre-bainitic Transformation in Fe-Ni Alloy

Ｔｈｅｐｒｅ－ｂａｉｎｉｔｉｃｐｈｅｎｏｍｅｎｏｎｉｓｏｎｅｏｆｔｈｅｉｍ－ｐｏｒｔａｎｔｓｕｂｊｅｃｔｓｏｆｂａｉｎｉｔｉｃｔｒａｎｓｆｏｒｍａｔｉｏｎｗｈｉｃｈｉｓｓｔｉｌｃｏｎｔｒｏｖｅｒｓｉａｌ．Ｏｎｅｖｉｅｗｉｓｔｈａｔｔｈｅｓｏｌｕｔｅａ...     

以数字搜索树表示的二值图象的几何变换

本文介绍以数字搜索树表示的二值图象的一种几何变换算法，文中讨论了四分区与正四边区的基本关系，输出ＤＳＴ结点成立的充分条件，给出了完整的几何变换算法并对算法的复杂性作了分析。     

A singular loop transformation framework based on non-singular matrices

In this paper, we discuss a loop transformation framework that is based on integer non-singular matrices. The transformations included in this framework are called Λ-transformations and include permutation, skewing and reversal, as well as a transformation calledloop scaling. This framework is more general than existing ones; however, it is also more difficult to generate code in our framework. This paper shows how integer lattice theory can be used to generate efficient code. An added advantage of our framework over existing ones is that there is a simple completion algorithm which, given a partial transformation matrix, produces a full transformation matrix that satisfies all dependences. This completion procedure has applications in parallelization and in the generation of code for NUMA machines. This work was supported by the Cornell Theory Center, NSF Presidential Young Investigator award #CCR-8958543. by NSF Grant #CCR-9008526, and by a grant from the Hewlett-Packard Company.     

小波变换在手写体汉字识别中的应用

汉字识别中的结构类特征具有抗变形的优点，合适做为手写体识别过程使用，但其中笔划特征的提取非常困难。本文用小波变换这一图象分析中有力工具对汉字图象分析处理之后，再进行笔划的提取，其过程简洁、明晰。