航天控制软件知识图谱构建方法研究 #br#

摘要： 近些年，知识图谱构建技术快速发展，但对于领域知识图谱构建的研究还处于起步阶段.知识图谱的构建主要包括自顶向下、自底向上两种方法.当前大多采用自顶向下的方法进行领域知识图谱的构造，首先构建本体，然后通过本体学习得到实体，再将实体加入到知识图谱中.但这种做法有一个缺点，本体学习的过程过分依赖人工，不支持构建专业性强、数据量大的领域知识图谱.针对这一缺点，本文提出一种自顶向下和自底向上法相结合的领域知识图谱构建方法.提出一种改进的骨架法来进行本体构建，保证构建本体的准确率和覆盖率；利用基于规则与半监督的知识抽取技术，提高知识图谱的构建速度；并以某航天控制软件为例，详细说明了领域知识图谱的整体构建流程.实验结果表明，该领域知识图谱的构建方法是可行的.     

AADL在航天器控制系统设计中的应用研究

以某型号航天器为例提出了一种使用体系结构分析和设计语言(AADL,architecture analysis & design language)分层次建模的方法,建立控制系统软件及软件与硬件之间的交互模型.采用状态自动机方式描述串口通信协议,以便分析模型.     

基于ECSS标准的航天器姿轨控系统内1553B总线数据协议设计

摘要： 国内外航天器姿轨控系统广泛应用基于1553B内总线的体系结构.针对国内航天器姿轨控系统内部1553B总线数据协议不统一带来的可集成性、可扩展性和通用性差的问题，本文设计了基于ECSS标准的姿轨控系统内1553B数据总线协议，从姿轨控系统内部总线数据业务需求分析出发，提出了四层结构的数据协议体系结构，重点介绍了在应用支持层和链路服务层应用ECSS标准的总线协议设计，并说明了协议的应用情况.应用该国际通用的标准协议，有助于实现国内航天器姿轨控系统内1553B总线数据协议的标准化，进而提升姿轨控系统体系结构的可集成性、可扩展性、以及星载设备(含软件)的通用化.     

河北省大型钢铁企业可持续发展战略

本文通过研究河北省大型钢铁企业的发展现状,深入分析了此次全球性金融危机对我省大型钢铁企业的影响及深层根源,并探讨其实现可持续发展的基本路径。     

1 AU轨道SEP粒子通量的计算及与多卫星观测结果的比较

1 AU轨道上太阳高能粒子(Solar Energetic Particles,SEP)通量是空间天气的重要指标.将SEP两步传播方程的格林函数解进行数值化,模拟了2012年9月28日的SEP事件,首次计算了同一事件中GOES卫星与STEREO双星观测到的SEP通量变化过程.对GOES和STEREO-B观测点,计算所得SEP峰值I_max和峰值到达时间t_max与观测值符合较好;对STEREO-A,由于观测点与太阳活动源区间隔较大及太阳背面未知事件的影响,计算结果与观测存在一定差异.      

CPS在航天器控制系统中的应用分析

航天器控制系统是一种典型的信息-物理融合系统(CPS),应用CPS技术将是提高航天器控制系统设计正确性和效率的一个重要途径.在探讨CPS系统特征和CPS技术研究的进展以及分析航天器控制系统的技术特点的基础上,分析了在航天器控制系统中应用CPS技术的可行性,提出了基于CPS技术的系统设计的新思路和技术途径,并研究了在航天器控制系统中应用CPS技术需解决的问题和面临的挑战.     

面向软件源程序的模型检验技术

模型检验技术作为一种有效的形式化方法,能够提供严格的软件质量保证.介绍了面向软件源程序的模型检验技术的工作流程,并在此基础上针对规约性质描述问题,提出一种与源代码独立的、语法简单易用的、符合程序员开发习惯的规约描述语言,并给出一种轻量级的程序模型检验方法,它基于程序控制流图的路径遍历,支持函数过程内验证、函数过程间验证、规约检查.     

科政企协同创新 努力实现廊坊创新驱动发展

党的十八大报告指出科技创新是国家发展全局的核心,要着力构建以企业为主体、市场为导向、产学研相结合的技术创新体系。要增强创新驱动发展新动力,加快构建现代产业发展新体系,不断增强长期发展后劲。本文从廊坊高新技术产业情况出发,剖析了政府在产学研结合中的不可或缺的作用,并提出政府需直接参与产学研合作,形成科政企三方合作的"三螺旋"的动态合作模式。     

面向AOCS软件的构件技术研究

为了对航天器姿态轨道控制系统(AOCS)领域进行大规模的软件复用,与国内该领域现有的复用技术不同,介绍了一种基于构件的AOCS控制软件框架技术.首先简要描述了AOCS软件的框架构件模型、AOCS软件总体框架以及框架中各种构件间的通讯方式,接着给出了应用这种复用技术的一个具体实例,最后指出了这种框架构件技术的应用前景.     

缓变型太阳高能粒子事件特征时间及其经向分布

利用SOHO,STEREO高能粒子观测数据,对2011-2014年30个通量短时间内显著增强的缓变型太阳高能粒子（SEP）事件的两个特征时间（局地爆发时间,起始释放时间）及其经向分布进行统计分析.研究结果显示,多颗卫星同时观测到的SEP事件伴随的日冕物质抛射（CME）角宽明显较一般事件大,且基本都为Halo CME;不同卫星观测到的粒子通量局地增强时间差与卫星位置经度差明显线性正相关且东西不对称;局地爆发时间和起始释放时间相对于耀斑时间的延迟与卫星相对经度正相关;卫星所有能量通道的两个特征时间极差与卫星相对经度呈现较好的正相关,这表明不同能量SEP释放的时间跨度具有明显经度差异;高低能释放时间差与CME速度正相关.这些结论表明,SEP事件的两个特征时间具有明显的经向依赖性,并都与CME速度相关.