基于TRSL的RBC等级转换场景研究

无线闭塞中心等级转换场景作为中国列车运行控制系统主要场景之一,切换成功与否直接影响高速列车的安全和运行效率。通过对形式化验证方法的分析,采用基于定理证明的时间化工业软件工程规范语言的严格方法(Timed Rigorous Approach to Industrial Software Engineering Specification Language,TRSL),在对等级转换过程进行分析的基础上,设计交互信息图,构建状态迁移图,并结合域建模方法实现对该场景的TRSL描述,最后利用语言推理规则,结合系统特性,实现对切换正确性和实时性的双重验证,结果表明:该场景满足系统规范对功能性和实时性的要求,继而说明该方法的有效性、正确性和通用性,为我国列控系统的设计开发和验证提供一种新的途径和依据。     

手持GPS在铁路勘测中的应用

介绍了手持GPS在铁路勘测中的应用方法 ,就坐标系统转换进行了详细的描述 ,并结合西安高速铁路勘测工程实例加以验证。     

BIM与GIS融合技术在航道整治工程中的应用

针对航道整治工程中BIM技术无法管理条带状工程、难以表达工程周边地理信息等难点,通过梳理BIM与GIS数据特点,研究探索BIM与GIS融合技术,提出了通过格式转换、坐标转换和数据关联实现BIM与GIS融合的方法。将研究成果应用在蕲春水道航道整治工程,验证了BIM与GIS融合方法的可行性,实现了BIM与GIS数据一体化浏览、显示、管理、分析等功能,解决了BIM无法管理大范围工程、无法反映工程周边环境的不足,为BIM与GIS技术在航道整治工程中的应用提供了技术支撑。     

血清胱抑素C与肌酐在评估75岁以上老年慢性心衰患者预后中的价值

目的比较血清胱抑素C(cystatin-C,Cys-C)和肌酐(creatinine,Cr)对评估老年慢性心脏功能衰竭(chronic heart failure,CHF)患者预后的价值。方法收集我院心内科及老年科2010-2012年住院确诊为CHF的75岁以上老年患者183例。抽取静脉血,检测所有患者血清中Cys-C和Cr的表达情况。随访3年,记录患者3年内生存情况。Logistic回归分析Cys-C和Cr以及其他危险因素与老年CHF患者3年死亡率的相关性。ROC曲线分析比较Cys-C和Cr在老年CHF患者预后评估中的价值,最后进一步用统计学方法分析Cys-C和Cr二者联合检测对老年CHF患者预后评估的价值。结果随访3年后,74名患者死亡,占整体人数的40.44%;相比于生存组,死亡组患者血清中Cys-C和Cr升高(P<0.05);多因素回归结果显示,年龄(OR=1.11,95%CI=1.04~1.19)、收缩压值(OR=1.11,95%CI=1.04~1.19)、BNP(OR=1.11,95%CI=1.04~1.19)、LVEF(OR=1.11,95%CI=1.04~1.19)、Cr(OR=1.11,95%CI=1.04~1.19)、Cys-C(OR=1.11,95%CI=1.04~1.19)都是老年CHF患者死亡的独立危险因素。ROC曲线分析结果显示,Cys-C和Cr的AUC值分别为0.71(95%CI,0.64~0.78)、0.65(95%CI,0.58~0.72),Cys-C优于Cr(P<0.001);Cys-C&Cr联合检测时,AUC值为0.73(95%CI,0.66~0.79)。结论 Cys-C在评估老年CHF患者预后中优于Cr,两者联合检测可以进一步提升对老年CHF患者预后评估的敏感性和特异性。     

融合分享 创新驱动 转型升级 共赢发展“新常态”

随着经济全球化进程的不断加快和我国全面深化改革的持续深入,更加开放的全球贸易体系和日新月异的商业变革、技术改革塑造了新的经济常态。在APEC工商领导人峰会上,习近平总书记阐述了新常态下中国经济的三个特征:一是从高速增长转为中高速增长;二是经济结构不断优化升级,第三产业消费需求逐步成为主体;三是从要素驱动、投资驱动转向创新驱动。日照港是伴随我国改革开放诞生发展起来的新兴沿海主     

GPS在航潮位测量中的关键技术研究

在传统潮位测量方法缺陷分析的基础上,提出了在航潮位测量思想。为了获得高精度的在航潮位测量成果,对利用GPS RTK/PPK技术进行潮位测量和数据处理中的关键问题进行了深入的讨论。这些关键问题主要有姿态改正、GPS高程质量控制、垂直基准转换、基于信号的在航潮位提取。在姿态改正中,详细的给出了姿态改正的计算模型;对于GPS RTK/PPK高程数据存在的异常的问题,给出了Kalman滤波以及Heave修正的方法;为使GPS在航潮位研究实用化,对验潮中垂直基准的转换问题进行了深入的研究和讨论,最后给出了无缝垂直基准的概念和转换思想;利用信号处理理论,基于Butterworth滤波器,提取出了潮位,并将GPS潮位与潮位站潮位进行了比较,获得了理想的结果。     

港口企业对离岗职工人性化管理的探索

近年来上海港主要港口企业上港集团面临城市功能结构调整和企业本身结构调整．成批的离岗职工产生,集团以及下属公司特别是那些在结构调整中整合力度大,人员变动显著的公司都把它作为企业管理的重要组成部分加以研究．从而探索出一整套人性化管理的理念和方法。     

信息

由省交通厅正式批复。根据规划,茂名港将以服务茂名市临港产业发展所需的能源、原材料运输为主,相应发展集装箱支线运输,积极拓展港口物流、商贸服务功能,逐步发展成为以工业港为主体的多功能、现代化综合性港口。茂名港规划港口岸线6段,合计总长60．2公里,现已开发利用13．9公里。     

船舶交通管理系统报警功能分析

本文基于南通船舶交通管理系统报警功能的使用情况对报警数据进行了统计分析,讨论了系统报警功能对其覆盖水域事故险情预防、预控和预警的积极作用,指出使用中仍存在的问题,并给出相关使用建议。     

发挥连云港港“连接南北 沟通东西”枢纽作用

围绕国家的战略决策和发展定位．根据省市的总体要求和工作部署,我们正按照“延伸一体、拓展两翼”的发展思路,坚持“港工互动、港园联动、港航并举”的发展原则,狠抓港口功能建设、集疏体系完善、现代物流经营、口岸环境优化、临港产业发展等工作．