知识库的校验研究

以基于规则的知识表达方式为例，论述了短短库的完整性和一致性校验的内容和方法，给出了各种非确定性处理方法统一的抽象描述，研究了非确定性处理对校验的影响，一些结构已应用于自行设计的圈闭评价专家系统中。     

EPICENTRE数据模型应用研究

论述了石油勘探开发集成中心数据模型EPICENTRE的构筑原理和方法 ,论述了模型的应用技术 ,包括领域数据向模型的映射以及实体数据通过模型向数据仓的加载和模型控制下的数据存取等 ,并给出了应用实例。实际应用表明 ,EPICENTRE数据模型可使石油勘探开发数据资源得到充分利用。     

储层知识库系统的设计与实现

论述了一个基于ＷＩＮＤＯＷＳ开发平台的储层知识库系统的设计和实现技术，利用本系统，可实现相分析及储层评价的自动化，并做出包括沉积特征、测井曲线、储层物性等在内的单井综合评价图。     

面向分布式存储系统结构的OpenMP编译系统

OpenMP是目前面向共享存储系统结构的工业标准.与面向分布式存储系统结构的消息传递标准MPI相比,OpenMP规范具有易编程和支持增量并行等优点.如何有效地将OpenMP扩展到分布式存储系统结构且具有高性能是一直关注的热点.文中介绍一个面向分布式存储系统结构的OpenMP编译系统——KLCoMP.基于"部分数组共享"存储模型,为该编译器研发了基于过程间分析的共享数组识别算法、基于生产者/消费者关系的优化技术和针对非线性引用的通信生成技术.实验采用9个标准测试用例并覆盖计算流体力学、整数排序、分子动力学、地震模拟和计算化学等多个领域.通过与MPI版本进行对比表明KLCoMP版本具有与其相当的可扩展性.另外通过与国际同类编译器Omni+SCASH、LLCoMP和OpenMP(Purdue)翻译后程序进行性能对比表明,KLCoMP版本特别是对于非规则应用能够获得更高的效率.     

数据并行中通信表内元素关系定理的证明

利用并行应用提供的信息给出群通信模式内在规律的定理和推论,从而优化消息调度.在数组分布给定和循环中数组下标为线性的情况下,首先给出通信表的周期性定理,然后进一步给出在一个周期下通信表中元素对应关系的定理和推论,即可以从通信表的一部分得到整个通信表.通过这一规律优化消息调度以避免冲突.实验结果表明经过优化后的群通信比MPI-Alltoallv实现具有更好的性能.该定理和推论可以应用于不同情况下的群通信优化.     

基于面向对象公共数据模型的领域构件模型及其实现

在领域公共数据模型和领域公共模型存取规范的基础上，设计适当的领域构件模型，实现领域构件的重用和数据共享与软件重用的统一，对石油勘探开发领域具有重要的实际意义。给出了一种基于领域面向对象公共数据模型的领域构件模型，并论述了该模型实现的关键技术，包括领域公共事务对象（CBo）的设计原则与步骤，CBO对公共数据模型的数据存取接口，CBO对领域不同数据源的数据共享和CBO间的数据存取一致性技术等。石油领域构件实现和应用实例说明，利用构件开发模式可以提高软件开发的可靠性和效率。     

基于面向对象公共数据模型的领域构件模型及其实现

在领域公共数据模型和领域公共模型存取规范的基础上,设计适当的领域构件模型,实现领域构件的重用和数据共享与软件重用的统一,对石油勘探开发领域具有重要的实际意义。给出了一种基于领域面向对象公共数据模型的领域构件模型,并论述了该模型实现的关键技术,包括领域公共事务对象(CBO)的设计原则与步骤,CBO对公共数据模型的数据存取接口,CBO对领域不同数据源的数据共享和CBO间的数据存取一致性技术等。石油领域构件实现和应用实例说明,利用构件开发模式可以提高软件开发的可靠性和效率。