您的位置: 专家智库 > >

石柱

作品数:14 被引量:30H指数:4
供职机构:中国航天更多>>
发文基金:国防科技工业局民用航天科研预先研究项目更多>>
相关领域:自动化与计算机技术航空宇航科学技术更多>>

文献类型

  • 14篇中文期刊文章

领域

  • 14篇自动化与计算...
  • 1篇航空宇航科学...

主题

  • 4篇星载
  • 4篇星载软件
  • 3篇软件可靠性测...
  • 3篇软件可靠性分...
  • 3篇可靠性
  • 2篇信息流
  • 2篇软件测试
  • 2篇软件可靠性度...
  • 2篇软件可靠性评...
  • 2篇数据库
  • 1篇定位技术
  • 1篇多变量
  • 1篇多变量系统
  • 1篇运载
  • 1篇运载器
  • 1篇软件安全性分...
  • 1篇软件可靠性工...
  • 1篇软件可靠性模...
  • 1篇软件可靠性设...
  • 1篇软件审查

机构

  • 10篇中国航天科技...
  • 3篇中国航天
  • 2篇北京航天自动...
  • 1篇中国科学院
  • 1篇中国科学技术...
  • 1篇装甲兵工程学...
  • 1篇中国科学院研...
  • 1篇中国航天科技...
  • 1篇中国科学院大...

作者

  • 14篇石柱
  • 7篇郑重
  • 2篇王瑞
  • 2篇刘德勇
  • 2篇周东红
  • 1篇于强
  • 1篇吕旭涛
  • 1篇李沫
  • 1篇刘国明
  • 1篇韩翔宇
  • 1篇周滨
  • 1篇马宽

传媒

  • 6篇航天控制
  • 3篇计算机与数字...
  • 1篇系统工程与电...
  • 1篇计算机工程与...
  • 1篇计算机工程与...
  • 1篇质量与可靠性
  • 1篇载人航天

年份

  • 2篇2016
  • 2篇2014
  • 3篇2013
  • 1篇2011
  • 1篇2010
  • 3篇2008
  • 1篇2007
  • 1篇1999
14 条 记 录,以下是 1-10
排序方式:
软件可靠性度量实例研究被引量:8
2011年
为适应软件的不同特点和使用阶段,必须根据软件的具体情况,考虑在软件开发的整个生命周期中,从不同角度对可靠性进行度量和评价。在现有软件可靠性度量的基础上,选择改造了9个可用于评价软件可靠性的度量,在航天软件中进行了应用,并详细阐述了各个度量的目标、方法和过程,最后对度量结果进行了综合分析以及给出了对软件的改进建议。
石柱郑重
晶体生长炉神经元网络PID解耦控制系统被引量:1
2008年
多温区晶体生长炉是一种多输入多输出、强耦合的被控对象。根据多温区晶体生长炉内温场分布的要求,提出一种神经元网络PID多变量强耦合系统控制器,通过在线学习自动调节控制器参数,同时实现解耦和控制作用。仿真结果验证了本方法对多变量强耦合时变对象具有良好的解耦性能和自学习控制特性,达到了系统所要求的控制指标。
于强石柱吕旭涛
关键词:多变量系统解耦控制神经元网络PID控制
WL_Net在导弹飞行控制软件安全性分析中的应用
2008年
提出了应用工作流逻辑网(WL_Net)进行软件安全性分析的新方法。介绍了运用WL_Net对导弹飞行控制软件进行安全性分析的步骤并分析了其优缺点和未来的发展方向。首先,综合考虑可能引起危险和风险的条件和环境构建WL_Net结构模型;然后使用可达树或关联矩阵对模型的合理性以及危险或风险出现的可能性进行分析,以确定该飞行控制软件是否安全。WL_Net能较好的完成对系统的建模和对软件安全性的分析,从一定程度上解决模型可读性和网结构爆炸的问题。
韩翔宇石柱
关键词:飞行控制软件
软件故障树分析实例研究被引量:4
2014年
软件故障树分析(SFTA)是硬件或系统FTA的扩展,可应用于安全性关键软件的验证和可靠性分析。本文首先阐述了SFTA的原理和应用过程,然后介绍了结合某嵌入式软件进行实际应用的过程以及最小割集的生成,并在此基础上提出了对该软件的改进建议。
石柱郑重
关键词:软件可靠性分析
运载器通用测试数据库的设计
2007年
结合运载器测试数据的特点,采用ER图及关系模式对通用测试数据库的设计进行了较详细的分析,提出客户/服务器两层体系结构的数据库实现方案。在该系统中,服务器端采用SQL Server 2000,客户端采用C++ Builder5.0开发平台,客户端和服务器端的连接采用ODBC标准。该系统经某型号运载器试验验证,收到了良好的效果。
刘德勇周滨石柱
关键词:关系数据库SQLSERVERC++BUILDERODBC
星载软件可靠性测试实践被引量:2
2013年
为验证和评估软件可靠性水平,阐述了开展软件可靠性测试的方法和过程,针对星载嵌入式软件的特点,介绍了进行软件可靠性测试的关键步骤的实现途径和方法,包括:失效的定义、测试环境的搭建、使用剖面的构造、测试过程的执行以及失效数据的收集,最后给出了该软件的可靠性定量评估结果,表明了该方法和流程的实用性和可行性,为后续开展类似的软件可靠性测试提供实践经验。
石柱郑重
关键词:软件可靠性测试软件可靠性评估使用剖面
星载软件可靠性仿真测试环境研究
2016年
软件可靠性测试是验证和评估软件可靠性水平的重要方法,要求软件运行环境的真实性,因此,测试环境的建立是进行可靠性测试的难点,也是决定测试结果正确性的关键因素。论文阐述了针对某星载嵌入式软件可靠性测试环境的设计,包括测试平台的构建,以及测试脚本的构造,该环境已成功应用于某星载嵌入式软件的可靠性测试,效果较好。
郑重石柱
关键词:星载软件软件可靠性测试测试环境
软件审查方法及应用被引量:2
1999年
介绍了软件审查及其相关概念,阐述了软件审查的组织、类型和方法,最后介绍了软件审查在型号中的应用实例。
石柱周新雷缪峥红
基于信息流缺陷定位方法在软件测试中的应用
2014年
随着软件产业的飞速发展,人们对软件质量的要求也越来越高。现在,软件已经直接影响到了我们项目的成功和设备的安全。而软件中的复杂缺陷难以排除,因为它们涉及到许多程序要素之间的相互作用。论文扩展了基于信息流覆盖的缺陷定位技术。扩展后的技术融合了语句覆盖和分支覆盖技术,它还能定位复杂缺陷。试验结果表明,文中方法比基于语句覆盖、分支覆盖和定义使用对覆盖的方法要更可靠、更精确。
周东红石柱王瑞
关键词:软件测试
软件FMEA实例研究被引量:10
2010年
软件FMEA(失效模式和影响分析)是硬件或系统FMEA的扩展,并应用于安全关键软件的鉴定,但是,目前缺乏应用经验。本文阐述了SFMEA的原理、实施过程和要点,提出了适用于某嵌入式软件的失效模式及原因,对失效模式的影响进行了严酷度等级分类,给出了对该软件实施SFMEA的过程和结果。结果表明了SFMEA的有效性和实用性。
石柱马宽郑重
关键词:软件可靠性分析
共2页<12>
聚类工具0