Systematic Usage of Embedded Modelling Languages in Automated Model Transformation Chains

Annotation of programs using embedded Domain-Specific Languages (embedded DSLs), such as the program annotation facility for the Java programming language, is a well-known practice in computer science. In this paper we argue for and propose a specialized approach for the usage of embedded Domain-Specific Modelling Languages (embedded DSMLs) in Model-Driven Engineering (MDE) processes that in particular supports automated many-step model transformation chains. It can happen that information defined at some point, using an embedded DSML, is not required in the next immediate transformation step, but in a later one. We propose a new approach of model annotation enabling flexible many-step transformation chains. The approach utilizes a combination of embedded DSMLs, trace models and a megamodel. We demonstrate our approach based on an example MDE process and an industrial case study.

Automated detection and tracking of solar magnetic bright points

Magnetic bright points (MBPs) in the internetwork are among the smallest objects in the solar photosphere and appear bright against the ambient environment. An algorithm is presented that can be used for the automated detection of the MBPs in the spatial and temporal domains. The algorithm works by mapping the lanes through intensity thresholding. A compass search, combined with a study of the intensity gradient across the detected objects, allows the disentanglement of MBPs from bright pixels within the granules. Object growing is implemented to account for any pixels that might have been removed when mapping the lanes. The images are stabilized by locating long-lived objects that may have been missed due to variable light levels and seeing quality. Tests of the algorithm, employing data taken with the Swedish Solar Telescope, reveal that approximate to 90 per cent of MBPs within a 75 x 75 arcsec(2) field of view are detected.

A randomised, controlled trial of conventional versus automated weaning from mechanical ventilation using SmartcareTM/PS

Objective
Preliminary assessment of an automated weaning system (SmartCare™/PS) compared to usual management of weaning from mechanical ventilation performed in the absence of formal protocols.


Design and setting
A randomised, controlled pilot study in one Australian intensive care unit.


Patients
A total of 102 patients were equally divided between SmartCare/PS and Control.

Interventions
The automated system titrated pressure support, conducted a spontaneous breathing trial and provided notification of success (“separation potential”).

Measurements and results
The median time from the first identified point of suitability for weaning commencement to the state of “separation potential” using SmartCare/PS was 20 h (interquartile range, IQR, 2–40) compared to 8 h (IQR 2–43) with Control (log-rank P = 0.3). The median time to successful extubation was 43 h (IQR 6–169) using SmartCare/PS and 40 (14–87) with Control (log-rank P = 0.6). Unadjusted, the estimated probability of reaching “separation potential” was 21% lower (95% CI, 48% lower to 20% greater) with SmartCare/PS compared to Control. Adjusted for other covariates (age, gender, APACHE II, SOFAmax, neuromuscular blockade, corticosteroids, coma and elevated blood glucose), these estimates were 31% lower (95% CI, 56% lower to 9% greater) with SmartCare/PS. The study groups showed comparable rates of reintubation, non-invasive ventilation post-extubation, tracheostomy, sedation, neuromuscular blockade and use of corticosteroids.

Conclusions
Substantial reductions in weaning duration previously demonstrated were not confirmed when the SmartCare/PS system was compared to weaning managed by experienced critical care specialty nurses, using a 1:1 nurse-to-patient ratio. The effect of SmartCare/PS may be influenced by the local clinical organisational context.

Automated mixed dimensional modelling from 2D and 3D CAD models

The motivation for this paper is to present procedures for automatically creating idealised finite element models from the 3D CAD solid geometry of a component. The procedures produce an accurate and efficient analysis model with little effort on the part of the user. The technique is applicable to thin walled components with local complex features and automatically creates analysis models where 3D elements representing the complex regions in the component are embedded in an efficient shell mesh representing the mid-faces of the thin sheet regions. As the resulting models contain elements of more than one dimension, they are referred to as mixed dimensional models. Although these models are computationally more expensive than some of the idealisation techniques currently employed in industry, they do allow the structural behaviour of the model to be analysed more accurately, which is essential if appropriate design decisions are to be made. Also, using these procedures, analysis models can be created automatically whereas the current idealisation techniques are mostly manual, have long preparation times, and are based on engineering judgement. In the paper the idealisation approach is first applied to 2D models that are used to approximate axisymmetric components for analysis. For these models 2D elements representing the complex regions are embedded in a 1D mesh representing the midline of the cross section of the thin sheet regions. Also discussed is the coupling, which is necessary to link the elements of different dimensionality together. Analysis results from a 3D mixed dimensional model created using the techniques in this paper are compared to those from a stiffened shell model and a 3D solid model to demonstrate the improved accuracy of the new approach. At the end of the paper a quantitative analysis of the reduction in computational cost due to shell meshing thin sheet regions demonstrates that the reduction in degrees of freedom is proportional to the square of the aspect ratio of the region, and for long slender solids, the reduction can be proportional to the aspect ratio of the region if appropriate meshing algorithms are used.

Comparison of porcine urine and bile as matrices to screen for the residues of two sulfonamides using a semi-automated enzyme immunoassay.

Porcine urine enzyme immunoassays for sulfamethazine and sulfadiazine have previously been employed as screening tests to predict the concentrations of the drugs in the corresponding tissues (kidneys), If a urine was found positive (> 800 ng ml(-1)) the corresponding kidney was then analysed by an enzyme immunoassay and, if found positive, a confirmatory analysis by HPLC was performed. Urine was chosen as the screening matrix since sulfonamides are mainly eliminated through this body fluid, However, after obtaining a number of false positive predictions, an investigation was carried out to assess the possibility of using an alternative body fluid which would act as a superior indicator of the presence of sulfonamides in porcine kidney, An initial study indicated that serum, plasma and bile could all be used as screening matrices. From these, bile was chosen as the preferred sample matrix and an extensive study followed to compare the efficiencies of sulfonamide positive bile and urine at predicting sulphonamide positive kidneys, Bile was found to be 17 times more efficient than urine at predicting a sulfamethazine positive kidney and 11 times more efficient at predicting a sulfadiazine positive kidney, With this enhanced performance of the initial screening test, the need for the costly and time consuming kidney enzyme immunoassay, prior to HPLC analysis, was eliminated

The appraisal of an automated multi-immunoaffinity chromatography system to detect anabolic agents in bile and urine

Screening for residues of anabolic steroids frequently requires extraction from tissues and fluids before analysis. Chemical procedures for these extractions can be complicated, expensive to perform and not ideal for the simultaneous extraction of analytes with different solubilities. Extraction by multi-immunoaffinity chromatography (MIAC) may be used as an alternative. Samples are passed through a column containing a range of antibodies immobilized on an inert support. The desired analytes are bound to their respective antibodies, washed and then eluted by a suitable solvent. The purified extracts can then be incorporated into the analytical tests, The analytes that can be extracted presently are alpha-nortestosterone, zeranol, trenbolone, diethylstilboestrol, boldenone and dexamethasone. Manually, the MIAC procedure is limited to about six columns per operator but bq automating the process using a robotic sample processor (RSP), 48 columns can be run simultaneously during the day or night. The RSP has also been adapted to transfer extracts and reagents on to ELISA plates. The automated system has proved to be a robust and reliable means of screening large numbers of samples for anabolic agents with minimal manual input

An exploratory study of Principal Investigator roles in UK University Proof-of-Concept processes: an Absorptive capacity perspective

The increasing emphasis on academic entrepreneurship, technology transfer and research commercialisation within UK universities is predicated on basic research being developed by academics into commercial entities such as university spin-off companies or licensing arrangements. However, this process is fraught with challenges and risks, given the degree of uncertainty regarding future returns. In an attempt to minimise such risks, the Proof-of-Concept (PoC) process has been developed within University Science Park Incubators (USIs) to test the technological, business and market potential of embryonic technology. The key or the pivotal stakeholder within the PoC is the Principal Investigator (PI), who is usually the lead academic responsible for the embryonic technology. Within the current literature, there appears to be a lack of research pertaining to the role of the PI in the PoC process. Moreover, Absorptive Capacity (ACAP) has emerged within the literature as a theoretical framework or lens for exploring the development and application of new knowledge and technology, where the USI is the organisation considered in the current study. Therefore, the aim of this paper is to explore the role and influence of the PI in the PoC process within a USI setting using an ACAP perspective. The research involved a multiple case analysis of PoC applications within a UK university USI. The results demonstrate the role of the PI in developing practices and routines within the PoC process. These practices and processes were initially tacit and informal in nature but became more explicit and formal over time so that knowledge was retained within the USI after the PIs had completed the PoC process. © 2010 The Authors. R&D Management © 2010 Blackwell Publishing Ltd.

A short proof of existence of disjoint hypercyclic operators

We give a short proof of existence of disjoint hypercyclic tuples of operators of any given length on any separable infinite dimensional Fr\'echet space. Similar argument provides disjoint dual hypercyclic tuples of operators of any length on any infinite dimensional Banach space with separable dual.

Stir bar sorptive extraction of diclofenac from liquid formulations: A proof of concept study

A new stir bar sorptive extraction (SBSE) technique coupled with HPLC-UV method for quantification of diclofenac in pharmaceutical formulations has been developed and validated as a proof of concept study. Commercially available polydimethylsiloxane stir bars (Twister (TM)) were used for method development and SBSE extraction (pH, phase ratio, stirring speed, temperature, ionic strength and time) and liquid desorption (solvents, desorption method, stirring time etc) procedures were optimised. The method was validated as per ICH guidelines and was successfully applied for the estimation of diclofenac from three liquid formulations viz. Voltarol (R) Optha single dose eye drops, Voltarol (R) Ophtha multidose eye drops and Voltarol (R) ampoules. The developed method was found to be linear (r=0.9999) over 100-2000 ng/ml concentration range with acceptable accuracy and precision (tested over three QC concentrations). The SBSE extraction recovery of the diclofenac was found to be 70% and the LOD and LOQ of the validated method were found to be 16.06 and 48.68 ng/ml, respectively. Furthermore, a forced degradation study of a diclofenac formulation leading to the formation of structurally similar cyclic impurity (indolinone) was carried out. The developed extraction method showed comparable results to that of the reference method, i.e. method was capable of selectively extracting the indolinone and diclofenac from the liquid matrix. Data on inter and intra stir bar accuracy and precision further confirmed robustness of the method, supporting the multiple re-use of the stir bars. (C) 2010 Elsevier B.V. All rights reserved.