Analysis of the Datagram Congestion Control Protocol’s connection management procedures using the sweep-line method

State space explosion is a key problem in the analysis of finite state systems. The sweep-line method is a state exploration method which uses a notion of progress to allow states to be deleted from memory when they are no longer required. This reduces the peak number of states that need to be stored, while still exploring the full state space. The technique shows promise but has never achieved reductions greater than about a factor of 10 in the number of states stored in memory for industrially relevant examples. This paper discusses sweep-line analysis of the connection management procedures of a new Internet standard, the Datagram Congestion Control Protocol (DCCP). As the intuitive approaches to sweep-line analysis are not effective, we introduce new variables to track progress. This creates further state explosion. However, when used with the sweep-line, the peak number of states is reduced by over two orders of magnitude compared with the original. Importantly, this allows DCCP to be analysed for larger parameter values. Somsak Vanit-Anunchai was partially supported by an Australian Research Council Discovery Grant (DP0559927) and Suranaree University of Technology. Guy Edward Gallasch was supported by an Australian Research Council Discovery Grant (DP0559927).     

承钢棒材连轧线计算机控制系统

主要介绍了承钢棒材连轧线计算机控制系统，其中包括了系统的硬件配置，控制功能及控制说明。     

ETR Ⅱ-30调速器液压控制系统

ETRⅠ-30调速器是瑞士爱舍维斯工厂生产的具有PID调节规律的电液调速器。本文对其液压控制系统作了较详细的介绍,供有关人员参考。     

Stabilization of inter-area and/or oscillatory modes in large-scale power system by voltage impedance power system (VIPS) apparatus based on decentralized control scheme

New technologies such as power electronics have made it possible to change continuously the impedance of a power system not only to control power flow but also to enhance stability. A power system incorporating a variable impedance apparatus such as a variable series capacitor (VSrC) and high-speed phase shifter (HSPS) is called VIPS (Variable Impedance Power System) by the authors. This paper proposes a novel control method of VIPS apparatus such as VSrC and HSPS installed at an interconnecting point for stabilizing inter-area unstable and/or oscillatory modes. The proposed design method of the control system is a kind of hierarchical decentralized control method of a large-scale power system based on a Lyapunov function. Under the proposed control scheme, each subsystem can be stabilized independently by local controllers such as AVR, speed governor and PSS, and then the whole interconnected system can be stabilized by VIPS apparatus taking into account interactions between subsystems. The effectiveness and robustness of the VIPS apparatus control are shown by numerical examples with model systems including a large-scale power system.     

Issues in nonlinear stochastic grey box identification

Grey box identification refers to the practice of identifying dynamical systems in model structures exploiting partial prior information. This contribution reviews a method for stochastic grey box identification and surveys experiences and lessons of applying it to a number of industrial processes. Issues to be addressed include advantages and costs of introducing stochastics into the model, the question of what contribution must be expected from the model designer as opposed to what can be formalized in computer algorithms, and an outlook on future plans to resolve present shortcomings.     

Practical method for generation expansion planning based on dynamic programming

This paper presents an efficient method which provides the optimal generation mix and the optimal generation construction process. The approximation method in which the dynamic programming technique and gradient method are combined is applied to determine the optimal generation mix with hydropower generation technologies. The successive approximations dynamic programming (SADP) technique, which is very suitable for high-dimensional multistage decision process problems, is used for obtaining the optimal generation construction process. The effectiveness and feasibility of the developed technique are demonstrated on a practical power system model which has five types of generation technologies including a hydropower generation technology.     

引黄五座泵站火灾自动报警及联动控制系统

介绍了引黄工程五座泵站的火灾自动报警系统的组成及功能，对泵站的火灾探测系统、报警系统、联动控制系统、灭火系统、控制台等原理进行了详细说明，供同行参考借鉴。     

成品油汽运发货系统的研究与开发

介绍成品油传统汽运发货流程.指出其中的弊端,提出采用计算机网络化管理的思路,并对计算机成品油汽运发货系统的优点和功能进行了介绍,然后详细讨论了该系统的开发过程和功能实现,最后提出改进和发展方向。     

Improvement of levitation characteristics in a magnetic bearing system using HTSC‐permanent magnet hybrid structure

Magnetic bearing using pinning force of a permanent magnet and a high‐temperature superconductor has been developed. Additional permanent magnet is introduced to increase the levitation force of the magnetic bearing. In this hybrid magnetic bearing system, levitation force is mainly given by the repulsive force of the permanent magnets, and stability for the lateral direction is given by pinning force of the superconductor. The experimental device is developed. A ring‐type superconductor and a bulk one are examined. Levitation characteristics of the hybrid magnetic bearing are measured. The bulk superconductor shows better characteristics of both levitation and lateral stability than the ring one. Levitation force of the hybrid system becomes about twice as large as that of the nonhybrid one. Although, the repulsive force of the permanent magnet decreases the lateral stability of the system, its influence becomes small by choosing an adequate position of the permanent magnets and the superconductor. © 2004 Wiley Periodicals, Inc. Electr Eng Jpn, 150(1): 71–77, 2005; Published online in Wiley InterScience ( www.interscience.wiley.com ). DOI 10.1002/eej.10350