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     

An experiment for showing some kind of artificial understanding

In this paper we design an experiment which can be depicted as a simple scenario, a very limited 'world'. In this world, there are an actor that can pursue a project and an observer that is keeping its eyes on the actor. We try to show in the experiment that the observer can to some degree understand the actor based on its knowledge and some metaphors, i.e. understand what the actor is doing and why. As the conclusion of this experiment, we try to show some features of 'understanding'. These are (1) that 'understanding' has to be based on some preliminary knowledge; (2) that 'understanding' is a process of incremental learning; (3) that, as for symbolic systems, some metaphors are necessary for mapping real entities into concepts in mind.     

Standing on Solid Ground

The new Editor in Chief of IEEE Micro introduces himself and the first issue of 2007. He thanks outgoing Editor in Chief Pradip Bose for his outstanding work on Micro during his tenure. He assesses the current state of the microarchitecture field, speculates on the future, and asks readers for their suggestions on topics the magazine should cover in coming issues.     

Bioavailability and Toxicity of Metal Nutrients during Anaerobic Digestion

This paper investigates the effect of chelating agents on the bioavailability of Fe and Cu during anaerobic digestion. The results on metal speciation and methane production in anaerobic serum bottles showed that biomass was able to grow in the presence of citrate 1?mM and nitrilotriacetic acid (NTA) 1?mM, suggesting that the binding sites at the cell surface competed efficiently for the metals with the chelating agents added. The presence of free ethylenediaminetetraacetic acid 1?mM inhibited methanogenesis, and this seemed to be related to a loss in metal uptake capacity. Although the addition of soluble microbial products (SMP) did not change metal distribution in anaerobic systems, it caused an increase in the rate of methane production, and it is believed that direct uptake of Cu-SMP complexes was responsible for this increase. The best protection against Cu toxicity occurred when stoichiometric amounts of NTA, which should complex and solubilize most of the Cu, was added, and it is likely that NTA prevented lethal concentrations of Cu from being adsorbed onto the cell and hence internalized.