作者:
基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
作战模型是作战软件的基础.采用合适的检验方法对作战模型进行检验,对于提高作战软件辅助决策的正确性、实用性,实现预定的功能需求,减少工程研制风险具有重要的意义.在分析作战模型研制过程的基础上,提出了作战模型检验方法的组合应用策略,为正确有效的开展模型检验活动提供了技术支持.
推荐文章
基于模型检验的软件可信分析模型
模型检验
软件可信分析
有限状态机
可信软件
基于点图的作战任务时间协同一致性检验方法
作战任务
时间协同一致性
点图
时间推理
面向软件源程序的模型检验技术
软件分析
形式化方法
模型检验
源程序验证
谓词抽象
用传统显著性检验方法进行等效性检验的规律研究
假设检验
传统显著性检验
等效性检验
模拟
样本量
P值
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 作战软件模型检验方法研究
来源期刊 舰船电子工程 学科 工学
关键词 作战软件 作战模型 作战模型检验方法
年,卷(期) 2011,(6) 所属期刊栏目 计算机与网络安全
研究方向 页码范围 128-131
页数 分类号 TP311
字数 4165字 语种 中文
DOI 10.3969/j.issn.1627-9730.2011.06.036
五维指标
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (2)
共引文献  (29)
参考文献  (2)
节点文献
引证文献  (0)
同被引文献  (0)
二级引证文献  (0)
1996(1)
  • 参考文献(0)
  • 二级参考文献(1)
2001(2)
  • 参考文献(1)
  • 二级参考文献(1)
2006(1)
  • 参考文献(1)
  • 二级参考文献(0)
2011(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
研究主题发展历程
节点文献
作战软件
作战模型
作战模型检验方法
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
舰船电子工程
月刊
1672-9730
42-1427/U
大16开
湖北省武汉市
1981
chi
出版文献量(篇)
9053
总下载数(次)
18
总被引数(次)
27655
论文1v1指导