有序二元决策图相关论文
传统密文策略属性基加密（CP-ABE）方案为资源受限的用户在云端安全存储与共享数据时，存在计算开销大和无法追踪恶意泄露密钥的用户问题......
随着科技的发展,金融业信息化程度不断提高,金融行业和电力营销平台在紧密结合的同时,增加了用户与电力营销平台大数据(如客户基本......
为提高结点不可靠网络的可靠度计算效率,提出一种基于子网同构判定的高效计算方法。在生成有序二元决策图(OBDD)的因子分解过程中,......
知识编译作为人工智能的重要方向,在实时查询和推理中起重要作用。有序二元决策图(ordered binary decision diagram,OBDD)是知识......
目前,计算机和网络发展越来越迅速,随之而来的网络安全问题也越来越突出。现代网络安全应用通常采用深层数据包检测来识别恶意流量......
随着信息化时代的迅猛发展,云计算等新技术在社会各个领域得到了广泛的应用,而云存储作为云计算中最基本的功能,可以解决各种海量......
为改善矩形网络的可靠度计算效率,提出基于同构子网判定的矩形网络可靠度计算方法.在研究矩形网络结构特点的基础上,定义了不同的......
在工业4.0背景下,工控网络的应用越来越广泛,保障工控网络和系统安全可靠的运行至关重要,可靠性已经成为工控网络最关键的性能指标......
为了提高基于属性加密技术的计算效率,对属性基加密构造中重要的一环——访问策略进行了优化,基于有序二元决策图(OBDD)提出了一种......
合理的黑启动分区可以实现多区域分区并举的启动，加快系统恢复进度。该文对黑启动分区进行了研究，建立了黑启动合理分区的定义和数学......
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们......
通信网的链路重要性评估是网络设计和维护的重要依据。在链路重要性评估方法上提出了一种基于有序二又决策图（ordered binary decis......
有序二元决策图（OBDD）被广泛用到网络可靠度的计算中，在基于 OBDD 计算网络可靠度时，其计算时间主要取决于参与操作的OBDD的大小，而OBDD......
为提高模式匹配算法中子匹配提取过程的时间效率,采用有序二元决策图（ordered binary decision diagram,OBDD）与布尔函数相结合的方......
关于基于有序二元决策图的定性分析方法,首先引入时序逻辑,将动态门转换成时序逻辑表达式,然后将动态故障树转换成相应的有序二元......
模型检测是一种自动化的形式化验证技术,在这种验证技术中包括模型化系统的Kripke结构,描述规范的命题时态逻辑和确定系统是否满足......
