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     

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.     

Preliminary<Emphasis Type="Italic">in vitro</Emphasis> and<Emphasis Type="Italic">in vivo</Emphasis> characterizations of a sol-gel derived bioactive glass-ceramic system

This study investigates quantitatively and qualitatively the sol-gel derived bioactive glass-ceramic system (BGS)—apatite-wollastonite (AW) type granules in the size range of 0.5–1 mm, as an effective graft material for bone augmentation and restoration. Scanning electron micrographs (SEM) of the sintered granules revealed the rough material surface with micropores in the range 10–30 μm. X-ray diffraction (XRD) pattern of the granules revealed the presence of crystalline phases of the hydroxyapatite and wollastonite, and the functional groups of the silicate and phosphates were identified by Fourier transform infrared spectroscopy (FT-IR). Thein vitro cell culture studies with L929 mouse fibroblast cell line showed very few cells adhered on the BGS disc after 24 h. This could be due to the highly reactive surface of the disc concomitant with the crystallization but not due to the cytotoxicity of the material, since the cellular viability (MTT assay) with the material was 80‰ Cytotoxicity and cytocompatibility studies proved that the material was non-toxic and biocompatible. After 12 weeks of implantation of the BGS granules in the tibia bone of New Zealand white rabbits, the granules were found to be well osteointegrated, as observed in the radiographs. Angiogram with barium sulphate and Indian ink after 12 weeks showed the presence of microcapillaries in the vicinity of the implant site implicating high vascularity. Gross observation of the implant site did not show any inflammation or necrosis. SEM of the implanted site after 24 weeks revealed good osteointegration of the material with the newly formed bone and host bone. New bone was also observed within the material, which was degrading. Histological evaluation of the bone healing with the BGS granules in the tibial defect at all time intervals was without inflammation or fibrous tissue encapsulation. After 2 weeks the new bone was observed as a trabeculae network around the granules, and by 6 weeks the defect was completely closed with immature woven bone. By 12 weeks mature woven bone was observed, and new immature woven bone was seen within the cracks of the granules. After 24 weeks the defect was completely healed with lamellar bone and the size of the granules decreased. Histomorphometrically the area percentage of new bone formed was 67.77% after 12 weeks and 63.37% after 24 weeks. Less bone formation after 24 weeks was due to an increased implant surface area contributed by the material degradation and active bone remodeling. The osteostimulative and osteoconductive potential of the BGS granules was established by tetracycline labelling of the mineralizing areas by 2 and 6 weeks. This sol-gel derived BGS granules proved to be bioactive and resorbable which in turn encouraged active bone formation.