海事法制建设的文化选择与实践

文章阐述了海事法制文化的概念,分析了海事法制文化建设的现象、意义,并结合芜湖海事法制文化建设的实践,引导出对海事法制文化的思考。     

一种信号系统安全分析建模的设计与实现

为提高信号系统安全隐患分析效率,必须研究某一时刻多处失效的运营场景。当前有限自动机建模不能解决上述问题,设计一种用于信号系统安全分析的混合建模方法,一方面采用有限自动机建模进行某一处失效的安全隐患分析,另一方面采用Petri网建模进行多处失效且为异步并发的安全隐患分析。通过上述建模确定特定运营场景相关参数及性能指标,采用软件工具(例如VC6.0)实现信号系统安全分析模拟器。系统分析师通过安全分析模拟器进行系统安全分析,从而减少人为经验错误,提高信号系统安全隐患分析效率,避免重大安全隐患。     

铁路运输企业经济增长效率的量化分析

利用铁路统计数据计算出1985－2000年国家铁路运输企业的经济增长和机车车辆的运用效率，并就其变化特点进行分析，对其经济增长效率作出基本评价。     

一种快速检核水运工程控制点高程的方法

针对控制点高程检核效率低的问题，对北斗地基增强系统和高分辨率EGM2008重力场模型（1′×1′）的原理和数据处理方法进行研究，通过融合这两种技术，提出一种快速获取待定点高程的具体流程和操作方法，并通过工程实例验证。结果表明，本方法获取的高程外符合精度均小于5 cm；可以有效鉴别已有成果的可用性，并判别其高程系统的类型；该方法不仅准确可靠、便捷高效，而且可以降低生产成本，对类似工程具有参考价值。     

微波辐射对人体影响的调查

微波辐射能否引起人体遗传学效应或胎儿损坏,目前国内尚未报导。本文通过对某雷达制造厂和某地面卫星雷达跟踪站的调查,以期观察脉冲雷达微波对人体造成的不良影响,并为今后开展微波致崎作用的研究提供参考。     

一种信号系统安全分析建模的设计与实现北大核心

为提高信号系统安全隐患分析效率,必须研究某一时刻多处失效的运营场景。当前有限自动机建模不能解决上述问题,设计一种用于信号系统安全分析的混合建模方法,一方面采用有限自动机建模进行某一处失效的安全隐患分析,另一方面采用Petri网建模进行多处失效且为异步并发的安全隐患分析。通过上述建模确定特定运营场景相关参数及性能指标,采用软件工具(例如VC6.0)实现信号系统安全分析模拟器。系统分析师通过安全分析模拟器进行系统安全分析,从而减少人为经验错误,提高信号系统安全隐患分析效率,避免重大安全隐患。     

基于模型驱动的文件解析研究

简述ATP软件国产化科研项目pcsam软件的背景。针对法国CSEE版pcsam软件存在的较多不足,提出一种新解析方法——模型驱动解析。模型驱动解析首先借助xml模型驱动思想灵活处理sam文件的解析结构和定义;其次设计按比特方式的解析函数并采用工厂方法模式架构软件以实现软件的开闭原则;最后利用多种计算机技术例如二进制文件存储数据、控制I/O次数、多数据流以及多线程等提高解析速度。采用模型驱动解析使国产pcsam软件实现了正确、快速的数据解析,论文给出基于VC6.0平台的实现方法。     

海外工程UTM坐标投影变形的特点及消除方法

针对UTM投影坐标在海外工程应用中常见的长度变形超限问题,全面论述UTM坐标的定义及其与国内常用的高斯坐标不同之处,深入研究UTM坐标投影变形的原理、数学模型并进行定量化分析,给出两种有效消除UTM坐标投影变形的方法,并通过海外工程实例进行验证。结果表明,本文方法可以有效消除长度变形,满足测量规范与海外工程建设的需要。