并发数据访问代码缺陷分析

现代软件系统中普遍使用并发任务提高软件的性能、增加算法实现的灵活性.数据的并发访问,如果没有进行恰当的同步,可能带来数据竞争、死锁和数据没有初始化等问题,程序的执行结果将依赖于并发任务执行的相对时序,给整个系统的正确性、安全性和可靠性带来严重的隐患.本文在深入分析涉及并发数据访问的实际工程代码的基础上,揭示了并发数据访...     

非死锁合同网协议驱动的多机分布式时序任务分配

针对多无人机协同任务分配的时序约束问题，提出了基于非死锁合同网协议(DF CNP)的分布式时序任务分配方法，从理论上避免任务死锁，提升分配结果最优性。定义了局部信息条件下时序任务死锁判据，通过检测时序任务图环路状态与顶点可达性，判定分配方案的全局死锁状态，保证分配结果的可行性。定制了最近邻-深度优先混合搜索算法，在合同网排序过程中优先选择最近邻任务，并结合死锁判据递归回溯，在分布式架构下并行生成满足死锁约束的任务排序方案，提升分配结果的最优性。仿真对比结果表明：相比于非死锁遗传算法(TB GA)，DF CNP在求解效率方面具有显著优势；与耦合约束一致性束算法(CBBA TCC)相比，DF CNP结果最优性明显提升。     

基于灰色关联模型的遥测数据趋势异常分析

为分析和判断火箭遥测数据的趋势异常,提出一种基于改进关联模型的趋势异常分析方法.针对遥测数据量大、局部特征时轴偏移及幅值偏差累积、不同时段重要程度不同等特点,对文献[11]中关联模型进行了适应性改进,引入均衡度概念,根据权重系数和关联度定义分段异常度、异常均衡度和异常关联度,用以综合评价遥测数据与历史数据的整体趋势一致...     

基于TMS320C80的BP算法并行实现的研究

结合 TMS32 0 C80的编程结构 ,利用神经网络的权并行性和神经元并行性 ,提出了BP算法的并行实现方法 ,并解决了存储器访问冲突、数据双缓冲传输、PP细粒度并行和死锁等问题。结果表明 ,该并行 BP算法十分有效。     

一种快速低开销的分布式死锁检测解决算法

现有的分布式edge—chasing死锁检测算法具有消息开销大或不能并发执行的弱点，为此提出一个新的死锁检测算法，算法中检测消息由事务节点发起并在事务节点和资源节点之间传递，不保留死锁检测的中间状态，也不更新事务的资源访问请求。算法的正确性得到证明，仿真表明新算法的时间和消息开销低于同类算法。     

商业火箭遥测数据递归解析技术

商业航天具有任务周期短、型号迭代快、成本控制严等特点，对遥测数据处理提出了准备周期短、信息配置维护便捷的新需求。本文以“规则帧、混编帧、参数” 3类数据和“整理、解析” 2个过程为筋骨，构建递归解析数据处理模型，实现了商业火箭遥测数据处理逻辑规范、功能模块强内聚性的目标，解决了传统方法处理逻辑不清晰、信息配置复杂、数据利用效率不高的问题。理论分析指出，相较于传统方法，递归解析技术可有效减少描述遥测数据的要素个数，并在存在不完整全帧的情形下显著提高数据利用率，可替代传统方法更快速地完成商业火箭遥测数据处理工作。     

升力式再入的三维再入走廊与再入界面窗口

针对升力式再入飞行任务设计对地理信息的需求,提出了以“来路走廊”和“去路走廊”为代表的“三维再入走廊”概念,重新定义了“再入界面窗口”概念。其中,“再入界面窗口”解决了“已知着陆点,估计初始再入点的可行地理区间”问题;“三维再入走廊”则系统、直观地揭示了升力式再入飞行器对“临近空间”多重大气层的覆盖能力及其整体变化趋势。求解算法使用高精度积分律的直接配置非线性规划法,配合无奇异的数学模型,可满足全球到达任务的设计需求。基于美国X-33和Advanced Guidance and Control (AGC)项目的测试任务数据,一系列算例检验了“三维再入走廊”与“再入界面窗口”概念的合理性。“三维再入走廊”有助于工程总体设计、军事指挥和商业空天交通指挥人员对类型化的升力式再入任务进行设计和分析;有助于高层决策人士对升力式再入的机动能力进行系统理解和直观把握。     

基于监测信息的固体火箭发动机健康状态评估技术

针对固体发动机难以建立复杂环境下可信度较高的失效模型对固体发动机进行健康状态评估的现状,建立了基于定期无损探伤数据和长期环境监测数据为检测信息指标的固体发动机健康状态评估模型。首先划分固体发动机健康状态等级,在此基础上,确定影响健康状态等级的具体监测信息指标及其权重,界定各监测信息单项指标处在不同健康状态等级的标准范围,基于实测检测信息和不同健康状态等级的标准范围明确监测信息的评估量化值、量值域和全域,并计算监测信息指标关于各健康状态等级的关联度,加权求和即可得出处于不同健康状态等级的综合关联度,实现基于监测信息的固体发动机健康状态的评估。     

批产航天器设备布局研究

分析了批产航天器小批量、多状态的特点,描述了这些特点给航天器研制带来的设备布局设计难题;提出了以舱板布局作为基本配置单元进行设备布局的方案,通过特殊设备识别、配置矩阵制定、配置状态转化、配置状态编码和配置组合等步骤,实现批产航天器设备布局状态控制;最后,结合产品数据管理系统,说明了导航卫星设备布局方案。     

基于熵灰关联算法的雷达对抗情报数据融合处理

针对灰关联算法直接应用于雷达对抗情报融合时可靠性和准确性不高的问题,提出了基于熵灰关联融合算法的雷达对抗情报融合算法.该算法首先利用融合矩阵对雷达目标间参数的灰关联度和权重值进行建模,得出综合评价值,然后将其与阈值进行比较,最后计算属于同一雷达对抗情报数据的均值,实现雷达对抗情报数据的融合.仿真实验结果表明了该算法能够充分利用雷达对抗情报数据的有效信息,融合结果准确可靠,模型泛化能力强.     

基于PCI的1553B总线接口卡的设计与实现

对 PCI局部总线与其他计算机局部总线进行了性能分析和比较 ;介绍了围绕 15 5 3B总线协议芯片设计基于 PCI的 15 5 3B总线接口卡的一些关键技术 :应用 PCI协议接口芯片实现PCI总线和本地的 15 5 3B总线之间的桥接 ,对 15 5 3B总线接口卡的软件接口进行配置等 ;并对15 5 3B总线接口卡与其配套软件之间的数据流和控制流进行了说明。     

应用相变储能板的星载数据处理器热设计

某星载数据处理器采用标准机箱结构,实现整星对地遥测数据的存储与传输的功能。数据处理器总热耗较大,其中有3个数据处理单元在工作时热耗高达70W。针对数据处理单元的周期性工作特点,填充有相变材料的储能板作为其散热措施使用。在数据处理单元工作时储热,间歇时散热,实现对数据处理单元的温度控制。为了验证该热设计措施的有效性,采用Flotherm软件进行仿真分析并设计了真空下的瞬态热平衡试验。仿真和试验结果均证明热设计方案合理,该相变储能板可以适应数据处理单元周期性工作的需求,且其内部所有元器件均满足一级降额设计要求。这种热设计方法为后续该类型周期性工作的大热耗单元热设计提供了参考意义。     

航天器供配电测试设备硬件模块化、软件配置化设计思路

目前我国各型号航天器地面供配电测试设备的互换性差,采用硬件模块化、软件配置化的设计思路,可以扩展系统硬件的使用范围、延长系统软件的生命周期,在某航天器的地面供配电测试设备研制中取得了较好的效果,这是对地面供配电测试设备通用化的有益尝试。     

小卫星星载容错计算机控制系统软硬件设计

创新一号低轨存储转发通信小卫星是中国第一颗重量在100公斤以下的小卫星，介绍了其星载计算机系统的设计方案。由于卫星采用了计算机集中管理方式，为保证星载计算机的可靠性，设计中对硬件使用了双计算机热备份冗余设计，星载计算机的可靠性同时通过软件和硬件协同容错设计来实现。卫星的星务管理、遥测、遥控、姿态控制、电源管理、通信控制、轨道控制等都需要通过计算机软件完成，介绍了这些软件的主要功能和容错设计。创新一号星载计算机采用了多项新技术，并经过了一年多的飞行测试验证，达到了预定的运行目标，星载计算机圆满完成了各项设计功能，证明了卫星计算机系统的安全可靠。     

多学科优化设计在航空航天领域的应用及发展

多学科优化设计是世界各国工业设计界新兴的研究领域。文章对多学科优化设计的主要基本理论、应用研究及发展进行了综述分析。优化算法是多学科优化设计的重要内容 ,文章对此进行了介绍 ,并对多学科优化设计中涉及的软件开发及集成设计框架、软件结构管理的研究成果及研究动态进行了分析。总结并对比分析了多学科优化设计在航空航天领域的几个典型应用及其特点 ,并将多学科优化设计与计算机集成制造系统的研究与发展的关系进行评述。     

通用导弹气动力计算软件DATCOM的开发与校验

M issile Datcom是由美国空军研发的一套用于导弹气动力估算的软件,在飞行器方案设计阶段具有较高的实用价值。在深入分析M issile Datcom软件源代码的基础上,结合研究成果对软件进行了开发,利用VC 编制了便于用户使用的图形界面,并利用某型导弹的风洞试验数据对软件进行了校验。结果表明,该软件在一定范围内能提供较高精度的气动力系数估算结果,对不同导弹气动力外形具有较强的适用性,为国内气动力工程估算提供了一套通用工具。     

基于最小系统的小卫星在轨软件重构系统设计

提出一种基于星载终端处理设备最小系统的小卫星在轨软件重构系统设计方案。依据星上信息流实现现状,设计重构系统的系统框架,提出星载终端处理设备的最小系统组成、通用功能集和需要满足的整星安全性功能需求。系统中,应用软件程序数据按照注入帧格式通过遥控通道注入到星上,可缓存在星务存储器中再分发给终端目的设备,通过最小系统软件对应用程序进行引导和加载管理,整个过程均有差错控制设计以保证其可靠性和安全性。软件重构试验和容错试验表明,利用该系统可实现星载微计算机软件和FPGA配置数据的可靠上注、可靠存储和可靠加载。     

基于LabVIEW的Web Server服务开发网络化分布式试验仿真系统

测控系统的网络化代表了测控系统发展的新方向，为实际测控应用解决了以前许多无法克服的困难。本文给出基于现行局域网构架之上，利用LabVIEW提供的Web Server服务功能，实现网络化测控与仿真系统的一种方法。可以实现网络化测控系统的低成本、短周期、可靠运行。阐述了该系统的软硬件构成、主要功能和运行过程，给出服务器端和客户端的功能搭配和软件设计方法。     

基于扩展块的星载软件控制流容错评价方法

空间环境因素引发的星载软件瞬态的控制流错误可能对系统执行效能造成严重影响,为避免容错算法存储开销和执行开销给系统带入过多的计算压力,提出在容错算法开销和所取得的系统的可靠性提升上取得一定折衷,这是星载软件可靠性设计的合理方向。设计了一种适合于弹性添加容错代码的容错方法:扩展块数字签名的控制流检测方法ESCFC(Extend block Signatures for Control Flow Checking)。由空间高能粒子的实验结果和在轨实测结果为系统可靠度建模,提出了算法开销和可靠性效能提升的平衡关系的工程参考和理论依据。定性分析和模拟,充分说明了将该方法运用于航天工程的可行性。     

基于Linux QT技术的空间环境模拟器控制系统组态软件的开发

文章主要介绍如何在Linux系统下建立一套空间环境模拟器控制系统组态软件。首先给出该软件设计的整体结构与基本原理,软件架构基于QT平台搭建;研发了一套针对Linux操作系统的OPC驱动,成功地实现了硬件设备和上位软件之间的多对多通信;针对该驱动提出了扫描优先级算法,这种算法相对于Windows下的顺序扫描逻辑方式更加优化而高效。该组态软件已通过现场实际应用,控制效果良好,达到预期的结果。