Calculations were performed to quantify the damage parameters in the leading candidate structural and plasma facing materials when used in magnetic and inertial confinement fusion systems and when irradiated in fission reactors. The structural materials considered are ferritic steel, austenitic steel, vanadium alloy and SiC/SiC composite. Plasma facing materials included beryllium, tungsten, an...

In this paper we consider three descriptions, at different abstract levels, of the leader election protocol from the IEEE 1394 serial multimedia bus. The descriptions are given using the language Maude based on rewriting logic. Particularly, the time aspects of the protocol are studied. The descriptions are first validated by an exhaustive exploration of all the possible behaviors and states re...

Furthermore, by using [2, p. 230, (1)] a computable representation for the G-function in (1) (and hence also for F,112(s)) may be given in terms of essentially a linear combination of four hypergeometric functions OF3[b2s2 /16] provided that no two of the parameters {1, 1 1+v-P1v-P) differ by an integer. This result for Fv-112(s) is given (correctly) in [3, p. 353, (9)] so that the proposed int...