56 resultados para Millionaire Problem, Efficiency, Verifiability, Zero Test, Batch Equation
Resumo:
A 2D steady model for the annular two-phase flow of water and steam in the steam-generating boiler pipes of a liquid metal fast breeder reactor is proposed The model is based on thin-layer lubrication theory and thin aerofoil theory. The exchange of mass between the vapour core and the liquid film due to evaporation of the liquid film is accounted for using some simple thermodynamics models, and the resultant change of phase is modelled by proposing a suitable Stefan problem Appropriate boundary conditions for the now are discussed The resulting non-lineal singular integro-differential equation for the shape of the liquid film free surface is solved both asymptotically and numerically (using some regularization techniques) Predictions for the length to the dryout point from the entry of the annular regime are made The influence of both the traction tau provided by the fast-flowing vapour core on the liquid layer and the mass transfer parameter eta on the dryout length is investigated
Resumo:
In this paper, we consider a classical problem of complete test generation for deterministic finite-state machines (FSMs) in a more general setting. The first generalization is that the number of states in implementation FSMs can even be smaller than that of the specification FSM. Previous work deals only with the case when the implementation FSMs are allowed to have the same number of states as the specification FSM. This generalization provides more options to the test designer: when traditional methods trigger a test explosion for large specification machines, tests with a lower, but yet guaranteed, fault coverage can still be generated. The second generalization is that tests can be generated starting with a user-defined test suite, by incrementally extending it until the desired fault coverage is achieved. Solving the generalized test derivation problem, we formulate sufficient conditions for test suite completeness weaker than the existing ones and use them to elaborate an algorithm that can be used both for extending user-defined test suites to achieve the desired fault coverage and for test generation. We present the experimental results that indicate that the proposed algorithm allows obtaining a trade-off between the length and fault coverage of test suites.
Resumo:
This work deals with the development of a numerical technique for simulating three-dimensional viscoelastic free surface flows using the PTT (Phan-Thien-Tanner) nonlinear constitutive equation. In particular, we are interested in flows possessing moving free surfaces. The equations describing the numerical technique are solved by the finite difference method on a staggered grid. The fluid is modelled by a Marker-and-Cell type method and an accurate representation of the fluid surface is employed. The full free surface stress conditions are considered. The PTT equation is solved by a high order method, which requires the calculation of the extra-stress tensor on the mesh contours. To validate the numerical technique developed in this work flow predictions for fully developed pipe flow are compared with an analytic solution from the literature. Then, results of complex free surface flows using the FIT equation such as the transient extrudate swell problem and a jet flowing onto a rigid plate are presented. An investigation of the effects of the parameters epsilon and xi on the extrudate swell and jet buckling problems is reported. (C) 2010 Elsevier B.V. All rights reserved.
Resumo:
We revisit the problem of an otherwise classical particle immersed in the zero-point radiation field, with the purpose of tracing the origin of the nonlocality characteristic of Schrodinger`s equation. The Fokker-Planck-type equation in the particles phase-space leads to an infinite hierarchy of equations in configuration space. In the radiationless limit the first two equations decouple from the rest. The first is the continuity equation: the second one, for the particle flux, contains a nonlocal term due to the momentum fluctuations impressed by the field. These equations are shown to lead to Schrodinger`s equation. Nonlocality (obtained here for the one-particle system) appears thus as a property of the description, not of Nature. (C) 2011 Elsevier B.V. All rights reserved.
Resumo:
The goal of this paper is to analyze the character of the first Hopf bifurcation (subcritical versus supercritical) that appears in a one-dimensional reaction-diffusion equation with nonlinear boundary conditions of logistic type with delay. We showed in the previous work [Arrieta et al., 2010] that if the delay is small, the unique non-negative equilibrium solution is asymptotically stable. We also showed that, as the delay increases and crosses certain critical value, this equilibrium becomes unstable and undergoes a Hopf bifurcation. This bifurcation is the first one of a cascade occurring as the delay goes to infinity. The structure of this cascade will depend on the parameters appearing in the equation. In this paper, we show that the first bifurcation that occurs is supercritical, that is, when the parameter is bigger than the delay bifurcation value, stable periodic orbits branch off from the constant equilibrium.
Resumo:
In this work we show that the eigenvalues of the Dirichlet problem for the biharmonic operator are generically simple in the set Of Z(2)-symmetric regions of R-n, n >= 2, with a suitable topology. To accomplish this, we combine Baire`s lemma, a generalised version of the transversality theorem, due to Henry [Perturbation of the boundary in boundary value problems of PDEs, London Mathematical Society Lecture Note Series 318 (Cambridge University Press, 2005)], and the method of rapidly oscillating functions developed in [A. L. Pereira and M. C. Pereira, Mat. Contemp. 27 (2004) 225-241].
Resumo:
We study the existence and stability of periodic travelling-wave solutions for generalized Benjamin-Bona-Mahony and Camassa-Holm equations. To prove orbital stability, we use the abstract results of Grillakis-Shatah-Strauss and the Floquet theory for periodic eigenvalue problems.
Resumo:
The pentrophic membrane (PM) is an anatomical structure surrounding the food bolus in most insects. Rejecting the idea that PM has evolved from coating mucus to play the same protective role as it, novel functions were proposed and experimentally tested. The theoretical principles underlying the digestive enzyme recycling mechanism were described and used to develop an algorithm to calculate enzyme distributions along the midgut and to infer secretory and absorptive sites. The activity of a Spodoptera frugiperda microvillar aminopeptidase decreases by 50% if placed in the presence of midgut contents. S. frugiperda trypsin preparations placed into dialysis bags in stirred and unstirred media have activities of 210 and 160%, respectively, over the activities of samples in a test tube. The ectoperitrophic fluid (EF) present in the midgut caeca of Rhynchosciara americana may be collected. If the enzymes restricted to this fluid are assayed in the presence of PM contents (PMC) their activities decrease by at least 58%. The lack of PM caused by calcofluor feeding impairs growth due to an increase in the metabolic cost associated with the conversion of food into body mass. This probably results from an increase in digestive enzyme excretion and useless homeostatic attempt to reestablish destroyed midgut gradients. The experimental models support the view that PM enhances digestive efficiency by: (a) prevention of non-specific binding of undigested material onto cell Surface; (b) prevention of excretion by allowing enzyme recycling powered by an ectoperitrophic counterflux of fluid; (c) removal from inside PM of the oligomeric molecules that may inhibit the enzymes involved in initial digestion; (d) restriction of oligomer hydrolases to ectoperitrophic space (ECS) to avoid probable partial inhibition by non-dispersed undigested food. Finally,PM functions are discussed regarding insects feeding on any diet. (C) 2008 Elsevier Ltd. All rights reserved.
Resumo:
Carra sawdust pretrated with formaldehyde was used to adsorb RR239 (reactive azo dye) at varying pH and zerovalent iron (ZVI) dosage. Modeling of kinetic results shows that sorption process is best described by the pseudo-second-order model. Batch experiments suggest that the decolorization efficiency was strongly enhanced with the presence of ZVI and low solution pH. The kinetics of dye sorption by mixed sorbent (5 g of sawdust and 180 mg of ZVI) at pH 2.0 was rapid, reaching more than 90% of the total discoloration in three minutes.
Resumo:
The acylation of three cellulose samples by acetic anhydride, Ac(2)O, in the solvent system LiCl/N,N-dimethylacetamide, DMAc (4 h, 110 A degrees C), has been revisited in order to investigate the dependence of the reaction efficiency on the structural characteristics of cellulose, and its aggregation in solution. The cellulose samples employed included microcrystalline, MCC; mercerized cotton linters, M-cotton, and mercerized sisal, M-sisal. The reaction efficiency expresses the relationship between the degree of substitution, DS, of the ester obtained, and the molar ratio Ac(2)O/AGU (anhydroglucose unit of the biopolymer); 100% efficiency means obtaining DS = 3 at Ac(2)O/AGU = 3. For all celluloses, the dependence of DS on Ac(2)O/AGU is described by an exponential decay equation: DS = DS(o) - Ae(-[(Ac2O/AGU)/B]); (A) and (B) are regression coefficients, and DS(o) is the calculated maximum degree of substitution, achieved under the conditions of each experiment. Values of (B) are clearly dependent on the cellulose employed: B((M-cotton)) > B((M-sisal)) > B((MCC)); they correlate qualitatively with the degree of polymerization of cellulose, and linearly with the aggregation number, N(agg), of the dissolved biopolymer, as calculated from static light scattering measurements: (B) = 1.709 + 0.034 N(agg). To our knowledge, this is the first report on the latter correlation; it shows the importance of the physical state of dissolved cellulose, and serves to explain, in part, the need to use distinct reaction conditions for MCC and fibrous celluloses, in particular Ac(2)O/AGU, time, temperature.
Resumo:
Different compositions of visible-light-curable triethylene glycol dimethacrylate/bisglycidyl methacrylate copolymers used in dental resin formulations were prepared through copolymerization photoinitiated by a camphorquinone/ethyl 4-dimethylaminobenzoate system irradiated with an Ultrablue IS light-emitting diode. The obtained copolymers were evaluated with differential scanning calorimetry. From the data for the heat of polymerization, before and after light exposure, obtained from exothermic differential scanning calorimetry curves, the light polymerization efficiency or degree of conversion of double bonds was calculated. The glass-transition temperature also was determined before and after photopolymerization. After the photopolymerization, the glass-transi-tion temperature was not well defined because of the breadth of the transition region associated with the properties of the photocured dimethacrylate. The glass-transition temperature after photopolymerization was determined experimentally and compared with the values determined with the Fox equation. In all mixtures, the experimental value was lower than the calculated value. Scanning electron microscopy was used to analyze the morphological differences in the prepared copolymer structures. (C) 2007 Wiley Periodicals, Inc.