980 resultados para software-defined storage
Resumo:
We develop a new iterative filter diagonalization (FD) scheme based on Lanczos subspaces and demonstrate its application to the calculation of bound-state and resonance eigenvalues. The new scheme combines the Lanczos three-term vector recursion for the generation of a tridiagonal representation of the Hamiltonian with a three-term scalar recursion to generate filtered states within the Lanczos representation. Eigenstates in the energy windows of interest can then be obtained by solving a small generalized eigenvalue problem in the subspace spanned by the filtered states. The scalar filtering recursion is based on the homogeneous eigenvalue equation of the tridiagonal representation of the Hamiltonian, and is simpler and more efficient than our previous quasi-minimum-residual filter diagonalization (QMRFD) scheme (H. G. Yu and S. C. Smith, Chem. Phys. Lett., 1998, 283, 69), which was based on solving for the action of the Green operator via an inhomogeneous equation. A low-storage method for the construction of Hamiltonian and overlap matrix elements in the filtered-basis representation is devised, in which contributions to the matrix elements are computed simultaneously as the recursion proceeds, allowing coefficients of the filtered states to be discarded once their contribution has been evaluated. Application to the HO2 system shows that the new scheme is highly efficient and can generate eigenvalues with the same numerical accuracy as the basic Lanczos algorithm.
Resumo:
Selection in the thymus restricted by MHC and self-peptide shapes the diverse reactivities of the T-cell population which subsequently seeds into the peripheral tissues, in anticipation of the universe of pathogen antigens to which the organism may be exposed. A necessary corollary is the potential for T-cell self-reactivity (autoimmunity) in the periphery. Transgenic mouse models in which transgene expression in the thymus is prevented or excluded, have been particularly useful for determining the immunological outcome when T-cells encounter transgene-encoded 'self' antigen in peripheral tissues. Data suggest that non-mutually exclusive mechanisms of T-cells 'ignoring' self-antigen, T-cell deletion, T-cell anergy and T-cell immunoregulation have evolved to prevent self-reactivity while maintaining T-cell diversity. The peripheral T-cell repertoire, far from being static following maturation through the thymus, is in a dynamic stated determined by these peripheral selective and immunoregulatory influences. This article reviews the evidence with particular reference to CD8+ive T-cells.
Resumo:
Recent progress in the production, purification, and experimental and theoretical investigations of carbon nanotubes for hydrogen storage are reviewed. From the industrial point of view, the chemical vapor deposition process has shown advantages over laser ablation and electric-arc-discharge methods. The ultimate goal in nanotube synthesis should be to gain control over geometrical aspects of nanotubes, such as location and orientation, and the atomic structure of nanotubes, including helicity and diameter. There is currently no effective and simple purification procedure that fulfills all requirements for processing carbon nanotubes. Purification is still the bottleneck for technical applications, especially where large amounts of material are required. Although the alkali-metal-doped carbon nanotubes showed high H-2 Weight uptake, further investigations indicated that some of this uptake was due to water rather than hydrogen. This discovery indicates a potential source of error in evaluation of the storage capacity of doped carbon nanotubes. Nevertheless, currently available single-wall nanotubes yield a hydrogen uptake value near 4 wt% under moderate pressure and room temperature. A further 50% increase is needed to meet U.S. Department of Energy targets for commercial exploitation. Meeting this target will require combining experimental and theoretical efforts to achieve a full understanding of the adsorption process, so that the uptake can be rationally optimized to commercially attractive levels. Large-scale production and purification of carbon nanotubes and remarkable improvement of H-2 storage capacity in carbon nanotubes represent significant technological and theoretical challenges in the years to come.
Resumo:
The development of cropping systems simulation capabilities world-wide combined with easy access to powerful computing has resulted in a plethora of agricultural models and consequently, model applications. Nonetheless, the scientific credibility of such applications and their relevance to farming practice is still being questioned. Our objective in this paper is to highlight some of the model applications from which benefits for farmers were or could be obtained via changed agricultural practice or policy. Changed on-farm practice due to the direct contribution of modelling, while keenly sought after, may in some cases be less achievable than a contribution via agricultural policies. This paper is intended to give some guidance for future model applications. It is not a comprehensive review of model applications, nor is it intended to discuss modelling in the context of social science or extension policy. Rather, we take snapshots around the globe to 'take stock' and to demonstrate that well-defined financial and environmental benefits can be obtained on-farm from the use of models. We highlight the importance of 'relevance' and hence the importance of true partnerships between all stakeholders (farmer, scientists, advisers) for the successful development and adoption of simulation approaches. Specifically, we address some key points that are essential for successful model applications such as: (1) issues to be addressed must be neither trivial nor obvious; (2) a modelling approach must reduce complexity rather than proliferate choices in order to aid the decision-making process (3) the cropping systems must be sufficiently flexible to allow management interventions based on insights gained from models. The pro and cons of normative approaches (e.g. decision support software that can reach a wide audience quickly but are often poorly contextualized for any individual client) versus model applications within the context of an individual client's situation will also be discussed. We suggest that a tandem approach is necessary whereby the latter is used in the early stages of model application for confidence building amongst client groups. This paper focuses on five specific regions that differ fundamentally in terms of environment and socio-economic structure and hence in their requirements for successful model applications. Specifically, we will give examples from Australia and South America (high climatic variability, large areas, low input, technologically advanced); Africa (high climatic variability, small areas, low input, subsistence agriculture); India (high climatic variability, small areas, medium level inputs, technologically progressing; and Europe (relatively low climatic variability, small areas, high input, technologically advanced). The contrast between Australia and Europe will further demonstrate how successful model applications are strongly influenced by the policy framework within which producers operate. We suggest that this might eventually lead to better adoption of fully integrated systems approaches and result in the development of resilient farming systems that are in tune with current climatic conditions and are adaptable to biophysical and socioeconomic variability and change. (C) 2001 Elsevier Science Ltd. All rights reserved.
Resumo:
At the core of the analysis task in the development process is information systems requirements modelling, Modelling of requirements has been occurring for many years and the techniques used have progressed from flowcharting through data flow diagrams and entity-relationship diagrams to object-oriented schemas today. Unfortunately, researchers have been able to give little theoretical guidance only to practitioners on which techniques to use and when. In an attempt to address this situation, Wand and Weber have developed a series of models based on the ontological theory of Mario Bunge-the Bunge-Wand-Weber (BWW) models. Two particular criticisms of the models have persisted however-the understandability of the constructs in the BWW models and the difficulty in applying the models to a modelling technique. This paper addresses these issues by presenting a meta model of the BWW constructs using a meta language that is familiar to many IS professionals, more specific than plain English text, but easier to understand than the set-theoretic language of the original BWW models. Such a meta model also facilitates the application of the BWW theory to other modelling techniques that have similar meta models defined. Moreover, this approach supports the identification of patterns of constructs that might be common across meta models for modelling techniques. Such findings are useful in extending and refining the BWW theory. (C) 2002 Elsevier Science Ltd. All rights reserved.
Resumo:
Many business-oriented software applications are subject to frequent changes in requirements. This paper shows that, ceteris paribus, increases in the volatility of system requirements decrease the reliability of software. Further, systems that exhibit high volatility during the development phase are likely to have lower reliability during their operational phase. In addition to the typically higher volatility of requirements, end-users who specify the requirements of business-oriented systems are usually less technically oriented than people who specify the requirements of compilers, radar tracking systems or medical equipment. Hence, the characteristics of software reliability problems for business-oriented systems are likely to differ significantly from those of more technically oriented systems.
Resumo:
A semi-nested polymerase chain reaction (PCR) was evaluated for detection of Japanese encephalitis (JE) virus in infected mosquitoes stored under simulated northern Australian summer conditions. The effect of silica gel, thymol, and a combination of the two on RNA stability and virus viability in dead mosquitoes were also examined. While JE virus RNA was relatively stable in mosquitoes held for up to 14 days after death, viable virus was not detected after day 1. Thymol vapor inhibited fungal contamination. Detection of single mosquitoes infected with JE virus in large pools of mosquitoes was also investigated. Single laboratory-infected mosquitoes were detected in pools of less than or equal to200 mosquitoes and in pools diluted to 0.2/100 and 0.1/100 mosquitoes, using the semi-nested PCR. However, the ability to detect live virus decreased as pool size increased. The semi-nested PCR proved more expensive than virus isolation for pools of 100 mosquitoes. However, the semi-nested PCR was faster and more economical using larger pools. Results indicate that surveillance of JE virus in mosquitoes using the semi-nested PCR is an alternative to monitoring seroconversions in sentinel pigs.
Resumo:
Existing refinement calculi provide frameworks for the stepwise development of imperative programs from specifications. This paper presents a refinement calculus for deriving logic programs. The calculus contains a wide-spectrum logic programming language, including executable constructs such as sequential conjunction, disjunction, and existential quantification, as well as specification constructs such as general predicates, assumptions and universal quantification. A declarative semantics is defined for this wide-spectrum language based on executions. Executions are partial functions from states to states, where a state is represented as a set of bindings. The semantics is used to define the meaning of programs and specifications, including parameters and recursion. To complete the calculus, a notion of correctness-preserving refinement over programs in the wide-spectrum language is defined and refinement laws for developing programs are introduced. The refinement calculus is illustrated using example derivations and prototype tool support is discussed.
Resumo:
Program compilation can be formally defined as a sequence of equivalence-preserving transformations, or refinements, from high-level language programs to assembler code, Recent models also incorporate timing properties, but the resulting formalisms are intimidatingly complex. Here we take advantage of a new, simple model of real-time refinement, based on predicate transformer semantics, to present a straightforward compilation formalism that incorporates real-time constraints. (C) 2002 Elsevier Science B.V. All rights reserved.
Resumo:
Reproductive data from southern Queensland indicate that vitellogenesis in female Chelonia mydas takes approximately 8 months and is followed by a migration to a breeding area. At Heron Island, females lay multiple clutches over approximately 3 months. To investigate how females mobilise and store lipid during the breeding season we collected plasma, yolk, and fat tissue samples from females at a variety of stages during the nesting season. In breeding females, concentrations of plasma triglyceride increased seasonally. They reached peak concentrations during vitellogenesis and courtship, remained high throughout the nesting season, and then declined to a nadir after the last clutch. Plasma protein concentration increased throughout the breeding season, peaking following the last clutch for the season. Yolk lipids were highest during courtship and were similar throughout the nesting season, suggesting that uptake of lipid by ovarian follicles is completed prior to the beginning of the nesting season. Plasma triglyceride decreases in females with prolonged periods of unsuccessful nesting, and total lipid levels in adipose tissue and follicle yolks were significantly lower in atretic females. It appears that: (1) endogenous energy reserves can be reduced by stochastic environmental events (such as those reducing nesting success), and (2) a metabolic shift signalling the end of the nesting season is characterised by a drop in plasma triglycerides and slight increase in total plasma protein.
Resumo:
Injury to endothelial calls is thought to be important to the development of the vascular lesion of chronic rejection. It was the aim of this study to develop a semiquantitative method to assess endothelial injury in arterial grafts and to document the injury produced by cold storage preservation and additional warm ischaemia. Twelve- and 24-h cold preservation of rat aortic segments, together with an additional 1 h of warm ischaemia, were assessed. Electron micrographs of representative endothelial cells were scored for cytoplasmic, nuclear and mitochondrial injury. The overall injury score was obtained by addition of the individual scores. Storage for up to 24 h in University of Wisconsin (UW) and Terasaki did not produce any injury. Twenty-four hours of storage in Euro-Collins resulted in endothelial cell death. Injury occurred after 12 h of storage in Ross, Collins and normal saline, and the injury increased following 24 h of storage. One hour of warm ischaemia did not increase the injury. Injury to endothelial cells varies with the preservation solution used and the time of cold storage, so that both the type of solution and the storage time should be taken into account in clinical studies looking at the influence of cold ischaemia time and graft outcome.
Resumo:
Seasonal climate forecasting offers potential for improving management of crop production risks in the cropping systems of NE Australia. But how is this capability best connected to management practice? Over the past decade, we have pursued participative systems approaches involving simulation-aided discussion with advisers and decision-makers. This has led to the development of discussion support software as a key vehicle for facilitating infusion of forecasting capability into practice. In this paper, we set out the basis of our approach, its implementation and preliminary evaluation. We outline the development of the discussion support software Whopper Cropper, which was designed for, and in close consultation with, public and private advisers. Whopper Cropper consists of a database of simulation output and a graphical user interface to generate analyses of risks associated with crop management options. The charts produced provide conversation pieces for advisers to use with their farmer clients in relation to the significant decisions they face. An example application, detail of the software development process and an initial survey of user needs are presented. We suggest that discussion support software is about moving beyond traditional notions of supply-driven decision support systems. Discussion support software is largely demand-driven and can compliment participatory action research programs by providing cost-effective general delivery of simulation-aided discussions about relevant management actions. The critical role of farm management advisers and dialogue among key players is highlighted. We argue that the discussion support concept, as exemplified by the software tool Whopper Cropper and the group processes surrounding it, provides an effective means to infuse innovations, like seasonal climate forecasting, into farming practice. Crown Copyright (C) 2002 Published by Elsevier Science Ltd. All rights reserved.
Resumo:
This study describes the categorical classification of 155 individuals living in an endemic village in Macanip, Leyte, Philippines as 'resistant' or 'susceptible' to Schistosoma japonicum infection using available exposure, infection and reinfection data collected from a 3-year water contact (WC) study. Epidemiological parameters including age, sex, and infection intensities in relation to observed reinfection patterns are also described. This classification was used in subsequent immunological studies described in two accompanying papers to identify protective immune mechanisms among resistant individuals induced by defined candidate vaccine molecules for S. japonicum. The study suggests that individuals who were most vulnerable to rapid reinfection were children belonging to the 5-14 age group. A drop in incidence at age group 15-19 and decreased intensity of infection starting at this age group and older (15+) suggests development of immunity. Controlling for the effect of the other variables, a multivariate analysis showed significant association for sex, in that females were more likely to be resistant. This implies that other than acquired immunity to infection, some age-dependent host factors may also play an important role in the overall changes of reinfection patterns seen in schistosomiasis japonica in this population. Crown Copyright (C) 2002 Published by Elsevier Science B.V. All rights reserved.
Resumo:
Recent population studies have demonstrated an association with the red-hair and fair-skin phenotype with variant alleles of the melanocortin-1 receptor (MC1R) which result in amino acid substitutions within the coding region leading to an altered receptor activity. In particular, Arg151Cys, Arg160Trp and Asp294His were the most commonly associated variants seen in the south-east Queensland population with at least one of these alleles found in 93% of those with red hair. In order to study the individual effects of these variants on melanocyte biology and melanocytic pigmentation, we established a series of human melanocyte strains genotyped for the MC1R receptor which included wild-type consensus, variant heterozygotes, compound heterozygotes and homozygotes for Arg151Cys, Arg160Trp, Val60Leu and Val92Met alleles. These strains ranged from darkly pigmented to amelanotic, with all strains of consensus sequence having dark pigmentation. UV sensitivity was found not to be associated with either MC1R genotype or the level of pigmentation with a range of sensitivities seen across all genotypes. Ultrastructural analysis demonstrated that while consensus strains contained stage IV melanosomes in their terminal dendrites, Arg151Cys and Arg160Trp homozygote strains contained only stage II melanosomes. This was despite being able to show expression of tyrosinase and tyrosinase-related protein-1 markers, although at reduced levels and an ability to convert exogenous 3,4-dihydroxyphenyl-alanine (DOPA) to melanin in these strains.