基于ATmega128单片机的汽车太阳能充电控制器

利用车上太阳能电池驱动换风扇并作为汽车电瓶辅助充电电源。由ATmega128为核心构成太阳能电池驱动换风扇和电瓶充电的控制系统。这个控制器测量车内外温度、太阳能电池电压、汽车电瓶电压,根据车内外温差自动控制换气风扇工作,根据太阳能电池输出状态和电瓶状态控制充电过程。最后,基于给出的软硬件设计构建了实验系统,进行了实验和总结。     

SERT结晶器液位控制系统

介绍一种梅山冶金公司板坯连同上应用的新型的结晶器液位控制系统，它由浮式式液位检测装置，ＲＳＥ１０００控制器和电动塞棒执行机构所组成，由法国ＳＥＲＴ公司成套制造。     

基于操纵平稳性的液压挖掘机轨迹规划方法

以既能达到良好的轨迹规划精度,又有优良的操纵平稳性为目标,提出了一种挖掘机器人的智能轨迹规划方法.以挖掘姿态角为优化变量;油缸进程和加速度梯度为双目标;位置盲角和最佳切削范围为约束建立优化数学模型,采用遗传算法寻找最优值.对3种规划策略：被动修正法、主动调整法和智能规划法进行了行程和速度梯度对比,结果表明,采用优化规划方法可以大幅减少液压系统冲击和振动,使挖掘机操纵更加平稳.     

一个与Ethernet兼容的多媒体实时传输协议的设计

为适应办公自动化的需要, 探讨了一种集图像( 声音)/ 数据服务于一体的多媒体传输协议, 对协议的集成策略及执行过程进行了详尽说明, 并给出了协议进程的形式描述。经仿真运行证明, 用该协议实现的介质访问控制器( MAC) 能与传统的Ethernet MAC 共存于一个Ethernet 网上。该协议能满足图像( 声音) 的实时传输要求, 该协议只是对MAC 而言的, 因而对现存的数据链路层以上的协议无影响。     

磷酸萃取系统中的测量与控制

磷酸萃取是6万t磷铵料浆法流程的关键之一，重要的控制参数有矿浆、硫酸、返回淡磷酸的加入量及萃取槽的液位、压力、温度等。     

列车用CAN协议一致性测试平台的设计与实现

列车用CAN总线协议一致性测试是保证不同设备制造厂家生产的CAN通信设备之间实现互联、互通和互操作的前提。在对协议一致性测试原理和CAN总线协议特点进行简要分析的基础上,提出了针对CAN总线协议一致性测试的协同测试方法和相应的一致性测试内容,设计并构建了相应的一致性测试硬件平台,并对测试软件平台中可执行测试实例产生、测试执行、测试评估以及测试管理等诸多环节所涉及的基本功能软件进行了设计和实现,完成了CAN协议一致性测试的基本功能。实际运行和测试结果表明：所设计的测试平台达到了预期结果,为下一步列车用CAN总线协议的一致性测试打下了基础。     

Enhanced utilization bound of Rate-Monotonic scheduling in Controller Area Networks

When priorities to message streams are assigned using Rate Monotonic (RM) for a Controller Area Network (CAN), the utilization bound is known to be about 25% for CAN 2.0A and 29% for CAN 2.0B. In this letter, we present a higher utilization bound than the existing ones with a reasonable constraint. The new utilization bounds are approximately 34% for CAN 2.0A and 41% for CAN 2.0B if no single message stream's utilization exceeds 46% or 27% of the total utilization for CAN 2.0A or CAN 2.0B, respectively.     

基于APIC的高精度定时器设计

在操作系统开发过程中需要一定精度的计时器支持。在Windows实时扩展改造过程中,针对原有定时精度低和波动较大的问题,提出一种基于高级可编程中断控制器(APIC)的高精度定时器设计方案。利用CPU片上结构APIC的计数寄存器编程,构建高精度时钟。运用内核驱动建立内核调度管理,通过内存映射提高用户态到内核态的数据传输速度,保证实时性能。利用DLL提供一组和内核交互的定时器接口供用户使用。实验结果表明,该方案有效解决了定时精度和稳定性问题,构造的定时器性能稳定,具有良好的实用性。     

Frequency analysis and compensation of valve stiction in cascade control loops

Valve stiction is often a common problem in control loops and stiction induced oscillation is the main cause of poor performance in control systems. Cascade control is extensively applied in process industry as an effective strategy to restrain disturbances and compensate process nonlinearities. In recent years many studies have been performed on the detection and quantification of valve stiction in single feedback control loops. However, there is a lack in developing a mechanism which can analyze stiction induced oscillation in cascade control loops. This work focuses on the frequency analysis of stiction induced oscillations in cascade control loops and proposes a mechanism of oscillation compensation through outer and inner controller tuning. The effect of oscillation compensation by changing control strategies is also discussed. The theoretical analysis is evaluated through simulation examples and a pilot-scale flow-level cascade control experiment.     

Progressive events in supervisory control and compositional verification

This paper investigates some limitations of the nonblocking property when used for supervisor synthesis in discrete event systems. It is shown that there are cases where synthesis with the nonblocking property gives undesired results. To address such cases, the paper introduces progressive events as a means to specify more precisely how a synthesised supervisor should complete its tasks. The nonblocking property is modified to take progressive events into account, and appropriate methods for verification and synthesis are proposed. Experiments show that progressive events can be used in the analysis of industrial-scale systems, and can expose issues that remain undetected by standard nonblocking verification.