基于TTCN-3的CTCS-3级列车运行控制系统自动测试方法

提出了基于TTCN-3语言的CTCS-3级列车运行控制系统的自动测试方法;该方法在考虑分布式实时系统自身复杂性和实时性等特点的前提下,首先将CTCS-3系统分解为多个实体,针对每个实体,根据功能需求规格说明书利用LPTIOA进行带时间约束信息的模型描述;然后,根据相应的算法得出测试序列及测试集;再将得到的测试序列及测试集根据规则转换成TTCN-3语言描述的测试序列和测试集;最后在基于TTCN-3测试平台中对被测实体进行测试。     

佛吉亚:展示轻量化技术战略

<正>通过Less is More组合产品的展示,佛吉亚期望其创新轻量化及热能回收技术能够为汽车行业的节能减排做出贡献。在日前于成都举办的第12届米其林必比登挑战赛上,佛吉亚通过一系列创新产品组合,展示其最新技术战略和概念——Less is More。Less is More最早由德国建筑大师密斯·凡德罗(Ludwig Mies van der Rohe)提出,以阐释其在建筑领域的极简主义理念。     

适用主义 东风雪铁龙全新爱丽舍

翻看全新爱丽舍的产品介绍,你很容易便会被当中的“适用主义”四个字所吸引。对于这样一款在中国市场颇有渊源的车型来说,能够将产品策略从最初的我行我素渐渐过渡到以市场为导向,无论能否卖好,都已经算是一次不大不小的进步了。     

闭合循环符号学

随着“组织科学”的符号学渗入各个学科领域,并取得了了不起的成果。产品设计作为社会生产力的重要组织部分,也应对次作出反映。本文提出闭合循环符号学,从运动的角度看待符号的发展,分析设计符号产生和]变规律。特别是逆符号的提出将说明符号运动的闭合循环特性,并为避免“失真现象”提供了良药。     

半糖主义——名爵MG7 1.8T AT

问：爱情是什么颜色的？ 答：爱情是甜蜜的。 这种所答非所问的情况正是爱情真实的写照。如果一年前推出的手动挡车型让你觉得不够亲切，这次的自动挡版本肯定会使你的甜蜜感增加不少，不过“甜而不腻”才是它最大的魅力!     

BV将目光瞄准北极区域

法国船级社（BV）正在寻求将其在液化天然气船方面的经验运用到高纬度航线上。2006年BV发布了极地船级符号标准．内容涉及北极航线船舶的船体、机械以及舾装等。     

天翻地覆慨面慷

我国改革开放总设计师邓小平同志曾经说过这样三句振聋发聩的话。第一句是：“一个党，一个国家，一个民族，如果一切从本本出发，思想僵化，迷信盛行，那它就不能前进，它的生机就停止了，就要亡党亡国。”第二句是：“如果现在再不实行改革，我们的现代化事业和社会主义事业就会被葬送。”第三句是：“不坚持社会主义，不改革开放，不发展经济，不改善人民生活，只能是死路一条。”     

原型·立体·纯粹——理查德·迈耶建筑解析

基于对建筑师理查德·迈耶的建筑实践及建筑作品所进行的简要概述,分别从三个方面--美国新英格兰的传统建筑沿革,立体主义表现手法的起源与发展变化,以及建筑师对于建筑空间和形式的纯粹性的追求,试图对迈耶的建筑设计思想作追根溯源的研究和剖析,同时也指出了迈耶建筑的真正价值所在.