形式化方法应用于计算机联锁软件的安全验证研究

铁路信号系统中的联锁系统对安全性要求极高，仅通过普通的功能测试无法保障其安全性。采用形式化验证的方式可以验证联锁系统的应用逻辑与安全需求的一致性。将通用安全需求结合具体的站场图进行实例化，得到具体的安全需求后输入带归纳功能的布尔可满足问题（SAT）约束求解器进行验证，通过覆盖所有的实例、所有周期以及每个周期所有的状态空间，保证了验证方法的完备性。     

汽车驾驶座椅人－机系统安全性设计

本文以人因分析为手段，以设计出合理的驾驶座椅来满足驾驶员人体安全、舒适为设计目标，得到结论：驾驶座椅安全性设计应着重考虑人（驾驶员）坐姿生理特性及人体对车内振动．微气候的反应等两大方面。并从主动安全性设计、被动安全性设计两个方面详尽分析了驾驶座椅安全性设计的思路，以期达到对汽车驾驶座椅的安全性设计提供一定的指导作用。     

无线搜索系统在方舱上的应用

本文从无线接入技术出发，论述无线工具搜索系统的工作原理、VB6编程实现串口通讯、单片机的选择与应用。     

阿尔斯通将于2004年向Kassel提供的Regiocitadis双轨机简介

Regiocitadis车具有不锈钢车体，设计能承受600kN的缓冲负荷。车体壳体经激光切割且自动激光点焊而成。动力端部件通过球节支撑在中央截面上。两个纵向车顶减振器以及一交叉支撑用来稳定车体之间的运动。在车辆的前部未提供减震措施。     

试析现阶段的贫富差距

共同富裕是社会主义的本质，是社会主义的长远目标。共同富裕不同同步富裕，先富滞后富是实现共同富裕的根本途径。正确认识和对待现阶段我国出现的贫富差距，从而采取正确的措施有效控制和缩小差距。     

粉煤灰与钢渣复合材料作柔性路面基层试验性能分析

钢渣粉煤灰排放量大、利用率低，其作为路面基层材料可利用大量工业废渣，减少对天然石料的开采，是一种生态建筑材料。对钢渣粉煤灰的路用性能进行深入分析，并通过试验对比加以证明，可供施工技术人员借鉴。     

压缩封装机的研制

本文介绍了放射性固体废物处理用压缩封装机改进后的技术性能、结构控制及其关键技术，简述了设备的技术改进要点。     

新能源公交车的生态效益研究及可持续发展战略

新能源汽车产业是未来汽车产业发展的重要趋势,新能源公交车作为新能源汽车的领头羊与实践者,并肩负“以公带私”的重任,其发展重要性不容忽视.本文结合济南市新能源公交车车队运营状况,从车均日排污量及耗油量分别对新能源公交车的生态效益进行研究.通过问卷调查和访谈,新能源公交车以其配套设施完善、舒适度高得到市民广泛认可.提出新能源公交车在加大政府扶持力度、提高公交服务水平的基础上,通过提升公交专线服务水平、构建政府与企业合作平台,满足市民出行多样化需求,加速推广新能源公交车使用,实现新能源公交的可持续发展战略.     

Ghrelin对大鼠消化间期胃肠肌电活动的影响及其受体在消化道的分布特征

目的探讨ghrelin对大鼠消化间期复合肌电活动(IMC)的影响及其机制。方法采用免疫组织化学和图像分析方法观察ghrelin受体(生长激素促分泌素受体,GHS-R)在大鼠消化道的分布特征;采用多导生理记录仪监测大鼠消化间期IMC,观察静脉给予ghrelin对胃肠IMC的影响;采用放射免疫法测定静脉给予ghrelin前后,IMC不同时相的血浆胃动素浓度。结果①GHS-R在胃肠道的肠肌丛和黏膜下丛有表达,胃腺体均有GHS-R免疫强阳性广泛表达,在肠腺体的阳性表达较少。②静脉给予ghrelin促进胃肠IMC,IMC周期缩短,Ⅲ相时程缩短,Ⅲ相占IMC周期百分比无显著性改变;静脉注射ghrelin后,血浆胃动素周期性波动规律不受影响,各相应时相胃动素浓度与ghrelin作用前比较无显著性差异。结论 GHS-R主要分布于大鼠消化道的肠肌丛和黏膜下丛,在胃腺体有免疫强阳性表达,在小肠腺有少量阳性表达。Ghrelin可促进胃肠运动,此作用与胃动素没有明显关系。