基于Petri网模型的规则库表示

Ｐｅｔｒｉ网是建立系统模型和分析系统的强有力工具。文中首先讨论了各种类型规则的Ｐｅｔｒｉ网表示，然后给出了一个规则库的Ｐｅｔｒｉ网模型表示，克服了产生式规则表示知识难以反映规则之间相互依赖关系的缺点，对于知识库的维护具有重要意义。     

介绍对传统链式推理技术的一种改进算法

本文介绍了传统的链式推理技术及其改进后的算法。由于改进后的链式推理技术提高了推理效率，因而在实际应用中具有推广价值。     

基于模型参考的空面导弹滑模姿态控制

针对直升机机载空面导弹发射初始段动压低、操纵性差和模型不确定性问题,提出了基于模型参考的气动力/推力矢量复合控制方法。首先建立了空面导弹动力学和运动学方程,然后,利用小扰动法线性化建立了基于气动舵/推力矢量控制的系统纵向通道状态空间模型;其次,采用基于模型参考的滑模控制理论设计姿态控制器,使系统状态快速跟踪参考模型,并利用李亚普诺夫定理证明了系统的稳定性;最后,建立了六自由度弹道仿真模型并进行了数字仿真。仿真结果表明:所设计的控制系统在飞行初始段气动参数摄动20%条件下依然能够快速响应姿态指令,跟踪误差不超过2°,控制系统性能良好并具有较强的鲁棒性。     

新的知识表示方法——概念图

简要介绍了一种新的知识表示方法一概念图知识表示方法．详细论述了概念图知识表示方法的形式化定义、概念图知识表示的机器内部实现方法以及基于概念图表示知识的推理，并对在推理过程中如何实现概念图之间的匹配作了详细的论述．     

不同湿度下的云雾-不饱和空气湍流混合实验研究

本实验设计建造了一个80×80×100cm3的室内云雾腔,对不同环境湿度下的云雾-不饱和空气混合过程的湍流特征进行了实验研究,利用 PIV 技术,获得了混合过程中的速度场,得到了湍动能、脉动速度二阶结构函数、泰勒微尺度等物理量。结果表明:该实验测得的湍流泰勒微尺度为 mm 量级;云雾-不饱和空气混合过程的脉动速度场表现出明显的各向异性,随着不饱和环境湿度的增加脉动速度概率密度函数在尾部越来越偏离标准高斯分布;横向结构函数和纵向结构函数比值明显偏离基于均匀各向同性湍流的理论值。     

基于Petri网知识库维护方法的实现

知识库的维护是知识系统的关键部分，直接关系到系统能否正常运行。本文介绍了基于Petri网知识库维护方法的实现。     

面向对象数据库管理系统ObjectStore的简介

本文论述了一个面向对象数据库管理系统ＯｂｊｅｃｔＳｔｏｒｅ的内部结构和所具有的特殊功能；ＯｂｊｅｃｔＳｔｏｒｅ系统是怎样实现面向对象技术和进行并发控制的以及我们在实现面向对象数据库管理系统时应考虑的问题。