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

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

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

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

未来小迷你

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

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

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

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

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

铁路局安全问题分层管理系统

针对铁路安全问题管理的难度大、效率低的情况,采用自上而下的软件系统设计方法,开发了铁路局安全问题分层管理系统,实现了安全问题的统计、查询和分析,还具有字典维护、安全问题信息传递,规范报表表格打印、数据备份、日志管理等功能。     

母子公司财务数据管理及资料查询系统的开发和应用

在母子公司管理中,母公司对子公司的财务数据处理、经济指标监控以及子公司基本资料的查询都是很重要的环节。《母子公司财务数据管理及资料查询系统》就是专门为方便母公司对子公司的管理而设计的软件系统。本文主要介绍了此查询系统的设计原理及实际应用情况。     

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

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

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

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

XML技术在CTCS-3级仿真测试管理中的应用

仿真测试管理器是CTCS-3级仿真测试平台的重要组成部分.将XML技术应用于仿真测试管理器,实现其各仿真测试节点初始化设置、网络参数配置和信息记录3个功能,促进了仿真测试管理器的开发,优化了CTCS-3级的仿真测试过程.