带有约束的缺省逻辑

提出了一种改进缺省逻辑的方法，讨论了这种缺省理论的性质，证明了每个缺省理论都有扩充，具有半单调性和累积性，并讨论了处理多扩充问题的一种方法．     

参数化弧相容约束传播

为进一步提高约束满足问题求解算法的效率,对约束传播过程进行了分析,并使用变量论域缩减比例对弧相容传播深度进行参数化描述,同时提出了一个约束传播程度可以控制的弧相容传播算法,研究了在不同参数下约束求解算法的效率。该算法在“明月1.0”架构下实现。实验结果表明,约束传播程度是影响算法求解效率的一个重要因素,通过调整控制参数可以使算法效率提高3~4倍。     

归纳逻辑程序设计综述

归纳逻辑程序设计是逻辑程序设计和机器学习的一个交叉研究领域。先概述了归纳逻辑程序设计的历史及发展现状;对归纳逻辑程序设计学习器进行了分类和形式化定义,并给出了学习器的质量标准;按划分的类型分别讨论了归纳逻辑程序设计学习器的主要求解算法;进一步指出了归纳逻辑程序设计未来的发展前景,提出了归纳逻辑程序设计领域需要深入研究的若干问题。     

使用归结和调解的输入反驳与单元反驳不等价

Chang和Lee在文献[1]中给出了如下结果: 定理8.4 如果子句集S有使用归结和调解的输入反驳,则S与函数自反公理集的并集有使用归结和调解的单元反驳。     

不完全信息下的溯因诊断

研究缺省逻辑表示下的溯因框架，给出一种基于规则的命题逻辑缺省溯因诊断的求解方法。     

多重取因子的线性序归结

本文重新定义了有序子句的有序因子，证明了在这种有序因子定义下的提升引理，进而在理论上得到了多重取因子的线性序归结方法的完备性。     

约束可满足问题求解策略的改进和实验结果

通过对那些属于ＮＰ－Ｃｏｍｐｌｅｔｅ的约束可满足问题（如图着色，规划、ＳＡＴ问题等）的求解实验，指出了局部搜索算法的局限性，由此给出改进的搜索策略，实验结果表明，应用改进的搜索策略使算法效率明显提高。     

仪表飞行仿真系统的实现

为缩短训练飞行员的周期,提高训练飞行员的质量,设计并实现了一种仪表飞行仿真系统。对系统中使用的各种技术进行了深入的研究,包括应用系数构造法实现空气动力学模型,采用基于组件的方式实现控制系统模型部分,应用树形结构组织管理各种数据以及使用XML(extensib le M arkup Language)语言定义配置文件等。在控制系统部分还给出应用基本控制组件实现PID(Proportional Integral Derivative)反馈控制器。这种基于组件的方式有效地提高了控制系统的灵活性及可扩展性。该仪表飞行仿真系统已应用到国产某型号飞机飞行员训练中,如果不加控制信号,可保持平飞状态30 s左右,非常接近实际飞行状态。实践证明,该系统在实时性和仿真度等方面均符合需求。     

基于核的有向强连通图计算机随机生成算法

针对图论算法研究和算法测试对随机生成有向强连通图的需求,在深入研究有向强连通图和极小有向强连通图的结构组成的基础上,提出了有向强连通图核的概念。参考有向连通图的随机生成算法,给出了一种有向强连通图的随机生成算法,并对该算法进行了测试。对具有上千个节点及上万条弧的强连通图的随机生成,采用该算法时间都在1 s以内,生成的结果能很好地应用于图论研究,以作为图论算法的随机测试用例。     

面向网络的实时飞行模拟系统模型

为提高培养飞行员的效率和质量,节约费用,从整体上设计并实现了一种实时的、面向网络的飞行系统仿真模型。为了使其具有通用性及实时性,采用数据驱动方式,并通过使用稳定系数方式单独设计了一种适用的空气动力的数学模型。通过简单的配置用XML(extensib le M arkup Language)格式描述的配置文件,可以同时模拟各种类型的飞机飞行驾驶,为飞行员的飞行模拟训练提供了仿真平台,模型的建立方法可以为同类设计和研究提供借鉴。实践证明,本模型在通用性、实时性以及仿真度等方面基本符合要求,应用此模型实现了某种国产初级教练机的仪表飞行系统,并被应用于飞行员的仪表飞行训练中。测试结果表明,如果不加控制信号,飞机能保持平飞状态达30 s以上。