GTR规范下的高速公路土石方施工工法

GTR规范下的高速公路土石方施工工法在包括摩洛哥在内的法语系国家广为应用,且和欧洲规范近似。对GTR规范下摩洛哥伊阿高速公路施工实践经验进行了分析总结,不仅对在法语区国家从事土木工程施工,以及开拓欧洲高端市场,具有学习参考价值,同时对在新形势下提高我国机械化施工水平,推行模块化、标准化施工,推进施工技术和施工方法创新,具有启发和参考借鉴价值。     

舰载作战指挥系统软件体系结构设计技术初探

软件体系结构是软件系统的顶层设计内容，在用户需求与系统实现之间提供一个重要的桥梁。其目的是保证软件的质量，提高软件的可靠性、可重用性和可维护性。以舰载作战指挥系统为应用对象，分析了软件体系结构分析与设计技术、形式化描述技术以及具体的实现技术，最后给出了一个简单的实例。     

船舶设计中船东意见的管理和跟踪控制方法研究

船舶设计工作实际上是在船东和船厂互动过程中完成的,正确、合理、及时地处理船东意见是一项十分重要而且需要技巧和耐心的工作。文章从技术和经济角度,阐述了在船舶设计中要高度重视船东意见,包括船东对技术规格书的意见、船东对详细设计图纸的认可意见和船东代表现场意见等,并对如何管理和控制船东意见提出了自己的见解。     

锚机和绞车地脚螺栓强度校核计算分析

为满足CRS规范对甲板机械地脚螺栓受力的要求,本文介绍了地脚螺栓连接方法的选择,并讨论了上浪载荷和支持负载在不同工况下锚机和绞车地脚螺栓的轴向载荷和横向载荷的计算方法。     

属性驱动的列车控制系统需求建模与验证

形式化语言越来越多地用来描述列车控制系统需求规范,其精确的语法和语义一方面有助于创建精确的需求模型、消除理解差异,另一方面也为进一步分析验证提供了基础.通过提出一种基于属性的需求分析方法,利用具体的形式化技术来分析需求.首先将由自然语言描述的需求规范转换为属性描述语言(PSL)形式化规范,并通过仿真和博弈分别进行语义检查和可实现性验证,最后通过断言来检验形式化语言所刻画的系统的精确性和完整性.该方法从自然语言形式的需求约束中直接提取相关需求规范,构造形式化模型并进行验证,为需求的早期确认提供了一种新的实用途径.并以CTCS-3级列控系统RBC切换场景为例,说明该方法的有效性.     

基于XML的时间自动机状态可达性分析在RBC子系统中的应用

时间自动机中的状态可达性分析是模型建立完成之后的一个重要验证工作,大多数时间自动机建模工具均为非开源代码,不能与实际系统进行有机的结合.本文以CTCS-3中的无线闭塞中心(RBC)[1]为实际系统,提出基于XML的时间自动机状态可达性分析[2],实现了建模工具与实际测试平台不同开发环境下的数据交互,为完善整个测试平台在理论方法与实际应用相结合方面提出一个较为可行的方法.     

为历史编撰"立法"与《元史学》

《元史学》是美国著名历史哲学家海登.怀特唯一的专著。在《元史学》中,怀特为历史作品设置了一个理想框架,力图为历史编撰立法。历史编撰者运用比喻进行历史深层的诗性预构,历史作品所表现出的情节化解释、形式论证式解释、意识形态式解释缺一不可;历史中阶段和类型划分也有统一的范式。19世纪不同路数的众多历史学家和历史哲学家都包含在他的法当中。我们要辩证地看待怀特为历史编撰所立之法。     

我国BRT快速公交发展概况及用车趋势分祈

以BRT技术组成特性和应用模式为基础,分析了BRT客车产品配置及要求趋势.     

面向形式化验证的联锁翻译器软件设计

根据联锁系统的形式化验证系统需求,设计一种联锁数据翻译器软件的总体方案,实现站点接口文件、TLE文件和布尔逻辑文件等文件的翻译转换,生成形式化验证所需要的LCF文件.最后详细说明翻译器软件基于函数式语言OCaml的代码实现.     

关于中美桥规设计准则的对比及思考

桥梁设计必须遵循一定的准则并满足各种极限状态，这是构建每一座桥梁设计理念和形成高水平设计的基础。通过对比我国现行“公路桥涵设计通用规范（JTGD60—2004）”和美国“AASHTOLRFD桥梁设计规范”中的相关条款，提出应有更加务实的设计准则和多目标极限状态，立足根本进行桥梁设计的创新。