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

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

加快推进科技创新和跨越 增强船舶科技整体实力──《船舶科技发展“十一五”规划纲要》解读

为全面贯彻落实《船舶工业中长期发展规划》和《船舶工业发展"十一五"规划纲要》,加强对全国船舶工业发展的引导,近日,国防科工委先后发布了《船舶科技发展"十一五"规划纲要》、《船舶配套业发展"十一五"规划纲要》和《全面建立现代造船模式行动纲要(2006-2010年)》。这三个关于船舶工业发展的专项规划,分别对"十一五"时期我国船舶工业在科技发展、配套业发展和建立现代造船模式方面的工作进行了部署,旨在进一步加快推进科技创新和跨越,增强船舶科技整体实力;提高本土化船舶配套产品装船率,推动造船与配套协调发展;努力解决阻碍我国建立现代造船模式的薄弱环节,尽快提高我国船舶工业制造技术水平和生产效率,切实转变经济发展方式,实现船舶工业又好又快发展。我们在杂志第9期和第10期上分别刊发对这三个专项规划的解读,以飨读者。     

天基支援下区域反导组网作战链路规划

天基信息支援下区域反导组网作战各系统实现互连、互通、互操作的关键是战术信息分发系统,而该系统中存在着多种类型的数据链路,这些链路之间又存在着各种约束条件,因此科学合理的对这些链路进行规划是系统实现的重要工作之一.建立并提出了天基信息支援下区域反导组网作战战术信息分发系统数据链路的规划模型和一种新的解算方法,为该系统数据链路的规划提供了理论依据.     

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

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

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

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

基于禁忌退火算法的巡航导弹航迹规划

针对巡航导弹航迹规划这个复杂的优化问题,一个禁忌退火混合优化算法被提出.首先,该算法是以基本模拟退火算法为基础.其次,为了加快该模拟退火算法的收敛速度,在恶化解的接受判断过程中,增加了一定动态的约束条件.最后,为了使最优解能够跳出局部最优的陷阱,使用了一个动态的禁忌表.仿真结果验证了该禁忌退火混合优化算法能够取得目标函数更优的航迹规划路径,从而有效提高巡航导弹的作战效能.     

目标通视性检测建模与仿真

在战斗机对地攻击选择武器投放位置以及巡航导弹选择地标点时,必须验证其选择位置的合理性,因此通视性检测是战斗机对地攻击规划的关键技术之一。提出了一种目标通视性检测的建模方法,分析了地形遮蔽盲区构成因素,给出了数字地图处理方法,建立了地形遮蔽盲区计算模型及发现目标概率模型,实现了目标的通视性检测,并进行了仿真验证。该模型为战斗机对地攻击选择武器投放位置和验证导弹地标点选择合理性提高了方法。     

指挥实体建模与仿真研究

对国内外较为典型的指挥实体建模与仿真应用情况进行了介绍.对指挥实体建模与仿真的三个主要内容-任务规划、指挥控制和作战行动协同所采用的各关键技术手段和方法进行了较为深入的分析.指出了指挥实体建模与仿真在应用和技术手段上的发展趋势.     

反馈系统强镇定的区间算法

反馈系统强镇定不改变受控系统的传递零点 ,而受控系统的传递零点影响反馈系统跟踪参考信号和扰动抑制等能力 ;反馈系统可否强镇定还与两个受控系统是否可同时镇定有密切关系 .给出了判定和计算受控系统强镇定的一种新的算法———区间算法 .这种算法是一种大范围求解方法 ,能同时求出受控系统的全部零点 .     

基于进化规划的RBF网络用于二相码旁瓣优化

研究了低截获概率技术中常用的二相编码信号处理中的距离旁瓣压缩问题,采用改进的进化规划算法优化径向基函数网络,提出了一种基于改进进化规划算法的计算方法。通过对13位巴克码和31位M编码的仿真实验,表明新的方法在旁瓣抑制能力和运算速度等性能方面,都有较大的提高。