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

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

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

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

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

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

基于随机冲击的相关竞争失效可靠性评估

针对电子产品在工程实践中受随机冲击应力的影响及多失效模式的问题,以累积冲击和极限冲击来描述产品的冲击过程,考虑失效模式相关性并建立了随机冲击下产品竞争失效模型。以具有自然耗损和突发耗损特点金属化膜脉冲电容器为对象,进行了可靠性对比分析,验证了模型的合理性和有效性,为遭受复合应力影响的电子产品的可靠性评估提供了一种新方法。     

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

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

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

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

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

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

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

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

As-IPDA算法的天波超视距雷达目标跟踪研究

天波超视距雷达(OTHR)具有低数据率、低检测概率和低量测精度特征对目标跟踪提出挑战.针对OTHR在低检测概率下跟踪目标存在失跟率高的问题,将As-IPDA算法应用到OTHR目标跟踪中,通过大量的仿真实例验证了As-IPDA算法在超视距雷达目标跟踪应用中的可行性,并分析了平滑步长、航迹存在性转移参数、目标检测概率对算法性能的影响,给出了算法参数选择建议,为工程应用提供理论参考.     

本科教学评价工作应着力抓好的几个问题

从本科教学工作评价的需要出发,对教育观念转变、学科专业布局、教员队伍建设以及深化教学改革、提高教学质量、完善教学管理过程等问题进行探讨,就学院下一步教学工作评价的总体思路和应重视的几个环节,提出了一些较深入的看法。