基于前苏联模型的内河船队操纵运动仿真研究

内河分节驳顶推船队运输在国内外发展很快，显示了聪显的社会和经济效益．在内河航运实践中，由于顶推法的广泛采用，迫切要求解决内河船舶及船队在通过弯曲度大的航道时的操纵性同题．文中基于前苏联船队操纵运动数学模型，通过对顶推船队的船模模拟计算，对船队做回转运动、Z形操纵的情况进行了数值模拟，计算结果与试验结果吻合良好．     

菲斯克Karma在巴黎车展上亮相

加利福尼亚电动汽车制造商菲斯克首次在巴黎车展上推出其插电式混合动力车Karma。菲斯克曾设计过闻名世界的阿斯顿马丁V8 Vantage、DB9和宝马Z8。     

坏小子 NISSAN 350Z改装车

在海外FAIRLADY Z Z33的称呼和圆滑柔美的线条让NISSAN 350Z有了东瀛淑女的称号。但是眼前这辆350Z改装车却显得顽皮而略带杀气，我觉得也许用坏小子来形容它更为贴切。     

实验室比对结果的分析

实验室比对是实验室能力验证的重要手段之一。两个检测实验室选择"轮辋周长"作为实验室间比对的检测项目,利用稳健统计技术对检测结果进行统计,并对满意的Z比分数结果作进一步的分析,找出实验室之间的差异,规范了检测方法。     

三人行之BMWZ4

曾经有一辆宝马Z4 sDrive35i摆在我面前，但是我没有珍惜，我只驾驶了十来分钟，还没熟悉就与其分享，现在“三人行”给了我重来一次的机会，我们共同度过了两天的美妙时光，对它也有了更深入的认识。对于Z4 sDrive35i的外形我并不想作过多评论，     

逐风的“权利” 奔驰SLK VS 宝马Z4

我们并不需要用它去挑战极限，回头率是关键。无论是赶时髦还是与时俱进，我们的审美随着年代变得越发挑剔。所以．这类两门两座具有强劲动力的时尚小跑车，在任何时候都必须拉风。     

桥梁承载能力评价方法探讨

介绍目前我国常用的评定桥梁承载能力的方法及相关规范进行理论计算。     

世代守望的情人——圣湖纳木错

在西藏的传说中。海拨四千七百多米的纳木错湖与主峰高达七千多米的念青唐古拉雪山是一对生死相依的情人。念青唐古拉高大挺拔。如全副武装的勇士，忠诚地守候在纳木错湖旁。而纳木错湖则是那道不尽风采的美女，它们相依相伴，世代守望。[编者按]     

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

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

资讯

众泰发布Z500中高级车 2014第十三届北京国际车展媒体日，众泰汽车携旗下B级中高级轿车众泰Z500全球首发亮相。同时，众泰汽车主力热销车型众泰Z300改款、众泰T6002.0T版等车型也悉数亮相。众泰Z500作为众泰汽车首款中高级家轿．前脸的格局采用了众泰的家族脸谱．大灯与格栅的横向贯通，