Differencing and merging of architectural views

Differencing and merging architectural views is an important activity in software engineering. However, existing approaches are still based on restrictive assumptions, such as requiring view elements to have unique identifiers or exactly matching types, which is often not the case in many application domains. We propose an approach based on structural information. We generalize a published polynomial-time tree-to-tree correction algorithm that detects inserts, renames and deletes, into a novel algorithm that additionally detects restricted moves. Our algorithm also supports forcing and preventing matches between view elements. We incorporate the algorithm into tools to compare and merge Component-and-Connector (C&C) architectural views. We provide an empirical evaluation of the algorithm. We illustrate the tools using extended examples, and use them to detect and reconcile interesting differences between real architectural views. This article is an expanded version of the following paper: Abi-Antoun, M., Aldrich, J., Nahas, N., Schmerl, B., and Garlan, D: 2006, ‘Differencing and Merging of Architectural Views’. In: Proceedings of the 21st IEEE International Conference on Automated Software Engineering, pp. 47–58.     

A closed-loop cross-correlation method for detecting model mismatch in MIMO model-based controllers

Correlation between a dithering signal and the prediction error has been used for detecting model mismatch in univariate model based control systems. This paper extends that approach to MIMO control systems. A closed-loop cross-correlation method is presented to detect which specific input-output pairings of a model-based controller are mismatched. This method may be used in screening the complete set of models and in selecting candidate models for re-identification. The method first finds the rows and columns of the transfer function matrix that contain mismatch, and then the candidates are found by the intersection of the said rows and columns. Placing the system under partial control, whereby one or more of the manipulated variables are held constant, can be used to further reduce the set of candidate models.     

Effectiveness of participatory ergonomic interventions on health outcomes: a systematic review

The objective of this study was to conduct a systematic review of the literature on the effectiveness of participatory ergonomic (PE) interventions for improving workers' health. The search strategy targeted six electronic databases and identified 442 potential articles. Each article was examined by pairs of reviewers for relevance (assessed a participative ergonomic workplace intervention, with at least one health outcome, published in English in peer reviewed literature). Twenty-three articles met relevance criteria and were then appraised for methodological strength. Using a best evidence synthesis approach, 12 studies that were rated as 'medium' or higher provided partial to moderate evidence that PE interventions have a positive impact on: musculoskeletal symptoms, reducing injuries and workers' compensation claims, and a reduction in lost days from work or sickness absence. However, the magnitude of the effect requires more precise definition.     

NMR microscopy of single neurons at 500 MHZ

Previous NMR microimaging studies at 360 MHz have demonstrated a clear differentiation between the nucleus and cytoplasm in isolated single neurons. In particular, theT ₂ of the cell nucleus is 2.5 times larger than that of the cytoplasm. In order to determine the magnitude of possibleT ₂ ^* influences on these observations, images of single cells have been obtained at 500 MHz using spin-echo and line-narrowing sequences. Comparison of the images acquired by the two sequences, and of the spin-echo images at 360 and 500 MHz, imply that anyT ₂ ^* contributions are relatively small. Consequently, the measuredT ₂ differences in spin-echo imaging represent a true difference in theT ₂ relaxation in the two cellular compartments.     

Zeolitic materials as catalysts for organic syntheses

The major applications of zeolitic materials are as cation exchangers, selective adsorbents, catalysts and catalyst supports (mainly in catalytic cracking, hydroisomerization and aromatics processing). Their use in the synthesis of hydrocarbon intermediates and fine chemicals is at an earlier stage of research, although several international reunions and reviews have already shown the improvement achieved by using these solids in conventional catalytic processes. This improvement is found mainly in activity, selectivity and environmental concerns, new more environmentally friendly routes having been found for processes which previously produced undesirable side reactions or high amounts of environmentally hazardous residues (with the subsequent economic considerations). More than a hundred references form the main body of the present piece of work, which has three major objectives, the first of which is to outline the main properties of zeolitic materials in relation to their use as catalysts in organic syntheses, the second to present an up to date bibliographic review of their use for such purposes and the third to show the main improvements that these materials present with respect to the more conventional catalysts.     

Rational wavelet decompositions of transfer functions in hardy-sobolev classes

The model approximation of transfer functions using rational wavelets (or molecular decompositions) is considered. By using techniques from Hardy-Sobolev spaces it is shown that Hilbert space methods such as a modified matching-pursuit algorithm and least-squares technique can be employed to obtain good approximations in bothH ² andH norms. Several theoretical results are given on rates of convergence when the methods are applied to delay systems and fractional filters.The research of the first author was supported by E.P.S.R.C.     

Loss of heterozygosity in tuberous sclerosis hamartomas

We have previously described in tuberous sclerosis (TSC) hamartomas the phenomenon of loss of heterozygosity (LOH) for DNA markers in the region of both the TSC2 gene on chromosome 16p13.3 and the TSC1 gene on 9q34. We now describe the spectrum of LOH in 51 TSC hamartomas from 34 cases of TSC. DNA was extracted from leucocytes or normal paraffin embedded tissue, and from frozen paraffin embedded hamartoma tissue from the same patient. The samples were analysed for 11 markers spanning the TSC1 locus and nine markers spanning the TSC2 locus. Twenty-one of 51 hamartomas showed LOH (41%). There was significantly more LOH on 16p13.3, with 16 hamartomas showing LOH around TSC2, and five in the vicinity of TSC1. No hamartoma showed LOH for markers around both loci. All the areas of LOH on chromosome 9 were large, but the smallest region of overlap lay between the markers D9S149 and D9S114, providing independent evidence for the localisation of the TSC1 gene. These data show that LOH is a common finding in a wide range of hamartomas, affecting the same TSC locus in different lesions from the same patient but not affecting both loci. These data support the hypothesis that both the TSC genes act as tumour suppressors and that the manifestations of TSC in patients with germline TSC mutations rise from "second hit" somatic mutations inactivating the remaining normal copy of the TSC gene.     

Algebraic approach to linking the semantics of web services

Web services have become more and more important in these years, and BPEL4WS (BPEL) is a de facto standard for the web service composition and orchestration. It contains several distinct features, including the scope-based compensation and fault handling mechanism. We have considered the operational semantics and denotational semantics for BPEL, where a set of algebraic laws can be achieved via these two models, respectively. In this paper, we consider the inverse work, deriving the operational semantics and denotational semantics from algebraic semantics for BPEL. In our model, we introduce four types of typical programs, by which every program can be expressed as the summation of these four types. Based on the algebraic semantics, the strategy for deriving the operational semantics is provided and a transition system is derived by strict proof. This can be considered as the soundness exploration for the operational semantics based on the algebraic semantics. Further, the equivalence between the derivation strategy and the derived transition system is explored, which can be considered as the completeness of the operational semantics. Finally, the derivation of the denotational semantics from algebraic semantics is explored, which can support to reason about more program properties easily.