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

计算机教育 2012年第8期 54-57页

作者：李雯睿张鹏程杨种学南京晓庄学院数学与信息技术学院江苏南京211171 河海大学计算机与信息学院江苏南京210098 南京大学计算机软件新技术国家重点实验室江苏南京210093

软件测试课程作为软件工程专业高年级必修课,传统的教学方法已不能有效地展开教学。文章提出基于主动学习策略的软件测试教学方法,将主动学习策略应用到软件测试课程中,说明实施主动学习策略对教师和学生的要求,并介绍一些有效的主动学... 详细信息

软件测试课程作为软件工程专业高年级必修课,传统的教学方法已不能有效地展开教学。文章提出基于主动学习策略的软件测试教学方法,将主动学习策略应用到软件测试课程中,说明实施主动学习策略对教师和学生的要求,并介绍一些有效的主动学习活动。调研结果表明采用主动学习策略比传统教学方法有效,学生能够较好地掌握软件测试技能。

关键词：软件测试课程主动学习策略实施效果

来源：评论

学校读者我要写书评

暂无评论

基于PLSA-BOW模型的医学影像分类算法的研究

引用

计算机应用与软件 2012年第12期29卷 103-107页

作者：曹春红赵大哲张斌刘岳东北大学信息科学与工程学院辽宁沈阳110819 东北大学医学影像计算教育部重点实验室辽宁沈阳110819 南京大学计算机软件新技术国家重点实验室江苏南京210093 吉林大学符号计算与知识工程教育部重点实验室吉林长春130012

随着现代医学成像技术的快速发展,医学影像分类已经成为重要的辅助诊疗需求。将文本领域中的词袋模型引入到图像领域,构建视觉词袋模型。为解决多义词和同义词问题,通过把词袋模型与PLSA主题模型结合,提出PLSA-BOA模型来解决传统词袋模... 详细信息

随着现代医学成像技术的快速发展,医学影像分类已经成为重要的辅助诊疗需求。将文本领域中的词袋模型引入到图像领域,构建视觉词袋模型。为解决多义词和同义词问题,通过把词袋模型与PLSA主题模型结合,提出PLSA-BOA模型来解决传统词袋模型中的语义问题,这使得基于词袋模型的分类方法在精度上得到了进一步提高。实验结果表明,PLSA-BOW模型用于医学影像分类,具有较高的分类精度。

关键词：医学影像分类词袋模型概率潜在语义分析算法

来源：评论

学校读者我要写书评

暂无评论

基于迁移系统分析的线性混成系统安全性验证工具

基于迁移系统分析的线性混成系统安全性验证工具

引用

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

作者：蒋慧卜磊李宣东南京大学计算机软件新技术国家重点实验室江苏南京 210046 南京大学计算机科学与技术系江苏南京 210046

混成自动机行为中既包含离散行为又包含连续行为，非常复杂。因此其安全性验证问题也难以解决，即使是线性混成自动机，它的可达性问题也被证明是不可判定的。现有工具大都使用多面体计算来计算线性混成自动机的可达状态空间集，复杂度... 详细信息

混成自动机行为中既包含离散行为又包含连续行为，非常复杂。因此其安全性验证问题也难以解决，即使是线性混成自动机，它的可达性问题也被证明是不可判定的。现有工具大都使用多面体计算来计算线性混成自动机的可达状态空间集，复杂度高，可处理问题规模非常有限。本文中我们提出了一种新的工具，该工具将线性混成自动机表达为等价的迁移系统，并利用迁移系统上不变式生成相关工作对混成自动机进行验证。实验数据表明，方法有效可行，工具具有良好的性能。

关键词：线性混成自动机迁移系统安全性验证不变式生成

来源：评论

学校读者我要写书评

暂无评论

多Agent系统的上下文感知增强

多Agent系统的上下文感知增强

引用

第四届中国Agent理论与应用学术会议

作者：马骏陶先平朱怀宏吕建南京大学计算机软件新技术国家重点实验室江苏省南京市 210093 南京大学计算机软件研究所江苏省南京市 210093

现如今多agent 系统(MAS)被广泛用于开发各种应用系统。当前 “开放、动态、难控”的计算平台要求软件系统能够依据系统自身及其环境状态信息及其改变动态的调节自身的行为，即具备一定的“上下文感知能力”。然而，现有工作并未就如何... 详细信息

现如今多agent 系统(MAS)被广泛用于开发各种应用系统。当前 “开放、动态、难控”的计算平台要求软件系统能够依据系统自身及其环境状态信息及其改变动态的调节自身的行为，即具备一定的“上下文感知能力”。然而，现有工作并未就如何向既有的MAS 应用系统引入上下文感知能力提出有效的解决方案。本文依照关注分离原则，结合面向上下文程序设计技术(COP)、反射技术(Reflection)以及代码植入技术(Code Instrumentation)，提出了一套MAS 系统上下文感知增强框架和底层支撑技术。开发人员可以在既有应用源码不可得的情况下，自动将指定agent 类型转换为(扩展为)具有上下文感知能力的agent 类型;此外，利用底层运行支撑环境，系统管理员可以在系统运行时刻动态的调整指定agent 的上下文感知行为。

关键词：软件agent 多agent 系统上下文感知程序设计软件方法学

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

2012中国计算机大会

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

Sobel算子在衣物纹理类型检测中的应用研究

引用

计算机技术与发展 2012年第2期22卷 72-75页

作者：廖文军孙知信南京邮电大学宽带无线通信与传感网技术教育部重点实验室江苏南京210003 南京大学计算机软件新技术国家重点实验室江苏南京210093

衣物纹理是指衣物表面的纹络现象。在越来越发达的智能图像处理过程中,针对衣物纹理的检测也变得愈发平常,人们期望能够使用计算机自动识别衣物表面的纹理类型,如横竖条纹、方格及碎花等,从而进行基于纹理类型的相应操作。文中提出了一... 详细信息

衣物纹理是指衣物表面的纹络现象。在越来越发达的智能图像处理过程中,针对衣物纹理的检测也变得愈发平常,人们期望能够使用计算机自动识别衣物表面的纹理类型,如横竖条纹、方格及碎花等,从而进行基于纹理类型的相应操作。文中提出了一种利用Sobel算子进行梯度方向统计来实现衣物纹理类型检测的方法,其中对各纹理类型的判定依据来源于实验分析过程,经测试表明,该方法及相应判定依据能够有效地检测出衣物常见的纹理类型。

关键词： Sobel 衣物纹理纹理检测

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

2012中国计算机大会

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

基于EPC网络的智能物资管理系统应用研究

引用

计算机技术与发展 2012年第10期22卷 209-212,216页

作者：叶宁王忠勤王汝传林巧民南京邮电大学计算机学院江苏南京210003 南京人口管理干部学院信息科学系江苏南京210042 南京大学计算机软件新技术国家重点实验室江苏南京210093

随着射频识别及网络技术的发展,鉴于EPC网络环境下人们对获取智能化信息服务的需求不断提高,文中结合EPC网络的特点提出了一种基于EPC网络的智能物资管理系统,重点介绍了系统的总体架构和软硬件平台。该系统主要采用全球产品电子代码(E... 详细信息

随着射频识别及网络技术的发展,鉴于EPC网络环境下人们对获取智能化信息服务的需求不断提高,文中结合EPC网络的特点提出了一种基于EPC网络的智能物资管理系统,重点介绍了系统的总体架构和软硬件平台。该系统主要采用全球产品电子代码(EPC)的编码体系、射频识别(RFID)、信息网络技术以及代理Agent技术,通过Internet将物品信息进行交换与共享,从而实现物品信息的自动采集和自动处理。采用本系统对物品进行智能化管理,能够有效提高物品管理的自动化程度。

关键词：全球产品电子代码 EPC中间件射频识别 Agent 物资管理系统

来源：评论

学校读者我要写书评

暂无评论

变异测试:原理、优化和应用

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

基于局部特征检测的人脸自动变形算法

基于局部特征检测的人脸自动变形算法

引用

第九届中国计算机图形学大会(Chinagraph‘2012)

作者：夏元轶汪粼波郭延文汤锋南京大学计算机软件新技术国家重点实验室，江苏南京 210046 惠普实验室，美国加利福尼亚 94304

人脸变形在计算机图形学中有广泛的应用，传统的人脸变形方法需要通过人工交互在源图像和目标图像乏间建立精确的定位，交互量大且不精确。本文提出了一个自动人脸特征定位的方法，能自动的找出人脸中的精确特征，进而达到精确的特征对... 详细信息

人脸变形在计算机图形学中有广泛的应用，传统的人脸变形方法需要通过人工交互在源图像和目标图像乏间建立精确的定位，交互量大且不精确。本文提出了一个自动人脸特征定位的方法，能自动的找出人脸中的精确特征，进而达到精确的特征对应，获得自动、自然的变形效果。本文首先基于LFA和AAM思想提出了一种基于分层约束的人脸局部特征检测的算法：该算法首先利用Adaboost在图像上找到人脸的大概位置：然后用较粗糙的人脸全局模板，定位人脸各个特征的初始位置;最后通过精细的局部特征模板进行精确特征定位，整个算法利用上一层的检测结果指导下一层的检测，缩小了搜索空间，使得特征点定位算法更加高效、鲁棒、精确。在人脸局部特征通过检测定位、对应后，算法通过调和映射建立人脸中其它特征点之间的精确对应关系，最后线性插值对应点的过渡路径，取得了良好的实验效果。

关键词：人脸变形人脸检测调和映射局部特征检测

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：