A generalized definition of dosimetric quantities

The current definitions of microdosimetric and dosimetric quantities use the notion of 'ionizing radiation'. However, this notion is not rigorously defined, and its definition would require the somewhat arbitrary choice of specified energy cut-off values for different types of particles. Instead of choosing fixed cut-off values one can extend the system of definitions by admitting the free selection of a category of types and energies of particles that are taken to be part of the field. In this way one extends the system of dosimetric quantities. Kerma and absorbed dose appear then as special cases of a more general dosimetric quantity, and an analogue to kerma can be obtained for charged particle fields; it is termed cema. A modification that is suitable for electron fields is termed reduced cema

Tasking Framework: Parallelization of Computations in Onboard Control Systems

For the next generation of onboard computer in space application a high demand on processing power exists. Currently used onboard system didn't provide the necessary computing power. The in the paper describe tasking frame work is the core processing model for the OBC-NG (On Board Computer - Next Generation) operating system with an reactive computing model

Source Code Verification for Embedded Systems using Prolog

System relevant embedded software needs to be reliable and, therefore, well tested, especially for aerospace systems. A common technique to verify programs is the analysis of their abstract syntax tree (AST). Tree structures can be elegantly analyzed with the logic programming language Prolog. Moreover, Prolog offers further advantages for a thorough analysis: On the one hand, it natively provides versatile options to efficiently process tree or graph data structures. On the other hand, Prolog's non-determinism and backtracking eases tests of different variations of the program flow without big effort. A rule-based approach with Prolog allows to characterize the verification goals in a concise and declarative way. In this paper, we describe our approach to verify the source code of a flash file system with the help of Prolog. The flash file system is written in C++ and has been developed particularly for the use in satellites. We transform a given abstract syntax tree of C++ source code into Prolog facts and derive the call graph and the execution sequence (tree), which then are further tested against verification goals. The different program flow branching due to control structures is derived by backtracking as subtrees of the full execution sequence. Finally, these subtrees are verified in Prolog. We illustrate our approach with a case study, where we search for incorrect applications of semaphores in embedded software using the real-time operating system RODOS. We rely on computation tree logic (CTL) and have designed an embedded domain specific language (DSL) in Prolog to express the verification goals.Comment: In Proceedings WLP'15/'16/WFLP'16, arXiv:1701.0014

Using graphical models and multi-attribute utility theory for probabilistic uncertainty handling in large systems, with application to nuclear emergency management

Although many decision-making problems involve uncertainty, uncertainty handling within large decision support systems (DSSs) is challenging. One domain where uncertainty handling is critical is emergency response management, in particular nuclear emergency response, where decision making takes place in an uncertain, dynamically changing environment. Assimilation and analysis of data can help to reduce these uncertainties, but it is critical to do this in an efficient and defensible way. After briefly introducing the structure of a typical DSS for nuclear emergencies, the paper sets up a theoretical structure that enables a formal Bayesian decision analysis to be performed for environments like this within a DSS architecture. In such probabilistic DSSs many input conditional probability distributions are provided by different sets of experts overseeing different aspects of the emergency. These probabilities are then used by the decision maker (DM) to find her optimal decision. We demonstrate in this paper that unless due care is taken in such a composite framework, coherence and rationality may be compromised in a sense made explicit below. The technology we describe here builds a framework around which Bayesian data updating can be performed in a modular way, ensuring both coherence and efficiency, and provides sufficient unambiguous information to enable the DM to discover her expected utility maximizing policy

Validity of particle size analysis techniques for measurement of the attrition that occurs during vacuum agitated powder drying of needle-shaped particles

Analysis of needle-shaped particles of cellobiose octaacetate (COA) obtained from vacuum agitated drying experiments was performed using three particle size analysis techniques: laser diffraction (LD), focused beam reflectance measurements (FBRM) and dynamic image analysis. Comparative measurements were also made for various size fractions of granular particles of microcrystalline cellulose. The study demonstrated that the light scattering particle size methods (LD and FBRM) can be used qualitatively to study the attrition that occurs during drying of needle-shaped particles, however, for full quantitative analysis, image analysis is required. The algorithm used in analysis of LD data assumes the scattering particles are spherical regardless of the actual shape of the particles under evaluation. FBRM measures a chord length distribution (CLD) rather than the particle size distribution (PSD), which in the case of needles is weighted towards the needle width rather than their length. Dynamic image analysis allowed evaluation of the particles based on attributes of the needles such as length (e.g. the maximum Feret diameter) or width (e.g. the minimum Feret diameter) and as such, was the most informative of the techniques for the analysis of attrition that occurred during drying

El sistema JRODOS: una herramienta moderna y eficaz para la gestión y preparación de emergencias nucleares y radiológicas y la rehabilitación. Implementación en España.

En los últimos años se ha producido un significativo avance en el área de la gestión de las emergencias nucleares y radiológicas y la rehabilitación. Proyectos de alcance europeo como EURANOS han contribuido a mejorar los procesos de gobernanza participativa iniciados durante los anteriores Programas Marco Europeos y el desarrollo de técnicas y metodologías en todos los niveles operativos en materia nuclear y radiológica. El sistema de ayuda a la decisión (SAD) RODOS es uno de los productos desarrollados durante este periodo y que ha ido siendo mejorado hasta convertirse en un sistema de uso operacional ampliamente difundido y asumido en todo el ámbito europeo y que empieza a extenderse también a otras zonas del mundo. En España, ha sido implementado y adaptado a las características nacionales en el contexto del Proyecto ISIDRO, patrocinado por el CSN, con la participación del CIEMAT y la UPM. El objetivo de este trabajo es dar a conocer la última versión de este sistema, denominado JRODOS, centrándose en su adaptación al entorno nacional y su aplicación como herramienta operacional en la gestión y preparación de las emergencias y la rehabilitación de zonas contaminadas

Senjata tradisional daerah Bengkulu

Buku ini berisi tentang penejelasan serta ilustrasi senjata-senjata tradisional dari daerah Bengkulu