论文部分内容阅读
分析了传统谓词逻辑在推理的不足，将条件事件代数应用到主动数据库规则分析中，通过条件命题的演算来进行循环规则的简化，并清除循环。
条件事件代数在主动数据库规则分析中的应用
【摘 要】
：
分析了传统谓词逻辑在推理的不足，将条件事件代数应用到主动数据库规则分析中，通过条件命题的演算来进行循环规则的简化，并清除循环。
【机 构】
：
哈尔滨工程大学计算机系
【出 处】
：
哈尔滨工程大学学报
【发表日期】
：
1998年6期
【基金项目】
：
国防基础研究基金
其他文献
老年性肺结核和晚期肺癌的发病率呈增高的趋势。这是2种性质截然不同的疾病，但同有咳嗽、咳血、胸痛、消瘦等症状。影像学上也常易误诊，现已成为临床诊治难题之一，本文结合临床
HEST是一个专家系统工具,可在IBM PC及其兼客机上运行,具有在集成环境下的知识编辑、编译、推理、维护、解释等多项功能.它也是一种新的知识表示语言,支持逻辑函数两种知识表
1病例报告患者，女，14岁，学生，主因自服“1605”（量不详）约1．5h，恶心、呕吐、周身大汗、神志模糊，于2005年3月29日8：15急诊入院，诊断：有机磷中毒。入院后给予洗胃、药物解毒、对症、支持治
“五陵”是西汉陵邑制度下产生的一个概念，它往往成为权力、富贵的象征，“五陵少年”名义上看便是出身于这个权力、富贵之乡的少年群体。其实，唐诗中所描写的“五陵少年”往往是一个泛称，它已经超越了其固有的区间概念，指代的是活跃于长安一带的游侠少年。
证明了Kn（n≥5）不是（k，d）－算术图；任意k，d≥1且k≠id，i∈{1，2，…，n－1}，则Km,n为（k，d）－算术图。
目的：探讨生脉散对急性肝衰竭大鼠内毒素（LPS,即大肠杆菌脂多糖）诱导细胞因子水平及大鼠肠道组织抑制性-κBα（I-κBα）蛋白表达的影响。方法：采用D-氨基半乳糖（D-Gal）腹腔注射复制急
＂包容性增长＂的实质是让公民都能参与经济发展的进程,共享经济发展带来的新增社会福利,其最重要的表现是缩小收入分配差距。＂包容性增长＂视角下的分配机制,既要有利于市场效率,又
本文对钼钒硅杂多配合物进行了系统的研究,指认了振动光谱中某些特征谱带.对振动光谱,UV光谱,51V NMR谱的特性进行了探讨,同时利用X-射线粉末衍射,IR光谱、差热-热重分析等手
随着人们生活水平的不断提高,外出旅游度假成为了很多人休闲娱乐的方式,这也直接促进了酒店业的发展,近年来,酒店市场呈现出一片欣欣向荣的景象,各种不同类型的酒店如雨后春
应用“大Ｍ的小定理”于凸二次规划的主对偶内点法，并给出了一个求解凸二次规划的大Ｍ渐长法。