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

模式识别与人工智能 2005年第4期18卷 405-411页

作者：王守芳狄涤潘金贵南京大学计算机科学与技术系计算机软件新技术国家重点实验室南京210093

利用HTML文档的元数据,可以为Web检索提供多样化的检索手段。本文提出了一种从HTML文档自动提取文档元数据的方法,对其中提取规则的设计、规约算法及其复杂度分析做出了重点介绍。该方法的提取规则在语法形式上和文档片断接近,更适合自... 详细信息

利用HTML文档的元数据,可以为Web检索提供多样化的检索手段。本文提出了一种从HTML文档自动提取文档元数据的方法,对其中提取规则的设计、规约算法及其复杂度分析做出了重点介绍。该方法的提取规则在语法形式上和文档片断接近,更适合自动生成,通过自动规约生成规则无需人工分析,适应Web文档特点。文章最后给出了实验结果并进行了分析。

关键词：元数据提取基于规则自动规约

来源：评论

学校读者我要写书评

暂无评论

LDPChecker——一个实时和混成系统模型检验工具

引用

计算机研究与发展 2005年第1期42卷 38-46页

作者：裴玉李宣东郑国梁南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系南京 210093

混成系统是一类复杂系统,线性混成系统作为其重要子类,在形式方法中,人们通常使用线性混成自动机来对它建模.虽然线性混成自动机的模型检验问题总的来说还是不可判定的,但对于其中的正环闭合自动机,其对于线性时段性质的满足性能够通过... 详细信息

混成系统是一类复杂系统,线性混成系统作为其重要子类,在形式方法中,人们通常使用线性混成自动机来对它建模.虽然线性混成自动机的模型检验问题总的来说还是不可判定的,但对于其中的正环闭合自动机,其对于线性时段性质的满足性能够通过线性规划方法加以检验.为了实现自动检验正环闭合自动机对线性时段性质的满足性,设计并实现了工具LDPChecker.工具LDPChecker能够识别正环闭合自动机并对其进行相应的检验,其主要特色在于它能够对实时和混成系统检验包含可达性在内的许多实时性质,并且能够自动给出诊断信息.

关键词：实时和混成系统混成自动机线性时段性质模型检验

来源：评论

学校读者我要写书评

暂无评论

自动入侵响应技术研究

引用

计算机工程 2005年第18期31卷 143-145,177页

作者：胡文黄皓南京大学计算机科学与技术系软件新技术国家重点实验室南京210093

简述了自动入侵响应系统的一般模型和系统特性,并对当前主要的入侵响应方式进行了介绍和评估,最后从响应决策技术、协同响应技术、自适应技术和追踪反击技术4个方面阐述了自动入侵响应的发展方向。

关键词：自动入侵响应决策协同自适应追踪

来源：评论

学校读者我要写书评

暂无评论

一种基于误差控制的网格多分辨模型生成算法

引用

计算机学报 2005年第9期28卷 1534-1540页

作者：唐杰张福炎南京大学软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

提出一种网格多分辨模型生成算法.该算法以最大误差L∞控制的网格简化算法为基础,通过删除边和拆分点操作进行向下和向上采样,将网格模型表示为由一个低分辨率的网格和一系列修改操作组成的多分辨模型.同其它算法相比,该算法在初始向下... 详细信息

提出一种网格多分辨模型生成算法.该算法以最大误差L∞控制的网格简化算法为基础,通过删除边和拆分点操作进行向下和向上采样,将网格模型表示为由一个低分辨率的网格和一系列修改操作组成的多分辨模型.同其它算法相比,该算法在初始向下采样时,重点考虑了简化误差对模型精度的影响.在生成网格多分辨模型时,该算法将细化操作分解为对网格模型的几何修改信息和各细化操作之间的关系信息,确保了多分辨模型的健壮性.该算法可通过三角片数和简化误差两种方法来调整网格模型分辨率,实验结果证明了本算法的有效性.

关键词：三角网格网格简化多分辨模型层次细节模型几何造型

来源：评论

学校读者我要写书评

暂无评论

一种基于偏好的多目标调和遗传算法(英文)

引用

软件学报 2005年第5期16卷 761-770页

作者：崔逊学林闯南京大学计算机软件新技术国家重点实验室清华大学计算机科学与技术系

最近涌现了各种进化方法来解决多目标优化问题,多数方法使用Pareto优胜关系作为选择策略而没有采用偏好信息.这些算法不能有效处理目标数目许多时的优化问题.通过在不同准则之间引入偏好来解决该问题,提出一种多目标调和遗传算法MOCGA(m... 详细信息

最近涌现了各种进化方法来解决多目标优化问题,多数方法使用Pareto优胜关系作为选择策略而没有采用偏好信息.这些算法不能有效处理目标数目许多时的优化问题.通过在不同准则之间引入偏好来解决该问题,提出一种多目标调和遗传算法MOCGA(multi-objective concordance genetic algorithm).当同时待优化的目标数目增加时,根据决策者提供的信息使用弱优胜关系进行个体优劣的比较.这种算法被证明为能收敛至全局最优.对于目标数目为很多的优化问题,测试实验结果表明了这种新算法的有效性.

关键词：遗传算法多目标优化偏好信息多准则决策

来源：评论

学校读者我要写书评

暂无评论

Web服务器群的QoS确保及其接纳控制研究

引用

计算机研究与发展 2005年第4期42卷 662-668页

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

WWW访问的爆炸性发展正是Internet成功的重要原因,然而目前的Web服务器却缺乏相应的QoS机制,导致在过载时造成巨大的经济损失.一个提供多类服务的多服务器Web平台的服务质量确保体系被提出来,它以服务响应延迟为核心度量标准,将同一类... 详细信息

WWW访问的爆炸性发展正是Internet成功的重要原因,然而目前的Web服务器却缺乏相应的QoS机制,导致在过载时造成巨大的经济损失.一个提供多类服务的多服务器Web平台的服务质量确保体系被提出来,它以服务响应延迟为核心度量标准,将同一类服务抽象为一台虚拟服务器,并以该度量黏合起系统的各个组件.同时据此提出了一个动态自适应的服务接纳算法(DASAC).测试表明,即使经历严重的过载与业务突发,也能保证用户感知的服务质量.

关键词： Web服务器服务质量服务响应延迟接纳控制

来源：评论

学校读者我要写书评

暂无评论

一种基于有向图模型的安全策略冲突检测方法

引用

计算机研究与发展 2005年第7期42卷 1108-1114页

作者：姚键茅兵谢立南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

分析了现有安全策略冲突检测方法的不足,研究了分布式系统中元素之间的关系,并统一抽象成有向无环图模型(DAG),提出了一种应用该模型检测分布式系统中安全策略冲突的定量方法,并用该模型对典型的策略冲突实例做了分析.最后,测算了该模... 详细信息

分析了现有安全策略冲突检测方法的不足,研究了分布式系统中元素之间的关系,并统一抽象成有向无环图模型(DAG),提出了一种应用该模型检测分布式系统中安全策略冲突的定量方法,并用该模型对典型的策略冲突实例做了分析.最后,测算了该模型的算法复杂度,并通过实验进行了验证.有向无环图模型(DAG)扩展了策略冲突检测的思路,为策略的实用化提供了基础.

关键词：安全管理安全策略有向无环图冲突检测

来源：评论

学校读者我要写书评

暂无评论

基于草图的人机交互技术研究进展

引用

计算机辅助设计与图形学学报 2005年第9期17卷 1889-1899页

作者：孙正兴冯桂焕周若鸿南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

从草图识别和语义理解这两个方面对基于草图的人机交互技术的研究状况进行了分析和总结.对草图识别方法按其模式单元定义(笔划、图元、特征和组合图形)进行了分类和剖析;对草图语义理解所涉及的语义获取、语义解释和语义应用这三个关键... 详细信息

从草图识别和语义理解这两个方面对基于草图的人机交互技术的研究状况进行了分析和总结.对草图识别方法按其模式单元定义(笔划、图元、特征和组合图形)进行了分类和剖析;对草图语义理解所涉及的语义获取、语义解释和语义应用这三个关键问题及其解决方法进行了分析和阐述;并分别从基于草图的人机交互技术的几何模糊性、用户适应性和应用独立性及其关系角度提出了这一领域的主要研究课题及其解决思路.

关键词：基于草图的人机交互在线草图识别草图语义理解

来源：评论

学校读者我要写书评

暂无评论

支持向量机最优模型选择的研究

引用

计算机研究与发展 2005年第4期42卷 576-581页

作者：刘向东骆斌陈兆乾南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

通过对核矩阵的研究,利用核矩阵的对称正定性,采用核校准的方法提出了一种SVM最优模型选择的算法———OMSA算法.利用训练样本不通过SVM标准训练和测试过程而寻求最优的核参数和相应的最优学习模型,弥补了传统SVM在模型选择上经验性强... 详细信息

通过对核矩阵的研究,利用核矩阵的对称正定性,采用核校准的方法提出了一种SVM最优模型选择的算法———OMSA算法.利用训练样本不通过SVM标准训练和测试过程而寻求最优的核参数和相应的最优学习模型,弥补了传统SVM在模型选择上经验性强和计算量大的不足.采用该算法在UCI标准数据集和FERET标准人脸库上进行了实验,结果表明,通过该算法找到的核参数以及相应的核矩阵是最优的,得到的SVM分类器的错误率最小.该算法为SVM最优模型选择提供了一种可行的方法,同时对其他基于核的学习方法也具有一定的参考价值.

关键词：支持向量机核参数核校准模型选择

来源：评论

学校读者我要写书评

暂无评论

面向服务的角色访问控制技术研究

引用

计算机学报 2005年第4期28卷 686-693页

作者：许峰赖海光黄皓谢立南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

面向服务的体系结构具有开发效率高、响应快、费用低等优点.但是由于其结构的松散耦合性和计算的动态性,从而造成其安全管理更为复杂.文章首先回顾了访问控制技术的发展,然后提出了一个面向工作流和服务的基于角色访问控制模型.在这个... 详细信息

面向服务的体系结构具有开发效率高、响应快、费用低等优点.但是由于其结构的松散耦合性和计算的动态性,从而造成其安全管理更为复杂.文章首先回顾了访问控制技术的发展,然后提出了一个面向工作流和服务的基于角色访问控制模型.在这个模型中,通过引入服务和授权迁移的概念,加强了对动态服务架构的描述能力.模型对用户角色权限的控制,是通过实际任务和服务状态进行管理的,这样能够有效地加强访问控制的灵活性和系统的安全性.

关键词：面向服务安全访问控制角色工作流

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：