Recovery from DoS Attacks in MIPv6: Modelling and Validation

Denial-of-service (DoS) attacks form a very important category of security threats that are prevalent in MIPv6 (mobile internet protocol version 6) today. Many schemes have been proposed to alleviate such threats, including one of our own [9]. However, reasoning about the correctness of such protocols is not trivial. In addition, new solutions to mitigate attacks may need to be deployed in the network on a frequent basis as and when attacks are detected, as it is practically impossible to anticipate all attacks and provide solutions in advance. This makes it necessary to validate the solutions in a timely manner before deployment in the real network. However, threshold schemes needed in group protocols make analysis complex. Model checking threshold-based group protocols that employ cryptography have not been successful so far. Here, we propose a new simulation based approach for validation using a tool called FRAMOGR that supports executable specification of group protocols that use cryptography. FRAMOGR allows one to specify attackers and track probability distributions of values or paths. We believe that infrastructure such as FRAMOGR would be required in future for validating new group based threshold protocols that may be needed for making MIPv6 more robust.

Climate forcing and response to idealized changes in surface latent and sensible heat

Land use and land cover changes affect the partitioning of latent and sensible heat, which impacts the broader climate system. Increased latent heat flux to the atmosphere has a local cooling influence known as `evaporative cooling', but this energy will be released back to the atmosphere wherever the water condenses. However, the extent to which local evaporative cooling provides a global cooling influence has not been well characterized. Here, we perform a highly idealized set of climate model simulations aimed at understanding the effects that changes in the balance between surface sensible and latent heating have on the global climate system. We find that globally adding a uniform 1 W m(-2) source of latent heat flux along with a uniform 1 W m(-2) sink of sensible heat leads to a decrease in global mean surface air temperature of 0.54 +/- 0.04 K. This occurs largely as a consequence of planetary albedo increases associated with an increase in low elevation cloudiness caused by increased evaporation. Thus, our model results indicate that, on average, when latent heating replaces sensible heating, global, and not merely local, surface temperatures decrease.

Effective thermal conductivity of a heat generating rod bundle dissipating heat by natural convection and radiation

A numerical study of conjugate natural convection and surface radiation in a horizontal hexagonal sheath housing 19 solid heat generating rods with cladding and argon as the fill gas, is performed. The natural convection in the sheath is driven by the volumetric heat generation in the solid rods. The problem is solved using the FLUENT CFD code. A correlation is obtained to predict the maximum temperature in the rod bundle for different pitch-to-diameter ratios and heat generating rates. The effective thermal conductivity is related to the heat generation rate, maximum temperature and the sheath temperature. Results are presented for the dimensionless maximum temperature, Rayleigh number and the contribution of radiation with changing emissivity, total wattage and the pitch-to-diameter ratio. In the simulation of a larger system that contains a rod bundle, the effective thermal conductivity facilitates simplified modelling of the rod bundle by treating it as a solid of effective thermal conductivity. The parametric studies revealed that the contribution of radiation can be 38-65% of the total heat generation, for the parameter ranges chosen. Data for critical Rayleigh number above which natural convection comes into effect is also presented. (C) 2011 Elsevier B.V. All rights reserved.

Discrimination of Nuclear Grade Steel Samples Subjected to Different Heat Treatment Procedures Based on Acoustic Emission (AE) Data Profiling at Crack Initiation

The present work is an attempt to study crack initiation in nuclear grade, 9Cr-1Mo ferritic steel using AE as an online NDE tool. Laboratory experiments were conducted on 5 heat treated Compact Tension (CT) specimens made out of nuclear grade 9Cr-1Mo ferritic steel by subjecting them to cyclic tensile load. The CT Specimens were of 12.5 mm thickness. The Acoustic emission test system was setup to acquire the data continuously during the test by mounting AE sensor on one of the surfaces of the specimen. This was done to characterize AE data pertaining to crack initiation and then discriminate the samples in terms of their heat treatment processes based on AE data. The AE signatures at crack initiation could conclusively bring to fore the heat treatment distinction on a sample to sample basis in a qualitative sense.Thus, the results obtained through these investigations establish a step forward in utilizing AE technique as an on-line measurement tool for accurate detection and understanding of crack initiation and its profile in 9Cr-1Mo nuclear grade steel subjected to different processes of heat treatment.

Ultrasound-modulated optical tomography: recovery of amplitude of vibration in the insonified region from boundary measurement of light correlation

We address a certain inverse problem in ultrasound-modulated optical tomography: the recovery of the amplitude of vibration of scatterers [p(r)] in the ultrasound focal volume in a diffusive object from boundary measurement of the modulation depth (M) of the amplitude autocorrelation of light [phi(r, tau)] traversing through it. Since M is dependent on the stiffness of the material, this is the precursor to elasticity imaging. The propagation of phi(r, tau) is described by a diffusion equation from which we have derived a nonlinear perturbation equation connecting p(r) and refractive index modulation [Delta n(r)] in the region of interest to M measured on the boundary. The nonlinear perturbation equation and its approximate linear counterpart are solved for the recovery of p(r). The numerical results reveal regions of different stiffness, proving that the present method recovers p(r) with reasonable quantitative accuracy and spatial resolution. (C) 2011 Optical Society of America

Heat of Mixing and Activities in Liquid Al-Sn Alloys

The microscopic electron theory based on the pseudopotential formalism has been applied to the calculation of the heats of mixing and of activities in liquid Al·Sn alloys. The calculated values for both quantities were found to be in reasonable agreement with ,the experimental data.

Ferromagnetic transition and specific heat of Pr(0.6)Sr(0.4)MnO(3)

The critical properties of orthorhombic Pr(0.6)Sr(0.4)MnO(3) single crystals were investigated by a series of static magnetization measurements along the three different crystallographic axes as well as by specific heat measurements. A careful range-of-fitting-analysis of the magnetization and susceptibility data obtained from the modified Arrott plots shows that Pr(0.6)Sr(0.4)MnO(3) has a very narrow critical regime. Nevertheless, the system belongs to the three-dimensional (3D) Heisenberg universality class with short-range exchange. The critical exponents obey Widom scaling and are in excellent agreement with the single scaling equation of state M(H,epsilon) = vertical bar epsilon vertical bar(beta) f(+/-)(H/vertical bar epsilon vertical bar((beta+gamma)); with f(+) for T > T(c) and f(-) for T < T(c). A detailed analysis of the specific heat that account for all relevant contributions allows us to extract and analyze the contribution related to the magnetic phase transition. The specific heat indicates the presence of a linear electronic term at low temperatures and a prominent contribution from crystal field excitations of Pr. A comparison with data from literature for PrMnO(3) shows that a Pr-Mn magnetic exchange is responsible for a sizable shift in the lowest lying excitation.

Bayesian framework and message passing for joint support and signal recovery of approximately sparse signals

In this paper, we develop a low-complexity message passing algorithm for joint support and signal recovery of approximately sparse signals. The problem of recovery of strictly sparse signals from noisy measurements can be viewed as a problem of recovery of approximately sparse signals from noiseless measurements, making the approach applicable to strictly sparse signal recovery from noisy measurements. The support recovery embedded in the approach makes it suitable for recovery of signals with same sparsity profiles, as in the problem of multiple measurement vectors (MMV). Simulation results show that the proposed algorithm, termed as JSSR-MP (joint support and signal recovery via message passing) algorithm, achieves performance comparable to that of sparse Bayesian learning (M-SBL) algorithm in the literature, at one order less complexity compared to the M-SBL algorithm.