轻型反坦克武器简述

本文简述欧美几个国家（美国、德国和瑞典等）所装备的几种新的轻型反坦克武器的情况。     

低技术对高技术的嘲弄

一般说来,事物发展的秩序总是新的代替旧的,落后的让位于先进的。据外刊报道,在近几场现代局部战争中,尽管高技术武器效能卓著,但从战后实际统计结果看,大多数中低技术武器在战争中的地位和作用仍不可忽视。它们并不甘心退出战争舞台,仍可发挥其特有的威力。据有关...     

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

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

美军研制X-51高超声速巡航导弹

美国正在研制一种全球高速摧毁武器——X-51高超声速巡航导弹,被称为“乘波者”(Wave Rider),它可以在一小时内攻击地球上任一目标,是美国武器库中目前速度最快的全球打击武器。     

基于最小维修策略的多阶段任务成功性仿真模型

基于最小维修策略,给出了一种新的多阶段任务成功性仿真模型.该模型可以对多阶段任务中部件的失效维修过程进行仿真,从而计算出多阶段任务的成功概率,并对任务成功率关于备件的敏感性进行分析.仿真结果表明了该模型的正确性和易用性.     

藏区地基换填戈壁土处理的经济适用性评价

藏区地基处理中如果能采用戈壁土作为换填材料,可以较好的解决该地区地基加固费用高的问题。结合某新建工程,对换填戈壁土方法进行经济适用性评价,结果表明该方法经济合理,可以推广应用。