您的位置: 专家智库 > >

国家自然科学基金(90818024)

作品数:15 被引量:44H指数:4
相关作者:顾斌李振松陈朝晖经小川张刚更多>>
相关机构:北京控制工程研究所中国航天科技集团公司中国航天工程咨询中心更多>>
发文基金:国家自然科学基金中国航空科学基金国家高技术研究发展计划更多>>
相关领域:自动化与计算机技术自然科学总论经济管理航空宇航科学技术更多>>

文献类型

  • 15篇中文期刊文章

领域

  • 14篇自动化与计算...
  • 1篇经济管理
  • 1篇电气工程
  • 1篇航空宇航科学...
  • 1篇自然科学总论

主题

  • 7篇AADL
  • 2篇设计方法
  • 2篇航天
  • 2篇TIMED
  • 2篇UPPAAL
  • 2篇ATL
  • 1篇调度
  • 1篇遗传算法
  • 1篇译码
  • 1篇映射
  • 1篇指令集
  • 1篇指令集模拟器
  • 1篇软件体系结构
  • 1篇软件总线
  • 1篇上下文
  • 1篇上下文敏感
  • 1篇体系结构
  • 1篇轻量
  • 1篇轻量级
  • 1篇状态自动机

机构

  • 8篇北京控制工程...
  • 2篇中国航天工程...
  • 2篇中国航天科技...
  • 1篇华东师范大学
  • 1篇西北工业大学
  • 1篇中国航天科技...

作者

  • 6篇顾斌
  • 4篇李振松
  • 3篇陈朝晖
  • 3篇经小川
  • 2篇张辉
  • 2篇张刚
  • 2篇高金梁
  • 2篇谢伟华
  • 1篇陈玉祥
  • 1篇杨海成
  • 1篇马宽
  • 1篇綦艳霞
  • 1篇赵性颂
  • 1篇陈铭松
  • 1篇党纪红
  • 1篇王政
  • 1篇关小川
  • 1篇蒲戈光
  • 1篇李经松
  • 1篇王崑声

传媒

  • 2篇计算机工程与...
  • 2篇Journa...
  • 2篇空间控制技术...
  • 1篇计算机应用
  • 1篇计算机应用研...
  • 1篇北京理工大学...
  • 1篇微型机与应用
  • 1篇航天控制
  • 1篇计算机科学
  • 1篇Chines...
  • 1篇计算机测量与...
  • 1篇计算机技术与...

年份

  • 2篇2013
  • 7篇2012
  • 5篇2011
  • 1篇2009
15 条 记 录,以下是 1-10
排序方式:
基于技术成熟困难度的航天型号研制风险管理方法被引量:7
2011年
通过分析航天型号存在的各种研制风险,指出技术风险是最根本性和最重要的研制风险,但目前的技术风险管理多数是基于定性评价的管理方法,以传统的专家经验为主。本文提出了一种以技术成熟困难度评估为基础的技术风险评估框架和方法,将分级量化和相对规范的技术成熟度、技术成熟困难度和技术关键度引入风险评估的过程,通过技术成熟困难度和技术风险评估结果,指导型号设计师系统开展技术攻关策划和指挥系统实施技术风险管理。该方法针对不同技术成熟度等级之间的跨越难度,将定性与定量的方法相结合,具有动态性好、适应性广的特征,可以贯穿航天型号整个研制周期实施风险管理,有着较强的针对性和实用性。
张刚王潇茵马宽许胜杨海成
关键词:技术成熟度航天型号研制风险管理
基于SPARDL的模型和程序一致性测试
2013年
针对周期控制系统的时序一致性进行研究,提出基于SPARDL(space aircraft description language)的模型和程序一致性测试方法,通过模型抽取获取模式迁移图和控制流程图,通过程序插桩获取程序执行路径,实现了自动检测周期控制系统中的模式迁移和模块调用的一致性,给出了基于模式迁移图和控制流程图的覆盖检测并用于指导程序测试用例的生成。结合具体的周期控制系统,验证了一致性测试方法在实际工程中的有效性。
陈玉祥蒲戈光綦艳霞陈铭松王政陈朝晖顾斌
基于AADL的建模和验证技术应用研究
2012年
随着嵌入式系统规模、复杂度和性能需求的提升,嵌入式系统开发的重点从代码级提前到模型级;体系结构分析和设计语言AADL能够在模型级对系统进行建模,并通过一系列验证尽早发现系统设计中的问题,在航空航天等嵌入式系统中具有广阔的应用前景;全面系统地介绍了基于AADL的建模、验证的具体方法步骤、实现手段和工具,并以简化的飞行控制系统为例具体讲述了AADL的建模和验证技术的实际应用,从而为AADL技术在我国嵌入式软件中的应用奠定了基础。
张辉经小川谢伟华高金梁
航天嵌入式软件运行时错误静态分析方法被引量:4
2013年
提出一种基于属性模型的运行时错误静态分析方法.该方法将运行时的错误按照发生原因进行分类,提取每类错误的属性模式,对属性模式进行形式化建模形成属性有限状态机;并对程序流图中与属性相关的路径进行分析,对照属性有限状态机运用路径敏感和上下文敏感的方法分析运行时错误.实验结果显示,该方法与现有主流方法相比,在准确率和效率之间可取得良好平衡.
王崑声詹海潭经小川李宁张刚
关键词:上下文敏感
基于AADL的中断控制设计方法被引量:2
2011年
介绍了结构分析与设计语言(AADL)的应用研究和优点,以某航天器控制分系统部分中断类型为例,针对AADL语言自身直接对中断问题描述能力上的不足,提出了两种基于AADL的中断控制设计方法,并进行了详细阐述和比较,为系统设计阶段对中断控制的抽象描述提供了一种思路和方法,从而有利于实现早期阶段对模型可调度性等方面验证的途径。
李振松顾斌
关键词:AADL可调度性
快速SPARC V7指令集模拟器的设计方法被引量:3
2011年
为提高解释型指令集模拟器的速度,研究了模拟器设计的译码分派技术及其优化方法,针对模拟器运行时译码阶段开销较大和执行阶段需要本地机器指令较多等特点,提出用预译码技术和优化线索解释技术相结合的方式,提升模拟器的速度。通过设计一个基于SPARC V7指令集模拟器,结合实例对3种模拟器性能进行比较分析,实验结果表明了该方法的可行性和有效性。
关小川陈朝晖党纪红
关键词:模拟器
A Scalable Infrastructure for Online Performance Analysis on CFD Application被引量:1
2012年
The fast-growing demand of computational fluid dynamics(CFD) application for computing resources stimulates the development of high performance computing(HPC) and meanwhile raises new requirements for the technology of parallel application performance monitor and analysis.In response to large-scale and long-time running for the application of CFD,online and scalable performance analysis technology is required to optimize the parallel programs as well as to improve their operational efficiency.As a result,this research implements a scalable infrastructure for online performance analysis on CFD application with homogeneous or heterogeneous system.The infrastructure is part of the parallel application performance monitor and analysis system(PAPMAS) and is composed of two modules which are scalable data transmission module and data storage module.The paper analyzes and elaborates this infrastructure in detail with respect to its design and implementation.Furthermore,some experiments are carried out to verify the rationality and high efficiency of this infrastructure that could be adopted to meet the practical needs.
HU KaiDING YiZHANG XinyuJIANG Shu
AADL模式转换设计方法研究被引量:1
2011年
为实现AADL(体系结构分析与设计语言)对航天器控制系统等运行模式相对复杂的嵌入式系统的详细描述,针对AADL核心标准及其行为附件在描述能力上的不足,在行为附件原有文法定义的基础上进行改进,使之能够对多条件合集下的模式转换以及模式转换的优先级进行描述。提出了抽象状态的概念以简化原行为附件文法在描述组合式状态转换关系方面的繁杂程度,提高设计模型的可读性。通过对实际控制系统运行模式进行设计,结果表明了改进后的行为附件文法很好地满足了设计描述上的需求。
李振松蒋志雄顾斌
遗传算法生成变异测试用例被引量:2
2009年
实际测试用例一般不能满足变异测试充分,但遗传算法搜索空间较大,可使用其生成变异测试充分度较高的测试用例集。适应值函数的构造使用分支函数插装法。首先根据杀死弱变异体的必要性条件,构造必要性条件分支函数,插装于源程序中;然后根据可达性条件,构造可达性条件的分支函数并插装。使用基于面向路径的遗传算法来搜索杀死弱变异体的测试用例。将终止条件改为程序最终结果的不同,插装函数不变,生成满足条件的强变异测试用例。对于多重弱变异,按照可达路径实施等价类划分,每一个等价类采用与单重弱变异相同的方法。实验结果表明,遗传算法可生成杀死各类变异体的测试用例,优于随机生成的测试用例。
赵性颂顾斌
关键词:遗传算法测试用例生成
基于Petri网的AADL模型正确性验证研究被引量:2
2012年
体系结构分析和设计语言AADL能够在架构级对系统进行建模,并通过一系列验证尽早发现系统设计中的问题,在航空航天等嵌入式系统中具有广阔的应用前景。但是目前的验证集中在性能分析等方面,忽略了AADL模型本身的正确性验证。提出将AADL模型的模式和模式转换映射成Petri网模型,结合Petri网的理论对AADL模型正确性进行验证的方法,从而确保建模阶段模型的正确性,为后续各种验证分析奠定了基础,同时进一步降低了在系统实现后发现问题修改模型所带来的时间和成本。最后,通过具体实例验证了该方法的可实施性和有效性。
张辉经小川谢伟华高金梁
关键词:PETRI网映射关联矩阵
共2页<12>
聚类工具0