971 resultados para SQL query equivalence
Resumo:
This work considers a nonlinear time-varying system described by a state representation, with input u and state x. A given set of functions v, which is not necessarily the original input u of the system, is the (new) input candidate. The main result provides necessary and sufficient conditions for the existence of a local classical state space representation with input v. These conditions rely on integrability tests that are based on a derived flag. As a byproduct, one obtains a sufficient condition of differential flatness of nonlinear systems. (C) 2009 Elsevier Ltd. All rights reserved.
Resumo:
The Brazilian generic drugs policy was implemented in 1999 with the aim of stimulating competition in the market, improve the quality of drugs and improve the access of the population to drug treatment. The process of implementing this policy allowed the introduction and discussion of concepts that had never before been used in the context of drug registration in Brazil: bioavailability, bioequivalence, pharmaceutical equivalence, generic drugs, biopharmaceutical classification system, biowaiver. The present article provides definitions for these concepts in the context of Brazilian legislation as well as a historical and chronological description of the implementation of the generic drugs policy in Brazil, including a list of current generic drug legislation. This article contributes to the understanding of the Brazilian generic drugs policy and facilitates the search for information concerning the legal requirements for registration of drugs in Brazil.
Resumo:
Background: Tramadol is a well tolerated and effective analgesic used to treat moderate to severe pain. Several generic formulations of tramadol are available in Brazil; however, published information regarding their bioequivalence in the Brazilian population is not available. A study was designed for Brazilian regulatory authorities to allow marketing of a generic formulation. Objective: The purpose of this study was to compare the bioequivalence of 2 commercial tablet preparations containing tramadol 100 mg marketed for use in Brazil. Methods: A randomized, open-label, 2 x 2 crossover study was performed in healthy Brazilian volunteers under fasting conditions with a washout period of 12 days. Two tablet formulations of tramadol 100 mg (test and reference formulations) were administered as a single oral dose, and blood samples were collected over 24 hours. Tramadol plasma concentrations were quantified using a validated HPLC method. A plasma concentration time profile was generated for each volunteer and then mean values were determined, from which C(max), T(max), AUC(0-t), AUC(0-infinity), k(e), and t(1/2) were calculated using a noncompartmental model. Bioequivalence between the products was determined by calculating 90% CIs for the ratios of C(max), AUC(0-t), and AUC(0-infinity) values for the test and reference products using log-transformed data. Tolerability was assessed by monitoring vital signs (temperature, blood pressure, heart rate), laboratory tests (hematology, blood biochemistry, hepatic function, urinalysis), and interviews with the volunteers before medication administration and every 2 hours during the study. Results: Twenty-six healthy volunteers (13 men, 13 women) were enrolled in and completed the study. Mean (SD) age was 30 (6.8) years (range, 21-44 years), mean weight was 64 (8.3) kg (range, 53-79 kg), and mean height was 166 (6.4) cm (range, 155-178 cm). The 90% CIs for the ratios of C(max) (1.01-1.17), AUC(0-t) (1.00-1.13), and AUC(0-infinity) (1.00-1.14) values for the test and reference products fell within the interval of 0.80 to 1.25 proposed by most regulatory agencies, including the Brazilian regulatory body. No clinically important adverse effects were reported; only mild somnolence was reported by 4 volunteers and mild headaches by 5 volunteers, and there was no need to use medication to treat these symptoms. Conclusion: Pharmacokinetic analysis in these healthy Brazilian volunteers suggested that the test and reference formulations of tramadol 100-mg tablets met the regulatory requirements to assume bio-equivalence based on the Brazilian regulatory definition. (Clin Ther 2010;32:758-765) (C) 2010 Excerpta Medica Inc.
Resumo:
OctVCE is a cartesian cell CFD code produced especially for numerical simulations of shock and blast wave interactions with complex geometries, in particular, from explosions. Virtual Cell Embedding (VCE) was chosen as its cartesian cell kernel for its simplicity and sufficiency for practical engineering design problems. The code uses a finite-volume formulation of the unsteady Euler equations with a second order explicit Runge-Kutta Godonov (MUSCL) scheme. Gradients are calculated using a least-squares method with a minmod limiter. Flux solvers used are AUSM, AUSMDV and EFM. No fluid-structure coupling or chemical reactions are allowed, but gas models can be perfect gas and JWL or JWLB for the explosive products. This report also describes the code’s ‘octree’ mesh adaptive capability and point-inclusion query procedures for the VCE geometry engine. Finally, some space will also be devoted to describing code parallelization using the shared-memory OpenMP paradigm. The user manual to the code is to be found in the companion report 2007/13.
Resumo:
The development of Australian forms of the Childhood Asthma Questionnaires (CAQs) is reported. Focus group methods and psychometric analyses were used to establish the conceptual, semantic and technical equivalence of these forms with the UK versions. Both versions also provide for data collection from non-asthmatic youngsters. The internal consistency was found to be acceptable (Cronbach's alpha 0.52-0.90) and the health-related quality of life (HRQoL) scores were found to vary with asthma severity (p < 0.05). Comparison with the UK data revealed that the non-asthmatic scores were higher for Australian than British children (p < 0.001) but that the scores for children with asthma did not differ between the two countries. It was only In the Australian sample that the group with asthma reported impaired HRQoL when compared to their healthy peers. These findings were interpreted in the context of cultural expectations of life quality and conclusions are presented regarding the importance of the gap between experience and expectations. The difficulties raised by the developmental and cultural issues inherent in paediatric HRQoL research were discussed. Qual. Life Res. 7:409-419 (C) 1998 Kluwer Academic Publishers
Resumo:
Suppose a seller wants to sell k similar or identical objects and there are n > k potential buyers. Suppose that each buyer wants only one object. In this case, we suggest the use of a simultaneous auction that would work as follows. Players are asked to submit sealed bids for one object. The individual with the highest bid chooses an object first; the individual with the second-highest bid chooses the next object; and this process continues until the individual with the kth highest bid receives the last object. Each individual pays the equivalent to his or her bid. When objects are identical, we show that the proposed auction generates the same revenue as a first-price sealed-bid sequential auction. When objects are perfectly correlated, there is no known solution for sequential auctions, whereas we can characterize bidding strategies in the proposed auction. Moreover, the proposed auction is optimal (given an appropriately chosen reserve price), and it may be easier and cheaper to run than a sequential auction.
Resumo:
This paper presents the unique collection of additional features of Qu-Prolog, a variant of the Al programming language Prolog, and illustrates how they can be used for implementing DAI applications. By this we mean applications comprising communicating information servers, expert systems, or agents, with sophisticated reasoning capabilities and internal concurrency. Such an application exploits the key features of Qu-Prolog: support for the programming of sound non-clausal inference systems, multi-threading, and high level inter-thread message communication between Qu-Prolog query threads anywhere on the internet. The inter-thread communication uses email style symbolic names for threads, allowing easy construction of distributed applications using public names for threads. How threads react to received messages is specified by a disjunction of reaction rules which the thread periodically executes. A communications API allows smooth integration of components written in C, which to Qu-Prolog, look like remote query threads.
Resumo:
Objectives: To determine the relationship between pediatric assessment scores and ratings by parents and teachers regarding the amount of assistance required to complete basic activities of daily living; and to examine the relationship among scores for three commonly used pediatric assessments. Design: Prospective correlational study. 205 children with developmental disabilities. The children ranged in age from 11 to 87 mo and included 72 females and 133 males of diverse socioeconomic and ethnic backgrounds. The children were evaluated by using the Battelle Developmental Inventory Screening Test, Vineland Adaptive Behavior Scales, Functional Independence Measure for Children (WeeFIM(TM) instrument), and the Amount of Assistance Questionnaire, Results: The test-retest reliability coefficients for items on the Amount of Assistance Questionnaire were found to range from 0.82 to 0.97. Correlations among subscale scores and amount of assistance ratings were highest for the WeeFIM instrument and Battelle Developmental Inventory Screening Test. The highest correlation was between WeeFIM total rating and total amount of assistance rating (r = 0.91). Conclusion: Total WeeFIM instrument ratings and severity of disability were the best predictors of amount of assistance ratings provided by parents and teachers.
Resumo:
We shall study continuous-time Markov chains on the nonnegative integers which are both irreducible and transient, and which exhibit discernible stationarity before drift to infinity sets in. We will show how this 'quasi' stationary behaviour can be modelled using a limiting conditional distribution: specifically, the limiting state probabilities conditional on not having left 0 for the last time. By way of a dual chain, obtained by killing the original process on last exit from 0, we invoke the theory of quasistationarity for absorbing Markov chains. We prove that the conditioned state probabilities of the original chain are equal to the state probabilities of its dual conditioned on non-absorption, thus allowing us to establish the simultaneous existence and then equivalence, of their limiting conditional distributions. Although a limiting conditional distribution for the dual chain is always a quasistationary distribution in the usual sense, a similar statement is not possible for the original chain.
Resumo:
In quantum measurement theory it is necessary to show how a, quantum source conditions a classical stochastic record of measured results. We discuss mesoscopic conductance using quantum stochastic calculus to elucidate the quantum nature of the measurement taking place in these systems. To illustrate the method we derive the current fluctuations in a two terminal mesoscopic circuit with two tunnel barriers containing a single quasi bound state on the well. The method enables us to focus on either the incoming/ outgoing Fermi fields in the leads, or on the irreversible dynamics of the well state itself. We show an equivalence between the approach of Buttiker and the Fermi quantum stochastic calculus for mesoscopic systems.
Resumo:
Centrifuge experiments modeling single-phase flow in prototype porous media typically use the same porous medium and permeant. Then, well-known scaling laws are used to transfer the results to the prototype. More general scaling laws that relax these restrictions are presented. For permeants that are immiscible with an accompanying gas phase, model-prototype (i.e., centrifuge model experiment-target system) scaling is demonstrated. Scaling is shown to be feasible for Miller-similar (or geometrically similar) media. Scalings are presented for a more, general class, Lisle-similar media, based on the equivalence mapping of Richards' equation onto itself. Whereas model-prototype scaling of Miller-similar media can be realized easily for arbitrary boundary conditions, Lisle-similarity in a finite length medium generally, but not always, involves a mapping to a moving boundary problem. An exception occurs for redistribution in Lisle-similar porous media, which is shown to map to spatially fixed boundary conditions. Complete model-prototype scalings for this example are derived.
Resumo:
[1] We attempt to generate new solutions for the moisture content form of the one-dimensional Richards' [1931] equation using the Lisle [1992] equivalence mapping. This mapping is used as no more general set of transformations exists for mapping the one-dimensional Richards' equation into itself. Starting from a given solution, the mapping has the potential to generate an infinite number of new solutions for a series of nonlinear diffusivity and hydraulic conductivity functions. We first seek new analytical solutions satisfying Richards' equation subject to a constant flux surface boundary condition for a semi-infinite dry soil, starting with the Burgers model. The first iteration produces an existing solution, while subsequent iterations are shown to endlessly reproduce this same solution. Next, we briefly consider the problem of redistribution in a finite-length soil. In this case, Lisle's equivalence mapping is generalized to account for arbitrary initial conditions. As was the case for infiltration, however, it is found that new analytical solutions are not generated using the equivalence mapping, although existing solutions are recovered.
Resumo:
Carbon monoxide is the chief killer in fires. Dangerous levels of CO can occur when reacting combustion gases are quenched by heat transfer, or by mixing of the fire plume in a cooled under- or overventilated upper layer. In this paper, carbon monoxide predictions for enclosure fires are modeled by the conditional moment closure (CMC) method and are compared with laboratory data. The modeled fire situation is a buoyant, turbulent, diffusion flame burning under a hood. The fire plume entrains fresh air, and the postflame gases are cooled considerably under the hood by conduction and radiation, emulating conditions which occur in enclosure fires and lead to the freezing of CO burnout. Predictions of CO in the cooled layer are presented in the context of a complete computational fluid dynamics solution of velocity, temperature, and major species concentrations. A range of underhood equivalence ratios, from rich to lean, are investigated. The CMC method predicts CO in very good agreement with data. In particular, CMC is able to correctly predict CO concentrations in lean cooled gases, showing its capability in conditions where reaction rates change considerably.
Resumo:
An equivalent algorithm is proposed to simulate thermal effects of the magma intrusion in geological systems, which are composed of porous rocks. Based on the physical and mathematical equivalence, the original magma solidification problem with a moving boundary between the rock and intruded magma is transformed into a new problem without the moving boundary but with a physically equivalent heat source. From the analysis of an ideal solidification model, the physically equivalent heat source has been determined in this paper. The major advantage in using the proposed equivalent algorithm is that the fixed finite element mesh with a variable integration time step can be employed to simulate the thermal effect of the intruded magma solidification using the conventional finite element method. The related numerical results have demonstrated the correctness and usefulness of the proposed equivalent algorithm for simulating the thermal effect of the intruded magma solidification in geological systems. (C) 2003 Elsevier B.V. All rights reserved.
Resumo:
Spatial data has now been used extensively in the Web environment, providing online customized maps and supporting map-based applications. The full potential of Web-based spatial applications, however, has yet to be achieved due to performance issues related to the large sizes and high complexity of spatial data. In this paper, we introduce a multiresolution approach to spatial data management and query processing such that the database server can choose spatial data at the right resolution level for different Web applications. One highly desirable property of the proposed approach is that the server-side processing cost and network traffic can be reduced when the level of resolution required by applications are low. Another advantage is that our approach pushes complex multiresolution structures and algorithms into the spatial database engine. That is, the developer of spatial Web applications needs not to be concerned with such complexity. This paper explains the basic idea, technical feasibility and applications of multiresolution spatial databases.