Effect of bow-type initial imperfection on the buckling load and mass of graphite-epoxy blade-stiffened panels

A structural synthesis computer code which accounts for first order effects of an initial bow and which can be used for sizing stiffened composite panels having an arbitrary cross section is used to study graphite blade-stiffened panels. The effect of a small initial bow on both the load carrying ability of panels and on the mass of panels designed to carry a specified load is examined. Large reductions in the buckling load caused by a small initial bow emphasize the need for considering a bow when a panel is designed

Vibration and Instability of Plate-Assemblies including Shear and Anisotropy (VIPASA) user's guide, addendum

Extensions developed at Langley Research Center to the VIPASA computer program are described including a procedure for simple thermal stress analysis and options for graphical display of output. Input requirements for operation of the modified program are given in detail

A Calculus of Bounded Capacities

Resource control has attracted increasing interest in foundational research on distributed systems. This paper focuses on space control and develops an analysis of space usage in the context of an ambient-like calculus with bounded capacities and weighed processes, where migration and activation require space. A type system complements the dynamics of the calculus by providing static guarantees that the intended capacity bounds are preserved throughout the computation

PASCO: Structural panel analysis and sizing code: Users manual - Revised

A computer code denoted PASCO is described for analyzing and sizing uniaxially stiffened composite panels. Buckling and vibration analyses are carried out with a linked plate analysis computer code denoted VIPASA, which is included in PASCO. Sizing is based on nonlinear mathematical programming techniques and employs a computer code denoted CONMIN, also included in PASCO. Design requirements considered are initial buckling, material strength, stiffness and vibration frequency. A user's manual for PASCO is presented

Strong coupling between single photons in semiconductor microcavities

We discuss the observability of strong coupling between single photons in semiconductor microcavities coupled by a chi(2) nonlinearity. We present two schemes and analyze the feasibility of their practical implementation in three systems: photonic crystal defects, micropillars and microdisks, fabricated out of GaAs. We show that if a weak coherent state is used to enhance the chi(2) interaction, the strong coupling regime between two modes at different frequencies occupied by a single photon is within reach of current technology. The unstimulated strong coupling of a single photon and a photon pair is very challenging and will require an improvement in mirocavity quality factors of 2-4 orders of magnitude to be observable.Comment: 4 page

Effective representation of RT-LOTOS terms by finite time petri nets

The paper describes a transformational approach for the specification and formal verification of concurrent and real-time systems. At upper level, one system is specified using the timed process algebra RT-LOTOS. The output of the proposed transformation is a Time Petri net (TPN). The paper particularly shows how a TPN can be automatically constructed from an RT-LOTOS specification using a compositionally defined mapping. The proof of the translation consistency is sketched in the paper and developed in [1]. The RT-LOTOS to TPN translation patterns formalized in the paper are being implemented. in a prototype tool. This enables reusing TPNs verification techniques and tools for the profit of RT-LOTOS

Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory

There are two fundamentally different approaches to specifying and verifying properties of systems. The logical approach makes use of specifications given as formulae of temporal or modal logics and relies on efficient model checking algorithms; the behavioural approach exploits various equivalence or refinement checking methods, provided the specifications are given in the same formalism as implementations. In this paper we provide translations between the logical formalism of Hennessy-Milner logic with greatest fixed points and the behavioural formalism of disjunctive modal transition systems. We also introduce a new operation of quotient for the above equivalent formalisms, which is adjoint to structural composition and allows synthesis of missing specifications from partial implementations. This is a substantial generalisation of the quotient for deterministic modal transition systems defined in earlier papers

Application of a Self-Similar Pressure Profile to Sunyaev-Zel'dovich Effect Data from Galaxy Clusters

We investigate the utility of a new, self-similar pressure profile for fitting Sunyaev-Zel'dovich (SZ) effect observations of galaxy clusters. Current SZ imaging instruments - such as the Sunyaev-Zel'dovich Array (SZA) - are capable of probing clusters over a large range in physical scale. A model is therefore required that can accurately describe a cluster's pressure profile over a broad range of radii, from the core of the cluster out to a significant fraction of the virial radius. In the analysis presented here, we fit a radial pressure profile derived from simulations and detailed X-ray analysis of relaxed clusters to SZA observations of three clusters with exceptionally high quality X-ray data: A1835, A1914, and CL J1226.9+3332. From the joint analysis of the SZ and X-ray data, we derive physical properties such as gas mass, total mass, gas fraction and the intrinsic, integrated Compton y-parameter. We find that parameters derived from the joint fit to the SZ and X-ray data agree well with a detailed, independent X-ray-only analysis of the same clusters. In particular, we find that, when combined with X-ray imaging data, this new pressure profile yields an independent electron radial temperature profile that is in good agreement with spectroscopic X-ray measurements.Comment: 28 pages, 6 figures, accepted by ApJ for publication (probably April 2009

Trials of the urban ecologist

A group of scientists describe some of the obstacles encountered and insights gained while carrying out ecological research in and around the city of Indianapolis

OvMark: a user-friendly system for the identification of prognostic biomarkers in publically available ovarian cancer gene expression datasets

Background: Ovarian cancer has the lowest survival rate of all gynaecologic cancers and is characterised by a lack of early symptoms and frequent late stage diagnosis. There is a paucity of robust molecular markers that are independent of and complementary to clinical parameters such as disease stage and tumour grade. METHODS: We have developed a user-friendly, web-based system to evaluate the association of genes/miRNAs with outcome in ovarian cancer. The OvMark algorithm combines data from multiple microarray platforms (including probesets targeting miRNAs) and correlates them with clinical parameters (e.g. tumour grade, stage) and outcomes (disease free survival (DFS), overall survival). In total, OvMark combines 14 datasets from 7 different array platforms measuring the expression of ~17,000 genes and 341 miRNAs across 2,129 ovarian cancer samples. RESULTS: To demonstrate the utility of the system we confirmed the prognostic ability of 14 genes and 2 miRNAs known to play a role in ovarian cancer. Of these genes, CXCL12 was the most significant predictor of DFS (HR = 1.42, p-value = 2.42x10-6). Surprisingly, those genes found to have the greatest correlation with outcome have not been heavily studied in ovarian cancer, or in some cases in any cancer. For instance, the three genes with the greatest association with survival are SNAI3, VWA3A and DNAH12. CONCLUSIONS/IMPACT: OvMark is a powerful tool for examining putative gene/miRNA prognostic biomarkers in ovarian cancer (available at http://glados.ucd.ie/OvMark/index.html). The impact of this tool will be in the preliminary assessment of putative biomarkers in ovarian cancer, particularly for research groups with limited bioinformatics facilities