A Comparison of different Uncertainty Activation Cross-Section Data Libraries and collapsed values for different neutron spectra: ADS, FISSION and FUSION

PART I:Cross-section uncertainties under differentneutron spectra. PART II: Processing uncertainty libraries

Analysis of Different Uncertainty Activation Cross Section Data Libraries for LWR, ads and demo Neutron Spectra

This work is aimed to present the main differences of nuclear data uncertainties among three different nuclear data libraries: EAF-2007, EAF-2010 and SCALE-6.0, under different neutron spectra: LWR, ADS and DEMO (fusion)

Experimentel ADS-B based surveillance

This paper describes an ADS-B implementation in air-to-air and ground based experimental surveillance within a prototype ATM system. The relations between airborne and ground systems related to surveillance are detailed, and the prototype surveillance systems and their algorithms described. Their performance is analysed, based both on simulated and real data.

Application of gas-cooled Accelerator Driven System (ADS) transmutation devices to sustainable nuclear energy development

The conceptual design of a pebble bed gas-cooled transmutation device is shown with the aim to evaluate its potential for its deployment in the context of the sustainable nuclear energy development, which considers high temperature reactors for their operation in cogeneration mode, producing electricity, heat and Hydrogen. As differential characteristics our device operates in subcritical mode, driven by a neutron source activated by an accelerator that adds clear safety advantages and fuel flexibility opening the possibility to reduce the nuclear stockpile producing energy from actual LWR irradiated fuel with an efficiency of 45?46%, either in the form of Hydrogen, electricity, or both.

Analysis of different uncertainty activation cross section data libraries for LWR, ADS and DEMO neutron spectra

This work is aimed to present the main differences of nuclear data uncertainties among three different nuclear data libraries: EAF-2007, EAF-2010 and SCALE-6.0, under different neutron spectra: LWR, ADS and DEMO (fusion). To take into account the neutron spectrum, the uncertainty data are collapsed to onegroup. That is a simple way to see the differences among libraries for one application. Also, the neutron spectrum effect on different applications can be observed. These comparisons are presented only for (n,fission), (n,gamma) and (n,p) reactions, for the main transuranic isotopes (234,235,236,238U, 237Np, 238,239,240,241Pu, 241,242m,243Am, 242,243,244,245,246,247,248Cm, 249Bk, 249,250,251,252Cf). But also general comparisons among libraries are presented taking into account all included isotopes. In other works, target accuracies are presented for nuclear data uncertainties; here, these targets are compared with uncertainties on the above libraries. The main results of these comparisons are that EAF-2010 has reduced their uncertainties for many isotopes from EAF-2007 for (n,gamma) and (n,fission) but not for (n,p); SCALE-6.0 gives lower uncertainties for (n,fission) reactions for ADS and PWR applications, but gives higher uncertainties for (n,p) reactions in all applications. For the (n,gamma) reaction, the amount of isotopes which have higher uncertainties is quite similar to the amount of isotopes which have lower uncertainties when SCALE-6.0 and EAF-2010 are compared. When the effect of neutron spectra is analysed, the ADS neutron spectrum obtained the highest uncertainties for (n,gamma) and (n,fission) reactions of all libraries.

Determinación del Campo de Vientos a partir de mensajes ADS‐B

El futuro proyecto SESAR (Europa)/NextGen program (USA) establece la necesidad de tener un control 4D (x,y,z,t) del espacio aéreo, por lo tanto es de vital importancia para tal fin el conocimiento a tiempo real de la velocidad del viento. Se pretenderá a causa de dichas necesidades, el cálculo de la estimación de las componentes del vector velocidad dentro de un dominio Ω (por ejemplo: área terminal de Madrid, cuya extensión esta caracterizada por unos 60000km2), para dicho desarrollo se hará uso de los valores puntuales del vector velocidad del viento conocidos a través de los mensajes ADS‐B transmitidos por las aeronaves circundantes.

Monte Carlo uncertainty propagation approaches in ADS burn-up calculations

In activation calculations, there are several approaches to quantify uncertainties: deterministic by means of sensitivity analysis, and stochastic by means of Monte Carlo. Here, two different Monte Carlo approaches for nuclear data uncertainty are presented: the first one is the Total Monte Carlo (TMC). The second one is by means of a Monte Carlo sampling of the covariance information included in the nuclear data libraries to propagate these uncertainties throughout the activation calculations. This last approach is what we named Covariance Uncertainty Propagation, CUP. This work presents both approaches and their differences. Also, they are compared by means of an activation calculation, where the cross-section uncertainties of 239Pu and 241Pu are propagated in an ADS activation calculation.

A syntactic and functional correspondence between reduction semantics and reduction-free full normalisers

Olivier Danvy and others have shown the syntactic correspondence between reduction semantics (a small-step semantics) and abstract machines, as well as the functional correspondence between reduction-free normalisers (a big-step semantics) and abstract machines. The correspondences are established by program transformation (so-called interderivation) techniques. A reduction semantics and a reduction-free normaliser are interderivable when the abstract machine obtained from them is the same. However, the correspondences fail when the underlying reduction strategy is hybrid, i.e., relies on another sub-strategy. Hybridisation is an essential structural property of full-reducing and complete strategies. Hybridisation is unproblematic in the functional correspondence. But in the syntactic correspondence the refocusing and inlining-of-iterate-function steps become context sensitive, preventing the refunctionalisation of the abstract machine. We show how to solve the problem and showcase the interderivation of normalisers for normal order, the standard, full-reducing and complete strategy of the pure lambda calculus. Our solution makes it possible to interderive, rather than contrive, full-reducing abstract machines. As expected, the machine we obtain is a variant of Pierre Crégut s full Krivine machine KN.