基于模型的联锁软件测试用例生成方法

联锁软件测试是保证联锁安全的重要手段之一,为解决联锁软件测试通用性不强,人工消耗过大的问题,提出一种通用联锁软件测试用例生成方法。结合计算机联锁技术条件、分析软件的功能需求将其转化为工具可识别的状态对象,并对识别的状态进行划分,形成若干四元组合,生成联锁状态转换的树形网状结构。通过对建立的树形网状结构解析,得到结构中若干四元组合的源状态、联锁条件和目标状态,生成抽象的测试用例,并根据预先写好定义的输入对每一组抽象用例进行反推,最后生成一系列的具体可执行的测试用例。该方法生成的用例可覆盖已知场景的所有联锁测试功能,减少人工编写用例时间,同时减少人为因素导致用例出错的概率,提高测试可靠性。     

基于CASS的断面法土方量计算方法

土方量计算是工程设计中经常遇到的问题。如公路设计、渠道设计、防洪堤设计、水库坝堤设计及建筑设计等,都需要精确计算其土方量。土方量计算是这些工程设计的一个重要组成部分,也是其设计中最关键最烦琐的一道工序。土方量直接关系到工程造价,所以计算起来一定要准确、符合实际。一般工程土方量主要包括挖方、     

基于层次分析法的超大隧道断面多准则优化分析

四车道超大断面公路隧道的几何参数会影响工程造价和结构稳定,为了合理拟定隧道断面尺寸,以温州大罗山隧道为依托,在0.4～0.5区间内拟定了5个不同矢跨比的断面方案,并综合考虑断面面积、衬砌周长、水平收敛、拱顶下沉、拱顶偏心距5个因素作为准则层,采用荷载-结构法对不同矢跨比的大断面隧道进行数值分析,并采用层次分析法对分析结果进行多准则优化分析。结果表明,矢跨比为0.43的断面为适合依托工程的最佳断面。     

基于模糊理论的高速公路避险车道断面宽度设计研究

现有部分高速公路避险车道断面宽度设计方法由于考虑因素不全,导致设计宽度无法达到高速公路安全水平.为了精准设计高速公路避险车道断面宽度,构建避险车道断面因素影响模型,以此为基础,将避险车道断面划分为三部分,即渐变段、引道与制动车道,详细分析避险车道断面宽度设计情况,以避险车道断面宽度设计分析结果为依据,基于模糊理论构造避...     

长节段大吨位预制拼装综合管廊标准化设计

以某4舱综合管廊整节段预制拼装工程为依托,提出一种在管廊结构上方运输及安装节段的施工工艺,并从综合管廊总体设计、标准断面设计及节点设计等方面分析提高标准断面模数化及其占比的措施,以期为其他预制管廊工程的设计提供参考。     

基于烧结机尾断面图像处理系统的开发

介绍了DSP6711的硬件特性和烧结机尾断面图像检测、识别的原理及算法的选型,并运用基于DCT变换域的LDA特征的提取方法,实现了烧结机尾断面图像的自动识别.系统的实际运行是稳定和有效的.     

车辆荷载作用下超大断面双层隧道动力响应分析

针对温州大罗山隧道大断面双层结构力学复杂的特点,建立三维隧道数值分析模型,分析运营期车辆荷载作用下隧道结构的动力响应。结果表明,车辆荷载作用下,位移变化由大到小依次为车道、衬砌、围岩;位移响应达到峰值后逐渐衰减,直到荷载作用周期结束,并产生位移残余;加速度响应随着隧道轴线方向距离的增加而不断衰减,仅在出口段有所增加。     

法标轴载换算及不同CCAM值路面结构对比研究

法国标准广泛应用于欧洲国家和非洲法语区国家,中国工程企业参与的海外项目很多采用法国标准。法国规范中重车平均轴载转换系数(C_CAM)是路面结构计算的关键参数,不同输入条件下的C_CAM值可能大幅度影响路面结构方案及结构厚度。该文通过分析法国规范中轴载检测及轴载转换方法,提出在非洲法语区项目中有3种确定C_CAM的方法：采用规范参考值、通过轴载检测计算、合理假设代表车型和超载水平简化计算。以马里某项目为例,对不同C_CAM值条件下倒装路面结构进行对比分析和疲劳寿命反算,以期为法国理论研究及海外法标公路项目提供技术参考。     

多跨连续梁桥体系转换时支座反力与位移计算方法

为方便计算多跨连续梁桥体系转换过程中的支座反力与梁体位移,提高其计算效率,基于力学基本原理,推导了适用于不同截面与节段长度的连续梁支座反力与位移计算公式.以15跨一联连续梁桥——海子湖特大桥为对象,采用有限元法对所提出的理论公式进行验证,并对该桥多次体系转换过程中支座反力与梁体位移的变化规律进行研究.结果 表明:有限元...     

基于统一坐标系的多源数据入库方法设计

对空间地理信息数据的快速获取和使用是铁路工程建设科学决策的基础,然而,不同时期、不同方法获取的形态数据存在坐标系统、高程系统和数据格式不统一的问题,导致不同形态数据不能有效利用。针对上述难题,本文提出将多源多时期的DLG、DEM、卫星遥感影像等数据放置在基于CGCS2000椭球地理坐标系的数据库进行数据管理,通过基于ArcGIS Engine的二次开发处理系统解决对同一区域的不同数据的坐标转换、格式转换等一系列问题,并在工程实践进行相应的精度验证。研究成果可为铁路工程建设及智能化应用地理空间信息数据提供技术支持。