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

第二届和谐人机环境联合(第15届全国多媒体技术、第2届全国人机交互、第2届全国普适计算)学术会议

作者：广凯魏鲲金浩潘金贵南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系江苏南京 210093

本文主要介绍了觉察上下文计算中的重要部分─上下文模型,并对已有的模型进行了分析和比较。从中可以看出,基于本体的上下文模型以其较强的形式化表示,为上下文的共享、推理和重用提供了较好的支持。本文在此基础上对上下文进行了重新分... 详细信息

本文主要介绍了觉察上下文计算中的重要部分─上下文模型,并对已有的模型进行了分析和比较。从中可以看出,基于本体的上下文模型以其较强的形式化表示,为上下文的共享、推理和重用提供了较好的支持。本文在此基础上对上下文进行了重新分类,建立起一个基于本体的智能实验室的模型,并在此模型下对具体的上下文场景进行了描述。

关键词：觉察上下文计算上下文感知上下文模型上下文场景智能实验室

来源：评论

学校读者我要写书评

暂无评论

PC 4.5:用于不均衡数据集的C 4.5改进算法

PC 4.5:用于不均衡数据集的C 4.5改进算法

引用

第十届中国机器学习会议

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

样本的不均衡性直接影响分类器的精度,基于C4.5算法提出一种改进算法--PC4.5,并应用于MIT数据集.实验表明该算法能很好地处理训练集的不均衡性,并降低决策树的规模.

关键词： C4.5算法 PC4.5算法入侵检测不均衡性

来源：评论

学校读者我要写书评

暂无评论

多重生物序列的最长公共子序列的并行算法

多重生物序列的最长公共子序列的并行算法

引用

2006中国计算机学会体系结构专委会学术年会

作者：刘维陈峻陈娟扬州大学信息工程学院计算机系扬州 225009 扬州大学信息工程学院计算机系扬州 225009 南京大学计算机软件新技术国家重点实验室南京 210093

本文针对生物序列提出一种快速的求最长公共子序列的并行算法,该算法首先对多条序列建立同字符后续表,随后对于所有的初始同字符组并行地搜索其后继同字符组,以得到所有的同字符组及相应的层次值。最后由最大层次值的同字符组进行回溯,... 详细信息

本文针对生物序列提出一种快速的求最长公共子序列的并行算法,该算法首先对多条序列建立同字符后续表,随后对于所有的初始同字符组并行地搜索其后继同字符组,以得到所有的同字符组及相应的层次值。最后由最大层次值的同字符组进行回溯,得到相应的比对结果。对于n个序列X1,X2,…,Xn,该算法的并行复杂度为O(|LCS(X1,X2,…,Xn)|),该复杂度与序列个数n无关。定义了一些剪枝操作,以缩小搜索空间,加快处理速度。对tigr数据库中的基因序列在MPP并行处理机深腾1800上进行的实验结果证明,本算法与其它经典的LCS算法相比,不但能够取得准确的结果,而且在速度、效率上有了很大的提高。

关键词：生物信息学最长公共子序列同字符组并行算法搜索空间

来源：评论

学校读者我要写书评

暂无评论

LARPBS上的快速可扩放的序列比对算法

LARPBS上的快速可扩放的序列比对算法

引用

2006中国计算机学会体系结构专委会学术年会

作者：陈娟刘维陈崚扬州大学信息工程学院计算机系扬州225009 扬州大学信息工程学院计算机系扬州225009 南京大学软件新技术国家重点实验室南京210093

本文给出了一种在LARPBS上进行基于求最大值操作的O(1)时间的前缀和算法。在此算法的基础上,给出了在LARPBS上的快速序列比对算法,对于长度为m、n的两个序列,该算法使用p个处理机可以在O(mn/p)时间完成,这里p满足1≤p≤max{m,n}。该算... 详细信息

本文给出了一种在LARPBS上进行基于求最大值操作的O(1)时间的前缀和算法。在此算法的基础上,给出了在LARPBS上的快速序列比对算法,对于长度为m、n的两个序列,该算法使用p个处理机可以在O(mn/p)时间完成,这里p满足1≤p≤max{m,n}。该算法允许通过p的选取来调节处理机的个数和时间复杂度,使得算法具有很好的可扩放性。

关键词：线性阵列系统流水光总线并行计算模型快速序列比对

来源：评论

学校读者我要写书评

暂无评论

用蚁群算法求解多处理机调度问题

用蚁群算法求解多处理机调度问题

引用

第二届江苏计算机大会

作者：于广建缪旭波陈崚扬州大学信息工程学院计算机系江苏扬州225009 国家环境保护总局南京环境科学研究所江苏南京210042 南京大学计算机软件新技术国家重点实验室江苏南京210093

本文提出了一种求解多处理机调度的蚁群算法,算法利用蚂蚁代表处理机来选择任务,并通过分析关键路径及每个任务的最早、最迟开始时剖来确定每个任务的紧迫程度,让蚂蚁以此采选择任务.实验证明,该算法可比传统算法取得有更好运行效率的... 详细信息

本文提出了一种求解多处理机调度的蚁群算法,算法利用蚂蚁代表处理机来选择任务,并通过分析关键路径及每个任务的最早、最迟开始时剖来确定每个任务的紧迫程度,让蚂蚁以此采选择任务.实验证明,该算法可比传统算法取得有更好运行效率的调度策略.

关键词：处理机调度问题蚁群算法多处理机

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：