具有面向对象特征的知识库系统

本文讨论了具有面向对象特征的知识库系统KBASE~ 的数据模型、语言及实现。KBASE~ 的数据模型可以方便地支持对象标识、类层次、多继承等面向对象概念。描述性查询语言KBL是DATALOG针对于非一范式关系模型的扩充。本文重构了KBL的语义理论框架,提出了通过计算相关类的下确界来解决属性继承中的冲突问题,通过在KBL程序中添加规则来实现实例继承的方案,本文说明了KBL程序可以转换成语义等价的DATALOG程序,描述了这种转换的基本思想,探索了知识库和面向对象数据库有机结合的可行途径。     

会聚束电子衍射技术及其应用

介绍了用ＣＢＥＤ方法，测量晶体缺陷的几何参数、晶体的应变场及晶体取向关系。     

一种计算存水率和驱油指数的新方法及其应用

根据存水率和驱油指数的定义，经过进一步研究，推导出一种新的表达式，建立了存水率与注采比、驱油比；驱油指数与驱油比、水油比；驱油比与存水率、驱油指数；驱油比与含水率、注采比这些参数之间的关系。利用这些新的关系式计算存水率、驱油指数，预测年注水量     

并矢格林函数的对偶关系

文中给出了均匀有界空间中的并矢格林函数在几种情况下的对偶关系，并应用于同轴腔的并矢格林函数。     

三次方程求根及根的性质

给出实系数三次代数方程三个根的关系式定理。只要知道一个根，由该定理可方便地求出另外两根；对重根也适用，且更方便。     

基于精细积分法的干摩擦隔振系统稳定性的研究

本文利用摩擦隔振系统的计算模型，建立了系统的动力学方程，在此基础上，对干摩擦隔振系统的稳定性问题进行了分析，同时将精细积分法引入了求解过程，提高了计算的精度，并给出了相应的数值例题，本文的工作可为工程应用提供必要的计算依据。