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

计算机技术与发展 2009年第8期19卷 4-7页

作者：廉成洋毛宇光黄玉明南京航空航天大学信息科学与技术学院江苏南京210016 南京航空航天大学信息科学与技术学院江苏南京210016 南京大学计算机软件新技术国家重点实验室江苏南京210093

随着Internet的发展,Web挖掘技术越来越重要,其中的Web信息抽取技术逐渐成为热点,逐渐成为Web挖掘技术的关键技术之一,对Web信息抽取技术的深入研究也为构建更好的面向主题的搜索引擎提供了思路.文中对Web信息抽取的现有技术以及现有技... 详细信息

随着Internet的发展,Web挖掘技术越来越重要,其中的Web信息抽取技术逐渐成为热点,逐渐成为Web挖掘技术的关键技术之一,对Web信息抽取技术的深入研究也为构建更好的面向主题的搜索引擎提供了思路.文中对Web信息抽取的现有技术以及现有技术存在的问题进行了详细的论述.根据Web信息抽取的原理,依据软件工程的观点对Web信息抽取技术提出了具有指导意义的8条启发式规则.在这些规则的指导下,着重阐述了Web信息抽取中的基于结构和内容的信息抽取.通过理论分析及相应的实验说明所提出的8条规则对Web信息抽取具有良好的指导意义.

关键词： Web信息抽取网页过滤启发式规则

来源：评论

学校读者我要写书评

暂无评论

基于MDA的设计模式建模与模型转换

引用

软件学报 2008年第9期19卷 2203-2217页

作者：张天张岩于笑丰王林章李宣东南京大学计算机科学与技术系江苏南京210093 南京大学计算机软件新技术国家重点实验室江苏南京210093

MDA(model driven architecture)的一个重要意图是将模型作为软件开发的基本单元,以进一步提高软件开发的抽象层次.为此,MDA划分了3种抽象级的模型,并通过建立高抽象级的模型和向低抽象级模型及代码的转换来构造可运行的应用程序.在MDA... 详细信息

MDA(model driven architecture)的一个重要意图是将模型作为软件开发的基本单元,以进一步提高软件开发的抽象层次.为此,MDA划分了3种抽象级的模型,并通过建立高抽象级的模型和向低抽象级模型及代码的转换来构造可运行的应用程序.在MDA的框架下,将设计模式作为一种独立的建模和转换单元能够在较高的抽象层次上充分支持复用并提高建模粒度,从而进一步发挥设计模式的优点,提高软件开发效率、降低生产成本.然而,要在MDA的框架下将设计模式作为完整的开发单元来使用,必须解决以模式为单元的建模及转换两个具体问题.针对单元化模式建模的问题,通过扩展MOF(meta object facility)的方式定义了模式单元元模型,并提供了基于此元模型的单元化建模支撑机制,以分离业务模型与模式模型的方式解决了该问题.针对单元化模式模型转换问题,在模式单元元模型的基础上定义了向EJB平台的转换规则.该转换规则使用QVT标准描述,支持单元化的模式模型转换,并具有良好的复用性.

关键词： MDA(model driven architecture)设计模式建模模型转换

来源：评论

学校读者我要写书评

暂无评论

一种基于构件演算的主动构件精化方法

引用

软件学报 2008年第5期19卷 1134-1148页

作者：陈鑫南京大学计算机科学与技术系江苏南京210093 南京大学计算机软件新技术国家重点实验室江苏南京210093

现代构件系统通常包含多个并发执行的主动构件,这使得验证构件系统的正确性变得十分困难.通过对构件演算进行扩展,提出了一种主动构件的精化方法.在构件接口层引入契约.契约使用卫式设计描述公共方法和主动活动的功能规约.通过一对发散... 详细信息

现代构件系统通常包含多个并发执行的主动构件,这使得验证构件系统的正确性变得十分困难.通过对构件演算进行扩展,提出了一种主动构件的精化方法.在构件接口层引入契约.契约使用卫式设计描述公共方法和主动活动的功能规约.通过一对发散、失败集合定义契约的动态行为,并利用发散、失败集合之间的包含关系定义契约间的精化关系.证明了应用仿真技术确认契约精化关系的定理.定义构件的语义为其需求接口契约到其服务接口契约的函数,以此为基础,可以通过契约的精化来证明构件的精化.给出了构件的组装规则.在构件系统自底向上的构造过程中,应用构件的精化方法和组装规则可以保证最终系统的正确性.

关键词：接口构件语义契约精化组合

来源：评论

学校读者我要写书评

暂无评论

基于点的POMDP算法的预处理方法

引用

软件学报 2008年第6期19卷 1309-1316页

作者：卞爱华王崇骏陈世福南京大学计算机软件新技术国家重点实验室江苏南京210093 南京大学计算机科学与技术系江苏南京210093

基于点的算法是部分可观察马尔可夫决策过程(partially observable Markov decision processes,简称POMDP)的一类近似算法.它们只在一个信念点集上进行Backup操作,避免了线性规划并使用了更少的中间变量,从而将计算瓶颈由选择向量转向... 详细信息

基于点的算法是部分可观察马尔可夫决策过程(partially observable Markov decision processes,简称POMDP)的一类近似算法.它们只在一个信念点集上进行Backup操作,避免了线性规划并使用了更少的中间变量,从而将计算瓶颈由选择向量转向了生成向量.但这类算法在生成向量时含有大量重复和无意义计算,针对于此,提出了基于点的POMDP算法的预处理方法(preprocessing method for point-based algorithms,简称PPBA).该方法对每个样本信念点作预处理,并且在生成α-向量之前首先计算出该选取哪个动作和哪些α-向量,从而消除了重复计算.PPBA还提出了基向量的概念,利用问题的稀疏性避免了无意义计算.通过在Perseus上的实验,表明PPBA很大地提高了算法的执行速度.

关键词： POMDP 值迭代基于点的算法预处理基向量

来源：评论

学校读者我要写书评

暂无评论

基于设计演算的形式化用例分析建模框架

引用

软件学报 2008年第10期19卷 2539-2549页

作者：陈鑫李宣东南京大学计算机科学与技术系江苏南京210093 计算机软件新技术国家重点实验室(南京大学) 江苏南京210093

提出一种形式化用例分析建模框架,引入类图、用例顺序图、用例状态图、功能规约函数和系统不变式从多个角度为需求建模.通过定义这些视图的形式化语义,为需求的各个方面定义了准确的形式化描述.利用该框架,可以从方法的交互行为规约和... 详细信息

提出一种形式化用例分析建模框架,引入类图、用例顺序图、用例状态图、功能规约函数和系统不变式从多个角度为需求建模.通过定义这些视图的形式化语义,为需求的各个方面定义了准确的形式化描述.利用该框架,可以从方法的交互行为规约和功能规约合成描述方法全部行为的全规约;也可以定义用例模型的性质,并通过设计演算中的证明来分析验证这些性质.作为应用,研究了检查用例模型一致性的规则.给出一个实例说明建模框架的可行性.

关键词：用例模型语义多视图一致性检验最弱前提条件

来源：评论

学校读者我要写书评

暂无评论

传感器网络节点定位系统安全性分析

引用

软件学报 2008年第4期19卷 879-887页

作者：曹晓梅俞波陈贵海任丰原南京大学计算机软件新技术国家重点实验室复旦大学计算机科学与工程系上海200433 清华大学计算机科学与技术系北京100084

正确的节点位置信息是传感器网络构建和维护、监测事件定位、目标跟踪等模块实现的前提和基础.节点的定位过程极易受到各种攻击,在资源受限的传感器网络中,如何安全、有效地获取节点位置信息,是一个极具挑战性的安全问题.着重分析了不... 详细信息

正确的节点位置信息是传感器网络构建和维护、监测事件定位、目标跟踪等模块实现的前提和基础.节点的定位过程极易受到各种攻击,在资源受限的传感器网络中,如何安全、有效地获取节点位置信息,是一个极具挑战性的安全问题.着重分析了不同类型的传感器网络节点定位系统所面临的安全攻击,讨论了近年来该领域具有代表性的安全措施的原理、特点和局限,并简要介绍了谈领域今后的研究热点.

关键词：无线传感器网络节点定位系统攻击防御措施

来源：评论

学校读者我要写书评

暂无评论

一种基于不变量的从工作流网到PERT图的转换方法

引用

电子学报 2008年第5期36卷 893-898页

作者：葛季栋胡昊吕建计算机软件新技术国家重点实验室(南京大学) 南京大学计算机科学与技术系江苏南京210093 南京大学软件学院江苏南京210093

工作流管理系统为现代企业提供了一种协同工作环境,可以管理企业的业务过程,并提高企业的商业竞争能力.为了有效管理业务过程的进度,需要提供一种基于工作流过程模型的进度估算方法.基于Petri网的工作流网模型难以直接估算工作流过程模... 详细信息

工作流管理系统为现代企业提供了一种协同工作环境,可以管理企业的业务过程,并提高企业的商业竞争能力.为了有效管理业务过程的进度,需要提供一种基于工作流过程模型的进度估算方法.基于Petri网的工作流网模型难以直接估算工作流过程模型的进度与工期,而在传统的项目进度计划中,PERT图是一种成熟的技术,为此,本文在工作流网的基础上增加了时间的概念,基于LMST-不变量的分解技术,提出了一种将LMST-不变量分解得到的子网转换为PERT图的算法,由此达到估算工作流过程模型的进度与工期的目的.

关键词：工作流 Petri网过程建模合理性不变量 PERT图

来源：评论

学校读者我要写书评

暂无评论

一种基于多簇结构的高斯动态粒子群优化算法

引用

模式识别与人工智能 2008年第3期21卷 338-345页

作者：倪庆剑邢汉承张志政王蓁蓁东南大学计算机科学与工程学院南京210096 南京大学计算机软件新技术国家重点实验室南京210093

分析高斯动态粒子群优化算法(GDPSO)中新的种群产生方式的特点,针对传统粒子群优化算法中全局最优模型收敛速度快但易陷入局部最优、局部最优模型收敛速度较慢的缺点,提出一种新的粒子群信息共享方式——多簇结构.该算法在簇内部实现粒... 详细信息

分析高斯动态粒子群优化算法(GDPSO)中新的种群产生方式的特点,针对传统粒子群优化算法中全局最优模型收敛速度快但易陷入局部最优、局部最优模型收敛速度较慢的缺点,提出一种新的粒子群信息共享方式——多簇结构.该算法在簇内部实现粒子间信息的高度共享,而在簇之间则通过松散的连接实现信息的传递,以协调 GDPSO 算法的勘探和开采能力.通过典型的 Benchmark 函数优化问题测试并分析经典拓扑以及多簇结构在GDPSO 算法中的性能,仿真实验结果表明,采用特定多簇结构的 GDPSO 算法收敛速度和稳定性显著提高,同时全局搜索能力明显增强.

关键词：粒子群优化(PSO) 邻域拓扑多簇结构

来源：评论

学校读者我要写书评

暂无评论

基于神经网络的三维模型视觉特征分析

引用

计算机工程与应用 2008年第21期44卷 174-178,216页

作者：韦伟杨育彬林金杰阮佳彬南京大学计算机软件新技术国家重点实验室计算机科学与技术系

首先从形状、颜色、纹理材质三个主要视觉特性入手,阐述模型的特征描述符,设计三元组视觉特征向量用于神经网络进行模型分类。具体基于感知器神经网络、Hopfield神经网络分别实现了对三维物体的分类。实验表明,基于神经网络的分类器能... 详细信息

首先从形状、颜色、纹理材质三个主要视觉特性入手,阐述模型的特征描述符,设计三元组视觉特征向量用于神经网络进行模型分类。具体基于感知器神经网络、Hopfield神经网络分别实现了对三维物体的分类。实验表明,基于神经网络的分类器能对基于视觉特征描述的三维物体进行有效识别。

关键词：三维模型视觉特征感知器神经网络 Hopfield网络三维物体分类

来源：评论

学校读者我要写书评

暂无评论

基于图的最大频繁项集的生成算法

引用

南京大学学报（自然科学版） 2008年第5期44卷 520-526页

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

挖掘频繁项集是数据挖掘的重要技术之一,目前已有很多经典算法,如:apriori算法,FP-tree等.挖掘频繁项集主要是寻找最大频繁项集,为了快速寻找最大频繁项集,通常采用削减候选项集、减少扫描数据库次数的方法和将自底向上与自顶向下的搜... 详细信息

挖掘频繁项集是数据挖掘的重要技术之一,目前已有很多经典算法,如:apriori算法,FP-tree等.挖掘频繁项集主要是寻找最大频繁项集,为了快速寻找最大频繁项集,通常采用削减候选项集、减少扫描数据库次数的方法和将自底向上与自顶向下的搜索方法结合起来(又称双向搜索).双向搜索能有效地缩减搜索空间.本文把基于图的关联规则挖掘和双向搜索的思想结合起来产生最大频繁项集,提出了基于图的最大频繁项集生成算法.此算法用图将数据映射到一个向量上,通过一遍扫描数据库就可以构造整个频繁项集,结合双向搜索,能快速生成频繁项集,对产生较大长度的最大频繁项集也有较好的效果.文末,把基于图的关联规则挖掘算法和基于图的最大频繁项集算法进行了比较,分析出性能差别的原因.

关键词：关联规则最大频繁项集图

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：