一类新型抽象数据类型:有序二叉决策图

有序二叉决策图OBDD(Ordered Binary Decision Diagram)是布尔函数的一种规范表达形式、一种的新的数据结构.基于OBDD能够完成布尔函数的有效表述和操作运算,可以看作为一类新的抽象数据类型.OBDD在VLSI逻辑综合和验证的成功应用结果引起了学术界和工业应用界的极大关注.迄今为止,OBDD技术及其工业应用已有了长足的发展、产生了不少的研究结果.本文对OBDD相关技术问题、OBDD扩展形式、OBDD应用等方面的研究现状进行了综述和讨论.     

实时二叉判定图

对布尔函数的有效操作是许多计算机辅助设计的重要组成部分,二叉判定图（ＢＤＤ）是对布尔函数的一种有效表示,为了表示带时间参数的布尔函数,在ＢＤＤ的基础上,本文给出了带时间参数的布尔函数（ＴＢＦ）的表示—带时间参数的二叉判定图（ＴＢＤＤ）,并利用ＣＵＤＤ包实现了ＴＢＤＤ．     

基于有序二叉决策图的粗糙集属性约简的符号方法

针对现有属性约简算法主要基于代数表示和信息表示的方法,基于改变属性约简问题的知识表示方法,提出区分矩阵的有序二叉决策图(OBDD)的表示方法。给出了属性约简的区分矩阵模型到OBDD模型的转换方法,得到了信息系统的区分矩阵的OBDD模型,并对区分矩阵表示和OBDD模型的存储空间进行了实验对比。结果表明,OBDD模型具有较好的存储性能,可降低对象数量和属性个数较多的信息系统的属性约简问题的空间复杂度。     

基于OBDD的Iteration-free CPDL判定算法

命题动态逻辑是一种应用模态逻辑,用于程序行为的推理.Iteration-free CPDL是一种无迭代算子而含有逆算子的命题动态逻辑.对于给定的Iteration-free CPDL公式集,方法是应用NCNF变换和FLAT规则对其进行预处理,并对公式集重构模型,然后将其转化为布尔函数,并利用OBDD来表示,从而调用已有...     

基于分支程序逆向评估的安全多方计算

针对传统决策函数表示计算复杂度高、编码规模大、参与者局限于2方问题,提出一个基于边值二叉决策图和分支程序逆向评估的解决方案。引入边值二叉决策图(EVBDD)技术,给出一种基于 EVBDD的安全2方计算协议;引入分支程序逆向评估方法,将安全计算参与者由传统的2方扩展到多方;借助基于边值二叉决策图的安全计算协议为基础协议,设计一个基于分支程序逆向评估安全多方计算协议;对协议的正确性、安全性和效率进行分析。与现有解决方案相比,新协议提高了效率,弥补了因隐私泄漏出现的安全问题。     

基于OBDD的εL^（￢）本体判定算法

有序二叉决策图(OBDD)是一种新型的数据结构,在较大状态空间规模的模型检测和验证等领域中,已经得到了成功应用,并且在逻辑公式的可满足性判定方面也具有巨大的应用潜力.通过采用OBDD实现了描述逻辑εL(一)判定算法.以基于OBDD的SHIQ判定算法为基础,针对描述逻辑εL(一)进行了优化,应用标准化规则取代了FLAT规则,重构了知识库模型,进而将该模型转化为满足3CNF(每个从句含有3个变元的合取形式)约束的布尔函数并利用OBDD进行可满足性判定,并以实例对算法过程进行了演示.     

赋时Petri网的一种符号分析算法

有序二叉决策图(Ordered Binary Decision Disgram-OBDD)是布尔函数表示的规范型,布尔函数的复杂运算可以基于OBDD得到极大地简化实现.在讨论基于OBDD的有界Petri网符号分析算法的基础上,对赋时位置Petri网的符号分析进行了研究,构造了一种扩展标识向量,给出了赋时Petri网分析的一种符号OBDD算法,实现了赋时Petri网的隐式描述与分析.实验表明,符号算法能处理较大规模赋时Petri网问题.     

图着色问题的细胞神经网络算法研究

应用细胞神经网络（ＣｅｌｕｌａｒＮｅｕｒａｌＮｅｔｗｏｒｋｓ—ＣＮＮ）模型,系统地研究了图着色的ＣＮＮ算法,构造了能量函数,建立了相应的数学关系和表达式．与图着色的其他算法相比较,此算法的模型具有结构简单,易于实现的特点．     

分支分类学算法研究及其在生物分类中的应用

针对目前普遍采用的分支分类方法一般只能得到局部最优解这一问题，首先提出了一条与俭约性原理等价的定理，然后就使用同步系数进行分类时可能出现的情况进行了讨论，同时给出了几条有关定理．在此基础上，对最大同步法给出了一个反例并提出了一种修正算法．实验结果表明该算法是正确的和可行的，且能保证不劣于最大同步法．     

基于稀疏表示的图嵌入降维算法在人脸识别中的应用研究

随着社会的发展,公共安全对于人们来说显得愈发重要,如何快速准确的识别生物特征则是重中之重。在应用人脸识别时,通常会因为光照以及人脸的遮挡等客观因素,使得在人脸识别时的准确度降低,进而使得人脸的识别率不高。根据人脸识别过程中的技术需要,使用小波变换和数据降维算法对人脸图像降维变换处理,可以有效的提高人脸识别率。首先通过稀疏表示方法及其构图以及基于图嵌入的降维模型的研究;其中稀疏表示主要对其概念、字典构建以及构图进行研究,然后为了验证改进算法的有效性,在ORL库上进行了一系列的Matlab仿真实验,对提出的方法与其它方法进行对比,从而可以证明提出的基于稀疏表示的图嵌入降维算法在人脸识别中具有比较好的应用效果。     

基于 OBDD 的描述逻辑 ALC判定算法

针对描述逻辑 ALC的经典判定算法在处理大规模问题上的不足,而 OBDD 对于处理大规模问题有高效性,给出了一种基于 OBDD 的 ALC判定算法并证明正确性.该算法根据 ALC 的概念的形式,计算所有子概念和每个子概念的否定形式的集合,然后根据该集合里的每个概念的形式构造出其相应的布尔函数,将布尔函数转化为 OBDD 的表示形式来进行概念的可满足性判定.     

基于OBDD的描述逻辑SHOIQ判定算法研究与实现

描述逻辑是语义Web的逻辑基础,已成为当前计算机科学和人工智能研究的热点.鉴于描述逻辑SHOIQ的经典判定算法在处理大规模问题上的不足,以OBDD能很好处理大规模问题为基础,给出了一种基于OBDD的SHOIQ判定算法.该算法利用相关规则和技术将SHOIQ知识库转化为OBDD,在此基础上进行SHOIQ知识库的一致性判定....     

布尔函数的分解及其在逻辑网络设计和密码学中的应用

本文对一类特殊布尔函数给出一些代数分解定理及分解方法。这些方法可使一类逻辑电路的实现大为简化。最后本文指出分解定理和分解方法在密码学中的应用.     

决策表的建立和转换算法

本文将多值逻辑理论中的展开定理推广到混合多值逻辑上,从而得出了2-n-3和3-n-3两种模型的原始决策表的一种新的建立方法,并提出了原始决策表转换为标准决策表的完整算法。     

钢铁企业氧气生产方案优化模型研究

根据集合理论建立了氧气生产方案决策模型，提出了选择制氧机的优化方案。理论分析和实例计算表明，所提出的氧气生产方案优化决策模型解决了大型制氧系统的制氧机合理选择问题。利用该模型及其软件可以快速、方便地计算出制氧机优化生产方案，为氧气发生系统决策者提供有效的计算方法和合理的氧气生产方案。     

偶数元择多逻辑函数的稳定性和代数结构

与变元个数一定为奇数的SML函数相对应，本文定义了偶数元择多逻辑函数，考查了其中一部分函数的Walsh谱性质和代数结构，证明了当变元个数较多时这部分函数同样具有理想的稳定性和较高的非线性度。同时这部分函数的代数结构当n=2^p，p是正整数时也是理想的。因而此类函数在非线性组合和非线性滤波密码环境中同样有密码学价值。     

多因素模糊层次综合评判决策模型及其应用

通过对建筑工程招标评标的系统分析，建立了评价指标体系，运用系统工程知识和模糊分析设计方法，建立了多因素模糊层次综合评判决策模型，利用模糊综合评判的方法进行建筑工程招标评标定标，能够很好地处理类似模糊决策的问题，它不仅充分发挥了评标专家的作用，还尽可能地减少了个人主观臆断所带来的危害，为合理进行评标决策提供了科学依据。