发布订阅系统中Carzaniga匹配算法优化

基于内容的发布订阅系统中应用广泛的Carzaniga算法只支持订阅覆盖,未考虑多个谓词间可能存在的覆盖关系,从而引发事件与订阅较严重重复匹配,降低系统匹配效率,导致系统性能低。针对该问题,该文提出一种改进算法,结合计数法和搜索树匹配策略,利用谓词间的覆盖关系减少重复匹配,划分并行谓词集匹配树加速匹配。实验表明,其进一步减少重复匹配,匹配效率得到一定提高,也提高系统性能和可扩展性,更适用于大规模的发布订阅系统。     

基于知识表达的电网故障智能容错诊断技术

针对目前故障诊断方法难以实现告警报文缺失、混杂和设备状态不确定情况下的故障判断,提出了一套事故诊断知识表示模型,建立了电网一二次设备关联关系、设备状态和设备动作情况的知识表示方法.以此为基础结合谓词逻辑将事故后设备动作逻辑以规则形式进行表达,并通过对不同故障假说下的事故链推理,实现报文信息的校核和事故发展过程的重现.通过先验概率的计算得出最优故障判断结果.实际故障案例验证了方法的有效性.     

方块苗文动态构造方法的形式化描述

针对如何在计算机中生成和显示方块苗文的问题,提出了一种方块苗文动态构造方法,给出了该方法的基本原理,定义了实现方块苗文动态构造所需要的操作符,并以谓词规则的形式对方块苗文动态构造变换操作进行了描述。该方法仅需存储方块苗文构件及独体字的显现字符,通过对显现字符进行上下组合、左右组合、侧围组合来实现方块苗文的动态构造,为方块苗文字库中字形构件提取及合体字自动生成技术提供了重要支持。     

一阶谓词逻辑的图形推理法

针对已有一阶谓词逻辑推理方法中存在的推理效率低等问题,研究一种基于谓词/变迁系统的图形推理法。定义了描述谓词间与/或关系的谓词-与/或图,借助谓词-与/或图表示谓词/变迁系统,提出一种实现反向推理的目标制导的图形推理法。该方法推理效率高,较已有的推理方法具有一定的优越性。     

基于描述逻辑的模糊软集参数转换算法

通过应用模糊描述逻辑FALC (fuzzy attribute language and complement)表示问题领域和模糊软集参数知识,丰富模糊软集参数的语义;利用描述逻辑的推理能力,通过设计模糊软集转化算法,将原始模糊软集转化为符合查询决策参数语义的模糊软集,提高了模糊软集决策支持能力.     

并发系统中谓词行为图的行为时序逻辑表达

行为时序逻辑(TLA)组合时序逻辑与行为逻辑, 可以对并发系统进行描述与验证, 它引入动作和行为的概念, 使得系统和属性可用它的规约公式表示, 但存在用TLA描述复杂系统时TLA公式复杂且难以理解的不足。类似于状态转移图, 对于并发转移可以用谓词行为图进行图形化表示, 谓词行为图与行为时序逻辑规约具有相同的表达能力。介绍行为时序逻辑的语法、语义及简单推理规则, 用一个简单的实例说明使用谓词行为图去描述并发转移系统的有效性, 并用系统规约的TLA公式对谓词行为图表达能力进行证明, 表明两者具有等价性, 为描述和分析并发转换系统提供了一种可行的方法。     

“存在”是否谓词浅析

＂存在是不是谓词＂的争论由来已久,主要集中于三种结论：一是以弗雷格、罗素等逻辑学家为代表,认为＂存在＂不是谓词,而是量词。二是皮尔士等人结合精致的自然语言分析,认为＂存在＂在某些特殊情况下可以充当逻辑谓词,因此它是一种特殊的谓词。三是自由逻辑学家认为＂存在＂是谓词。     

派生式CAPP系统工艺资源数据库的研究及应用

针对机械制造企业对CAPP系统的需求特点,结合某厂的应用实际,提出了基于数据库平台的HXCAPP的总体结构.通过阐述工艺资源的分类、工艺资源的方案设计以及工艺资源管理在HXCAPP系统中的具体应用,说明工艺资源数据管理是工艺规程设计时必不可少的环节.     

关于Herbrand基上的语义映射

关于Ｈｅｒｂｒａｎｄ基上的语义映射应明生（江西师范大学数学系南昌３３００２７）ＳＥＭＡＮＴＩＣＭＡＰＰＩＮＧＳＯＮＨＥＲＢＲＡＮＤＢＡＳＥＳ￥ＹＩＮＧＭｉｎｇｓｈｅｎｇ（ＤｅｐａｒｔｍｅｎｔｏｆＭａｔｈｅｍａｔｉｃｓ，ＪｉａｎｇｘｉＮｏｒｍａｌＵｎｉ...