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     

Self-aligned offset gated poly-Si TFTs with a floating sub-gate

We have fabricated a self-aligned offset-gated poly-Si thin film transistor (TFT) by employing a novel photoresist reflow process. The gate structure of the new device is consisted of two unique patterns: A main-gate and a sub-gate. The new fabrication method extends the gate-oxide over the offset region. With the assistance of the sub-gate and reflowed photoresist a self-aligned offset region is successfully obtained due to the offset oxide acting as an implantation mask. The poly-Si TFT with symmetrical offsets is easily fabricated and the new method does not require any additional offset mask step. Compared with the misaligned offset gated poly-Si TFTs, excellent symmetric electrical characteristics are obtained     

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.     

Acidogenic fermentation of blended food‐waste in combination with primary sludge for the production of volatile fatty acids

The performance of a laboratory‐scale anaerobic acidogenic fermenter fed with a mixture of blended kitchen food‐waste and primary sludge from a sewage treatment plant was investigated for the production of volatile fatty acids (VFA). The operating variables for acidogenic fermentation were kitchen food‐waste content (10 and 25 wt %), hydraulic retention time (HRT: 1, 3 and 5 days), temperature (ambient: 18 ± 2 °C, and mesophilic: 35 ± 2 °C) and pH (varied from 5.2 to 6.7). The experimental results indicated that effluent VFA concentrations and VFA production rates were higher at ambient temperature than at mesophilic conditions. The net amount of VFA with 10 wt % food‐waste increased up to 920 mg dm^?3 with an increase of HRT, but contrasting results (a decrease of 2610 mg dm^?3) were found due to the conversion of VFA into biogas in the case of 25 wt % food‐waste, which increased significantly at HRT of 3–5 days. In terms of biogas composition (CO₂ and CH₄), the organic matter was converted into CO₂ through the oxidative pathway by facultative species at low temperature while mesophilic temperature and optimum pH (6.3–7.8) played a pivotal role in increasing rate of conversion of VFA into biogas by methanogenesis. Rates of VFA production and their conversion are dependent on the food‐waste content in the mixture. Yet, the higher concentration of food‐waste (25% compared with 10%) did not produce VFA proportionally due to the increased rate of conversion of VFA into gaseous products. The maximum VFA production rate (0.318 g VFA_produced g^?1 VS_fed day^?1) was achieved in the 10 wt % food‐waste at ambient temperature and at a 5‐day HRT. Copyright © 2005 Society of Chemical Industry