蔡森虎
- 作品数：4 被引量：3H指数：1
- 供职机构：重庆大学计算机学院更多>>
- 相关领域：自动化与计算机技术化学工程更多>>
- 基于熵权的可拓方法的化工单元安全评价模型被引量：1
- 2010年
- 鉴于通常所选用化工单元安全评价方法在各指标或因素的权重选取时有过多主观性会使得计算的权重"失真",笔者采用了熵值法确定权重系数提高各指标权重计算的合理性和可靠性,利用可拓法中的优度评价方法,建立化工单元安全评价模型,为化工单元安全评价提供了一种新的量化方法,使评价更加客观和准确,并且依据此模型对合成氨单元的安全进行了评价.
- 蔡森虎姜磊
- 关键词：化工安全可拓理论熵权
- OCL约束下多态路径测试方法的研究
- 随着软件技术的快速发展和软件产品的广泛应用，软件测试作为保障软件质量的重要手段越来越受到研究人员的关注。近年来面向对象软件开发技术的广泛应用，带来了信息技术革命的同时也对传统的软件测试技术提出了新的挑战。半形式化的建模语...
- 蔡森虎
- 关键词：OCL约束UML模型
- 文献传递
- 一种支持MDA的UML类图到RDB模型的转换方法被引量：1
- 2010年
- UML被MDA用来描述各种模型,成为建模语言事实上的标准。但是,由于UML类图中缺少对关系数据库的实现的约束,使得类图转换到的关系数据库模型不唯一,不能充分体现设计者对数据库的设计意图。这不利于MDA中PIM模型和关系PSM模型的双向转换。为解决以上问题,本文提出一种通过添加构造型和OCL约束来扩展UML类图的方法,以加强类图中数据之间的关系及约束,使PIM模型能够唯一地转换到PSM模型。最后,采用QVT模型转换方法将扩展后的UML类图转换到关系数据库模型,并结合例子给出了UML类图的关联、继承、组合和聚合关系等到关系数据库模型的转换规则和方法。利用本方法可以使UML类图到关系数据库模型的转换结果唯一。
- 曾一王健洪媛周欣蔡森虎
- 关键词：UML类图关系数据库模型OCLQVT
- 基于SA-PSO的多态路径测试数据生成方法被引量：1
- 2011年
- 目前测试数据生成方法多数未考虑到面向对象软件的多态特性,无法运用生成的测试数据对程序的多态信息进行充分的测试。根据多态路径测试数据生成的要求,提出了一种应用模拟退火—粒子群优化(simula-ted annealing-particle swarm optimization,SA-PSO)混合算法在多态路径测试中生成测试数据的方法,并通过多态性实例对基本粒子群算法、遗传算法、PSO-GA(particle swarm optimization-genetic algorithm)和SA-PSO算法在相同条件下进行了比较,结果表明SA-PSO算法具有更强的搜索能力,可以更快地发现全局最优解,能更好地为包含多态信息的测试路径生成测试数据。
- 曾一蔡森虎覃钊璇周吉许林
- 关键词：粒子群优化算法模拟退火算法多态测试数据
