927 resultados para Experimental, Flow, Hot wire anemometer, Similarity analysis, Low speed, High speed
Resumo:
"12 November 1980"--Change no. 3.
Resumo:
"20 January 1989."
Resumo:
Includes index.
Resumo:
Includes index.
Resumo:
Includes index.
Resumo:
"September 1965."
Resumo:
"March 1972."
Resumo:
Mode of access: Internet.
Resumo:
Translational pausing may occur due to a number of mechanisms, including the presence of non-optimal codons, and it is thought to play a role in the folding of specific polypeptide domains during translation and in the facilitation of signal peptide recognition during see-dependent protein targeting. In this whole genome analysis of Escherichia coli we have found that non-optimal codons in the signal peptide-encoding sequences of secretory genes are overrepresented relative to the mature portions of these genes; this is in addition to their overrepresentation in the 5'-regions of genes encoding non-secretory proteins. We also find increased non-optimal codon usage at the 3' ends of most E. coli genes, in both non-secretory and secretory sequences. Whereas presumptive translational pausing at the 5' and 3' ends of E. coli messenger RNAs may clearly have a general role in translation, we suggest that it also has a specific role in sec-dependent protein export, possibly in facilitating signal peptide recognition. This finding may have important implications for our understanding of how the majority of non-cytoplasmic proteins are targeted, a process that is essential to all biological cells. (C) 2004 Elsevier Inc. All rights reserved.
Resumo:
Formal methods have significant benefits for developing safety critical systems, in that they allow for correctness proofs, model checking safety and liveness properties, deadlock checking, etc. However, formal methods do not scale very well and demand specialist skills, when developing real-world systems. For these reasons, development and analysis of large-scale safety critical systems will require effective integration of formal and informal methods. In this paper, we use such an integrative approach to automate Failure Modes and Effects Analysis (FMEA), a widely used system safety analysis technique, using a high-level graphical modelling notation (Behavior Trees) and model checking. We inject component failure modes into the Behavior Trees and translate the resulting Behavior Trees to SAL code. This enables us to model check if the system in the presence of these faults satisfies its safety properties, specified by temporal logic formulas. The benefit of this process is tool support that automates the tedious and error-prone aspects of FMEA.
Resumo:
We experimentally demonstrate an all-fiber loading sensor system based on a 45° and an 81° tilted fiber grating (TFG). We have fabricated two TFGs adjacent to each other in a single fiber to form a hybrid structure. When the transverse load applied to the 81° TFG, the light coupling to the two orthogonally polarized modes will interchange the power according to the load applied to the fiber, which provides a solution to measure the load. For real applications, we further investigated the interrogation of this all-fiber loading sensor system using a low-cost and compact-size single wavelength source and a power meter. The experimental results have clearly shown that a low-cost high-sensitivity loading sensor system can be developed based on the proposed TFG configuration.