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

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

基于范例库推理的软件成本估算模型研究

引用

计算机工程 2006年第19期32卷 191-192,220页

作者：方海光陈澎佘莉四川师范大学计算机软件实验室成都610068 中国科学院成都计算机应用研究所

用传统的经验函数估算软件成本有很多局限性,采用基于范例库推理的估算方法可以很好地弥补其中的问题。讨论了软件成本估算和基于CBR推理研究的特点,从总体上阐述了COSCBR系统结构,描述了系统重要的研究方面:影响软件成本因素;层次推理;... 详细信息

用传统的经验函数估算软件成本有很多局限性,采用基于范例库推理的估算方法可以很好地弥补其中的问题。讨论了软件成本估算和基于CBR推理研究的特点,从总体上阐述了COSCBR系统结构,描述了系统重要的研究方面:影响软件成本因素;层次推理;COSCRB系统的范例表示方法;相似度的基本计算算法。

关键词：范例库推理软件成本相似度层次推理

来源：评论

学校读者我要写书评

暂无评论

Win32中钩子的实现技术及其应用

引用

计算机应用 2002年第8期22卷 72-74页

作者：戴春达符红光中国科学院成都计算机应用研究所自动推理室四川成都610041

钩子 (HOOK)本质上是Windows消息处理函数 ,应用程序可以利用它来监视指定窗口的某种消息 ,当消息到达后 ,在目标窗口处理函数之前处理它。随着网络技术的发展 ,该技术在远程教育 ,远程医疗和远程维护方面有着广泛的应用。

关键词：钩子回调函数 Windows 消息处理函数操作系统应用程序

来源：评论

学校读者我要写书评

暂无评论

多目标邮政运输分层模型

引用

系统工程与电子技术 2001年第9期23卷 74-77页

作者：胡向东张海盛重庆邮电学院邮政自动化研究所 400065 中国科学院成都计算机应用研究所 610041

在分析影响邮政运输规划的主要因素后 ,针对国内干线邮政运输规划存在的主要问题提出了解决邮政运输多目标决策问题的分层模型 ,将整个邮政运输规划分解为路由优化、车次优化和发运计划自动生成等步骤 ,基于时限和成本的模糊决策保证了... 详细信息

在分析影响邮政运输规划的主要因素后 ,针对国内干线邮政运输规划存在的主要问题提出了解决邮政运输多目标决策问题的分层模型 ,将整个邮政运输规划分解为路由优化、车次优化和发运计划自动生成等步骤 ,基于时限和成本的模糊决策保证了优化结果的合理性。该模型还具有实用性好、适应性强、易于计算机软件实现和维护等特点。

关键词：运输管理多目标分析邮政运输分层模型

来源：评论

学校读者我要写书评

暂无评论

用XML实现电子公文的签名和加密

引用

计算机应用 2002年第8期22卷 85-88页

作者：何永忠王晓京中国科学院成都计算机应用研究所自动推理室四川成都610041

XML是一种结构化的标记语言 ,XML签名和加密是最近才通过的XML安全标准。通过对电子公文的签名和加密方案的分析比较 ,提出把安全XML用于电子公文的思想 ,给出了电子公文处理的系统构架。

关键词： XML 签名加密电子公文办公软件 Word WPS

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

软件工程经济的研究及发展趋势

引用

计算机工程 2006年第18期32卷 3-5页

作者：方海光高新岩陈澎四川师范大学计算机软件实验室成都610068 中国科学院成都计算机应用研究所成都610041

软件工程经济是近年来出现的崭新的研究方向,是软件工程和经济学相互融合深入的产物。该文从总体上讨论了软件工程经济的概念、软件工程经济在软件产品价值中的关系以及和经济学研究的关系,描述了当前应用的模型分类和具有代表性的模型... 详细信息

软件工程经济是近年来出现的崭新的研究方向,是软件工程和经济学相互融合深入的产物。该文从总体上讨论了软件工程经济的概念、软件工程经济在软件产品价值中的关系以及和经济学研究的关系,描述了当前应用的模型分类和具有代表性的模型,以及关于软件工程经济的未来研究内容、研究趋势整体框架和分层结构。

关键词：软件工程经济评估模型未来框架分层结构

来源：评论

学校读者我要写书评

暂无评论

云计算集群相空间负载均衡度优先调度算法研究

引用

计算机研究与发展 2014年第5期51卷 1095-1107页

作者：王鹏黄焱李坤郭又铭成都信息工程学院并行计算实验室成都610225 中国科学院成都计算机应用研究所成都610041 中国科学院大学北京100049

针对云计算集群具有海量节点和高耦合性的特点,将云计算集群中各节点的参数变化投影为相空间上投影点的运动,定义云计算集群的相空间负载均衡度,以其为评估指标建立云计算集群相空间负载均衡度优先调度算法,实现了云计算集群相空间投影... 详细信息

针对云计算集群具有海量节点和高耦合性的特点,将云计算集群中各节点的参数变化投影为相空间上投影点的运动,定义云计算集群的相空间负载均衡度,以其为评估指标建立云计算集群相空间负载均衡度优先调度算法,实现了云计算集群相空间投影在不同负载请求情况下平稳的点状聚集.通过仿真实验利用相空间负载均衡度、广义温度、广义熵等参数和集群的相空间投影对算法的效果进行分析,实验表明,相空间负载均衡度优先算法在大多数调度指标上都优于最小负载优先算法,并且集群规模越大系统的相空间负载均衡度越稳定.

关键词：云计算相空间负载均衡度调度算法广义热力学参数

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

基于范例推理的合同网模型

引用

小型微型计算机系统 2005年第9期26卷 1578-1581页

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

合同网是一类重要的基于竞争机制的协同问题求解模型,它一般不对竞争者范围进行限制,采用广播方式发布任务,消费了大量通讯负载,因此不能保证高的工作效率.为了减少Agent之间的通讯负载和协商时间,提高工作效率,本文在合同网模型中引入... 详细信息

合同网是一类重要的基于竞争机制的协同问题求解模型,它一般不对竞争者范围进行限制,采用广播方式发布任务,消费了大量通讯负载,因此不能保证高的工作效率.为了减少Agent之间的通讯负载和协商时间,提高工作效率,本文在合同网模型中引入范例推理,使用范例推理来确定合适的投标竞争者,缩小问题竞争者范围;同时本文在范例中加入了时间因子和遗忘系数等参数,以及一类特殊的范例,有助于改善合同网协作过程,使得系统具有较好的灵活性和适应性.

关键词：合同网任务分配范例推理多Agent

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：