Search results for "Modeling"
showing 10 items of 4489 documents
A family of experiments to generate graphical user interfaces from BPMN models with stereotypes
2021
Abstract Context: A significant gap separates Business Process Model and Notation (BPMN) models representing processes from the design of Graphical User Interfaces (GUIs). Objective: This paper reports on a family of experiments to validate a method to automatically generate GUIs from BPMN models using stereotypes complemented with UML class primitives, and transformation rules. Method: We conducted two replications (23 and 31 subjects respectively) in which we compared two methods to generate GUIs from BPMN models; one automatic (using Stereotyped BPMN models) and one manual (using Non-stereotyped BPMN models). The study focuses on comparing effort, accuracy, and satisfaction (in terms of …
A Map-Based Visualization Tool To Support Tutors In E-Learning 2.0
2009
Web 2.0 regards essentially the social issues about the new usage of web applications, but participative web and user generated contents induce a new way to think about the design of the web applications themselves. This is particularly true in the field of educational systems that are all web based applications. Many researchers are now devoted to study what is called e-learning 2.0 both as regards the technological issues in the field of computer science, and in relation to the impact of the web 2.0 social and psychological issues on the education process itself. One of the most crucial topics in e-learning 2.0 is the way to provide support to the teacher/tutor to avoid cognitive overload…
THE TOPOLOGY OF BASIN BOUNDARIES IN A CLASS OF THREE-DIMENSIONAL DYNAMICAL SYSTEMS
1996
We will develop new methods to determine the topology of the basin boundary in a class of three-dimensional dynamical systems. One approach is to approximate the basin boundary by backward integration. Unfortunately, there are dynamical systems where it is hard to approximate the basin boundary by a numerical backward integration algorithm. We will introduce topological methods which will provide new information about the structure of the basin boundary. The topological invariants which we will use can be numerically computed.
Stochastic Stability Analysis for Markovian Jump Neutral Nonlinear Systems
2012
In this paper, the stability problem is studied for a class of Markovian jump neutral nonlinear systems with time-varying delay. By Lyapunov-Krasovskii function approach, a novel mean-square exponential stability criterion is derived for the situations that the system's transition rates are completely accessible, partially accessible and non-accessible, respectively. Moreover, the developed stability criterion is extended to the systems with different bounded sector nonlinear constraints. Finally, some numerical examples are provided to illustrate the effectiveness of the proposed methods.
FROM DISCRETE KINETIC AND STOCHASTIC GAME THEORY TO MODELLING COMPLEX SYSTEMS IN APPLIED SCIENCES
2004
This paper deals with some methodological aspects related to the discretization of a class of integro-differential equations modelling the evolution of the probability distribution over the microscopic state of a large system of interacting individuals. The microscopic state includes both mechanical and socio-biological variables. The discretization of the microscopic state generates a class of dynamical systems defining the evolution of the densities of the discretized state. In general, this yields a system of partial differential equations replacing the continuous integro-differential equation. As an example, a specific application is discussed, which refers to modelling in the field of…
Guaranteed error bounds and local indicators for adaptive solvers using stabilised space–time IgA approximations to parabolic problems
2019
Abstract The paper is concerned with space–time IgA approximations to parabolic initial–boundary value problems. We deduce guaranteed and fully computable error bounds adapted to special features of such type of approximations and investigate their efficiency. The derivation of error estimates is based on the analysis of the corresponding integral identity and exploits purely functional arguments in the maximal parabolic regularity setting. The estimates are valid for any approximation from the admissible (energy) class and do not contain mesh-dependent constants. They provide computable and fully guaranteed error bounds for the norms arising in stabilised space–time approximations. Further…
Factors affecting Nigerian teacher educators’ technology integration : Considering characteristics, knowledge constructs, ICT practices and beliefs
2020
To provide a diverse comprehension of teachers' TPACK (Technological, Pedagogical, and Content Knowledge) and how TPACK is reflected in practice, this study examined teacher educators' (TEs') conceptions of technology integration. Specifically, the main objective of the study was to investigate the factors influencing Nigerian teacher educators' technology integration using a self-completion survey administered to Nigerian teacher educators from three schools in the southern region of Nigeria. We utilized the partial least squares structural equation modeling (PLS-SEM) approach for the data analysis. Two frameworks—TPACK and Second Information Technology in Education Study (SITES)— guided t…
Producer's spatial equilibrium with a fuzzy constraint
1980
The classical theory of the producer’s equilibrium rests on two sets of particularly restrictive hypotheses. First it is implicitely assumed that all inputs and outputs are located in a single place where the producer is also implanted and where the production is carried out. Next it is assumed that the producer follows a precise behaviour pattern, by this we mean that the producer has complete information concerning the conditions of hisproductive activity and he has perfect command over both the set of inputs and the set of outputs; he realises the maximum profit allowed by the technological constraint which limits his possible actions and by the given price system. The aim of this study …
Improvement of Temperature Based ANN Models for ETo Prediction in Coastal Locations by Means of Preliminary Models and Exogenous Data
2008
This paper reports the application of artificial neural networks for estimating reference evapotranspiration (ETo) as a function of local maximum and minimum air temperatures and exogenous relative humidity and evapotranspiration in twelve coastal locations of the autonomous Valencia region, Spain. The Penman-Monteith model for ETo prediction, as been proposed by the Food and Agriculture Organization of the United Nations (FAO) as the standard method for ETo forecast, has been used to provide the ANN targets. The number of stations where reliable climatic data are available for the application of the Penman-Monteith equation is limited. Thus, the development of more precise predicting tools…
Results of Numerical Modeling of Blood Flow in the Internal Jugular Vein Exhibiting Different Types of Strictures
2022
The clinical relevance of nozzle-like strictures in upper parts of the internal jugular veins remains unclear. This study was aimed at understanding flow disturbances caused by such stenoses. Computational fluid dynamics software, COMSOL Multiphysics, was used. Two-dimensional computational domain involved stenosis at the beginning of modeled veins, and a flexible valve downstream. The material of the venous valve was considered to be hyperelastic. In the vein models with symmetric 2-leaflets valve without upstream stenosis or with minor 30% stenosis, the flow was undisturbed. In the case of major 60% and 75% upstream stenosis, centerline velocity was positioned asymmetrically, and areas of…