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

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

基于语义抽象的内存访问错误检测

基于语义抽象的内存访问错误检测

引用

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

作者：蒋剑琴黄达明曾庆凯南京大学计算机软件新技术国家重点实验室，南京，210093 南京大学计算机科学与技术系，南京，210093

内存访问错误是程序中最严重的缺陷之一。本文提出一种基于语义抽象的内存访问错误检测方法，通过对程序具体语义的完备近似抽象，对相关约束变量操作的精确检验，以及控制流图遍历中的函数信息收集，能够在过程间完备地静态检测C程序... 详细信息

内存访问错误是程序中最严重的缺陷之一。本文提出一种基于语义抽象的内存访问错误检测方法，通过对程序具体语义的完备近似抽象，对相关约束变量操作的精确检验，以及控制流图遍历中的函数信息收集，能够在过程间完备地静态检测C程序源代码中的内存访问边界错误。通过将程序分析和程序验证相结合，提高内存检查的自动化和准确性。原型实现表明了方法的有效性。

关键词：软件安全程序静态分析语义抽象内存访问错误检测方法

来源：评论

学校读者我要写书评

暂无评论

与SPIN相关的模型检测研究

与SPIN相关的模型检测研究

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

基于手绘草图的三维复杂曲面建模

基于手绘草图的三维复杂曲面建模

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

无线网络环境下的缓存策略研究

引用

计算机科学 2009年第4期36卷 1-4,11页

作者：林晨黄宇金蓓弘中国科学院软件研究所软件工程技术中心北京100190 中国科学院研究生院北京100049 南京大学计算机科学与技术系软件新技术国家重点实验室南京210093

日益普及的无线网络和移动设备为普适的Internet接入提供了良好的硬件基础,缓存技术是普适Internet场景中人们进行信息共享和分发的关键技术之一。综述了两类无线网络环境,即基于基础设施无线网络环境和移动自组网中的缓存策略,具体包... 详细信息

日益普及的无线网络和移动设备为普适的Internet接入提供了良好的硬件基础,缓存技术是普适Internet场景中人们进行信息共享和分发的关键技术之一。综述了两类无线网络环境,即基于基础设施无线网络环境和移动自组网中的缓存策略,具体包括缓存放置策略、缓存替换策略、缓存一致性维护算法。进而分析、讨论了上述策略的优缺点,并指出了缓存策略的发展趋势。

关键词：无线网络缓存放置替换一致性

来源：评论

学校读者我要写书评

暂无评论

打印监控审计技术研究

引用

计算机工程与设计 2009年第2期30卷 484-486页

作者：黎伶锋郝东白张诚黄皓南京大学计算机科学与技术系江苏南京210093 南京大学软件新技术国家重点实验室江苏南京210093 南京陆军指挥学院信息作战与指挥系江苏南京210045

打印监控与审计是主机安全保护的一项重要内容。对打印机打印内容的监控与审计技术往往难以适应实际应用环境的要求,造成对打印内容监控审计的遗漏和不完备,使其成为监控审计的难点之一。分析了Windows平台下打印体系结构,详细阐述了API... 详细信息

打印监控与审计是主机安全保护的一项重要内容。对打印机打印内容的监控与审计技术往往难以适应实际应用环境的要求,造成对打印内容监控审计的遗漏和不完备,使其成为监控审计的难点之一。分析了Windows平台下打印体系结构,详细阐述了API Hook、Driver Hook、虚拟打印机和轮询打印队列,这4种主要的打印监控审计技术的原理与实现算法,并分析了采用该监控技术在实际打印监控应用中的优点与不足。最后,综合各种监控技术的优缺点,给出了未来打印监控审计技术的一种发展趋势和应用方案。

关键词：打印监控审计挂钩轮询虚拟打印机

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：