基于UML状态图的测试用例自动生成方法

随着UML建模在软件开发中的广泛应用,基于状态图的测试用例自动生成方法逐渐成为规格说明测试中的重要研究方向.在研究了现有测试用例生成方法的基础上,提出了采用函数最小化思想,依据边界测试准则生成测试数据,采用深度优先策略及记忆化搜索高效地生成测试用例.实验结果显示该方法能以较少的测试用例达到较高的路径覆盖率.     

未来50年沁河下游河道行洪能力变化分析

通过不同的计算方法,分析了沁河下游现状河道行洪能力,并根据1950年以来的资料分析了沁河下游冲淤变化和平均淤积速率,对未来50年河道行洪能力变化进行了预测,为沁河下游河道防洪提供了科学依据.     

从质量管理体系看中外合作办学教学管理中的问题与对策

高职院校在引进国外先进教学理念和教学内容,教学方法的同时,也面临着许多需要解决的问题,其中最重要的,最突出的问题便是教学管理的问题。因为只有提高了教学管理的效率,才能使合作办学真正凸显其"洋为中用,中西合璧"的效果。否则,就只能是打着合作的旗子,行的仍然是中国特色的教学,事倍而功半。     

添加表面活性剂的池沸腾换热特性

对阴离子表面活性剂SDS、非离子表面活性剂Triton X- 100及Triton X-114及其稀溶液进行了热稳定性试验和表面活性剂水溶液的池核沸腾试验.结果表明:试验工况下表面活性剂及其溶液的热稳定性较好;和水相比,表面活性剂质量分数在其临界胶束浓度(CMC)所对应的质量分数或其附近时换热强化效果最佳;基准质量分数...     

性格会影响寿命

性格是指一个人在个体生活过程中所形成的对现实稳固的态度,以及与之相适应的习惯了的行为方式。人的个性差异首先表现在性格上,有人娇嗔、傲气;有人热情、开朗;有人深沉、多思;有人大胆、自信;有人耐心有余而仔细不足;有人耐心、仔细两者兼而有之;有人大胆而自信不足;有人则快中有粗,粗中有细;有人却慢条斯理、有条有理,可谓千姿百态。任何性格特征都不是一朝一夕形成的。它是从儿童时期起不断地受到社会环境、教育的熏陶和自身实践长期塑造而成的。俗话说:从小看大,到老一半。     

形态学运算性质及运算结果的影响因素分析

本文主要介绍了形态学基本运算的定义方式,分析形态学基本运算具有的性质,并分析运算性质和形态学算子、结构元素对运算结果的影响,以期为相关学者的研究提供参考。     

沥青路面养护智能检测与决策综述

通过疏理沥青路面养护智能检测与决策应用领域、研究现状和发展趋势,分析沥青路面检测与监测技术工作原理与研究进展,总结目前各种路面病害智能识别技术特点和存在的问题,针对沥青路面智能检测和智能养护决策手段所面临的挑战和发展趋势进行探究与展望.分析结果表明:可视化方法、雷达、光纤光栅、声学技术和振动技术等手段在沥青路面检测与监...     

一个基于GDH群的前向安全分布式数字签名方案

将一个基于GDH群的数字签名方案扩展到分布式数字签名中,并将前向安全的概念扩展到该签名方案中,提出一个有效的前向安全分布式签名方案．使用部分签名密钥安全前向更新,使集体签名安全前向更新,使得任何成员都不可能单独控制签名密钥的更新．增强密钥的安全性,使签名方案具有前向安全性．     

建筑结构仿真分析中的可视化技术

从结构仿真分析图形模块与所选择的数值分析方法密切相关这一重要特点出发,介绍了建筑结构仿真分析中在图形建模、构件裂缝表现及再现结构动力反应过程中所使用的三维可视化技术．对不同的数值分析模型（包括分段变刚度单元模型、离散单元模型及多弹簧模型等）所产生的计算结果进行了可视化表达．同时强调了可维护的数据结构和程序结构对于结构仿真系统开发的重要性．     

基于混合离散人工蜂群算法的阻塞Flow Shop调度

针对带阻塞的Flow Shop调度问题,以最小化总流水时间为调度目标,提出了一种混合离散人工蜂群(Hybrid Discrete Artificial Bee Colony,HDABC)算法。HDABC算法采用基于NEH和NEH变体初始化,保证种群的质量和多样性。在雇佣蜂阶段采用差分进化策略产生邻域个体;在跟随蜂阶段采用锦标赛选择方法选择个体跟随,并对选择的个体采用优化插入操作产生新的邻域个体。此外,在侦查蜂阶段再一次采用锦标赛选择方法选择个体,并对较好的个体执行破坏重建操作,用产生的新个体代替原来较差的个体。用正交设计方法调节了该算法的参数。通过与其他两个算法的仿真实验结果比较,验证了本文算法的优越性。