2025年4月30日
星期三
|
欢迎来到滨州市图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
齐玉华
作品数:
2
被引量:7
H指数:1
供职机构:
中国人民解放军海军航空工程学院
更多>>
相关领域:
航空宇航科学技术
自动化与计算机技术
更多>>
合作作者
程春华
中国人民解放军海军航空工程学院
吴进华
中国人民解放军海军航空工程学院...
周大旺
中国人民解放军海军航空工程学院
陶政德
中国人民解放军海军航空工程学院
郭天杰
中国人民解放军海军航空工程学院...
作品列表
供职机构
相关作者
所获基金
研究领域
题名
作者
机构
关键词
文摘
任意字段
作者
题名
机构
关键词
文摘
任意字段
在结果中检索
文献类型
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
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张