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

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

一种新的Java智能卡上字节码校验算法

Java智能卡上的字节码校验是保障Java卡安全的重要手段。但是,由于Java智能卡本身的空间和运算器的限制,传统的字节码校验算法无法在Java智能卡上实现。为了解决此问题,本文在分析了现有方法的特点和不足的基础上提出了一种基于有向分枝图和缓存策略的字节码校验算法。效率分析和实践表明,该算法是一种可以在Java智能卡上实现
现的高效算法。     

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

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

电子护照验证系统研究

本文简要介绍了电子护照,分析了电子护照验证系统应有的功能和性能,从国家出入境管理中心系统、区域出入境管理系统和验证终端系统三个层次对电子护照验证系统的组成进行了探讨,并给出了电子护照通关验证流程。     

火车轮踏面在役自动检测技术研究

较全面地分析了国内外在火车轮检测方面的研究现状。在此基础上 ,提出了火车轮踏面的在役自动检测技术 ,并研制出相应的原型系统 ,同时给出了实验结果 ,为火车轮踏面的在役自动检测提供了一条崭新思路。     

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

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

基于配合特征的机械装配自动规划

本文根据机械装配配合特征确定装配操作优先顺序,并设计了相应的算法。提出利用布尔矢量表示装配优先顺序,利用图的拓扑排序实现装配任务的自动规划。     

基于实例图形的几何约束满足策略

以实例图形概念，应用稀疏矩阵三角块分技术及非线性数值迭代技术，提出了有效的包括几何约束表达、有效性检验、约束分解及求解的约束满足策略。该策略还支持不完备几何约束的约束满足。     

精度信息建模与特征几何模型的集成研究

精度信息是集成化ＣＡＤ／ＣＡＭ系统的产品模型中必不可少的．本文研究了在ＣＳＧ／Ｂｒｅｐ混合表达的特征建模环境中零件的精度模型，通过引用几何链表将精度模型与特征和几何模型集成起来，在实现关联、继承和提取机制的基础上提供了在不同层次求值窗口的公差信息建模界面。     

微机环境下的工程数据库管理系统

工程数据库是CAD系统集成的核心,MEDB是在微机环境下开发的工程数据库管理系统。它既能处理对象及对象的关联,又能处理常用的关系类型;既能管理一般数据,又能管理图形。从系统模型、逻辑构成、系统结构及应用实例等几个方面论述了MEDB的特长。MEDB的研制成功,为在微机上应用数据库技术创造了条件。