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

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

通信网节点重要性的多指标评价方法

提出了一种评价通信网节点重要性的多指标评价方法。分析论证了现有评价方法中各单指标的优缺点,提出将"不连通节点对数"、"剩余节点对最短距离和增量"和"生成树数减少值"三个单指标进行归一化的综合方法。该方法能对令现有多种方法失效的网络进行节点重要性评价,克服了现有各种方法的缺陷。试验分析表明:该方法简单有效、鲁棒性强。     

不同结构拦截弹的毁伤能力研究

在电磁发射器发射拦截弹撞击来袭目标的过程中,拦截弹的结构材料参数是影响拦截弹加速性能及毁伤能力的一个重要因素。在实验中常用的铝合金材料拦截弹基础上,提出铝-钢、铜-钢2种复合拦截弹结构,以拦截弹与钨合金杆式穿甲弹的碰撞过程为例,对3种拦截弹对来袭目标的毁伤能力进行对比分析。     

编队协同防空作战中的火力兼容判断研究

火力兼容是影响编队协同防空作战能力发挥的一个关键问题。针对编队协同防空作战过程中,怎样判断各舰艇防空武器系统之间是否存在火力冲突的问题,通过对编队防空作战火力兼容原理的分析,建立了编队协同防空作战中的火力兼容判断模型。能够辅助编队指挥员在制定编队协同防空决策方案时,进行火力兼容检测,从而消除方案中可能存在的火力冲突,保证编队防空作战能力最大程度的发挥。     

分布式防空C3I系统面向对象建模方法

采用面向对象的建模思想,把分布式防空C3I系统的各个组成部分抽象成对象,从时间、空间和功能的角度对分布式防空C3I系统进行了描述.通过确定对象类、类的属性、操作及类之间的关系而建立了分布式防空C3I系统的对象模型;通过对系统状态转换的分析,建立了分布式防空C3I系统动态模型;通过对系统功能模型的分布,利用层次数据流图建立了分布式防空C3I系统功能模型.     

信息价值的战场网络战攻击威胁评估方法

通过构建信息价值综合评估模型,对C4ISR网络信息价值程度进行定量评估.然后对战场网络战攻击行为进行分析,将其攻击威胁量化到信息价值评估模型,通过被攻击网络信息价值的变化来衡量网络战攻击的威胁程度,从而提供了一种网络战攻击威胁的评估方法.     

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

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

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

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

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

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

论信息时代图书馆员的继续教育

信息时代对图书馆工作提出了新的要求。通过继续教育可使图书馆员增加知识储备 ,提高业务素质和掌握新技术的能力 ,以便更迅速、准确地为读者提供信息服务。