铁路信号系统软件测试建模方法

针对铁路信号系统软件测试模型不能系统地描述测试需求的问题,提出风险时间状态机建模方法. 首先,分析铁路信号系统软件测试建模的特点,并提出建模需求;然后,以有限状态机理论为研究基础,在有限状态机的变迁和状态中分别扩展出时钟和风险等级元素,提出风险时间状态机建模方法,满足功能逻辑、时间约束和风险等级3个方面的建模需求,采用Z规格说明语言给出风险时间状态机的形式化定义和格局转移机制;最后,以计算机联锁系统中的道岔转换功能为例,建立风险时间状态机测试模型,并与时间自动机建模方法进行了对比,结果表明,建模方法上,所建立风险时间状态机比时间自动机节省62%的变迁数,描述能力更强,能够满足铁路信号系统软件测试的建模需求.      

VC++环境下开发计算机测控系统的几个关键问题

介绍了在VC++6.0环境下开发计算机测控系统过程中所遇到的一些关键问题，包括VC中AD/DA控制的实现、高精度定时器的设计和复杂曲线的绘制等,并在此基础上提出了相应的软件设计方法或思路。     

嘉陵九度蝉联“中国500最具价值品牌”

近日，世界品牌大会暨2012年（第九届）《中N500最具价值品牌》发布会在北京召开。经世界品牌实验室评价，2012年度“嘉陵”品牌价值为136．76亿元，在2011年度品牌价值123．85亿元的基础上新增了12．91亿元，增幅达10％。这已是嘉陵连续第9年入选“中国500最具价值品牌”排行榜。     

文化之旅——走进斯堪尼亚瑞典总部

从特鲁萨小镇到南泰利耶再到斯德哥尔摩,从斯堪尼亚总装线到技术中心再到运输实验室,从斯堪尼亚的历史到品牌建设再到未来的发展战略,从品种繁多的车型试驾到观看精彩的欧洲青年卡车驾驶员大赛再到欢乐的颁奖晚宴,无时无处不让人感触,瑞典是一个有历史有文化的国家,身处瑞典的斯堪尼亚是一家有历史有文化的商用车企业,这种历史与文化点点滴滴散布并深深滋润着这个国家和这家企业.     

基于大学生英语学习需求的任务类型探讨

学生需求分析是一切教学活动的基本前提。运用量的研究和质的研究相结合的方法，通过需求分析问卷和学生自陈报告的调查手段，对适合非英语专业大学生的任务类型进行讨论和分析。调查结果表明，大学生的英语学习需求具有广泛性、复杂性及模糊性等特征。大学英语教学应将学习型任务和真实任务相结合，以满足不同学生的不同需求。     

汽车噪声振动和安全技术国家重点实验室

汽车噪声振动和安全技术国家重点实验室于2010年经科技部批准,依托中国汽车工程研究院股份有限公司和重庆长安汽车股份有限公司组建。是科技部批准的长江经济带唯一的汽车领域企业国家重点实验室。     

立足长远：埃克森美孚太仓工厂扩产

此次扩建项目包括新建调配装置、先进的实验室以及成品和原材料储存设施,预计将于2015年底建成投产。投产后,太仓工厂生产的多种车用、工业用和船用润滑油的产能将增加1倍。     

多元软件交叉应用的框架结构内力求解通用程序

目前有多种计算框架结构内力的软件,例如SAP2000,ANSYS等,但是单一的采用这些软件计算框架结构内力时,过程复杂,并且很难得到直观、易用的通用计算程序。本文通过EXCEL与ANSYS两种软件的交叉应用,联合使用VBA语言以及APDL语言,编写了直观、易用的框架结构内力通用计算程序。结合明挖地铁车站和U形槽两种典型结构的工程实例,本文给出了通用程序的详细算例,可以极大地提高工作效率。此通用程序可为从事相关研究与设计人员提供参考。     

谈新建本科院校实验室创新管理

通过分析新建本科院校实验室管理现状与存在的问题,结合衡水学院创新实验室管理的改革经验,探讨如何提高新建本科院校实验室建设与管理水平,构建合理的实验室管理体系,促进学生创新能力的培养。     

奥芬巴赫猜想 VISIT HYUNDAI MOTOR EUROPE

欧洲汽车市场的消费需求以小型乘用车为主,其所占消费比例高达64%;在欧洲,汽油车所占比例为42%,柴油车所占比例为48%,其他车型占10%;在欧洲,欧系品牌占据着83.4%的市场份额,其次是日系品牌,占11.8%;面对复杂的欧洲汽车市场,现代汽车将如何破局?