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

计算机科学 2006年第12期33卷 255-260页

作者：刘吉锋孙吉贵吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012

如何保证软件系统的正确性和可靠性是当前软件开发面临的主要问题之一。模型检测作为一种重要的自动化验证技术在软件的分析与验证中正取得越来越多的成功。本文以微软的SLAM和加州大学伯克利分校的BLAST为例综述性地介绍了基于抽象-验... 详细信息

如何保证软件系统的正确性和可靠性是当前软件开发面临的主要问题之一。模型检测作为一种重要的自动化验证技术在软件的分析与验证中正取得越来越多的成功。本文以微软的SLAM和加州大学伯克利分校的BLAST为例综述性地介绍了基于抽象-验证-细化范例的软件模型检测。

关键词：模型检测软件模型检测谓词抽象反例驱动的细化

来源：评论

学校读者我要写书评

暂无评论

一种基于移动代理的自主拍卖模型

引用

计算机研究与发展 2006年第z1期43卷 234-239页

作者：黄晶刘大有杨博李丽娜杨焕吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012

Agent的自治性和移动性为网络环境下的电子商务活动提供了许多潜在优点.拍卖是一种典型的商务活动,基于Agent的自主拍卖是传统拍卖方式的一个发展趋势,具有广泛应用前景.重点研究了建立自主拍卖系统所涉及的主要问题,包括拍卖大厅建模... 详细信息

Agent的自治性和移动性为网络环境下的电子商务活动提供了许多潜在优点.拍卖是一种典型的商务活动,基于Agent的自主拍卖是传统拍卖方式的一个发展趋势,具有广泛应用前景.重点研究了建立自主拍卖系统所涉及的主要问题,包括拍卖大厅建模、拍卖大厅查询、交易对象定位、拍卖过程同步和出价策略等.基于移动Agent和博奕理论,提出了一种自主拍卖模型.该模型支持一次价格密封标价拍卖和双边拍卖两种拍卖机制.模型中的Agent接受拍卖任务后能够自动搜寻拍卖大厅、自主参与拍卖过程并向其所有者返回拍卖结果.

关键词：电子商务移动Agent 一次价格密封标价拍卖双边拍卖

来源：评论

学校读者我要写书评

暂无评论

一种基于多Agent系统的饲料配方优化算法

引用

计算机研究与发展 2006年第z1期43卷 451-456页

作者：姜丽刘大有杨博贾海洋金弟白岩吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012 　　　　

针对饲料配方问题的特殊性和复杂性,结合多Agent系统的特点,提出了基于多Agent系统的饲料配方优化算法,算法采用多Agent协商的方式对原料变量的取值进行多阶段调整.对于有最优解的问题,算法能够逼近最优解;对于没有最优解的问题,算法能... 详细信息

针对饲料配方问题的特殊性和复杂性,结合多Agent系统的特点,提出了基于多Agent系统的饲料配方优化算法,算法采用多Agent协商的方式对原料变量的取值进行多阶段调整.对于有最优解的问题,算法能够逼近最优解;对于没有最优解的问题,算法能够发现并忽略不可满足或相互冲突的约束,一方面避免了人为设定的不足,另一方面所得到的解优于传统目标规划方法得到的解.

关键词：多Agent系统饲料配方优化算法多Agent协商

来源：评论

学校读者我要写书评

暂无评论

一种用描述逻辑刻画多代理系统规约的方法

引用

计算机研究与发展 2006年第z1期43卷 34-40页

作者：车海燕孙吉贵于海波吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012

支持模块化的语言机制和严格性能够很好地推动代理技术向更广泛的、更大规模的应用发展.朱宏等人提出的基于模型的多代理系统开发方法提出了符合面向Agent软件工程思想的语言机制,如Caste和Scenario.以该方法为基础提出了基于描述逻辑... 详细信息

支持模块化的语言机制和严格性能够很好地推动代理技术向更广泛的、更大规模的应用发展.朱宏等人提出的基于模型的多代理系统开发方法提出了符合面向Agent软件工程思想的语言机制,如Caste和Scenario.以该方法为基础提出了基于描述逻辑的对多代理系统的规约进行形式化刻画和分析证明系统属性的方法.利用描述逻辑的强大的表达力刻画多代理系统的规约,利用其自身的推理机制对系统属性进行推理、证明和验证,可以增强基于代理系统的严格性.

关键词：多代理系统描述逻辑知识表示

来源：评论

学校读者我要写书评

暂无评论

高性能网页索引器JU_Indexer的实现

引用

吉林大学学报（理学版） 2006年第1期44卷 50-56页

作者：赫枫龄左万利张雪松吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012

高性能网页索引器JU_Indexer用倒排索引表存储网页索引数据,以多线程并行的方式对网页建立索引数据,采用经过优化的检索算法实现用户的查询.首先给出了JU_Indexer的系统框架,然后描述了索引数据在JU_Indexer中的存储结构、建立网页索引... 详细信息

高性能网页索引器JU_Indexer用倒排索引表存储网页索引数据,以多线程并行的方式对网页建立索引数据,采用经过优化的检索算法实现用户的查询.首先给出了JU_Indexer的系统框架,然后描述了索引数据在JU_Indexer中的存储结构、建立网页索引的算法、以及实现用户查询的检索算法.实验结果表明,JU_Indexer能在毫秒级的时间内完成用户的查询,它采用的经过优化的词组检索算法缩短了词组的检索时间.

关键词： Web网页网络搜索引擎网页索引器

来源：评论

学校读者我要写书评

暂无评论

定性方向关系模型研究进展

引用

计算机科学 2006年第11期33卷 5-9页

作者：谢琦刘大有虞强源陈娟吉林大学计算机科学与技术学院吉林大学符号计算与知识工程教育部重点实验室长春130012

空间关系形式化模型的发展是空间推理、地理信息系统(GIS)、机器人导航等领域的一个非常重要的研究内容,近年来受到相关领域研究者的极大重视。空间对象的方向关系模型的研究已经取得了一定的进展。本文介绍了近年来空间对象的方向关系... 详细信息

空间关系形式化模型的发展是空间推理、地理信息系统(GIS)、机器人导航等领域的一个非常重要的研究内容,近年来受到相关领域研究者的极大重视。空间对象的方向关系模型的研究已经取得了一定的进展。本文介绍了近年来空间对象的方向关系形式化模型的主要研究内容、研究方法和研究进展,对已有的方向关系模型做了比较,并探讨了目前存在的问题和今后的发展方向。

关键词：方向关系空间推理空间对象

来源：评论

学校读者我要写书评

暂无评论

产品配置器的研究进展