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     

Synthesis,characterization and properties of functionalized styrene–maleimide copolymers

New functionalized styrene–maleimide copolymers were prepared by free radical copolymerization of styrene (St) and N‐4‐carboxybutylmaleimide (NBMI) in chloroform, using 2,2′‐azobisisobutyronitrile (AIBN) as initiator. Monomer and copolymer characterization was carried out by ¹H‐ and ¹³C‐NMR. Copolymer composition was determined by elemental analysis and Fourier‐transform infrared (FTIR) spectroscopy. The glass transition temperature (from DSC) and the thermogravimetric analysis (TGA) of the copolymers were consistent with the thermal behavior and stability observed for alternating St–maleimide copolymers. St–NBMI copolymers crosslinked with divinylbenzene (DVB) were also synthesized and their cation exchange properties evaluated in order to assess the capacity of the new copolymers to bind metallic ions. Copyright © 2005 Society of Chemical Industry     

2,4,6‐Trichlorophenol and phenol removal in methanogenic and partially‐aerated methanogenic conditions in a fluidized bed bioreactor

A fluidized bed bioreactor (FBBR) was operated for more than 575 days to remove 2,4,6‐trichlorophenol (TCP) and phenol (Phe) from a synthetic toxic wastewater containing 80 mg L^?1 of TCP and 20 mg L^?1 of Phe under two regimes: Methanogenic (M) and Partially‐Aerated Methanogenic (PAM). The mesophilic, laboratory‐scale FBBR consisted of a glass column (3 L capacity) loaded with 1 L of 1 mm diameter granular activated carbon colonized by an anaerobic consortium. Sucrose (1 g COD L^?1) was used as co‐substrate in the two conditions. The hydraulic residence time was kept constant at 1 day. Both conditions showed similar TCP and Phe removal (99.9 + %); nevertheless, in the Methanogenic regime, the accumulation of 4‐chlorophenol (4CP) up to 16 mg L^?1 and phenol up to 4 mg L^?1 was observed, whereas in PAM conditions 4CP and other intermediates were not detected. The specific methanogenic activity of biomass decreased from 1.01 ± 0.14 in M conditions to 0.19 ± 0.06 mmolCH₄ h^?1 gTKN^?1 in PAM conditions whereas the specific oxygen uptake rate increased from 0.039 ± 0.008 in M conditions to 0.054 ± 0.012 mmolO₂ h^?1 gTKN^?1, which suggested the co‐existence of both methanogenic archaea and aerobic bacteria in the undefined consortium. The advantage of the PAM condition over the M regime is that it provides for the thorough removal of less‐substituted chlorophenols produced by the reductive dehalogenation of TCP rather than the removal of the parent compound itself. Copyright © 2005 Society of Chemical Industry     

Comparison between photocatalytic ozonation and other oxidation processes for the removal of phenols from water

Photocatalytic ozonation (1O₃ + VUV + TiO₂), ozonation (O₃), catalytic ozonation (O₃ + TiO₂), ozone photolysis (O₃ + VUV), photocatalysis (TiO₂ + VUV) and photolysis (VUV) have been compared in terms of formation of intermediates, extent of, mineralization (TOC, COD, chloride, nitrate) and kinetics in the aqueous treatment of three phenols (phenol, p‐chlorophenol and p‐nitrophenol). In all cases, photocatalytic ozonation led to lower degradation times for chemical oxygen demand and total organic carbon removal. Intermediates formed were similar in the different oxidation systems with some exceptions. They can be classified into three different types: polyphenols (resorcinol, catechol, hydroquinone), unsaturated carboxylic acids (maleic and fumaric acids) and saturated carboxylic acids (glyoxylic, formic and oxalic acids). First order kinetic equations have been checked for the oxidation processes studied in the case of the parent compound. Rate constants of these systems have also been calculated. Copyright © 2005 Society of Chemical Industry