294 resultados para First-order logic


Relevância:

80.00% 80.00%

Publicador:

Resumo:

The unified structure of steady, one-dimensional shock waves in argon, in the absence of an external electric or magnetic field, is investigated. The analysis is based on a two-temperature, three-fluid continuum approach, using the Navier—Stokes equations as a model and including non-equilibrium collisional as well as radiative ionization phenomena. Quasi charge neutrality and zero velocity slip are assumed. The integral nature of the radiative terms is reduced to analytical forms through suitable spectral and directional approximations. The analysis is based on the method of matched asymptotic expansions. With respect to a suitably chosen small parameter, which is the ratio of atom-atom elastic collisional mean free-path to photon mean free-path, the following shock morphology emerges: within the radiation and electron thermal conduction dominated outer layer occurs an optically transparent discontinuity which consists of a chemically frozen heavy particle (atoms and ions) shock and a collisional ionization relaxation layer. Solutions are obtained for the first order with respect to the small parameter of the problem for two cases: (i) including electron thermal conduction and (ii) neglecting it in the analysis of the outer layer. It has been found that the influence of electron thermal conduction on the shock structure is substantial. Results for various free-stream conditions are presented in the form of tables and figures.

Relevância:

80.00% 80.00%

Publicador:

Resumo:

4-Hydroxyisophthalate hydroxylase was inactivated by treatment with phenylglyoxal by a process obeying pseudo-first order kinetics indicating the presence of an essential arginine located presumably in the active site. Addition of saturating amounts of 4-hydroxyisophthalate during the treatment resulted in complete protection of the enzyme from the inactivation, but addition of NADPH was totally ineffective. Analysis of the effect of various substrate analogs on the protection of the enzyme showed that carboxyl and hydroxyl groups at para positions on the aromatic ring are essential for substrate binding to the active site. It was also observed that analogs which protect the enzyme against phenylglyoxal inactivation are themselves effective inhibitors of the enzyme activity.

Relevância:

80.00% 80.00%

Publicador:

Resumo:

A perturbation technique is used to determine the stress concentration around reinforced curvilinear holes in thin pressurized spherical shells. Starting from the governing differential equations for thin shallow spherical shells, a solution is first obtained for a circular hole. The solution for an arbitrary shaped curvilinear hole is then obtained as a first-order perturbation over the circular hole solution using the conformal mapping technique. The effects of a large number of parameters involved in the design of a reinforcement around cutouts in shells are studied. The problems of symmetric and eccentric reinforcements are also considered. The results obtained would be very helpful in the design of an efficient reinforcement for elliptical and square holes in thin shallow spherical shells.

Relevância:

80.00% 80.00%

Publicador:

Resumo:

The behaviour of laterally loaded piles is considerably influenced by the uncertainties in soil properties. Hence probabilistic models for assessment of allowable lateral load are necessary. Cone penetration test (CPT) data are often used to determine soil strength parameters, whereby the allowable lateral load of the pile is computed. In the present study, the maximum lateral displacement and moment of the pile are obtained based on the coefficient of subgrade reaction approach, considering the nonlinear soil behaviour in undrained clay. The coefficient of subgrade reaction is related to the undrained shear strength of soil, which can be obtained from CPT data. The soil medium is modelled as a one-dimensional random field along the depth, and it is described by the standard deviation and scale of fluctuation of the undrained shear strength of soil. Inherent soil variability, measurement uncertainty and transformation uncertainty are taken into consideration. The statistics of maximum lateral deflection and moment are obtained using the first-order, second-moment technique. Hasofer-Lind reliability indices for component and system failure criteria, based on the allowable lateral displacement and moment capacity of the pile section, are evaluated. The geotechnical database from the Konaseema site in India is used as a case example. It is shown that the reliability-based design approach for pile foundations, considering the spatial variability of soil, permits a rational choice of allowable lateral loads.

Relevância:

80.00% 80.00%

Publicador:

Resumo:

This paper discusses the consistent regularization property of the generalized α method when applied as an integrator to an initial value high index and singular differential-algebraic equation model of a multibody system. The regularization comes from within the discretization itself and the discretization remains consistent over the range of values the regularization parameter may take. The regularization involves increase of the smallest singular values of the ill-conditioned Jacobian of the discretization and is different from Baumgarte and similar techniques which tend to be inconsistent for poor choice of regularization parameter. This regularization also helps where pre-conditioning the Jacobian by scaling is of limited effect, for example, when the scleronomic constraints contain multiple closed loops or singular configuration or when high index path constraints are present. The feed-forward control in Kane's equation models is additionally considered in the numerical examples to illustrate the effect of regularization. The discretization presented in this work is adopted to the first order DAE system (unlike the original method which is intended for second order systems) for its A-stability and same order of accuracy for positions and velocities.

Relevância:

80.00% 80.00%

Publicador:

Resumo:

A frequency-domain positivity condition is derived for linear time-varying operators in2and is used to develop2stability criteria for linear and nonlinear feedback systems. These criteria permit the use of a very general class of operators in2with nonstationary kernels, as multipliers. More specific results are obtained by using a first-order differential operator with a time-varying coefficient as multiplier. Finally, by employing periodic multipliers, improved stability criteria are derived for the nonlinear damped Mathieu equation with a forcing function.

Relevância:

80.00% 80.00%

Publicador:

Resumo:

Let Wm,p denote the Sobolev space of functions on Image n whose distributional derivatives of order up to m lie in Lp(Image n) for 1 less-than-or-equals, slant p less-than-or-equals, slant ∞. When 1 < p < ∞, it is known that the multipliers on Wm,p are the same as those on Lp. This result is true for p = 1 only if n = 1. For, we prove that the integrable distributions of order less-than-or-equals, slant1 whose first order derivatives are also integrable of order less-than-or-equals, slant1, belong to the class of multipliers on Wm,1 and there are such distributions which are not bounded measures. These distributions are also multipliers on Lp, for 1 < p < ∞. Moreover, they form exactly the multiplier space of a certain Segal algebra. We have also proved that the multipliers on Wm,l are necessarily integrable distributions of order less-than-or-equals, slant1 or less-than-or-equals, slant2 accordingly as m is odd or even. We have obtained the multipliers from L1(Image n) into Wm,p, 1 less-than-or-equals, slant p less-than-or-equals, slant ∞, and the multiplier space of Wm,1 is realised as a dual space of certain continuous functions on Image n which vanish at infinity.

Relevância:

80.00% 80.00%

Publicador:

Resumo:

Curved hollow bars of laminated anisotropic construction are used as structural members in many industries. They are used in order to save weight without loss of stiffness in comparison with solid sections. In this paper are presented the details of the development of the stiffness matrices of laminated anisotropic curved hollow bars under line member assumptions for two typical sections, circular and square. They are 16dof elements which make use of one-dimensional first-order Hermite interpolation polynomials for the description of assumed displacement state. Problems for which analytical or other solutions are available are first solved using these elements. Good agreement was found between the results. In order to show the capability of the element, application is made to carbon fibre reinforced plastic layered anisotropic curved hollow bars.

Relevância:

80.00% 80.00%

Publicador:

Resumo:

Precise measurements of the ultrasonic velocities and thermal expansivities of amorphous Se80Te20 and Se90Te10 alloys are reported near the glass transition. The samples are produced by liquid quenching. The longitudinal and transverse velocities are measured at 10 MHz frequency using the McSkimin pulse superposition technique. The thermal expansivities,agr, are measured using a three-terminal capacitance bridge. Theagr-values show a sharp maximum near the glass transition temperature,T g. The ultrasonic velocities also show a large temperature derivative, dV/dT nearT g. The data are discussed in terms of existing theories of the glass transition. The continuous change inagr shows that the glass transition is not a first-order transition, as suggested by some theories. The samples are found to be deformed by small loads nearT g. The ultrasonic velocities and dV/dT have contributions arising from this deformation.

Relevância:

80.00% 80.00%

Publicador:

Resumo:

This paper presents finite element analysis of laminated anisotropic beams of bimodulus materials. The finite element has 16 d.o.f. and uses the displacement field in terms of first order Hermite interpolation polynomials. As the neutral axis position may change from point to point along the length of the beam, an iterative procedure is employed to determine the location of zero strain points along the length. Using this element some problems of laminated beams of bimodulus materials are solved for concentrated loads/moments perpendicular and parallel to the layering planes as well as combined loads.

Relevância:

80.00% 80.00%

Publicador:

Resumo:

It is shown that the intrinsic two-phonon terms occurring in first order in the electron-phonon interaction Hamiltonian can give rise to (i) an essential doubling of the interaction phase space (BCS cutoff) and (ii) an attractive pairing interaction proportional to the phonon occupation numbers. This suggests a possible enhancement of the superconductive transition temperature in the presence of high-frequency acoustic field.

Relevância:

80.00% 80.00%

Publicador:

Resumo:

Kinetics of the thermal decomposition of barium titanyl oxalate have been studied. Decomposition of the anhydrous oxalate is complex and deceleratory throughout. Kinetics of decomposition of the intermediate carbonate Ba2Ti2O5CO3 is greatly influenced by the thermal effects during its formation. The sigmoidal (α, t) curves obey a power law equation followed by first order decay. Presence of carbon in the vacuum prepared carbonate has a strong deactivating effect. Decomposition of the carbonate is accompanied by growth in particle size of the product, barium titanate.

Relevância:

80.00% 80.00%

Publicador:

Resumo:

A mathematical model of social interaction in the form of two coupler! first-order non-linear differential equations, forms the topic of this study. This non-conservative model io representative of such varied social interaction problems as coexisting sub-populations of two different species, arms race between two rival countries and the like. Differential transformation techniques developed elsewhere in the literature are seen to be effective tools of dynamic analysis of this non-linear non-conservative mode! of social interaction process.

Relevância:

80.00% 80.00%

Publicador:

Resumo:

A rate equation is developed for the liquid phase hydrogenation of aniline over cylindrical catalyst pellets of 30% nickel deposited on clay in a trickle bed reactor. The equation takes into account external and internal diffusional limitations, and describes the experimental data adequately. The hydrogenation reaction is first order with respect to hydrogen and zero order with respect to aniline. Effectiveness factors are in the range 0.003-0.03. Apparent activation energy of the reaction is 12.7 kcal/mol and true activation energy is 39.6 kcal/mol.

Relevância:

80.00% 80.00%

Publicador:

Resumo:

In 1956 Whitham gave a nonlinear theory for computing the intensity of an acoustic pulse of an arbitrary shape. The theory has been used very successfully in computing the intensity of the sonic bang produced by a supersonic plane. [4.] derived an approximate quasi-linear equation for the propagation of a short wave in a compressible medium. These two methods are essentially nonlinear approximations of the perturbation equations of the system of gas-dynamic equations in the neighborhood of a bicharacteristic curve (or rays) for weak unsteady disturbances superimposed on a given steady solution. In this paper we have derived an approximate quasi-linear equation which is an approximation of perturbation equations in the neighborhood of a bicharacteristic curve for a weak pulse governed by a general system of first order quasi-linear partial differential equations in m + 1 independent variables (t, x1,…, xm) and derived Gubkin's result as a particular case when the system of equations consists of the equations of an unsteady motion of a compressible gas. We have also discussed the form of the approximate equation describing the waves propagating upsteam in an arbitrary multidimensional transonic flow.