模糊离散事件系统的分散控制

针对控制系统结构复杂,规模庞大的问题,以自动机作为系统的模型,研究了扩展全局监控器存在条件下的分散监控综合问题。由经典离散事件系统的局部监控器存在条件,延伸得到模糊离散事件系统的局部监控器存在条件,得到了全局监控器的存在条件。在系统存在全局监控器的基础上,讨论其与全局控制目标之间的关系,避免常规方法研究复杂系统时的分析困难和综合复杂性,从而为模糊离散事件系统监控理论的应用探寻新的途径。     

具有强迫事件的DES的事件反馈控制

在系统与监控器的优先同步运行下,讨论了具有强迫事件的ＤＥＳ的事件反馈控制;在预先给定的闭环系统的行为规范条件下,不仅得到了监控器存在的充分条件条件,而且通过构造监控器这一结论进行了证明。     

离散事件系统非阻塞模块监控器设计

为解决离散事件系统模块监控中的阻塞问题，提出了一种新的监控器设计思想，在监控器之间建立通信的基础上，运用传统的模块监控器设计方法，基于估计状态独立设计各个监控器，在各监控器间的协调中，利用基于优先权函数模块控制（MCP）机制，使整个系统的动态行为满足期望指标并达到消除或减少阻塞的目的，利用这种方法的监控器非阻塞的充分条件是系统每个事件有一个监控器能观，最后给出一个应用实例，说明设计思想的有效性。     

离散事件系统的无死锁分散监控

该文分别从全局控制目标和局部控制目标讨论了离散事件系统分散监控器的无死锁特性。首先,对于全局控制目标,基于离散事件系统中的分散监控的存在性条件,通过验证全局控制目标是否满足无死锁语言的定义,进而获得无死锁分散监控器存在的判别条件。之后,为了将该判别条件推广到局部控制目标的判别,提出了局部可控性条件与全局控制目标的可控、可观性条件的蕴涵关系,进而可以利用局部控制目标获得分散监控器,再通过在局部控制目标之间定义映射不变关系,建立局部控制目标的无死锁性与全局控制目标的无死锁性的联系,进而获得利用局部控制目标获得无死锁分散监控器的存在性条件。     

机载氧气监控器自动化测试系统

作为调节和监控飞行员呼吸供给的机载设备,氧气监控器的质量关系着飞行员的生命安全,需要通过严格和可靠的测试来评估其功能和性能。为了提高氧气监控器的测试质量,文章提出了一种基于工控机的机载氧气监控器全自动化测试系统,能精确和高效地模拟飞机负压环境、机载制氧系统、极端供电条件及其所驱动电机的可变负载,并设计了扩展电路板完成氧气监控器航空插口信号到工控机的转换,辅以高精度的流量、气压、转速和扭矩传感器来实现氧气监控器综合性能测试。试验结果表明,相比于人工测试方法,该系统使测试速率提高到3.49倍,并使氧气监控器的准确率提高到100%。     

基于LTL预测语义的高效监控器构造

运行时验证中的一个重要研究内容就是从高层规约生成高效的监控器,并有效控制监控器的生成复杂度与监控器运行时开销.基于线性时序逻辑(LTL)的预测语义,通过删除与合并Büchi自动机中的大部分状态,提出一种高效的预测监控器构造技术.通过该方法,可以大大降低最终预测监控器的规模,提高监控器产生的效率;同时保证把监控器的运行时开销控制在合理的范围内.基于上述预测监控器构造技术,实现了相应工具monitor_tool,该工具比LTL3_tool工具更小,且能够为更多的LTL性质产生监控器. 同时,产生的监控器能够尽可能早的识别一个持续被监控的执行轨迹是否满足指定的正确性性质.     

基于C/E系统监控器的CPLD实现

文章给出了用复杂可编程逻辑器件 (CPLD)实现离散事件动态系统 (DEDS)监控器的方法 首先用Petri网中的条件 /事件系统 (C/E系统 )对DEDS建模 ,然后使用Petri网工具对模型进行分析 ,并根据控制要求设计出Petri监控器 ,最后用CPLD实现之 这不仅使Petri网有了硬件支持 ,而且也为逻辑控制器的设计提供了一种新的方法 文中给出了猫和老鼠迷宫问题基于C/E系统监控器实现的例子     

基于C／E系统监控器的CPLD实现

文章给出了用复杂可编程逻辑器件（CPLD）实现离散事件动态系统（DEDS）监控器的方法。首先用Petri网中的条件／事件系统（C／E系统）对DEDS建模,然后用Petri网工具对模型进行分析,并根据控制要求设计出Petri监控器,最后用CPLD实现之。这不仅使Petri网有了硬件支持,而且也为逻辑控制器的设计提供了一种新的方法。文中给出了猫和老鼠迷宫问题基于C／E系统监控器实现的例子。     

电机智能综合监控器的应用

对比分析了热继电器与电机智能综合监控器的保护性能,介绍了电机智能综合监控器在厂矿企业中电机保护的实际应用及效果.     

前馈控制算法在DRC型点焊监控系统上的应用

在DRC型监控器上应用时间前馈、阈值前馈网压前馈控制算法与反馈调节算法相结合,使DRC型监控系统在干扰频繁的电阻点焊生产环境中工作可靠。     

工程机群的通信与GPS定位装置的设计与实现

智能化工程机械的GPS定位与监控中心的通信装置是实现工程机械机群化管理的关键装置 .根据工程机械机群工作的特殊性 ,设计了具有WLAN方式和GSM方式相结合的双模无线通信网络 .利用嵌入式计算机作为硬件平台 ,开发了采集GPS数据和工程机械上重要数据的硬件设备 ,并利用嵌入式Linux系统作为软件平台 ,开发了一套能够根据网络情况自由选择的利用WLAN网络或GSM网络通信的软件 .利用上述网络和软硬件 ,实现了单个工程机械向监控中心的数据传输 .     

工程机械通用液压行走系统三变量实验台设计

为研究工程机械中泵排量和马达排量及柴油机供油量三者之间的最优匹配,以实际工程机械液压行走驱动系统为原型,对真实液压行走驱动系统进行适当简化,进而提出实验台建设方案,并根据实际要求就主要设备的选型进行说明和计算。在此基础上建立了工程机械通用液压行走驱动系统实验台,并进行了空载、变负荷、变排量等不同工况下的实验验证,实验结果符合设计要求。本实验台的建设可以为各种工程机械的液压行走驱动系统提供实验研究条件。     

突出工程设计能力培养 增强学生社会适应性

结合学校机械专业特色,突出学生工程设计能力的培养,精心构建机械专业工程设计能力培养体系,强化实践教学环节,重点完善实践教学环境、提高实习教学效果、改善课程设计与毕业设计教学质量,全面提升学生的工程设计能力,增强学生的社会适应性。     

Dragon组态软件在消防供水监测系统中的应用

章对Dragon组态软件进行了简介，并对消防供水监测系统进行了系统设计。该监测系统集动画显示，设备控制与输出、流程控制、数据采集、数据处理、数据输出、工程报表等诸多功能于一身，不仅实现了对消防供水的监测，而且具备了较高的可靠性和安全性，在实际中应用良好．     

离散制造生产线管理控制系统的开发与实现

针对某企业的工程背景,分析了企业的信息化需求,开发和实现了生产线管理控制系统.生产线管理控制系统由生产线监控、基础数据管理、生产计划管理、库存管理、综合信息查询、底层控制器等子系统组成.以底层控制器的开发为例,讨论了生产线管理控制系统的开发过程,着重研究了数据采集的原理和零件自动计数的算法,最后介绍了本体技术在系统开发中的应用.图4,参10.     

工程机械防锈涂装技术概述

介绍了10大类工程机械的防锈涂装技术,分析了主要涂装设备的性能,提出适应目前国内工程机械所用的涂料,还应具有低温快干和环保节能等特性.     

高原环境对工程机械动力系统的影响及措施

由于高原气候、环境特点，使得工程机械及其电器、仪表、材料的性能明显下降，突出地表现为：功率大幅度下降，启动困难，材料损耗大等．直接影响到整机的可靠性、耐久性、经济性和使用效率，甚至许多机械无法进行正常工作．因此，本文以高原环境特点出发，通过在高原公路施工中的经验和实测，总结了高原环境对工程机械动力系统的影响情况及相应的解决措施。     

高原地区地下工程施工机械尾气排放规律研究

高原地区空气稀薄、高寒缺氧,尤其在负荷条件下,工程机械的进氧量不足,导致尾气CO、HC等的排放增多,尾气已为高原地区地下工程施工通风与污染控制的主要因素.结合关角隧道施工,对所使用的工程机械进行了尾气测试,采用多项式拟合的方法得到了高原地区工程机械尾气排放规律,为高原地区地下工程的施工通风设计、控制污染提供了必要的科学依据.     

起重机械检验数据挖掘系统的设计与实现

利用数据挖掘技术,开发了起重机械检验数据挖掘系统,为检验起重机械安全运行性提供了一种有效决策模型。系统采用决策树分类,实现了对起重机械的故障诊断;利用关联规则,对起重机械缺陷、失效进行相关性分析。系统运行结果表明,该系统具有一定的应用价值。     

用GPS技术进行滑坡监测中的数据采集及控制

三峡水库2003年建成蓄水后,库区水位大幅度升高,可能引起多处滑坡等地质灾害.现在对库区的滑坡地质灾害进行无线监测的研究发展很快,其主要运用技术有GPS.为更合理地在工程运用中进行数据的采集和监测,对利用GPS技术进行滑坡监测的系统模型展开了分析,以监测中的数据采集为中心讨论了把控制引入模型的方法,在控制信号的引入和生成过程中结合了监测系统和滑坡灾害的特点,最后以软件程序模拟方式进行了在监测系统中引入控制的试验.结果表明控制信号的引入是合理有效的,在实际工程中可以发展和完善.