您的位置: 专家智库 > >

张刚

作品数:24 被引量:43H指数:4
供职机构:中国航天科技集团公司更多>>
发文基金:国家高技术研究发展计划国家自然科学基金更多>>
相关领域:自动化与计算机技术自然科学总论经济管理航空宇航科学技术更多>>

文献类型

  • 9篇期刊文章
  • 8篇专利
  • 5篇会议论文
  • 2篇学位论文

领域

  • 11篇自动化与计算...
  • 2篇经济管理
  • 2篇航空宇航科学...
  • 2篇自然科学总论
  • 1篇交通运输工程
  • 1篇一般工业技术
  • 1篇理学
  • 1篇兵器科学与技...

主题

  • 5篇航天
  • 3篇技术成熟度
  • 3篇AADL
  • 2篇代码
  • 2篇形式化
  • 2篇一致性
  • 2篇遗传算法
  • 2篇映射
  • 2篇源代码
  • 2篇软件系统
  • 2篇软件源代码
  • 2篇软件质量
  • 2篇嵌入式
  • 2篇嵌入式C语言
  • 2篇状态机
  • 2篇矩阵
  • 2篇关联矩阵
  • 2篇DSPS
  • 2篇程序控制
  • 1篇弹塑性

机构

  • 10篇中国航天科技...
  • 8篇中国航天工程...
  • 7篇西北工业大学
  • 2篇北京理工大学
  • 2篇中国航天科技...
  • 1篇中国人民解放...
  • 1篇中国航天科技...

作者

  • 24篇张刚
  • 9篇经小川
  • 6篇王崑声
  • 3篇詹海潭
  • 2篇张辉
  • 2篇杨海成
  • 2篇郑新华
  • 2篇谢伟华
  • 2篇李宁
  • 1篇史忠科
  • 1篇张辉
  • 1篇马宽
  • 1篇马宽
  • 1篇高秀峰
  • 1篇王亮
  • 1篇陈星
  • 1篇邓威
  • 1篇危胜军
  • 1篇高金梁
  • 1篇胡昌振

传媒

  • 3篇北京理工大学...
  • 1篇未来与发展
  • 1篇武汉理工大学...
  • 1篇工业仪表与自...
  • 1篇航天控制
  • 1篇现代电子技术
  • 1篇计算机科学与...
  • 1篇全国软件测试...
  • 1篇中国宇航学会...
  • 1篇中国宇航学会...

年份

  • 2篇2024
  • 1篇2022
  • 1篇2018
  • 1篇2017
  • 2篇2014
  • 1篇2013
  • 1篇2012
  • 5篇2011
  • 1篇2010
  • 1篇2008
  • 2篇2007
  • 3篇2006
  • 1篇2005
  • 1篇2004
  • 1篇1994
24 条 记 录,以下是 1-10
排序方式:
基于遗传算法的技术成熟困难度计算方法被引量:4
2011年
为避免基于表单的技术成熟困难度评价方法的主观性和片面性,提出了一种基于遗传算法的技术成熟困难度计算方法.该方法以技术成熟度评价结果为基础,对待评价技术的现有成熟状态作可视化处理,以二维坐标图的形式显示,再由预先建立的积分公式得出技术成熟困难度的计算结果,积分公式中的权重系数通过遗传算法的种群初始化、选择、交叉和变异等操作进行选择.实验证明,该方法能够客观准确地得出待评价技术从某一等级成熟度发展为另一等级成熟度的困难程度.
张刚杨海成经小川王潇茵
关键词:技术成熟度遗传算法积分计算
一种航天嵌入式C语言软件运行时错误的静态分析方法
本发明公开了一种航天嵌入式C语言软件运行时错误的静态分析方法。包括:(1)将航天嵌入式C语言软件运行时错误按照错误的发生机制进行分类,根据每类错误构造属性状态机的步骤。(2)根据构造的待检测软件源代码的程序控制流图和属性...
王崑声詹海潭经小川张刚李宁
文献传递
一种飞行器周向安装精度的快速高精度调整装置
本发明提供了一种飞行器周向安装精度的快速高精度调整装置,属于飞行器装配测试技术领域,解决了目前飞行器上安装精度测量使用三坐标测量仪器,存在测量难度大、测量效率低导致飞行器装配效率低的问题。其包括底座,底座中设置有至少两个...
王文强邓宇何勇彬张刚郭峰张明星韩志强李应波马建国熊伟许纯陈鹏曲利峰
基于DSPs的交通控制系统研究
城市交通拥挤所带来的严重危害日益影响到人们的日常生活和社会经济的发展。交叉口是城市交通的主要集散地,是交通拥挤产生的主要环节。交叉口交通控制的研究是城市交通控制问题的关键切入点。本文针对目前我国城市交通问题的现状,研究了...
张刚
关键词:遗传算法交通控制系统交通拥挤
文献传递
一种验证AADL模型运行状态与需求一致性的方法
一种验证AADL模型运行状态与需求一致性的方法,步骤包括:(1)根据需求中的状态和状态迁移构建AADL模型,AADL模型中模式和模式迁移分别对应需求中的状态和状态迁移;(2)将AADL模型中模式和模式迁移转化为Petri...
王崑声张辉经小川张刚谢伟华
一种具有驱鸟功能且便于维修的通讯塔
本实用新型公开了一种具有驱鸟功能且便于维修的通讯塔,包括通讯塔底架、固定底座和横固定杆,通讯塔底架上设置有若干横固定杆和斜支撑杆,通讯塔底架上设置有爬梯,通讯塔底架的上端设置有固定柱,固定柱上设置有超声波驱鸟器,固定柱的...
候凯王泽林邓威程鑫苗盛通祁乐苏敏波张刚王亮李昊
文献传递
我国航天型号软件质量保障体系研究
我国航天的软件质量保障工作还存在诸多问题,不能适应发展的需要。通过分析各种软件质量保障技术和管理标准,借鉴国外宇航界的成功模式,结合我国航天的实际,可以提出适应我国航天现状及发展需要的软件质量保障体系。这个体系的组织结构...
郑新华张刚
关键词:航天软件软件质量
文献传递
航天嵌入式软件运行时错误静态分析方法被引量:4
2013年
提出一种基于属性模型的运行时错误静态分析方法.该方法将运行时的错误按照发生原因进行分类,提取每类错误的属性模式,对属性模式进行形式化建模形成属性有限状态机;并对程序流图中与属性相关的路径进行分析,对照属性有限状态机运用路径敏感和上下文敏感的方法分析运行时错误.实验结果显示,该方法与现有主流方法相比,在准确率和效率之间可取得良好平衡.
王崑声詹海潭经小川李宁张刚
关键词:上下文敏感
基于技术成熟困难度的航天型号研制风险管理方法被引量:7
2011年
通过分析航天型号存在的各种研制风险,指出技术风险是最根本性和最重要的研制风险,但目前的技术风险管理多数是基于定性评价的管理方法,以传统的专家经验为主。本文提出了一种以技术成熟困难度评估为基础的技术风险评估框架和方法,将分级量化和相对规范的技术成熟度、技术成熟困难度和技术关键度引入风险评估的过程,通过技术成熟困难度和技术风险评估结果,指导型号设计师系统开展技术攻关策划和指挥系统实施技术风险管理。该方法针对不同技术成熟度等级之间的跨越难度,将定性与定量的方法相结合,具有动态性好、适应性广的特征,可以贯穿航天型号整个研制周期实施风险管理,有着较强的针对性和实用性。
张刚王潇茵马宽许胜杨海成
关键词:技术成熟度航天型号研制风险管理
本体模型内概念映射翻译之研究被引量:2
2006年
在多应用主体的系统中,由于各应用主体工作领域和知识表达、处理方式的不同在协作过程中易造成语义歧义等问题。本体论为应用主体间的知识级协作提供了一条可靠的途径。探讨了与本体相关的应用主体和本体推理机的结构组成以及协作过程中的术语翻译转换流程。通过对本体领域相关性、概念术语相关性等重要概念的定义描述,给出了本体推理机在不同领域本体之间进行概念术语的翻译转换方法。
经小川张刚危胜军高秀峰
关键词:本体概念映射
共3页<123>
聚类工具0