一种不一致本体的可废止推理系统

利用可废止逻辑的非单调知识表示和推理能力、线性的计算复杂性和易于实现等优点,整合描述逻辑和可废止逻辑,提出了一种不一致本体的可废止推理系统（简称为DeRS）.DeRS使用描述逻辑定义的本体和可废止理论对领域问题进行混合建模,将TBox划分为最大的一致公理集和最小的不一致公理集,并进行初始化;然后利用转换算法,将一致公理集的公理和不一致公理集的公理分别映射为硬性规则和可废止规则,并添加到可废止理论中;最后利用新定义的可废止推理规则进行非单调可废止推理,由此解决了不一致本体的推理问题,弥补了描述逻辑在非单调性方面的不足.结果表明DeRS具有协调性、易处理性、可判定性、可靠性等基本性质.     

基于LOTOS对象模型的并发形式化研究

面向对象技术和形式化方法结合,在面向对象技术中应用形式化方法,是一种实现软件自动化的有效方法。介绍了形式化描述语言LOTOS的组成、操作语义和规则;根据LOTOS对并发操作描述的优势,应用它的操作语义和规则定义,结合面向对象技术和状态图的理论知识,定义出对象的状态变迁、状态图和对象并发的形式化规则,并运用这些规则对软件系统进行并发形式化;给出了GTP管理子系统形式化的实例说明。     

Integration of small world networks with multi-agent systems for simulating epidemic spatiotemporal transmission

This study proposes an integrated model based on small world network (SWN) and multi-agent system (MAS) for simulating epidemic spatiotemporal transmission. In this model, MAS represents the process of spatiotemporal interactions among individuals, and SWN describes the social relation network among agents. The model is composed of agent attribute definitions, agent movement rules, neighborhoods, construction of social relation network among agents and state transition rules. The construction of social rela...     

X控制图的两类误判概率及其计算

本文提出了控制图的两类误判概率的概念,並给出了它们在头十点的逐点计算公式及相应的值。在进行上述讨论时,我们把所有的判别规则看作一个整体,同时也把从第一点开始的各点也看作一整体来加以考虑。此外,文中还对头50个点的两类误判概率作了模拟计算。这些计算出来的值可以作为使用控制图时的可靠性指标。同时,所有这些讨论对研究、补充或修改现行的判别规则将是有益的。     

控制图和EWMA控制图的灵敏性分析

在统计过程控制中通过分析X控制图,指出X图虽然对监测过程大波动非常灵敏,但对过程均值小漂移却不敏感,若结合使用判异规则,将导致虚发警报概率的增加。通过仿真数据图形化,分析了EWMA图的灵敏性,并与X图进行比较,结果表明EWMA图对监测过程小漂移比X图更灵敏,而X图对均值大偏移反应比较灵敏;两种控制图如互为补充,共同用于监测过程波动更有效。     

基于规则的业务流程描述算法的研究

为了使业务逻辑具有独立性,使业务逻辑的描述更为清晰,文章提出了用产生式规则来描述软件系统的业务逻辑,实现了使用陈述性的语言来描述系统的业务逻辑.并给出了流程图到产生式规则的转换方法,根据流程图到产生式规则的转换算法,可以直接把系统分析和设计的结果转换为系统实现中的规则集合,从而实现系统的部分自动化.     

基于背景-前景分离模型的图表手绘信息识别

在各类文档、资料、报表中,许多数据使用图表进行表示,对图表进行自动识别和信息提取成为图形 识别和文档图像处理中一个重要的研究分支.本文提出了一种基于背景-前景分离的方法,针对司机日志图表中 的手绘折线信息,实现准确的信息提取与高精度识别.这种方法使用启发式规则分析和连通体分析将印刷体图 表的背景信息与手绘折线的前景信息相互分离,利用印刷体背景提供的刻度信息对手绘折线进行精确识别.同 时提供了良好的容错机制,降低手绘随意性造成的识别误差,并精确定位各种手绘错误造成的识别冲突,保证了 识别结果的有效性.通过4组805页测试样本集测试,本文方法的识别精度达到了90％以上.     

基于m文件的Fuzzy—PID控制系统仿真

针对一些非线性系统的控制,本文提出了基于m文件的Fuzzy—PID控制系统仿真,通过Matlab仿真软件得到其仿真波形和模糊控制查询表。由m文件编程设计的Fuzzy—PID控制系统,根据实际情况的要求可以很方便的修改相应的控制参数和控制规则。对于Fuzzy—PID控制系统的核心部分-模糊控制查询表来说,通过运行m文件编程设计的程序生成模糊控制查询表的方式比利用计算公式计算得出的方法具有方便和准确的优点。     

继承系统中可废止的继承扩张性质

为进一步研究分层知识结构,阐明可废止继承系统的理论,从一致性角度和框架方法出发,构造两种带有可废止特例推理的扩张,并证明它们的存在性,表明其合理性.对继承系统的深入研究,便于进行有效搜索,丰富计算机语言及人工智能的知识描述.     

英汉NP＋VP＋CP“主表被”结构生成模式

以英、汉NP＋VP＋CP＂主表被＂结构特点为依据,对该结构的句法及语义属性进行对比分析。从转换生成语言学的角度,利用X-阶标理论和深层、表层结构关系,提出英、汉NP＋VP＋CP＂主表被＂结构基础生成的（base-generated）模式假设,并探讨了从深层到表层结构的转换规则。内部论元NP[-animate,＋agent]已经占领标示语位置,其语义属性表现出强性的施事性[＋agent]特征,大于谓词动作发出者这个外部论元,同时,谓词VP表现出强性的状态性[＋state]语义属性,从而使这一动作发出者的施事角色隐性,在人们的概念中弱化。     

应用微机解机械加工工艺尺寸链及绘制图表

本文介绍了应用微机解机械加工工艺尺寸链并绘制图表的方法。此法是根据工序尺寸图表解法的原理,应用微机建立简单数据库,采用人机对话的方式进行计算和校核工艺尺寸链,最后将结果以图表的形式输出。它具有迅速简便、直观形象、便于检出有用数据及研究尺寸链规律等特点。文中还结合实例说明了绘制工艺过程图表的全过程。     

监测过程均值小的偏移的综合控制图

提出的“可变样本的综合控制图”（VGR）是对传统休哈特控制图、合格品链长控制图以及可变样本3者的恰当结合.通过数据显示,可变样本的综合控制图在样本均值发生较小偏移时更能及时发出失控信号,与传统休哈特图以及GR综合控制图相比减少了发信号时要检验的平均样本量,并且在均值未发生偏移时能有一个较大的平均样本量.     

FSM与方法序列在面向对象的测试中的应用

在UML状态图的基础上，利用有限转状态机理论分析类状态，消除UML状态图中的子状态，将UML状态图转化成为一般有限转状态机，然后应用方法序列规范生成测试的方法序列．测试了类的方法与类状态之间的转换关系，保证测试的完整性．     

可变抽样区间图

常规控制图是每隔固定时间从过程中抽取样本对过程进行监控.根据样本均值落在控制图上的位置而变化抽样区间的长度即为变抽样区间图的思想实质.利用马氏链方法计算了变抽样区间控制图的统计效率测度.初始表现和稳态表现均表明在不增加受控时平均报警时间下,变抽样区间X图比标准休哈特图更具有实际效率.     

单边三角形模糊数属性决策树学习算法

通过定义单边三角形模糊数空间上的一种全序关系,提出了属性取值为单边三角形模糊数的决策树学习算法.作为ID3算法在单边三角形模糊数意义下的推广,算法通过一种分割信息熵的极小化来选取扩展属性.通过非平稳割点的分析,减少了分割信息的计算次数,使算法的效率得到了提高.     

协方差函数与谱密度中的窗因子

本文从一般的角度讨论实平稳正态过程的协方差函数和谱密度的加窗因子估计法,得到了渐近无偏、弱一致估计的充要条件,并指出传统的周期图加窗的估计法是不可取的.     

预设与蕴含

该文指出预设是前提、先设,其特点是在句子被否定后仍然保留,具有不可否定性。并提出蕴含的定义,在此基础上探讨预设和蕴含二者之间的关系及其区别。     

一个基于对策论的协商模型

传统的对策论,往往不存在或存在多个Nash平衡点,使得要找到使各个Agent都满意的解是非常困难的。从人类日常生活的角度出发,考虑在协商过程中加入可信第三方来处理一些较为困难的。从人类日常生活的角度出发,考虑在协商过程中加入可信第三方来处理一些较为困难的对策状况,并且引入两种通信行为：请求保证和提供补偿,使得多个Agent在协商过程中寻求共识,得到一个折中的,稳定的,较好的解,基本满足各自的赢利。     

虚拟维修系统关键技术研究

针对目前虚拟维修存在的实时性不高、开发效率低的问题,研究了基于virtools5.0的虚拟维修技术。提出了在几何模型的构建过程中,通过制定一些规则,对三维模型进行初始优化,减少三维模型的几何面片数。同时对有相似操作的行为模块建立行为模组图,并对行为模组图进行封装,针对容易出现参数丢失现象,对封装技术进行了改进,将参数保存到行为模组图的外面,提高了整个系统的开发效率。以上技术通过对某大型部件虚拟维修的应用,证明了该技术的有效性。     

基于粗糙集理论旋转机械频域特性的故障诊断

应用粗糙集理论将旋转机械转子的频域信息作为研究对象, 从转子故障实验的频域图表及其相关数据中, 构造符合粗糙集理论要求的决策表, 并对决策表进行约简, 得到旋转机械故障诊断的决策规则, 通过区分矩阵和区分方程寻找决策表的约简和核, 最后优化鳞选出决策表的最小约简形式.