Piped water cooling of concrete dams

Piped water is used to remove hydration heat from concrete dams during construction. By examining simple models we obtain an estimate for the temperature rise along the pipe network and within the concrete. To leading order, for practically useful networks, the temperature distribution is quasi-steady, so that exact analytic solutions are obtained. The temperature in the water increases linearly with distance along the pipe and varies logarithmically with radial distance from the pipe in the concrete. Using these results we obtained estimates for the optimal spacing of pipes and pipe length. Some preliminary work on optimal network design has been done. This is work in progress

Excitation energy dependence of symmetry energy of finite nuclei

A finite range density and momentum dependent effective interaction is used to calculate the density and temperature dependence of the symmetry energy coefficient Csym(rho,T) of infinite nuclear matter. This symmetry energy is then used in the local density approximation to evaluate the excitation energy dependence of the symmetry energy coefficient of finite nuclei in a microcanonical formulation that accounts for thermal and expansion effects. The results are in good harmony with the recently reported experimental data from energetic nucleus-nucleus collisions.Comment: 11 pages, 3 figures, revtex4; minor changes in text, axis label in figure 1 correcte

Nuclear condensation and the equation of state of nuclear matter

The isothermal compression of a dilute nucleonic gas invoking cluster degrees of freedom is studied in an equilibrium statistical model; this clusterized system is found to be more stable than the pure nucleonic system. The equation of state (EoS) of this matter shows features qualitatively very similar to the one obtained from pure nucleonic gas. In the isothermal compression process, there is a sudden enhancement of clusterization at a transition density rendering features analogous to the gas-liquid phase transition in normal dilute nucleonic matter. Different observables like the caloric curves, heat capacity, isospin distillation, etc. are studied in both the models. Possible changes in the observables due to recently indicated medium modifications in the symmetry energy are also investigated.Comment: 18 pages and 11 figures. Phys. Rev. C (in press

N=1* vacua, Fuzzy Spheres and Integrable Systems

We calculate the exact eigenvalues of the adjoint scalar fields in the massive vacua of N=1* SUSY Yang-Mills with gauge group SU(N). This provides a field theory prediction for the distribution of D3 brane charge in the AdS dual. We verify the proposal of Polchinski and Strassler that the D3-brane's lie on a fuzzy sphere in the supergravity limit and determine the corrections to this distribution due to worldsheet and quantum effects. The calculation also provides several new results concerning the equilibrium configurations of the N-body Calogero-Moser Hamiltonian.Comment: 20 page

J0316+4328: a Probable "Asymmetric Double" Lens

We report a probable gravitational lens J0316+4328, one of 19 candidate asymmetric double lenses (2 images at a high flux density ratio) from CLASS. Observations with the Very Large Array (VLA), MERLIN and the Very Long Baseline Array (VLBA) imply that J0316+4328 is a lens with high confidence. It has 2 images separated by 0.40", with 6 GHz flux densities of 62 mJy and 3.2 mJy. The flux density ratio of ~19 (constant over the frequency range 6-22 GHz) is the largest for any 2 image gravitational lens. High resolution optical imaging and deeper VLBI maps should confirm the lensing interpretation and provide inputs to detailed lens models. The unique configuration will give strong constraints on the lens galaxy's mass profile.Comment: Accepted to MNRAS Letters. 5 pages, 6 figures, 3 table

LEMA: A tool for the formal verification of digitally-intensive analog/mixed-signal circuits

pre-printThe increasing integration of analog/mixed-signal (AMS) circuits into system designs has further complicated an already difficult verification problem. Recently, formal verification, which has been successful in the purely digital domain, has made some in-roads in the AMS domain. This paper describes one such formal verification tool for AMS circuits, LEMA. In particular, LEMA is capable of generating a formal model from simulation traces that, when coupled with a formal property provided in our new property language, can be model checked with one of three model checkers within LEMA. This paper briefly describes the capabilities of the LEMA AMS verification tool flow