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     

Evaluation of image similarity by histogram intersection

Colour is the most widely used attribute in image retrieval and object recognition. A technique known as histogram intersection has been widely studied and is considered to be effective for color‐image indexing. The key issue of this algorithm is the selection of an appropriate color space and optimal quantization of the selected color space. The goal of this article is to measure the model performance in predicting human judgment in similarity measurement for various images, to explore the capability of the model with a wide set of color spaces, and to find the optimal quantization of the selected color spaces. Six color spaces and twelve quantization levels are involved in evaluating the performance of histogram intersection. The categorical judgment and rank order experiments were conducted to measure image similarity. The CIELAB color space was found to perform at least as good as or better than the other color spaces tested, and the ability to predict image similarity increased with the number of bins used in the histograms, for up to 512 bins (8 per channel). With more than 512 bins, further improvement was negligible for the image datasets used in this study. © 2005 Wiley Periodicals, Inc. Col Res Appl, 30, 265–274, 2005; Published online in Wiley InterScience (www.interscience.wiley.com). DOI 10.1002/col.20122     

Anaerobic biodecolorization of textile reactive anthraquinone and phthalocyanine dyebaths under hypersaline conditions.

The biological decolorization of two industrial, spent textile reactive dyebaths was investigated using a suspended-growth, halophilic mixed culture fed with glucose. Dyebath I contained mainly Reactive Blue 19 (RB19), an anthraquinone dye, whereas dyebath II contained mainly Reactive Blue 21 (RB21), a phthalocyanine dye. Batch assays under anaerobic conditions with the two neutralized dyebaths resulted in 87 and 37% extent of decolorization for dyebaths I and II, respectively. The rate of glucose utilization and the extent of acetate production were impacted in the presence of each dyebath as compared to the control culture. However, dyebath decolorization occurred despite moderate culture inhibition. Reuse of a biologically renovated RB19-containing dyebath in the dyeing process resulted in reproducible but not identical cotton fabric shades as compared to a standard dyeing (i.e., control) using fresh water. This difference is attributed to a variable degree of RB19 aggregation during the dyeing process and is not related to the efficiency of the biodecolorization process. Further improvement of the redyeing efficiency will lead to the development of an in-plant, closed-loop decolorization system resulting in significant water conservation and minimization of textile pollutants such as salt and dyes.