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).     

Manifold mapping: a two-level optimization technique

In this paper, we analyze in some detail the manifold-mapping optimization technique introduced recently [Echeverría and Hemker in space mapping and defect correction. Comput Methods Appl Math 5(2): 107—136, 2005]. Manifold mapping aims at accelerating optimal design procedures that otherwise require many evaluations of time-expensive cost functions. We give a proof of convergence for the manifold-mapping iteration. By means of two simple optimization problems we illustrate the convergence results derived. Finally, the performances of several variants of the method are compared for some design problems from electromagnetics.     

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     

Integrating trust into the CyberCraft Initiative via the Trust Vectors model [Application Notes]

This research supports the hypothesis that the Trust Vector model can be modified to fit the CyberCraft Initiative, and that there are limits to the utility of historical data. This research proposed some modifications and expansions to the Trust Model Vector, and identified areas for future research.     

Reliability assessment of an automated distribution system

Automation can greatly enhance distribution-network reliability by speeding up service restoration and thus significantly reduce customer-outage time. The paper presents an approach to assess quantitatively the adequacy of a particular automated distribution scheme designated as the `low interruption system' (LIS). Owing to the use of a high-speed communication system and line sensors, this automated scheme can reduce drastically the number of interruptions, the service interruption time and also the area affected by the fault. This scheme provides a simple and cost-effective way to automate distribution systems in which the remotely controlled switches speed up isolation of faulted sections and the restoration of healthy sections through alternative routes. The step-by-step calculation procedure is presented using a typical small automated distribution system. The proposed technique is then applied to a larger distribution system to examine the effectiveness of the technique and also to examine the level of reliability improvement achieved by automation     

Translating a typical business process modelling language to a web services ontology through lightweight mapping

Bridging the gap between enterprise modelling methods and Semantic Web services is an important yet challenging task. For organisations with business goals, the automation of business processes as Web services is increasingly important, especially with many business transactions taking place within the Web today. Taking one approach to address this problem, a lightweight mapping between Fundamental Business Process Modelling Language (FBPML) and the Web Services Ontology (OWL-S) is outlined. The framework entails a data model translation and a process model translation via the use of ontologies and mapping principles. Several working examples of the process model translations are presented together with the implementation of an automated translator. FBPML constructs and process models that could not be translated to OWL-S equivalents highlight the differences between the languages of the two domains. It also implies that evolving Semantic Web technologies, in particular OWL-S, are not adequate for all service modelling needs and could thus benefit from the more traditional and mature BPM methods. On a more interesting note, this is effectively the first step towards enabling a semantic-based business workflow system     

Modelling and simulation of KNbO3 ceramics dispersion

The dispersion of potassium niobate (KNbO₃) ceramics is analysed using the multiple-arc approach. This has revealed a high frequency arc that is unattainable by the Cole-Cole single arc analysis. The temperature dependence of the new arc is derived through the spread parameter of the relaxation distribution and interpreted in terms of the ferroelectric property of the KNbO₃ ceramics. It is shown that the overall dispersion behaviour of the ceramics is mainly due to the existence of two distinctly different polarisation mechanisms. The arc approach has also provided an effective tool for network simulation of dispersion whereby the ceramics are modelled by nine parallel R-C branches over the frequency range 10²-10⁵ Hz used     

QoS assessment of 3G video-phone calls by tracing watermarking exploiting the new colour space `YST?

Tracing watermarking has been recently proposed as a technique to provide a blind measure of the quality of service of the communication link, focusing on multimedia communication scenarios. 3G communication scenarios, where each customer transmits both voice and MPEG-4 video sequences in real time, have been considered. Typical video-phone call consists of close shots of speakers, framing their face in the foreground. For such particular application, a novel colour space (YST) is adopted to minimise the perceptual distortions on face coding introduced by watermarking. In the YST space, the luminance component (Y) is the same as in conventional YUV space, whereas the vectors S and T lie within the chrominance (UV) plane. The S (skin) component is a linear combination of U and V obtained as the 'average' chrominance estimated from an assorted set human faces to achieve a reasonable generalisation. The third component, T, is defined as orthogonal to the YS plane. The results show the benefits obtained in digital watermarking by the new representation against the conventional approach. In fact, the sensitivity of the YST representation outperforms the conventional one in terms of objective (mean square error, peak signal-to-noise ratio) and subjective (video-quality metrics) indicators.