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

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

与文本无关的话者识别

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

一种改进的Phong光照模型及光线跟踪实现

光线跟踪算法所基于的Phong光照模型对于面片之间的辐射与色素渗透效应（即漫反射相互反射，diffuse inter-reflection）表现不足，本文在辐射度与Phong光照模型的理论基础上提出了一种高级光照模型，并对该模型建立了相应的简化模型，并给出了加速算法予以实现。     

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

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

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

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

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

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

一类带号图构形的Tutte多项式

研究了带号曲轮图和带号双半轮图对应图构形的Tutte多项式,主要用带号图的删除-限制定理来计算其Tutte多项式,并运用带号图的符号转换函数找到了几种有规律的基本图形（基图）,推导出这些基本图形Tutte多项式的递推公式后,通过计算机辅助给出这类带号图的Tutte多项式,进而得到特征多项式及OS代数的维数。最后计算了半螺旋双吸泵3种不同内部结构的Tutte多项式。     

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

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

基于AutoCAD的水库兴利调节计算

利用Visual Lisp开发的水库兴利调节程序，在AutoCAD环境下实现了兴利库容和调节流量的快速计算，为水库兴利调节提供了一种方便、快捷的新途径．     

关于逻辑函数化简的计算机辅助设计

本文针对用代数法,图解法进行逻辑函数化简的缺点,提出了利用电子计算机进行辅助设计。文中给出了关于五个变量化简的源程序,其主要特点:当存在竞争冒险时,该程序将自动引入校正信号,以消除竞争冒险.从而保证了付诸实际逻辑网络时速度独立(Speedind ependent).源程序已在IBM PC/XT机上调试通过.