294 resultados para First-order logic


Relevância:

80.00% 80.00%

Publicador:

Resumo:

The phase diagram of a hard-sphere fluid in the presence of a random pinning potential is studied analytically and numerically. In the analytic work, replicas are introduced for averaging over the quenched disorder, and the hypernetted chain approximation is used to calculate density correlations in the replicated liquid. The freezing transition of the liquid into a nearly crystalline state is studied using a density-functional approach, and the liquid to glass transition is studied using a phenomenological replica symmetry breaking approach. In the numerical work, local minima of a discretized version of the Ramakrishnan-Yussouff free-energy functional are located and the phase diagram in the density-disorder plane is obtained from an analysis of the relative stability of these minima. Both approaches lead to similar results for the phase diagram. The first-order liquid to crystalline solid transition is found to change to a continuous liquid to glass transition as the strength of the disorder is increased above a threshold value.

Relevância:

80.00% 80.00%

Publicador:

Resumo:

The kinetics of thermal degradation of poly(vinyl chloride) (PVC) in solution was investigated at various temperatures (210-250degreesC). The degradation rate coefficients were determined from the time evolution of the molecular weight distribution (MWD). The energy of activation, determined from the temperature dependence of the rate coefficient, was 26.6 kcal/mol. The degradation of PVC was also studied in the presence of a catalyst (HZSM-5 zeolite). The results indicated that increase of the degradation rate of PVC is first order with the HZSM-5 concentration up to 50 g/L and zero order at higher concentrations. The thermal degradation kinetics of PVC in the presence of 50 g/L of the catalyst was studied at various temperatures. The temperature dependency of the rate coefficient was used to calculate the activation energy (21.5 kcal/mol). This is consistent with the observation that the presence of a catalyst generally decreases the activation energy and promotes degradation. (C) 2002 John Wiley Sons, Inc.

Relevância:

80.00% 80.00%

Publicador:

Resumo:

In this paper, we present a differential-geometric approach to analyze the singularities of task space point trajectories of two and three-degree-of-freedom serial and parallel manipulators. At non-singular configurations, the first-order, local properties are characterized by metric coefficients, and, geometrically, by the shape and size of a velocity ellipse or an ellipsoid. At singular configurations, the determinant of the matrix of metric coefficients is zero and the velocity ellipsoid degenerates to an ellipse, a line or a point, and the area or the volume of the velocity ellipse or ellipsoid becomes zero. The degeneracies of the velocity ellipsoid or ellipse gives a simple geometric picture of the possible task space velocities at a singular configuration. To study the second-order properties at a singularity, we use the derivatives of the metric coefficients and the rate of change of area or volume. The derivatives are shown to be related to the possible task space accelerations at a singular configuration. In the case of parallel manipulators, singularities may lead to either loss or gain of one or more degrees-of-freedom. For loss of one or more degrees-of-freedom, ther possible velocities and accelerations are again obtained from a modified metric and derivatives of the metric coefficients. In the case of a gain of one or more degrees-of-freedom, the possible task space velocities can be pictured as growth to lines, ellipses, and ellipsoids. The theoretical results are illustrated with the help of a general spatial 2R manipulator and a three-degree-of-freedom RPSSPR-SPR parallel manipulator.

Relevância:

80.00% 80.00%

Publicador:

Resumo:

To resolve many flow features accurately, like accurate capture of suction peak in subsonic flows and crisp shocks in flows with discontinuities, to minimise the loss in stagnation pressure in isentropic flows or even flow separation in viscous flows require an accurate and low dissipative numerical scheme. The first order kinetic flux vector splitting (KFVS) method has been found to be very robust but suffers from the problem of having much more numerical diffusion than required, resulting in inaccurate computation of the above flow features. However, numerical dissipation can be reduced by refining the grid or by using higher order kinetic schemes. In flows with strong shock waves, the higher order schemes require limiters, which reduce the local order of accuracy to first order, resulting in degradation of flow features in many cases. Further, these schemes require more points in the stencil and hence consume more computational time and memory. In this paper, we present a low dissipative modified KFVS (m-KFVS) method which leads to improved splitting of inviscid fluxes. The m-KFVS method captures the above flow features more accurately compared to first order KFVS and the results are comparable to second order accurate KFVS method, by still using the first order stencil. (C) 2011 Elsevier Ltd. All rights reserved.

Relevância:

80.00% 80.00%

Publicador:

Resumo:

A new beam element is developed to study the thermoelastic behavior of functionally graded beam structures. The element is based on the first-order shear deformation theory and it accounts for varying elastic and thermal properties along its thickness. The exact solution of static part of the governing differential equations is used to construct interpolating polynomials for the element formulation. Consequently, the stiffness matrix has super-convergent property and the element is free of shear locking. Both exponential and power-law variations of material property distribution are used to examine different stress variations. Static, free vibration and wave propagation problems are considered to highlight the behavioral difference of functionally graded material beam with pure metal or pure ceramic beams. (C) 2003 Elsevier Science Ltd. All rights reserved.

Relevância:

80.00% 80.00%

Publicador:

Resumo:

Previous work involving the squeeze-film flow of a model paste substance, a mixture of clay particles and mineral oil commonly known as ‘Plasticine’, has suggested that it behaves as a simple Herschel-Bulkley fluid which exhibits little strain history. However, tensile measurements, which are naturally limited to small strains by the onset of necking, indicate that this material shows strain hardening. A two roll-mill is employed here to investigate the influence of larger extensional strains. The data are analysed using an available first order engineering plasticity solution. The results confirm that this material exhibits both extensional strain and strain rate hardening. This observed strain hardening effect, which is not observed in the squeeze-film experiments, is attributed, in part, to the more homogeneous deformation fields induced during rolling and tensile extension.

Relevância:

80.00% 80.00%

Publicador:

Resumo:

The specified range of free chlorine residual (between minimum and maximum) in water distribution systems needs to be maintained to avoid deterioration of the microbial quality of water, control taste and/or odor problems, and hinder formation of carcino-genic disinfection by-products. Multiple water quality sources for providing chlorine input are needed to maintain the chlorine residuals within a specified range throughout the distribution system. The determination of source dosage (i.e., chlorine concentrations/chlorine mass rates) at water quality sources to satisfy the above objective under dynamic conditions is a complex process. A nonlinear optimization problem is formulated to determine the chlorine dosage at the water quality sources subjected to minimum and maximum constraints on chlorine concentrations at all monitoring nodes. A genetic algorithm (GA) approach in which decision variables (chlorine dosage) are coded as binary strings is used to solve this highly nonlinear optimization problem, with nonlinearities arising due to set-point sources and non-first-order reactions. Application of the model is illustrated using three sample water distribution systems, and it indicates that the GA,is a useful tool for evaluating optimal water quality source chlorine schedules.

Relevância:

80.00% 80.00%

Publicador:

Resumo:

A new technique named as model predictive spread acceleration guidance (MPSAG) is proposed in this paper. It combines nonlinear model predictive control and spread acceleration guidance philosophies. This technique is then used to design a nonlinear suboptimal guidance law for a constant speed missile against stationary target with impact angle constraint. MPSAG technique can be applied to a class of nonlinear problems, which leads to a closed form solution of the lateral acceleration (latax) history update. Guidance command assumed is the lateral acceleration (latax), applied normal to the velocity vector. The new guidance law is validated by considering the nonlinear kinematics with both lag-free as well as first order autopilot delay. The simulation results show that the proposed technique is quite promising to come up with a nonlinear guidance law that leads to both very small miss distance as well as the desired impact angle.

Relevância:

80.00% 80.00%

Publicador:

Resumo:

A new technique named as model predictive spread acceleration guidance (MPSAG) is proposed in this paper. It combines nonlinear model predictive control and spread acceleration guidance philosophies. This technique is then used to design a nonlinear suboptimal guidance law for a constant speed missile against stationary target with impact angle constraint. MPSAG technique can be applied to a class of nonlinear problems, which leads to a closed form solution of the lateral acceleration (latax) history update. Guidance command assumed is the lateral acceleration (latax), applied normal to the velocity vector. The new guidance law is validated by considering the nonlinear kinematics with both lag-free as well as first order autopilot delay. The simulation results show that the proposed technique is quite promising to come up with a nonlinear guidance law that leads to both very small miss distance as well as the desired impact angle.

Relevância:

80.00% 80.00%

Publicador:

Resumo:

This paper describes the design of a power efficient microarchitecture for transient fault detection in chip multiprocessors (CMPs) We introduce a new per-core dynamic voltage and frequency scaling (DVFS) algorithm for our architecture that significantly reduces power dissipation for redundant execution with a minimal performance overhead. Using cycle accurate simulation combined with a simple first order power model, we estimate that our architecture reduces dynamic power dissipation in the redundant core by an mean value of 79% and a maximum of 85% with an associated mean performance overhead of only 1:2%

Relevância:

80.00% 80.00%

Publicador:

Resumo:

We analyze e(+)e(-) -> gamma gamma, e(-)gamma -> e(-)gamma and gamma gamma -> e(+)e(-) processes within the Seiberg-Witten expanded noncommutative scenario using polarized beams. With unpolarized beams the leading order effects of non commutativity starts from second order in non commutative(NC) parameter i.e. O(Theta(2)), while with polarized beams these corrections appear at first order (O(Theta')) in cross section. The corrections in Compton case can probe the magnetic component(Theta(B)) while in Pair production and Pair annihilation probe the electric component((Theta) over right arrow (E)) of NC parameter. We include the effects of earth rotation in our analysis. This study is done by investigating the effects of non commutativity on different time averaged cross section observables. The results which also depends on the position of the collider, can provide clear and distinct signatures of the model testable at the International Linear Collider(ILC).

Relevância:

80.00% 80.00%

Publicador:

Resumo:

In this article, finite-time consensus algorithms for a swarm of self-propelling agents based on sliding mode control and graph algebraic theories are presented. Algorithms are developed for swarms that can be described by balanced graphs and that are comprised of agents with dynamics of the same order. Agents with first and higher order dynamics are considered. For consensus, the agents' inputs are chosen to enforce sliding mode on surfaces dependent on the graph Laplacian matrix. The algorithms allow for the tuning of the time taken by the swarm to reach a consensus as well as the consensus value. As an example, the case when a swarm of first-order agents is in cyclic pursuit is considered.

Relevância:

80.00% 80.00%

Publicador:

Resumo:

Using a recently developed method named as model predictive static programming (MPSP), a nonlinear suboptimal guidance law for a constant speed missile against a slow moving target with impact angle constraint is proposed. In this paper MPSP technique leads to a closed form solution of the latax history update for the given problem. Guidance command is the latax,which is normal to the missile velocity and the terminal constraints are miss distance and impact angle. The new guidance law is validated by considering the nonlinear kinematics with both lag-free and first order autopilot delay.

Relevância:

80.00% 80.00%

Publicador:

Resumo:

In this paper the use of probability theory in reliability based optimum design of reinforced gravity retaining wall is described. The formulation for computing system reliability index is presented. A parametric study is conducted using advanced first order second moment method (AFOSM) developed by Hasofer-Lind and Rackwitz-Fiessler (HL-RF) to asses the effect of uncertainties in design parameters on the probability of failure of reinforced gravity retaining wall. Totally 8 modes of failure are considered, viz overturning, sliding, eccentricity, bearing capacity failure, shear and moment failure in the toe slab and heel slab. The analysis is performed by treating back fill soil properties, foundation soil properties, geometric properties of wall, reinforcement properties and concrete properties as random variables. These results are used to investigate optimum wall proportions for different coefficients of variation of φ (5% and 10%) and targeting system reliability index (βt) in the range of 3 – 3.2.

Relevância:

80.00% 80.00%

Publicador:

Resumo:

Poly(acrylic acid-co-sodium acrylate-co-acrylamide) superabsorbent polymers (SAPs) cross-linked with ethylene glycol dimethacrylate (EGDMA) were synthesized by inverse suspension polymerization. The SAPs were swollen in DI water, and it was found that the equilibrium swelling capacities varied with the acrylamide content. The SAPs were subjected to reversible swelling/deswelling cycles in DI water and aqueous NaCl solution, respectively. The effect of the addition of an electrolyte on the swelling of the SAP was explored. The equilibrium swelling capacity of the SAPs was found to decrease with increasing concentration of added electrolyte in the swelling medium. The effect of the particle size of the dry SAPs on the swelling properties was also investigated. A first order model was used to describe the kinetics of swelling/deswelling, and the equilibrium swelling capacity, limiting swelling capacity, and swelling/deswelling rate coefficients were determined.