Cm命题演算的定理机器证明系统

C_m系统是制约逻辑的命题演算系统,但是其推导定理的过程可否由图灵(计算机)算法完成尚未得到明确的结论.研究证明了C_m的公式集是递归可枚举集,并且给出了一个递归枚举算法,该算法能够对任一给定的实际可证的C_m式在有限的步骤内判定它属于C_m可证公式集.并给出了C_m命题演算系统的一个定理机器证明系统.因此证明了C_m系统至少是半可判定的.     

知识库中精确知识的判定算法

研究了知识库中挖掘它所包含的精确知识的方法，给出知识库的相关概念及精确知识的定义，讨论了一种在所定义的知识库中提取并判定精确知识的算法．     

微机证明系统的设计与实现

在微机上用ＰＡＳＣＡＬ语言实现的命题演绎机器证明系统为背景,说明实现该证明系统的主要技术和技巧。证明了系统的算法和总体设计、公理模式和归约法则的建立、符号的处理、存储结构的选取、联结词消除以及输入输出处理等。对用微机来实现命题（谓词）证明系统提供了具有参考价值的意见。     

圆环与多边形重叠区域的判定算法

讨论了圆环与多边形重叠区域的判定算法,它集判断与确定功能于一身,并给出了作出其重叠区域的定理。     

Johnson 算法的极大极小代数证明

通过极大极小代数的方法对串行生产线进行建模,并给出了Ｊｏｈｎｓｏｎ算法的严格证明     

Huang族变尺度算法中Dixon定理的新证明

本文对无约束非线性规划的Huallg族变尺度算法中具有重要影响的Dixon定理，给出了新的证明。     

满秩Petri网可达性判定算法的设计与实现

通过对Petri网可达性的分析,给出满秩Petrl网可达性算法及其实现过程,在VC＋＋平台上对算法进行验算,并对算法运行结果进行可达性讨论;该算法为满秩Petri网可达性的判定提供了一种快速有效的求解方法．     

任意多边形顶点凸、凹性判定的一种算法

简单多边形顶点的凸、凹性判断是计算机图形学中常用的算法。文章讨论了多边形顶点凸、凹性与顶点为原点建立的坐标及相邻顶点在此坐标系中所处象限的关系;并根据此思想提出了一种确定任意多边形顶点凸、凹性的判定算法,该算法在一定条件下能够加快判定速度,此时每个顶点的判断需要4次比较。实验结果表明该算法在一定条件下能够提高判断的运算速度。     

有效对象的判定理论与方法

基于属性层次结构,定义了有效/无效对象,研究了判定有效/无效对象的相关理论与方法,给出生成所有有效/无效对象的缩减法,并就具有10个属性的属性层次结构,对其算法进行了线性回归.     

一类三次系统的奇点判定量

对含雅普诺夫型奇点的实平面三次微分系流给出了奇点结构的９个判定量公式,从而解决了这类奇点邻域相轨线拓扑结构的判定问题．     

论形式系统的多样性

形式系统在类型上包括公理系统和自然推理系统,在构成要件上包括的形式语言和演绎装置.构造者的哲学背景、构造形式系统的理论对象和目的不同,所采用的形式语言和演绎装置就可能不同,因而,构造出来的形式系统就多种多样,在不同的系统内证明同一个定理也表现为不同的公式系列.形式系统的形式语言和演绎装置为我们界定了形式证明的工具、出发点和依据,同时语义也包含了构造者构造形式系统的理论对象和目的,离开具体的形式系统去谈论或者证明一个定理,将会导致逻辑的失范.     

软件系统的面向对象模型

本文在分析面向对象的基本概念与思想的基础上，提出了面向对象的系统模型，并对面向对象的系统从静态和动态的两个方面进行了定义，给出了面向对象系统的静态与动态模型图，同时阐述了面向对象系统的开发方法与步骤。     

制约逻辑 消解原理 人工智能语言

本文在简介制约逻辑的基础上,提出了基于制约逻辑的消解原理,并探讨了基于这一原理的人工智能语言及其机器实现。     

岩体爆破的断裂控制计算机模拟研究

本文在综述作者已有研究成果的基础上,根据面向对象的原理和方法,建立了针对岩体定向爆破的计算机模型,采用系统优化的方法,对爆破断裂控制中的参数进行计算,并以实际的数据为例,研究了该模型的设计与编程。最终运算结果与实验数据都表明了该模型是有效的,适合于各种岩体爆破的断裂控制模拟。     

基于通用入侵规范下网络入侵检测系统的实现

文章介绍了基于通用入侵规范下网络入侵检测系统的实现过程,以通用入侵规范下网络入侵检测系统 的结构为基础,详细讲解了事件产生器、分析器、响应单元及数据库的设计,最后对网络入侵检测系统进行了 系统测试．     

集对分析理论及其在机械系统可靠度计算中的应用

基于集对分析的新原理与新思路 ,在介绍集对分析的基本概念和联系度的有关运算后 ,定义了机械系统可靠度的联系度 ,给出了串联系统的可靠度联系数的计算公式μ =R +Fj=μ1·μ2 … μn 与计算实例 ,为机械系统可靠度计算与分析提供了新的方法 .     

求解超定线性方程组的修正ABS算法

将求解亚定线性方程组的基本ABS算法进行修改,使之适用于求解超定线性方程组。基本ABS算法的许多性质仍然保持。     

Banach空间中Moore－Penrose广义逆算子的豫解式

王玉文、李志伟在“Ｂａｎａｃｈ空间中Ｍｏｏｒｓ－Ｐｅｎｒｏｓｅ广义逆与不适定边值问题”中引入了闭稠定、且有闭值域的线性算子的广义逆，本文对其中定义的广义道的一些性质进行了进一步的讨论，并给出了它的一个豫解式．     

基于波谱的目标识别模型

目标识别是很多研究人员追逐的一个研究热点,主要是因为目标识别应用于很多领域。本文介绍了一种基于波谱表示的目标识别模型。本文有三个方面的贡献：第一是建立基于波谱表示的目标识别集成模型;第二是设计了基于波谱表示的目标识别集成模型的算法;第三是从UCI数据库中选取真实数据,并把算法应用到这些真实数据上进行实验,实验结果表明,在目标识别方面,本算法比SVM好。     

基于仿人智能控制的汽车动力转向系统

传统的液压动力转向系统容易出现过助力现象,能耗大、对环境有油污染.电动助力系统是通过带微处理器的控制器控制电动机提供助力的一种伺服控制系统,电动助力是汽车转向系统的发展方向.在对汽车电动助力转向系统深入研究的基础上,针对驾驶员操作习惯的差异、路况等的复杂性和不确定性,提出了一种新的鲁棒性强、适应性好的控制算法,并在实际车辆转向系统中得到了应用,实践证明该控制算法兼顾了控制效果和人的感觉(路感),控制效果令人满意.