【摘 要】
：
有序二叉决策图（OBDD）是一种新型的数据结构,在较大状态空间规模的模型检测和验证等领域中,已经得到了成功应用,并且在逻辑公式的可满足性判定方面也具有巨大的应用潜力。通过
【基金项目】
：
广西自然科学基金（0832006Z）
论文部分内容阅读
有序二叉决策图（OBDD）是一种新型的数据结构,在较大状态空间规模的模型检测和验证等领域中,已经得到了成功应用,并且在逻辑公式的可满足性判定方面也具有巨大的应用潜力。通过采用OBDD实现了描述逻辑εL（￢）判定算法。以基于OBDD的SHIQ判定算法为基础,针对描述逻辑εL（￢）进行了优化,应用标准化规则取代了FLAT规则,重构了知识库模型,进而将该模型转化为满足3CNF（每个从句含有3个变元的合取形式）约束的布尔函数并利用OBDD进行可满足性判定,并以实例对算法过程进行了演示。
其他文献
目的初步探讨新建中德合作公立医院健康管理部护理队伍建设和管理的方法和规律。方法以本院和当地及周边地区的实际情况为基础,结合德方提供的先进科学的建设管理模式,针对本
介绍汽车用钢塑制件先进的生产技术,具有优异的性价比,可采用注射或压塑等方法成型.
为了提高人脸识别的速度和检测率,基于肤色与Adaboost算法的人脸检测、特征提取与识别,给出嵌入式平台的自动人脸识别系统的完整设计方案。基于TQ2440嵌入式开发平台实现该系统,结合现场采集的图片进行人脸识别测试,测试结果表明该系统检测速度快,检测率高。
对于语音新呼叫和切换呼叫，提出了一种有效的动态资源预留CAC算法，不仅结合保护信道法给予了切换呼叫更高的优先级，而且采用动态预留信道机制，根据服务等级（Gos）以期达到切换呼叫中
在ZigBee协议设计相应的节点基础上，移植msstatePAN的ZigBee协议栈，实现网络协调器和设备节点的数据互传。串口通讯上的结果显示，无线传感器网络节点硬件设计合理，协议栈移植正确
目的研讨新生儿窒息后肾损害使用小剂量多巴胺治疗的临床药效。方法选择我院2016年1月至2018年5月收治的60例新生儿窒息后肾损害病例作为实验对象,随机分配患儿为两组,Ⅰ组(n