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

第六届智能CAD与数字娱乐学术会议

作者：刘凯孙正兴张尧烨南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

由于模拟传统纸笔模式的手绘草图交互能为用户提供能自然的图形输入方式，基于手绘草图的三维形状建模成为这一领域的重要研究课题之一。在采用变分隐式曲面表示基础上，本文提出了一种基于手绘草图的复杂三维模型生成方法，包括曲面创... 详细信息

由于模拟传统纸笔模式的手绘草图交互能为用户提供能自然的图形输入方式，基于手绘草图的三维形状建模成为这一领域的重要研究课题之一。在采用变分隐式曲面表示基础上，本文提出了一种基于手绘草图的复杂三维模型生成方法，包括曲面创建，曲面编辑和曲面混合三个组成部分。在曲面创建部分，用户可以绘制并创建复杂模型的各子部分，在曲面编辑部分，周户可以对各子部分进行编辑修改，对各部分的拼接则是在曲面混合部分完成。最后实验结果表明该方法能生成多种不同形状的三维模型曲面，可有效支持三维复杂曲面建模。

关键词：计算机图形学复杂曲面三维建模变分隐式曲面参数曲线

来源：评论

学校读者我要写书评

暂无评论

与SPIN相关的模型检测研究

与SPIN相关的模型检测研究

引用

第六届中国信息和通信安全学术会议(CCICS'2009)

作者：魏巍曾庆凯南京大学计算机软件新技术国家重点实验室，南京，210093 南京大学计算机科学与技术系，南京，210093

本文以SPIN为例，介绍模型检测的机制与原理。本文描述了模型检测不可避免的问题——状态空间爆炸，并分析了偏序归约、启发式方法、压缩技术和对违反活性属性检测的改进算法等解决方法，最后讨论了模型检测当前所面临的一些主要问题，... 详细信息

本文以SPIN为例，介绍模型检测的机制与原理。本文描述了模型检测不可避免的问题——状态空间爆炸，并分析了偏序归约、启发式方法、压缩技术和对违反活性属性检测的改进算法等解决方法，最后讨论了模型检测当前所面临的一些主要问题，并指出了今后模型检测的主要发展方向。

关键词：模型检测状态空间爆炸偏序归约

来源：评论

学校读者我要写书评

暂无评论

服务发现安全问题的研究与进展

服务发现安全问题的研究与进展

引用

第六届中国信息和通信安全学术会议(CCICS'2009)

作者：李汤锁钱柱中陆桑璐陈道蓄南京大学计算机软件新技术国家重点实验室，南京，210093 南京大学计算机科学与技术系，南京，210093

服务发现涉及多方面的技术，而安全是其中一个关键的问题。本文针对服务发现的安全问题进行探讨，指出了服务发现安全的研究目标，并从服务发现安全的实现机制和结构方面，介绍并分析了代表性的研究工作，最后总结了当前研究中存在的问... 详细信息

服务发现涉及多方面的技术，而安全是其中一个关键的问题。本文针对服务发现的安全问题进行探讨，指出了服务发现安全的研究目标，并从服务发现安全的实现机制和结构方面，介绍并分析了代表性的研究工作，最后总结了当前研究中存在的问题以及进一步研究的工作。

关键词：服务发现服务发现协议网络安全普适计算

来源：评论

学校读者我要写书评

暂无评论

基于手绘轮廓的三维服饰模型生成

基于手绘轮廓的三维服饰模型生成

引用

第六届智能CAD与数字娱乐学术会议

作者：张尧烨孙正兴刘凯张岩南京大学计算机软件新技术国家重点实验室南京 210093 南京大学计算机科学与技术系南京210093

本文提出了一种基于手绘轮廓的三维服饰模型生成方法，其本质是通过赋予人体表面一个偏移量以从用户手绘轮廓中重构贴合人体模型表面形状的三维服饰网格模型。本文方法主要分为预处理和服饰建模两个部分。

关键词：计算机辅助设计手绘轮廓服饰设计三维模型生成流程映射关系

来源：评论

学校读者我要写书评

暂无评论

一种基于形式化描述的测试案例生成方法

一种基于形式化描述的测试案例生成方法

引用

第六届中国信息和通信安全学术会议(CCICS'2009)

作者：丁洪达王伟光曾庆凯南京大学计算机软件新技术国家重点实验室，南京，210093 南京大学计算机科学与技术系，南京，210093

针对已有的形式化方法生成测试案例的不足，在分析形式化描述语言Z结构特点的基础上，提出了一种新的基于形式化描述的测试案例生成方法。该方法引入了控制流覆盖准则，克服了经验方法输入空间划分不完整的缺点，降低了形式化描述的难... 详细信息

针对已有的形式化方法生成测试案例的不足，在分析形式化描述语言Z结构特点的基础上，提出了一种新的基于形式化描述的测试案例生成方法。该方法引入了控制流覆盖准则，克服了经验方法输入空间划分不完整的缺点，降低了形式化描述的难度，并可以使测试案例生成过程自动化。

关键词：安全评估安全测试形式化方法测试案例覆盖准则

来源：评论

学校读者我要写书评

暂无评论

基于权重的Jaccard相似度度量的实体识别方法

基于权重的Jaccard相似度度量的实体识别方法

引用

第三届中国数据挖掘学术会议(CCDM2009)

作者：潘磊雷钰丽王崇骏谢俊元计算机软件新技术国家重点实验室南京 210093 南京大学计算机科学与技术系南京 210093

社会网络分析方法将社会行动者映射为图的节点，社会行动者之间的关系映射为图的边，然后利用图论的相关知识来解决社会网络的问题。将数据挖掘方法应用于社会网络分析是数据挖掘研究领域的一个新方向。本文主要在算法改进和系统实现层... 详细信息

社会网络分析方法将社会行动者映射为图的节点，社会行动者之间的关系映射为图的边，然后利用图论的相关知识来解决社会网络的问题。将数据挖掘方法应用于社会网络分析是数据挖掘研究领域的一个新方向。本文主要在算法改进和系统实现层面展开数据挖掘在社会网络分析中的应用研究，提出了基于权重的Jaccard相似度度量的方法，及处理多链接属性的实体识别算法。最后基于电信分析系统平台，使用上述算法在电信数据集上进行测试，实验结果表明上述算法的有效性和实用性。关键词：社会网络分析;数据挖掘;实体识别

关键词：社会网络分析数据挖掘实体识别

来源：评论

学校读者我要写书评

暂无评论

互动业务用户行为特征聚类挖掘算法研究

引用

电视技术 2009年第5期33卷 82-84页

作者：邓云桂石雅迪曹三省怀化学院物理与信息工程系湖南怀化418008 中国传媒大学信息工程学院北京100024 南京大学计算机软件新技术国家重点实验室江苏南京210093

对数据挖掘的算法作了分析和比较,选取蚁群聚类算法对互动业务中的典型平台——IPTV业务进行研究,实现用户行为特征群偏好分析。

关键词：互动业务数据挖掘蚁群聚类算法

来源：评论

学校读者我要写书评

暂无评论

控制流监控在程序漏洞定位中的应用

控制流监控在程序漏洞定位中的应用

引用

第六届中国信息和通信安全学术会议(CCICS'2009)

作者：王磊郭二旺茅兵南京大学软件新技术国家重点实验室，南京，210093 南京大学计算机科学与技术系，南京，210093

如今，程序的安全漏洞层出不穷，受到的安全攻击也日益严重。传统的修补安全漏洞的方法是通过手工的方式进行漏洞的定位，然后再进行漏洞的修补。这种人工参与的方式的不足，不仅在于漏洞定位的困难性，而且在于程序漏洞补丁发布的滞后... 详细信息

如今，程序的安全漏洞层出不穷，受到的安全攻击也日益严重。传统的修补安全漏洞的方法是通过手工的方式进行漏洞的定位，然后再进行漏洞的修补。这种人工参与的方式的不足，不仅在于漏洞定位的困难性，而且在于程序漏洞补丁发布的滞后性。为此，我们提出一种自动定位程序漏洞的方法，可以自动捕获正在遭受攻击的程序，并迅速定位到遭受攻击的根源，由此为后续的工作，不管是自动生成虚拟补丁还是辅助生成官方补丁都有所裨益。我们的方法的基本思想是，提取出程序控制流对象，通过监控程序的控制流对象，由此检测出程序的漏洞。我们采用了最常用的缓冲区溢出攻击实例来测试我们设计的系统的有效性。通过实验，我们的系统均成功定位到了所有程序漏洞的源程序行。

关键词：自动定位程序漏洞漏洞攻击缓冲区溢出补丁发布

来源：评论

学校读者我要写书评

暂无评论

一种动态内存泄露检测方法

一种动态内存泄露检测方法

引用

全国第20届计算机技术与应用(CACIS)学术会议

作者：许宝喜王林章软件新技术国家重点实验室南京 210093 南京大学计算机科学与技术系南京 210093

内存泄露问题一直是C、C++等程序员们非常关心的一个问题,借助一些工具,程序员可以认识程序中存在的内存泄露问题。对于内存泄露检测分为静态和动态方法：静态方法一般采取分析,验证手段对源程序进行处理,不需要执行程序;动态方法则是... 详细信息

内存泄露问题一直是C、C++等程序员们非常关心的一个问题,借助一些工具,程序员可以认识程序中存在的内存泄露问题。对于内存泄露检测分为静态和动态方法：静态方法一般采取分析,验证手段对源程序进行处理,不需要执行程序;动态方法则是让程序运行,监视程序的运行,获取程序的行为,从而分析是否有内存泄露问题。本文针对内存泄露问题,提出了一种动态检测内存泄露的方法,这种方法在向程序员提供更加有效的诊断信息方面做了一些研究工作。在以往的很多动态内存泄露的检测工具中,更多地关注了在程序的什么地方申请的内存发生了泄露,而对于这个泄露为何会产生所做的工作很少。在我们的这个工作中,对源程序进行了插桩。通过动态插桩的方式,收集程序的运行轨迹,将发生内存泄露时的内存轨迹呈现于程序员。并将该运行轨迹与在同一个地方申请了内存,却没有发生内存泄露的轨迹进行比对,指出可能是哪一个条件判断导致了内存泄露的发生。

关键词：内存泄露动态插桩内存轨迹动态检测

来源：评论

学校读者我要写书评

暂无评论

一种面向服务的可靠多媒体传输算法

一种面向服务的可靠多媒体传输算法

引用

中国计算机学会全国软件与应用学术会议(NASAC2009)

作者：张胜钱柱中陆桑璐南京大学计算机软件新技术国家重点实验室，江苏南京 210093 南京大学计算机科学与技术系，江苏南京 210093

面向服务的多媒体传输具有较高扩展性和灵活性，是一个重要的普适应用，但是普适环境中不同链路的传输带宽和节点处理能力差别巨大，终端用户尤其是移动用户往往无法获得可靠的服务。而某些多媒体服务能改变数据传输量，降低传输时延，... 详细信息

面向服务的多媒体传输具有较高扩展性和灵活性，是一个重要的普适应用，但是普适环境中不同链路的传输带宽和节点处理能力差别巨大，终端用户尤其是移动用户往往无法获得可靠的服务。而某些多媒体服务能改变数据传输量，降低传输时延，但其处理时延往往较长，且增加了额外的传输;同时，不同节点的可靠性不同，也影响了系统的预期性能。因此，如何选择一条时延较小且可靠性较高的路径成为一个挑战性问题。对此，本文提出了LD/RPath算法，通过数据量近似和节点分裂等方法，最终将其转化为一个最短路径问题。实验结果表明，LD/RPath有着较好的路径选择效果和较低的系统开销。

关键词：服务组合节点分裂节点处理多媒体传输算法

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：