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).     

Real-time measurement of pointing action by using DSP

This paper presents an approach of measuring in real-time the vector of finger that is pointing to an object. DSP is used in the operation processing unit in order to do the real-time processing. The steps include the extraction of flesh-colored regions from an image, the labeling of the flesh-colored regions, and the detection of two characteristic positions on the finger so that the direction that the finger is pointing at will be calculated. The entire process takes about 29 msec, which makes it possible to have the frame rate of 34 fps. With this frame rate, this measurement approach is considered real-time and promising to be merged into other application systems. This work was presented in part at the 13th International Symposium on Artificial Life and Robotics, Oita, Japan, January 31–February 2, 2008     

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

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

Application of evolutionary programming to transient andsubtransient parameter estimation

This paper presents an artificial intelligence approach of using evolutionary programming to estimate the transient and subtransient parameters of a generator under normal operation. The estimation using evolutionary programming is compared with that using a corrected extended Kalman filter. The comparisons with both simulation and micromachine test results show that evolutionary programming is robust to search the real values of parameters even when the data are highly contaminated by noise, while with the extended Kalman filter, the estimation tends to diverge with such data     

Effect of type of processing on the microstructural features and mechanical properties of Al-Cu/SiC metal matrix composites

In this study, an aluminum based metallic matrix (Al-2wt.% Cu) was reinforced with SiC particulates using a conventional casting technique and a new disintegrated melt deposition technique. Microstructural characterization studies conducted on the samples taken from disintegrated melt deposition technique revealed a more uniform distribution of SiC particulates and good interfacial integrity between SiC particulates and metallic matrix when compared to the conventionally cast composite samples. Results of ambient temperature mechanical tests demonstrate an increase in 0.2% YS and ultimate tensile strength of samples taken from disintegrated melt deposition technique when compared with the unreinforced and conventionally cast composite samples. The results of microstructural characterization and mechanical testing were finally rationalized in terms of the nature of processing technique employed to reinforce Al-2wt.% Cu metallic matrix with SiC particulates.