Análisis de la reglamentación europea, promulgada a raíz de los accidentes nucleares, y la determinación de la emisión gamma en alimentos importados

Novel scientific and technological progress require to seek new sources of electricity. Such response is, inter alia, nuclear energy. Nuclear power stations currently produce around a third of the electricity and 14% of the energy consumed in the European Union. A thorough aspect in the use and development of nuclear energy as power source is safety. Nuclear facilities are designed so that the probability of an accident that may affect people and environment was very low. Reasonably, preventive emergency plans take place in the own nuclear facilities in order to mitigate and minimize the consequences, and otherwise another emergency nuclear plans take place outside facilities. Monitoring programs are also conducted in the nearby nuclear facilities, according to the Recommendation reached on 8th June 2000 by the European Commission on the application of Article 36 of the Euratom Treaty for the checking of the levels of radioactivity in the environment, in order to assess the exposure to the whole population. The main objectives of these plans are to check the presence and evolution of radioactive elements and the radiation levels in the environment; to determinate the causes of its increase, if succeed; to estimate the radiological risk to the population; to set corrected measures, if necessary; to ensure legal compliance on the premises and; to verify the suitability of effluent monitoring program to detect radionuclides leaks and transfer to the environment...

Egalitarian state-transition systems (extended version)

We argue that considering transitions at the same level as states, as first-class citizens, is advantageous in many cases. Namely, the use of atomic propositions on transitions, as well as on states, allows temporal formulas and strategies to be more powerful, general, and meaningful. We define egalitarian structures and logics, and show how they generalize well-known state-based, event-based, and mixed ones. We present translations from egalitarian to non-egalitarian settings that, in particular, allow the model checking of LTLR formulas using Maude’s LTL model checker. We have implemented these translations as a prototype in Maude itself.

Statistical Anomalies of Bitflips in SRAMs to Discriminate SBUs from MCUs

Recently, the occurrence of multiple events in static tests has been investigated by checking the statistical distribution of the difference between the addresses of the words containing bitflips. That method has been successfully applied to Field Programmable Gate Arrays (FPGAs) and the original authors indicate that it is also valid for SRAMs. This paper presents a modified methodology that is based on checking the XORed addresses with bitflips, rather than on the difference. Irradiation tests on CMOS 130 & 90 nm SRAMs with 14-MeV neutrons have been performed to validate this methodology. Results in high-altitude environments are also presented and cross-checked with theoretical predictions. In addition, this methodology has also been used to detect modifications in the organization of said memories. Theoretical predictions have been validated with actual data provided by the manufacturer.

Asymptotic Theory for Extended Asymmetric Multivariate GARCH Processes

The paper considers various extended asymmetric multivariate conditional volatility models, and derives appropriate regularity conditions and associated asymptotic theory. This enables checking of internal consistency and allows valid statistical inferences to be drawn based on empirical estimation. For this purpose, we use an underlying vector random coefficient autoregressive process, for which we show the equivalent representation for the asymmetric multivariate conditional volatility model, to derive asymptotic theory for the quasi-maximum likelihood estimator. As an extension, we develop a new multivariate asymmetric long memory volatility model, and discuss the associated asymptotic properties.