Finite element analysis of interfacial friction and slip in composites with fully unbonded filler

A finite element model is developed to predict the stress-strain behaviour of particulate composites with fully unbonded filler particles. This condition can occur because of the lack of adhesion property of the filler surface. Whilst part of the filler particle is separated from the matrix, another section of filler keeps in contact with the matrix because of the lateral compressive displacement of the matrix. The slip boundary condition is imposed on the section of the interface that remains closed. The states of stress and displacement fields are obtained. The location of any further deformation through crazing or shear band formation is identified. A completely unbonded inclusion with partial slip at a section of the interface reduces the concentration of the stress at the interface significantly. Whereas this might lead to slightly higher strength, it decreases the load transfer efficiency and stiffness of this type of composite.

Principles and methods for automated palynology

Pollen grains are microscopic so their identification and quantification has, for decades, depended upon human observers using light microscopes: a labour-intensive approach. Modern improvements in computing and imaging hardware and software now bring automation of pollen analyses within reach. In this paper, we provide the first review in over 15 yr of progress towards automation of the part of palynology concerned with counting and classifying pollen, bringing together literature published from a wide spectrum of sources. We
consider which attempts offer the most potential for an automated palynology system for universal application across all fields of research concerned with pollen classification and counting. We discuss what is required to make the datasets of these automated systems as acceptable as those produced by human palynologists, and present suggestions for how automation will generate novel approaches to counting and classifying pollen that have hitherto been unthinkable.

Towards an automated evaluation process for software architectures

Optimizing and editing enterprise software systems, after the implementation process has started, is widely recognized to be an expensive process. This has led to increasing emphasis on locating mistakes within software systems at the design stage, to help minimize development costs. There is increasing interest in the field of architecture evaluation techniques that can identify problems at the design stage, either within complete, or partially complete architectures. Most current techniques rely on manual review-based evaluation methods that require advanced skills from architects and evaluators. We are currently considering what a formal Architecture Description Language (ADL) can contribute to the process of architecture evaluation and validation. Our investigation is considering the inter-relationships between the activities performed during the architecture evaluation process, the characteristics an ADL should possess to support these activities, and the tools needed to provide convenient access to, and presentation of architectural information.

Defining Simulation Intent

Defining Simulation Intent involves capturing high level modelling and idealisation decisions in order to create an efficient and fit-for-purpose analysis. These decisions are recorded as attributes of the decomposed design space.

An approach to defining Simulation Intent is described utilising three known technologies: Cellular Modelling, the subdivision of space into volumes of simulation significance (structures, gas paths, internal and external airflows etc.); Equivalencing, maintaining a consistent and coherent description
of the equivalent representations of the spatial cells in different analysis models; and Virtual Topology, which offers tools for partitioning and de-partitioning the model without disturbing the manufacturing oriented design geometry. The end result is a convenient framework to which high level analysis attributes can be applied, and from which detailed analysis models can be generated
with a high degree of controllability, repeatability and automation. There are multiple novel aspects to the approach, including its reusability, robustness to changes in model topology and the inherent links created between analysis models at different levels of fidelity and physics.

By utilising Simulation Intent, CAD modelling for simulation can be fully exploited and simulation work-flows can be more readily automated, reducing many repetitive manual tasks (e.g. the definition of appropriate coupling between elements of different types and the application of boundary conditions). The approach has been implemented and tested with practical examples, and
significant benefits are demonstrated.

Automated Methods for Aircraft Design Integrated with Manufacturing

Aircraft design is a complex, long and iterative process that requires the use of various specialties and optimization tools. However these tools and specialities do not include manufacturing, which is often considered later in the product development process leading to higher cost and time delays. This work focuses on the development of an automated design tool that accounts for manufacture during the design process focusing on early geometry definition which in turn informs assembly planning. To accomplish this task the design process needs to be open to any variation in structural configuration while maintaining the design intent. Redefining design intent as a map which links a set of requirements to a set of functions using a numerical approach enables the design process itself to be considered as a mathematical function. This definition enables the design process to utilise captured design knowledge and translate it into a set of mathematical equations that design the structure. This process is articulated in this paper using the structural design and definition for an aircraft fuselage section as an exemplar.

High-Speed Fully Homomorphic Encryption Over the Integers

A fully homomorphic encryption (FHE) scheme is envisioned as a key cryptographic tool in building a secure and reliable cloud computing environment, as it allows arbitrary evaluation of a ciphertext without revealing the plaintext. However, existing FHE implementations remain impractical due to very high time and resource costs. To the authors’ knowledge, this paper presents the first hardware implementation of a full encryption primitive for FHE over the integers using FPGA technology. A large-integer multiplier architecture utilising Integer-FFT multiplication is proposed, and a large-integer Barrett modular reduction module is designed incorporating the proposed multiplier. The encryption primitive used in the integer-based FHE scheme is designed employing the proposed multiplier and modular reduction modules. The designs are verified using the Xilinx Virtex-7 FPGA platform. Experimental results show that a speed improvement factor of up to 44 is achievable for the hardware implementation of the FHE encryption scheme when compared to its corresponding software implementation. Moreover, performance analysis shows further speed improvements of the integer-based FHE encryption primitives may still be possible, for example through further optimisations or by targeting an ASIC platform.

Automated versus non-automated weaning for reducing the duration of mechanical ventilation for critically ill adults and children: a cochrane systematic review and meta-analysis

IntroductionAutomated weaning systems may improve adaptation of mechanical support for a patient’s ventilatory needs and facilitate systematic and early recognition of their ability to breathe spontaneously and the potential for discontinuation of ventilation. Our objective was to compare mechanical ventilator weaning duration for critically ill adults and children when managed with automated systems versus non-automated strategies. Secondary objectives were to determine differences in duration of ventilation, intensive care unit (ICU) and hospital length of stay (LOS), mortality, and adverse events.MethodsElectronic databases were searched to 30 September 2013 without language restrictions. We also searched conference proceedings; trial registration websites; and article reference lists. Two authors independently extracted data and assessed risk of bias. We combined data using random-effects modelling.ResultsWe identified 21 eligible trials totalling 1,676 participants. Pooled data from 16 trials indicated that automated systems reduced the geometric mean weaning duration by 30% (95% confidence interval (CI) 13% to 45%), with substantial heterogeneity (I2 = 87%, P <0.00001). Reduced weaning duration was found with mixed or medical ICU populations (42%, 95% CI 10% to 63%) and Smartcare/PS™ (28%, 95% CI 7% to 49%) but not with surgical populations or using other systems. Automated systems reduced ventilation duration with no heterogeneity (10%, 95% CI 3% to 16%) and ICU LOS (8%, 95% CI 0% to 15%). There was no strong evidence of effect on mortality, hospital LOS, reintubation, self-extubation and non-invasive ventilation following extubation. Automated systems reduced prolonged mechanical ventilation and tracheostomy. Overall quality of evidence was high.ConclusionsAutomated systems may reduce weaning and ventilation duration and ICU stay. Due to substantial trial heterogeneity an adequately powered, high quality, multi-centre randomized controlled trial is needed.

Automated versus non-automated weaning for reducing the duration of mechanical ventilation in critically ill adults & children (Review)

Background Automated closed loop systems may improve adaptation of mechanical support for a patient's ventilatory needs and facilitate systematic and early recognition of their ability to breathe spontaneously and the potential for discontinuation of ventilation. This review was originally published in 2013 with an update published in 2014. Objectives The primary objective for this review was to compare the total duration of weaning from mechanical ventilation, defined as the time from study randomization to successful extubation (as defined by study authors), for critically ill ventilated patients managed with an automated weaning system versus no automated weaning system (usual care). Secondary objectives for this review were to determine differences in the duration of ventilation, intensive care unit (ICU) and hospital lengths of stay (LOS), mortality, and adverse events related to early or delayed extubation with the use of automated weaning systems compared to weaning in the absence of an automated weaning system. Search methods We searched the Cochrane Central Register of Controlled Trials (CENTRAL) (The Cochrane Library 2013, Issue 8); MEDLINE (OvidSP) (1948 to September 2013); EMBASE (OvidSP) (1980 to September 2013); CINAHL (EBSCOhost) (1982 to September 2013); and the Latin American and Caribbean Health Sciences Literature (LILACS). Relevant published reviews were sought using the Database of Abstracts of Reviews of Effects (DARE) and the Health Technology Assessment Database (HTA Database). We also searched the Web of Science Proceedings; conference proceedings; trial registration websites; and reference lists of relevant articles. The original search was run in August 2011, with database auto-alerts up to August 2012. Selection criteria We included randomized controlled trials comparing automated closed loop ventilator applications to non-automated weaning strategies including non-protocolized usual care and protocolized weaning in patients over four weeks of age receiving invasive mechanical ventilation in an ICU. Data collection and analysis Two authors independently extracted study data and assessed risk of bias. We combined data in forest plots using random-effects modelling. Subgroup and sensitivity analyses were conducted according to a priori criteria. Main results We included 21 trials (19 adult, two paediatric) totaling 1676 participants (1628 adults, 48 children) in this updated review. Pooled data from 16 eligible trials reporting weaning duration indicated that automated closed loop systems reduced the geometric mean duration of weaning by 30% (95% confidence interval (CI) 13% to 45%), however heterogeneity was substantial (I2 = 87%, P < 0.00001). Reduced weaning duration was found with mixed or medical ICU populations (42%, 95% CI 10% to 63%) and Smartcare/PS™ (28%, 95% CI 7% to 49%) but not in surgical populations or using other systems. Automated closed loop systems reduced the duration of ventilation (10%, 95% CI 3% to 16%) and ICU LOS (8%, 95% CI 0% to 15%). There was no strong evidence of an effect on mortality rates, hospital LOS, reintubation rates, self-extubation and use of non-invasive ventilation following extubation. Prolonged mechanical ventilation > 21 days and tracheostomy were reduced in favour of automated systems (relative risk (RR) 0.51, 95% CI 0.27 to 0.95 and RR 0.67, 95% CI 0.50 to 0.90 respectively). Overall the quality of the evidence was high with the majority of trials rated as low risk. Authors' conclusions Automated closed loop systems may result in reduced duration of weaning, ventilation and ICU stay. Reductions are more likely to occur in mixed or medical ICU populations. Due to the lack of, or limited, evidence on automated systems other than Smartcare/PS™ and Adaptive Support Ventilation no conclusions can be drawn regarding their influence on these outcomes. Due to substantial heterogeneity in trials there is a need for an adequately powered, high quality, multi-centre randomized controlled trial in adults that excludes 'simple to wean' patients. There is a pressing need for further technological development and research in the paediatric population.

Automated tumour annotation and analysis for molecular pathology using TissueMark (R)

Objective: Molecular pathology relies on identifying anomalies using PCR or analysis of DNA/RNA. This is important in solid tumours where molecular stratification of patients define targeted treatment. These molecular biomarkers rely on examination of tumour, annotation for possible macro dissection/tumour cell enrichment and the estimation of % tumour. Manually marking up tumour is error prone. Method: We have developed a method for automated tumour mark-up and % cell calculations using image analysis called TissueMark® based on texture analysis for lung, colorectal and breast (cases=245, 100, 100 respectively). Pathologists marked slides for tumour and reviewed the automated analysis. A subset of slides was manually counted for tumour cells to provide a benchmark for automated image analysis. Results: There was a strong concordance between pathological and automated mark-up (100 % acceptance rate for macro-dissection). We also showed a strong concordance between manually/automatic drawn boundaries (median exclusion/inclusion error of 91.70 %/89 %). EGFR mutation analysis was precisely the same for manual and automated annotation-based macrodissection. The annotation accuracy rates in breast and colorectal cancer were 83 and 80 % respectively. Finally, region-based estimations of tumour percentage using image analysis showed significant correlation with actual cell counts. Conclusion: Image analysis can be used for macro-dissection to (i) annotate tissue for tumour and (ii) estimate the % tumour cells and represents an approach to standardising/improving molecular diagnostics.

Accelerating integer-based fully homomorphic encryption using Comba multiplication

Fully Homomorphic Encryption (FHE) is a recently developed cryptographic technique which allows computations on encrypted data. There are many interesting applications for this encryption method, especially within cloud computing. However, the computational complexity is such that it is not yet practical for real-time applications. This work proposes optimised hardware architectures of the encryption step of an integer-based FHE scheme with the aim of improving its practicality. A low-area design and a high-speed parallel design are proposed and implemented on a Xilinx Virtex-7 FPGA, targeting the available DSP slices, which offer high-speed multiplication and accumulation. Both use the Comba multiplication scheduling method to manage the large multiplications required with uneven sized multiplicands and to minimise the number of read and write operations to RAM. Results show that speed up factors of 3.6 and 10.4 can be achieved for the encryption step with medium-sized security parameters for the low-area and parallel designs respectively, compared to the benchmark software implementation on an Intel Core2 Duo E8400 platform running at 3 GHz.

CLUSTER LEED - A VERY FAST METHOD FOR SURFACE-STRUCTURE DETERMINATION

A very fast method, cluster low-energy electron diffraction (LEED) is proposed for LEED I-V spectral analysis, in which three appproximations are introduced: the small-atom approximation, omission of the structure factors, and truncation of higher order ( > 2) scattering events. The method has been tested using a total of four sets of I-V spectra calculated by fully dynamic LEED for (i) the simple overlayer system, O on Ni{100}, and (ii) the reconstructed system, Cu on W{100}, and also one set of experimental data from W{100}-c(2 X 2)-Cu. In each case the correct structural parameters are recovered. It is suggested that for complex systems cluster LEED provides an efficient fast route to trial structures, which could be refined by automated tenser LEED.