ICAO二阶阶跃畸变模型下的SAIM接收机测距精度分析

测距精度是评估卫星自主完好性监测（SAIM）接收机在导航信号畸变环境下工作性能的一个重要指标,论文从数学上推导出了SAIM接收机在国际民航组织（ICAO）二阶阶跃畸变模型下采用早晚相干跟踪处理时测距精度与畸变模型参数的解析表达式,理论分析和仿真结果表明数字畸变将导致接收机伪码鉴相器输出曲线存在过零点偏差,数字畸变量基本不影响接收机测距方差;模拟畸变将扭曲相关峰函数和鉴相器输出曲线,但鉴相器输出基本上不存在过零点偏差,模拟畸变参数、前端滤波器带宽和早晚码间距共同影响接收机的测距方差。     

装备维修系统的组织模型研究

综述了组织模型的研究现状,用维修组织的存在环境、构成要素、维修目标、维修策略和存在时间建立了复杂装备维修系统的形式化模型,分析并研究了维修组织要素之间的交互、隶属与协作关系,定义了维修系统的元组织。该方法可描述动态复杂条件下的维修系统,有利于装备维修保障信息系统的计算机建模与实现。     

C4ISR需求模型化框架

真正的"C4ISR需求"只存在于人脑里,通过有效的模型表述C4ISR需求是C4ISR需求分析的关键。首先,分析C4ISR需求的内涵,提出C4ISR需求体系的概念,给出C4ISR需求模型化思路。然后,分析C4ISR需求模型要素,在此基础上针对C4ISR需求主要相关问题设计了C4ISR需求模型。最后,提出基于要素构建C4ISR需求模型的流程。澄清了"需要什么C4ISR需求模型"和"如何构建C4ISR需求模型"的问题,为科学的建立C4ISR需求模型提供了方法支持。     

C4KISR-美军指挥自动化系统的最新发展

当前,美军以"网络中心战"为样本勾勒未来的作战模式,美军军事理论上的转变产生了全新的军事需求,并不断要求C4ISR系统在概念和功能上有所拓展和增强.针对美军目前的作战需求,美军在以往C4ISR系统的基础上提出一个新的概念--C4KISR.基于C4KISR系统的现状,介绍了该系统的演变历程和发展背景,分析了C4KISR系统的功能模式与体系结构,归纳了美军C4KISR系统未来发展的核心技术需求.     

面向恶劣环境的高效P2P网络拓扑维护方法

互联网逐渐成为现代社会的重要信息基础设施。Peer-to-Peer(P2P)技术是近年来兴起的一种分布式互联网计算技术,具有广阔的应用前景。FissionE是一种基于Kautz图的结构化P2P覆盖网,具有较高的路由性能。针对恶劣环境下结点失效导致的FissionE拓扑维护性能较差的问题,文章对FissionE的P2P拓扑维护方法进行改进,其基本思想是:直接由门结点产生ZONE消息,避免传统FissionE的ZONE消息产生机制带来的维护开销,从而在恶劣环境下获得更好的拓扑维护性能。     

分布式指挥控制决策冲突问题的一致性模型

基于复合标度的二元语义评价方法,提出了一种用于分布式指挥控制决策冲突问题的一致性模型。该模型首先对决策者的一致程度进行判断;其次,测量出个人与整体的偏好偏差,并由模型中的反馈机制提出相关反馈建议;最后通过算例表明该模型可以较好解决决策过程中由于个人认知不同而产生的冲突问题。     

综合电子信息系统生存能力评估方法

为了评估现有C4 ISR系统的适应能力和生存能力,分析了影响系统生存能力的四个属性,给出了评估系统生存能力的方法、过程和模型,并结合示例给出了系统生存能力计算方法,以此评估方法为指导,提出了提高系统生存能力的建议。     

支持社会技术系统构造的程序设计模型和语言

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

递归划分的标签约束可达性计算方法

现实世界中的图往往在结点和边上包含描述信息,可达性查询是图数据管理和挖掘中的基本操作之一。针对图数据中标签约束的可达性计算问题,提出一种基于递归划分的可达性计算方法 RP-Hop。该算法基于层次划分思想,利用独立集性质,在保持标签和可达性前提下对大规模图进行递归划分,并结合贪婪扩展思想和递归编码,为标签约束的可达性查询提供压缩索引。经过合成和真实数据集上的实验,结果表明,RP-Hop算法不仅降低了索引大小和构建时间,而且提高了查询效率。     

基于动力学和扩散分段控制的Mg/H2O反应模型及数值分析

为了数值研究宽广温度范围内Mg/H2O的反应特性,分别建立了考虑部分MgO在液滴表面凝聚的Mg/H2O扩散燃烧模型和基于Arrhenius公式的Mg/H2O反应动力学模型.数值研究了Mg/H2O反应速率在扩散控制和化学动力学控制下随反应条件变化的规律.研究结果表明,Mg液滴扩散燃烧时间计算结果与文献值相符;提高温度和水...