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     

Impulse breakdown voltages of triggered multistage vacuum gap

Several sealed-off triggered vacuum gaps are connected in series to improve hold-off voltage. The characteristics of impulse breakdown voltage of these series-connected gaps are investigated experimentally. The sum hold-off voltage of series-connected gaps decreases to a unit hold-off voltage when the maximum value of voltage division ratio across the gaps increases to unity. Self-breakdown probability of the series-connected gaps is always higher than that of a single gap under the same conditions. Hence, stage efficiency of the multistage gap decreases with increasing number of stages. Its value is 90 percent with 2-stage gap and 75 percent with 5-stage gap, respectively, under the same voltage division ratio and the same gap length (2.0 mm) in each stage. Triggered breakdown voltage of 2- or 3- stage gap is several hundred volts when all gaps are triggered simultaneously at the peak of the main impulse wave and a working voltage range is nearly 100 percent in this case. The working voltage range decreases with number of stages. Its value is 45 percent with 3-stage gap and 15 percent with 5-stage gap, respectively, when one triggered gap is fired for switching.     

Zooplankton population in the river tigris: Effects of samarra impoundment

The influences of the Samarra impoundment on the ecology of the downstream sector of the river Tigris are investigated. Zooplankton were collected monthly from July 1987 to July 1988. It was found that zooplankton were most abundant during high river discharges in March. During the month of low river discharge, September, the zooplankton population was greatly reduced immediately below the barrage and remained so to the last downstream station. Several factors seem to explain such differences. The high discharge from the impoundment was found to be the dominating factor and may flush the small backwaters in which zooplankton were abundant, thus increasing the population in the river. Zooplankton species vary in their ability to sustain populations in the river, variations which are due mainly to species-specific characteristics.     

Electrical properties and positron annihilation study of (Ba<Subscript>1−<Emphasis Type="Italic">x</Emphasis></Subscript>Ho<Subscript><Emphasis Type="Italic">x</Emphasis></Subscript>)TiO<Subscript>3</Subscript> ceramics

DC resistivity, dielectric constant, dielectric loss and positron annihilation spectra of (Ba_1−x Ho _x )TiO₃ ceramics have been measured as a function of holmium concentration x. It has been found that the DC resistivity of (Ba_1−x Ho _x )TiO₃ is strongly dependent on the Ho content: it decreases three orders of magnitude and reaches a minimum at x = 0.4%. Doping with 0.6% holmium increases the permittivity of BaTiO₃ by approximately three times (from ∼1,300 to ∼4,000), with only a slight increase in the corresponding dielectric loss. The local electron density and defect concentration estimated using positron annihilation technique conforms well to the features found in the dielectric and resistivity measurements. The results have been discussed in terms of a mixed compensation model.