SET协议的可追究性分析与改进

协议的可追究性为解决电子商务纠纷提供了重要的不可否认的证据,有必要深入分析SET协议的可追究性.Kailar逻辑是一种针对电子商务协议的可追究性而开发的形式化分析工具.先对SET协议进行了形式化的表述,然后利用一种改进的Kailar逻辑对SET协议的可追究性进行分析,结果表明协议只能满足商家和支付网关的可追究性,而不能满足持卡人的可追究性.最后,对协议进行了改进,使其能够满足持卡人的可追究性.     

仿生偏振光导航传感器量测模型研究

仿生偏振导航传感器仿照昆虫利用天空偏振光进行导航的原理,测量载体的姿态和方位,具有精度高、功耗低等优势,是一种新型的导航传感器．根据偏振导航的原理分析偏振导航传感器的测量参考矢量和导航能力,根据其参考矢量的数量及性质,对偏振导航传感器使用在不同性质载体上的测量进行建模,并提出其对载体进行定姿的条件．     

化学激光气流污染及清洁方式对腔镜反射率的影响

利用光腔衰荡光谱法对氧碘化学激光器(COIL)经气流污染及清洁后的高反射镜反射率进行了一系列的测量研究.测量结果显示,气流中的某些物质会对腔镜造成污染而使其反射率下降,采用不同的清洁方式对反射率的提高程度有很大差别,First ContactTM溶液清洁腔镜对其反射率的提高有显著作用.     

虹膜内边缘定位的齿形变换方法

提出了一种新颖简单的虹膜内边缘(瞳孔)定位算法.此算法分别对虹膜图像的每一行进行处理.首先,采用一种简单的齿形变换对虹膜图像每一行的灰度曲线进行变换,变换后的灰度曲线为齿形并且虹膜内边缘点出现在齿形曲线的转折点处.然后,根据在虹膜内边缘点处齿形灰度曲线的斜率由负值变为正值的特点,检测虹膜内边缘点并定位虹膜内边缘的位置.此算法具有新颖、简单、准确和速度快等特点.     

分布式标图系统关键技术研究

针对分布式标图系统的面临的主要问题,提出运用发布/订阅和消息中间件的技术,实现分布式标图系统的松散耦合,有效地降低了系统中的数据流量.介绍了基于消息中间件和发布/订阅机制实现的分布式标图系统的主要数据结构和功能模块的实现方法,指出这些技术对通用综合态势图的生成也具有重要意义.     

现代反坦克阵地多层防御服务概率模型及仿真

现代反坦克作战中,为有效防御敌可能采用的大规模装甲目标突袭攻击,确保重点区域的安全,陆军多采用武装直升机、车载式反坦克导弹与便携式反坦克导弹相结合的立体、多层部署的方法进行防御。基于排队论和反坦克作战理论,建立了多层防御反坦克阵地的排队服务模型并给出了参数求取方法,对作战想定的应用结果表明了模型的有效性,为分析反坦克阵地的服务概率和作战效率提供了一种有效的方法。     

舰空导弹综合试验与鉴定方法

从综合试验与鉴定的思路出发 ,针对舰空导弹的战术技术特点 ,建立了鉴定指标体系 ,论述了各种性能的综合试验与鉴定方法 ,并提出了需要研究的关键技术。     

一种快速解算火箭助飞鱼雷关机点方法

为解决火箭助飞鱼雷射程与关机点计算速度问题,运用Chebyshev正交多项式拟合曲线,提出了一种基于时间或能量关机的计算方法.可根据不同的射程快速解算助飞雷关机点,达到实时控制助飞雷射程的目的,与现有方法相比,计算简洁、迅速.最后给出了关机方法软件的仿真流程,并将该软件应用于某助飞雷仿真系统,论证了该方法的可行性.     

航空自导深弹攻潜命中概率分析

以航空自导深弹为研究对象,在分析反潜直升机攻潜过程的基础上,依据某型航空自导深弹的有关技术参数,首先建立了反潜直升机使用航空自导深弹攻潜模型,然后详尽分析了航空自导深弹攻潜作战中的各种源误差,采用解析法计算了反潜直升机在不同条件下投放航空自导深弹攻击潜艇时的单发命中概率,得出了反潜直升机空投航空自导深弹攻潜的使用方法.这对于部队使用航空自导深弹反潜有较高的参考价值.     

地面雷达环境杂波回波建模仿真

针对地面雷达实际地形杂波信号不易模拟的特点,通过对相干视频信号模拟方法和地杂波后向散射特性的研究,建立了地面杂波RCS模型;利用映像法提出了面杂波回波模型以及模拟方法.最后给出了杂波回波信号的仿真结果,结果证明了该方法的可行性.