您的位置: 专家智库 > >

文献类型

  • 2篇中文期刊文章

领域

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

主题

  • 1篇遗传算法
  • 1篇软件测试
  • 1篇软件模型
  • 1篇建模语言
  • 1篇航路规划
  • 1篇UML建模
  • 1篇UML建模语...

机构

  • 2篇中国人民解放...

作者

  • 2篇程春华
  • 2篇齐玉华
  • 1篇周大旺
  • 1篇郭天杰
  • 1篇吴进华
  • 1篇陶政德

传媒

  • 2篇舰船电子工程

年份

  • 1篇2010
  • 1篇2009
2 条 记 录,以下是 1-2
排序方式:
基于链接图法和遗传算法的航路规划被引量:6
2010年
航迹规划对军用飞行器完成任务具有重要的意义。链接图的特点是简单明了,文章针对链接图法进行航路规划的不足,使用遗传算法进行再次优化,使该航路满足了性能要求。最后给出了仿真,反正结果表明该方法的可行性。
程春华吴进华周大旺齐玉华
关键词:航路规划遗传算法
形式化可测性约束在软件模型实现过程中的研究被引量:1
2009年
在软件测试中,软件使用模型反映实际运行场景的能力是直接决定测试的成功与否的关键因素之一。一般可以通过对在需求分析阶段已生成的UML建模进行研究得到使用模型,但原始的UML模型,由于缺乏严格的定义及必要的约束,如果要生成高精度的软件模型,必须对其添加必要的形式化可测性约束。这正是文章研究的重点。
齐玉华郭天杰陶政德程春华
关键词:软件测试UML建模语言
共1页<1>
聚类工具0