920 resultados para rapid object identification and tracking
Specification, refinement and verification of concurrent systems: an integration of Object-Z and CSP
Resumo:
The novel fatty acids 17-methyl-6(Z)-octadecenoic acid and 17-methyl-7(Z)-octadecenoic acid were identified for the first time in nature in the mollusk Siphonaria denticulata from Queensland, Australia. The principal fatty acids in the limpet were hexadecanoic acid, octadecanoic acid, and (Z)-9-octadecenoic acid, while the most interesting series of monounsaturated fatty acids was a family of five nonadecenoic acids with double bonds at either Delta (7), Delta (9), Delta (11), Delta (12), or Delta (13). The novel compounds were characterized using a combination of GC-MS and chemical transformations, such as dimethyl disulfide derivatization. The first total syntheses for the two novel methyl-branched nonadecenoic acids are also described, and these were accomplished in four to five steps and in high yields.
Resumo:
This paper presents a method of formally specifying, refining and verifying concurrent systems which uses the object-oriented state-based specification language Object-Z together with the process algebra CSP. Object-Z provides a convenient way of modelling complex data structures needed to define the component processes of such systems, and CSP enables the concise specification of process interactions. The basis of the integration is a semantics of Object-Z classes identical to that of CSP processes. This allows classes specified in Object-Z to he used directly within the CSP part of the specification. In addition to specification, we also discuss refinement and verification in this model. The common semantic basis enables a unified method of refinement to be used, based upon CSP refinement. To enable state-based techniques to be used fur the Object-Z components of a specification we develop state-based refinement relations which are sound and complete with respect to CSP refinement. In addition, a verification method for static and dynamic properties is presented. The method allows us to verify properties of the CSP system specification in terms of its component Object-Z classes by using the laws of the the CSP operators together with the logic for Object-Z.
Resumo:
This Article does not have an abstract
Resumo:
The short-lived Hf-182-W-182-isotope system is an ideal clock to trace core formation and accretion processes of planets. Planetary accretion and metal/silicate fractionation chronologies are calculated relative to the chondritic Hf-182-W-182-isotope evolution. Here, we report new high-precision W-isotope data for the carbonaceous chondrite Allende that are much less radiogenic than previously reported and are in good agreement with published internal Hf-W chronometry of enstatite chondrites. If the W-isotope composition of terrestrial rocks, representing the bulk silicate Earth, is homogeneous and 2.24 epsilon(182W) units more radiogenic than that of the bulk Earth, metal/silicate differentiation of the Earth occurred very early. The new W-isotope data constrain the mean time of terrestrial core formation to 34 million years after the start of solar system accretion. Early terrestrial core formation implies rapid terrestrial accretion, thus permitting formation of the Moon by giant impact while Hf-182 was still alive. This could explain why lunar W-isotopes are more radiogenic than the terrestrial value. Copyright (C) 2002 Elsevier Science Ltd.
Resumo:
Extended-spectrum beta-lactamases (ESBLs) are active against oxyimino cephalosporins and monobactams. Twenty-one Klebsiella pneumoniae isolates obtained between 1991 and 1995 at the Princess Alexandra Hospital in Brisbane, Australia, were subject to amplification and sequencing of the SHV beta-lactamase-encoding genes. Thirteen strains were phenotypically ESBL positive. Of these, six strains carried the bla(SHV-2a) gene and seven strains carried the bla(SHV-12) gene. Eight strains were phenotypically ESBL negative. Of these, seven strains carried the non-ESBL bla(SHV-11) gene and one strain carried the non-ESBL bla(SHV-1) gene. There was complete correspondence between the ESBL phenotype and the presence or absence of an ESBL-encoding gene(s). In addition, it was determined that of the 13 ESBL-positive strains, at least 4 carried copies of a non-ESBL-encoding gene in addition to the bla(SHV-2a) or bla(SHV12) gene. A minisequencing-based assay was developed to discriminate the different SHV classes. This technique, termed first-nucleotide change, involves the identification of the base added to a primer in a single-nucleotide extension reaction. The assay targeted polymorphisms at the first bases of codons 238 and 240 and reliably discriminated ESBL-positive strains from ESBL-negative strains and also distinguished strains carrying bla(SHV-2a) from strains carrying bla(SHV-12). In addition, this method was used to demonstrated an association between the relative copy numbers of bla(SHV) genes in individual strains and the levels of antibiotic resistance.
Resumo:
The cuticular hydrocarbon compositions of two sympatric species of Australian Drosophila in the montium subgroup of the melanogaster group that use cuticular hydrocarbons in mate recognition have been characterized. Drosophila birchii has 34 components in greater than trace amounts, with a carbon number range of C-20 to C-33. Drosophila serrata has 21 components above trace level and a carbon number range of C-24 to C-31. These two species share eight hydrocarbon components, with all but two of them being monoenes. For both species, the (Z)-9-monoenes are the predominant positional isomer. The hydrocarbons of D. birchii are n-alkanes, n-alkenes (Z)-5-, (Z)-7-, (Z)-9-, and (Z)-11-), low to trace levels of homologous (Z,Z)-7,11- and (Z,Z)-9,13-dienes; and trace amounts of (Z,Z)-5,9- C-25:2, a major component of D. serrata. Only one methyl branched hydrocarbon was detected (2-methyl C-28), and it occurred at very low levels. The hydrocarbons of D. serrata are dominated by a homologous series of (Z,Z)-5,9-dienes, and notably, are characterized by the apparent absence of n-alkanes. Homologous series of (Z)-5-, (Z)-7-, and (Z)-9- alkenes are also present in D. serrata as well as 2-methyl alkanes. Drosophila serrata females display strong directional mate choice based on male cuticular hydrocarbons and prefer D. serrata males with higher relative abundances of the 2-methyl alkanes, but lower relative abundances of (Z,Z)-5,9- C-24:2 and (Z)-9-C-25:1.
Resumo:
A regulatory protein, PpaA, involved in photosystem formation in the anoxygenic phototrophic proteobacterium Rhodobacter sphaeroides has been identified and characterized in vivo. Based on the phenotypes of cells expressing the ppaA gene in extra copy and on the phenotype of the ppaA null mutant, it was concluded that PpaA activates photopigment production and puc operon expression under aerobic conditions. This is in contrast to the function of the PpaA homologue from Rhodobacter capsulatus, AerR, which acts as a repressor under aerobic conditions [Dong, C., Elsen, S., Swem, L. R. & Bauer, C. E. (2002). J Bacteriol 184, 2805-2814]. The expression of the ppaA gene increases several-fold in response to a decrease in oxygen tension, suggesting that the PpaA protein is active under conditions of low or no oxygen. However, no discernible phenotype of a ppaA null mutant was observed under anaerobic conditions tested thus far. The photosystem gene repressor PpsR mediates repression of ppaA gene expression under aerobic conditions. Sequence analysis of PpaA homologues from several anoxygenic phototrophic bacteria revealed a putative corrinoid-binding domain. It is suggested that PpaA binds a corrinoid cofactor and the availability or structure of this cofactor affects PpaA activity.
Resumo:
Activated hepatic stellate cells have been implicated in the fibrogenic process associated with iron overload, both in animal models and in human hemochromatosis. Previous studies have evaluated the role of ferritin/ferritin receptor interactions in the activation of stellate cells and subsequent fibrogenesis; however, the role of transferrin in hepatic stellate cell biology is unknown. This study was designed to identify and characterize the stellate cell transferrin receptor and to evaluate the influence of transferrin on stellate cell activation. Identification and characterization of the stellate cell transferrin receptor was determined by competitive displacement assays. The effect of transferrin on stellate cell activation was assessed using western blot analysis for alpha-smooth muscle actin expression, [H-3]Thymidine incorporation, and real-time RT-PCR for procollagen 1(I) mRNA expression. A specific receptor for rat transferrin was observed on activated but not quiescent stellate cells. Transferrin significantly increased the expression of alpha-smooth muscle actin, but caused a decrease in proliferation. Transferrin induced a significant increase in procollagen alpha1(I) mRNA expression. In conclusion, this study has demonstrated for the first time a specific, high affinity receptor for rat transferrin on activated hepatic stellate cells, which via interaction with transferrin regulates stellate cell activation. This suggests that transferrin may be an important factor in the activation of hepatic stellate cells in conditions of iron overload.
Resumo:
Two laboratory-scale sequencing batch reactors (SBRs) were operated for enhanced biological phosphorus removal (EBPR) in alternating anaerobic-aerobic or alternating anaerobic-anoxic modes, respectively. Polyphosphate-accumulating organisms (PAOs) were enriched in the anaerobic-aerobic SBR and denitrifying PAOs (DPAOs) were enriched in the anaerobic-aerobic SBR. Fluorescence in situ hybridization (FISH) demonstrated that the well-known PAO, Candidatus Accumulibacter phosphatis was abundant in both SBRs, and post-FISH chemical staining with 4,6-diamidino-2-phenylindol (DAPI) confirmed that they accumulated polyphosphate. When the anaerobic-anoxic SBR enriched for DPAOs was converted to anaerobic-aerobic operation, aerobic uptake of phosphorus by the resident microbial community occurred immediately. However, when the anaerobic-aerobic SBR enriched for PAOs was exposed to one cycle with anoxic rather than aerobic conditions, a 5-h lag period elapsed before phosphorus uptake proceeded. This anoxic phosphorus-uptake lag phase was not observed in the subsequent anaerobic-aerobic cycle. These results demonstrate that the PAOs that dominated the anaerobic-aerobic SBR biomass were the same organisms as the DPAOs enriched under anaerobic-anoxic conditions. (C) 2003 Wiley Periodicals, Inc.
Resumo:
This paper is concerned with methods for refinement of specifications written using a combination of Object-Z and CSP. Such a combination has proved to be a suitable vehicle for specifying complex systems which involve state and behaviour, and several proposals exist for integrating these two languages. The basis of the integration in this paper is a semantics of Object-Z classes identical to CSP processes. This allows classes specified in Object-Z to be combined using CSP operators. It has been shown that this semantic model allows state-based refinement relations to be used on the Object-Z components in an integrated Object-Z/CSP specification. However, the current refinement methodology does not allow the structure of a specification to be changed in a refinement, whereas a full methodology would, for example, allow concurrency to be introduced during the development life-cycle. In this paper, we tackle these concerns and discuss refinements of specifications written using Object-Z and CSP where we change the structure of the specification when performing the refinement. In particular, we develop a set of structural simulation rules which allow single components to be refined to more complex specifications involving CSP operators. The soundness of these rules is verified against the common semantic model and they are illustrated via a number of examples.
Resumo:
Pili of pathogenic Neisseria are major virulence factors associated with adhesion, cytotoxicity, twitching motility, autoaggregation, and DNA transformation. Pili are modified posttranslationally by the addition of phosphorylcholine. However, no genes involved in either the biosynthesis or the transfer of phosphorylcholine in Neisseria meningitidis have been identified. In this study, we identified five candidate open reading frames (ORFs) potentially involved in the biosynthesis or transfer of phosphorylcholine to pilin in N. meningitidis. Insertional mutants were constructed for each ORF in N. meningitidis strain C311#3 to determine their effect on phosphorylcholine expression. The effect of the mutant ORFs on the modification by phosphorylcholine was analyzed by Western analysis with phosphorylcholine-specific monoclonal antibody TEPC-15. Analysis of the mutants showed that ORF NMB0415, now defined as pptA (pilin phosphorylcholine transferase A), is involved in the addition of phosphorylcholine to pilin in N. meningitidis. Additionally, the phase variation (high frequency on-off switching of expression) of phosphorylcholine on pilin is due to changes in a homopolymeric guanosine tract in pptA.
Resumo:
To avoid additional hardware deployment, indoor localization systems have to be designed in such a way that they rely on existing infrastructure only. Besides the processing of measurements between nodes, localization procedure can include the information of all available environment information. In order to enhance the performance of Wi-Fi based localization systems, the innovative solution presented in this paper considers also the negative information. An indoor tracking method inspired by Kalman filtering is also proposed.
Resumo:
Knowing exactly where a mobile entity is and monitoring its trajectory in real-time has recently attracted a lot of interests from both academia and industrial communities, due to the large number of applications it enables, nevertheless, it is nowadays one of the most challenging problems from scientific and technological standpoints. In this work we propose a tracking system based on the fusion of position estimations provided by different sources, that are combined together to get a final estimation that aims at providing improved accuracy with respect to those generated by each system individually. In particular, exploiting the availability of a Wireless Sensor Network as an infrastructure, a mobile entity equipped with an inertial system first gets the position estimation using both a Kalman Filter and a fully distributed positioning algorithm (the Enhanced Steepest Descent, we recently proposed), then combines the results using the Simple Convex Combination algorithm. Simulation results clearly show good performance in terms of the final accuracy achieved. Finally, the proposed technique is validated against real data taken from an inertial sensor provided by THALES ITALIA.