Tree-Based Concurrency Control in Distributed Groupware

We present a novel algorithm, called dARB, forsolving the concurrency control problem indistributed collaborative applications. Themain issue of concurrency control is resolvingthe conflicts resulting from simultaneousactions of multiple users. The algorithmreduces the need for manual conflict resolutionby using a distributed arbitration scheme. Themain advantages of our approach are thesimplicity of use and good responsiveness, asthere are no lock mechanisms. Our algorithmrequires the applications to use a tree as theinternal data structure. This makes itapplication independent and suitable forgeneral collaborative applications. The treerequirement is reasonable since many newapplications use XML (extensible MarkupLanguage) for data representation and exchange,and parsing XML documents results in treestructures. Example applications of thealgorithm, a group text editor and acollaborative 3D virtual environment calledcWorld, are implemented and evaluated in theDISCIPLE collaboration framework. We alsointroduce awareness widgets that users avoidgenerating the conflicting events and help inmanual conflict resolution.     

Cointegration of Gate-All-Around MOSFETs and Local Silicon-on-Insulator Optical Waveguides on Bulk Silicon

In this work we present a bulk silicon technology platform able to cointegrate gate-all-around (GAA) MOSFETs and local SOI waveguides with pentagonal cross section. Wire diagonals of 100-800 nm are obtained using a lithographic resolution of 0.8 mum. Well-functioning triangular multigate MOSFETs are reported, and tested up to 150 degC. A significant increase is observed in the low-field mobility mu₀ for small devices (W_effles500 nm), which is attributed to local volume inversion in the corners. Preliminary characterization of the optical waveguides is carried out, showing optical losses of a few dB/cm. The processing is entirely CMOS compatible, does not require access to advanced lithography equipment, and is based on a silicon bulk substrate. Thus, this technology might serve as the basis for a low-cost, high-performance optical signaling platform     

An EKV-based high voltage MOSFET model with improved mobility and drift model

An EKV-based high voltage MOSFET model is presented. The intrinsic channel model is derived based on the charge based EKV-formalism. An improved mobility model is used for the modeling of the intrinsic channel to improve the DC characteristics. The model uses second order dependence on the gate bias and an extra parameter for the smoothening of the saturation voltage of the intrinsic drain. An improved drift model [Chauhan YS, Anghel C, Krummenacher F, Ionescu AM, Declercq M, Gillon R, et al. A highly scalable high voltage MOSFET model. In: IEEE European solid-state device research conference (ESSDERC), September 2006. p. 270–3; Chauhan YS, Anghel C, Krummenacher F, Maier C, Gillon R, Bakeroot B, et al. Scalable general high voltage MOSFET model including quasi-saturation and self-heating effect. Solid State Electron 2006;50(11–12):1801–13] is used for the modeling of the drift region, which gives smoother transition on output characteristics and also models well the quasi-saturation region of high voltage MOSFETs. First, the model is validated on the numerical device simulation of the VDMOS transistor and then, on the measured characteristics of the SOI-LDMOS transistor. The accuracy of the model is better than our previous model [Chauhan YS, Anghel C, Krummenacher F, Maier C, Gillon R, Bakeroot B, et al. Scalable general high voltage MOSFET model including quasi-saturation and self-heating effect. Solid State Electron 2006;50(11–12):1801–13] especially in the quasi-saturation region of output characteristics.     

Clustering based on median and closest string via rank distance with applications on DNA

This paper aims to present several clustering methods based on rank distance. Rank distance has applications in many different fields such as computational linguistics, biology and computer science. The K-means algorithm represents each cluster by a single mean vector. The mean vector is computed with respect to a distance measure. Two K-means algorithms based on rank distance are described in this paper. Hierarchical clustering builds models based on distance connectivity. This paper describes two hierarchical clustering techniques that use rank distance. Experiments using mitochondrial DNA sequences extracted from several mammals are performed to compare the results of the clustering methods. Results demonstrate the clustering performance and the utility of the proposed algorithms.     

Water balance modelling of alternate water sources at the household scale

Alternate water sources are being implemented in urban areas to augment scheme water supplied by a water utility to homes. These sources include residential wells, rainwater tanks and greywater systems. Greater water efficiency can be achieved when these systems are designed to match a water source to a given demand based on both water quantity and quality parameters. In this way the use of an alternate water source can be maximised and the use of the high quality scheme water minimised. This paper examines the use of multiple alternate water sources sequentially to supply the same demand point potentially optimising the use of all available water sources. It also allows correct sizing of such water systems and their components to reduce scheme water demand. A decision support tool based on water balance modelling was developed that considers such water options at the household scale. Application of this tool to eight scenarios for both large and small house lots shows that using alternate water sources individually can result in significant scheme water savings. However by integrating these sources additional scheme water saving can be made.     

An output formation consensus control for leader–follower networked multi-agent systems under communication constraints and switching topologies

In this paper, the formation consensus problem for a class of leader–follower networked multi-agent systems under communication constraints and switching topologies is investigated. A networked predictive control scheme is proposed to achieve stability and output formation consensus with the switching topology, capable of compensating for data loss and time delays in the network. By equating the whole closed-loop networked multi-agent system with the proposed control scheme to the corresponding switched system, the sufficient and necessary condition of output formation consensus and stability for agents is given. Finally, using three-degree-of-freedom air-bearing spacecraft simulators as the control objects, the proposed scheme is demonstrated to be able to actively compensate for the communication constraints through numerical simulations, and it is also verified to have a good control performance by further realizing the formation task of the simulators through practical experiments.     

Understanding cost drivers of software evolution: a quantitative and qualitative investigation of change effort in two evolving software systems

Making changes to software systems can prove costly and it remains a challenge to understand the factors that affect the costs of software evolution. This study sought to identify such factors by investigating the effort expended by developers to perform 336 change tasks in two different software organizations. We quantitatively analyzed data from version control systems and change trackers to identify factors that correlated with change effort. In-depth interviews with the developers about a subset of the change tasks further refined the analysis. Two central quantitative results found that dispersion of changed code and volatility of the requirements for the change task correlated with change effort. The analysis of the qualitative interviews pointed to two important, underlying cost drivers: Difficulties in comprehending dispersed code and difficulties in anticipating side effects of changes. This study demonstrates a novel method for combining qualitative and quantitative analysis to assess cost drivers of software evolution. Given our findings, we propose improvements to practices and development tools to manage and reduce the costs.     

Pollution source identification using a coupled diffusion model with a genetic algorithm

A new approach for the source quantification has been developed on the basis of real air pollutant hourly concentrations of SO₂, measured by three monitoring stations, during 9 h, around a group of three industrial sources. This inverse problem has been solved by coupling a direct model of diffusion (Pasquill’s Gaussian model) with a genetic algorithm, to search solutions leading to a minimum error between model outputs and measurements. The inversion performance depends on the relationship between the wind field and the configuration sources–receptors: good results are obtained when the monitoring stations are downwind from the sources, and in these cases, the order of magnitude of emissions is retrieved, sometimes with less than 10% error for at least two sources; there are some configurations (wind direction versus source and receptor locations) which do not permit to restore emissions. The latter situations reveal the need to conceive a specific network of sensors, taking into account the source locations and the most frequent weather patterns.     

New method for threshold voltage extraction of high-voltage MOSFETs based on gate-to-drain capacitance measurement

This letter reports on the extraction of the threshold voltage of laterally diffused MOS transistors. A clear analysis of the device physics is performed, highlighting the correlation between the change of the electron charge distribution along the channel and the device capacitance variations when the gate voltage is swept. Using numerical simulations, it is shown that the peak of the gate-to-drain capacitance is related to the transition of the surface from weak to moderate inversion in the intrinsic MOS transistor at the location of the maximum doping concentration, which corresponds to the threshold voltage of the device according to the MOS theory. Comparison between conventional I/sub D///spl radic/g/sub m/ extraction and the new proposed capacitance peak method is performed on both technology computer-aided design simulations and measurements in order to confirm the new experimental technique and related theory.