2,904 research outputs found

    Application of an AIS to the problem of through life health management of remotely piloted aircraft

    Get PDF
    The operation of RPAS includes a cognitive problem for the operators(Pilots, maintainers, ,managers, and the wider organization) to effectively maintain their situational awareness of the aircraft and predict its health state. This has a large impact on their ability to successfully identify faults and manage systems during operations. To overcome these system deficiencies an asset health management system that integrates more cognitive abilities to aid situational awareness could prove beneficial. This paper outlines an artificial immune system (AIS) approach that could meet these challenges and an experimental method within which to evaluate it

    EffectiveSan: Type and Memory Error Detection using Dynamically Typed C/C++

    Full text link
    Low-level programming languages with weak/static type systems, such as C and C++, are vulnerable to errors relating to the misuse of memory at runtime, such as (sub-)object bounds overflows, (re)use-after-free, and type confusion. Such errors account for many security and other undefined behavior bugs for programs written in these languages. In this paper, we introduce the notion of dynamically typed C/C++, which aims to detect such errors by dynamically checking the "effective type" of each object before use at runtime. We also present an implementation of dynamically typed C/C++ in the form of the Effective Type Sanitizer (EffectiveSan). EffectiveSan enforces type and memory safety using a combination of low-fat pointers, type meta data and type/bounds check instrumentation. We evaluate EffectiveSan against the SPEC2006 benchmark suite and the Firefox web browser, and detect several new type and memory errors. We also show that EffectiveSan achieves high compatibility and reasonable overheads for the given error coverage. Finally, we highlight that EffectiveSan is one of only a few tools that can detect sub-object bounds errors, and uses a novel approach (dynamic type checking) to do so.Comment: To appear in the Proceedings of 39th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI2018

    Regulation-Structured Dynamic Metabolic Model Provides a Potential Mechanism for Delayed Enzyme Response in Denitrification Process

    Get PDF
    In a recent study of denitrification dynamics in hyporheic zone sediments, we observed a significant time lag (up to several days) in enzymatic response to the changes in substrate concentration. To explore an underlying mechanism and understand the interactive dynamics between enzymes and nutrients, we developed a trait-based model that associates a community’s traits with functional enzymes, instead of typically used species guilds (or functional guilds). This enzyme-based formulation allows to collectively describe biogeochemical functions of microbial communities without directly parameterizing the dynamics of species guilds, therefore being scalable to complex communities. As a key component of modeling, we accounted for microbial regulation occurring through transcriptional and translational processes, the dynamics of which was parameterized based on the temporal profiles of enzyme concentrations measured using a new signature peptide-based method. The simulation results using the resulting model showed several days of a time lag in enzymatic responses as observed in experiments. Further, the model showed that the delayed enzymatic reactions could be primarily controlled by transcriptional responses and that the dynamics of transcripts and enzymes are closely correlated. The developed model can serve as a useful tool for predicting biogeochemical processes in natural environments, either independently or through integration with hydrologic flow simulators

    Regulation-Structured Dynamic Metabolic Model Provides a Potential Mechanism for Delayed Enzyme Response in Denitrification Process

    Get PDF
    In a recent study of denitrification dynamics in hyporheic zone sediments, we observed a significant time lag (up to several days) in enzymatic response to the changes in substrate concentration. To explore an underlying mechanism and understand the interactive dynamics between enzymes and nutrients, we developed a trait-based model that associates a community’s traits with functional enzymes, instead of typically used species guilds (or functional guilds). This enzyme-based formulation allows to collectively describe biogeochemical functions of microbial communities without directly parameterizing the dynamics of species guilds, therefore being scalable to complex communities. As a key component of modeling, we accounted for microbial regulation occurring through transcriptional and translational processes, the dynamics of which was parameterized based on the temporal profiles of enzyme concentrations measured using a new signature peptide-based method. The simulation results using the resulting model showed several days of a time lag in enzymatic responses as observed in experiments. Further, the model showed that the delayed enzymatic reactions could be primarily controlled by transcriptional responses and that the dynamics of transcripts and enzymes are closely correlated. The developed model can serve as a useful tool for predicting biogeochemical processes in natural environments, either independently or through integration with hydrologic flow simulators

    Systems biology and ecology of microbial mat communities

    Get PDF
    Microbial mat communities consist of dense populations of microorganisms embedded in exopolymers and/or biomineralized solid phases, and are often found in mm-cm thick assemblages, which can be stratified due to environmental gradients such as light, oxygen or sulfide. Microbial mat communities are commonly observed under extreme environmental conditions, deriving energy primarily from light and/or reduced chemicals to drive autotrophic fixation of carbon dioxide. Microbial mat ecosystems are regarded as living analogues of primordial systems on Earth, and they often form perennial structures with conspicuous stratifications of microbial populations that can be studied in situ under stable conditions for many years. Consequently, microbial mat communities are ideal natural laboratories and represent excellent model systems for studying microbial community structure and function, microbial dynamics and interactions, and discovery of new microorganisms with novel metabolic pathways potentially useful in future industrial and/or medical applications. Due to their relative simplicity and organization, microbial mat communities are often excellent testing grounds for new technologies in microbiology including micro-sensor analysis, stable isotope methodology and modern genomics. Integrative studies of microbial mat communities that combine modern biogeochemical and molecular biological methods with traditional microbiology, macro-ecological approaches, and community network modeling will provide new and detailed insights regarding the systems biology of microbial mats and the complex interplay among individual populations and their physicochemical environment. These processes ultimately control the biogeochemical cycling of energy and/or nutrients in microbial systems. Similarities in microbial community function across different types of communities from highly disparate environments may provide a deeper basis for understanding microbial community dynamics and the ecological role of specific microbial populations. Approaches and concepts developed in highly-constrained, relatively stable natural communities may also provide insights useful for studying and understanding more complex microbial communities

    Secondary mineralization pathways induced by dissimilatory iron reduction of ferrihydrite under advective flow

    Get PDF
    Iron (hydr)oxides not only serve as potent sorbents and repositories for nutrients and contaminants but also provide a terminal electron acceptor for microbial respiration. The microbial reduction of Fe (hydr)oxides and the subsequent secondary solid-phase transformations will, therefore, have a profound influence on the biogeochemical cycling of Fe as well as associated metals. Here we elucidate the pathways and mechanisms of secondary mineralization during dissimilatory iron reduction by a common iron-reducing bacterium, Shewanella putrefaciens (strain CN32), of 2-line ferrihydrite under advective flow conditions. Secondary mineralization of ferrihydrite occurs via a coupled, biotic-abiotic pathway primarily resulting in the production of magnetite and goethite with minor amounts of green rust. Operating mineralization pathways are driven by competing abiotic reactions of bacterially generated ferrous iron with the ferrihydrite surface. Subsequent to the initial sorption of ferrous iron on ferrihydrite, goethite (via dissolution/reprecipitation) and/or magnetite (via solid-state conversion) precipitation ensues resulting in the spatial coupling of both goethite and magnetite with the ferrihydrite surface. The distribution of goethite and magnetite within the column is dictated, in large part, by flow-induced ferrous Fe profiles. While goethite precipitation occurs over a large Fe(II) concentration range, magnetite accumulation is only observed at concentrations exceeding 0.3 mmol/L (equivalent to 0.5 mmol Fe[II]/g ferrihydrite) following 16 d of reaction. Consequently, transportregulated ferrous Fe profiles result in a progression of magnetite levels downgradient within the column. Declining microbial reduction over time results in lower Fe(II) concentrations and a subsequent shift in magnetite precipitation mechanisms from nucleation to crystal growth. While the initial precipitation rate of goethite exceeds that of magnetite, continued growth is inhibited by magnetite formation, potentially a result of lower Fe(III) activity. Conversely, the presence of lower initial Fe(II) concentrations followed by higher concentrations promotes goethite accumulation and inhibits magnetite precipitation even when Fe(II) concentrations later increase, thus revealing the importance of both the rate of Fe(II) generation and flow-induced Fe(II) profiles. As such, the operating secondary mineralization pathways following reductive dissolution of ferrihydrite at a given pH are governed principally by flow-regulated Fe(II) concentration, which drives mineral precipitation kinetics and selection of competing mineral pathways

    The use of growth models to evaluate the changing response to digestible lysine in high-lean growth gilts

    Get PDF
    Conventional response criteria for amino acid research include mean live weight gain and tissue accretion rates over a given weight interval. However, these methods fail to characterize the changing response of tissue accretion to dietary amino acids as body weight increases. For this reason, growth modeling was used to characterize the response to digestible lysine in two experiments (114 gilts each) from 80 to 160 lb and 160 to 300 lb, respectively. Corn-soybean meal diets were formulated to assure that lysine (.54 to 1.04% and .54 to .94% digestible lysine for Exp 1 and 2, respectively) was the first limiting amino acid. Analysis of variance was used to test linear and quadratic responses in cumulative weight gain on test as digestible lysine increased. A time by digestible lysine interaction was detected, indicating that a separate regression equation for each lysine level was necessary. In Exp. 1, ADG and carcass CP accretion were maximized for gilts fed 1.04, .94, and .84% digestible lysine from 80 to 100 lb, 100 to 120 lb, and 120 to 160 lb, respectively. Lipid accretion .74 to .84% digestible lysine. In Exp. 2, ADG was maximized by feeding .84% from 160 to 205 lb and .74% from 205 to 300 lb. Carcass CP accretion was maximized by feeding .94% digestible lysine, and lipid accretion was minimized for gilts fed .84% digestible lysine from 160 to 300 lb. If feeding graded levels of digestible lysine resulted in parallel lines for carcass protein accretion, mean values would result in accurate data evaluation. However, responses to digestible lysine changed over the feeding period. Therefore, the use of BW and compositional growth curves offers an innovative approach to more accurately characterize the growing pig\u27s response to increased digestible lysine.; Swine Day, Manhattan, KS, November 17, 199

    Effects of study design and allocation on participant behaviour-ESDA: study protocol for a randomized controlled trial

    Get PDF
    Background: What study participants think about the nature of a study has been hypothesised to affect subsequent behaviour and to potentially bias study findings. In this trial we examine the impact of awareness of study design and allocation on participant drinking behaviour. Methods/Design: A three-arm parallel group randomised controlled trial design will be used. All recruitment, screening, randomisation, and follow-up will be conducted on-line among university students. Participants who indicate a hazardous level of alcohol consumption will be randomly assigned to one of three groups. Group A will be informed their drinking will be assessed at baseline and again in one month (as in a cohort study design). Group B will be told the study is an intervention trial and they are in the control group. Group C will be told the study is an intervention trial and they are in the intervention group. All will receive exactly the same brief educational material to read. After one month, alcohol intake for the past 4 weeks will be assessed. Discussion: The experimental manipulations address subtle and previously unexplored ways in which participant behaviour may be unwittingly influenced by standard practice in trials. Given the necessity of relying on self-reported outcome, it will not be possible to distinguish true behaviour change from reporting artefact. This does not matter in the present study, as any effects of awareness of study design or allocation involve bias that is not well understood. There has been little research on awareness effects, and our outcomes will provide an indication of the possible value of further studies of this type and inform hypothesis generation
    corecore