基于IBAS的SAML路径验证协议

在Web服务认证调用过程中,现有基于公钥基础设施(PKI)的签名机制在保证安全声明标记语言(SAML)断言的安全传递时会显著降低SOAP消息的传输效率。为此,提出基于身份聚合签名的SAML路径验证协议IBSPV,通过缩短签名值和验证公钥的长度,加快 SOAP消息的传输速度。在随机预言模型下分析证明IBSPV具有保证SAML断言的完整性、源不可伪造性以及传递路径不可篡改和抗 重放攻击等安全特性。通过比较IBSPV签名与PKI签名的断言长度,证明IBSPV协议具有更高的传输效率。     

基于小世界网络的PSO算法在电力系统中的应用

针对发电机的阀点效应,电力系统机组优化组合属于复杂的具有混合型变量的组合优化问题,基于小世界网络(Small World Network,SWN)的邻域模型构造,最优化原理和基本粒子群算法(ParticleSwarm Optimization,PSO),以24个时间段所有机组总耗量最小为目标函数,建立了发电机组优化组合的数学模型.提出了将"平均最短路径小,聚集系数大"的小世界网络邻域结构引入到粒子群算法中,以机组的输出功率作为粒子的位置,给出了算法的具体实现方法.在10机系统中分别采用了SWN-PSO算法和遗传算法进行了仿真计算.算例结果表明:所提出的算法不仅有利于粒子之间的信息共享,并且可以更快、更准确地收敛到全局最优解,具有一定的实用性.     

UML状态图在回归测试中的应用

基于UML状态图的测试是一种系统测试技术,也是基于需求的回归测试方法的扩展。该文通过依赖性分析,生成基于依赖性分析的UML状态图和依赖图,将修改前和修改后的UML状态图进行比较,为回归测试中待测试的程序的理解、发现和修改错误提供一种方法,并运用SATM实例讨论该技术在回归测试中的应用。     

基于CPLD的内燃机车逻辑控制模块的设计

有触点电器控制的内燃机车在实际应用中存在着种种弊端,内燃机车逻辑控制模块采用SOC和现代电力电子技术实现了内燃机车逻辑控制的无触点化,简化了机车控制系统,提高了机车运行的稳定性和可靠性,这也是内燃机车逻辑控制系统的发展趋势.本文分析了内燃机车逻辑控制模块的设计方法,着重介绍了基于SOC技术的系统硬件设计,逻辑控制IP核及CAN网络通信的软件设计,并阐述了整个系统的抗干扰措施.     

计算机软件在工程制图中的应用

计算机的广泛应用大大促进了工程制图的发展,它的兴起开创了应用和发展的新纪元.在近几年,计算机软件的第二次开发,已成为当今信息社会的潮流,文章通过对ACTIVEX AUTOMATION、MICROSTATION、VISUAL BASIC、VISUAI C++等平台下用计算机辅助设计技术的数据库,根据不同版本的数据库的类型也不相同,所处位置的文件名也不同.例如,控制文件的格式:采集数据时,首先要选择文件属性,然后按照控制文件的内容、线型、字体、图层、颜色、符号等,提高了采集的质量和效率,这样就可以说明计算机制图软件开发的必然性与紧迫性以及研究的现实意义.相信随着计算机在工程制图上的应用,在今后的发展中,这种开发技术不但不会削弱,反而显得尤为重要[1].     

细胞神经网络超混沌同步系统性能分析及应用

构造状态观测器可实现混沌同步.常规的研究方法是通过任意配置极点来达到同步,但对同步系统的性能分析较少.设计了一个新的五维细胞神经网络超混沌同步系统,研究分析表明极点配置与同步速度密切相关.为最大限度地减少噪声对收发双方同步误差的干扰,提出了选择反馈矩阵和补差值相结合的方法,并将其应用于多通道图像保密通信系统,仿真结果表明该设计方法可实际应用于多媒体保密通信之中.     

高层次时序电路可靠度估计方法研究进展

时序电路的可靠性问题日益成为人们关注的焦点。讨论高层次时序电路的可靠性评估方法,重点研究分析了贝叶斯可靠性分析方法、多阶段可靠性分析方法和基于概率转移矩阵的时序电路可靠性分析方法。以ISCAS 89基准电路为实验对象,选择几种典型的高层次时序电路可靠性评估方法进行实验和分析。研究结果和实验结果表明,电路的抽象级别越高,评估方法所获得结果的准确性就越低,评估时间开销越小;同一抽象层次上,不同类型的方法相比,仿真模拟方法的准确性高但时间开销大,解析方法省时但准确性较低。     

高油价下议能源--美国剑桥能源研究协会第25届年会内容综述

对美国剑桥能源研究协会第25届年会上发表的主要观点进行了综述，分析了新时代能源产业的特点及走势。     

结合注意力机制的核相关滤波目标跟踪

针对目标跟踪中的旋转、快速运动、遮挡等问题 。提出了结合注意力机制的核相关滤波跟踪方法。该方法利用卷积 神经网络提取卷积特征;利用两个样本的相似度矩阵计算注意力权值,并结合注意力权值和 核相关滤波器;使用两个分类 器分别检测目标和背景,并依据两个分类器的响应值实现模型的自适应更新。选取公开数据 集上具有复杂场景的视频序列 进行测试,并与多种跟踪算法在跟踪精确度和成功率上进行定量分析,该算法与原核相关滤 波算法相比,精确度和成功率 分别提高了18.9%、58.7%。实验结果表明,添 加了注意力机制和自适应更新的核相关滤波,较好的解决了遮挡、旋转等 问题,相比其他算法具有更好的鲁棒性和适应性。     

基于移动代理和密钥共享的发布/订阅系统的研究与设计

发布/订阅系统中信息的安全传输一直被忽视,一些保密的重要消息可能由于在传输过程中被人窃取而使得订阅者受到一定的损失.针对该问题,提出了一种基于移动代理的发布/订阅系统,该系统在传统的基于内容的发布/订阅系统中引入移动代理技术,从而有效地提高了系统的灵活性和可扩展性,使用可验证密钥共享算法能够进一步保证秘密信息的安全传输.最后,通过对各方面的性能分析,结果表明,该系统具备较高的安全性和灵活性.