基于身份签名的电子护照被动认证实现方案

被动认证是一种保证电子护照芯片数据真实性和完整性的安全机制。国际民航组织(ICAO)推荐使用CA-PKI体系来实现其功能。本文介绍了Doc9303规范中的被动认证,分析了其实现方案的不足;利用基于身份公钥密码学的Hess签名方案,设计了一种新的基于身份签名的电子护照被动认证实现方案。该方案克服了传统PKI技术产生的管理证书复杂、需要大量存储空间、成本高、效率低等缺点。     

并行工程基于实例的冲突解决的研究

在并行工程环境下冲突的产生是不可避免的,冲突解决支持技术是并行工程实施中的一个重要支持技术。提出了基于实例的冲突解决的方法;研究了冲突解决实例的知识表达,知识管理,相似实例的检索等关键技术问题;并给出基于实例的冲突解决的过程。     

基于构型的轮式空间探测机器人创新设计与优化

针对方案性能评价与优化，提出了基于构型的创新设计方法，建立了轮式空间探测机器人的综合评价与优化模型。基于虚拟样机软件ADMAS12．0和控制仿真软件MATLAB6．5开发了轮式空间探测机器人移动性能综合评价与优化软件，从构型创新、构型组装、方案优化三个层次对轮式空间探测机器人机械景统和控制系统进行综合评价与优化，得到多种优化方案及其优化参数。以双曲柄滑块轮式机器人为研究对象，得到了相对较优的设计参数，从而验证了所提出方法的有效性。     

有限元网格生成方法发展综述

在参阅和分析大量有关文献的基础上，对现有的各种有限元网格生成方法进行了总结，特别是对当前广泛使用的Ｄｅｌａｕｎａｙ三角化，推进波前法和八叉树方法等，从理论到具体的算法程序实现等各个方面都作了详尽的剖析，分析了各种方法的优缺点。为深入研究开发全自动、自适应有限元网格生成软件提供了有益的参考。     

中间件在移动自助营业厅系统中的应用

中间件作为系统软件与应用之间的特殊层,是电子商务架构的关键技术。本文介绍了电子商务和移动业务结合形成的移动自助营业厅系统,论述了中间件在系统中的应用实现。     

微机集成化智能CAD系统Iute CAD

介绍了一个集成化智能化ＣＡＤ系统ＩｕｔｅＣＡＤ。该系统在微机上开发而成，具有较强的设计、分析、绘图功能。介绍了ＩｕｔｅＣＡＤ系统的体系结构和实现技术。     

基于有限状态机的健壮性测试研究

健壮性测试对软件尤其是安全产品有极其重要的意义,本文使用有限状态机来对软件产品进行建模,通过状态扩充和状态对各种异常事件的响应,构建完备的增强有限状态机,使用该模型可以进行健壮性测试。我们利用该方法对GlobalPlatform卡规范中安全通信的安全通道协议SCP02进行了测试。测试结果表明,该方法产生的测试案例包比GP组织认可的测试包具有更高的覆盖性和错误检测能力,该方法产生的案例不仅可以用于健壮性测试,也可以用于功能性和符合性测试。     

基于改进GFAC的嵌入式文件系统访问控制研究

如何有效地对各种移动设备中的数据进行有效的授权访问,是当前各种嵌入式系统的关键技术之一。本文针对各种移动设备,特别是资源受限的设备,在改进GFAC的基础上采用适合嵌入式系统的安全访问控制策略,并结合访问控制列表ACL,研究并实现了一种嵌入式文件系统访问控制方法。实际应用表明,该方法能够满足嵌入式文件系统的访问控制性能要求。     

对一种基于身份的强密钥绝缘签名方案的改进

改进了Weng等的方案,提出了一个新的基于身份的强密钥绝缘签名方案,在实现签名私钥自主安全更新的同时解决了密钥托管问题,并提高了其验证签名时的效率。     

涡流检测系统仿真分析的自适应算法

该文针对电磁场有限元计算的特点,深入研究了涡流检测系统中电磁场有限元后验误差估计的误差模选择问题,并在分析Zienkiewicz-Zhu方法在电磁场有限元后验误差估计应用中存在局限性的基础上,提出了一种适合于涡流检测系统中电有限元分析的后验误差估计新方法。在此基础上,结合James R.Stewart和Thomas J.R.Hughes所提出的简单实用的有限元算法,提出了一种适合于涡流检测系统中电磁场有限元分析的hp 自适应新算法。