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

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

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

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

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

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

一种新的基于粗糙集的连续属性离散化算法

粗糙集理论作为一种新的处理含糊和不确定性问题的数学工具,已成为国际学术界的一个前沿的研究领域.传统的粗糙集理论只能对数据库中的离散属性进行处理,而绝大多数现实的数据库既包含了离散属性,又包含了连续属性.针对传统粗糙集理论的这一缺陷,提出了一种改进的基于断点重要性的属性离散化方法.最后,通过实例分析说明该方法是有效的.     

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

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

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

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

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

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

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

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

TVM制导防空导弹先验距离战法

为了对空袭体系中施放电子干扰的目标进行打击,根据TVM制导防空导弹的技术特点,采用先验距离法,通过制导雷达和导弹组网,进行无源测向交会定位,能够较准确地得到目标定位并对导弹进行精确制导.给出了先验距离方法的数学模型和数据融合方法,最后提出了先验距离战法实施的基本原则.     

美国国家导弹防御系统

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