基于图的主动数据库规则集终止性分析

主动数据库中规则集的行为很难预测,用触发图可以判断规则集是否保证终止,为了精确判定规则集的终止性必须找出触发图中的全部环路．在OO模式下对主动规则集的可终止性进行深入分析,得出了判定规则集终止性的方法,给出了计算触发图中全部环路和判定规则集是否保证终止的算法．     

基于Petri网的主动数据库规则分析方法

提出一种基于Ｐｅｔｒｉ网的主动数据库的规则分析方法。通过Ｐｅｔｒｉ分析可自动检测出循环触发规则集、冲突规则集、矛盾规则集，进而通知用户修改规则，以保证数据库中规则在有限时间内完成，即为保证规则终止性提供手段。     

联合公式判定非循环执行路径

针对触发图中有环时,在实际运行中仅执行有限次,该规则集可能是可终止的,通过对规则集的静态分析,提出了联合公式的概念,给出了判定联合公式是否满足条件的算法和时间复杂度分析,联合公式的提出,简化了非循环路径的判定工作,为判定主动规则触发图为有环时的可终止性奠定了基础。     

基于主动知识库的危险源监控系统模型研究

主动机制是主动知识库的一个重要功能，采用事件-条件-动作的规则实现其主动功能，将主动知识库应用到危险源监控系统中，能够主动地对危险源监控系统中的数据进行分析、处理，提取满足规则的事件并触发主动知识库中的相应动作，从而改善和提高危险源监控系统的功能。     

基于条件公式的主动规则集可终止性判定

针对利用触发图和活化图的方法来判定主动规则集的可终止性存在一定的局限性,从而影响了运行阶段规则系统的执行效率并限制了主动规则在众多领域中的灵活应用的问题.提出了利用基于活化路径建立的条件公式进行判定的方法,结果表明该方法可以比现有方法发现更多的可终止性情形.对主动规则集的设计和应用具有一定的意义.     

自适应工资系统中规则引擎与系统生成器的研究

研究如何将规则和规则引擎引入工资计算与管理系统中,开发出基于规则和规则引擎的自适应工资系统的生成系统,用于生成能适应各个不同用户所需的工资管理系统;设计了规则引擎和系统生成器的基本结构;提出了"工资计算条例产生规则、规则生成用户工资系统、用户工资系统匹配计算条例"的规则引擎推理机制.     

基于活化路径同步关系的规则集可终止性判定

支持主动规则机制已经成为现代数据库系统的一个重要特征.主动规则集的可终止性判定是主动数据库中核心问题之一,利用触发图和活化图的方法来判定可终止性都存在一定的局限性.为此,根据规则与其活化路径的同步关系,介绍了一个新的判定主动规则集可终止性的方法.分析的结果表明文中提出的方法较现有方法可以发现更多的可终止性情形,最后给出了相应的算法及其可终止性、正确性证明.     

装备保障兵棋规则研究

建立兵棋规则是兵棋系统建设中最重要的基础性工作。规则是兵棋研发的核心,兵棋研发重在规则,也难在规则。从分析兵棋规则的分类入手,研究了装备保障兵棋规则的具体内容,包括实体规则、行动规则和裁决规则;然后,探讨了装备保障兵棋规则的来源;最后,以装备维修规则为例,对装备保障兵棋行动规则建立的方法步骤进行了分析。     

ANGEL系统复杂对象的建模及其表达形式

通过介绍复杂对象的对象－关系数据库管理系统ANGEL中的不同表达形式来说明复杂对象建模的设计思想与实现技术，ANGEL能自然而有效地表达复杂对象的丰富语义，能对复杂嵌套表模式中的引用及继承关系提供良好的建模支持。     

网络故障诊断专家系统中知识库的设计

提出了一种基于规则的网络故障诊断专家系统,重点对知识的获取和表示进行了研究．采用Java语言实现了两种规则形式的表示,一种是产生式规则;另一种是类实体规则．并通过面向对象的技术,构造了面向对象的知识库,实现方法简单有效。     

ORDBMS中的继承层次表达式及实现

提出了继承层次选择表达式的概念并加以实现，使得对象-关系数据库管理系统（ORDBMS）中的SQL操作目标，得以从某个特定的表扩展到某继承层次中的表集合，另外还提出和实现了对继承层次的引用。     

知识基综合智能化工艺设计技术研究

分析了CAPP的交互式，检索修订式式及创成式等工作模式的特点，从CAPP工程化、系统化的角度出发，提出了综合智能化工艺设计思想，并对其关键技术做了深入研究，提出和发展了面向对象工艺知识处理技术和综合智能化工艺设计机制等技术，还简要介绍了国家863－CIMS目标产品CAPPFramework系统结构和特点。     

基于模糊控制的飞机武器发射/投放方案设计与仿真

对飞机武器发射／投放管理系统的功能与结构进行了研究，提出了战术规划和武器分配所遵循的原则，利用模糊控制理论对系统方案的设计和实现作了详细的讨论，并结合数字仿真结果对该系统的可行性进行了分析。     

对建筑设计中美学原理的分析

凡符合艺术性的建筑都必须遵守形式美的规律,建筑师通常称之为建筑构图原理,它的产生、发展和形成,是人类通过长期反复实践、认识而总结出来的.从建筑形式美的基本规律入手,进一步分析和探讨了建筑师们所关注的建筑构图原理以及通常运用的表达手法.     

COBOL语言形式语义模型的构造

用形式技术描述过程序语义,是近年来有较大发展的一门前沿技术,其目标是用一个严格定义的形式模型表达程序的语义.这对于程序的形式开发与验证有着重要的意义.国外将它誊为“九十年代软件开发新模式的革命性方法”.本文采用这门技术构造了 COBOL 语言的形式语义模型.用抽象的形式描述等同表达 COBOL 语言文本定义中关于静态语义,功态语义的文字描述规则.第一次较完整地给出一个 COBOL 语言的形式语义模型.     

一种分布式水声信号检测系统的融合算法

给出了一种多传感器数据融合的融合算法,并将其用于分布式水声信号检测系统中多部声呐的信息综合。各部声呐的观测可以是相互独立的。也可以是相关的。计算机仿真结果表明,融合后系统的检测性能有明显提高。     

A fast method to evaluate water eutrophication

Water eutrophication has become a worldwide environmental problem in recent years.Once a water body is eutrophicated,it will lose its primary functions and subsequently influence sustainable development of society and economy.Therefore,analysis of eutrophication becomes one of the most essential issues at present.With the ability to deal with vague and uncertain information,and express knowledge in a rule form,the rough set theory(RST) has been widely applied in diverse domains.The advantage of RST is that it can compress the rule and remove needless features by reduction inference rule.By this way,the rule gets effectively simplified and inference efficiency gets improved.However,if data amount is relatively big,it could be a process with large calculated amount to search rules by looking up tables.Petri nets(PNs) possesses so powerful parallel reasoning ability that inference result could be obtained rapidly merely by simple matrix manipulation with no need for searching rules by looking up tables.In this work,an integrated RPN model combining RST with PN was used to analyze relations between degrees of water eutrophication level and influence factors in the Pengxi River of Three Gorges Reservoir.It was shown that the RPN model could analyze water eutrophicaion accurately and quickly,and yield decision rules for the decision-makers at water purification plants of the water quality and assist them in making more cost-effective decisions.     

一种基于规则提取的自动化测试用例生成方法

软件测试过程中,缩小测试用例集的规模,通常需要根据经验进行分析,找出输入输出间的非映射关系,这往往要耗费过多的测试资源。而人工神经网络在此问题的处理上有其特有的优势。因此文章提出了一种改进的规则提取方法,用于生成测试用例。通过构建神经网络模型,建立输入/输出之间的非线性映射关系,接着根据连接的权值,裁剪网络,去除与特定输出无关的输入属性。然后,在规则提取阶段仅保留两个与该输出最为相关的输入,并由此提取出IF-THEN规则,生成测试用例。文章完成了改进后规则提取算法各阶段的自动化,显著降低了在测试用例设计环节上的开销。最后,通过程序验证了该方法的有效性。     

办公自动化中公文处理的实现

讨论了采用开发工具LotusNotes的实现方法,如何对电力局办公自动化系统中公文处理进行合理的表单设计从而完成符合公文管理规则和规范的无纸化处理流程,并给出了具体实例．     

融合规则的典型工艺表示与工艺决策方法研究

为了简便有效地表示工艺知识,提高工艺决策的自动化程度和灵活性,文章提出了一种融合规则的典型工艺表示与工艺决策方法.该方法将与典型工艺相关的信息分为不变信息和可变信息,不变信息基于统一的典型工艺信息模型进行表示,而可变信息以产生式规则形式表示,并嵌入到典型工艺中.由于每个典型工艺都有与之密切相关的一套独立规则,规则的针对性很强,所以规则的总结、形成容易,便于实现工艺决策的自动化.文中以飞机结构件的数控加工工艺为例,对融合规则的典型工艺的表示、基于制造特征的产生式规则分类和工艺决策算法进行了详细讨论.该方法已在某飞机制造企业的CAPP系统中进行了实际应用,实现了工艺决策的自动化.应用表明这种工艺知识表示及其决策方法简单有效,规则维护扩充方便.