【摘 要】
：
以人工智能中智能规划方法为基础,对军用软件测试用例自动生成技术进行了研究。现有的许多规划器都不能避免组合爆炸问题的发生,而这一问题又是导致规划失败的一个重要问题,
【机 构】
：
中国科学院长春光学精密机械与物理研究所,中国科学院研究生院,北华大学计算机学院,空军航空大学军事仿真技术研究所,辽宁大学计算中心
【基金项目】
：
国家863计划资助项目（2007AA703112）
论文部分内容阅读
以人工智能中智能规划方法为基础,对军用软件测试用例自动生成技术进行了研究。现有的许多规划器都不能避免组合爆炸问题的发生,而这一问题又是导致规划失败的一个重要问题,针对这一现象,以IPP规划器为例,提出目标分解法对规划器所需事实文件进行划分,并对IPP规划器应用多事实文件处理算法进行扩展,扩展后的MF-IPP规划器能够处理多个事实文档,有效避免了组合爆炸问题的发生。将该方法应用到军用主控软件GUI（Graphical User Interface）测试用例自动生成中,主要思想是首先利用规划器生成初始测试用例
其他文献
当今社会，数字化图书馆已经成为图书馆管理体系中的一个新趋势和新的发展方向，随着网络信息技术的发展和网络资源共享技术的普及，数字化图书馆的建设理念给图书馆的发展提供了新
随着科学技术的日益发展,嵌入式系统将会有更加广泛的应用,呈现出良好的发展前景。本文研究了基于S3C2410A处理器的嵌入式系统硬件部分,对其结构和电路进行了设计。
推进轮椅所带来的机械应力可能对手动轮椅使用者造成更加严重的伤害,因为过度使用关节的前端而不是后端肌肉会导致肌肉失衡。轮椅的驱动技术并不是很重要,也没有技术可以测量
为解决传统CAD系统不足以支持概念设计过程的问题,以分解重构原理和广义定位原理为理论基础,提出了支持计算机辅助概念设计的关键技术,包括设计知识转换模型,产品建模技术和知识库建模方法。基于ACIS几何建模平台开发了计算机辅助概念设计原型系统-CACDPS,并用实例验证了提出的关键技术的有效性。
为了提高智能雷对坦克目标的毁伤概率,在应用LS-DYNA有限元软件模拟智能雷多爆炸成型弹丸MEFP（multiple explosively formed penetrator）战斗部形成过程的基础上,分析了采用中
为了研究层状盐岩中天然气地下储存库在内压变化和覆岩压力作用下的地表沉降规律,提出了基于数值模拟的地表沉降预计方法,并对某层状盐岩天然气地下储存库在运营过程中的地表
准确度量目标与背景光谱曲线的相似程度对于目标伪装效果评价具有重要意义。基于灰色关联分析理论,定义了综合关联度量化光谱曲线间的相似程度;所建立的综合关联度整合了灰色