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

系统科学与数学 2009年第9期29卷 1155-1168页

作者：张景中李永彬电子科技大学与中科院成都计算所自动推理联合实验室成都610054 中国科学院成都计算机应用研究所成都610041 广州大学计算机与教育软件学院广州510006 电子科技大学应用数学学院成都610054

由于传统的兴趣和多种原因,几何定理的机器证明在自动推理的研究中占有重要的地位.自吴法发表至今30年,几何定理机器证明的研究和实践有了很大的进展.对无序几何命题而言,代数方法、数值方法均能有效地判定其真假,面积法(消点法)、搜索... 详细信息

由于传统的兴趣和多种原因,几何定理的机器证明在自动推理的研究中占有重要的地位.自吴法发表至今30年,几何定理机器证明的研究和实践有了很大的进展.对无序几何命题而言,代数方法、数值方法均能有效地判定其真假,面积法(消点法)、搜索法更能生成其可读的证明.几何不等式机器证明的研究,由于多项式完全判别系统的建立,也有了突破.研究领域已由机器证明扩展为包括几何作图在内的一般几何问题的机器求解,并有了实际的应用.

关键词：几何定理机器证明可读证明代数方法面积法基于数据库的搜索法.

来源：评论

学校读者我要写书评

暂无评论

基于多Agent网格资源调度的负载均衡研究

引用

信息化纵横 2009年第16期28卷 42-45页

作者：李红婵蔡乐才朱颢东四川理工学院自动化与电子信息学院四川自贡643000 四川理工学院计算机科学系四川自贡643000 中国科学院成都计算机应用研究所四川成都610041 中国科学院研究生院北京100039

介绍了一种基于多Agent的网格资源调度方法,并提出了一种负载均衡算法设计思想,以改善网格环境中资源分配不均的问题。

关键词：网格 Agent 资源调度负载均衡

来源：评论

学校读者我要写书评

暂无评论

基于吴方法的多值模型检验

引用

系统科学与数学 2008年第8期28卷 1020-1029页

作者：赵林吴尽昭北京交通大学轨道交通控制与安全国家重点实验室北京100044 中国科学院成都计算机应用研究所成都610041

大型复杂系统的开发过程中不可避免的涉及到非确定或不一致信息的处理,而多值模型检验作为经典模型检验的一种扩展,是处理和分析包含此类信息模型的一种有效手段.提出了一种系统化的多值逻辑(涵盖经典逻辑)的代数表示方法,使用吴方法的... 详细信息

大型复杂系统的开发过程中不可避免的涉及到非确定或不一致信息的处理,而多值模型检验作为经典模型检验的一种扩展,是处理和分析包含此类信息模型的一种有效手段.提出了一种系统化的多值逻辑(涵盖经典逻辑)的代数表示方法,使用吴方法的基本思想和框架实现复杂系统形式验证中基于多值逻辑的模型检验的代数化,建立了通过吴方法实现多值模型检验技术的整体框架.这种代数化的多值模型检验方法可以作为现有方法的有力补充.

关键词：多值模型检验拟布尔逻辑多项式吴方法.

来源：评论

学校读者我要写书评

暂无评论

Dixon结式的三类多余因子

引用

中国科学（A辑） 2008年第8期38卷 949-960页

作者：赵世忠符红光上海市高可信计算重点实验室华东师范大学上海200062 电子科技大学计算机科学与工程学院成都610054 中国科学院成都计算机应用研究所成都610041

Dixon结式是一种基本消元方法,它在自动控制、机器人等高技术领域中有着重要应用.但是由于结式方法可能产生多余因子,因此多余因子的产生机理一直是一大难题.本文通过将Dixon结式表示成原多项式系统的线性组合,发现了Dixon结式的部分多... 详细信息

Dixon结式是一种基本消元方法,它在自动控制、机器人等高技术领域中有着重要应用.但是由于结式方法可能产生多余因子,因此多余因子的产生机理一直是一大难题.本文通过将Dixon结式表示成原多项式系统的线性组合,发现了Dixon结式的部分多余因子,并且证明了其可由Dixon导出多项式的多余因子和Dixon矩阵的多余因子以及导出多项式回代产生的多余因子三大部分组成.

关键词： Dixon结式 Dixon矩阵多余因子

来源：评论

学校读者我要写书评

暂无评论

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)

来源：评论

学校读者我要写书评

暂无评论

Raptor Code预编码技术研究

引用

计算机工程 2007年第1期33卷 1-3页

作者：孟庆春王晓京中国科学院成都计算机应用研究所自动推理室成都610041

在介绍LT Code的基础上,进一步探讨了Raptor Code。预编码技术是Raptor Code采用的核心技术,该技术能够克服LT Code解码代价不固定的缺点,有鉴于该文分析了多层校验预编码技术,并以此为基础提出基于RS Code的改进方法。该方法具有解码... 详细信息

在介绍LT Code的基础上,进一步探讨了Raptor Code。预编码技术是Raptor Code采用的核心技术,该技术能够克服LT Code解码代价不固定的缺点,有鉴于该文分析了多层校验预编码技术,并以此为基础提出基于RS Code的改进方法。该方法具有解码率高等优点,适合解决网络传输的安全问题。

关键词： Raptor Code LT Code 预编码

来源：评论

学校读者我要写书评

暂无评论

矩阵特征值的分布

引用

西南大学学报（自然科学版） 2007年第11期29卷 45-47页

作者：陈经纬中国科学院成都计算机应用研究所自动推理室四川成都610041

利用矩阵论的相关知识,对任意的复矩阵得到了一个矩阵特征值分布的新区域(定理1),且所给出的矩形区域比以前的一些结果更好.

关键词：矩阵特征值分布

来源：评论

学校读者我要写书评

暂无评论

基于X Code和RS Code的二维分布式存储系统

引用

小型微型计算机系统 2007年第5期28卷 791-795页

作者：孟庆春王晓京万武南中国科学院成都计算机应用研究所数理室四川成都610041

随着分布式存储技术的发展,网络数据存储的安全性问题成为计算机领域研究的热点.在分析了基于X Code和RS Code技术的分布式存储系统的基础上,为进一步增强数据系统容错能力提出了一种改进的二维分布式存储系统.该系统将数据服务器中的... 详细信息

随着分布式存储技术的发展,网络数据存储的安全性问题成为计算机领域研究的热点.在分析了基于X Code和RS Code技术的分布式存储系统的基础上,为进一步增强数据系统容错能力提出了一种改进的二维分布式存储系统.该系统将数据服务器中的数据块组织成具有行列坐标的两维实体,在列上将RS Code和X Code两种编码方法综合运用产生校验信息,在行上实行基于异或运算的校验.实验表明经改进的系统较采用RS Code技术的系统减少了数据恢复时间,较采用X Code技术的系统增加了容错数量,从而在整体上提高了系统容错效率.

关键词：分布式存储 X Code RS Code

来源：评论

学校读者我要写书评

暂无评论

基于多维加权贴近度方法的方案优选

引用

微计算机应用 2007年第6期28卷 566-570页

作者：艾芳菊中国科学院成都计算机应用研究所自动推理室

在决策支持系统中经常遇到从以前的方案库中优选方案进行决策。方案选择会对决策结果影响很大,常常有一定的模糊性。用多维加权贴近度方法可以很好的计算出方案库中的方案与目标方案的相似程度,相似程度最高的方案即为最优方案。此方法... 详细信息

在决策支持系统中经常遇到从以前的方案库中优选方案进行决策。方案选择会对决策结果影响很大,常常有一定的模糊性。用多维加权贴近度方法可以很好的计算出方案库中的方案与目标方案的相似程度,相似程度最高的方案即为最优方案。此方法分析了三种类型的定量特征以及模糊特征的隶属度函数的设定,两种常用贴近度的使用,用权重分析系统进行特征权重的设置。实例证明该方法比一般加权和方法选出的最优方案更准确、更有效。

关键词：贴近度多维加权贴近度隶属度函数权重分析系统

来源：评论

学校读者我要写书评

暂无评论

几何定理可读证明的并行化方法(英文)

引用

科学技术与工程 2007年第18期7卷 4769-4773,4780页

作者：潘斌郭红霞中国科学院成都计算机应用研究所自动推理实验室成都610041 成都大学电子信息工程学院成都610106

为了生成传统形式的几何定理可读证明,前推法必不可少。但是现有算法在实际应用中对复杂命题的解题效率还存在问题。文中尝试用并行计算方法来提高算法效率,分析了消息传递编程模型下的任务划分、通信组织、任务调度等问题,并在MPICH2... 详细信息

为了生成传统形式的几何定理可读证明,前推法必不可少。但是现有算法在实际应用中对复杂命题的解题效率还存在问题。文中尝试用并行计算方法来提高算法效率,分析了消息传递编程模型下的任务划分、通信组织、任务调度等问题,并在MPICH2下实现了并行前向推理算法,对算法的并行性能指标进行了测试。

关键词：几何定理可读证明并行前向推理并行性能量度流水线

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：