基于VB6.0公路工程碳计量体系的开发研究

首先阐述了全寿命周期公路碳计量的内容和意义,把全寿命周期公路分为5个时期,即建设前期、施工期、运营期、维养期和拆除期,并对每一个阶段建立了碳计量模型,能够计算每个时期的碳排放量以及总的碳排放量.并在VB6.0的环境下开发了全寿命周期公路碳计量软件,经过具体公路工程实例验证,该程序能够较准确地计算全寿命周期公路碳排放量的结果,从而为交通部门的决策者、建设者、施工方等单位在对公路的碳排放量进行评估时提供有效的决策支持.     

模型面向过程式语言切片工具的实现

本文以一种自定义的小型面向过程式语言(Similar C Language,简称SCL)作为实验语言,在图论和编译技术的基础上,提出了一种分层次切片面向过程式程序的新方法,描述了实现SCL语言切片工具的完整方案。     

未来小迷你

MINI最新设计语言下的未来MINI视觉概念车,让原本复古的小车立刻充满科幻元素。当然全新设计恐怕会让MINI死忠们不大买账,但这并不重要,因为这辆从里到外都信心满满的概念小车一定会为MINI争取来更多买主。     

高铁信号系统安全关键功能测试建模方法

测试模型是高铁信号系统安全关键功能测试用例编制的重要基础,针对高铁信号系统安全关键功能测试建模过程中描述信号系统领域特征不够全面的问题,提出时间状态机测试建模理论和测试用例生成方法. 分析高铁信号系统测试建模的特点,提出信号系统安全关键功能测试模型的建模需求;以有限状态机理论为研究基础,结合功能逻辑和时钟约束提出时间状态机建模方法,采用Z规格说明语言给出时间状态机的形式化定义;将时间状态机转换为时间自动机,证明转换之间的一致性,并基于时间自动机的测试理论自动生成测试用例,再以计算机联锁系统中的道岔转换功能为例,建立时间状态机测试模型并生成测试用例. 最后,将两种方法生成的测试案例进行对比,结果表明:在功能逻辑方面,基于时间状态机建模方法生成的测试案例100% 地覆盖了基于时间自动机建模方法生成的测试案例,并新增了16条具有时钟约束的测试案例,能够满足高铁信号系统安全关键功能测试建模的需求.      

基于ANSYS的船舶纵向下水弹性计算方法

随着建造的船舶载重吨位的逐年增大,下水过程中船体和船台结构的安全性越来越受到业界的关注.文章提出了基于ANSYS的船舶下水弹性梁计算方法,采用ANSYS参数化设计语言实现下水全过程仿真计算.所开发的程序考虑了船体梁弹性弯曲和墩木等支撑结构的弹性变形,可以准确地预报船舶尾浮及全浮滑程并判断是否存在尾弯及首跌落现象,计算出下水全过程中船体弯矩、剪力、墩木反力及其变化,为校核船体及船台强度提供了准确的荷载.文中还提出了在船尾部安装浮筒以克服尾弯的新措施.     

立体执法——构建快速高效海上安全监管模式

9月23日9时,宁波大榭海事码头细雨霏霏,随着浙江海事局局长徐国毅的一声"出发"令,"海巡113"等三艘主力船艇编队起锚踏浪,驶向金塘大桥施工作业区。与此同时,一架载有海事执法人员的"中国海事"直升飞机在舟山     

海上有事找海事——茂名海事局关键时刻发挥关键作用

在祖国南海之滨的璀璨明珠茂名港。活跃着一支以“航行更安全、水域更清洁、航运更便捷”为服务宗旨的海事监督执法集体——茂名海事局。该局成立于1986年，经过二十年的不懈努力，他们夯实了基础，关键时刻发挥关键作用。不管商船还是渔船，不管渔民还是游客，茂名海域哪里有险情，哪里就有他们活跃的身影。他们在狂风暴雨、波峰浪谷中竞风流。他们维护了人民生命财产安全，代表了人民群众的根本利益，实践了“三个代表”的重要思想，为落实科学的发展观，构建和谐社会做出了贡献：人们称赞他们为“茂名海上卫士”？“海上有事找海事”已成为人们海上遇险时的第一反应。     

论中西思维差异在英汉句法上的体现

本文初步探讨了中西方思维差异在英汉两种语言句法上的体现:汉语整体思维下的意合句式与英语个体思维下的形合句式;汉语整体模糊思维下的省略式构建与英语个体分析思维下的完整构建;汉语整体直觉型思维下的主题——评论式句式与英语个体分析型思维下的主谓式句式;汉语主体意识下的主动句与英语客体意识下的被动句。     

对大学生英语学习问题的若干思考

众所周知，影响大学生英语学习的因素很多，本文仅就大学生英语学习过程中存在的误区、思维与语言学习的关系及提高英语学习水平的根本途径等几个方面进行初步探讨