Book review

Jacques Fontanel, Les dépenses militaires et le désarmement, Editions Publisud, Paris, 1995, 136 pages.

Jean‐Paul Hébert ’Production d'armement — Mutilation du systéme français’, Paris 1995 La documentation française, 221 pages.     

面向分层混合存储架构的协同式突发缓冲技术

科学计算产生和分析的数据规模日益增长,高性能计算机的存储系统在体系架构和软件管理方法上面临重大挑战。针对天河-2系统的新型分层混合存储架构,提出一种由应用程序耦合的协同式突发缓冲技术来有效利用其存储资源优势。该方法采用运行时动态耦合的方法,将临近计算任务的分布式高速存储资源聚合成为一个的巨大的协同式突发缓冲区,通过采用文件命名空间投影的映射方法组织全局数据视图,利用位置亲和和感知数据意图的方法来挖掘空间局部性和时间局部性,并利用应用并发度感知的策略优化数据移动效率。天河-2系统的测试结果表明,该方法能够有效优化多种典型应用场景,可获得高可扩展的突发并行输出带宽和稳定的持续并行输出带宽,可显著提升数据分析场景的输入/输出性能,适合应用于大规模超级计算机的存储系统。     

GPS接收机模糊搜索粗时定位方法

由于难以获得免时定位算法所需的接收机概略位置,提出模糊搜索的粗时定位方法。为减小搜索空间,在位同步后优选几何精度因子值较好的4颗卫星通过遍历伪距模糊的方式进行位置估计,并基于伪距残余均方根最小准则选出最合理的位置估算结果。根据概略位置恢复所有卫星的完整伪距。利用5状态的免时定位算法估计接收机位置。使用11个国际卫星导航服务观测站的观测数据对算法进行验证,结果表明,在概略位置未知情况下该方法能够实现粗时定位,且定位精度与直接使用完整伪距的精时最小二乘定位精度相当。     

基于卫星数据链路的飞机主动维修保障系统

基于北斗卫星数据链路,采用了"空-地"两级数据处理方式进行飞行参数在线判读、主动维修保障及安全监控系统的实时处理。分析了主动维修保障及飞机实时状态监控、北斗短报文系统的基本情况,并着重介绍了系统的总体结构和优势,以及包括机载部分、地面处理系统和北斗卫星数传装置三部分的工作原理和设备构成。     

基于组织的社会技术系统程序设计模型及语言

互联网上越来越多软件系统呈现出社会与技术交融、环境多样和开放、系统动态和演化等特点,如何支持这类复杂软件系统的构造是软件工程面临的一项重要挑战。本文将社会技术系统视为多Agent组织,把社会组织学的概念和思想引入到面向Agent程序设计范畴,提出了以Agent、组织、角色和职位为核心的基于组织程序模型ORAP来支持社会技术系统的开发;通过对多Agent组织不同层次动态性的识别和分析,设计了一组程序设计机制来实现社会技术系统的动态演化,包括角色绑定和组合机制、基于角色的交互机制以及组织的自我管理机制;论文提出了基于上述模型和机制的社会技术系统程序设计语言OragentL,给出了OragentL程序在组织、角色和组合三个层次的语法形式定义,介绍了OragentL的编译器及其运行支撑环境OragentBurg,并通过案例分析和演示展示了本文研究工作的有效性。     

基于PEPA的防空通信系统抗毁特性分析

通信系统的抗毁性能是分析作战系统能力的一项重要指标。本文分析了防空通信系统的组织结构和对抗特点,利用性能评价过程代数（PEPA）描述了防空通信系统的状态演化,提出了基于PEPA的防空通信系统抗毁特性分析方法。通过具体案例,对通信系统的组织结构、抗击软硬杀伤的能力进行建模和仿真验证。实验结果表明,PEPA方法适用于防空通信系统的建模与分析,能够实现对防空通信系统的结构进行对抗过程的建模;通信系统的不同要素对抗毁性能的影响不同,可以采取有效策略以提高防空通信系统的抗毁能力。     

指挥信息系统安全防护系统视图

作为指挥信息系统安全可控运行的重要保障,网络安全防护体系目前存在着整体轮廓不清、顶层设计力度不够等问题。研究网络安全防护体系结构,可以增强安全体系综合集成,提高组件间的互操作性,有效解决网络安全防护的顶层设计问题。通过分析军事信息系统体系结构框架中系统视图模型的内容和相互逻辑关系,描述了支持网络防御作战的系统、系统功能及其相互关系,建立了系统视图的几种典型模型,为体系化建设网络安全防护体系提供了理论依据。     

一种北斗／CDMA导航系统数据融合的联邦卡尔曼滤波算法

北斗卫星与CDMA无线网络定位相结合的组合导航系统可以广泛应用于军事和民用领域,而有效进行数据融合是提高北斗/CDMA组合导航系统定位精度的关键.针对北斗/CDMA组合导航系统的特点,提出了一种基于联邦卡尔曼滤波的北斗/CDMA导航数据融合算法.算法采用机动目标的"当前"统计模型,分别建立了北斗定位系统和CDMA定位系统的状态方程,通过对相应定位参数进行滤波处理,提高了北斗/CDMA导航系统的定位精度.     

高速导弹末制导虚拟样机系统设计、建模及校验

总结了国内外虚拟样机技术的发展现状,结合目前正开展的高速末制导虚拟样机系统,对虚拟样机系统建摸、模型校验等技术进行了探讨,并提出了解决方案。