国家自然科学基金(60775029) 作品数:11 被引量:13 H指数:3 相关作者: 高济 傅朝阳 古华茂 周尤明 彭艳斌 更多>> 相关机构: 浙江大学 浙江工商大学 苏州科技学院 更多>> 发文基金: 国家自然科学基金 国家高技术研究发展计划 浙江省自然科学基金 更多>> 相关领域: 自动化与计算机技术 轻工技术与工程 更多>>
基于直推式支持向量机的协商决策模型 被引量:5 2012年 为了解决在电子商务活动中由于信息的保密性协商参与者无法获得对手效用函数,进而影响双方协商性能的问题,提出一种基于直推式支持向量机(TSVM)算法的双边多议题协商决策模型.该模型利用协商历史中隐含的信息,分析协商过程中产生的建议是否落在对手效用可接受区间内,构造有标记和无标记的训练样本,并通过直推式支持向量机来学习这些训练样本,得到协商对手效用函数的估计,然后与己方效用函数相结合构成一个约束优化问题,利用粒子群算法求解此优化问题得到己方的最优反建议.实验结果表明:此模型在信息保密和缺乏先验知识的情况下,能够兼顾对手效用做出协商决策,增加了双方的协商成功率和联合效用值,并能够有效减少协商时间. 艾解清 高济 彭艳斌 郑志军关键词:电子商务 多AGENT系统 直推式支持向量机 粒子群优化算法 一种子句重构的增强Tableau算法 2009年 利用非循环定义的概念可展开的特性,提出一个基于子句重构的增强Tableau算法.采用最简洁的概念合取子句代替原来的子概念集对完整树/图上的结点进行标记,并设计一组推理规则以构建这样的完整树/图,从而消除传统Tableau算法中的∩-规则、∪-规则所带来的概念描述重复.因而在非循环定义概念可满足性判定问题上,空间性能有明显提高.此外,虽然文中只提供针对SI语言的规则和证明,可是这种处理思路同样适用于其它描述逻辑语言,因而具有一定的推广价值. 古华茂 高济 王勋 吴海燕关键词:可满足性 完全析取范式检测ALCN-概念的可满足性 2009年 基于"逐步展开"模式的Tableau算法在各类非循环定义的描述逻辑概念的可满足性判断中会产生大量的重复性的中间概念描述,因而浪费大量的空间。为此,提出了一个全新的对非循环定义的ALCN-概念可满足性进行判断的完全析取范式(CDNF)算法。CDNF算法直接在输入概念描述上,以角色为纽带构建不同层次的析取范式,从而将输入概念描述重组成一种层次结构的可满足性直接可知的完全析取范式,从而实现了真正意义上的"计算"可满足性。CDNF算法采用"一步到位"的展开方式并且直接在输入概念描述上进行处理,因而可最大程度地消除概念描述的重复。因此,CDNF算法比Tableau算法能节省线性甚至指数倍于输入概念描述长度的空间代价。 古华茂 高济 王勋关键词:析取范式 RPA_(CTI) Agent支持的开放式环境下协同设计系统 被引量:3 2009年 针对开放式环境对松散耦合的灵活协作模式的需要,以及协同设计问题通常具有的"结构不良"和"创新参与"的特性,提出RPACTI Agent模型.该模型拓展了传统的确定性协作接口模式,加入了非确定性的接口描述和调用方式,提出了基于能力、潜力和兴趣的三接口模式,并在此基础上提供确定性、尝试性和弱约束集成的混合协作模式,以更加灵活的方式处理协同设计问题.同时,在模型中引入基于政策的管理,以保证自组织协作过程是面向需求和可控的.该模型既考虑了解决问题的成功率和效率,又体现了灵活性,更加适合开放式环境下的协同设计问题. 郭航 高济 胡斌 傅朝阳关键词:AGENT 协同设计 政策管理 多AGENT系统 Clause-based enhancing mode for tableau algorithm for ALCN 被引量:1 2008年 As the tableau algorithm would produce a lot of description overlaps when judging the satisfiabilities of concepts(thus wasting much space),a clause-based enhancing mode designed for the language ALCN is proposed.This enhancing mode constructs a disjunctive normal form on concept expressions and keeps only one conjunctive clause,and then substitutes the obtained succinctest conjunctive clause for sub-concepts set in the labeling of nodes of a completion tree constructed by the tableau algorithm (such a process may be repeated as many times as needed).Due to the avoidance of tremendous descriptions redundancies caused by applying ∩- and ∪-rules of the ordinary tableau algorithm,this mode greatly improves the spatial performance as a result.An example is given to demonstrate the application of this enhancing mode and its reduction in the cost of space. Results show that the improvement is very outstanding. 古华茂 石锦芹 高济关键词:CLAUSE SATISFIABILITY 基于离散粒子群算法的织物疵点特征选择 被引量:4 2011年 为提高识别织物疵点的准确率,提出基于离散粒子群算法(BPSO)进行织物疵点特征选择的方法。首先收集织物疵点图像并进行预处理,提取常用的纹理特征构成候选特征。然后采用BPSO对这些候选特征进行选择,得到优选特征和冗余特征。最后分别在这3类特征下训练支持向量机并进行织物疵点识别测试。结果表明,优选特征的疵点识别准确率大大高于另外2类特征,验证了这种方法是有效的。 艾解清 高济 彭艳斌关键词:离散粒子群算法 织物疵点 支持向量机 基于社交结构规范和策略的自治SNPVO模型 2009年 影响语义网格应用开发的一个主要问题是资源(服务)共享和协同问题求解缺乏可信的自主管理能力。我们提出的SNPVO(基于社交结构、规范和策略的自治VO)有助于解决这一问题。该研究成果提供了从3维(抽象理论模型、描述和行为规范、基础设施)分3个层次(虚拟社会、可信VO、理性ace)支持SNPVO组建和运作的开发框架。通过应用此框架开发基于服务供需的、受社交规范调控的知识供应,证实基于语义网格由ace参与的资源(服务)共享和协同问题求解是可信的、可预测的。 周尤明 高济 万杰关键词:ACE 基于有向带环加权多图的线性服务组合 2012年 为提升自动服务组合效率,提出在新的服务图结构中实现线性服务组合。该方法使用有向带环加权多图描述服务关系。在深度与广度搜索相结合的组合路径查找过程中,基于语义包容关系将图中节点对之间的多边降级为单边。通过着色和时间戳判断、消除环。给出了具有线性时间复杂度的组合路径查找算法并对其时间复杂度予以理论证明。仿真结果表明:与同类方法相比,该方法能够在线性时间内,在不降低查全率的情况下,发现带环图中的组合路径,并具有查找时间与服务图规模无关的良好可扩展性。 傅朝阳 杨利娟 华泽 高济关键词:着色 时间戳 时间复杂度 词法多重散列与包容语义相结合的服务查找 2010年 为进一步提升服务组合性能,提出将词法多重散列与包容语义相结合的快速服务查找法.该方法有如下特点:将服务描述模型分解为不同粒度的词法和语义子块,同时将服务查找过程转换为按词法子块粒度递增的多重散列过程,利用子块间的包容语义消解散列冲突,实现降低查找失败时间至最低;所建立的服务库一方面通过缩减服务组合路径搜索空间降低查找成功时间,另一方面为设计高效组合路径查找算法提供了基础;可提供近似常数时间的原子服务查找和服务建库过程.实验证明该方法查找准确,较当前权威组织提供的基准服务查找方法效率提升显著,并具有查找时间几乎与服务库规模无关的良好稳定性. 傅朝阳 高济 周尤明基于双层信誉和反馈机制的可信信誉计算 2009年 针对多Agent系统中传统的信誉机制主要考虑的是事务层的信用计算,而不能很好的解决利用评价对信用计算进行扰乱和攻击的问题,设计了基于"事务信誉"、"评价信誉"的双层信誉模型和评价信誉反馈(RRF)机制.模型区分了事务信誉和评价信誉两种不同层次的信誉,利用消费方Agent的评价信誉决定对提供方Agent事务信誉的影响权重,并根据评价反馈值和评价值的距离调整以往评价者提供的评价值信誉.最后提出基于RRF机制的WS-QP算法.理论证明及实验结果表明,该模型和机制能够有效地减少恶意评价、随意评价和不公平评价等扰乱和攻击行为的影响. 徐萍 高济 郭航关键词:多AGENT系统