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

计算机工程 2005年第8期31卷 151-152,208页

作者：万武南王晓京宋春雨刘旸中国科学院成都计算机应用研究所自动推理实验室成都610041

介绍一种基于辅助Agent的合同网模型的任务分配方法,并给出了协作过程中的任务选择策略和Agent选择策略,改进基本合同网模型的缺点和不足,以解决多Agent的协同设计系统中分布合作求解问题和任务分配,达到全局最优化,产生高质量的设计及... 详细信息

介绍一种基于辅助Agent的合同网模型的任务分配方法,并给出了协作过程中的任务选择策略和Agent选择策略,改进基本合同网模型的缺点和不足,以解决多Agent的协同设计系统中分布合作求解问题和任务分配,达到全局最优化,产生高质量的设计及有效的资源利用,并减少协商时间和信息流量,提高系统效率。

关键词：合同网任务分配协同设计多Agent

来源：评论

学校读者我要写书评

暂无评论

淋巴液形成的一个生物力学模型

引用

生物医学工程学杂志 2000年第3期17卷 273-276页

作者：郭仲三中国科学院成都计算机应用研究所自动推理实验室成都610041

分析了初始淋巴管与间质的相互作用 ,考察了淋巴液形成过程 ,提出了淋巴液形成的相互作用理论 ,说明了不仅要考虑间质流体压力 ,还要考虑间质固相法应力及总应力 ,才能了解淋巴液的形成机理 ,间质孔隙度则直接影响着淋巴流量。

关键词：淋巴液形成间质流体压力间质固相法应力

来源：评论

学校读者我要写书评

暂无评论

Dixon结式在密码学中的应用

引用

软件学报 2007年第7期18卷 1738-1745页

作者：唐樨瑾冯勇中国科学院成都计算机应用研究所自动推理实验室四川成都610041

针对密码学中的多变元多项式二次方程系统求解问题,基于扩展Dixon结式提出了一种求解算法DR(Dixon resultants).基本思想为对于MQ(multivariate quadratic)问题,把x1,x2,…,xn?1当作变元,而把xn当作参数,然后利用和改进扩展Dixon结式方... 详细信息

针对密码学中的多变元多项式二次方程系统求解问题,基于扩展Dixon结式提出了一种求解算法DR(Dixon resultants).基本思想为对于MQ(multivariate quadratic)问题,把x1,x2,…,xn?1当作变元,而把xn当作参数,然后利用和改进扩展Dixon结式方法求解该类系统.分析了该算法对于一般情况的复杂度,并且基于实验证据猜测:对于某些稀疏问题,新算法的复杂度很有可能也是多项式的.实验结果表明,对于m=n的一般和稀疏的问题,DR效率优于已有的两种算法.除了高效性,新算法还具有复杂度容易度量、计算时间可以预测的优点.

关键词：多变元密码学有限域上的多项式方程代数攻击 Dixon 结式 DR(Dixon resultants)

来源：评论

学校读者我要写书评

暂无评论

改进的保群算法及其在混沌系统中的应用

引用

物理学报 2016年第11期65卷 11-19页

作者：陆见光唐卷秦小林冯勇中国科学院成都计算机应用研究所成都610041 中国科学院大学北京100049 中国科学院重庆绿色智能技术研究院自动推理与认知重庆市重点实验室重庆400714

混沌系统的跟踪控制是近年来非线性控制领域研究的热点之一.本文提出了一种基于快速下降控制方法的保群算法,此方法使受控混沌系统能够快速稳定到相空间的一个不动点;另外提出一种基于滑模控制方法的保群算法,此方法使受控混沌系统能够... 详细信息

混沌系统的跟踪控制是近年来非线性控制领域研究的热点之一.本文提出了一种基于快速下降控制方法的保群算法,此方法使受控混沌系统能够快速稳定到相空间的一个不动点;另外提出一种基于滑模控制方法的保群算法,此方法使受控混沌系统能够快速跟踪一个确定的运动轨迹.应用这两种新方法分别对两个经典的混沌系统(Lorenz系统和Duffing系统)进行了相应的数值实验,实验结果表明这两种方法都具用较高的精度和稳定性.

关键词：混沌跟踪控制保群算法 Lorenz系统 Duffing系统

来源：评论

学校读者我要写书评

暂无评论

求合取范式可满足性问题全部解的一个算法

引用

计算机科学 2002年第z1期29卷 152-154页

作者：曾振柄中国科学院成都计算机应用研究所自动推理实验室成都610041

　　设p1,p2,…,pn是一些命题符,--pi是pi的否定.考虑由pi,--pi(i=1,2,…,n)构成的文字符集合Q,其中的若干个文字符q1,q2,…,q1通过"或者关系"V构成一个子句:……

关键词：范式可满足性问题算法字符构成命题集合

来源：评论

学校读者我要写书评

暂无评论

微循环系统局部控制过程的生物力学模型

引用

生物医学工程学杂志 2000年第2期17卷 129-132,138页

作者：郭仲三中国科学院成都计算机应用研究所自动推理实验室成都610041

分析了间质内血管代谢物质的产生和运动、毛细血管前括约肌的开闭过程、微动脉平均半径的影响因素及微动脉自律运动振幅的变化情况，建立了微循环系统局部控制过程的生物力学模型，有助于对该过程进行定量分析。

关键词：微循环局部控制生物力学模型

来源：评论

学校读者我要写书评

暂无评论

线性程序的Ranking函数自动合成

引用

四川大学学报（工程科学版） 2009年第5期41卷 176-181页

作者：李骏李轶冯勇秦小林中国科学院成都计算机应用研究所四川成都610041 电子科技大学计算机推理与可信计算实验室四川成都610054

针对判定一个程序终止性的经典方法Ranking函数法,运用半代数系统的概念,把程序终止性问题转换为求半代数系统的Ranking函数。然后运用符号计算工具DISCOV-ERER和Farkas引理,求出函数参数存在的充分必要条件,并根据符号计算理论的方法... 详细信息

针对判定一个程序终止性的经典方法Ranking函数法,运用半代数系统的概念,把程序终止性问题转换为求半代数系统的Ranking函数。然后运用符号计算工具DISCOV-ERER和Farkas引理,求出函数参数存在的充分必要条件,并根据符号计算理论的方法自动合成Ranking函数。通过计算代数理论的证明和试验的验证,并与其他方法做了比较,这种方法是高效合理的。

关键词： DISCOVERER Farkas’lemma Ranking函数半代数系统程序终止性程序验证

来源：评论

学校读者我要写书评

暂无评论

微分代数系统中分块快速指标约简的启发式算法

引用

四川大学学报（工程科学版） 2014年第4期46卷 67-74页

作者：唐卷杨文强吴文渊冯勇中国科学院重庆绿色智能技术研究院自动推理与认知重庆市重点实验室重庆400714 中国科学院成都计算机应用研究所四川成都610041 中国科学院大学北京100049

为了高效地优化多领域统一建模仿真软件中稀疏微分代数方程的指标约简技术,提出了一种分块快速指标约简的启发式算法。它的主要思想是将微分代数方程的符号矩阵进行块状上三角化,然后沿每一独立块状上三角化的子符号矩阵对角线方向,由... 详细信息

为了高效地优化多领域统一建模仿真软件中稀疏微分代数方程的指标约简技术,提出了一种分块快速指标约简的启发式算法。它的主要思想是将微分代数方程的符号矩阵进行块状上三角化,然后沿每一独立块状上三角化的子符号矩阵对角线方向,由上往下依次对其每一对角子方阵运用含参数Pryce方法进行指标约简。大量数值实验结果表明,分块快速指标约简方法可以求出微分代数方程的最优偏移向量,其效率明显优于Pryce方法的效率,效率提高倍数与对角子方阵块数成正相关。进一步以数控冲床为例,对其微分代数方程采用分块快速指标约简算法进行指标约简,验证了该方法高效地解决了较大规模高指标微分代数方程的指标约简问题,便捷地获得了该系统的最优偏移向量等结构信息。

关键词：多领域统一建模微分代数方程指标约简 Pryce方法分块快速指标约简方法数控冲床

来源：评论

学校读者我要写书评

暂无评论

采用近似方法的实代数数准确表示及其应用

引用

四川大学学报（工程科学版） 2010年第2期42卷 126-131页

作者：秦小林冯勇陈经纬李骏电子科技大学计算机推理与可信计算实验室四川成都610054 中国科学院成都计算机应用研究所四川成都610041 中国科学院研究生院北京100049

针对如何保证实代数数的二进制展开不形成伪随机序列的问题,提出了通过实代数数的近似值重构它的准确极小多项式的算法,以此为基础提供了一种新的计算机实代数数表示方法。采用1个三元组序列:适当误差控制的实代数数近似值,极小多项式... 详细信息

针对如何保证实代数数的二进制展开不形成伪随机序列的问题,提出了通过实代数数的近似值重构它的准确极小多项式的算法,以此为基础提供了一种新的计算机实代数数表示方法。采用1个三元组序列:适当误差控制的实代数数近似值,极小多项式的次数和高度的上界。与目前的3种实代数数的计算机表示方法相比,在稀疏极小多项式情况下,新表示方法占有的二进制比特位与区间方法一致,低于符号方法,而略高于序方法;在稠密极小多项式情况下,比目前的3种表示方法都低。同时利用近似值重构极小多项式的方法,可获得多项式的准确因式分解。通过理论的分析和试验的验证,显示新的实代数数准确表示方法和应用是高效合理的。

关键词：实代数数近似计算符号计算符号与数值混合计算

来源：评论

学校读者我要写书评

暂无评论

基于Ontology的平面几何知识库设计

引用

计算机应用 2002年第3期22卷 10-14页

作者：吴文渊曾振柄符红光中国科学院成都计算机应用研究所自动推理实验室四川成都610041

文中给出了Ontology建模方法在平面几何知识库设计中的一个应用实例。先从总体上介绍了Ontology建模方法的思想、框架结构及优点。再详细描述了平面几何知识库的设计、组织结构及其实现。我们提出概念分层 ,等价类存贮 ,启发式双向推理 ... 详细信息

文中给出了Ontology建模方法在平面几何知识库设计中的一个应用实例。先从总体上介绍了Ontology建模方法的思想、框架结构及优点。再详细描述了平面几何知识库的设计、组织结构及其实现。我们提出概念分层 ,等价类存贮 ,启发式双向推理 ,推理经验生成 ,交互解题 ,数字测试等多种平面几何知识库的相关技术 ;能生成与“吴法”等代数方法不同的、传统的、较优的可读证明 ;并提高了系统的重用性、可靠性。

关键词： Ontology建模方法知识重用启发式双向推理平面几何知识库人工智能设计

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：