基于模糊识别的汽车目标识别研究与实现

本文结合实际路面状况,将模糊模式识别技术应用到汽车识别中,对汽车特征进行分析,设计了适用于高速公路汽车防撞系统的汽车目标模糊识别算法,并完成相关的系统软硬件设计与实现.     

滑阀柔性直接驱动技术研究

数字伺服阀是未来伺服阀发展的一个重要方向。数字伺服阀大多采用驱动元件直接驱动阀芯滑动的方式,直驱方式的不同很大程度上决定了阀芯滑动的灵活性,进而影响整阀的分辨率。对滑阀柔性直接驱动技术进行了深入的理论及仿真分析,并进行了相应的试验验证,最终给出了结论。     

基于事件触发的网格资源监控研究

对于异构的高性能分布式计算环境——网格来说,监控其中每个计算节点获取资源的状态信息是至关重要的。然而传统的资源监控方式需要周期性地读取各个节点的信息,对网格系统资源浪费较大。本文提出一种基于事件触发的方法来降低监控服务开销,准确获取资源状态信息。然后采用该方法在Clobus Toolkit 4下实现网格资源监控系统,并对该系统做出客观评价。     

基于 Event - B 的控制系统形式化建模方法研究

为降低形式化建模的难度,本文深入研究了基于Event-B的开发框架,并结合控制系统中控制器与被控环境之间的交互特征,提出了一套基于Event-B的控制系统有序模块化建模指导原则,能够帮助设计人员在开发的早期更加深入地理解系统需求,获得清晰的建模思路和开发策略,为设计高安全性的软件系统提供保障。最后,应用该方法完成了RBC （区域控制器）系统的形式化建模,说明了该方法的实用性。     

基于新型扩张状态观测器的PMSM周期性转速脉动抑制方法

电机本体的齿槽转矩、磁通谐波、定子电流测量误差、负载中的周期性转矩、电机换相和死区效应等因素会造成电机转矩中存在周期性脉动,这种脉动一般会表现在电机整个运行速度范围内,造成电机转速脉动大,不利于电机的高精度转速控制。提出了一种基于新型扩张状态观测器的PMSM周期性转速脉动抑制方法。利用周期性信号的微分特性,构建扩张状态观测器,观测出电机转速脉动中的主要周期性分量,利用自抗扰控制算法对其补偿,以消除转速中的周期性脉动。仿真和实验结果表明,该方法能够对转速实现更好的补偿控制,使得电机转速稳态脉动显著减小,从而提高电机运行的平稳性     

基于前馈控制器的数字阀动态性能研究

数字伺服阀是未来伺服阀发展的一个重要方向。数字伺服阀大多采用驱动机构直接驱动阀芯滑动的方式,驱动机构的动态性能很大程度上决定了整阀的性能,根据负载特性和实际应用对高动态的要求,在传统PI控制的基础上,加入了前馈控制器,并对其进行了控制算法理论模型等效、幅频和相频分析、程序算法设计及具体实验验证,实验结果表明,前馈控制的引入有效的改善了数字阀的动态性能。     

伺服系统故障与伺服阀的性能相关性及故障处理

伺服阀是伺服控制系统的核心精密控制元件,其性能直接影响伺服系统的性能,因此伺服系统的常见故障往往与伺服阀存在紧密关系。本研究对引起的伺服系统故障的伺服阀相关特性进行分析,重点分析故障产生的原因与伺服阀性能的相关性,并提出故障的处理措施。     

基于梯形逻辑的联锁系统形式化验证方法

铁路联锁系统设计通常采用梯形逻辑进行建模。为了实现对铁路联锁系统进行形式化验证的目的,根据梯形逻辑的状态变迁语义,将梯形逻辑表示的联锁系统模型转换成模型检测工具NuSMV的语言,并将铁路联锁系统的安全需求表示为计算树逻辑(CTL),最后实现基于NuSMV的铁路联锁系统设计模型的形式化验证。     

基于项重写系统的联锁系统模型检测方法研究

模型检测方法对安全苛求系统建模的完整性需要一套严谨的方法论与技术,对于验证系统的正确性,具有传统方法无法比拟的优势。提出利用项重写系统建立安全苛求系统模型与验证方法,采用基于项重写系统原理的Maude工具语言,对铁路联锁系统的站场进行形式化建模,通过其语法和语义定义各类约束和离散事件,构架联锁系统属性和行为。在模型建立的基础上,对联锁站场的静态属性和安全属性进行形式化模型验证。结果表明,基于项重写系统的模型检测方法可以较好地应用于实际联锁系统软件的开发,对开发安全苛求系统和模型检测方法的实际应用提供借鉴。     

基于Nios II的LCD驱动IP核的设计

针对不同型号液晶屏之间的驱动差异问题,提出一种基于Nios II的LCD驱动的IP核设计方法。研究基于NIOS II的LCD驱动IP核的体系结构及其软件实现过程。经过测试,所设计的LCD驱动IP核能够应用于不同型号的液晶屏,且运行稳定。