Sato-Crutchfield formulation for some Evolutionary Games

The Sato-Crutchfield equations are studied analytically and numerically. The Sato-Crutchfield formulation is corresponding to losing memory. Then Sato-Crutchfield formulation is applied for some different types of games including hawk-dove, prisoner's dilemma and the battle of the sexes games. The Sato-Crutchfield formulation is found not to affect the evolutionarily stable strategy of the ordinary games. But choosing a strategy becomes purely random independent on the previous experiences, initial conditions, and the rules of the game itself. Sato-Crutchfield formulation for the prisoner's dilemma game can be considered as a theoretical explanation for the existence of cooperation in a population of defectors.Comment: 9 pages, 3 figures, accepted for Int. J. Mod. Phys.

Step-Indexed Logical Relations for Probability (long version)

It is well-known that constructing models of higher-order probabilistic programming languages is challenging. We show how to construct step-indexed logical relations for a probabilistic extension of a higher-order programming language with impredicative polymorphism and recursive types. We show that the resulting logical relation is sound and complete with respect to the contextual preorder and, moreover, that it is convenient for reasoning about concrete program equivalences. Finally, we extend the language with dynamically allocated first-order references and show how to extend the logical relation to this language. We show that the resulting relation remains useful for reasoning about examples involving both state and probabilistic choice.Comment: Extended version with appendix of a FoSSaCS'15 pape

Landau theory of compressible magnets near a quantum critical point

Landau theory is used to investigate the behaviour of a metallic magnet driven towards a quantum critical point by the application of pressure. The observed dependence of the transition temperature with pressure is used to show that the coupling of the magnetic order to the lattice diverges as the quantum critical point is approached. This means that a first order transition will occur in magnets (both ferromagnets and antiferromagnets) because of the coupling to the lattice. The Landau equations are solved numerically without further approximations. There are other mechanisms that can cause a first order transition so the significance of this work is that it will enable us to determine the extent to which any particular first order transition is driven by coupling to the lattice or if other causes are responsible.Comment: 12 pages including 5 figures, to be presented at MMM-Intermag conference and accepted for publication in Journal of Applied Physic

Characteristics of inhomogeneous jets in confined swirling air flows

An experimental program to study the characteristics of inhomogeneous jets in confined swirling flows to obtain detailed and accurate data for the evaluation and improvement of turbulent transport modeling for combustor flows is discussed. The work was also motivated by the need to investigate and quantify the influence of confinement and swirl on the characteristics of inhomogeneous jets. The flow facility was constructed in a simple way which allows easy interchange of different swirlers and the freedom to vary the jet Reynolds number. The velocity measurements were taken with a one color, one component DISA Model 55L laser-Doppler anemometer employing the forward scatter mode. Standard statistical methods are used to evaluate the various moments of the signals to give the flow characteristics. The present work was directed at the understanding of the velocity field. Therefore, only velocity and turbulence data of the axial and circumferential components are reported for inhomogeneous jets in confined swirling air flows

A method for predicting IGBT junction temperature under transient condition

In this paper, a method to predict junction temperature of the solid-state switch under transient condition is presented. The method is based on the thermal model of the switch and instantaneous measurement of the energy loss in the device. The method for deriving thermal model parameters from the manufacturers data sheet is derived and verified. A simulation work has been carried out on a single IGBT under different conditions using MATLAB/SIMULINK. The results show that the proposed method is effective to predict the junction temperature of the solid-state device during transient conditions and is applicable to other devices such as diodes and thyristors

Behavior of turbulent gas jets in an axisymmetric confinement

The understanding of the mixing of confined turbulent jets of different densities with air is of great importance to many industrial applications, such as gas turbine and Ramjet combustors. Although there have been numerous studies on the characteristics of free gas jets, little is known of the behavior of gas jets in a confinement. The jet, with a diameter of 8.73 mm, is aligned concentrically in a tube of 125 mm diameter, thus giving a confinement ratio of approximately 205. The arrangement forms part of the test section of an open-jet wind tunnel. Experiments are carried out with carbon dioxide, air and helium/air jets at different jet velocities. Mean velocity and turbulence measurements are made with a one-color, one-component laser Doppler velocimeter operating in the forward scatter mode. Measurements show that the jets are highly dissipative. Consequently, equilibrium jet characteristics similar to those found in free air jets are observed in the first two diameters downstream of the jet. These results are independent of the fluid densities and velocities. Decay of the jet, on the other hand, is a function of both the jet fluid density and momentum. In all the cases studied, the jet is found to be completely dissipated in approximately 30 jet diameters, thus giving rise to a uniform flow with a very high but constant turbulence field across the confinement