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

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

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

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

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

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

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

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

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

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

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

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

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

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

美国国家导弹防御系统

美国国家导弹防御系统已引起了世界的广泛关注。主要阐述该系统的主要组成、功能、特点、进展及系统部署设想     

有理真分式积分方法探析

利用配方法,待定系数法等方法求解有理真分式的积极分问题.     

基于无线双工通信系统分组数据传输的探讨

分析了军用无线双工通信系统数据传输资源,指出了存在的问题及改进办法;利用话音、报文、传真、数据电路交换信令的工作模式标示,提出了基于无线双工通信系统的数据传输TCP/IP结构体系及协议栈,并探讨了网络适配和实现与军用公共数据网、地域通信网（电路交换网、分组交换网）、数字化部队单工无线电数据网互联的关键技术。