卫星应用任务分解规则库建立及匹配算法

卫星应用任务的分解是准确分析航天信息系统使命任务的关键步骤,为此需要对任务的分解建立标准的规则库.文章基于Disciple代理的知识表达方法,建立了卫星应用任务的分解规则库;然后通过一般化的概念对任务和规则进行分析,提出了一种任务匹配规则库的算法.文章以卫星应用中典型的侦察任务为例,探讨了规则库的建立和匹配.可以看出Disciple灵活的表达可以有效地描述好所涉及对象及其之间的关系,满足规则库建立的需要.     

AHP-Fuzzy在仿真系统可信度综合评价中的应用

该文在介绍层次分析法（AHP）和模糊评价（Fuzzy）两种系统评价理论和方法的基础上，把两种方法结合起来，对仿真系统可信度评价进行分析。根据仿真系统可信度的特点，从概念模型、仿真模型、软件模型、结果分析等因素出发，建立系统可信度评价指标体系。通过计算影响仿真系统可信度评价的各因素权重，并应用AHP—Fuzzy来评价系统可信度，进而提出了多级综合评价方法。实例证明，该方法具有两种方法的优点，而且能较好地保证评价结果的客观性。     

CALS数字化信息环境发展与应用研究

我国企业在推行信息化建设进程中，由于缺乏一种统一的、系统而全面的技术方案和发展战略，导致出现“自动化孤岛”现象。CALS作为一种在全球广泛推广与应用的数字化信息环境，对指导我国的信息化建设与促进科技工业的发展都具有十分重要的意义。该文介绍了CALS数字化信息环境的产生发展与基本原理，提出了CALS完善的数字化信息环境体系结构，在总结CALS信息环境在军事与民用领域的应用情况以及介绍CALS信息环境下的技术应用后，阐述了在我国启动和推广CALS建设的必要性，并对我国进行CALS建设提出了建议。     

关于仿真模型检验的研究

仿真系统的可信性，它关系到系统的研制周期、使用寿命和可靠性。建模仿真可信性研究，又称为建模仿真“校核、验证和确认”，就是解决模型有用、敢用和相信问题，这是非常重要的。建模仿真VV＆A研究包括概念性研究、建模仿真VV＆A过程、VV＆A技术方法等。事实上，建模仿真VV＆A是建模仿真的全面质量管理，包含技术和管理工作。该文通过借鉴国内外在该领域的研究成果，对建模仿真VV＆A理论进行了概述研究，并给出建模仿真方法。     

对地观测卫星资源优先级设计分析

研究卫星调度问题,设置对地观测卫星资源的优先级是对地观测卫星调度首要考虑的因素.为了建立航天资源服务等级体系,首先在对观测卫星资源应用需求进行分析的基础上,研究了影响资源优先级设置的9个基本原则,并完成各原则的定量化描述;然后通过建立改进TOPSIS模型得到了卫星资源优先级的设计方法.可结合实例给出优先级的计算过程,经仿真计算,验证了设置过程和结果的可行性,为进一步研究对地观测卫星调度算法提供参考.     

基于PDDL的对地观测卫星任务规划建模研究

传统的数学模型方法是解决复杂卫星任务规划问题的一种途径,但其抽象性给建模人员带来很大难度。PDDL(Planning Domain Definition Language)可以针对卫星任务规划问题建立清晰有效的模型,并能把模型的知识转化成计算机易于接受的形式。用PDDL描述对地观测卫星的任务规划问题,分析了卫星执行任务时涉及的约束、相关活动和所需的资源,建立任务规划模型的域文件(domain file)和问题(problem file)文件,并针对所建模型提出求解模型的算法流程,最后通过一个算例验证模型和算法是有效地。     

卫星地面站的星地链路研究

卫星地面站的星地链路是指卫星与地面站之间构建的有效数据传输通路,可以用卫星与地面站之间的时间窗口个数、平均时间窗口长度、最大和最小时间窗口长度等参数来描述.文中着重于研究一般轨道卫星与地面站的星地链路,借助STK(Satellite Tool Kit)构建发射机与接收机模型,调用其访问计算功能,研究卫星-地面站的星地链路特性.建模过程考虑了影响空地数据传输的相关实际因素,结果表明得到的数据更准确,也更符合实际情况,能更好地为进一步的卫星的星务规划提供服务.     

基于WDA的卫星应用作战需求分析研究

根据全球卫星军事应用正在从主要为战略服务向以战术应用转换为重点,对卫星应用装备从以完成特定任务为主体转变为以支持作战单元为主体的应用。因此,如何准确、高效的获得卫星应用需求是引导装备发展规划的前提。利用WDA方法对作战需求分析领域进行研究,并提出按照部队编成和作战层次分为两维的作战空间分解模型;再根据模型提出了需求提取的过程,阐述了作战空间模型如何使用。由于WDA方法具有非事件的特点,其对各种作战情况的分析下提取的需求将更加全面。通过对不同作战具体情况的细致分析,可以发现采用WDA方法对需求分析结果更加详细。     

电子侦察卫星任务规划调度模型与算法研究

对电子侦察卫星任务规划模型及算法进行了研究。首先给出了规划预处理的基本方法,并在合理假设基础上建立起相应的数学模型;然后提出了电子侦察任务可能冲突判断、冲突任务集分割及电子侦察任务冲突执行度等方法及概念,针对遗传算法及模拟退火算法各自的优缺点,设计了一种基于冲突消解的遗传模拟退火算法对问题进行求解;最后通过实例将该算法与普通遗传算法（GA）相比较,结果表明该算法的规划效果比GA更好。     

基于PCED的过程控制系统安全分析方法

针对常用安全分析技术应用中存在的不足,提出一种基于过程控制事件框图（PCED）的计算机过程控制系统安全分析方法。该方法根据系统的特点建立描述其控制逻辑的PCED模型,构造＂动作-部件-变量＂的影响路径,通过算法分析控制逻辑的安全性。以计算机控制化学反应过程系统为例用该方法进行安全分析。