摘要：UML已经成为建模语言的事实标准,如何从UML模型生成测试用例为面向对象软件测试带来了新的挑战。为测试用例提供测试数据是其中的关键环节。ShaukatAli等人在UML基础上提出SCOTEM模型,但是该模型的测试数据需要人工生成。针对SCOTEM模型进行了改进使其适于灰盒测试,以OCL约束测试数据的生成和运行结果的验证,并提出了一种为基于粒子群算法的改进SCOTEM模型自动生成测试数据的方法。针对不同的覆盖标准,试验结果表明,该方法能够以更高的效率生成高质量的测试数据。

摘要：人工冻结法的冻结帷幕直接关系到地下施工的环境安全,现阶段对于冻结帷幕形成与否的判定仅仅通过有限的测温孔和压力孔数据,常造成判定不准、开挖后透水无法施工、需二次冻结的情况发生。为了高效准确地探测冻结帷幕的性态,本文通过地质雷达法进行冻结帷幕的探测试验。在实际物理探测前,采用数值模拟进行可行性分析,数值模拟结果表明,地质雷达法是有效的。以此为依据,笔者对内蒙古某地铁采用冻结法施工的联络通道进行实际探测,表明采用地质雷达法进行冻结帷幕的探测是基本可行的,能够对冻结帷幕进行定性分析,但要做到定量分析还需要继续深入研究。

摘要：介绍了一种用于加工巨型油轮舵叶的锥孔、安装止口及端面的组合工装传动原理及结构设计.镗锥孔刀具的切削运动和轴向进给运动采用平面差动周转轮系实现;车止口及刮端面刀具的切削运动和径向进给运动采用空间差动周转轮系实现.该工装是在一次装卡下实现三个形体的加工,因而不仅能够保证舵叶锥孔本身的加工精度,而且能够保证安装止口和锥孔之间的形位精度,从而可保证加工质量.

摘要：目的基于毛细淋巴管与毛细血管孔径之间差别,设计并合成1种新型大分子淋巴特异性右旋糖酐与甲苯胺蓝偶合物染料示踪剂。方法以甲苯胺蓝为原料,右旋糖酐为载体制备大分子染料。兔颈部淋巴染色实验中,以甲苯胺蓝为阳性对照,对比2种染料相应颈部淋巴管、前哨淋巴结(SLN)染色时间,舌体扩散范围,并进行了病理组织学检查。结果制得平均分子粒径为200nm的新型大分子右旋糖酐和甲苯胺蓝偶合物淋巴染色示踪剂。新型大分子染料淋巴管平均染色时间(19.7min)大于阳性对照组(14.3min),SLN平均染色时间(>4周)大于对照组(<2d),舌体平均扩散范围(10.5mm)小于对照组(20.0mm)。结论新型大分子染料较常用活性染料甲苯胺蓝具有染色时间长,不易弥散,淋巴选择性高等特点。

摘要：我国在新建铁路中建造了一些预制混凝土节段胶拼梁桥,多为48、56、64 m简支箱梁结构形式。通过48 m预制混凝土节段胶拼简支箱梁的静动载试验,对节段胶拼简支梁结构的受力性能进行研究。结果表明:梁体实际竖向抗弯刚度大于设计刚度,抗裂性能满足规范要求;梁体跨中截面和胶接缝截面的应变变化符合平截面关系;梁体实测竖向自振频率、阻尼比、竖向动挠度、动力系数、桥面板竖向加速度和支座横向位移均满足规范和设计要求;48 m节段胶拼梁的动力性能满足25T型客车以速度140 km/h和23 t轴重货物列车以速度120 km/h运行时相关验收标准的要求。通过在桥面施加均布荷载的方式可以实现节段拼装简支箱梁的静载试验。

摘要：移动式颗粒床除尘冷态试验装置包括含尘气体发生系统、颗粒床除尘系统、精过滤系统、滤料循环再生系统、仪表控制系统等组成,设计需要考虑滤料及尘样的选择,考察运行效果的主要指标为过滤效率及压降,冷态试验可以为以后的热态装置开发提供理论依据和数据,具有较大意义。