CPLD/FPGA在工件取放设备中的应用

在分析PLC优缺点的基础上，提出一种利用在线可编程逻辑控制代替PLC的新技术。此外，给出了用在线可编程器件CPLD/FPGA组成的、VHDL语言实现的工件取放设备控制电路设计和程序。     

水泥企业PLC控制系统的常见故障与处理

可编程序控制器(PLC)其性能可靠、性价比高、维护简便,在水泥生产控制中得到了广泛的应用。但使用中,因设计、使用或维护等方面原因,其电源模块、存储模块、输入输出模块及其外围线路会产生各类故障。结合故障实例,详细介绍和分析总结了PLC常见故障——电源故障、异常故障、通信故障、输入/输出回路故障、接线端子故障等等的现象、产生原因和处理措施。同时,总结了PLC系统的维护和保护的相关要求及技术措施。     

基于线性时序逻辑的最优巡回路径规划

基于线性时序逻辑(Linear temporal logic, LTL)的路径规划方法中, 多点巡回路径规划问题尚无有效解决方案. 为了在道路网络中实现最优巡回监测, 提出了基于LTL的最优巡回路径规划方法. 首先, 将环境建模成一个切换系统, 用LTL语言描述包含多个巡回点和障碍物的任务需求; 接着, 利用循环移位法构建能够融合任务需求和环境模型的扩展乘机自动机, 以建立路径信息完整的网络拓扑; 最后, 采用基于迪科斯彻法的最优综合算法搜索扩展乘机自动机网络上的最优路径, 从而获得能够满足复杂任务需求的最优巡回路径. 仿真结果表明, 该方法能够有效实现最优巡回路径规划.     

Fuzzy arithmetic based reliability allocation approach during early design and development

During early design and development stages, every engineering system has to meet its specific reliability goals. The target reliability of the system is achieved through application of an effective reliability apportionment technique to its subsystems. There are various traditional methods exist to perform the reliability allocation based on engineering factors that are assessed in a subjective manner. The conventional reliability allocation approach requires the assessment of factors like complexity, cost, and maintenance. This may not be realistic in real applications if they are assessed in a crisp manner by the domain experts of their varied expertise and background.In this paper, we treat allocation factors as fuzzy numbers, which are evaluated in fuzzy linguistic terms. As a result, fuzzy proportionality factor scales are proposed for the subsystems. In order to accomplish fuzzy division to evaluate the fuzzy proportionality factor, an approximation method based on linear programming for trapezoidal fuzzy numbers is also proposed in this paper. For the evaluation of weighting factors from fuzzy proportionality factors, centroid method of defuzzification is being employed. The allocated reliability of each subsystem is computed with the help of weighting factor thereafter. An example is provided to illustrate the potential application of the proposed fuzzy based reliability allocation approach.     

自动排气阀在污水箱涵管道上的应用

自动排气阀应用于大型污水压力输送管系，在国内尚属首例，该文证明自动排气阀的应用对长距离污水输送管道的正常运行、安全运行具有重要意义。并阐明了自动排气阀的工作原理、排气性能的理论分析和实际运行情况，克服了排气井给景观地区的周围环境带来的种种弊端，提高了该地区的环境质量。     

基于FPGA的高速数据存储系统优化设计

针对遥测系统数据记录装置中数据传输速率与存储速率不匹配的问题,提出Flash的并行存储方案,采用交替双平面的编程方式可以使得存储器的存储速率达到单片Flash最高存储速率的2倍,即60 MB/s;对控制单元FPGA内部双端口RAM的逻辑设计进行改进,解决了数据存储异常的现象。在数据回收方面,提出了多备份的设计思想和备用读数接口的设计方案,已在工程应用中得到成功实践,验证了该数据记录装置的可靠性。     

辅锅控制程序在CENTUM-CS上的实现

全面介绍辅锅点火系统，从硬件配置、安全条件、点火逻辑和软件组态等几个方面论述辅锅控制程序的原理及其在CENTUM—CS上的实现方法，对CS系统的进一步开发利用具有较大的启发和借鉴作用。     

Stabilization of Rössler chaotic dynamical system using fuzzy logic control algorithm

This paper proposes a fuzzy logic control algorithm (FLCA) to stabilize the Rössler chaotic dynamical system. The fuzzy logic control system is based on a Takagi-Sugeno-Kang inference engine and the stability analysis in the sense of Lyapunov is carried out using Lyapunov’s direct method. The new FLCA is formulated to offer sufficient inequality stability conditions. The asymptotic complexity of our algorithm is analyzed and proved to be lower in comparison with that of linear matrix inequality-based FLCAs. A set of simulation results illustrates the effectiveness of the proposed FLCA.     

An adaptive neural control scheme for articulatory synthesis of CV sequences

Reproducing the smooth vocal tract trajectories is critical for high quality articulatory speech synthesis. This paper presents an adaptive neural control scheme for such a task using fuzzy logic and neural networks. The control scheme estimates motor commands from trajectories of flesh-points on selected articulators. These motor commands are then used to reproduce the trajectories of the underlying articulators in a 2nd order dynamical system. Initial experiments show that the control scheme is able to manipulate the mass-spring based elastic tract walls in a 2-dimensional articulatory synthesizer and to realize efficient speech motor control. The proposed controller achieves high accuracy during on-line tracking of the lips, the tongue, and the jaw in the simulation of consonant–vowel sequences. It also offers salient features such as generality and adaptability for future developments of control models in articulatory synthesis.     

Modeling and verifying probabilistic Multi-Agent Systems using knowledge and social commitments

Multi-Agent Systems (MASs) have long been modeled through knowledge and social commitments independently. In this paper, we present a new method that merges the two concepts to model and verify MASs in the presence of uncertainty. To express knowledge and social commitments simultaneously in uncertain settings, we define a new multi-modal logic called Probabilistic Computation Tree Logic of Knowledge and Commitments (PCTL^kc in short) which combines two existing probabilistic logics namely, probabilistic logic of knowledge PCTLK and probabilistic logic of commitments PCTLC. To model stochastic MASs, we present a new version of interpreted systems that captures the probabilistic behavior and accounts for the communication between interacting components. Then, we introduce a new probabilistic model checking procedure to check the compliance of target systems against some desirable properties written in PCTL^kc and report the obtained verification results. Our proposed model checking technique is reduction-based and consists in transforming the problem of model checking PCTL^kc into the problem of model checking a well established logic, namely PCTL. So doing provides us with the privilege of re-using the PRISM model checker to implement the proposed model checking approach. Finally, we demonstrate the effectiveness of our approach by presenting a real case study. This framework can be considered as a step forward towards closing the gap of capturing interactions between knowledge and social commitments in stochastic agent-based systems.