WL_Net在导弹飞行控制软件安全性分析中的应用

提出了应用工作流逻辑网(WL_Net)进行软件安全性分析的新方法。介绍了运用WL_Net对导弹飞行控制软件进行安全性分析的步骤并分析了其优缺点和未来的发展方向。首先,综合考虑可能引起危险和风险的条件和环境构建WL_Net结构模型;然后使用可达树或关联矩阵对模型的合理性以及危险或风险出现的可能性进行分析,以确定该飞行控制软件是否安全。WL_Net能较好的完成对系统的建模和对软件安全性的分析,从一定程度上解决模型可读性和网结构爆炸的问题。     

嵌入式SRAM的一种高可靠性内建冗余分析策略研究

为有效提高嵌入式静态随机访问存储器（Static Random Access Memory, SRAM）的可靠性,进而确保整个航天电子系统的可靠运行,通过对嵌入式SRAM故障分布特点的分析,给出了一种改进的存储器架构。采用列块修复与行单元修复相配合的方法,并在此基础上提出了二维冗余模块存在故障的内建冗余分析( Built\|In Redundancy Analysis, BIRA)策略。该策略高效运用了设置的行修复寄存器与列修复寄存器,极大地提高了故障的修复率。通过64×8位的SRAM仿真实验验证了提出的内建冗余分析策略的可行性,有效确保了系统在冗余模块和主存储器都存在故障的情况下的高可靠运行。
     

任务系统软件体系结构风格研究与应用

本文以某型航电任务系统研发为背景，介绍了几种经典体系结构风格的设计特点和应用。理论和研发实践相结合，项目的顺利推进证明了软件体系结构风格的分析对明确设计思路和指导代码开发具有重要意义，加快了软件研发的进度，保证软件质量，同时又增加了系统的可扩展性，降低研发成本。     

航天器C语言软件常见编程错误分析及检测方法研究

基于软件第三方评测发现的问题,梳理并详细分析了在航天器C语言软件中6种常见编程错误.针对其中的软件安全漏洞提出了使用代码分析技术的检测方法,针对编程语言使用错误提出了通过制定编程规则并使用代码分析方法进行检测的解决方法.采用上述方法可以有效检测出上述6种常见编程错误,并可以用于检测软件的其他严重错误.     

一种基于构件的可重配置通用星载遥测软件设计

传统遥测处理设计方法,其软件逻辑处理与用户需求紧密耦合,难以重用。通过对星载软件构件化技术和航天器遥测需求进行分析,采用软件构件设计遥测处理模块,完成遥测采集、存储、包调度、虚拟信道调度和下传。构件化设计的遥测模块,通过参数配置和构件组装的方式实现不同的遥测需求,从而实现通用化遥测软件。经试验,结果表明,构件化的通用星载遥测设计方法,具有良好的任务适应性,能够显著降低开发时间和成本,可为通用化航天器遥测模块设计提供参考。     

基于FPGA的Rijndael可配置密钥系统优化设计

作为被NIST选定的高级加密标准（AES），Rijndael具有非常广阔的应用前景。对Rijndael算法的密钥生成系统结构进行了细致描述，提出了在明文分组与密钥分组不同组合的情况下，采用一种可配置的动态思想，在现场可编程门阵列（FPGA）上实现的一种高效的密钥结构。此结构能充分体现Rijndael算法的灵活特性。最后，还对此结构的关键性能进行讨论。     

STA5型用户板软件的设计

STA5型用户板用于数字程控交换机的用户接口 ,也可做为各类接入网系统的远端二线模拟接口。本文对该用户板软件设计难点、特点 ,以及软件的组成部分做以阐述。     

高技派建筑的适用技术观

目前,高技派建筑得到广泛认可。高技派建筑在经过对技术的纯粹化的追求后,在技术不断发展的今天,高技派建筑师回归到对人文精神、地域性的关注上,使高技派建筑在信息技术时代焕发出新的生命力。本文论述了高技派建筑的适用技术观,通过分析揭示了高技派建筑的适用技术观对于建筑师的启示。     

高技派建筑的适用技术观

目前,高技派建筑得到广泛认可.高技派建筑在经过对技术的纯粹化的追求后,在技术不断发展的今天,高技派建筑师回归到对人文精神、地域性的关注上,使高技派建筑在信息技术时代焕发出新的生命力.本文论述了高技派建筑的适用技术观,通过分析揭示了高技派建筑的适用技术观对于建筑师的启示.     

液体火箭发动机高速采集数据工程数据库设计及应用

叙述了基于SQLSever数据库平台的液体火箭发动机高速采集数据工程数据库的架构设计及海量存储技术在试验数据分析过程中的应用.该数据库对提高数据管理水平、提高数据利用率及发动机的研制具有极大的帮助.数据库的架构设计较好的满足了试车高速采集数据及分析结果的分类存储、检索及查询.海量存储技术的应用解决了非结构化数据的快速存...