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

高技术通讯 2012年第7期22卷 689-696页

作者：张冬蕾史忠植王鹏赵亮 61226部队北京100079 中国科学院计算技术研究所智能信息处理重点实验室北京100190

针对多主体系统由其自治的软件主体构成带来的故障处理上的困难，研究了多主体系统的可靠性问题，并尝试从主体组层面出发对系统中的故障进行协调处理，提出了一个可靠关键子系统模型（RCSM）。RCSM包含三类主体，即中继主体、控制中心... 详细信息

针对多主体系统由其自治的软件主体构成带来的故障处理上的困难，研究了多主体系统的可靠性问题，并尝试从主体组层面出发对系统中的故障进行协调处理，提出了一个可靠关键子系统模型（RCSM）。RCSM包含三类主体，即中继主体、控制中心主体以及工作主体。此模型使用中继主体封装由工作主体组成的关键子系统，使子系统的拓扑结构对外界不可见，从而避免故障的大范围传播。在子系统内部采用基于任务分配的一致性检查点设置技术实现工作主体的故障恢复。对模型中的控制中心主体则采用了复制技术与团队协作相结合的手段来提高其可靠性。通过仿真实验对RCSM的故障恢复效率及其对系统正常运行效率的影响进行分析，说明了该模型的实用价值。

关键词：多主体系统(MAS) 可靠性模型关键子系统检查点复制技术

来源：评论

学校读者我要写书评

暂无评论

连续时间Hopfield网络模型数值实现分析

引用

软件学报 2004年第6期15卷 881-890页

作者：叶世伟郑宏伟王文杰马琳史忠植中国科学院研究生院信息科学与工程学院中国科学院计算技术研究所智能信息处理重点实验室北京100080 四川师范大学数学系中国科学院计算技术研究所智能信息处理重点实验室

讨论使用Euler方法和梯形方法在数值求解连续时间的Hopfield网络模型时,离散时间步长的选择和迭代停止条件问题.利用凸函数的定义研究了能量函数下降的条件,根据凸函数的性质分析它的共轭函数减去二次函数之差仍为凸函数的条件.分析连... 详细信息

讨论使用Euler方法和梯形方法在数值求解连续时间的Hopfield网络模型时,离散时间步长的选择和迭代停止条件问题.利用凸函数的定义研究了能量函数下降的条件,根据凸函数的性质分析它的共轭函数减去二次函数之差仍为凸函数的条件.分析连续时间Hopfield网络模型的收敛性证明,提出了一个广义的连续时间Hopfield网络模型.对于常用的Euler方法和梯形方法数值求数值实现连续时间Hopfield网络,讨论了离散时间步长的选择.由于梯形方法为隐式方法,分析了它的迭代求算法的停止条件.根据连续时间Hopfield网络的特点,提出改进的迭代算法,并对其进行了分析.数值实验的结果表明,较大的离散时间步长不仅加速了数值实现,而且有利于提高优化性能.

关键词：凸函数 Hopfield网络数值实现 Euler方法梯形方法

来源：评论

学校读者我要写书评

暂无评论

基于元性质的数量型属性值自动提取系统的实现

引用

计算机研究与发展 2010年第10期47卷 1741-1748页

作者：卢汉曹存根王石中国科学院研究生院北京100049 中国科学院计算技术研究所智能信息处理重点实验室北京100190

实体属性值抽取是信息抽取的重要组成部分.针对数量型属性类型多样以及取值易变的问题,设计实现了一种基于元性质的数量型属性值自动抽取系统.对系统的结构、功能框架以及相关核心技术,包括提取文本的选择、候选值的提取及评估、结果的... 详细信息

实体属性值抽取是信息抽取的重要组成部分.针对数量型属性类型多样以及取值易变的问题,设计实现了一种基于元性质的数量型属性值自动抽取系统.对系统的结构、功能框架以及相关核心技术,包括提取文本的选择、候选值的提取及评估、结果的自动验证等进行了详细讨论.通过对百度百科的五大类9个子类实体数量型属性值的抽取,平均准确率和召回率分别达到71%和89%,高于基于简单搜索的方法和传统的基于词汇-句模的方法.该方法适用于开放领域的数量型属性值获取,易于获取单值属性的精确取值.

关键词：属性值抽取数量型属性属性元性质锚文本层次分析

来源：评论

学校读者我要写书评

暂无评论

动态描述逻辑推理的并行计算技术

引用

计算机研究与发展 2011年第12期48卷 2317-2325页

作者：王竹晓胡宏陈立民史忠植中国科学院计算技术研究所智能信息处理重点实验室北京100190 中国科学院研究生院北京100049

在设计用于处理大规模本体和数据的推理引擎时,推理引擎的可扩展性是一个需要研究的重要问题.动态描述逻辑要在真实环境中获得成功应用,需要在推理中采用并行计算技术.提出了两种方法将并行计算技术应用于动态描述逻辑推理.方法1是设计... 详细信息

在设计用于处理大规模本体和数据的推理引擎时,推理引擎的可扩展性是一个需要研究的重要问题.动态描述逻辑要在真实环境中获得成功应用,需要在推理中采用并行计算技术.提出了两种方法将并行计算技术应用于动态描述逻辑推理.方法1是设计分布式动态描述逻辑框架.分布式动态描述逻辑由若干独立的动态描述逻辑所组成,这些动态描述逻辑两两之间通过桥规则联系起来.提出了基于Tableau的分布式推理算法,从而为分布式动态描述逻辑提供了全局推理能力,并且该算法可以将大的推理任务分解为若干子任务,而这些子任务可以被不同的推理主体并行处理.方法2是并行化动态描述逻辑的Tableau算法的不确定分支.不确定分支的并行计算使得推理任务可以在若干独立机器上同时执行.最后,介绍了推理引擎的原型实现并评估了其性能.实验结果表明提出的两种方法取得了明显的推理加速效果.

关键词：并行推理动态描述逻辑分布式动态描述逻辑表算法推理引擎

来源：评论

学校读者我要写书评

暂无评论

情感主体形式模型

引用

模式识别与人工智能 2009年第3期22卷 381-387页

作者：张冬蕾史忠植潘瑜中国科学院计算技术研究所智能信息处理重点实验室北京100190 中国科学院研究生院北京100049

为使主体能够有效处理情感,具有更高的智能性,本文提出一种情感主体的形式化描述模型.分3个层次,给出情感主体心智状态、情感主体心智状态更新、以及情感主体模型的形式化定义.并通过对基本情感的更新过程的公理推导,说明了该模型能够... 详细信息

为使主体能够有效处理情感,具有更高的智能性,本文提出一种情感主体的形式化描述模型.分3个层次,给出情感主体心智状态、情感主体心智状态更新、以及情感主体模型的形式化定义.并通过对基本情感的更新过程的公理推导,说明了该模型能够充分体现情感主体的本质特征和运行机制,有较强的表达能力和扩展能力,为构建支持情感推理的情感规则库提供理论依据.然后对情感更新过程进行直观描述,并给出情感主体的体系结构.仿真实验表明,情感主体能够合理产生情感反应并作出更优智能决策,从而验证该模型的有效性.

关键词：情感主体 BDI模型情感更新过程

来源：评论

学校读者我要写书评

暂无评论

基于内容相关性的场景图像分类方法

引用

计算机研究与发展 2009年第7期46卷 1198-1205页

作者：秦磊高文中国科学院计算技术研究所智能信息处理重点实验室北京100190 中国科学院计算技术研究所北京100190 北京大学数字媒体研究所北京100871

场景图像分类是计算机视觉领域中的一个基本问题.提出一种基于内容相关性的场景图像分类方法.首先从图像上提取视觉单词,并把图像表示成视觉单词的词频矢量;然后利用产生式模型来学习训练集合中包含的主题,和每一幅图像所包含的相关主题... 详细信息

场景图像分类是计算机视觉领域中的一个基本问题.提出一种基于内容相关性的场景图像分类方法.首先从图像上提取视觉单词,并把图像表示成视觉单词的词频矢量;然后利用产生式模型来学习训练集合中包含的主题,和每一幅图像所包含的相关主题;最后用判定式分类器进行多类学习.提出的方法利用logistic正态分布对主题的相关性进行建模,使得学习得到的类别的主题分布更准确.并且在学习过程中不需要对图像内容进行人工标注.还提出了一种新的局部区域描述方法,它结合了局部区域的梯度信息和彩色信息.在自然场景图像集合和人造场景图像集合上实验了提出的方法,它相对于传统方法取得了更好的结果.

关键词：场景图像分类产生式模型 logistic正态分布内容相关性计算机视觉

来源：评论

学校读者我要写书评

暂无评论

融合语义主题的图像自动标注

引用

软件学报 2011年第4期22卷 801-812页

作者：李志欣施智平李志清史忠植中国科学院计算技术研究所智能信息处理重点实验室北京100190 中国科学院研究生院北京100049

由于语义鸿沟的存在,图像自动标注已成为一个重要课题.在概率潜语义分析的基础上,提出了一种融合语义主题的方法以进行图像的标注和检索.首先,为了更准确地建模训练数据,将每幅图像的视觉特征表示为一个视觉"词袋";然后设计... 详细信息

由于语义鸿沟的存在,图像自动标注已成为一个重要课题.在概率潜语义分析的基础上,提出了一种融合语义主题的方法以进行图像的标注和检索.首先,为了更准确地建模训练数据,将每幅图像的视觉特征表示为一个视觉"词袋";然后设计一个概率模型分别从视觉模态和文本模态中捕获潜在语义主题,并提出一种自适应的不对称学习方法融合两种语义主题.对于每个图像文档,它在各个模态上的主题分布通过加权进行融合,而权值由该文档的视觉词分布的熵值来确定.于是,融合之后的概率模型适当地关联了视觉模态和文本模态的信息,因此能够很好地预测未知图像的语义标注.在一个通用的Corel图像数据集上,将提出的方法与几种前沿的图像标注方法进行了比较.实验结果表明,该方法具有更好的标注和检索性能.

关键词：图像自动标注主题模型概率潜语义分析自适应不对称学习图像检索

来源：评论

学校读者我要写书评

暂无评论

基于物理的人体空中运动仿真

引用

软件学报 2008年第12期19卷 3228-3236页

作者：魏毅夏时洪王兆其中国科学院计算技术研究所智能信息处理重点实验室北京100190 中国科学院研究生院北京100049

根据给定的处于关键时刻的人体关键姿态,运用优化方法生成满足牛顿力学的人体运动是人体运动仿真研究的重要问题.由于牛顿力学的强非线性和数值优化方法只能找到局部最优解,将牛顿力学约束直接作为约束条件的优化模型在实践中的收敛性不... 详细信息

根据给定的处于关键时刻的人体关键姿态,运用优化方法生成满足牛顿力学的人体运动是人体运动仿真研究的重要问题.由于牛顿力学的强非线性和数值优化方法只能找到局部最优解,将牛顿力学约束直接作为约束条件的优化模型在实践中的收敛性不好.通过将牛顿力学约束转化为目标函数,同时增加对关键时刻的优化,提高了模型的收敛性,使其不依赖于被仿真运动的类型、人体质量参数和关键时刻准确程度等因素.仿真出来的人体运动尽可能地满足了牛顿力学.通过仿真7类复杂的蹦床运动验证了新模型的有效性,同时还将该模型用于人体受力分析和体育运动的新动作设计.

关键词：关键帧插值四元数时空约束非线性约束优化

来源：评论

学校读者我要写书评

暂无评论

基于摄动的模糊聚类算法最优模糊等价矩阵相关性质分析

引用

系统工程理论与实践 2010年第7期30卷 1238-1245页

作者：赵卫中何清史忠植中国科学院计算技术研究所智能信息处理重点实验室北京100190 中国科学院研究生院北京100049

对基于摄动的模糊聚类算法进行深入研究.给出一个模糊相似矩阵的实例,存在与该矩阵距离相同且都是最小的两个不相等的模糊等价矩阵,从而证明了全局最优模糊等价矩阵不具有唯一性.对基于摄动的模糊聚类算法求出的可行解的不同情况进行分... 详细信息

对基于摄动的模糊聚类算法进行深入研究.给出一个模糊相似矩阵的实例,存在与该矩阵距离相同且都是最小的两个不相等的模糊等价矩阵,从而证明了全局最优模糊等价矩阵不具有唯一性.对基于摄动的模糊聚类算法求出的可行解的不同情况进行分析,给出了每种情况下可行解个数的计算表达式.完善了基于摄动的模糊聚类算法的相关理论.

关键词：模糊聚类等价标准型标准参数系最优模糊等价矩阵

来源：评论

学校读者我要写书评

暂无评论

基于模型诊断的研究进展

引用

高技术通讯 2009年第5期19卷 543-550页

作者：韩旭史忠植林芬中国科学院计算技术研究所智能信息处理重点实验室北京100190 中国科学院研究生院北京100049

通过对诊断对象模型、主要诊断方法和聚焦策略的分析和阐述,系统地总结和综述了近年来基于模型诊断的主要研究内容和方法,介绍和比较了3组诊断对象模型,即定性与定量模型、静态与动态模型、确定与概率模型,并针对近几年的研究热点,重点... 详细信息

通过对诊断对象模型、主要诊断方法和聚焦策略的分析和阐述,系统地总结和综述了近年来基于模型诊断的主要研究内容和方法,介绍和比较了3组诊断对象模型,即定性与定量模型、静态与动态模型、确定与概率模型,并针对近几年的研究热点,重点阐述了分布式系统和2类动态系统——时间驱动型系统和事件驱动型系统的相应诊断方法,同时分析了基于优先序的策略、基于删剪条件的策略、基于层次的策略和基于分治的策略这4类聚焦策略,最后对今后的主要研究方向进行了总结和展望。

关键词：基于模型诊断(MBD) 反绎诊断分布式诊断离散事件系统聚焦策略

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：