702 research outputs found

    Environment Behavior Models for Scenario Generation and Testing Automation

    Get PDF
    In Proceedings of the First International Workshop on Advances in Model-Based Software Testing (A-MOST'05), the 27th International Conference on Software Engineering ICSE’05, May 15-16, 2005, St. Louis, USAThis paper suggests an approach to automatic scenario generation from environment models for testing of real-time reactive systems. The behavior of the system is defined as a set of events (event trace) with two basic relations: precedence and inclusion. The attributed event grammar (AEG) specifies possible event traces and provides a uniform approach for automatically generating, executing, and analyzing test cases. The environment model includes a description of hazardous states in which the system may arrive and makes it possible to gather statistics for system safety assessment. The approach is supported by a generator that creates test cases from the AEG models. We demonstrate the approach with case studies of prototypes for the safety-critical computer-assisted resuscitation algorithm (CARA) software for a casualty intravenous fluid infusion pump and the Paderborn Shuttle System

    VPMS J1342+2840 - an unusual quasar from the variability and proper motion survey

    Full text link
    We report the discovery of the highly peculiar, radio-loud quasar VPMS J1342+2840 (z ~ 1.3) from the variability and proper motion survey. We present spectroscopic, imaging and photometric observations. The unusual spectrum shows a strong depression of the continuum over a wide wavelength range in the blue part without the typical structures of broad absorption line (BAL) troughs. The image of the quasar is unresolved and there is no evidence for a foreground object on the line of sight. The broad-band spectral energy distribution is not consistent with obvious dust reddening with the standard SMC extinction curve. The downturn of the continuum flux of VPMS J1342+2840 at short wavelengths can be caused by dust reddening only if the reddening curve is steeper then the SMC curve in the ultraviolet and is very flat at longer wavelengths. Alternatively, the dominant spectral features can be explained by low-ionization BALs forming unusually wide, overlapping absorption troughs.Comment: 4 pages, 3 figures, accepted for publication in A&A Letter

    Loss of starch synthase IIIa changes starch molecular structure and granule morphology in grains of hexaploid bread wheat.

    Get PDF
    Starch synthase III plays a key role in starch biosynthesis and is highly expressed in developing wheat grains. To understand the contribution of SSIII to starch and grain properties, we developed wheat ssIIIa mutants in the elite cultivar Cadenza using in silico TILLING in a mutagenized population. SSIIIa protein was undetectable by immunoblot analysis in triple ssIIIa mutants carrying mutations in each homoeologous copy of ssIIIa (A, B and D). Loss of SSIIIa in triple mutants led to significant changes in starch phenotype including smaller A-type granules and altered granule morphology. Starch chain-length distributions of double and triple mutants indicated greater levels of amylose than sibling controls (33.8% of starch in triple mutants, and 29.3% in double mutants vs. 25.5% in sibling controls) and fewer long amylopectin chains. Wholemeal flour of triple mutants had more resistant starch (6.0% vs. 2.9% in sibling controls) and greater levels of non-starch polysaccharides; the grains appeared shrunken and weighed ~ 11% less than the sibling control which was partially explained by loss in starch content. Interestingly, our study revealed gene dosage effects which could be useful for fine-tuning starch properties in wheat breeding applications while minimizing impact on grain weight and quality

    No elliptic islands for the universal area-preserving map

    Full text link
    A renormalization approach has been used in \cite{EKW1} and \cite{EKW2} to prove the existence of a \textit{universal area-preserving map}, a map with hyperbolic orbits of all binary periods. The existence of a horseshoe, with positive Hausdorff dimension, in its domain was demonstrated in \cite{GJ1}. In this paper the coexistence problem is studied, and a computer-aided proof is given that no elliptic islands with period less than 20 exist in the domain. It is also shown that less than 1.5% of the measure of the domain consists of elliptic islands. This is proven by showing that the measure of initial conditions that escape to infinity is at least 98.5% of the measure of the domain, and we conjecture that the escaping set has full measure. This is highly unexpected, since generically it is believed that for conservative systems hyperbolicity and ellipticity coexist

    Effect of semolina pudding prepared from starch branching enzyme IIa and b mutant wheat on glycaemic response in vitro and in vivo: a randomised controlled pilot study

    Get PDF
    Refined starchy foods are usually rapidly digested, leading to poor glycaemic control, but not all starchy foods are the same. Complex carbohydrates like resistant starch (RS) have been shown to reduce the metabolic risk factors for chronic diseases such as hyperglycaemia and overweight. The aim of the project was to develop a semolina-based food made from a starch branching enzyme II (sbeIIa/b-AB) durum wheat mutant with a high RS content and to measure its glycaemic index using a double-blind randomised pilot study. We report here the amylose, RS and non-starch polysaccharide concentration of raw sbeIIa/b-AB and wild-type control (WT) semolina. We measured RS after cooking to identify a model food for in vivo testing. Retrograded sbeIIa/b-AB semolina showed a higher RS concentration than the WT control (RS = 4.87 ± 0.6 g per 100 g, 0.77 ± 0.34 g per 100 g starch DWB, respectively), so pudding was selected as the test food. Ten healthy participants consumed ∼50 g of total starch from WT and sbeIIa/b-AB pudding and a standard glucose drink. Capillary blood glucose concentrations were measured in the fasting and postprandial state (2 h): incremental area-under-the-curve (iAUC) and GI were calculated. We found no evidence of difference in GI between sbeIIa/b-AB pudding and the WT control, but the starch digestibility was significantly lower in sbeIIa/b-AB pudding compared to the WT control in vitro (C90 = 33.29% and 47.38%, respectively). Based on these results, novel sbeIIa/b-AB wheat foods will be used in future in vivo studies to test the effect of different RS concentrations and different food matrices on glycaemia

    Spectroscopy of BL Lac Objects: new redshifts and mis-identified sources

    Get PDF
    We are carrying out a program of high signal to noise optical spectroscopy of BL Lacs with unknown or tentative redshift. Here we report some preliminary results. New redshifts are measured for PKS0754+100 (z=0.266) and 1ES0715-259 (z=0.464) . From lineless spectra of PG1553+113 and PKS1722+119 we set a lower limit of z>0.3 for both sources. In two cases (UM493 and 1620+103) stellar spectra indicate a wrong classification.Comment: 4 pages; Conference proceeding "High Energy Blazar Astronomy", Tuorla Observatory, Finland, 17-21 June 2002; to be published in the PASP conference serie

    A Transdisciplinary Approach to Determining the Provenience of a Distorted, Pre-Columbian Skull Recovered in Rural Idaho

    Get PDF
    Transdisciplinary research involves cooperation, exchange of information, sharing of resources and integration of disciplines to achieve a common scientific goal. In this study, collaborators utilized tools and knowledge of materials science, anthropology, archaeology, geosciences and biology in an attempt to determine the provenience of skeletal remains of unknown origin. The exchange of ideas and skills along with the crossing of disciplines in this study sucessfully allowed the incorporation of expertise from many team members. This transdisciplinary approach to research provided a more comprehensive and detailed analysis than any one field alone could provide. An archaeological assessment of a human skull recovered in rural Idaho recognized cranial deformation and post-mortem application of a red pigment. A combination of scanning electron microscopy (SEM), x-ray fluorescence (XRF) and energy-dispersive x-ray spectroscopy (EDS) identified the major and trace elements present in the red post-mortem pigment as cinnabar and rare earth metals. Analysis via carbon and oxygen stable isotopes from teeth and bone to provided insight into the diet and habitat for distinct segments of the individual’s life, indicating a regional separation in early life versus late adulthood. Radiocarbon dating determined the approximate age of the skull to be between 600-700 years old and a forensic mtDNA assessmentcategorized a mitochondrial haplogroup for the remains as originating from the East African or Arabian Peninsula
    corecore