时间自动机的自动抽象算法

为对付时间自动机规格分析验证中的状态爆炸问题，提出了一种自动抽象算法．它是直接在时间自动机描述规格上而不是在规模大得多的语义模型上进行抽象，从而取得不大于时间自动机拓扑复杂性的四次方的多项式复杂度，实验证明，该算法可应用于任何满足线性复位性质的时间自动机。此外，这种算法还可以用来简化系统描述，提高其可理解性。     

软件测试中有效利用自动化测试方法的研究

为了提高软件的测试质量和测试效率,在软件测试过程中越来越多地利用自动化测试方法。利用自动化测试方法的关键问题是判断适合自动化测试的软件特征,根据自动化测试过程中各个环节的特点,选择合适的自动化测试工具或开发自动化测试方法,分析了适合自动化测试的软件特征,提出了利用自动化测试的方法。通过对VAS3.0网管的自动化测试证明,该方法能有效发挥自动化测试的作用。     

DME部分预混压燃与缸内直喷复合燃烧的研究

在单缸二甲醚发动机上开展了DME部分预混压燃与缸内直喷混合燃烧(PCCI-DI)特性的研究。结果表明:DME PCCI-DI发动机具有较低的最高爆发压力和压力升高率。PCCI-DI DME发动机燃烧过程也表现出明显的两阶段放热特点,和HCCI DME发动机相比,两个放热峰值有所下降,第1个放热峰值位置基本不变,第2个放热峰值后移到上止点略后位置。     

CCD自动调焦系统的实验研究

介绍了差分式CCD自动调焦系统的工作原理、硬件结构和计算机调焦软件设计,用黑白条栅照片作为景物进行了实验研究,实验结果表明:这种方法不仅可行,而且调焦精度高、速度快、适应性能好,适用于遥感相机系统。     

����ɳ�����չ��ͨ�����ͽ�ͨ����

近年来，一些大城市通过修建大量的道路来缓解交通拥堵的压力，但这种做法却导致更多的车辆使用道路，从而加剧了交通拥堵，造成空气质量下降，资源浪费严重。为解决这些问题，一些城市已经开始或者计划构建以轨道交通主体，轻轨交通或者其他交通方式为补充的交通体系，以增强路网的流动性和可达性。本文从城市流动性和可持续发展的角度，对已有的和新型的轻型交通系统做综述。旨在为交通规划人员进行可持续发展交通运输系统的规划等工作提供参考。     

TYLK-I�ͳ�վ�п�����ϵͳ���о�

车站列控中心是中国列车控制系统(CTCS)的地面设备之一，是铁路运行速度提高到200km/h的关键控制设备。本文在介绍CTCS结构和车站列控中心与其它关键信号设备连接的基础上，以TYLK-Ⅰ型车站列控中心系统为例，对其系统结构、主要功能及关键技术进行了分析和实现。车站列控中心根据调度命令、进路状态、线路参数等产生进路及临时限速等相关控车信息，通过有源应答器及轨道电路传送给列车。多次测试表明，TYLK-1型车站列控中心完全能够满足在既有线提速到200km/h的条件下对列车实行安全控制的需求。     

铅酸蓄电池的充放电均衡方法

从铅酸蓄电池的常用充电方法出发,分析了蓄电池组充放电过程的不均衡现象及其产生的原因,并简要介绍了目前常用的铅酸蓄电池的充放电均衡方法及其电路原理.     

车型自动识别系统研究

本文系统介绍了现有的主要车型识别方法，阐述了识别方法的组成结构及工作原理，比较了各种识别方法的优缺点，并提出了现阶段比较实用的方法。     

中央空调自控系统的设计与应用研究

用组态软件和PLC、变频器、智能仪表集成的监测控制系统，成功地对中央空调进行自动控制，取得了良好的控制效果。文中介绍了本系统的设计、组成、功能及其教学方面的应用研究。     

轿车进入家庭的自组织研究

家庭轿车消费系统是一个开放的自组织系统,它具有开放性、耗散性、目的性和协同性的特点。通过分析我国的经济发展水平、道路水平、能源供应和社会服务水平,认为现阶段我国不宜倡导轿车大量进入家庭。政府部门应该对系统实施有利于系统有序演化的扰动,控制家庭轿车的消费速度。