【摘 要】
：
针对描述逻辑ALC的经典判定算法在处理大规模问题上的不足，而OBDD对于处理大规模问题有高效性，给出了一种基于OBDD的ALC判定算法并证明正确性。该算法根据ALC的概念的形式，计算
【机 构】
：
桂林电子科技大学计算机科学与工程学院
论文部分内容阅读
针对描述逻辑ALC的经典判定算法在处理大规模问题上的不足，而OBDD对于处理大规模问题有高效性，给出了一种基于OBDD的ALC判定算法并证明正确性。该算法根据ALC的概念的形式，计算所有子概念和每个子概念的否定形式的集合，然后根据该集合里的每个概念的形式构造出其相应的布尔函数，将布尔函数转化为OBDD的表示形式来进行概念的可满足性判定。
其他文献
旋转机械的有源噪声控制中对谐波信号进行基频估计可以有效地跟踪噪声的频率变化,使控制系统能够对噪声进行有效控制。分析了Pulse-Pair频率估计的基本原理,通过Hilbert变换
基于小波变换的多分辨率、相对带宽恒定、良好的时频局部化特性，一种利用连续小波变换对实测的脑电信号进行癫痫棘波分解并检测的方法，能够方便而有效地对脑电信号中的癫痫棘波
委婉语是人类使用语言过程中的一种普遍现象。它不仅是一种社会语言现象．更是一种文化现象。不管是在日常生活还是在涉外交际中，我们都要进行语言交流。由于某些生活习惯或习俗
目的 分析肾功能衰竭乙肝病毒携带者血液透析护理期间应用优质护理的临床价值。方法 选取我院收治的肾功能衰竭乙肝病毒携带者(73例)为本次研究对象,所有患者均接受透析治疗,
目的探究在老年浅表性胃炎中采用泮托拉唑钠肠溶片进行治疗的效果。方法以2015年12月至2017年12月患有浅表性胃炎并且在我院进行治疗的老年作为研究对象,共计选取76例,随机编
目的 分析对欧美达7100麻醉机呼吸回路系统的日常维护方法以及对常见问题的处理措施。方法 收集欧美达7100麻醉机呼吸回路系统在实际工作中的相关情况,并对其中出现的典型问
高中政治课教学要在原有的单纯接受式的学习方式中,逐步加强培养学生的＂问题意识＂,还学习的主动权给学生,让学生主动思考探讨形成开放式学习与教学,让学生参与课的设计和组织,
情感教育是素质教育的一项重要内容,它体现了“以人为本”的教育思想。随着教学改革的不断深入,大学英语教学中的情感因素越来越引起教师的关注,本文从自身教学的实际出发,阐
＂德育为首＂的教育思想逐渐被职业学校所重视,培养人格健全的中高级技术人才已经成为建设和谐社会的必要因素。语文教育与德育有着千丝万缕的联系,在语文教学大纲中强调了德育目
本文介绍了篮球运动在我国的发展，评价了我国高校篮球教学中存在的问题，通过分析篮球教学过程，总结了高校篮球教学中常用的有效教学方法，对理论和实践都有很强的指导意义。