The paper presents a framework for evaluating the comparative use of system resources in message communication, building on the framework of Loca-tive Temporal Logic 12] by adding \costs" either to the underlying graph representing the communications network of the system in question, or to the mes-sages/actions of the system. This is intended to aid the speciication of distributed systems whic...

Liquid metals such as Bi and Pb and Pb–Bi eutectic alloy are serious contenders for use as coolant in LMFBRs in lieu of sodium due to a number of attractive characteristics (high density, low moderation, low neutron absorption and activation, high boiling point and poor interaction with water and air, etc.). Analysis of hypothetical accidents is of relevance to predict the catastrophe involving...

We will discuss a parametric study of the solution of the Wigner-Poisson equations for resonant tunneling diodes. These structures exhibit self-sustaining oscillations in certain operating regimes. We will describe the engineering consequences of our study and how it is a significant advance from some previous work, which used much coarser grids. We use LOCA and other packages in the Trilinos f...

We used bacterially expressed/~-galactosidase fusion proteins to localize the phospholipid binding domain of Acanthamoeba myosin IC to the region between amino acids 701 and 888 in the NH2-terminal half of the tail. Using a novel immobilized ligand lipid binding assay, we determined that myosin I can bind to several different acidic phospholipids, and that binding requires a minimum of 5 mol % ...

Studying the migration and diffusion of radionuclides plays an important role in emergency decision making accident mitigation floating nuclear power plants. Based on CALPUFF model, this paper simulates spatial distribution concentration airborne 131I under conditions sailing supply LOCA (Loss-of-Coolant Accident) plant, influence four meteorological parameters, namely wind speed, cloudiness, t...

El artículo gesta una reflexión crítica y situada sobre cómo ciertos críticos culturales ecuatorianos abordaron dos fenómenos: la publicación internacional de autoras ecuatorianas incorporación del análisis género en los estudios literarios. Para ello, me centro discusión canon literario (como valor, elenco textual pedagogía) las diversas formas que se articuló patriarcal a través notas prensa,...

In this paper, we numerically examine the stability of a standing cantilever conveying fluid in a multiparameter space. Based on nonlinear beam theory, our mathematical model turns out to be replete with exciting behavior, some of which was totally unexpected and novel, and some of which confirm our intuition as well as the work of others. The numerical bifurcation results obtained from applyin...

Nuclear fuel claddings can balloon and rupture at high temperatures under internal gas pressure in case of design basis accidents like loss-of-coolant-accident (LOCA). The thermal phenomena surrounding the ballooning cracking was investigated a series experiments performed using zirconium alloy cladding tubes Centre for Energy Research Hungary. were recorded high-speed infrared camera intermedi...