A formal model of asynchronous communication and its use in mechanically verifying a biphase mark protocol

We present a formal model of asynchronous communication between two digital hardware devices. The model takes the form of a function in the Boyer-Moore logic. The function transforms the signal stream generated by one processor into that consumed by an independently clocked processor, given the phases and rates of the two clocks and the communications delay. The model can be used quantitatively to derive concrete performance bounds on communications at ISO protocol level 1 (physical level). We use the model to show that an 18-bit/cell biphase mark protocol reliably sends messages of arbitrary length between two processors provided the ratio of the clock rates is within 5% of unity.     

Adaptive predictive control algorithm based on Laguerre Functional Model

Laguerre Functional Model has many advantages such as good approximation capability for the variances of system time‐delay, order and other structural parameters, low computational complexity, and the facility of online parameter identification, etc., so this model is suitable for complex industrial process control. A series of successful applications have been gained in linear and non‐linear predictive control fields by the control algorithm based on Laguerre Functional Model, however, former researchers have not systemically brought forward the theoretical analyses of the stability, robustness, and steady‐state performance of this algorithm, which are the keys to guarantee the feasibility of the control algorithm fundamentally. Aimed at this problem, we introduce the principles of the Incremental Mode Linear Laguerre Predictive Control (IMLLPC) algorithm, and then systemically propose the theoretical analyses and proofs of the stability and robustness of the algorithm, in addition, we also put forward the steady‐state performance analysis. At last, the control performances of this algorithm on two different physical industrial plants are presented in detail, and a number of experimental results validate the feasibility and superiority of IMLLPC algorithm. Copyright © 2005 John Wiley & Sons, Ltd.     

Dynamical adaptive synchronization

The notions of dynamical synchronization and adaptive dynamical synchronization problems are introduced. The algorithm solving adaptive synchronization problem for a subclass of Lurie systems with exciting input is proposed. The performance and potentialities of proposed solutions are demonstrated by two examples related to formation control and self‐organization of swarm systems. Copyright © 2006 John Wiley & Sons, Ltd.     

混沌电路同步的研究

本文叙述对混沌电路实现同步控制的实验研究之初步结果。所用的电路为蔡氏电路和锁相环电路。这项研究工作在通信系统中有应用前景。     

一种基于DBF的双基地雷达系统的性能分析与实验研究

讨论了一种基于数字波束形成的脉冲追赶式双基地雷达系统的构成和基本工作原理．对该双基地雷达的性能进行了理论分析，并通过实验结果进行了验证。     

预测控制算法的统一格式及其在电加热炉的应用

本文根据常用的两类预测控制算法推出一种新型预测控制算法。并将其应用于一双输入/双输出的力学持久机电加热炉的温度控制系统上,获得了满意的结果:控温精度为±1.5℃/300℃,且适用于非最小相位系统。     

二滩电厂双缸液压启闭机原理及故障分析

二滩电厂表孔采用弧形门,启闭形式为双缸液压启闭机.自投入运行以来,运行状况良好.汛期启闭方式已由原来的现地手动操作过渡到远方控制自动启闭.在闸门起落的过程中,由于工况的不同,两缸会出现不同步现象,因此设计中考虑了纠偏回路.本文简单介绍了二滩电厂表孔液压启闭机的原理和故障情况.     

基于FPGA的位同步信号提取

同步是通信系统中一个非常重要的实际问题。在同步通信系统中,同步系统性能的降低会导致通信系统性能的降低,甚至使通信系统不能正常工作。因此,同步是信息能够正确可靠地进行传输的前提。介绍一种基于FPGA的锁相环位同步提取技术的原理,并用VHDL语言编程实现,在QuartusⅡ下编译仿真通过,给出仿真波形图。经分析该设计稳定可靠,且能够完成要求。     

Using linear models in optimizing parameters of time-triggered protocols

A mechanism of synchronization of components of distributed systems in which communications are based on a common time schedule for all system components is illustrated by examples of simple Time-Triggered Protocols. For parametric linear models of synchronization, the optimization problem is considered for a parameter that should exclude the overlapping of messages in communication channels. The results of using numeric methods for estimation of the optimal value of this parameter are described. __________ Translated from Kibernetika i Sistemnyi Analiz, No. 3, pp. 24–32, May–June 2006.     

Electronic locking devices based on microcontrollers and chaotic maps using Model-Matching Control

In this work a real-time communication system using Arduino® microcontrollers, applied to electronic locking devices, is implemented. Model-Matching Control is used to achieve synchronization between transmitter and receiver Arduino® microcontrollers using only one transmission channel. Model-Matching Control is fed with dynamics from both Arduinos. Transmitter Arduino® is used also to generate in real-time an encrypted chaotic code key based on the Chen map. Receiver Arduino® recover in real-time the chaotic code key that is a binary signal key of an electronic locking device and where wireless communication is made between the two Arduinos using Bluetooth modules. System evaluation in terms of performance, randomness, and time complexity, are shown, as well as experimental results and some discussions are presented.