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

高性能计算技术 2006年第1期 5-9页

作者：季一木王汝传王海艳南京邮电大学计算机科学与技术系南京210003 南京邮电大学计算机科学与技术系南京210003 计算机软件新技术国家重点实验室南京210093

本文重点阐述了在网格计算平台的设计与实现过程中的设计方法和设计过程,其设计方法采用MDA(Model Driven Architecture)模型驱动开发软件方法,设计过程采用MVC(Model-Visual-Control)体系,为了体现该平台的优越性,基于网格计算平台实... 详细信息

本文重点阐述了在网格计算平台的设计与实现过程中的设计方法和设计过程,其设计方法采用MDA(Model Driven Architecture)模型驱动开发软件方法,设计过程采用MVC(Model-Visual-Control)体系,为了体现该平台的优越性,基于网格计算平台实现了图像填充网格应用,并对该平台的优点进行了评估和相应的性能分析.

关键词：网格计算平台模型驱动开发模型-视图-控制体系图形填充

来源：评论

学校读者我要写书评

暂无评论

基于移动代理的P2P与网格融合技术研究

引用

江苏通信技术 2006年第6期22卷 11-15页

作者：王杨王汝传赵慧娟南京邮电大学计算机学院江苏南京210003 南京大学计算机软件新技术国家重点实验室江苏南京210093 苏州大学计算机科学与技术学院江苏苏州215006

P2P和网格是将来不可避免的两种分布式计算模式。通过对网格计算与P2P计算模式进行分析比较，提出了基于移动代理的网格与P2P融合的方案，并从资源组织与管理、工作调度策略、安全策略三个方面的关键机制进行了研究。最后给出一种融合... 详细信息

P2P和网格是将来不可避免的两种分布式计算模式。通过对网格计算与P2P计算模式进行分析比较，提出了基于移动代理的网格与P2P融合的方案，并从资源组织与管理、工作调度策略、安全策略三个方面的关键机制进行了研究。最后给出一种融合的应用实例。具体应用表明，两者之间的融合能够有效地推动普适计算的发展，具有很好的应用前景。

关键词：网格对等计算移动代理融合

来源：评论

学校读者我要写书评

暂无评论

可数集合的无穷观问题

引用

科学 2006年第2期58卷 25-28页

作者：朱梧槚肖奚安宋方敏宫宁生南京大学计算机软件新技术国家重点实验室南京210093 南京航空航天大学计算机科学研究所南京210016 中国人民解放军理工大学理学院南京210016 南京工业大学信息科学与工程学院南京 210009

久远以来普遍认为，近代公理集合论的建立和发展，已经给出了罗素悖论的解释方法；另一方面。虽然至今未能在理论上证明，近代公理集合论今后一定不出新的悖论，但将近一个世纪以来，人们确也未曾发现有什么新的悖论在近代公理集合论中... 详细信息

久远以来普遍认为，近代公理集合论的建立和发展，已经给出了罗素悖论的解释方法；另一方面。虽然至今未能在理论上证明，近代公理集合论今后一定不出新的悖论，但将近一个世纪以来，人们确也未曾发现有什么新的悖论在近代公理集合论中出现。然而，当我们在兼容两种无穷观的思维方式下重新分析问题时，竟然发现在近代公理集合论中广为使用的种种可数无穷集合（以下简称为可数集合）都是些似是而非的非集。

关键词：潜无限实无限古典集合论

来源：评论

学校读者我要写书评

暂无评论

CALO研究进展分析

CALO研究进展分析

引用

第一届Agent理论与应用学术会议

作者：罗文杰高阳王皓李凡长南京大学软件新技术国家重点实验室南京210093 苏州大学计算机科学与技术学院苏州215006

CALO是目前美国国防部正在研制的一个应用于办公环境的智能系统,涉及机器学习、自然语言处理、知识表示、柔性规划、人机交互等多个领域的专门技术.由于该项目使用了目前人工智能领域的多项前沿技术,对人工智能相关技术的发展和集成应... 详细信息

CALO是目前美国国防部正在研制的一个应用于办公环境的智能系统,涉及机器学习、自然语言处理、知识表示、柔性规划、人机交互等多个领域的专门技术.由于该项目使用了目前人工智能领域的多项前沿技术,对人工智能相关技术的发展和集成应用有着重要影响,也引起了国内外很多研究人工智能领域的学者的关注.综合目前CALO项目已经发表的论文所介绍的研究情况,全面介绍了该项目目前的研究进展,详细分析了其使用部分重要技术,并据此对今后一段时间人工智能相关技术的发展做出展望。

关键词： CALO 人工智能机器学习多Agent系统自然语言处理办公环境

来源：评论

学校读者我要写书评

暂无评论

基于颜色的粒子滤波非刚性目标实时跟踪算法

引用

郑州大学学报（理学版） 2006年第4期38卷 60-63页

作者：李静陈兆乾南京航空航天大学信息科学与技术学院南京210016 南京大学计算机软件新技术国家重点实验室南京210093

非刚性目标的跟踪与分析在计算机视觉领域引起了很多学者的关注.基于颜色的粒子滤波实时跟踪算法主要是利用视频图像的颜色直方图信息,综合考虑运动预测和帧间的相似性来确定目标的位置.提出一种改进粒子滤波算法并将其用于基于颜色的... 详细信息

非刚性目标的跟踪与分析在计算机视觉领域引起了很多学者的关注.基于颜色的粒子滤波实时跟踪算法主要是利用视频图像的颜色直方图信息,综合考虑运动预测和帧间的相似性来确定目标的位置.提出一种改进粒子滤波算法并将其用于基于颜色的非刚性目标的实时跟踪问题中.仿真实验表明,本算法在保证跟踪准确度的同时,可以满足实时跟踪的要求.

关键词：粒子滤波算法蒙特卡罗贝叶斯方法目标跟踪非线性系统

来源：评论

学校读者我要写书评

暂无评论

MAS交互协议的形式化描述和验证

MAS交互协议的形式化描述和验证

引用

第一届Agent理论与应用学术会议

作者：陈宏兵杨群李千目许满武南京大学软件新技术国家重点实验室南京210093 南京理工大学计算机科学与技术系南京210094

在MAS的分析与设计中,Agent间的交互协议设计是极其重要的内容.特别是交互协议的正确性、有效性和可验证性尤为关键,因此形式化描述和验证多Agent的交互协议非常有必要.定义了用于描述多Agent基于对话的交互协议的一个演算,该演算是基... 详细信息

在MAS的分析与设计中,Agent间的交互协议设计是极其重要的内容.特别是交互协议的正确性、有效性和可验证性尤为关键,因此形式化描述和验证多Agent的交互协议非常有必要.定义了用于描述多Agent基于对话的交互协议的一个演算,该演算是基于进程代数的并且独立于Agent的推理过程.该机制可以实现异构多Agent系统的交互协议验证.通过Agent会话环境的状态和演算的形式语义,可以验证会话协议的一些属性,例如:终止性、是否死锁等.该方法可以有效地解决交互协议的语义验证问题,因为协议的状态和Agent的行为由协议本身定义,并且可以避免基于状态搜索的状态空间爆炸问题。

关键词： MAS交互协议多Agent系统对话协议 π演算进程代数形式语义

来源：评论

学校读者我要写书评

暂无评论

基于自动规约规则的HTML文档元数据提取

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

手绘草图识别方法研究

引用

计算机工程 2005年第19期31卷 170-172页

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

提出了一种手绘草图图形识别的解决方法。该方法将不同复杂层次的草图结构抽象为空间关系图,并在图匹配计算过程中引入约束部分枚举方法,智能地预测匹配的有效状态,缩小了空间关系图匹配过程中状态搜索空间。实验表明该方法取得了较好... 详细信息

提出了一种手绘草图图形识别的解决方法。该方法将不同复杂层次的草图结构抽象为空间关系图,并在图匹配计算过程中引入约束部分枚举方法,智能地预测匹配的有效状态,缩小了空间关系图匹配过程中状态搜索空间。实验表明该方法取得了较好的效果。

关键词：图形识别空间关系图约束部分枚举

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：