国家自然科学基金(60775029)
- 作品数：11 被引量：13H指数：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系统
- 基于子句的ALCN语言tableau算法增强方式(英文)被引量：1
- 2008年
- 由于目前tableau算法在判断概念可满足性时会产生大量的描述重复(因而浪费了很多空间),针对描述逻辑语言ALCN提出了一种基于子句重构的tableau增强方式.该增强方式对概念描述先构建一个析取范式,并只保留其中的一个合取子句,然后用这个获得的最简的概念合取子句去取代传统tableau算法构建的完整树的结点标记中的子概念集(这个过程根据需要可重复多次).由于避免了传统tableau算法因∩-,∪-规则所带来的大量的概念描述重复,这种增强方式在空间性能上有了非常大的改善.通过例子示范了这种增强方式的运用及其在空间性能上的改善程度.结果表明,这种改善是相当明显的.
- 古华茂石锦芹高济
- 关键词：TABLEAU算法子句可满足性
- 基于离散粒子群算法的织物疵点特征选择被引量：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系统
