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     

地表热释光找油机理的探讨

油气藏的微渗漏造成的上方放射性元素的局部富集（或贫化）影响地表沙土的天然热释光量，据此探讨了热释光找油的机理。     

Leiomyomatosis peritonealis disseminata. Two case reports

AIM: To study the action of quercetin (Que) on inhibiting platelet aggregation. METHODS: Active oxygen free radicals produced by xanthine/xanthine oxidase (Xan/XO) reaction was used, platelet aggregation was determined by the turbidimetric method, and the Xan/XO oxyradicals generating reaction by luminol-dependent chemiluminescence (Che) method. RESULTS: Active oxygen free radicals enhanced the platelet aggregation induced by ADP 1.6 mumol.L-1. The rate of maximal aggregation increased from 29%-38% for ADP to 59%-70% for ADP + Xan/XO. The enhancement was abolished by the treatment of platelet-rich plasma (PRP) with Que 650 mumol.L-1 or hydrocortisone (Hyd) 900 mg.L-1. Both Que and Hyd scavenged the active oxyradicals in vitro. The Che was decreased by 75.7% (Que 4 mumol.L-1) and 79.0% (Hyd 900 mg.L-1) as compared with control. CONCLUSION: Active oxygen free radicals participated in the platelet aggregation, and scavenging oxyradicals by Que was one of mechanisms of inhibiting platelet aggregation.