分析仪器合格性的验证与性能校验

对分析仪器的合格性验证与性能校验的过程、方法进行综述 ,同时对购买仪器提出参考意见。     

基于结构—运动特性矩阵的加工中心运动仿真

在分析加工中心几何结构特点及运动特性的基础上，提出一种基于微机的实现加工中心运行仿真的方法，该方法以二叉有向构造图和结构－运动特性矩阵等概念为理论框架，突出特点是将加工中心的几何结构信息和运动方式信息统一在一个矩阵中，方便了运动仿真算法对数据的处理，此外，还举例说明了该方法在NC验证领域的应用。     

VLIW体系结构微处理器功能验证模型

为了系统而有效地设计微处理器功能验证激励,针对VLIW体系结构微处理器的结构特征,特别是多操作流水线并行特征,提出了VLIW体系结构微处理器的功能验证模型,基于该模型, 针对一个规模为1 500 kbit等效逻辑门的VLIW体系结构微处理器, 完成了功能验证方案的制定和105周期功能验证激励的设计.     

基于飞行试验数据的仿真模型验证方法的研究

讨论了用飞行试验数据对仿真模型的静态和动态性能进行验证的定性和定量方法，并给了实际应用的例子，结果表明，尽管飞行试验的样本容量有限，只要方法恰当，仍能获得较好的验证结果。     

与文本无关的话者识别

本文提出一种采用数字信号迭加处理技术从语声中分离话者个人身份特征信息的实用方法,实验验证了这种方法的可行性,并以此建立了与文本无关的话者辨识和话者确认实验系统。通过大量实验,比较了从连续语音和从断续语音中提取话者个人特征信息的效果;比较了线性预测系数、反射系数、倒谱系数和对数面积比系数用于话者识别的效果。     

基于同步网的BPEL建模和验证

Web服务组合是面向服务架构的一个应用,是指将已有的Web服务组合成为新的服务。业务流程执行语言BPEL（Business Process Execution Language）是一种描述Web服务组合的语言。为了保证BPEL描述的Web服务组合的正确性,提出了分层建模和验证的思想,将BPEL流程分为逻辑层和语义层,并分别建立形式化模型和验证方法。这样不仅能保证对流程正确地建模,而且能降低建模和验证的复杂度。在逻辑层,BPEL元素映射为基于同步网的WSL_net模型。畅通性和无冗余变迁性质保证了BPEL流程基本控制流的正确性并避免了资源的浪费。语义层的建模和验证将另文给出。     

浅议我国印证证明模式下的自由心证

我国刑事诉讼的“印证证明模式”下的自由心证以追求案件真相为价值取向,立法制定了较高的证明标准。这导致在司法实践中缺乏可操作性,不利于发现案件真相,保护被告人的权益。在探讨自由心证制度的基础上,结合我国证据制度的实际情况,建议对我国的自由心证制度进行重构。     

管子管板检测机器人爬行脚的吊装负载能力研究

在爬行机器人携带无损检测（NDT）设备的情况下,为了保证其对立式换热器管子管板角焊缝检测过程的稳定性和可靠性,重点对立式换热器管子管板检测机器人的关键机构——爬行脚的负载能力进行了数值模拟分析和实验研究,应用Hypermesh和ANSYS Workbench联合仿真平台对爬行脚在充气和自锁工况下的结构强度和接触状态进行了仿真。模拟结果表明,在负载逐渐增加的过程中,两种工况下爬行脚与换热管内壁之间没有发生滑移失效,一直保持了良好的稳定性和可靠性。同时对爬行脚实验样机进行了开发和验证,并通过两种工况下的吊装负载实验,得到充气工况最大负载为38 kg,自锁工况最大负载为15 kg,验证了其良好的稳定性。     

数字签名过程的一个形式描述和验证

通过引入一些新概念,利用Biba模型思想,对一般的数字签名方案形式化描述和验证,并且该模型具有完整性.     

空中飞行模拟对三代机电传控制律的演示验证作用

概括总结了三代机数字电传控制律验证的主要途径,并指出了不同验证途径的优缺点。重点说明了空中飞行模拟对三代机控制律验证的意义和作用,最后给出结论。