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

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

基于模型诊断的研究进展

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

基于动态描述逻辑的服务组合及质量模型

引用

电子学报 2010年第8期38卷 1923-1928页

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

本文提出一个基于动态描述逻辑的Web服务自动组合框架.在该框架中,Web服务自动组合被划分为逻辑层和实现层两部分,于是服务的自动组合问题在逻辑上归结为一个动作规划问题,在实现上归结为一个根据动作选择具体服务的服务选择问题.基于... 详细信息

本文提出一个基于动态描述逻辑的Web服务自动组合框架.在该框架中,Web服务自动组合被划分为逻辑层和实现层两部分,于是服务的自动组合问题在逻辑上归结为一个动作规划问题,在实现上归结为一个根据动作选择具体服务的服务选择问题.基于该框架,本文给出了一个支持非线性QoS聚合和显式数据流声明的QoS模型.得益于合理的服务组合框架和QoS模型,本文提出的服务选择方法可以将复杂服务分解为较小的服务,然后分别用递归的剪枝算法求解.实验显示该方法是有效的,不但可适应候选Web服务数量较大的情况,且相对于现有方法能更好地处理服务组合中的复杂结构.

关键词：服务质量动态描述逻辑服务选择服务组合分治算法

来源：评论

学校读者我要写书评

暂无评论

基于空间上下文的目标图像检索

引用

计算机辅助设计与图形学学报 2008年第11期20卷 1452-1458页

作者：高科林守勋张勇东唐胜中国科学院计算技术研究所智能信息处理重点实验室北京100190 中国科学院研究生院北京100049

提出了一种空间上下文描述与匹配方法,有效地提高了基于视觉关键词的图像检索中目标对象的可区分性.首先通过定义具有仿射协变性的空间邻域,得到自适应的多层空间上下文描述;然后提出模糊堆土机距离度量方法计算空间上下文相似性,以减... 详细信息

提出了一种空间上下文描述与匹配方法,有效地提高了基于视觉关键词的图像检索中目标对象的可区分性.首先通过定义具有仿射协变性的空间邻域,得到自适应的多层空间上下文描述;然后提出模糊堆土机距离度量方法计算空间上下文相似性,以减少区块特征聚类错误对空间关系匹配的影响.在预处理阶段,基于熵值和自相似度进行噪声区块过滤.与已有方法相比,该方法的平均检索精度相对提高了10.8%.

关键词：目标检索空间上下文模糊堆土机距离

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

基于主体的软件的故障诊断系统eHealer

引用

高技术通讯 2010年第4期20卷 379-385页

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

提出了一种通过监控多主体系统中各主体之间的消息通信定位故障主体的故障诊断方法。对于在多主体平台上运行的应用软件系统,首先对其功能进行建模,进而对其行为进行建模,然后在软件实际运行过程中捕获其中多个主体之间的通信消息及各... 详细信息

提出了一种通过监控多主体系统中各主体之间的消息通信定位故障主体的故障诊断方法。对于在多主体平台上运行的应用软件系统,首先对其功能进行建模,进而对其行为进行建模,然后在软件实际运行过程中捕获其中多个主体之间的通信消息及各类事件,通过设计的诊断算法与软件行为模型进行匹配和比较,通过推理发现运行过程中出现故障的主体及其某个异常行为,从而实现对软件系统的故障进行定位和诊断。在此基础上,实现了一个原型系统eHealer。实验表明,该方法能够准确定位多主体软件系统中agent级别的故障,与已有方法相比,具有实时性强、定位准确、普适性好的优点,为进一步选择故障恢复策略提供了有效的信息。

关键词：故障诊断(MAS) 多主体系统系统功能模型主体行为模型比较诊断算法

来源：评论

学校读者我要写书评

暂无评论

一种基于特征捆绑计算模型的物体识别方法

引用

软件学报 2010年第3期21卷 452-460页

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

利用一种特征捆绑计算模型,以Gabor特征作为模型的初级特征,将相关统计量作为实现特征捆绑的基础,提出了一种物体识别方法.并实现了一组物体识别实验,结果显示,该方法能够进行较快速而准确地识别,说明了此方法和所使用的特征捆绑计算模... 详细信息

利用一种特征捆绑计算模型,以Gabor特征作为模型的初级特征,将相关统计量作为实现特征捆绑的基础,提出了一种物体识别方法.并实现了一组物体识别实验,结果显示,该方法能够进行较快速而准确地识别,说明了此方法和所使用的特征捆绑计算模型的有效性.

关键词：特征捆绑计算模型物体识别

来源：评论

学校读者我要写书评

暂无评论

分类超曲面算法复杂度研究

引用

计算机学报 2010年第4期33卷 666-671页

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

分类超曲面算法是一种简单的基于覆盖的分类算法.实验证明该算法具有分类正确率高、速度快的优点.但是,关于该算法的相关理论问题需要深入研究.文中对该算法的几个相关理论问题进行了研究.首先给出并证明了在分割的最大层数给定时算法... 详细信息

分类超曲面算法是一种简单的基于覆盖的分类算法.实验证明该算法具有分类正确率高、速度快的优点.但是,关于该算法的相关理论问题需要深入研究.文中对该算法的几个相关理论问题进行了研究.首先给出并证明了在分割的最大层数给定时算法假设空间的VC维,在此基础上结合可能近似正确(Probably Approximately Correct,PAC)学习框架,得出了对算法样本复杂度的估计,使得分类超曲面算法保证可PAC学习到任意目标概念.其次,分析了算法的时间复杂度和空间复杂度.最后,给出了无矛盾样本集的概念,并证明当输入样本集是有限无矛盾样本集的条件下,算法一定是收敛的.

关键词：分类超曲面算法 VC维 PAC可学习性样本复杂度

来源：评论

学校读者我要写书评

暂无评论

基于动态描述逻辑的网构软件系统故障诊断

引用

软件学报 2010年第2期21卷 248-260页

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

提出了一种应用动态描述逻辑对被诊断系统进行分析的方法.动态描述逻辑的语法和语义非常适宜刻画系统的正常行为和异常行为.给出了算法使用动态描述逻辑的可满足性检测来测试离散事件系统的可诊断性.同时,给出了故障诊断器的构造算法.... 详细信息

提出了一种应用动态描述逻辑对被诊断系统进行分析的方法.动态描述逻辑的语法和语义非常适宜刻画系统的正常行为和异常行为.给出了算法使用动态描述逻辑的可满足性检测来测试离散事件系统的可诊断性.同时,给出了故障诊断器的构造算法.该故障诊断器通过实时地观察系统的行为完成故障诊断.以例子对算法进行了说明.

关键词：故障诊断网构软件动态描述逻辑可信软件离散事件系统

来源：评论

学校读者我要写书评

暂无评论

RCSM：多主体系统中的可靠关键子系统模型

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：