A denotational semantics for the generalized ER model and a simple ER algebra

The recent spurt of research activities in Entity-Relationship Approach to databases calls for a close scrutiny of the semantics of the underlying Entity-Relationship models, data manipulation languages, data definition languages, etc. For reasons well known, it is very desirable and sometimes imperative to give formal description of the semantics. In this paper, we consider a specific ER model, the generalized Entity-Relationship model (without attributes on relationships) and give denotational semantics for the model as well as a simple ER algebra based on the model. Our formalism is based on the Vienna Development Method—the meta language (VDM). We also discuss the salient features of the given semantics in detail and suggest directions for further work.

On The Ground State Properties Of The +/-J Ising Model

In the combinatorial method or Grassmann algebra formalism the ground state properties of the f J Ising model can be expressed in terms of the behaviour of the eigenvectors of a matrix. It is shown that a transition from localized to extended eigenvectors signals the breakdown of ferromagnetic rigidity.

Effect of Storage Temperatures on the Mechanical Properties of the Composite Solid Propellants

Accelerated ageing studies for three composite propellant formulations, namely polystyrene (PS)/ ammonium perchlorate (AP), polymethylmethacrylate (PMMA)/AP and poly phenol formaldehyde (PPF)/AP have been carried out in the temperature range of 55-125°C. Measurements of the ultimate compression strength (Uc) and isothermal decomposition rate (TD rate) were monitored as a function of storage time and temperature. The change in Uc was found to be linearly dependent on the change in TD rate irrespective of the propellant systems. Analysis of the results further revealed that the cause of ageing for both Uc and burning rate (r) is the thermal decomposition of the propellant. The safe-life for the change in mechanical properties was found to be higher compared to the change in r for PS and PMMA based propellants.

Exploring glueball wave functions on the lattice

We calculate the string tension and 0++ and 2++ glueball masses in pure gauge QCD using an improved lattice action. We compare various smearing methods, and find that the best glueball signal is obtained using smeared Wilson loops of a size of about 0.5 fm. Our results for mass ratios m0++/√σ=3.5(3) and m2++/m0++=1.6(2) are consistent with those computed with the simple plaquette action.

Path-integral derivation of the superconformal anomaly for the Wess-Zumino model

Fujikawa's method of evaluating the anomalies is extended to the on-shell supersymmetric (SUSY) theories. The supercurrent and the superconformal current anomalies are evaluated for the Wess-Zumino model using the background-field formulation and heat-kernel regularization. We find that the regularized Jacobians for SUSY and superconformal transformations are finite. The results can be expressed in a form such that there is no supercurrent anomaly but a finite nonzero superconformal anomaly, in agreement with similar results obtained using other methods.

Aperiodic Variability in the Cane-Zebiak Model: A Diagnostic Study

The finite predictability of the coupled ocean-atmosphere system is determined by its aperiodic variability. To gain insight regarding the predictability of such a system, a series of diagnostic studies has been carried out to investigate the role of convergence feedback in producing the aperiodic behavior of the standard version of the Cane-Zebiak model. In this model, an increase in sea surface temperature (SST) increases atmospheric heating by enhancing local evaporation (SST anomaly feedback) and low-level convergence (convergence feedback). The convergence feedback is a nonlinear function of the background mean convergence field. For the set of standard parameters used in the model, it is shown that the convergence feedback contributes importantly to the aperiodic behaviour of the model. As the strength of the convergence feedback is increased from zero to its standard value, the model variability goes from a periodic regime to an aperiodic regime through a broadening of the frequency spectrum around the basic periodicity of about 4 years. Examination of the forcing associated with the convergence feedback reveals that it is intermittent, with relatively large amplitude only during 2 or 3 months in the early part of the calendar year. This seasonality in the efficiency of the convergence feedback is related to the strong seasonality of the mean convergence over the eastern Pacific. It is shown that if the mean convergence field is fixed at its March value, aperiodic behavior is produced even in the absence of annual cycles in the other mean fields. On the, other hand, if the mean convergence field is fixed at its September value, the coupled model evolution remains close to periodic, even in the presence of the annual cycle in the other fields. The role of convergence feedback on the aperiodic variability of the model for other parameter regimes is also examined. It is shown that a range exists in the strength of the SST anomaly feedback for which the model variability is aperiodic even without the convergence feedback. It appears that in the absence of convergence feedback, enhancement of the strength of the air-sea coupling in the model through other physical processes also results in aperiodicity in the model.

Dense granular flow down an inclined plane A comparison between the hard particle model and soft particle simulations

The granular flow down an inclined plane is simulated using the discrete element (DE) technique to examine the extent to which the dynamics of an unconfined dense granular flow can be well described by a hard particle model First, we examine the average coordination number for the particles in the flow down an inclined plane using the DE technique using the linear contact model with and without friction, and the Hertzian contact model with friction The simulations show that the average coordination number decreases below 1 for values of the spring stiffness corresponding to real materials, such as sand and glass, even when the angle of inclination is only 10 larger than the angle of repose Additional measures of correlations in the system, such as the fraction of particles with multibody contact, the force ratio (average ratio of the magnitudes of the largest and the second largest force on a particle), and the angle between the two largest forces on the particle, show no evidence of force chains or other correlated motions in the system An analysis of the bond-orientational order parameter indicates that the flow is in the random state, as in event-driven (ED) simulations V Kumaran, J Fluid Mech 632, 107 (2009), J Fluid Mech 632, 145 (2009)] The results of the two simulation techniques for the Bagnold coefficients (ratio of stress and square of the strain rate) and the granular temperature (mean square of the fluctuating velocity) are compared with the theory V Kumaran, J Fluid Mech 632, 107 (2009), J Fluid Mech 632, 145 (2009)] and are found to be in quantitative agreement In addition, we also conduct a comparison of the collision frequency and the distribution of the precollisional relative velocities of particles in contact The strong correlation effects exhibited by these two quantities in event-driven simulations V Kumaran, J Fluid Mech 632, 145 (2009)] are also found in the DE simulations (C) 2010 American Institute of Physics doi 10 1063/1 3504660]

Non-Fermi liquid behavior in a mean-field study of the t-J model: Role of zero-point spin fluctuations

We present analytic results to show that the Schwinger-boson hole-fermion mean-field state exhibits non-Fermi liquid behavior due to spin-charge separation. The physical electron Green's function consists of three additive components. (a) A Fermi-liquid component associated with the bose condensate. (b) A non-Fermi liquid component which has a logarithmic peak and a long tail that gives rise to a linear density of states that is symmetric about the Fermi level and a momentum distribution function with a logarithmic discontinuity at the Fermi surface. (c) A second non-Fermi liquid component associated with the thermal bosons which leads to a constant density of states. It is shown that zero-point fluctuations associated with the spin-degrees of freedom are responsible for the logarithmic instabilities and the restoration of particle-hole symmetry close to the Fermi surface.

Nonequilibrium-phase transition and 'specific-heat' singularity in the kinetic Ising model: A Monte Carlo study

The nonequilibrium-phase transition has been studied by Monte Carlo simulation in a ferromagnetically interacting (nearest-neighbour) kinetic Ising model in presence of a sinusoidally oscillating magnetic field. The ('specific-heat') temperature derivative of energies (averaged over a full cycle of the oscillating field) diverge near the dynamic transition point.

Nonequilibrium phase transition in the kinetic Ising model: Critical slowing down and the specific-heat singularity

The nonequilibrium dynamic phase transition, in the kinetic Ising model in the presence of an oscillating magnetic field has been studied both by Monte Carlo simulation and by solving numerically the mean-field dynamic equation of motion for the average magnetization. In both cases, the Debye ''relaxation'' behavior of the dynamic order parameter has been observed and the ''relaxation time'' is found to diverge near the dynamic transition point. The Debye relaxation of the dynamic order parameter and the power law divergence of the relaxation time have been obtained from a very approximate solution of the mean-field dynamic equation. The temperature variation of appropriately defined ''specific heat'' is studied by the Monte Carlo simulation near the transition point. The specific heat has been observed to diverge near the dynamic transition point.

Nonequilibrium phase transition in the kinetic Ising model: Divergences of fluctuations and responses near the transition point

The nonequilibrium dynamic phase transition in the kinetic Ising model in the presence of an oscillating magnetic field is studied by Monte Carlo simulation. The fluctuation of the dynamic older parameter is studied as a function of temperature near the dynamic transition point. The temperature variation of appropriately defined ''susceptibility'' is also studied near the dynamic transition point. Similarly, the fluctuation of energy and appropriately defined ''specific heat'' is studied as a function of temperature near the dynamic transition point. In both cases, the fluctuations (of dynamic order parameter and energy) and the corresponding responses diverge (in power law fashion) near the dynamic transition point with similar critical behavior (with identical exponent values).

The influence of temperature gradient and lowering speed on the melt-solid interface shape of GaxIn1-xSb alloy crystals grown by vertical Bridgman technique

Radially homogeneous bulk alloys of GaxIn1-xSb in the range 0.7 < x < 0.8, have been grown by vertical Bridgman technique. The factors affecting the interface shape during the growth were optimised to achieve zero convexity. From a series of experiments, a critical ratio of the temperature gradient (G) of the furnace at the melting point of the melt composition to the ampoule lowering speed (v) was deduced for attaining the planarity of the melt-solid interface. The studies carried out on directional solidification of Ga0.77In0.23Sb mixed crystals employing planar melt-solid interface exhibited superior quality than those with nonplanar interfaces. The solutions to certain problems encountered during the synthesis and growth of the compound were discussed. (C) 1999 Elsevier Science B.V. All rights reserved.

The origin of degeneracies and crossings in the 1d Hubbard model

The paper is devoted to the connection between integrability of a finite quantum system and degeneracies of its energy levels. In particular, we analyse in detail the energy spectra of finite Hubbard chains. Heilmann and Lieb demonstrated that in these systems there are crossings of levels of the same parameter-independent symmetry. We show that this apparent violation of the Wigner-von Neumann noncrossing rule follows directly from the existence of nontrivial conservation laws and is a characteristic signature of quantum integrability. The energy spectra of Hubbard chains display many instances of permanent (at all values of the coupling) twofold degeneracies that cannot be explained by parameter-independent symmetries. We relate these degeneracies to the different transformation properties of the conserved currents under spatial reflections and the particle-hole transformation and estimate the fraction of doubly degenerate states. We also discuss multiply degenerate eigenstates of the Hubbard Hamiltonian. The wavefunctions of many of these states do not depend on the coupling, which suggests the existence of an additional parameter-independent symmetry.

Particle dynamics in a turbulent particle–gas suspension at high Stokes number. Part 2. The fluctuating-force model

A fluctuating-force model is developed for representing the effect of the turbulent fluid velocity fluctuations on the particle phase in a turbulent gas–solid suspension in the limit of high Stokes number, where the particle relaxation time is large compared with the correlation time for the fluid velocity fluctuations. In the model, a fluctuating force is incorporated in the equation of motion for the particles, and the force distribution is assumed to be an anisotropic Gaussian white noise. It is shown that this is equivalent to incorporating a diffusion term in the Boltzmann equation for the particle velocity distribution functions. The variance of the force distribution, or equivalently the diffusion coefficient in the Boltzmann equation, is related to the time correlation functions for the fluid velocity fluctuations. The fluctuating-force model is applied to the specific case of a Couette flow of a turbulent particle–gas suspension, for which both the fluid and particle velocity distributions were evaluated using direct numerical simulations by Goswami & Kumaran (2010). It is found that the fluctuating-force simulation is able to quantitatively predict the concentration, mean velocity profiles and the mean square velocities, both at relatively low volume fractions, where the viscous relaxation time is small compared with the time between collisions, and at higher volume fractions, where the time between collisions is small compared with the viscous relaxation time. The simulations are also able to predict the velocity distributions in the centre of the Couette, even in cases in which the velocity distribution is very different from a Gaussian distribution.

On the Decidability of Model-Checking Information Flow Properties

Current standard security practices do not provide substantial assurance about information flow security: the end-to-end behavior of a computing system. Noninterference is the basic semantical condition used to account for information flow security. In the literature, there are many definitions of noninterference: Non-inference, Separability and so on. Mantel presented a framework of Basic Security Predicates (BSPs) for characterizing the definitions of noninterference in the literature. Model-checking these BSPs for finite state systems was shown to be decidable in [8]. In this paper, we show that verifying these BSPs for the more expressive system model of pushdown systems is undecidable. We also give an example of a simple security property which is undecidable even for finite-state systems: the property is a weak form of non-inference called WNI, which is not expressible in Mantel’s BSP framework.