国家重点基础研究发展计划(2003CB317005)
- 作品数：33 被引量：163H指数：7
- 相关作者：高济蒋祖华周尤明彭艳斌郭航更多>>
- 相关机构：上海交通大学浙江大学浙江科技学院更多>>
- 发文基金：国家重点基础研究发展计划国家自然科学基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术机械工程电子电信社会学更多>>
- 基于本体和规则推理的GUI软件测试用例生成被引量：7
- 2010年
- 为了提高GUI软件测试用例的生成效率和可维护性,提出了一种基于本体和规则推理的GUI软件测试用例生成方法。首先建立一个通用的GUI软件测试用例本体模型,通过对其继承和实例化可获得具体被测软件的测试用例本体模型,同时开发反映测试数据生成和测试路径生成的测试用例生成规则。最后将基于OWL的测试用例本体和基于SWRL的测试用例生成规则导入Jess推理引擎,通过推理得到符合测试需求的、易于维护的测试用例子集。在核电站堆芯换料管理系统上的应用,验证了该方法的有效性。
- 张丽颖蒋祖华
- 关键词：测试用例生成本体OWLSWRLJESS
- Probabilistic Applied Pi Calculus and Zero Knowledge
- As Zero-Knowledge proof plays a more and more important role in modern cryptography,the need for formal analys...
- Han Zhu Basics Lab
- 最小碰集问题的精确快速算法
- 2010年
- 为了有效解决最小碰集问题,基于分支约减技术提出了一个相对简单的递归算法。同时使用新近提出的一种称为度量与分治的方法,通过对问题实例规模进行加权,建立非标准的度量,对算法进行了分析,并与标准的分析方法做了比较。在分析过程中,为了优化权值以获得更好的算法时间复杂度,使用了一种成功应用于回溯算法分析的数学规划方法——拟凸规划,对建立的问题实例规模新度量中的权值进行了优化,最终证明了该算法可以在使用多项式空间情况下,在(1.23801)时间内解决最小碰集问题。
- 石磊蔡烜
- 关键词：最小碰集
- 面向大批量定制的可配置产品族模型及其规划被引量：15
- 2006年
- 提出了可配置产品族模型的描述和规划方法。基于扩展的实体-关系语言,描述了可配置产品族模型的组成结构和可配置特征。分析了不同类型的个性化模块,以及可配置属性在产品配置设计中的作用。提出了可配置产品族模型中模块规划的一般准则和可配置属性的规划方法,以支持高效的产品配置过程,并保持产品族的共性最大化。最后,以蜗杆减速器为例,阐述了建立可配置产品族模型的主要步骤和优势。
- 孟祥慧蒋祖华
- RPA_(CTI) Agent支持的开放式环境下协同设计系统被引量：3
- 2009年
- 针对开放式环境对松散耦合的灵活协作模式的需要,以及协同设计问题通常具有的"结构不良"和"创新参与"的特性,提出RPACTI Agent模型.该模型拓展了传统的确定性协作接口模式,加入了非确定性的接口描述和调用方式,提出了基于能力、潜力和兴趣的三接口模式,并在此基础上提供确定性、尝试性和弱约束集成的混合协作模式,以更加灵活的方式处理协同设计问题.同时,在模型中引入基于政策的管理,以保证自组织协作过程是面向需求和可控的.该模型既考虑了解决问题的成功率和效率,又体现了灵活性,更加适合开放式环境下的协同设计问题.
- 郭航高济胡斌傅朝阳
- 关键词：AGENT协同设计政策管理多AGENT系统
- 基于相关向量机的协商决策模型被引量：5
- 2012年
- 为了进一步提高电子商务中对手协商偏好估计的精度,该文提出了一种基于相关向量机(Relevance vector machine,RVM)算法的对手协商偏好(Preference)学习方法。在该方法中,将协商过程看作是协商议题的报价序列,把报价序列映射到新的特征空间,形成出价轨迹。用相关向量机学习出价轨迹,得到协商对手的协商偏好。以双方协商偏好为基础,通过一个优化过程产生双赢的最优反建议。实验数据表明,新方法能够减少协商回合数,增加协商总效用。
- 彭艳斌艾解清
- 关键词：电子商务协商相关向量机
- 基于配置约束处理的产品配置设计方法被引量：6
- 2006年
- 为了解决复杂的配置设计问题,提出了一种集成配置设计方法.该方法包括3个相互协作的过程:通过实例匹配技术从现有设计实例库中搜索满意设计解;通过领域知识的支持解决具有强烈知识依赖性的模块配置问题及关键参数的赋初值问题;通过进化算法解决配置设计过程中参数的求解和优化问题.针对参数求解和优化过程中的一些复杂配置约束,在传统进化算法的基础上提出了约束校核操作和再设计规则的配置约束处理方法.最后以蜗杆减速器为实例,验证了所提出的基于配置约束处理的产品配置设计方法能够快速给出良好的设计解,从而为复杂产品的配置设计问题提供求解方案.
- 孟祥慧蒋祖华
- 关键词：进化算法领域知识
- Digestion-Based Software Formal Transformation
- Software reliability is becoming increasingly important in today’s information era.Many techniques have been p...
- Xiaojuan Cai BASICS Lab
- 基于多Agent协商的服务流程定制被引量：25
- 2006年
- 针对复杂业务需求,提出了基于多Agent协商的服务流程定制模型、算法和系统．首先介绍了该模型及其支持系统的框架以及服务Agent的结构和工作原理;然后在将业务需求满足定义为分布式柔性约束满足问题的基础上,提出了基于多Agent协商的求解算法并介绍了一个应用案例;最后,给出了一个原型系统．该模型和系统能够对复杂的业务需求进行建模和求解,从而寻找到合适的服务,满足了服务流程定制的需要．
- 曹健李明禄张申生
- 关键词：服务AGENT多AGENT协商
- 基于散列的语义服务匹配算法被引量：1
- 2010年
- 为提升服务匹配算法的性能,提出在散列过程中进行语义匹配。设计了基于框架的本体描述模型和支持多属性的服务描述模型。针对不同粒度模型子块的"约束结构"或"定义结构"设计散列函数,在按子块粒度递增的多重散列过程中完成服务匹配;设计了子块间的包容关系语义,并基于该语义进行散列冲突消解。理论分析表明该方法的匹配耗时指标为一区间常数。实验证明,该匹配策略相对于当前主流服务发现方法,提升查全率和查准率的同时,降低了匹配耗时;能快速建立支持高效服务组合的服务依赖关系图。
- 傅朝阳高济郭航周尤明
- 关键词：本体语义匹配
