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

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

空袭兵器作战效能标准化问题研究

空袭兵器作战效能标准化将典型的空袭兵器的作战效能指数向选定的标准空袭兵器转化,其转化的结果用于防空兵力需求的计算。标准化过程主要包括标准空袭兵器的选择、作战效能指标体系的建立、指标权重的计算、性能指标参数的归一、效能指数的解算和标准化系数的换算六个步骤,运用加权算法、幂指数法和层次分析法建模计算,最终得出美台主要空袭兵器标准化效能数据。为空袭兵器作战效能的标准化提供了一种科学方法,从而便于实施防空作战资源需求分析和防空作战资源作战效能分析。     

防空火力单元射击有利度计算方法研究

针对现代防空作战火力分配的实际需要,在确定防空火力单元可射击系数的基础上,对影响防空火力单元射击有利度的指标进行分析,结合防空作战的实际情况,介绍了计算射击有利度的一般步骤。该算法有效克服了传统射击有利度算法的不足,较好地实现了射击有利度的计算。     

防空导弹武器系统混合编组及计算

防空导弹武器系统混编比的确定是现代防空作战兵力运用的关键问题之一。首次从防空火力配系的角度,提出了防空导弹武器系统混合编组的三种形式,即补充空域混编、加强火力混编和自卫掩护混编。采用定性与定量相结合的方法,进一步给出补充空域混编、加强火力混编比和混编火力单元前后配置间隔的计算模型,确定了混编比。该模型的建立,为防空兵力兵器部署定量分析提供了理论依据,对防空部署理论的发展具有积极作用。     

正畸力作用下微种植体支抗的应力分析

通过建立直径为1.4,1.6,1.8 mm,长度为6,8,10 mm,螺纹深度为0.2 mm,螺纹间距0.5 mm的Ti质微种植体支抗与颌骨有限元模型,研究在常用载荷1.96 N正畸力与微种植体长轴呈45°,60°和75°三种角度时的Ti质微种植体应力分布和大小。分析得出,应力主要集中在微种植体颈部1 mm内,在其颈部1.2 mm的范围内应力值的衰减都很明显,在颈部1.2 mm的范围内曲线较陡。在设定的加载条件下,不同直径的微种植体应力值呈规则的变化趋势,直径1.8 mm,45°时微种植体的各应力值极值最小。微种植体长度对应力的影响不大,位移变化均较小。     

装甲车辆发动机汽缸套与活塞环磨损计算模型

为研究装甲车辆发动机汽缸套与活塞环的磨损规律,在总结汽缸套与活塞环磨损计算理论的基础上,通过黏着机理磨损的计算和分析,对基于润滑分析磨损模型、基于瞬态过程理论磨损模型和通用磨损模型3种典型模型的建模思路、求解方法和计算误差等内容进行了比较,确定基于润滑分析的磨损模型作为装甲车辆汽缸套与活塞环磨损研究的计算模型。     

舰艇编队防空火力射击冲突问题研究

从建立编队内统一的坐标系入手,利用编队中武器的位置、战术参数和来袭目标的信息,采用系统建模仿真的思想,建立火力射界冲突分析模型。借助于这个模型,通过解命中计算等方法,计算编队中武器的可抗击航路以及连续射界,进而得出其可抗击射界,与武器固有安全射界叠加,确定编队中可以参与抗击来袭目标的武器,并为进一步地探讨编队火力兼容问题,进行火力兼容控制奠定基础。     

基于雷达对抗的有源干扰方法及效能研究

在雷达对抗中,利用干扰设备对雷达实施有源干扰是电子进攻的主要手段。基于有源干扰的多种作战模式,建立了相应的数学模型,并结合算例仿真,分析研究不同干扰模式的特点和作战效能,对进行有效的雷达对抗具有重要的意义。     

基于模糊AHP法的机载指控系统效能评估

指控系统是机载C3I系统的核心组成部份。为了合理而有效地评估机载指控系统效能,运用模糊AHP分析法对该分析法中的权值的模糊性进行了处理,建立了机载指控系统效能评估模型,并通过具体算例证明了此方法的有效性和可行性,为机载指控系统的效能评估提供了一种方法和途径。     

舰炮对岸应召射击最优火力分配

针对舰炮射击特点,分析了海上射击误差,探讨了集群目标的简化处理方法,给出了最优火力分配时表尺差和弹药消耗量计算模型,并进行了举例分析。利用最优火力分配方法来计算舰炮效力射表尺差和弹药消耗量,避免了指挥员战场射击指挥的盲目性,可以在相同弹药消耗量情况下取得最佳射击效果。