基于在线一致性测试理论的CBTC车载ATO功能测试研究

自动列车驾驶系统(ATO)是CBTC系统的重要组成部分,验证测试其控制功能逻辑的正确性和安全性至关重要。介绍了ATO控制原理和功能,分析了CBTC中典型的两车追踪控制运行场景控制流程,得到了该场景下的列车运行安全需求。结合时间自动机理论,建立了包含列车动力学、车载ATO、ZC以及时钟控制器的两车追踪场景时间自动机网络模型,验证了模型中安全需求的正确性;基于一致性测试理论,定义了被测车载ATO软件与测试环境的可观测输入/输出接口,利用UPPAAL-TRON工具设计了被测车载ATO软件的一致性测试框架,并进行了一致性测试分析。在此基础上,采用变异测试,针对典型的车载ATO软件功能实现错误(错误的安全距离、静态限速、功能逻辑以及命令丢失等)进行了安全性验证。结论表明:该在线一致性测试方法能够及时发现车载ATO软件行为与规范模型的不一致,有效提升了车载ATO功能测试的检错能力。     

功效系数法在水泥稳定材料配合比设计中的应用

水泥稳定材料的配合比设计方法主要考虑技术指标,对经济指标关注很少。对满足强度要求的多个配合比设计方案,将价格也作为考察指标之一,运用功效系数法加以评价和优化,获得性价比最佳的配合比设计方案,既能保证质量,又可节约工程成本,并总结出一种多指标权衡的配合比设计评价和优化方法。     

简述极地重载甲板运输船照度计算方法

极地重载甲板运输船照度计算主要分成了两个部分,室内照明的照度计算和室外照明的照度计算,其中室内照明的照度计算是利用系数法计算,室外照明的照度计算通过3D照度计算软件计算.     

山西省平陆县县域路网规划研究

随着我国经济社会的快速发展,城镇格局和规模都发生了很大的变化,原有路网规划则稍显不足。为解决好平陆县公路建设与经济发展的关系问题,在对该县域路网的实地勘察和调查的基础上,利用国土系数法预测未来规划年内的路网规模,并通过对路网布局的全面分析,提出了"五横九纵一环"的布局方案。     

基于GRA-CV的非洲西海岸主要港口竞争力评价研究

在分析港口竞争力影响因素的基础上,结合非洲实际情况,构建非洲西海岸港口竞争力评价指标体系;采用变异系数法(CV)和灰色关联度分析法(GRA)相结合的评价方法,对非洲西海岸22个主要海港进行评价和排序。结果显示:投资和运营拉各斯港、卡萨布兰卡港等竞争力强的港口应为中资企业的优先选择。研究可以为中资企业在非洲进一步开展港口合作,如选择投资对象等决策时提供参考依据。     

基于速度系数法的离心泵叶轮优化设计

离心泵在水力设计中应保证达到设计参数的要求,有较高的水力效率和良好的汽蚀性能.以离心泵水力设计的速度系数法为前提,应用机械优化设计的方法,以离心泵的效率和汽蚀性能为优化目标建立了离心泵叶轮的优化设计模型,并通过实例计算证明了该方法是切实可行的.     

拉米呋啶治疗后乙肝病毒聚合酶YMDD的变异

目的观察拉米呋啶治疗慢性乙肝患者1年前后,患者体内HBV DNA多聚酶结构域C的酪氨酸—甲硫氨酸—天门冬氨酸—天门冬氨酸(YMDD)基因变异情况,及其与血清HBV DNA、丙氨酸氨基转移酶(ALT)水平及乙肝标志物变化的关系。方法采用实时荧光定量PCR、ELISA及速率法分别检测60例乙肝患者经拉米呋啶治疗后其血清YMDD、HBV DNA、乙肝标志物及ALT的变化情况。结果拉米呋啶治疗9月、1年后YMDD的变异率分别为5%、13.3%。YMDD变异组HBV DNA阴转率为12.5%,无变异组HBV DNA阴转率为67.3%,两组阴转率相比差异有统计学意义(P<0.01)。拉米呋啶治疗1年后YMDD变异组ALT为(40.7±14.7)u/L,无变异组ALT为(26.5±10.1)u/L,两组相比差异有统计学意义(P<0.01)。5名HbeAg阴转患者无YMDD变异。结论乙肝患者经拉米呋啶治疗后,YMDD变异率随用药时间的延长可逐渐增加,当其HBV DNA、ALT含量出现明显反跳时,应及早改变治疗方案。     

广告英语的特点及其翻译

从广告英语的独特语体、中英语言文化差异等方面分析了进行广告英语翻译时应注意的一些问题。本文同时涉及了如何看待广告英语中的修辞手法和语言变异现象。     

重力式码头稳定性可靠指标简化计算方法

利用蒙特卡洛方法分析了影响方块、扶壁和重力沉箱式码头抗滑、抗倾稳定性可靠指标计算中作用效应与抗力变异性的主要因素,通过对蒙特卡洛模拟结果的回归分析,建立了重力式码头抗滑、抗倾稳定性可靠指标计算中作用效应与抗力变异系数与这些变量的关系,最后利用JC法计算的可靠指标进行校正,提出了方块、扶壁和沉箱式重力码头抗滑、抗倾稳定性可靠指标的简化计算公式.与分项系数法相比,在计算量增加不大的情况下,利用简化公式可求得重力式码头的抗滑、抗倾稳定性可靠指标.     

对教育收益率的认识及其量化

教育是人力资源开发和建设的基础，对教育的投资是最基本的、最重要的。它是实现人才资源总量增加和质量提高的根本保证。这样一种观点被接受之后，教育收益率问题备受关注。 本文就教育收益率问题展开讨论。