Variable Elimination in Linear Constraints

Gauss and Fourier have together provided us with the essential techniques for symbolic computation with linear arithmetic constraints over the reals and the rationals. These variable elimination techniques for linear constraints have particular significance in the context of constraint logic programming languages that have been developed in recent years. Variable elimination in linear equations (Guassian Elimination) is a fundamental technique in computational linear algebra and is therefore quite familiar to most of us. Elimination in linear inequalities (Fourier Elimination), on the other hand, is intimately related to polyhedral theory and aspects of linear programming that are not quite as familiar. In addition, the high complexity of elimination in inequalities has forces the consideration of intricate specializations of Fourier's original method. The intent of this survey article is to acquaint the reader with these connections and developments. The latter part of the article dwells on the thesis that variable elimination in linear constraints over the reals extends quite naturally to constraints in certain discrete domains.

Gradient solid electrolytes for thermodynamic measurements: System Na2CO3-Na2SO4

The thermodynamic properties of Na2CO3-Na2SO4 solid solution with hexagonal structure have been measured in the temperature range of 873 to 1073 K, using a composite-gradient solid electrolyte. The cell used can be represented as The composite-gradient solid electrolyte consisted of pure Na2CO3 at one extremity and the solid solution under study at the other, with variation in composition across the electrolyte. A CO2 + O2 + Ar gas mixture was used to fix the chemical potential of sodium at each electrode. The Nernstian response of the cell to changes in partial pressures of CO2 and O2 at the electrodes has been demonstrated. The activity of Na2CO3 in the solid solution was measured by two techniques. In the first method, the electromotive force (emf) of the cell was measured with the same CO2 + O2 + Ar mixture at both electrodes. The resultant emf is directly related to the activity of Na2CO3 at the solid solution electrode. By the second approach, the activity was calculated from the difference in compositions Of CO2 + O2 + Ar mixtures at the two electrodes required to produce a null emf. Both methods gave identical results. The second method is more suitable for gradient solid electrolytes that exhibit significant electronic conduction. The activity of Na2CO3 exhibits positive deviation from Raoult's law. The excess Gibbs' energy of mixing of the solid solution can be represented using a subregular solution model such as the following: DELTAG(E) = X(1 - X)[6500(+/-200)X + 3320(+/-80)(1 - X)J mol-1 where X is the mole fraction of Na2CO3. By combining this information with the phase diagram, mixing properties of the liquid phase are obtained.

Positional Consensus of Multi-Agent Systems Using Linear Programming Based Decentralized Control with Rectilinear Decision Domain

In this paper we develop a Linear Programming (LP) based decentralized algorithm for a group of multiple autonomous agents to achieve positional consensus. Each agent is capable of exchanging information about its position and orientation with other agents within their sensing region. The method is computationally feasible and easy to implement. Analytical results are presented. The effectiveness of the approach is illustrated with simulation results.

Microscopic Mechanism of 1/f Noise in Graphene: Role of Energy Band Dispersion

A distinctive feature of single-layer graphene is the linearly dispersive energy bands, which in the case of multilayer graphene become parabolic. A simple electrical transport-based probe to differentiate between these two band structures will be immensely valuable, particularly when quantum Hall measurements are difficult, such as in chemically synthesized graphene nanoribbons. Here we show that the flicker noise, or the 1/f noise, in electrical resistance is a sensitive and robust probe to the band structure of graphene. At low temperatures, the dependence of noise magnitude on the carrier density was found to be opposite for the linear and parabolic bands. We explain our data with a comprehensive theoretical model that clarifies several puzzling issues concerning the microscopic origin of flicker noise in graphene field-effect transistors (GraFET).

Linear electro‐optic dispersion in (‐)‐2‐(α‐methylbenzylamino)‐5‐nitropyridine single crystals

The variation of the linear electro-optic effect in (-)-2-(alpha-methylbenzylamino)-5-nitropyridine with the wavelength of the incident light at room temperature has been measured. The reduced half-wave voltages have been found to have the values 2.1, 2.8, and 6.0 kV at 488, 514.5, and 632.8 nm respectively and the corresponding values of the linear electro-optic coefficient have been evaluated.;The interpretation of the results in terms of the structures of the molecule and the crystal is discussed. The thermal variation of the birefringence has also been investigated and the coefficient for the temperature variation of the refractive index difference is found to have the value (d Delta n/dT)=9.3X10(-5) K-1.

Non-Linear effects of membrane fluctuations in the dilute lamellar phase

The static structure factor of the dilute sterically stabilised lamellar phase is calculated and found to have an Ornstein-Zernike form with a correlation length that diverges at infinite dilution. The relaxation time for concentration fluctuations at large wave number q is shown to go as q-3 with a coefficient independent of the membrane bending rigidity. The membrane fluctuations also give rise to strongly frequency-dependent viscosities at high frequencies.

Practical constant-accuracy linear weir

This paper is concerned with the modifications of the Extended Bellmouth Weir (EBM weir) earlier designed by Keshava Murthy. It is shown that by providing inclined sides (equivalent to providing an inward-trapezoidal weir) over a sector of a circle of radius R, separated by a distance 2t, and depth d, the measurable range of EBM can be considerably enhanced (over 375%). Simultaneously, the other parameters of the weir are optimized such that the reference plane of the weir coincides with its crest making it a constant-accuracy linear weir. Discharge through the aforementioned weir is proportional to the depths of flow measured above the crest of the weir for all heads in the range of 0.5R less-than-or-equal-to h less-than-or-equal-to 7.9R, within a maximum deviation of +/-1% from the theoretical discharge. Experiments with two typical weirs show excellent agreement with the theory by giving a constant-average coefficient of discharge of 0.619

Linear optical properties of BaNaB9O15, BaLiB9O15 and SrLiB9O15 glasses

Transparent BaNaB9O15 (BNBO), BaLiB9O15 (BLBO) and SrLiB9O15 (SLBO) glasses were fabricated via the conventional melt-quenching technique. X-ray diffraction (XRD) and Differential thermal analysis (DTA) studies carried out on the as-quenched glasses confirmed their amorphous and glassy nature, respectively. The optical properties for these as-quenched glasses were investigated. The refractive index, optical band gap. Urbach energy and Fermi energy were determined. The average electronic polarizability calculated from the refractive index expression. (C) 2011 Elsevier B.V. All rights reserved.

Soft-chemical synthesis of new non-linear optical materials, K0.5M0.5Ti0.5OPO4(M = Nb, Ta),related to KTiOPO4

Soft-chemical oxidation of KTiOPO4-like KM(0.5)(V)Ti(0.5)(III)OPO(4) (M = Nb, Ta) using chlorine in CHCl3 is accompanied by partial deintercalation of potassium, yielding K(0.5)MV(0.5)Ti(0.5)(IV)OPO(4) compounds which are new non-linear optical materials that exhibit efficient second-harmonic generation of 1064 nm radiation, as does KTiOPO4.

Linear and nonlinear optical properties of cumulenes and polyenynes: a model exact study

Model exact static and frequency-dependent polarizabilities, static second hyperpolarizabilities and THG coefficents of cumulenes and polyenynes, calculated within the correlated Pariser-Parr-Pople (PPP) model defined over the pi-framework are reported and compared with the results for the polyenes. It is found that for the same chain length, the polarizabilities and THG coefficients of the cumulenes are largest and those of the polyenynes smallest with the polyenes having an intermediate value. The optical gap of the infinite cumulene is lowest (0.75 eV) and is associated with a low transition dipole moment for an excitation involving transfer of an electron between the two orthogonal conjugated pi-systems. The polyenynes have the largest optical gap (4.37 eV), with the magnitude being nearly independent of the chain length. This excitation involves charge transfer between the conjugated bonds in the terminal triple bond. Chain length and frequency dependence of alpha(ij) and gamma(ijkl) of these systems are also reported. The effect of a heteroatom on the polarizability and THG coefficients of acetylenic systems is also reported. It has been found that the presence of the heteroatom reduces the polarizability and THG coefficients of these systems, an effect opposite to that found in the polyenes and cyanine dyes. This result has been associated with the different nature of the charge transfer in the acetylenic systems.

Field evaluation of unsaturated hydraulic conductivity models and parameter estimation from retention data

Predictions of two popular closed-form models for unsaturated hydraulic conductivity (K) are compared with in situ measurements made in a sandy loam field soil. Whereas the Van Genuchten model estimates were very close to field measured values, the Brooks-Corey model predictions were higher by about one order of magnitude in the wetter range. Estimation of parameters of the Van Genuchten soil moisture characteristic (SMC) equation, however, involves the use of non-linear regression techniques. The Brooks-Corey SMC equation has the advantage of being amenable to application of linear regression techniques for estimation of its parameters from retention data. A conversion technique, whereby known Brooks-Corey model parameters may be converted into Van Genuchten model parameters, is formulated. The proposed conversion algorithm may be used to obtain the parameters of the preferred Van Genuchten model from in situ retention data, without the use of non-linear regression techniques.

Linear electro-optic effect and temperature coefficient of birefringence in 4-nitro-4script-methylbenzylidene aniline single crystals

A study of the linear electro?optic effect in single crystals of the organic compound, 4?nitro�4??methylbenzylidene aniline is reported. The reduced half?wave voltages have been found to have values 2.8, 1.3, and 1.1 kV at 632.8, 514.5, and 488.0 nm, respectively and the corresponding values of the largest linear electro?optic coefficient have been calculated. The thermal variation of the birefringence has also been investigated and the temperature variation of the refractive index difference is found to have the value, d?n/dT = 15.8 × 10?5 K?1.

Linear dynamics and active control of an elastically supported travelling string

In this paper, the linear dynamics and active control of a string travelling with uniform velocity is presented. Discrete elastic supports are introduced along the length of the string. Finite element formulation is adopted to obtain the governing equations of motion. The velocity of translation introduces gyroscopic terms in the system equations. The effect of translation and the discrete elastic supports on the free vibration solution is studied. The solution is utilized in actively controlling the string vibrations due to an initial disturbance. The control, affected in modal space, is optimal with respect to a quadratic performance index. Numerical results are presented to demonstrate the effectiveness of the control strategy in regulating the travelling string vibrations.

Molecular interpretation of the linear relationship between the entropy and the enthalpy of activation of charge transfer reactions in polar liquids

The well-known linear relationship (T?S# =??H# +?, where 1 >? > 0,? > 0) between the entropy (?S#) and the enthalpy (?H#) of activation for reactions in polar liquids is investigated by using a molecular theory. An explicit derivation of this linear relation from first principles is presented for an outersphere charge transfer reaction. The derivation offers microscopic interpretation for the quantities? and?. It has also been possible to make connection with and justify the arguments of Bell put forward many years ago.

High pressure electrical measurements on Ge-Te-Se glasses

Electrical resistivity measurements have been carried out on bulk Ge-Te-Se glasses in a Bridgman anvil System. The resistivity of the Ge-Te-Se samples is found to decrease continuously with increasing pressure, with the metallization occurring around 8 GPa. Ge20TexSe80-x glasses (10 less than or equal to x less than or equal to 50) with the mean co-ordination number Z(av) = 2.4 exhibit a plateau in resistivity up to about 4 GPa pressure, followed by a continuous decrease to metallic values. On the other hand, Ge10TexSe90-x glasses (10 less than or equal to x less than or equal to 40) having Z(av) = 2.2, exhibit a smaller plateau (only up to 1 GPa), followed by a decrease in resistivity with pressure. This subtle difference in the high pressure resistivity of Ge-Te-Se glasses with Z(av) < 2.4 and Z(av) greater than or equal to 2.4 can be associated with the changes in the local structure of the chalcogenide glasses with composition.