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     

Domain-Driven, Actionable Knowledge Discovery

Data mining increasingly faces complex challenges in the real-life world of business problems and needs. The gap between business expectations and R&D results in this area involves key aspects of the field, such as methodologies, targeted problems, pattern interestingness, and infrastructure support. Both researchers and practitioners are realizing the importance of domain knowledge to close this gap and develop actionable knowledge for real user needs.     

Ultralow-voltage boron-doped diamond field emitter vacuum diode

A boron-doped diamond field emitter diode with ultralow turn-on voltage and high emission current is reported. The diamond field emitter diode structure with a built-in cap was fabricated using molds and electrostatic bonding techniques. The emission current versus anode voltage of the capped diamond emitter diode with boron doping, sp² content, and vacuum thermal electric (VTE) treatment shows a very low turn-on voltage of 2 V. A high emission current of 1 μA at an anode voltage of less than 10 V can be obtained from a single diamond tip. The turn-on voltage is significantly lower than comparable silicon field emitters     

Oxygen absorption kinetics in YBa2Cu3Ox

The oxygen absorption process in highly aligned YBa₂Cu₃O_x samples in air and in pure oxygen was studied at several constant temperatures. The process can be expressed in two steps, a chemical reaction controlled step and a diffusion controlled step. The kinetic equations are as follows respectively:

(1 − a_t) ln(1 − a_t) + a_t = k_Dt

The activation energy was calculated using an Arrhenius equation. The technical conditions of heat treatment for oxygen absorption of highly aligned YBa₂Cu₃O_x crystals are discussed.