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

计算机科学与探索 2010年第1期4卷 82-88页

作者：宋文军刘红星王崇骏谢俊元南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

结合基于图的关联规则挖掘和双向搜索的策略,产生最大频繁项集,从而提出基于图的最大频繁项集(graph based maximum frequen tset,GBMFS)生成算法。运用此算法,结合社会网络的动态特征,发现社会网络中所存在的团伙的核心成员。最后,在... 详细信息

结合基于图的关联规则挖掘和双向搜索的策略,产生最大频繁项集,从而提出基于图的最大频繁项集(graph based maximum frequen tset,GBMFS)生成算法。运用此算法,结合社会网络的动态特征,发现社会网络中所存在的团伙的核心成员。最后,在实际系统中对相关的算法进行了验证。

关键词：最大频繁项集图核心节点

来源：评论

学校读者我要写书评

暂无评论

星型模型的轮廓连接查询算法

引用

计算机科学与探索 2010年第5期4卷 410-419页

作者：徐忠华张剡陈玲柏文阳南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

轮廓查询在多标准决策中具有重要应用价值,对于单表轮廓查询已有大量研究,但在实际中,轮廓查询的属性很可能分布在多张表中。如果在多表连接之后进行轮廓查询,随着维度和元组数目的增加,计算代价会越来越大。为此,针对数据仓库中星型模... 详细信息

轮廓查询在多标准决策中具有重要应用价值,对于单表轮廓查询已有大量研究,但在实际中,轮廓查询的属性很可能分布在多张表中。如果在多表连接之后进行轮廓查询,随着维度和元组数目的增加,计算代价会越来越大。为此,针对数据仓库中星型模型的数据特点,提出了三种此模型下的多表连接轮廓查询算法并对算法进行了实验比较分析。结果表明,此算法比先连接再做单表轮廓查询的算法更为有效,并且这三种算法在不同特点的数据集合下会表现出各自的优势。

关键词：轮廓查询多表连接数据仓库星型模型

来源：评论

学校读者我要写书评

暂无评论

基于权重的马尔可夫随机游走相似度度量的实体识别方法

引用

河北师范大学学报（自然科学版） 2010年第1期34卷 26-30页

作者：雷钰丽李阳王崇骏刘红星谢俊元南京大学计算机软件新技术国家重点实验室江苏南京210093 安阳工学院计算机科学与信息工程系河南安阳455000

社会网络分析方法是一种量化的社会学分析方法,它将社会行动者映射为图的节点,社会行动者之间的关系映射为图的边,然后利用图论的相关知识来解决社会网络的问题.在算法改进和系统实现层面展开数据挖掘在社会网络分析中的应用研究,在对... 详细信息

社会网络分析方法是一种量化的社会学分析方法,它将社会行动者映射为图的节点,社会行动者之间的关系映射为图的边,然后利用图论的相关知识来解决社会网络的问题.在算法改进和系统实现层面展开数据挖掘在社会网络分析中的应用研究,在对基于图的实体识别方法进行深入研究的基础上,提出了基于马尔可夫随机游走相似度度量的方法,使其能够应用于有权有向图上的实体识别,并在此基础上提出可以处理多链接属性的实体识别算法.基于电信分析系统平台,重点研究和分析了上述算法的具体应用并在电信数据集上进行测试,应用结果表明上述算法的有效性和实用性.

关键词：社会网络分析数据挖掘实体识别马尔可夫随机游走

来源：评论

学校读者我要写书评

暂无评论

一种基于发生序和锁集的BPEL数据竞争静态检测方法

引用

计算机与数字工程 2010年第8期38卷 6-9页

作者：李少东许蕾南京大学计算机科学与技术系南京210093 南京大学计算机软件新技术国家重点实验室南京210093

BPEL利用flow和link提供了并发和同步的机制,而Isolated Scope则提供了并发情况下对共享变量访问的控制,同时BPEL还引入了死路删除等一些新的特性。对BPEL流程进行了建模,把BPEL流程转化为BCFG图,提出了一种结合发生序和锁集的静态检测B... 详细信息

BPEL利用flow和link提供了并发和同步的机制,而Isolated Scope则提供了并发情况下对共享变量访问的控制,同时BPEL还引入了死路删除等一些新的特性。对BPEL流程进行了建模,把BPEL流程转化为BCFG图,提出了一种结合发生序和锁集的静态检测BPEL流程数据竞争的方法。该方法利用向量时钟计算BPEL基本块的发生序关系,判断BPEL基本块是否可并发执行,然后根据BPEL基本块是否有锁保护以及对共享变量的访问情况,来判断BPEL流程是否存在数据竞争。锁集的引入提高了数据竞争判断的准确度,另外该方法还引入了对共享变量访问事件冗余度的分析,减少了算法的开销。

关键词： BPEL 发生序锁集数据竞争

来源：评论

学校读者我要写书评

暂无评论

Flask结构对象管理器的通用设计与实现

引用

中国电子商情·通信市场 2010年第3期 95-98页

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

基于可信计算基尽可能小的设计思想,将Flask(Flux Advanced Security Kernel)安全体系结构对象管理器的安全相关部分与功能相关部分相分离,实现对象管理器通用的模块化设计.该设计具有安全及工程上的优势,且在L4微内核上完成了原型系统... 详细信息

基于可信计算基尽可能小的设计思想,将Flask(Flux Advanced Security Kernel)安全体系结构对象管理器的安全相关部分与功能相关部分相分离,实现对象管理器通用的模块化设计.该设计具有安全及工程上的优势,且在L4微内核上完成了原型系统的实现.

关键词： Flask安全体系结构对象管理器模块化 L4微内核

来源：评论

学校读者我要写书评

暂无评论

基于Oracle DBMS的安全增强器的设计与实现

基于Oracle DBMS的安全增强器的设计与实现

引用

第十八届全国数据库学术会议

作者：柏文阳徐洁磐计算机软件新技术国家重点实验室南京大学计算机科学与技术系

1.概述计算机信息系统安全的内容之一是数据库安全,安全的计算机信息系统需要有安全数据库的支撑,而一个安全数据库系统必须至少满足到B1级安全标准。目前,在我国国内的数据库应用系统中,绝大多数都是使用来自于国

关键词： ODBC Discretionary access control Mandatory access control Audit

来源：评论

学校读者我要写书评

暂无评论

面向对象的联机分析处理技术O3LAP及其应用

面向对象的联机分析处理技术O3LAP及其应用

引用

第十八届全国数据库学术会议

作者：何玉琳骆斌陈世福计算机软件新技术国家重点实验室南京大学计算机科学与技术系

1.引言联机分析处理OLAP是直接面向决策的,它最关键的特性就是能提供数据的多维概念视图,即用户可以从多角度、多侧面地观察数据库中的数据。维具有层次性,如时间维可从日、月、季、年等层次加以描述,对于层次复杂的维,可以用多张表来... 详细信息

1.引言联机分析处理OLAP是直接面向决策的,它最关键的特性就是能提供数据的多维概念视图,即用户可以从多角度、多侧面地观察数据库中的数据。维具有层次性,如时间维可从日、月、季、年等层次加以描述,对于层次复杂的维,可以用多张表来表示。

关键词： Object-Oriented On-line Analytical Processing O3LAP Data Warehouse

来源：评论

学校读者我要写书评

暂无评论

基于地表的连续可见最近邻查询方法

基于地表的连续可见最近邻查询方法

引用

NDBC2010第27届中国数据库学术会议

作者：管猛张剡柏文阳计算机软件新技术国家重点实验室(南京大学) 南京大学计算机科学与技术系

连续可见最近邻查询是查询连续空间的最近邻问题,目前的研究基本以二维空间为背景并提出了一些查询算法,但可见性判断方法不能适用于三维或高维空间.以陆地表面的三维数据为研究背景,提出了一种查询地表任意路径的连续可见最近邻方法.... 详细信息

连续可见最近邻查询是查询连续空间的最近邻问题,目前的研究基本以二维空间为背景并提出了一些查询算法,但可见性判断方法不能适用于三维或高维空间.以陆地表面的三维数据为研究背景,提出了一种查询地表任意路径的连续可见最近邻方法.该方法以计算步长的方式把整个查询路径分割成若干个连续的查询子路径,循环计算每个子路径的连续可见最近邻直至得到整个路径的查询结果.该方法可以扩展应用于高维空间中的连续最近邻查询.

关键词：最近邻地表连续可见最近邻

来源：评论

学校读者我要写书评

暂无评论

构件化嵌入式软件设计模型非功能性质验证的工具实现

引用

计算机科学 2010年第8期37卷 156-163页

作者：徐丙凤胡军曹东黄志球郭丽娟张剑南京航空航天大学信息科学与技术学院南京210016 南京大学计算机软件新技术国家重点实验室南京210093 南京航空航天大学自动化学院南京210016

嵌入式软件的非功能性质是系统高可靠性的重要构成部分。传统的嵌入式软件可靠性保障技术主要关注于系统开发后期,缺乏有效工具对系统设计的非功能性质进行分析与验证。对基于接口自动机模型的构件化嵌入式软件设计验证原型工具T-CBESD(... 详细信息

嵌入式软件的非功能性质是系统高可靠性的重要构成部分。传统的嵌入式软件可靠性保障技术主要关注于系统开发后期,缺乏有效工具对系统设计的非功能性质进行分析与验证。对基于接口自动机模型的构件化嵌入式软件设计验证原型工具T-CBESD(Tool for Component-based Embedded Software Designs)进行了资源及能耗等非功能性质验证功能的扩展设计与实现,包括:资源接口自动机和能耗接口自动机模型的输入输出接口设计、UML顺序图模型的预处理、带非功能语义信息的组合系统状态空间数据结构的设计、非实时资源使用性质与实时相关能量消耗特征验证算法的实现,以及一个通信构件组合系统的实例应用分析。

关键词：嵌入式软件设计非功能性质验证构件化设计软件验证工具接口自动机

来源：评论

学校读者我要写书评

暂无评论

求关系的传递闭包的新算法

求关系的传递闭包的新算法

引用

全国第十五届离散数学学术研讨会

作者：赵成斌宋方敏南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系南京 210093

解决关系的传递闭包问题的经典算法为warshall算法，其时间复杂度为O(n3)，空间复杂度为O(n2)。文章提出求解该问题的新算法，其平均时间复杂度和空间复杂度均为O(n2)。

关键词：关系传递闭包有向图时间复杂度极大无回溯路径 warshall算法

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：