Potential isomorphism of elementary substructures of a strictly stable homogeneous model

"Vegeu el resum a l'inici del document del fitxer adjunt"

Dedekind-finite structures

EThOS - Electronic Theses Online ServiceGBUnited Kingdo

Potential isomorphism of elementary substructures of a strictly stable homogeneous model

"Vegeu el resum a l'inici del document del fitxer adjunt.

Evolving Statistical Methodologies for Safeguards

Statistical methodologies for safeguards were developed at an early stage of safeguards’ history and are rooted in the criteria-driven, facility-based approach which has long underpinned the International Atomic Energy Agency’s (IAEA) conclusions. While their principles and approaches remain generally valid in the framework of a State-level evaluation, their scope, previously restricted to material balance areas (MBA) within facilities, needs to be expanded to include the analysis of nuclear material flows, inventories and balances for a whole State, taking into account the increasing use of random inspection schemes in State-level approaches (SLA) and the implications for the statistical analysis of data collected according to these patterns. In addition to this undertaking, which poses a number of methodological challenges, new approaches are needed to address increasingly large and diversified data flows, to optimize the distribution of limited statistical analysis resources, to align them with the State-level technical objectives (TO) identified through the acquisition path analysis (APA) performed by the State evaluation groups (SEGs) and to develop probabilistic methods for the quantification of their targeted and achieved attainment. In addition, statistical evaluation results of State declared and verification data need to be consolidated and compared to information from other sources. Last but not least, considerable progress was made in the field of information technology (IT) and statistical methodologies since they were first applied to safeguards several decades ago. The current migration of the IAEA safeguards IT platform under the Modernization of Safeguards Information technology (MOSAIC) project has provided a unique opportunity to adapt and evolve methodologies and to integrate them into new software tools. This paper reviews the efforts undertaken in recent years by the Nuclear Fuel Cycle Information Analysis Section within the Safeguards Department Division of Information Management to review, upgrade, consolidate, and evolve safeguards statistical methodologies and describes the progress accomplished to date

ESARDA Bulletin n.57

ESARDA is an association initially formed to advance and harmonize research and development for nuclear safeguards whose scope has in recent year expanded as the number and type of its working groups’ activities below indicates. Esarda is currently composed of about 30 laboratories, private and governmental institutions worldwide. Within Esarda (http://esarda.jrc.ec.europa.eu/), a number working groups have been over the years established and active namely: Techniques and Standards for Destructive Analysis, Techniques and Standards for Non-Destructive Analysis, Containment and Surveillance, Novel Approaches / Novel Technologies, Implementation of Safeguards, Verification Technologies and Methodologies, Training and Knowledge Management, Editorial Committee. ESARDA publishes a Bulletin containing scientific and technical articles related to safeguards and verification (and beyond) as well as news and reports related to the ESARDA activities. This publication appears generally twice a year. In addition, thematic special issues are published as proposed by the ESARDA community. The Bulletin Editorial Board is composed of about 10 experts in the various technical and scientific fields related to safeguards. They are all actively engaged in safeguards R&D or in safeguards implementation and other fields. The Editorial Board decides the contents of the Bulletin, selects the papers to be published and reviews them before publication. All ESARDA editorial activities are carried out at JRC in Ispra. Scientific and technical papers submitted for publication in the peer reviewed section are reviewed by independent authors and by members of the Editorial Committee. The bulletin is currently submitted to Thomson Reuters for evaluation in view of citation. ESARDA Bulletin is published jointly by ESARDA and the Joint Research Centre of the European Commission and distributed free of charge to over 1100 registered members, libraries and institutions worldwide. The bulletin will predominantly contain peer review papers which have been either directly submitted to the journal by the scientific community or selected by the editorial committee and chair sessions of Esarda symposia and or Workshops. The bulletin may also contain reports on the activities of various Esarda working groups, tribune, news etc. where appropriate.JRC.G.II.7-Nuclear securit