字节流对象模型的设计和应用

航天技术的快速发展对任务数据处理提出了更高的要求。针对任务数据格式具有层次嵌套、变化频繁的特点,结合Composite模式设计了字节流对象模型(BOM)。BOM模型具有表述能力强、可灵活扩展的优点。该模型在航天任务数据处理软件中得到了应用,使得软件具备较好的可扩展能力。     

AOS跨层优化方案的仿真设计

针对AOS分层模型,提出跨层优化AOS系统结构,推导出有效吞吐率公式。并以提高有效吞吐率为目的,分析跨层系统中物理层的调制方案、帧同步与信道编码子层的编码和帧同步方案及空间数据链路协议子层的重传方案等策略,通过仿真得到跨层模式的转换门限。最后,对该方案下系统有效吞吐率性能进行了仿真,结果表明所提出的跨层优化方案能够有效地克服空间信道的影响,优化AOS系统有效吞吐率。     

辅助任务增强的中文跨域NL2SQL算法

自然语言到结构化查询语言(natural language to structured query language,NL2SQL)任务旨在将自然语言询问转化为数据库可执行的结构化查询语言(structured query language,SQL) 语句。本文提出了一种辅助任务增强的中文跨域 NL2SQL 算法,其核心思想是通过在解码阶段添加辅助任务以结合原始模型来进行多任务训练,提升模型的准确率。辅助任务的设计是通过将数据库模式建模成图,预测自然语言询问与数据库模式图中的节点的依赖关系,显式地建模自然语言询问和数据库模式之间的依赖关系。针对特定的自然语言询问,通过辅助任务的提升,模型能够更好地识别数据库模式中哪些表/列对预测目标 SQL 更有效。在中文 NL2SQL 数据集 DuSQL 上的实验结果表明,添加辅助任务后的算法相对于原始模型取得了更好的效果,能够更好地处理跨域 NL2SQL 任务。     

战术层次装备保障指挥控制组织优化

针对战术层次装备保障指挥控制效能问题,采用决策者、资源平台和任务3类要素描述战术层次装备保障指挥控制的组织结构,以组织的负载最小为优化目标建立装备保障组织优化模型,基于遗传算法对组织结构确定程序进行了设计,采用罚函数处理优化模型中的资源约束问题,实例验证了模型和算法的可行性。     

嵌套式多涡卷混沌系统及其电路实现

通过在Jerk系统的3个子方程上依次添加符号函数,构造出3个三维嵌套式吸引子混沌系统。改变符号函数的幅值,可得到多个不同形态的嵌套式多涡卷吸引子。分析了系统的平衡点和参数不同取值时的相图等。利用周期脉冲函数,扩展嵌套式吸引子混沌系统的平衡点,实现了单方向排列的嵌套式多涡卷混沌吸引子阵列。根据相应的系统方程设计出具体的电路,给出了电路仿真图,证实了数值模拟和电路仿真结果的一致性。     

FDNA技术在维修保障系统构成设计中的应用

目前对于维修保障系统各要素之间的关系描述,尚缺乏一个参数化的描述模型,难以进行定量化的分析研究。利用功能依赖网络分析可以更好地表达出维修保障要素之间的关系,从而为维修保障系统提供参数化模型。介绍了功能依赖网络分析的理论和基本方法,并运用该方法对维修保障系统构成要素之间的依赖关系进行分析,从而为维修保障系统的构成设计提供借鉴。     

H.264/SVC的编码依赖问题研究

H.264/SVC(Scalable Video Coding)使用了多种预测编码机制,极大地提高了分级编码的编码性能,同时也引入了复杂的编码依赖关系,给编码器的优化控制带来了极大的难度。因此,有必要研究这种不可忽视的编码依赖关系。在介绍H.264/SVC的主要预测编码机制的基础上,分析归纳出H.264/SVC的编码依赖关系主要来源于帧间预测、层间帧内预测和层间残差预测,然后针对这三种预测机制的特点,结合文献[1]提出的帧间依赖关系,基于实验数据,建立了编码依赖模型,得到了用编码依赖测度表达的编码依赖关系。最后,将时域依赖模型应用到H.264/SVC基本层码率控制中,实验数据表明时域依赖模型能够提高码率控制的性能。     

栅格地理数据并行格式转换引擎

如今大规模地理数据正在社会各个部门和组织中迅速积累,但是由于部门利益和历史沿袭等原因,大规模地理数据共享仍然极具挑战,相应共享技术需求仍然极其旺盛。作为地理数据共享的基础方式之一,传统单机地理数据格式转换技术,一方面受限于磁盘读写及带宽瓶颈,另一方面面对日趋庞大的数据规模,已很难满足实际应用需求。因此提出一种针对栅格地理数据的并行格式转换引擎,采用高性能计算集群环境支持大规模栅格地理数据转换共享,大幅降低了大规模栅格地理数据转换过程的时间成本。栅格地理数据并行格式转换引擎采用基于公共接口的设计理念,框架灵活、具有良好的扩展性,支持地理数据格式的读写自定义以及新数据格式添加,能够实现接入数据格式间的任意两两转换。为验证引擎框架及其处理效率,在Lustre并行集群环境下以格网数据交换格式(国家地理空间数据交换格式)向常见栅格地理格式的转换为示例进行了测试实验。结果表明,栅格地理数据并行格式转换引擎能够在8个节点Lustre集群中达到7.54的良好并行加速比。     

多阶段任务系统可靠性分析的二元决策图模型

为了实现计算机自动生成多阶段任务系统的二元决策图可靠性模型,提出了二元决策图可靠性建模的通用方法。定义了嵌套的二元决策图数据结构BDD_Element,给出了二元决策图模型的描述和存储方法,提出了与门、或门和k/n表决门向二元决策图模型的自动转化算法。给出了建立多阶段任务系统二元决策图可靠性模型的2个步骤:基于逻辑门转化算法,将部件逻辑关系结构函数转化为阶段二元决策图模型;基于二元决策图布尔操作规则整合阶段二元决策图模型。卫星姿态调整任务的可靠性分析表明:该方法可以有效应用于多阶段任务系统的可靠性分析。     

基于HTN作战计划生成技术中时序约束处理

针对以网络为中心的作战计划的特点,提出了基于层次任务网络的军事作战计划建模方法。在对层次任务网络形式化描述的基础上,结合简单时序网络和Allen区间代数对传统层次任务网络在时序约束方面进行扩展,介绍了扩展层次任务网络与简单时序网络的映射方法并给出计划求解算法。基于军事作战计划的抽象模型,提出了军事作战计划中军事规则、作战使命、作战能力和作战行动过程等要素与层次任务网络的映射关系。     

层次任务网络的作战计划建模及生成技术

针对以网络为中心的作战计划的特点,提出基于层次任务网络的军事作战计划建模方法.在对层次任务网络形式化描述的基础上,介绍层次任务网络计划求解算法.基于军事作战计划的抽象模型,提出军事和战计划中军事规则、作战使命、作战能力和作战行动过程等要素与层次任务网络的映射关系,并针对登岛战役案例对基于层次任务网络的军事计划建模和求解过程进行说明.     

磁带数据格式解编方法

石油数控测井系统磁带记录数据格式方法是千差万别的,本文介绍了测井行业中普遍采用的LIS和BIT格式,并对新型的DLIS格式进行了研究,并阐述了各种格式的软件编程应用。     

利用XMI实现基于BOM的仿真模型组件的交换

BOM(Base Object Model)是快速构建仿真系统或联邦的可重用信息交互包,基于BOM的仿真模型组件是BOM信息描述的实现体,作为构建仿真系统或联邦的可重用模块。通过应用模型驱动体系结构(MDA,Model-Driven Architecture)提出的实现模型交换标准XMI(XML-based Metadata Interchange),HLA(HighLevel Architecture)仿真模型组件的建模和实现在两个不同层次上实现跨平台、跨语言和跨领域间的交换,而且HLA的重用性和互操作性思想能够在除分布式仿真领域外的其他应用领域中得到推广。     

多阶段任务系统任务持续能力数学评价模型研究

分析了多阶段任务系统(PMS)及任务可靠度、可信度和任务效能等任务持续能力评价参数。结合实际装备系统大部分属于可用马尔可夫过程进行描述的可修复系统的特点,为简化模型复杂程度提出了一些合理的假设条件。针对两状态PMS,通过分析其状态转移关系,从阶段任务成功概率和阶段任务间转换概率的概念出发,分析给出其计算方法。结合对可信度和任务效能等参数的分析结果,建立其计算模型,从而建立了多阶段任务系统任务持续能力数学评价模型。最后结合常见的“靶场打靶”任务,通过对比仿真结果进行了模型的实例验证。     

GMR-1 LAPSat协议简介

文章介绍了地球同步轨道移动无线接口GMR-1系统数据链路层LAPSat(Link Access Procedure on Satellite channel)协议。文中详细描述了LAPSat帧格式、帧字段、帧类型,着重阐述了帧字段的含义、各类帧的用途,并重点分析了LAPSat协议主要规程和工作原理。     

指挥过程仿真

美国军队的指挥和控制是通过从国家级到总司令、到执行部队的指挥层次进行的。指挥过程涉及贯穿各指挥层次的人员、系统和方法的协调运用。本文描述司令部有效性评估工具(HEAT)指挥过程试验的处理方法,这种试验采用了实验室仿真网络的广域联合控制器(JDLNeT),即国防数据网(DDN)的子设备。这是采用JDLNeT进行的首次试验。指挥过程仿真在分布式离散事件仿真中描述。     

基于M4系统的多传感器资源分配管理

对于多平台、多任务状态、多目标和多传感器系统(M4系统),以目标为研究对象的多传感器管理模型与方法已不能满足其要求,而以目标任务状态为研究对象却能够对其进行有效处理.首先定义目标任务状态,并建立以任务管理、资源任务配对和方案评估为主要组成部分的结构模型;按类生成系统的子任务,并进行优先权排序;然后依据资源与子任务配对关系,分析子任务吸收资源后的性能函数与代价函数,建立基于综合效能的线性规划资源分配算法;最后以空中编队为例,进行了仿真分析.     

基于多种群合作演化的无人机协同侦察任务规划研究

为了提高时空域上对无人机协同侦察任务规划的效率,提出一种基于多种群合作演化遗传算法的任务规划模型。该模型建立了无人机协同侦察任务规划问题的分层描述,并将多种群合作演化遗传算法引入对模型的求解,设计了全局与局部搜索流程,交叉变异和合作演化等算法（子）,并给出了详细求解步骤。仿真结果表明,所提模型及算法与单种群搜索算法相比,在任务处置效益、任务潜力效益、时间成本效益等方面均有提升。     

网络攻击螺旋模型构建及运用研究

网络攻击模型是实施网络攻击的基本遵循依据,本文分析了经典网络攻击链模型存在的适用性不足、全面性欠缺、整体性不够三个主要问题,构建了更适合描述APT攻击的网络攻击螺旋模型。该模型将网络攻击活动描述为侦察、武器化、渗透与破坏、横向移动、撤出以及评估与改进6个阶段,并设置为螺旋循环式结构,通过对攻击链模型的优化与重构,使模型层次更加分明,任务更加明确,功能更加完备。在此基础上,对模型中各阶段行动应当完成的攻击任务和采取的攻击方式进行了梳理,运用统一建模语言从静态和动态两个方面对网络攻击螺旋模型在APT攻击中的运用方式进行了形式化描述,梳理了该模型的运用原则和特性,对分析识别APT攻击行为并采取针对性防御措施阻断攻击链具有一定借鉴意义。