Honda Civic Sedan 内外升级 2013本田思域

由于2012款本田思域外观设计过于平庸,所以2013款新车外观经过了重新修饰。其外观设计借鉴了雅阁的设计语言,采用U形的进气格栅搭配底部的镀铬装饰,为改款增色不少。     

从习语的学习中了解中西方文化差异

习语是语言艺术的精华,沉淀了大量的文化因素。大学英语教学目的是使学生能在跨文化交流中正确、恰当、流利的运用英语。因而,弄清习语的文化内涵,在言语交际中表达得体,提高英语交际能力十分必要。英汉语言分属不同的语系,存在明显的文化差异。本文以习语为切入点,希望帮助大学生更好的学习和使用习语。     

PowerDesigner中的对象与关系映射建模

1慨述 面向对象语言是软件开发中的主导语言。而很多的应用程序都有数据存储的需求，关系型数据库是最常用的数据管理系统。面向对象模型和关系模型都可以描述系统的持久化信息模型，具有一些类似的特征，比如实体类别的抽象，静态特征和关联等，但是面向对象模型和关系模型是不完全匹配的，比如：（1）对象可以存储到多张表，表也可以存储多个类的对象；（2）对象之间的关系是双向的，而表之间的关系是单向的；（3）对象之间有继承关系，表之间没有。     

多情而野性的自然之子

在盛夏躁动不安的夜晚打开《与动物对话》,听见克雷格·查尔兹用安静、沉稳、质感、深情并且诗意的语言诉说道:"动物的生活在臆想之外,它远远超出了科学论文和营地篝火旁故事的范围,它像呼吸一样真实,它像孩子的语言一样意义重大。"城市的喧嚣和燥热顿时像被一阵野性的狂风刮走,我的身体躺在     

亚洲隧道峰会2010

会议时间：2010年11月18日－2010年11月19日 会议地点：中国上海斯格威铂尔曼大酒店     

CAD 二次开发技术在防波堤断面设计中的应用

防波堤断面设计计算及结构设计图的绘制,是海岸工程设计的重要组成部分。鉴于现阶段实际工程应用中计算机绘图的发展,利用CAD二次开发技术（AutoLISP语言）编制相应的辅助设计软件。开发过程中,通过对防波堤设计流程 的分解,针对防波堤设计图的特点,对防波堤进行分析及分类,细化构成单个防波堤图形的各种参数,确定了软件的目标功能和结构组织。在此基础上,就实际工程进行防波堤断面设计。分析表明,设计切实可行,且完全符合规范要求。     

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

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

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

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

未来小迷你

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

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

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