排序方式: 共有134条查询结果,搜索用时 15 毫秒
1.
基于多宇宙并行量子遗传算法的多传感器图像融合方法 总被引:3,自引:2,他引:1
采用基于对比度视觉模型的图像融合最优分块搜索算法,对同一场景两幅严格配准的多聚焦图像的清晰恢复进行了深入研究.针对该算法在图像较大时融合的计算量大,耗时长,难以进行快速、实时融合等缺点,通过分析该算法固有的时间复杂性和并行性,提出了一种基于多宇宙并行量子遗传算法和对比度视觉模型的多传感器图像融合方法.实验表明,该方法融合计算速度快,并行性能理想. 相似文献
2.
3.
提出了端到端数据包协议完整性审计系统模型,此系统模型包含网关审计器和具有跳完整性功能的路由交换设备。通过网关审计器去除外网数据流中的畸形数据包和分片的分片语义歧义性,保证进入内网的数据包为良性的。跳完整性校验对旧报文的重放、新报文的插入、报文修改和报文丢失进行完整性校验检查,以保证内网数据包的完整性。 相似文献
4.
基于硬件的安全路由器设计和实现 总被引:1,自引:0,他引:1
当前的许多安全路由器采用常规路由器硬件平台加安全软件的方式实现,效率低下而不能满足线速安全的需求。针对这一技术缺陷,我们使用通信处理器MPC8260和安全处理器MPC180来设计并实现了一款安全路由器。利用MPC8260提供中央处理以及路由器接口,而MPC180则提供硬件加密功能,解决软件实现VPN功能时效率低下的缺点。通过对设计的硬件平台的测试,表明我们设计的安全路由器能够满足中小企业虚拟私有网络(VPN)应用的需求,具有较好的性能价格比。 相似文献
5.
6.
UML状态机到B形式化规约的转换 总被引:5,自引:1,他引:4
文章研究在高可信软件工程中集成形式化方法。以软件设计的UML状态机模型为起点.将其转换为B形式化模型,然后在B工具环境中遵循B方法的精化原则和正确性验证方法,开发出可靠的实现模型。提出一套从UML状态机到B形式化规约的转换规则,涵盖UML基本状态图、分层状态图和并发状态图。实例分析表明.这套转换规则行之有效。 相似文献
7.
一种H.323通信穿越对称NAT的方法 总被引:1,自引:0,他引:1
本文提出了一种对称NAT的穿透方法,可以在不改变现有NAT设备软件及其配置的前提下,解决两个私有网络IP电话终端通信问题.该方法借助于代理网守中继两个话机之间的信令和媒体流,通过对H.323协议的适当扩展完成代理网守与终端话机通信信道的建立.实践表明,该方法能够达到预期目标. 相似文献
8.
家庭网络中JINI体系结构的实现 总被引:1,自引:0,他引:1
JINI规范的发布使得SOHO环境中设备的网络化及其网络互联变得快捷方便,分析了JINI技术的结构特点、提出了家庭网络中不同的JINI系统实现方案并对相关的规范进行了对比分析,为JINI技术在家庭网络中的应用提供了理论依据和工程实例。 相似文献
9.
文中针对大型网络的设计提出了一种基于饱和集算法的改进模型,解决了原来算法的实用性差等缺点,最后将这种改进的算法和未改进前的算法以及其他算法在实际应用中的结果进行了比较,证明了这种改进的算法的有效性和实用性。该算法已应用到实际的系统设计中。 相似文献
10.