An RDF based approach for integrating data at different levels of abstraction

2020 ◽  
Author(s):  
Jones de Oliveira Avelino ◽  
Kelli de Faria Cordeiro ◽  
Maria Cláudia Cavalcanti
Keyword(s):  
Levels Of Abstraction ◽  
Different Levels

scholarly journals Model-Driven Architectural Framework towards Safe and Secure Nuclear Power Reactors

Sensors ◽  
2021 ◽  
Vol 21 (15) ◽  
pp. 5136
Author(s):  
Bassem Ouni ◽  
Christophe Aussagues ◽  
Saadia Dhouib ◽  
Chokri Mraidha
Keyword(s):  
Nuclear Power ◽  
Nuclear Reactors ◽  
System Development ◽  
Levels Of Abstraction ◽  
Model Driven ◽  
Case System ◽  
Architectural Framework ◽  
Performance Check ◽  
High Level ◽  
Different Levels

Sensor-based digital systems for Instrumentation and Control (I&C) of nuclear reactors are quite complex in terms of architecture and functionalities. A high-level framework is highly required to pre-evaluate the system’s performance, check the consistency between different levels of abstraction and address the concerns of various stakeholders. In this work, we integrate the development process of I&C systems and the involvement of stakeholders within a model-driven methodology. The proposed approach introduces a new architectural framework that defines various concepts, allowing system implementations and encompassing different development phases, all actors, and system concerns. In addition, we define a new I&C Modeling Language (ICML) and a set of methodological rules needed to build different architectural framework views. To illustrate this methodology, we extend the specific use of an open-source system engineering tool, named Eclipse Papyrus, to carry out many automation and verification steps at different levels of abstraction. The architectural framework modeling capabilities will be validated using a realistic use case system for the protection of nuclear reactors. The proposed framework is able to reduce the overall system development cost by improving links between different specification tasks and providing a high abstraction level of system components.

Moral und Hypermoral

2016 ◽  
Author(s):  
Arnold Gehlen
Keyword(s):  
Behavioral Science ◽  
Philosophical Anthropology ◽  
The State ◽  
Sociological Research ◽  
Levels Of Abstraction ◽  
The Enlightenment ◽  
Broad Scope ◽  
Magnum Opus ◽  
Different Levels ◽  
Evolutionary Interpretation

Moral and Hypermoral, Arnold Gehlen´s final book-length publication, is an elaboration on basic theses which had initially been brought forward in Gehlen´s anthropological magnum opus "Der Mensch". In this respect, this draft of a "pluralistic ethics" is conceived as an elaboration on as well as a concretion of his doctrine of man. In this book, Gehlen set himself the task of combining anthropology, behavioral science, and sociology in a “genealogy of morality”, thus exposing four interdependent forms of ethics: from an ethos of "reciprocity" via “eudaimonism” and “humanitarianism” to an ethos of institutions, including the state. Gehlen made a decisive stand against the "abstract ethics of the Enlightenment": systematically, his book is primarily an anthropological justification of ethics, conceived as a "majority of moral authorities" and "social regulations." These are not subjected to an evolutionary interpretation, that is, as progress from an ethics of proximity to a world-encompassing morality. Moralities, whether based on instinct or arising from the needs of particular institutions, are always culturally shaped and set on different levels of abstraction. With its broad scope, the book belongs in the context of basic philosophical-sociological research known as philosophical anthropology.

scholarly journals The Parietal Cortex in Sensemaking: The Dissociation of Multiple Types of Spatial Information

2013 ◽  
Vol 2013 ◽  
pp. 1-14 ◽  
Author(s):  
Yanlong Sun ◽  
Hongbin Wang
Keyword(s):  
Parietal Cortex ◽  
Spatial Information ◽  
Mathematical Thinking ◽  
Hierarchical Organization ◽  
Levels Of Abstraction ◽  
Perceptual Analysis ◽  
Different Types ◽  
Sensemaking Process ◽  
Network Simulations ◽  
Different Levels

According to the data-frame theory, sensemaking is a macrocognitive process in which people try to make sense of or explain their observations by processing a number of explanatory structures called frames until the observations and frames become congruent. During the sensemaking process, the parietal cortex has been implicated in various cognitive tasks for the functions related to spatial and temporal information processing, mathematical thinking, and spatial attention. In particular, the parietal cortex plays important roles by extracting multiple representations of magnitudes at the early stages of perceptual analysis. By a series of neural network simulations, we demonstrate that the dissociation of different types of spatial information can start early with a rather similar structure (i.e., sensitivity on a common metric), but accurate representations require specific goal-directed top-down controls due to the interference in selective attention. Our results suggest that the roles of the parietal cortex rely on the hierarchical organization of multiple spatial representations and their interactions. The dissociation and interference between different types of spatial information are essentially the result of the competition at different levels of abstraction.

A Comparison of Mothers' Individual and Simultaneous Book Sharing With Preschool Siblings

2002 ◽  
Vol 11 (2) ◽  
pp. 175-189 ◽  
Author(s):  
Anne van Kleeck ◽  
Amy Beckley-McCall
Keyword(s):  
Mixed Strategy ◽  
Developmental Differences ◽  
Older Children ◽  
Levels Of Abstraction ◽  
Linguistic Complexity ◽  
Reading Condition ◽  
Book Sharing ◽  
Simultaneous Reading ◽  
Fine Tune ◽  
Different Levels

Many studies have demonstrated that adults fine tune book-sharing discussions to the developmental levels of preschoolers, but little is known regarding how reading simultaneously to different-aged preschoolers is negotiated. We observed five mothers of different-aged preschoolers sharing books with each child individually and with both children together. Analyses focused on the linguistic complexity of the book, the amount of time spent sharing a book, and on several aspects of the mothers' book-sharing mediation. Results revealed developmental differences on several measures of how mothers mediated with younger as compared to older children individually. Book complexity, the time spent sharing books, and the percent of utterances at higher levels of abstraction were higher when reading to the older children; the number of mediation strategies per minute and the percent of mothers' behaviors that were used to get and maintain attention were higher when reading to the younger children. When reading to both children simultaneously, which aspects of the mediation fell at these different levels varied among the different mothers. This suggests that different mothers reach different solutions to the task of simultaneously reading to preschoolers of different ages. One mother approached the simultaneous book sharing much as she did sharing a book with her older child, one mother approached it as she did with her younger child, one mother simply read and did little mediation, and two mothers appeared to use a mixed strategy in the simultaneous reading condition.

scholarly journals Priming and substrate quality interactions in soil organic matter models

2013 ◽  
Vol 10 (3) ◽  
pp. 2089-2103 ◽  
Author(s):  
T. Wutzler ◽  
M. Reichstein
Keyword(s):  
Organic Matter ◽  
Soil Organic Matter ◽  
Balance Model ◽  
Levels Of Abstraction ◽  
Substrate Quality ◽  
Substrate Limitation ◽  
Energy Limitation ◽  
Bare Fallow ◽  
Different Levels

Abstract. Interactions between different qualities of soil organic matter (SOM) affecting their turnover are rarely represented in models. In this study, we propose three mathematical strategies at different levels of abstraction to represent those interactions. By implementing these strategies into the Introductory Carbon Balance Model (ICBM) and applying them to several scenarios of litter input, we show that the different levels of abstraction are applicable at different timescales. We present a simple one-parameter equation of substrate limitation that can straightforwardly be implemented into other models of SOM dynamics at decadal timescale. The study demonstrates how substrate quality interactions can explain patterns of priming effects, accelerate turnover in FACE experiments, and the slowdown of decomposition in long-term bare fallow experiments as an effect of energy limitation of microbial biomass. The mechanisms of those interactions need to be further scrutinized empirically for a more complete understanding. Overall, substrate quality interactions contribute to both understanding and quantitatively modelling SOM dynamics.

scholarly journals Cryptographic Protocol Verification via Supercompilation (A Case Study)

10.29007/gpsh ◽  
2018 ◽  
Author(s):  
Abdulbasit Ahmed ◽  
Alexei Lisitsa ◽  
Andrei Nemytykh
Keyword(s):  
Program Transformation ◽  
Cache Coherence ◽  
Protocol Verification ◽  
Cryptographic Protocol ◽  
Levels Of Abstraction ◽  
Transformation Techniques ◽  
Program Specialization ◽  
Coherence Protocols ◽  
Different Levels

It has been known for a while that program transformation techniques, in particular, program specialization, can be used to prove the properties of programs automatically. For example, if a program actually implements (in a given context of use) a constant function, sufficiently powerful and semantics preserving program transformation may reduce the program to a syntactically trivial ``constant'' program, pruning unreachable branches and proving thereby the property. Viability of such an approach to verification has been demonstrated in previous works where it was applied to the verification of parameterized cache coherence protocols and Petri Nets models.In this paper we further extend the method and present a case study on its appication to the verification of a cryptographic protocol. The protocol is modeled by functional programs at different levels of abstraction and verification via program specialization is done by using Turchin's supercompilation method.

Following Gesture Following: Grounding the Documentation of a Multi-Agent Music Creation Process

2012 ◽  
Vol 36 (4) ◽  
pp. 59-80 ◽  
Author(s):  
Guillaume Boutard ◽  
Catherine Guastavino
Keyword(s):  
Conceptual Framework ◽  
Creative Process ◽  
Relevant Information ◽  
Musical Work ◽  
Levels Of Abstraction ◽  
Musical Works ◽  
Multi Agent ◽  
Ethnographic Data ◽  
Different Levels ◽  
Do So

The documentation of electroacoustic and mixed musical works typically relies on a posteriori data collection. In this article, we argue that the preservation of musical works having technological components should be grounded in a thorough documentation of the creative process that accounts for both human and nonhuman agents of creation. The present research aims at providing a ground for documentation policies that account for the creative process and provide relevant information for performance, migration, and analysis. To do so, we analyzed secondary ethnographic data from a two-year creation and production process of a musical work having a focus on gesture following. Using grounded theory, we developed a conceptual framework with different levels of abstraction and consequent levels of transferability to other creative contexts. Finally, we propose several paths for grounding a subsequent documentation framework in this conceptual framework.

The global-to-basic level shift in infants’ categorical thinking: First evidence from a longitudinal study

2002 ◽  
Vol 26 (6) ◽  
pp. 492-499 ◽  
Author(s):  
Sabina Pauen
Keyword(s):  
Longitudinal Study ◽  
Level Shift ◽  
Global Level ◽  
Levels Of Abstraction ◽  
Specific Sequence ◽  
Test Items ◽  
Category Formation ◽  
Basic Level ◽  
Different Levels ◽  
Preverbal Children

This paper investigates whether preverbal children form categories at different levels of abstraction in any specific sequence. In a longitudinal study, 20 infants were each tested twice, at 8 and 12 months of age. Half of the children solved a global-level task (animals-furniture), followed by a basic-level task (either dogs-birds, or chairs-tables) during each session. The other half received the basic-level task only. During familiarisation, all infants freely explored a series of four different exemplars from the same category presented one at a time. Infants saw all objects twice, for a total of eight trials. During the test phase, a new exemplar from the familiar category was presented, followed by a different-category exemplar. At 8 months of age, children discriminated between categories in the global-level task, but failed to do so in the basic-level task. At 12 months of age, infants recognised a category change in the basic-level task, but treated both test items as equally new in the global-level task. These findings support the hypothesis that infants younger than 1 year of age show a global-to-basic-level shift in category formation.

Sign in / Sign up

Export Citation Format

Share Document