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模型思想,对一般的数字签名方案形式化描述和验证,并且该模型具有完整性.     

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

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

交叉谱估计及其在导弹系统仿真模型验证中的应用

本文阐明了交叉谱的基本概念。结合反坦克导弹系统的特点，提出一种利用交叉谱来检验导弹系统仿真模型有效性的方法，这一方法的显著特点是：它能够同时给出几组动态数据在频谱、相位、线性相关性以及增益等方面的信息，并可以给出定量的估计结果。最后利用实例来说明这一方法在导弹仿真模型验证中的应用     

一种协处理器微程序控制器的设计

在协处理器中,微程序控制器的微码控制是协处理器指令译码的控制核心。文章提出一种协处理器微程序控制器的设计方法,并给出其功能验证的测试平台。采用隐含下址编码、流水及预译码等设计技术,来提高微码的执行效率。经优化的设计具有较快的译码速度和较小的微控制存储器面积。采用该方法设计的微程序控制器已经嵌入协处理器中,并且流片测试成功。