scholarly journals Using Aspects for Platform-Independent to Platform-Dependent Model Transformations

Author(s):  
Mohammad Alhaj ◽  
Dorina Petriu
Author(s):  
Justinas Janulevicius ◽  
Simona Ramanauskaite ◽  
Nikolaj Goranin ◽  
Antanas Cenys

Model-Driven Engineering uses models in various stages of the software engineering. To reduce the cost of modelling and production, models are reused by transforming. Therefore the accuracy of model transformations plays a key role in ensuring the quality of the process. However, problems exist when trying to transform a very abstract and content dependent model. This paper describes the issues arising from such transformations. Solutions to solve problems in content based model transformation are proposed as well. The usage of proposed solutions allowing realization of semi-automatic transformations was integrated into a tool, designed for OPC/XML drawing file transformations to CySeMoL models. The accuracy of transformations in this tool has been analyzed and presented in this paper to acquire data on the proposed solutions influence to the accuracy in content based model transformation.


2018 ◽  
Author(s):  
Oscar A. Douglas-Gallardo ◽  
Cristián Gabriel Sánchez ◽  
Esteban Vöhringer-Martinez

<div> <div> <div> <p>Nowadays, the search of efficient methods able to reduce the high atmospheric carbon dioxide concentration has turned into a very dynamic research area. Several environmental problems have been closely associated with the high atmospheric level of this greenhouse gas. Here, a novel system based on the use of surface-functionalized silicon quantum dots (sf -SiQDs) is theoretically proposed as a versatile device to bind carbon dioxide. Within this approach, carbon dioxide trapping is modulated by a photoinduced charge redistribution between the capping molecule and the silicon quantum dots (SiQDs). Chemical and electronic properties of the proposed SiQDs have been studied with Density Functional Theory (DFT) and Density Functional Tight-Binding (DFTB) approach along with a Time-Dependent model based on the DFTB (TD-DFTB) framework. To the best of our knowledge, this is the first report that proposes and explores the potential application of a versatile and friendly device based on the use of sf -SiQDs for photochemically activated carbon dioxide fixation. </p> </div> </div> </div>


Author(s):  
Karen Jones

This chapter addresses the question, “What is the role and authority of conscious deliberation and judgment in human rational agency?” Anti-rationalists claim that the rationalist account of its role and authority is mistaken: conscious deliberation and judgment plays a relatively small part in our practical lives, can be used in the service of rationalizing bullshit, and is not the only or necessarily the most reliable path of access to our reasons. Against the anti-rationalist, the chapter argues that their critique rests on an analogy between the authority of judgment and the authority of an expert, when the rationalist models judgment’s authority on that of a judge. Against the traditional rationalist, the chapter argues the judge model fails. The chapter explores a third model—the monitor model—which, like rationalism, gives our reflective capacities a significant regulatory role, but accommodates the anti-rationalist emphasis on emotion and fast non-deliberative action.


2021 ◽  
Vol 12 (1) ◽  
Author(s):  
Hayley I. Muendlein ◽  
Wilson M. Connolly ◽  
Zoie Magri ◽  
Irina Smirnova ◽  
Vladimir Ilyukha ◽  
...  

AbstractInflammation and cell death are closely linked arms of the host immune response to infection, which when carefully balanced ensure host survival. One example of this balance is the tightly regulated transition from TNFR1-associated pro-inflammatory complex I to pro-death complex II. By contrast, here we show that a TRIF-dependent complex containing FADD, RIPK1 and caspase-8 (that we have termed the TRIFosome) mediates cell death in response to Yersinia pseudotuberculosis and LPS. Furthermore, we show that constitutive binding between ZBP1 and RIPK1 is essential for the initiation of TRIFosome interactions, caspase-8-mediated cell death and inflammasome activation, thus positioning ZBP1 as an effector of cell death in the context of bacterial blockade of pro-inflammatory signaling. Additionally, our findings offer an alternative to the TNFR1-dependent model of complex II assembly, by demonstrating pro-death complex formation reliant on TRIF signaling.


Sensors ◽  
2021 ◽  
Vol 21 (13) ◽  
pp. 4566
Author(s):  
Dominik Prochniewicz ◽  
Kinga Wezka ◽  
Joanna Kozuchowska

The stochastic model, together with the functional model, form the mathematical model of observation that enables the estimation of the unknown parameters. In Global Navigation Satellite Systems (GNSS), the stochastic model is an especially important element as it affects not only the accuracy of the positioning model solution, but also the reliability of the carrier-phase ambiguity resolution (AR). In this paper, we study in detail the stochastic modeling problem for Multi-GNSS positioning models, for which the standard approach used so far was to adopt stochastic parameters from the Global Positioning System (GPS). The aim of this work is to develop an individual, empirical stochastic model for each signal and each satellite block for GPS, GLONASS, Galileo and BeiDou systems. The realistic stochastic model is created in the form of a fully populated variance-covariance (VC) matrix that takes into account, in addition to the Carrier-to-Noise density Ratio (C/N0)-dependent variance function, also the cross- and time-correlations between the observations. The weekly measurements from a zero-length and very short baseline are utilized to derive stochastic parameters. The impact on the AR and solution accuracy is analyzed for different positioning scenarios using the modified Kalman Filter. Comparing the positioning results obtained for the created model with respect to the results for the standard elevation-dependent model allows to conclude that the individual empirical stochastic model increases the accuracy of positioning solution and the efficiency of AR. The optimal solution is achieved for four-system Multi-GNSS solution using fully populated empirical model individual for satellite blocks, which provides a 2% increase in the effectiveness of the AR (up to 100%), an increase in the number of solutions with errors below 5 mm by 37% and a reduction in the maximum error by 6 mm compared to the Multi-GNSS solution using the elevation-dependent model with neglected measurements correlations.


Author(s):  
Jing Hou ◽  
Pengli Lei ◽  
Shiwei Liu ◽  
Xianhua Chen ◽  
Jian Wang ◽  
...  

AbstractQuantitative prediction of the smoothing of mid-spatial frequency errors (MSFE) is urgently needed to realize process guidance for computer controlled optical surfacing (CCOS) rather than a qualitative analysis of the processing results. Consequently, a predictable time-dependent model combining process parameters and an error decreasing factor (EDF) were presented in this paper. The basic smoothing theory, solution method and modification of this model were expounded separately and verified by experiments. The experimental results show that the theoretical predicted curve agrees well with the actual smoothing effect. The smoothing evolution model provides certain theoretical support and guidance for the quantitative prediction and parameter selection of the smoothing of MSFE.


Sign in / Sign up

Export Citation Format

Share Document