针对流水冲突的微处理器功能验证程序的自动生成

功能验证是处理器设计中的关键问题，而基于激励向量仿真的方法是功能验证的主流技术，其难点在于如何产生高效的测试程序。研究了针对流水冲突的测试程序的自动生成方法。与常规技术相比，该方法适用于深度流水、指令系统复杂的处理器，具有自动化程度高、针对性强等优点。本文方法已应用于32位RISC处理器的验证中，取得了良好的效果。     

维修技术指令的验证仿真

该文研究了用人体结构模型验证飞机维修程序的可行性，介绍了使用参数化行为描述和多重模型的仿真方法。参数化行为描述是以动画人体结构模型(HFMs)，通过CAD技术模拟人体各个部位的维修动作，它支持自然语言的理解。多重模型是指仿真对象具有几何外观和非几何领域的行为属性。将编写的维修技术指令分解为简单的行为，进行程序的仿真。在统一的界面下，封装多重模型的同步机制。通过维修程序与相应行为的比较，可以方便地判断程序是否安全、符合逻辑，以及能否完成。     

周期更新的可验证秘密共享方案

在(t，n)秘密共享方案中，秘密的安全性是建立在攻击者在秘密的整个生命周期最多只能获取t个秘密碎片。对于长生命周期和敏感的秘密来说，这种保护是不够的。本文基于离散对数问题的难解性，提出一个周期更新的可验证秘密共享方案，方案在秘密信息保持不变的情况下，定期对秘密碎片进行更新。参与者可以对自己的秘密碎片和其他成员出示的秘密碎片进行验证。为了防止秘密碎片的毁坏和丢失，即保证秘密的完整性和可用性，方案还具有检测损坏的秘密碎片和恢复正确的秘密碎片的功能。     

基于CMMI的软件测试流程

对CMMI以及与软件测试相关的关键过程域做了分析和介绍，并对传统的软件测试理论模型(X模型，V模型)做了分析和比较，基于对这两方面理论知识的理解以及项目实践经验中的总结，对基于CMMI的软件测试流程做了探索和研究，旨在提高软件测试的效率和保证软件开发的质量。     

基于Saber Sketch/Scope的无刷直流电机仿真分析

利用Saber仿真软件．在分析直流无刷电机数学模型基础上．在Saber Sketch中建立无刷直流电机系统的仿贞模型．并且在Saber Scope中得到相关波形。验证了电机系统的正确性．为进一步研究直流无刷电机系统．缩短研究周期．验证控制策略提供了一个有力的工具。     

高精度位置检测原理及应用

介绍了无线感应位置检测原理 ,提出了提高定位精度的方法 ,并给出了电原理框图。     

加强实验室间比对的能力验证确保实验室的持续能力

实验室间比对是指按照预先规定的条件，由两个或多个实验室对相同或类似的被测物品进行检测的组织实施和评价。而能力验证则是利用实验室间比对确定实验室的检测能力。     

双电压合成矩阵变换器共模电压的研究

该文在“原点开关”概念的基础上，对双电压合成控制策略下矩阵变换器共模电压的瞬时值进行了分析，总结了共模电压瞬时值产生的一般规律。提出了两种减小共模电压最大瞬时值的方法。通过改变零输出状态所对应的输入相电压的方法，分别使共模电压的最大瞬时值减小到原来的86．67％和57．73％，分析了两种方法对输出线电压局部平均值、输入相电流局部平均值及开关次数的影响。通过仿真验证了结论的正确性。