检索结果-内蒙古大学图书馆

计算机科学与探索 2012年第12期6卷 1057-1075页

作者：陈翔顾庆南通大学计算机科学与技术学院江苏南通226019 南京大学软件新技术国家重点实验室南京210093

变异测试是一种基于缺陷的软件测试技术,在近四十年得到国内外学者的广泛关注,并取得了一些研究成果。对已有的研究工作进行总结,将其分为变异测试原理、优化和应用三个模块。其中在变异测试原理模块中,给出变异测试的基本假设,对变异... 详细信息

变异测试是一种基于缺陷的软件测试技术,在近四十年得到国内外学者的广泛关注,并取得了一些研究成果。对已有的研究工作进行总结,将其分为变异测试原理、优化和应用三个模块。其中在变异测试原理模块中,给出变异测试的基本假设,对变异测试分析流程进行介绍,并对其中的重要概念依次给出定义,从静态检测和动态检测两个角度对等价变异体检测技术进行总结。在变异测试优化模块中,从变异体选择优化和变异体执行优化两个角度对已有研究工作进行总结。在变异测试应用模块中,选择了测试用例集充分性评估、测试用例生成和回归测试三个应用领域,对研究工作进行分类总结。最后对变异测试的未来研究方向进行了展望。

关键词：变异测试等价变异体测试用例集充分性测试用例生成回归测试

来源：评论

学校读者我要写书评

暂无评论

一种求三支决策阈值的模拟退火算法

一种求三支决策阈值的模拟退火算法

引用

第十二届中国Rough集与软计算学术会议、第六届中国Web智能学术研讨会及第六届中国粒计算学术研讨会联合学术会议

作者：贾修一商琳南京理工大学计算机科学与技术学院南京210093 南京大学软件新技术国家重点实验室南京210093 南京大学软件新技术国家重点实验室南京210093

三支决策粗糙集模型作为一种代表性的概率型粗糙集模型,在给定损失函数基础上可以计算出决策所需阈值,能够推导出现有多种概率型粗糙集模型,但是决策粗糙集模型需要合适的先验知识预先设定损失函数,使得三支决策粗糙集在应用过程中受限... 详细信息

三支决策粗糙集模型作为一种代表性的概率型粗糙集模型,在给定损失函数基础上可以计算出决策所需阈值,能够推导出现有多种概率型粗糙集模型,但是决策粗糙集模型需要合适的先验知识预先设定损失函数,使得三支决策粗糙集在应用过程中受限.针对决策粗糙集模型构建的最优化问题,提出了一种模拟退火算法,通过解决该优化问题,能够从数据中学习出三支决策模型所需的阈值.和现有的算法相比,在部分数据集上的实验表明了算法在运行时间上的有效性.

关键词： Three-way decision-theoretic rough set model Simulated annealing algorithm Cost function Decision threshold

来源：评论

学校读者我要写书评

暂无评论

一种基于不变量的工作流协同模型分解方法

一种基于不变量的工作流协同模型分解方法

引用

2012中国计算机大会

作者：葛季栋胡海洋周宇胡昊王栋毅过晓波计算机软件新技术国家重点实验室(南京大学) 南京 210093 南京大学软件学院南京 210093 计算机软件新技术国家重点实验室(南京大学) 南京 210093 杭州电子科技大学计算机学院杭州 310018 计算机软件新技术国家重点实验室(南京大学) 南京 210093 南京航空航天大学计算机科学与技术学院南京 210016 计算机软件新技术国家重点实验室(南京大学) 南京 210093 南京大学计算机科学与技术系南京 210093

现代企业计算的业务过程越来越复杂，有很多分散且相对独立的组织机构，为了协同来自不同组织的业务过程，文中提出一种IOPB模型(面向交互的Petri网)用于描述跨组织的工作流协同，该模型包含组织内的过程模型和组织间的交互关系.为了确... 详细信息

现代企业计算的业务过程越来越复杂，有很多分散且相对独立的组织机构，为了协同来自不同组织的业务过程，文中提出一种IOPB模型(面向交互的Petri网)用于描述跨组织的工作流协同，该模型包含组织内的过程模型和组织间的交互关系.为了确保IOPB模型能够被正确地执行，文中提出IOPB模型的弱合理性(rrlaxd soundese)作为IOPB模型的正确性标准之一.IOPB模型是一种复合模型，其规模一般较大，采用基于状态空间的分析方法，容易产生状态空间爆炸问题，为此文中提出基于不变量的分解方法，能够将一个弱合理的无回路IOPB模型分解为一组顺序图，并提出相关定理：一个无回路IOPN模型是弱合理的当且仅当其可以被分解为一组合法的顺序图.

关键词：工作流协同模型合理性不变量分解

来源：评论

学校读者我要写书评

暂无评论

无线传感器网络中基于树的动态多路径容错路由协议

引用

苏州大学学报（工科版） 2012年第3期32卷 1-7页

作者：胡欣孙涌张书奎余建飞苏州大学计算机科学与技术学院江苏苏州215006 南京大学计算机软件新技术国家重点实验室江苏南京210093

多路径路由对无线传感器网络的负载均衡和容错能力等方面都有一定改善作用。在研究一些多路径路由算法的基础上,对分层的无线传感器网络路由进行探索,提出了一种基于树的动态多路径路由的生成方法,快速获得当前节点的主路径与备用路径... 详细信息

多路径路由对无线传感器网络的负载均衡和容错能力等方面都有一定改善作用。在研究一些多路径路由算法的基础上,对分层的无线传感器网络路由进行探索,提出了一种基于树的动态多路径路由的生成方法,快速获得当前节点的主路径与备用路径。仿真结果表明,该方法可有效地均衡网络负载、减少时延、提高网络的可靠性。

关键词：无线传感器网络分簇网络多路径路由容错

来源：评论

学校读者我要写书评

暂无评论

基于人脸检测和关键点识别的快速人体组件划分

基于人脸检测和关键点识别的快速人体组件划分

引用

2012中国计算机大会

作者：马旋杨若瑜南京大学计算机科学与技术系江苏南京中国 210093 南京大学软件新技术国家重点实验室江苏南京中国 210093

人体组件划分用来检测视频帧或静态图像中的人体，并将其划分为头部和四肢等独立区域，是人体精确三维重建和动作识别等后续研究的重要基础。本文提出了一种新的人体组件划分算法，算法主要针对无肢体重叠的人体图像，首先利用人脸检测... 详细信息

人体组件划分用来检测视频帧或静态图像中的人体，并将其划分为头部和四肢等独立区域，是人体精确三维重建和动作识别等后续研究的重要基础。本文提出了一种新的人体组件划分算法，算法主要针对无肢体重叠的人体图像，首先利用人脸检测技术快速定位人体大致范围，再通过边缘检测获取准确的人体轮廓，最后设计并使用高效的十字链表存储和检索方法，完成基于轮廓关键点查找的人体组件划分。实验表明本方法具有较好的实时性和准确率。

关键词：人体组件划分人脸检测边缘检测十字链表关键点

来源：评论

学校读者我要写书评

暂无评论

基于LLVM的栈数据保护

引用

软件导刊 2012年第8期11卷 129-132页

作者：沈达宇黄皓南京大学软件新技术国家重点实验室江苏南京210046 南京大学计算机科学与技术系江苏南京210046

传统的栈保护都是对栈中的返回地址等控制数据进行保护,并没有对栈中的数据进行保护。提出了对栈数据保护机制的基本思想是对内存中的数据进行随机化。通过对程序的修改,插装新的指令,使得保存到内存上的数据随机化。这种方式能有效地... 详细信息

传统的栈保护都是对栈中的返回地址等控制数据进行保护,并没有对栈中的数据进行保护。提出了对栈数据保护机制的基本思想是对内存中的数据进行随机化。通过对程序的修改,插装新的指令,使得保存到内存上的数据随机化。这种方式能有效地阻止非控制数据的破坏,甚至起到一定效果的内存数据隐私保护。基于开源的LLVM编译器系统平台,实现了一个编译优化Pass模块,在获取源文件时经过该Pass模块优化后生成的可执行程序能够免受非控制数据攻击的危害。

关键词：软件安全非控制数据 LLVM Pass模块数据随机化

来源：评论

学校读者我要写书评

暂无评论

一种中断驱动系统的时间约束验证方法

一种中断驱动系统的时间约束验证方法

引用

第十一届全国软件与应用学术会议(NASAC2012)

作者：孙琳陈鑫李宣东南京大学计算机软件新技术国家重点实验室南京 210046 南京大学计算机科学与技术系南京 210046

中断是嵌入式系统进行实时响应的重要机制。目前还不存在一种有效地中断驱动系统设计方法来保证系统的时间约束总能够得到满足。因此，在设计完成后需要对系统能否满足时间约束进行验证。传统的以测试为基础的方法，在处理中断驱动的系... 详细信息

中断是嵌入式系统进行实时响应的重要机制。目前还不存在一种有效地中断驱动系统设计方法来保证系统的时间约束总能够得到满足。因此，在设计完成后需要对系统能否满足时间约束进行验证。传统的以测试为基础的方法，在处理中断驱动的系统时，由于系统可能的运行轨迹空间是无穷的，其有效性受到很大的影响。本文提出了一种基于线性混成自动机有界验证技术对中断驱动系统的时间约束进行验证的方法，应用线性混成自动机对中断驱动的系统建模，将时间约束验证问题转换成线性混成自动机上的路径可达性判定问题，并借助模型检验工具BACH来进行验证。以一个周期性中断源驱动的嵌入式系统为例，说明了方法的可行性和有效性。

关键词：中断驱动的系统时间约束验证线性混成自动机

来源：评论

学校读者我要写书评

暂无评论

一种用于TCMF网络重叠社区发现的改进COPRA算法

一种用于TCMF网络重叠社区发现的改进COPRA算法

引用

第十二届中国Rough集与软计算学术会议、第六届中国Web智能学术研讨会及第六届中国粒计算学术研讨会联合学术会议

作者：孙道平高原王崇骏南京大学计算机软件新技术国家重点实验室南京210046 南京大学计算机科学与技术系南京210046

现阶段关于方剂配伍规律的研究主要采用数据挖掘技术,包括分别以分类和聚类为主的研究模式和以关联规则挖掘为主的研究模式,这两种研究模式作为研究中药方剂的重要技术取得了一系列可喜的成果,但是它们在揭示中医理论体系复杂性和内稳... 详细信息

现阶段关于方剂配伍规律的研究主要采用数据挖掘技术,包括分别以分类和聚类为主的研究模式和以关联规则挖掘为主的研究模式,这两种研究模式作为研究中药方剂的重要技术取得了一系列可喜的成果,但是它们在揭示中医理论体系复杂性和内稳性方面仍存在不足.提出一种新的复杂网络的模型来探索中药方剂配伍规律,并用改进的COPRA算法对构建的复杂网络中药方剂网络进行社团发现,最后通过用自定义的模块密度来衡量所发现的社团紧密程度,以及对发现的社团与关联规则挖掘算法挖掘出的最大频繁项集进行比较,发现该模型及算法有很好的效果,具有很强的实用性.

关键词： Traditional chinese medicine formula(TCMF) network COPRA algorithm Module density

来源：评论

学校读者我要写书评

暂无评论

一种基于后继任务的过程挖掘算法

一种基于后继任务的过程挖掘算法

引用

2012中国计算机大会

作者：王栋毅葛季栋过晓波胡昊骆斌朱明计算机软件新技术国家重点实验室(南京大学)江苏南京210093 南京大学软件学院江苏南京210093 计算机软件新技术国家重点实验室(南京大学)江苏南京210093 南京大学计算机科学与技术系江苏南京210093 国电南京自动化股份有限公司江苏南京210003

过程挖掘的目标是从信息系统所记录的事件日志中重现过程模型。尽管信息系统会生成多种事件日志，但只有很少一部分的事件日志被应用于分析流程。本文提出了一种基于后继任务的新型过程挖掘算法(χ-算法)。该算法不仅能够直接从后继任... 详细信息

过程挖掘的目标是从信息系统所记录的事件日志中重现过程模型。尽管信息系统会生成多种事件日志，但只有很少一部分的事件日志被应用于分析流程。本文提出了一种基于后继任务的新型过程挖掘算法(χ-算法)。该算法不仅能够直接从后继任务中挖掘出因果依赖关系，而且能够挖掘出潜在并发关系。其中，因果依赖关系包括显式依赖和隐式依赖(由非自由选择结构产生)两种。另外，χ-算法能够正确地挖掘SWF网、大部分带隐式依赖的非SWF网、一些非良好处理的工作流网和一些含有隐式库所的工作流网。因为χ-算法所使用的事件日志多出了一种新的事件类型——后继任务，所以χ-算法能够处理范围更广的工作流网。

关键词：过程挖掘工作流过程建模后继任务隐式依赖

来源：评论

学校读者我要写书评

暂无评论

面向动态任务合作求解的联盟模型

面向动态任务合作求解的联盟模型

引用

第29届中国数据库学术会议

作者： ZHAN Qianyi 詹千熠 SUN Qiang 孙强 ZHAN Yusen 詹宇森 WANG Chongjun 王崇骏 XIE Junyuan 谢俊元 State Key Laboratory for Novel Software Technology Nanjing University Nanjing 210093 China Depart 南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

多Agent系统中,Agent间通过形成联盟达到提高任务求解能力,获取更多收益的目的。主要关注联盟模型的改进和联盟形成阶段的改进,基于ARG(agent,role,group)元模型和学习机制提出了一种采用角色和学习机制的新联盟模型CLAR;在采用合同网... 详细信息

多Agent系统中,Agent间通过形成联盟达到提高任务求解能力,获取更多收益的目的。主要关注联盟模型的改进和联盟形成阶段的改进,基于ARG(agent,role,group)元模型和学习机制提出了一种采用角色和学习机制的新联盟模型CLAR;在采用合同网协议的CLAR联盟模型中提出了两阶段联盟形成机制;通过捕食者问题实验验证了角色和学习机制的作用,以及两阶段联盟形成机制在减少通讯代价上的作用。

关键词：多Agent系统联盟模型捕食者问题合同网协议

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：