基于可信计算的防网络欺诈认证方案

由于大部分用户没有用户证书,在不安全网络环境中,基于用户名/口令的远程用户认证是最为常见的认证方式.正是基于这一点,许多攻击方式才得以成功实施.在分析了当今主要网络欺诈的方法和现有密钥保护机制的基础上,提出一种基于可信计算技术抵御网络欺诈的认证方案.该方案结合使用了可信计算保护存储机制、证书链、口令分割等多种技术,即使用户名/口令被盗,仍然能保证用户的认证安全.分析结果表明了该方法能有效抵御网络欺诈攻击.     

基于OpenGL技术的集装箱仿真系统的研究与开发

对靠近海岸线的物流园区集装箱堆场进行研究,发现台风或大风经常造成集装箱吹落或倾覆,这样造成很大的经济损失.研究利用VC和OpenGL开发一个可视化的集装箱仿真系统,该系统通过气象部门所提供的风速,能够预测物流园区中的集装箱是否安全.系统使用OpenGL中的纹理映射和视点变换,并以一种直观的、可视化的方式呈现给现场操作人员.现场操作人员可以根据系统的提示信息,在台风来临之前对将会被台风吹落的集装箱做好加固措施,以达到减小经济损失的目的.     

ARINC735A接口协议的设计与实现

为了实现机载防撞系统(TCAS)主机与外围功能单元的高效连接,需要定义和设计相关的接口协议.根据美国航空无线电设备标准ARINC735A定义的TCAS系统必须满足的DO-185A的接口和协议,分析和讨论了ARINC735A协议模块在TCAS系统中的功能和上下文关系,在此基础上详细描述了ARINC735A协议模块各组件的功能.采用软件工程的设计方法,系统地定义和设计了实现该协议模块功能组件的状态和流程,并给出了相应的状态转换图.讨论了在嵌入式环境下对AR-INC735A的多任务实现方法,并且在VxWorks嵌入式操作系统环境下,实现了ARINC735A协议的多任务软件模块.     

含随机穿越特征指标的离散系统满意估计问题

当待估量的期望值是一个有界区域时, 对待估量穿越目的域边界问题进行了讨论. 通过对离散估计系统的区域极点、随机穿越特征量等指标的相容性进行分析, 给出了一种满足多指标要求的满意待机估计策略, 并设计了基于双线性矩阵不等式组(BMIs)的求解算法. 所给出的待机估计策略可保证待估量在目的域内平均滞留度满足一定的指标, 同时相对目的域边沿的平均穿越周期尽可能小, 从而达到了待估量在目的域内、外的时间分布更加均匀 的目的. 数值算例说明了所设计的估计策略满足多指标要求.     

一种基于同步树替换文法的统计机器翻译模型

提出一种基于同步树替换文法的机器翻译模型.相对于基于短语的模型,此模型可以对远距离结构性调序和非连续短语翻译进行建模;相对于基于同步上下文无关文法模型,此模型可以对任何层次上的树节点调序进行建模.因此,该模型可以为处理语言结构间的异构对应问题提供有效的解决途径. 在两组风格差异较大的数据集上进行的实验均验证了基于同步树替换文法的模型相对于基于短语模型和基于同步上下文无关文法模型的稳定优势.     

头驱动句法分析中的直接插值平滑算法

在头驱动句法分析模型下,基于经典插值平滑算法,提出了以统计空间中平均事件数为基础的直接插值平滑建模原则,并应用经典的误差理论分析了该原则的合理性.基于该原则并借鉴语言模型中其他插值平滑算法对模型的零点进行假设的方法,在头驱动句法分析模型下,重新构造了4种平滑算法.实验数据显示,新平滑算法在高于经典平滑算法性能的同时,显著降低了自由参数的扰动程度,从实验的角度证明了该平滑建模原则的有效性.     

C4KISR测试与评估应用框架的研究与实现

基于HLA/RTI和分布式数据库初步构建了一个开放的测试和评估应用框架,为战术C4KISR系统中的指挥、控制、通信(C3)以及典型飞行器武器系统的作战效能(K)提供一种有效的可扩展的测试评估环境.系统采用了基于HLA/RTI的分布式体系结构,与被测系统相连.建立了典型的层次化战术CAKISR系统效能指标体系,并实现相应的评估算法模型.基于Oracle数据库建立了通用的战术C4KISR系统试验数据库/用例库/算法库和相应的管理工具,并开发了通用的分析评估工具,支持评估指标的在线/离线计算和显示.     

系留气球压差与球体应力变化关系研究

针对系留气球球体压差变化和球体应力变化之间的关系进行研究.对球体受力情况进行简化,采用微元受力分析的方法进行应力分析,得出球体应力的理论解.采用有限元软件对无附加结构的球体进行应力分析并同球体应力的理论解进行对比,验证了有限元软件计算结果的可靠性.利用有限元方法在不同压差情况下对球体应力进行分析,确定了其高应力区域的范围和数值.需要指出的是采用膜单元比采用通常的薄壳单元进行应力分析更贴近实际情况.上述结果为球体气囊的结构设计、强度设计提供依据.     

海上移动信道分析及抗多径接收机设计与仿真

海上舰船之间的通信通常工作在复杂的信道环境下,通信距离可远可近,不仅存在强的敌方恶意干扰,由于受地球弧度和海浪、船只等的遮挡,还存在深衰落和多径效应,因此设计海上通信系统时需要充分考虑这些不利因素的影响.针对海上移动信道的路径衰减特性,提出利用Longley-Rice模型建立海上移动信道模型,并对信道衰减模型进行了数值仿真;分析了多径对扩频系统伪码捕获的影响,提出利用Rake接收技术改善接收机的抗多径性能,并设计了一个Rake接收机结构,最后进行了仿真分析.仿真结果表明所设计的Rake接收机具有良好的抗多径能力,能够满足海上通信的需要.     

飞行目标红外多光谱高效识别算法

随着新型诱饵的快速发展,在日益复杂的目标环境中探测识别真假目标是红外探测识别系统最难解决的技术问题之一.通过分析天空背景下红外小目标,干扰物,噪音及背景的光谱特性,利用人造飞行目标光谱辐射强度高且相邻波段光谱辐射强度连续性特点,提出了一种以多光谱辐射强度和梯度相组合的目标识别高效算法.就此给出了相应的仿真算例,验证了算法在获取的红外图像信噪比很低,背景高亮度,多个诱饵干扰的条件下也能准确识别目标,具有更强的自适应性,更高的识别率和更为快捷的处理能力.