检索结果-维普期刊中文期刊服务平台

基于ROBDD的布尔函数同构判定算法研究: 1; 作者李红燕高飞《计算机工程与设计》 CSCD 北大核心 2011年第6期1938-1941,共4页; 布尔函数是密码体制设计与分析中一个不可缺少的工具,在布尔函数的应用中,判定两个布尔函数的同构问题具有广泛的需求,但是,判定布尔函数同构是NP-难问题,并且采取穷举法也将随着变量的增多,因极高的时间复杂度而使其难以实现。该文基... 展开更多; 关键词布尔函数同构简化有序二元决策图(ROBDD) 判定算法; 在线阅读下载PDF 职称材料

基于虚拟链路交换式以太网的列车通信网络可靠性分析被引量：14: 2; 作者周洁琼王立德 +1 位作者王涛申萍《铁道学报》 EI CAS CSCD 北大核心 2014年第2期55-61,共7页; 随着轨道交通技术的不断发展,列车通信网络中需要传输的数据类型和数据量日益增大,传统列车通信网络的带宽难以满足要求。本文提出一种基于虚拟链路的环形交换式以太网解决方案,通过流量整形和虚拟链路调度技术可以保证每个BAG间隔内只... 展开更多; 关键词虚拟链路交换式以太网列车通信网络及时可靠性边扩张二元决策图算法网络仿真 TRAIN communication network (TCN); 在线阅读下载PDF 职称材料

基于BDD的多阶段任务系统可靠性被引量：3: 3; 作者胡小华刘依路 +2 位作者张如华叶丹魏朝阳《辽宁工程技术大学学报（自然科学版）》 CAS 北大核心 2013年第10期1415-1418,共4页; 针对多阶任务系统中考虑共因失效后,系统的阶段依赖性和共因失效而增加了系统可靠性分析的复杂度,采用分析显式和隐式方法存在不足的问题,提出了一种基于二元决策图考虑共因失效的故障树可靠性分析方法.该方法首先忽略共因失效情况下的... 展开更多; 关键词多阶段任务系统共因失效系统可靠性隐式方法二元决策图多阶段任务系绕的双值决策图(PMS-BDD) 故障树隐式算法; 在线阅读下载PDF 职称材料

基于神经网络的选择故障树遍历方法的研究被引量：1: 4; 作者张超马存宝 +1 位作者胡云兰许家栋《弹箭与制导学报》 CSCD 北大核心 2006年第S6期455-457,462,共4页; BDD法可以有效地降低故障树分析的代价,其关键就是获取底事件的最优指标顺序,而这又可转化为从六种故障树底事件遍历方式中选择出最佳的问题。文中建立了求解最佳故障树遍历方式的神经网络模型,提出了修正学习率的改进型BP算法。通过利... 展开更多; 关键词故障树二元决策图神经网络 BP算法; 在线阅读下载PDF 职称材料

基于椭圆曲线加密且支持撤销的属性基加密方案被引量：3: 5; 作者孙京宇朱家玉 +2 位作者田自强史国振关川江《计算机应用》 CSCD 北大核心 2022年第7期2094-2103,共10页; 在云终端用户资源受限的场景中,传统属性基加密方案中存在着计算开销大以及不能实现实时撤销的不足。为了实现云端数据安全高效的共享,提出了一种基于椭圆曲线加密(ECC)算法且支持细粒度撤销的属性基加密方案。该方案使用计算较轻量级... 展开更多; 关键词属性基加密有序二元决策图属性撤销云计算细粒度椭圆曲线加密算法; 在线阅读下载PDF 职称材料

题名基于ROBDD的布尔函数同构判定算法研究: 1; 作者李红燕高飞; 机构上海第二工业大学人文学院解放军信息工程大学电子技术学院; 出处《计算机工程与设计》 CSCD 北大核心 2011年第6期1938-1941,共4页; 文摘布尔函数是密码体制设计与分析中一个不可缺少的工具,在布尔函数的应用中,判定两个布尔函数的同构问题具有广泛的需求,但是,判定布尔函数同构是NP-难问题,并且采取穷举法也将随着变量的增多,因极高的时间复杂度而使其难以实现。该文基于图的思想,提出了一种基于ROBDD(简化有序二元决策图)的布尔函数同构判定算法,其算法的复杂度取决于求解变量的最优编序算法的时间复杂度和空间复杂度,笔者采用的算法时间复杂度为23,空间复杂度为3/。; 关键词布尔函数同构简化有序二元决策图(ROBDD) 判定算法; Keywords Boolean function isomorphism ROBDD （reduced ordered binary decision diagram） decision algorithm; 分类号 TP309 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名基于虚拟链路交换式以太网的列车通信网络可靠性分析被引量：14: 2; 作者周洁琼王立德王涛申萍; 机构北京交通大学电气工程学院; 出处《铁道学报》 EI CAS CSCD 北大核心 2014年第2期55-61,共7页; 基金铁路总公司科技研究开发计划课题(2013J011-Ⅰ); 文摘随着轨道交通技术的不断发展,列车通信网络中需要传输的数据类型和数据量日益增大,传统列车通信网络的带宽难以满足要求。本文提出一种基于虚拟链路的环形交换式以太网解决方案,通过流量整形和虚拟链路调度技术可以保证每个BAG间隔内只有不超过一个帧在使用虚拟链路,可避免传统以太网对介质访问存在的碰撞问题,保证数据传输的确定性。为进一步探讨该网络的实时性,本文采用边扩张二元决策图EEBDD(Edge Expansion Binary Decision Diagram)算法分析该网络中的单条虚拟链路、多条虚拟链路以及全部虚拟链路的连通可靠性与及时可靠性,并通过网络仿真研究证实了本方案应用于列车通信网络的可行性。; 关键词虚拟链路交换式以太网列车通信网络及时可靠性边扩张二元决策图算法网络仿真 TRAIN communication network (TCN); Keywords virtual link switched Ethernet timely reliability EEBDD algorithm network simulation; 分类号 U285 [交通运输工程—交通信息工程及控制]; 在线阅读下载PDF 职称材料

题名基于BDD的多阶段任务系统可靠性被引量：3: 3; 作者胡小华刘依路张如华叶丹魏朝阳; 机构重庆交通大学机电与汽车工程学院; 出处《辽宁工程技术大学学报（自然科学版）》 CAS 北大核心 2013年第10期1415-1418,共4页; 基金重庆交通大学研究生创新基金资助项目(20120114); 文摘针对多阶任务系统中考虑共因失效后,系统的阶段依赖性和共因失效而增加了系统可靠性分析的复杂度,采用分析显式和隐式方法存在不足的问题,提出了一种基于二元决策图考虑共因失效的故障树可靠性分析方法.该方法首先忽略共因失效情况下的故障树并将其转化为多阶段任务系绕的二元决策图(PMS-BDD),求出系统的不可靠度表达式;然后,通过隐式方法将该表达式转化成包含共因失效信息的不可靠度或可靠度表达式,并依据求得的表达式进行相应的可靠性分析.研究结果表明:该算法与显示式算法的结果相同.该研究结论为多阶任务系统可靠性分析提供一种更加简便方法.; 关键词多阶段任务系统共因失效系统可靠性隐式方法二元决策图多阶段任务系绕的双值决策图(PMS-BDD) 故障树隐式算法; Keywords phased mission system common cause failure system reliability implicit method binary decision diagram binary decision diagram for phased-mission systems(PMS-BDD) failure tree implicit algorithm; 分类号 TB114.3 [理学—概率论与数理统计]; 在线阅读下载PDF 职称材料

题名基于神经网络的选择故障树遍历方法的研究被引量：1: 4; 作者张超马存宝胡云兰许家栋; 机构西北工业大学中船重工集团第; 出处《弹箭与制导学报》 CSCD 北大核心 2006年第S6期455-457,462,共4页; 基金西北工业大学青年科技创新基金西北工业大学研究生创业种子基金(Z20040002); 文摘 BDD法可以有效地降低故障树分析的代价,其关键就是获取底事件的最优指标顺序,而这又可转化为从六种故障树底事件遍历方式中选择出最佳的问题。文中建立了求解最佳故障树遍历方式的神经网络模型,提出了修正学习率的改进型BP算法。通过利用MATLAB仿真验证了所提模型和算法的有效性。最后分析了各输入节点的相对重要度。; 关键词故障树二元决策图神经网络 BP算法; Keywords Fault Trees Binary Decision Diagrams Neural Networks Back-Propagation algorithm; 分类号 TB114.3 [理学—概率论与数理统计]; 在线阅读下载PDF 职称材料

题名基于椭圆曲线加密且支持撤销的属性基加密方案被引量：3: 5; 作者孙京宇朱家玉田自强史国振关川江; 机构西安电子科技大学计算机科学与技术学院北京电子科技学院网络空间安全系北京电子科技学院电子与通信工程系西安电子科技大学通信工程学院; 出处《计算机应用》 CSCD 北大核心 2022年第7期2094-2103,共10页; 基金国家重点研发计划项目(2017YFB0801803)。; 文摘在云终端用户资源受限的场景中,传统属性基加密方案中存在着计算开销大以及不能实现实时撤销的不足。为了实现云端数据安全高效的共享,提出了一种基于椭圆曲线加密(ECC)算法且支持细粒度撤销的属性基加密方案。该方案使用计算较轻量级的椭圆曲线上的标量乘法代替传统属性基加密方案中计算开销较大的双线性配对,以降低系统中用户在解密时的计算开销,提高系统的效率,使方案更适用于资源受限的云终端用户场景。利用表达能力更强和计算更高效的有序二元决策图(OBDD)结构来描述用户定义的访问策略,以减少嵌入密文中的冗余属性来缩短密文长度。为每个属性建立一个由拥有该属性用户组成的属性组,并为组内每个成员生成唯一的用户属性组密钥。当发生属性撤销时,利用最小子集覆盖技术为组内剩余成员生成新的属性组,实现实时的细粒度属性撤销。安全分析表明,所提方案具有选择明文攻击不可区分性、前向安全性和后向安全性;性能分析表明,所提方案在访问结构表达和计算能力上优于(t,n)门限秘密共享方案和线性秘密共享方案(LSSS),其解密计算效率满足资源受限的云终端用户的需求。; 关键词属性基加密有序二元决策图属性撤销云计算细粒度椭圆曲线加密算法; Keywords attribute based encryption Ordered Binary Decision Diagram(OBDD) attribute revocation cloud computing fine-grained Elliptic Curve Cryptography(ECC)algorithm; 分类号 TP309 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	基于ROBDD的布尔函数同构判定算法研究	李红燕高飞	《计算机工程与设计》 CSCD 北大核心	2011	0	在线阅读下载PDF 职称材料
2	基于虚拟链路交换式以太网的列车通信网络可靠性分析	周洁琼王立德王涛申萍	《铁道学报》 EI CAS CSCD 北大核心	2014	14	在线阅读下载PDF 职称材料
3	基于BDD的多阶段任务系统可靠性	胡小华刘依路张如华叶丹魏朝阳	《辽宁工程技术大学学报（自然科学版）》 CAS 北大核心	2013	3	在线阅读下载PDF 职称材料
4	基于神经网络的选择故障树遍历方法的研究	张超马存宝胡云兰许家栋	《弹箭与制导学报》 CSCD 北大核心	2006	1	在线阅读下载PDF 职称材料
5	基于椭圆曲线加密且支持撤销的属性基加密方案	孙京宇朱家玉田自强史国振关川江	《计算机应用》 CSCD 北大核心	2022	3	在线阅读下载PDF 职称材料