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.     

水泥在料配料控制系统设计

本文研究水泥生料配料控制系统的工艺流程,分析了系统的参数特点,在系统上位机进行主副随动的基础上,设计了物料配料控制器。分析和设计基于PID控制算法的水泥生料配料系统控制算法。实际工程应用表明,该系统具有很好的控制效果。     

舰载机全自动着舰纵向控制系统设计

针对舰载机着舰任务的特殊性,分析设计了舰载机自动着舰优化控制系统.整个系统由若干分系统组成,在原系统的基础上,研究纵向控制引导律中的模糊PID控制器,以便对下滑轨迹进行跟踪.根据着舰要求,将模糊控制与传统PID控制器相结合,实现PID控制器参数的在线调节,然后结合调节后参数变化趋势,通过对系统的整体仿真,得到系统部分输出量的曲线图,继而验证模糊PID控制器对整个自动着舰飞控系统的影响.改进后的纵向控制律可以在不影响系统稳定性的前提下,增强系统响应速度,尤其在应对外界干扰时,着舰效果更明显.     

PLC与组态王十字路口交通灯控制系统设计

使用欧姆龙PLC控制器设计十字路口交通灯控制系统。在设计硬件接线图与软件功能图的基础上,编写出相应的梯形图程序．采用CX—Programmer软件和Kingview 6．53组态软件进行模拟仿真。实验结果表明,该交通灯控制系统界面友好。运行正常,具有较好的控制效果。     

UART/CAN转换芯片CSM100应用探讨

CAN总线广泛应用于汽车电子、列车、工业控制、医疗等领域。在介绍UART/CAN转换芯片CSM100的组成、功能和特点的基础上,设计相应的电路原理;介绍CSM100的工作模式,分析UART数据帧和CAN报文通讯数据,探讨CSM100的适用场合;采用面向过程的结构化程序设计方法,设计CSM100的嵌入式管理软件。     

Reaction behaviors and specific exposed crystal planes manipulation mechanism of TiC nanoparticles

Titanium carbide (TiC) nanoparticles with well-designed exposed crystal planes perform intriguing prospects for functional and engineering applications. In this study, a simple and controllable in situ synthesis strategy was proposed for the synthesis of TiC nanoparticles with specific morphology. Reaction behaviors suggested that most of TiC nanoparticles were formed by an instantaneous reaction between Al₃Ti and Al₄C₃ in the Al-rich melt and the resultant morphology was controlled by the discrepant growing rates of (100) and (111) crystal planes. In addition, a growth morphology control model was presented for the prediction and manipulation of the morphology of TiC nanoparticles by the doping of different alloying elements Me (Me = Cu, Mg, Mn, Zn, and Si). According to the morphological observations and density functional theory analyses including the interface energy, charge density differences, and orbital hybridization: Cu, Mg, and Zn atoms could stabilize the Al/TiC(111) interface, whereas Mn and Si atoms promoted the rapid growing and disappearance of the TiC(111) planes in the Al melt. This work provides a feasible way to intelligently design and manipulate TiC nanoparticles with desirable exposed crystal planes, and exhibits a promising prospect for personalized applications.     

基于PAMC开放式数控系统的设计与应用

介绍了基于PMAC运动控制器的开放式数控系统，该系统利用COM技术实现开放式数控系统平台。将该系统应用于微小零件加工机床，成功地实现了微小零件的加工。     

区域计算机联锁CAN实时性改进及仿真分析

区域计算机联锁系统采用调度监督加集中联锁的方式实现,其安全通信网通过物理介质的延伸进行区域性控制,随着大量相邻站点并入系统,对安全协议的实时性要求也逐渐增高。为此,针对该系统使用的控制局域网络( CAN)总线协议,对站间安全通信网CAN总线的传输时延进行分析,采用动态优先级算法对实时性进行改进。仿真结果表明,通过改变负载,相比于标准CAN,改进的CAN总线协议降低了节点的最大时延,能够保证不同类型节点的实时性,可满足区域计算机联锁系统对网络通信的要求。     

Exploring and modeling unimanual object manipulation on multi-touch displays

Touch-sensitive devices are becoming increasingly wide-spread, and consequently gestural interfaces have become familiar to the public. Despite the fact that many gestures require frequently dragging, pinching, spreading, and rotating the finger-tips, there currently does not exist a human performance model describing this interaction. In this paper, a novel user performance model is derived for virtual object manipulation on touch-sensitive displays, which involves simultaneous translation, rotation, and scaling of the object. Two controlled experiments with dual-finger unimanual manipulations were conducted to validate the new model. The results indicate that the model fits the experimental data well (with R² and R values above 0.9), and performs the best among several alternative models. Moreover, based on the analysis of the empirical data, the simultaneity nature of manipulation in the task is explored and several design implications are provided.     

PLC在机房环境监控系统中的应用

基于PLC设计了一套机房环境监控系统,系统可监测机房环境、UPS运行状态、智能空调运行状态。系统可通过GSM短信息的方式将异常情况及时通知工作人员,实现机房的无人职守。