切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
[!--class.name--]论文
[!--title--]
[!--title--]
来源 :南京航空航天大学 | 被引量 : [!--cite_num--]次 | 上传用户:[!--user--]
【摘 要】
:
程序切片技术是一种分解程序的技术,可将一个复杂的大程序根据需要分解成满足计算需要的小程序,同时保持所选程序功能的相对完整性和计算结果的正确性.本文首先广泛、深入地
【作 者】
:
王影
【机 构】
:
南京航空航天大学
【出 处】
:
南京航空航天大学
【发表日期】
:
2005年期
【关键词】
:
程序切片
条件切片
回归测试
测试工具
测试成本
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
[!--newstext--]
其他文献
基于隐Markov模型的步态识别研究
步态识别是指通过人体走路的姿势来识别人的身份。步态识别是模式识别、图象处理等学科的一大新兴研究热点,可以广泛地应用到安全部门、身份鉴别、数字监控等领域。 步态
学位
步态识别
人体检测
背景减除
隐马尔科夫模型
基于Agent的电力系统故障诊断系统的研究
电力系统故障诊断系统能够辅助调度人员处理事故,起到缩短事故处理时间,防止事故扩大的作用,对保证电力系统稳定运行具有重要意义。本文系统了解及比较了在电力系统故障诊断领域中几种人工智能技术的应用情况,同时对Agent的特点、结构、优势以及实现作了深入的研究。在此基础上提出了一种基于多Agent的电力系统故障诊断系统模型,并实现了其中的诊断Agent。诊断Agent 是在原有专家系统的基础上产生的,这种
学位
Agent
电力系统
故障诊断
人工智能
专家系统
基于SVM的智能邮件过滤系统研究与实现
互联网的发展逐渐改变了人们的生活方式,电子邮件因其方便、快捷的特点已受到人们的青睐,许多重要信函也会通过电子邮件的方式传送。但是,许多垃圾邮件同时也在网络中蔓延,占
学位
垃圾邮件
邮件过滤
支持向量机
统计学习理论
基于军网的分布式入侵检测系统的研究
随着计算机网络的发展与应用的日益普及,网络安全问题也更加突出,主要表现为网络中的信息安全。特别是我军的信息化建设步伐的加快和一体化建设的高标准要求,对信息安全的保护显
学位
军用网
网络安全
入侵检测系统
分布式入侵检测
分级管理
移动代理
组件协同
入侵诱骗
基于异步Web Service的工作流引擎集成
企业计算机应用发展经历了五个阶段:单个功能应用、部门级的集成应用、企业范围内集成应用、集成客户与供应商、跨企业集成与动态电子商务。前三个企业计算机应用阶段主要是
学位
ASAP
Observer设计模式
工作流引擎
集成
XML/GML在WebGIS数据共享中的应用研究
WebGIS是在Internet或Intranet网络环境下的一种存储、处理、分析、显示和应用地理信息的计算机系统.随着互联网的飞速发展,GIS应用也从桌面进入到了互联网时代.虽然网络上的
学位
WebGIS
数据共享
XML
GML
神经网络方法在图像分割中的应用
图像分割是图像处理和计算机视觉领域一个重要的研究方向。它是计算机视觉以及医学图像处理、工业自动化和卫星图像处理等实际应用的算法基础。人工神经网络是对人脑结构的算
学位
图像分割
神经网络
医学图像处理
ASON中基于单亲遗传算法的动态多业务恢复研究
ASON(AutomaticallySwitchedOpticalNetwork自动交换光网络)赋予了传统光网络前所未有的灵活性和可扩展性,代表了下一代光网络的发展方向。对多种恢复机制的支持是ASON的一个
学位
ASON
动态恢复
多业务
单亲遗传算法
资源分配
恢复率
数字水印模型及音频水印稳健性问题研究
随着计算机、网络和多媒体技术的飞速发展,数字文本、图像、音频和视频等多媒体产品得到日益的普及和广泛使用,但正是由于数字产品具有容易编辑、复制、存储和通过网络迅速传播
学位
数字水印模型
水印结构
能量估计
水印同步
稳健性
音频水印
合成氨调优在线指导系统研究与开发
随着Internet的迅速发展,工业控制自动化、智能化程度的不断提高,进一步提升了工业控制的能力和拓展了工业控制的范围,基于Internet/Intranet的远程监控模式越来越受到人们的
学位
GIS
Socket
JfreeChart
氨合成
在线指导
与本文相关的学术论文