2024年8月22日
星期四
|
欢迎来到贵州省图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
王楠
作品数:
10
被引量:4
H指数:1
供职机构:
北京神舟航天软件技术有限公司
更多>>
发文基金:
陕西省科技攻关计划
航天科技创新基金
更多>>
相关领域:
自动化与计算机技术
更多>>
合作作者
程胜
北京神舟航天软件技术有限公司
朱海涛
北京神舟航天软件技术有限公司
王海鹏
西北工业大学软件与微电子学院
张涛
西北工业大学软件与微电子学院
作品列表
供职机构
相关作者
所获基金
研究领域
题名
作者
机构
关键词
文摘
任意字段
作者
题名
机构
关键词
文摘
任意字段
在结果中检索
文献类型
9篇
专利
1篇
期刊文章
领域
5篇
自动化与计算...
主题
6篇
软件工程
5篇
过程数据
2篇
应用软件
2篇
软件配置管理
2篇
时间序列
2篇
时间序列分析
2篇
实时检测
2篇
实时系统
2篇
实时性
2篇
数据解析
2篇
配置管理
2篇
配置项
2篇
嵌入式
2篇
嵌入式实时系...
2篇
嵌入式应用
2篇
嵌入式应用软...
2篇
灰度
2篇
仿真
2篇
仿真方法
2篇
AAD
机构
10篇
北京神舟航天...
1篇
西北工业大学
作者
10篇
王楠
9篇
程胜
2篇
朱海涛
1篇
张涛
1篇
王海鹏
传媒
1篇
航天控制
年份
1篇
2024
2篇
2023
4篇
2020
1篇
2019
2篇
2017
共
10
条 记 录,以下是 1-10
全选
清除
导出
排序方式:
相关度排序
被引量排序
时效排序
一种软件工程质量预测方法
本发明公开的软件工程质量预测方法,涉及软件工程技术领域,通过判断当前软件配置项的过程数据/质量数据的样本数量是否大于设定的阈值,若是,则将当前软件配置项的过程数据/质量数据输入训练过的时间序列分析ARIMA模型,预测软件...
程胜
王楠
万金晶
谢金龙
樊瑞婷
面向航天领域的模型驱动软件设计开发方法
被引量:4
2017年
针对航天嵌入式任务关键软件特点,研究基于AADL模型,实现对其结构模型、行为模型、故障模型和执行模型的多维度描述。通过构造其代码规则模板,实现从模型到源程序的自动化映射,降低编程工作量。研究将AADL模型转换为故障树模型和时间自动机模型,分析验证软件安全性与可调度性;通过构建航天领域模型库,支持大规模软件复用。最后,基于所开发的航天型号软件模型驱动开发平台,对航天飞行器GNC系统的软件开发进行了初步验证,结果表明模型驱动的软件开发方法能有效提高航天型号软件开发效率和质量。
张涛
秦凯
王楠
王海鹏
梁运畅
王智飞
关键词:
软件安全性分析
一种基于模板匹配技术的数据解析方法
本发明公开的本基于模板匹配技术的数据解析方法,涉及软件工程领域,通过实时检测软件配置管理库是否发生数据的出库操作或入库操作,若是,则利用模板匹配技术,获取数据的类型,根据数据的类型,解析该数据,其中,该数据包括软件研发阶...
程胜
王楠
万金晶
谢金龙
杜阳
韩冰
一种基于基本块的软件可靠性评估方法
本发明属于软件可靠性领域,具体涉及一种基于基本块的软件可靠性评估方法。一种基于基本块的软件可靠性评估方法,包括以下步骤:(1)构建控制流图;(2)利用被测软件的基本块指令数建立基本块的缺陷系数矩阵;(3)评估基本块潜在的...
程胜
邱化强
朱海涛
王楠
穆海荣
文献传递
一种结构分析与设计语言AADL模型的仿真方法
本发明实施例提供的体系分析与设计语言AADL模型的仿真方法,涉及模型仿真技术领域,根据AADL模型建立对应的Simulink模型,能够有效的对AADL模型的实时性进行仿真分析,进而保证嵌入式实时系统系统的可靠性与实时性,...
程胜
王楠
樊瑞婷
一种结构分析与设计语言AADL模型的仿真方法
本发明实施例提供的体系分析与设计语言AADL模型的仿真方法,涉及模型仿真技术领域,根据AADL模型建立对应的Simulink模型,能够有效的对AADL模型的实时性进行仿真分析,进而保证嵌入式实时系统系统的可靠性与实时性,...
程胜
王楠
樊瑞婷
文献传递
一种软件工程质量预测方法
本发明公开的软件工程质量预测方法,涉及软件工程技术领域,通过判断当前软件配置项的过程数据/质量数据的样本数量是否大于设定的阈值,若是,则将当前软件配置项的过程数据/质量数据输入训练过的时间序列分析ARIMA模型,预测软件...
程胜
王楠
万金晶
谢金龙
樊瑞婷
文献传递
一种软件工程研制过程合规性检测方法及系统
本发明公开的软件工程研制过程合规性检测方法,涉及计算机技术领域,通过实时检测软件配置项的过程数据及质量数据是否产生变化,若是,则根据规则库中的规则项,判断过程数据及质量数据是否符合预设的推理标准,若是,则利用知识库中的判...
程胜
王楠
万金晶
谢金龙
陈博深
文献传递
一种基于研发工作产品标识的需求跟踪方法
本发明属于软件工程领域,具体涉及一种基于研发工作产品标识的需求跟踪方法。一种基于研发工作产品标识的需求跟踪方法,包括以下步骤:(1)、将研发各阶段工作产品条目化,得到条目化信息并作为需求跟踪的依据,每个工作产品中可跟踪的...
程胜
朱海涛
王楠
文献传递
一种基于模板匹配技术的数据解析方法
本发明公开的本基于模板匹配技术的数据解析方法,涉及软件工程领域,通过实时检测软件配置管理库是否发生数据的出库操作或入库操作,若是,则利用模板匹配技术,获取数据的类型,根据数据的类型,解析该数据,其中,该数据包括软件研发阶...
程胜
王楠
万金晶
谢金龙
杜阳
韩冰
文献传递
全选
清除
导出
共1页
<
1
>
聚类工具
0
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张