排序方式: 共有7条查询结果,搜索用时 15 毫秒
1
1.
2.
轨道交通区域控制器对行车安全至关重要,设备投入使用前需进行严格的测试,针对目前区域控制器测试序列人工生成,测试效率低的问题,提出一种基于时间自动机模型的测试序列自动生成方法。首先分析区域控制器的功能建立时间自动机模型,用UPPAAL对模型的正确性进行验证;编写MFC应用程序,利用Tiny XML解析库解析模型文件,提取状态信息和变迁条件,生成测试案例集;由测试功能划分测试序列的初始状态和结束状态,并根据测试案例的串接条件,利用深度优先搜索设计最小重复度算法将测试案例串接成测试序列;最后,利用该方法生成了区域控制器切换功能的测试序列,通过分析可知生成的测试序列符合区域控制器的工作流程和测试环境,结果证明该方法能有效提高测试序列的生成效率。 相似文献
3.
结合弁山隧道冒顶塌落注浆进行加固的工程实例,重点讨论针对塌洞内松散土体进行注浆加固时所采取的几个关键性的技术措施及其工艺流程。强调了注浆加固施工中技术控制要点及工艺流程的合理性对注浆加固效果的重要性。 相似文献
4.
为解决车身焊缝密封胶胶泡问题,从密封胶胶泡的发生原因作为切入点、首先详细介绍了车身解体、断面分析的密封胶胶泡分析方法,明确发生原因为折边胶胶量过大,采用调整板缝、调整折边胶等处理方式来解决问题,结果表明:板缝≤0.02 mm时可以消除胶泡,调整炉温可减小胶泡的尺寸,无法改善胶泡数量。 相似文献
5.
6.
为掌握大容量铅酸蓄电池电解液液面高度波动的变化规律,研究了蓄电池不同时率充放电过程中液面高度的变化情况,对试验结果进行了分析研究。结果表明蓄电池电解液液面波动主要是充放电过程中硫酸及水的转化造成的,充电末期电解水大量氢气氧气的产生、附着及溢出也是造成电解液液面波动的另一重要因素。其它如蓄电池极群的装配比、正负极板的孔率、充电制度、环境温度等也是影响蓄电池电解液液面高度的因素。 相似文献
7.
文章共选用9个指标参与主成分分析,对2010—2021年中国能源金融市场风险进行评价,认为我国能源金融市场风险主要受较高的能源进口依赖性和突发事件的影响,并提出了加强对国际形势和突发事件的研判、加强国际合作等相关建议,以供参考。 相似文献
1