高济
- 作品数:160 被引量:971H指数:18
- 供职机构:浙江大学计算机科学与技术学院更多>>
- 发文基金:国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划更多>>
- 相关领域:自动化与计算机技术经济管理电子电信机械工程更多>>
- RR:问题求解的功能化设计方法
- (Reduction-Reasoning)是设计问题求解的一种功能化方法,基份归约和推理二个层次来组织问题求解活动。该方法强调知识表示和应用的紧密结合,因而提供了一组丰富的推理层基本元素用以构造执行(由归约层指派的)子任...
- 高济
- 关键词:专家系统归约
- MMAS:基于模型的多Agent系统开发方法被引量:1
- 2005年
- MAS的复杂性使其应用受到限制。本文提出一个基于模型的MAS开发方法——MMAS。MMAS用任务模型、角色模型、组织模型、交互模型、信念模型和Agent模型来描述一个MAS。本文阐述如何在这六个模型的基础上设计Agent,以实现软件重用,减少MAS开发的复杂性和提高软件开发速度。
- 袁成祥高济
- 关键词:软件AGENT方法论多AGENT系统
- 一种通用的数据追踪系统的实现被引量:5
- 2003年
- 在MIS或者ERP软件的开发过程中,对于数据的追踪,尤其是对从综合的统计数据到原始的记录数据的追踪往往是企业所盼望能够实现的功能。时这样的系统采用特殊化单独化的编程成为系统开发过程中的一个障碍。论文介绍一种通用数据追踪系统的实现过程,它能在大部分关系数据库上实现,并可以完成一些通用性的数据追踪功能。该系统的主要设计思想是通过定义特殊的元数据表格,保存系统开发中需要追踪的表和数据之间的关系,通过提供用户界面定制这种元数据,再通过一个特殊的应用程序解析这些元数据,按照用户的操作完成数据的追踪过程。
- 徐飞高济
- 关键词:管理信息系统ERP
- 基于散列的语义服务匹配算法被引量:1
- 2010年
- 为提升服务匹配算法的性能,提出在散列过程中进行语义匹配。设计了基于框架的本体描述模型和支持多属性的服务描述模型。针对不同粒度模型子块的"约束结构"或"定义结构"设计散列函数,在按子块粒度递增的多重散列过程中完成服务匹配;设计了子块间的包容关系语义,并基于该语义进行散列冲突消解。理论分析表明该方法的匹配耗时指标为一区间常数。实验证明,该匹配策略相对于当前主流服务发现方法,提升查全率和查准率的同时,降低了匹配耗时;能快速建立支持高效服务组合的服务依赖关系图。
- 傅朝阳高济郭航周尤明
- 关键词:本体语义匹配
- 移动台越区次数的概率被引量:12
- 2002年
- 在移动通信系统中,移动性管理即位置管理是一个具有挑战性的研究内容。移动台越区漫游规律的研究,对评价各种位置管理策略的代价及性能有着重要意义。通过构造向量马氏过程,利用密度演化方法,我们导出了移动台越区次数的一个概率公式,并用此公式对现行的位置管理策略及指针推进策略的代价进行了研究。
- 朱艺华周根贵史定华高济
- 关键词:移动台移动计算位置管理移动性管理移动通信
- 基于最大分布约简的风险规则挖掘被引量:1
- 2005年
- 在研究如何更好地开发利用网箱渔场的过程中,人们已经认识到由于污染所引起的环境风险和其他影响因子。但是如何来评估网箱渔场的风险呢?粗糙集理论是一种数据推理的有力工具。该文介绍利用粗糙集理论进行风险规则挖掘的一种方法。首先介绍不完备信息系统下有关最大分布约简的概念,再对渔业环境中老化程度和风险等级进行了量化描述,最后给出了基于最大分布约简的网箱渔场老化风险规则的挖掘算法。
- 顾沈明徐妙君高济
- 关键词:粗糙集不完备信息系统最大分布约简
- 基于元信息的粗糙集规则增式生成方法被引量:8
- 2001年
- 粗糙集方法已成为数据挖掘的重要手段,由于数据挖掘需要处理大量的数据,并且数据动态递增,因而粗糙集方法需要具备处理大数据库数据的能力,以及有效处理动态递增数据的能力。然而,当前大多数粗糙集方法缺乏这些能力。对此,作者提出基于元信息的粗糙集规则增式生成方法。元信息是数据挖掘中间结果的描述,该方法首先渐增生成当前数据场的元信息,再从元信息中推导出规则,由于元信息是可重用的,因而该方法仅处理还未处理的数据,从而减少了数据挖掘的时间,同时,元信息的可重用性为数据挖掘系统的故障恢复提供了一种手段,提高了系统的鲁棒性。
- 苏健高济
- 关键词:元信息数据挖掘粗糙集信息系统数据库
- 增强型层次因果网
- 陆明高济
- 关键词:网络人工智能操作系统
- 支持Agent社交活动的方法体系SASA5被引量:23
- 2005年
- 传统软件Agent技术在开发基于Web的社交智能中应用潜力严重受阻,原因在于该技术只适用于封闭的小规模系统,难以适应将出现于Web的Agent社会所面临的由大量异质Agents参与的、开放的、动态变化的并充满不确定因素的因特网环境.该文提出支持Agent社交活动的方法体系SASA5,旨在以社区/联邦式的政策导向型社会体制为主线,从5维(信息建模、中介服务、理性协商、法制管理和用户调控)去建设开放式、多方位、系统化、安全的且易于人透明调控的社交活动基础结构,以支持Agent社交智能的有效开发.
- 高济袁成祥王进
- 关键词:软件AGENT社交活动
- 完全析取范式检测ALCN-概念的可满足性
- 2009年
- 基于"逐步展开"模式的Tableau算法在各类非循环定义的描述逻辑概念的可满足性判断中会产生大量的重复性的中间概念描述,因而浪费大量的空间。为此,提出了一个全新的对非循环定义的ALCN-概念可满足性进行判断的完全析取范式(CDNF)算法。CDNF算法直接在输入概念描述上,以角色为纽带构建不同层次的析取范式,从而将输入概念描述重组成一种层次结构的可满足性直接可知的完全析取范式,从而实现了真正意义上的"计算"可满足性。CDNF算法采用"一步到位"的展开方式并且直接在输入概念描述上进行处理,因而可最大程度地消除概念描述的重复。因此,CDNF算法比Tableau算法能节省线性甚至指数倍于输入概念描述长度的空间代价。
- 古华茂高济王勋
- 关键词:析取范式