析取逻辑及析取逻辑程序的语义研究

在用不完全知识进行常识推理时，常用缺省方式推导结论，然而当缺省否定算子ｎｏｔ被定义成ｎｏｔ ｐｒｏｖｂｌｅ（不可证）时，析取逻辑程序（ａＶｂ，ｎｏｔ ａ，ｎｏｔ ｂ）应该是一致的，因为ａ不可证且ｂ不可证并不意味ａＶｂ不可证，虽然这是一个很重要的事实，但现有主要的析取逻辑程序语义理论却不能支持它。其主要原因是这些理论都基于传统的一阶谓词逻辑，其中否定ａ且否定ｂ将导致否定ａＶｂ，现提出一种支持上述事实     

水平井试井分析自动拟合方法

建立了均质、上下封闭水平无限大油藏中水平井的试井模型，提出了用最小二乘法实现水平井试井分析的自动拟合方法．运用改进的ＬｅｖｅｎｂｅｒｇＭａｒｑｕａｒｄｔ回归方法，使自动拟合方法收敛速度更快．并用实例说明了该方法的实用性．     

石膏转化法制取硫酸钾单因素实验的回归分析

在一系列单因素实验基础上考察了氨催化下石膏转化法制取硫酸钾中各种因素对氯化钾转化率的影响，应用一元回归分析方法建立了各单因素实验数学模型，得出了反应的优化工艺参数。结果表明氯化钾转化率可达９４％．     

多通道火灾探测信号的分析与合成方法

提出一种多通道火灾探测信号的分析与合成方法，通过基于信号互功率谱的多通道信号模型，提取火灾和非火灾两种情菜下的烟雾、温度等实际信号的统计特征，自适应合成信号序列，探讨了模型参数的选择，并开发了探测算法模拟测试系统，实验表明，该方法能有效地测试出探测算法的火灾报警时间和误报警率等性能指标。     

范德瓦耳斯方程研究

讨论了真实气体的状态方程，分析了范德瓦耳斯对其方程的推导过程，并根据统计物理学的系统理论，结合Ｍａｘｗｅｌｌ－Ｂｏｌｔｚｍａｎｎ分布，给出了建立范德瓦耳斯方程的一种新方法。还给出了真实气体修正系数ａ，ｂ的计算公式。     

自动化仓库客户服务管理问题的时态逻辑描述

在扩展的时态逻辑框架下对自动化仓库中的客户服务管理问题进行研究，内容包括对此服务管理过程进行描述与分析，并给出了相应的控制策略，以使系统达到期望的动态行为．     

直觉模糊逻辑中的归结原理

在模糊逻辑归结原理的基础上，用（０，１）中的两个实数表示一个命题“真的程度”和“假的程度”，从而提出了直觉模糊逻辑，本文提出直觉模糊逻辑的归结原理，并证明其完备性。     

模糊逻辑控制方法在ATM网络拥塞控制中的应用

将普通漏桶技术和移动窗口机制相结合，提出一种基于模糊规则的ＡＴＭ网络拥塞控制方法，并研究了它作为监管机制的一些特性，对它的性能进行了计算机仿真。仿真结果表明，该机制对履行连接接纳控制协议的信元流能提供透明传输，对过份违约的信元能快速阻止其进入网络。与普通漏桶技术相比，本文方法具有同时监管信元流峰值速率和平均速率的优点。     

一种基于时空逻辑表述的虚拟实现技术

介绍了一种虚拟实现技术（ＶｉｒｔｕａｌＲｅａｌｉｔｙ）的实现方法。虚拟实现技术是８０年代后期兴起的计算机图形新技术，它利用计算机生成逼真的虚拟世界，通过对虚拟世界中景象的操作让用户得到身临其境的真实立体感受，并可使用自然技能对虚拟世界进行交互考察，使人完全进入计算机创造的图形世界中。