车辆在交叉口燃油消耗的研究

行驶在城市道路上车辆的油耗主要受行程车速、停车率和延误等交通状况的影响，本文应用汽车行驶理论分析交通状况如何影响车辆油耗，并运用模拟技术通过对油耗试验结果和调查数据的分析建立了车辆耗油与交通状况的相关模型，同时，也讨论了需进一步研究的方向。     

针对传感器故障的容错控制问题的数值解法

针对状态反馈闭环系统中的传感器故障容错控制问题，先基于稳定多项式分解导出该容错控制问题状态反馈闭环系统稳定的充分必要条件。在此基础上，基于相容非线性方程组数值解法，提出具有传感器故障容错控制的状态反馈律设计方法。还基于数值优化解方法，提出面向闭环系统极点配置的另一状态反馈容错控制律设计方法。计算机仿真算例表明此方法的有效性。     

Reduction of Timed Hybrid Systems

We consider a class of hybrid dynamical systems and obtain conditions under which the behavior of these systems can be reduced to a finite state automaton. Specifically, we consider timed automata with more general enabling regions coupling the continuous and discrete dynamics than those previously considered. We provide a necessary condition for the existence of a finite state reduction, together with examples showing that this condition is not sufficient. We then give two sufficient conditions that provide a large class of systems with general enabling regions which admit finite reductions.     

固态继电器在加热器中的应用设计

介绍了固态继电器(SSR)的基本原理,以SSR为核心,采用定时器、单片机和PID调节器等控制SSR的方法进行了定时开关控制器、程控烘箱和玻璃退火炉的调功加热设计。简要分析了SSR的热设计,并讨论了在SSR的应用过程中影响其性能可靠性的相关因素以及抗干扰问题。     

改进迭代自组织数据分析法的不良数据辨识

针对迭代自组织数据分析技术A(iterative selforgani zing data analysis technique A-ISODATlA)对初始聚类中心敏感问题,提出将基于遗传算法的改进ISODATA方法用于电力系统不良数据辨识。该方法采用量测值的标准残差rN 和相邻采样时刻量测值之差△z作为特征值,然后采用遗传算法形成初始分类矩阵,通过遗传操作进行迭代计算,实现量测数据的模糊聚类分析,最终根据隶属度的大小来辨识其是否属于不良数据。算例表明,该方法能最终获得全局最优解,从而进行准确的不良数据辨识,避免了初始聚类中心对分类结果的影响。     

治理配电网电压波动的TSC无功补偿电路设计

为减小同步辐射装置负荷所致配电网络电压波动,采用晶闸管投切电容器无功补偿装置(以交流过零型固体继电器为开关)进行无功补偿。该装置以负荷侧无功电流幅值IQM为电力电容的投切判据;借助MATLAB仿真工具SIMULINK仿真补偿后的配电网络,获得IQM进而求得该网络无功补偿所需的电容量,用晶闸管投切最终网络得到所需无功功率补偿,电压的波动值控制在允许范围内。     

合成温度对LiFePO4电化学性能的影响

介绍了采用固相法制备锂离子电池正极材料LiFePO4的制备方法以及关于合成温度对材料结构和电化学性能的影响方面的研究结果。用X射线衍射(XRD)、扫描电镜(SEM)对材料的结构与形貌进行了表征;用恒流充放电实验、循环伏安对材料的电化学性能进行了研究,结果表明,700℃合成的LiFePO4电化学性能最佳,在0.2C的倍率下首次放电容量达到107.8mAh/g。     

基于扩展有限状态机的诱骗服务器关键技术研究

作为防火墙和入侵检测的有效补充，诱骗服务器成为网络安全的越来越重要的部分，本文在对当前诱骗服务器的研究水平进行了仔细分析的基础之上，提出了使用有限状态机理论来构建诱骗服务器的方案，并对其中的关键技术做了详细阐述。     

线性时滞系统的耗散控制

从全新的二次型供给率的耗散角度，研究了线性时滞系统的二次稳定性和耗散控制问题，给出了线性矩阵不等式(LMI)形式的充分条件。而且，考虑了时滞系统在状态反馈控制器和动态输出反馈控制器作用下的闭环系统的二次稳定和耗散性问题，同样给出了LMI形式的充分条件，并通过线性矩阵不等式的可行解构造出耗散状态反馈控制律和动态输出反馈控制律。     

异步电路验证算法

异步电路因不受时钟偏差的限制而逐渐成为电路设计研究的热点 .发展自动化的验证工具已成为确保大规模异步电路质量和性能的关键 .其核心课题就是建立异步电路的验证算法 .该文整理列举了基于多种数学模型的验证算法 ,如逻辑模型、代数模型、符号模型、数值模型和几何模型的验证算法 ,并从应用的角度将现有的异步电路验证算法分为两类 ,分别是事件时序分析类算法和状态空间搜索类算法 ,从算法的理论基础、应用背景、模型结构、图形描述、适用范围、算法复杂度编程复杂度等多个角度作了比较研究 ,给出了部分代表算法的应用算例 ,最后总结了在实际问题中选择验证算法的原则