911 resultados para Editor of flow analysis methods
Resumo:
Information on possible resource value of sea floor manganese nodule deposits in the eastern north Pacific has been obtained by a study of records and collections of the 1972 Sea Scope Expedition.
Resumo:
This paper addresses the issue of the practicality of global flow analysis in logic program compilation, in terms of both speed and precision of analysis. It discusses design and implementation aspects of two practical abstract interpretation-based flow analysis systems: MA3, the MOO Andparallel Analyzer and Annotator; and Ms, an experimental mode inference system developed for SB-Prolog. The paper also provides performance data obtained from these implementations. Based on these results, it is concluded that the overhead of global flow analysis is not prohibitive, while the results of analysis can be quite precise and useful.
Resumo:
Abstract interpretation-based data-flow analysis of logic programs is at this point relatively well understood from the point of view of general frameworks and abstract domains. On the other hand, comparatively little attention has been given to the problems which arise when analysis of a full, practical dialect of the Prolog language is attempted, and only few solutions to these problems have been proposed to date. Such problems relate to dealing correctly with all builtins, including meta-logical and extra-logical predicates, with dynamic predicates (where the program is modified during execution), and with the absence of certain program text during compilation. Existing proposals for dealing with such issues generally restrict in one way or another the classes of programs which can be analyzed if the information from analysis is to be used for program optimization. This paper attempts to fill this gap by considering a full dialect of Prolog, essentially following the recently proposed ISO standard, pointing out the problems that may arise in the analysis of such a dialect, and proposing a combination of known and novel solutions that together allow the correct analysis of arbitrary programs using the full power of the language.
Resumo:
Quantitative descriptive analysis (QDA) is used to describe the nature and the intensity of sensory properties from a single evaluation of a product, whereas temporal dominance of sensation (TDS) is primarily used to identify dominant sensory properties over time. Previous studies with TDS have focused on model systems, but this is the first study to use a sequential approach, i.e. QDA then TDS in measuring sensory properties of a commercial product category, using the same set of trained assessors (n = 11). The main objectives of this study were to: (1) investigate the benefits of using a sequential approach of QDA and TDS and (2) to explore the impact of the sample composition on taste and flavour perceptions in blackcurrant squashes. The present study has proposed an alternative way of determining the choice of attributes for TDS measurement based on data obtained from previous QDA studies, where available. Both methods indicated that the flavour profile was primarily influenced by the level of dilution and complexity of sample composition combined with blackcurrant juice content. In addition, artificial sweeteners were found to modify the quality of sweetness and could also contribute to bitter notes. Using QDA and TDS in tandem was shown to be more beneficial than each just on its own enabling a more complete sensory profile of the products.
Resumo:
Fluid flow and fabric compaction during vacuum assisted resin infusion (VARI) of composite materials was simulated using a level set-based approach. Fluid infusion through the fiber preform was modeled using Darcy’s equations for the fluid flow through a porous media. The stress partition between the fluid and the fiber bed was included by means of Terzaghi’s effective stress theory. Tracking the fluid front during infusion was introduced by means of the level set method. The resulting partial differential equations for the fluid infusion and the evolution of flow front were discretized and solved approximately using the finite differences method with a uniform grid discretization of the spatial domain. The model results were validated against uniaxial VARI experiments through an [0]8 E-glass plain woven preform. The physical parameters of the model were also independently measured. The model results (in terms of the fabric thickness, pressure and fluid front evolution during filling) were in good agreement with the numerical simulations, showing the potential of the level set method to simulate resin infusion
Resumo:
Mode of access: Internet.
Resumo:
"Supported in part by the Advanced Research Projects Agency as administered by the Rome Air Development Center under contract no. US AF 30(602) 4144."
Resumo:
Thesis (M. S.)--University of Illinois at Urbana-Champaign.
Resumo:
Bibliography: p. 32.
Resumo:
"A revised edition of Dr. F. Böckmann̓s Chemisch-technische Untersuchungsmethoden, edited by Professor G. Lunge, was published in 1899 ... practically a new work ... adapted to modern methods of work. In 1904 a second edition was called for, in which the whole of the subject matter was thoroughly revised and brought up to date ... The English translation has been made from the second German edition ... A bibliography ... is appended to each section, and all important tables, in addition to having printed in the text, are also printed for reference at the end of each volume."-Pref.
Resumo:
Bibliography at end of each chapter except three.
Resumo:
Mode of access: Internet.
Resumo:
Mode of access: Internet.
Resumo:
The two sets of connected membranes induced in Kunjin virus-infected cells are characterized by the presence of NS3 helicase/protease in both, and by RNA-dependent RNA polymerase (RdRp) activity plus the associated double-stranded RNA (dsRNA) template in vesicle packets (VP), or by the absence of both the VP-specific markers in the convoluted membranes/paracrystalline arrays (CM/PC). Attempts were made to separate flavivirus-induced membranes by sedimentation or flotation analyses in density gradients of sucrose or iodixanol, respectively, after treatment of cell lysates by sonication, osmotic shock, or tryptic digestion. Only osmotic shock treatment provided suggestive evidence of separation. This was explored by flow cytometry analysis (FCA) of RdRp active membrane fractions from a sucrose gradient, using dual fluorescent labelling via antibodies to NS3 and dsRNA. FCA revealed the presence of a dual labelled membrane population indicative of VP, and in a faster sedimenting fraction a membrane population able to be labelled only in NS3, representative of CM/PC and associated (R)ER. It was postulated that osmotic shock ruptured the bounding membrane of the VP, releasing the enclosed small vesicles associated with the Kunjin virus replication complex characterized previously. Notably, the presence of the full spectrum of nonstructural proteins in some membrane fractions was not a reliable marker for RdRp activity. These experiments may provide the opportunity for isolation of relatively pure flavivirus replication complexes in their native membrane-associated state by fluorescence-activated cell sorting. (C) 2004 Elsevier B.V. All rights reserved.
Resumo:
Objective: To devise more-effective physical activity interventions, the mediating mechanisms yielding behavioral change need to be identified. The Baron-Kenny method is most commonly used. but has low statistical power and May not identify mechanisms of behavioral change in small-to-medium size Studies. More powerful statistical tests are available, Study Design and Setting: Inactive adults (N = 52) were randomized to either a print or a print-plus-telephone intervention. Walking and exercise-related social support Were assessed at baseline, after file intervention, and 4 weeks later. The Baron-Kenny and three alternative methods of mediational analysis (Freedman-Schatzkin; MacKinnon et al.: bootstrap method) were used to examine the effects of social support on initial behavior change and maintenance. Results: A significant mediational effect of social support on initial behavior change was indicated by the MacKinnon et al., bootstrap. and. marginally. Freedman-Schatzkin methods, but not by the Baron-Kenny method. No significant mediational effecl of social support on maintenance of walking was found. Conclusions: Methodologically rigorous intervention studies to identify mediators of change in physical activity are costly and labor intensive, and may not be feasible with large samples. The Use of statistically powerful tests of mediational effects in small-scale studies can inform the development of more effective interventions. (C) 2006 Elsevier Inc. All rights reserved.