TTM/PAT: Specifying and Verifying Timed Transition Models

Author(s):  
Jonathan S. Ostroff ◽  
Chen-Wei Wang ◽  
Simon Hudon ◽  
Yang Liu ◽  
Jun Sun
Keyword(s):  
2003 ◽  
Vol 100 (12) ◽  
pp. 1137-1149
Author(s):  
M. François

2021 ◽  
pp. 1-16
Author(s):  
Pavel Čížek ◽  
Chao Hui Koo
Keyword(s):  

2021 ◽  
Vol 11 (9) ◽  
pp. 4062
Author(s):  
Grzegorz Zboiński ◽  
Magdalena Zielińska

This paper concerns the algorithm of transition piezoelectric elements for adaptive analysis of electro-mechanical systems. In addition, effectivity of the proposed elements in such an analysis is presented. The elements under consideration are assigned for joining basic elements which correspond to the mechanical models of either the first or higher order, while the electric model is of arbitrary order. In this work, three variants of the transition models are applied. The first one assures continuity of displacements between the basic models and continuity of electric potential between these models, as well. The second transition piezoelectric model guarantees additional continuity of the stress field between the basic models. The third transition model additionally enables continuous change of the strain state between the basic models. Based on the mentioned models, three types of the corresponding transition finite elements are introduced. The applied finite element approximations are hpq/hp-adaptive ones, which allows element-wise changes of the element size parameter h, and the element longitudinal and transverse orders of approximation, respectively, p and q, depending on the error level. Numerical effectiveness of the models and their approximations is investigated in the contexts of: ability to remove high stress gradients between the basic and transition models, and convergence of the numerical solutions for the model problems of piezoelectrics with and without the proposed transition elements.


Author(s):  
Moritz Berger ◽  
Gerhard Tutz

AbstractA flexible semiparametric class of models is introduced that offers an alternative to classical regression models for count data as the Poisson and Negative Binomial model, as well as to more general models accounting for excess zeros that are also based on fixed distributional assumptions. The model allows that the data itself determine the distribution of the response variable, but, in its basic form, uses a parametric term that specifies the effect of explanatory variables. In addition, an extended version is considered, in which the effects of covariates are specified nonparametrically. The proposed model and traditional models are compared in simulations and by utilizing several real data applications from the area of health and social science.


2014 ◽  
Author(s):  
Jaromír Příhoda ◽  
Petr Straka ◽  
Jiří Fürst ◽  
Lukáš Popelka

2008 ◽  
Vol 02 (02) ◽  
pp. 207-233
Author(s):  
SATORU MEGA ◽  
YOUNES FADIL ◽  
ARATA HORIE ◽  
KUNIAKI UEHARA

Human-computer interaction systems have been developed in recent years. These systems use multimedia techniques to create Mixed-Reality environments where users can train themselves. Although most of these systems rely strongly on interactivity with the users, taking into account users' states, they still lack the possibility of considering users preferences when they help them. In this paper, we introduce an Action Support System for Interactive Self-Training (ASSIST) in cooking. ASSIST focuses on recognizing users' cooking actions as well as real objects related to these actions to be able to provide them with accurate and useful assistance. Before the recognition and instruction processes, it takes users' cooking preferences and suggests one or more recipes that are likely to satisfy their preferences by collaborative filtering. When the cooking process starts, ASSIST recognizes users' hands movement using a similarity measure algorithm called AMSS. When the recognized cooking action is correct, ASSIST instructs the user on the next cooking procedure through virtual objects. When a cooking action is incorrect, the cause of its failure is analyzed and ASSIST provides the user with support information according to the cause to improve the user's incorrect cooking action. Furthermore, we construct parallel transition models from cooking recipes for more flexible instructions. This enables users to perform necessary cooking actions in any order they want, allowing more flexible learning.


1999 ◽  
Vol 09 (07) ◽  
pp. 1015-1037 ◽  
Author(s):  
PIERLUIGI COLLI ◽  
GIORGIO GENTILI ◽  
CLAUDIO GIORGI

This paper is devoted to analyzing solutions of a nonlinear evolution system describing the phase transition in a rigid heat conductor in the presence of phase relaxation. First, in a general framework, a rate type constitutive law for the phase variable is considered and matched with the Helmholtz free energy involving the state of the material. Thermodynamic compatibility of the resulting models is scrutinized. Moreover, a comparison with a different phase change modelling is performed. Under proper assumptions, a nonlinear system in the (absolute) temperature and phase variable is achieved. For it, existence and uniqueness of the solution is proved and positivity of temperature is recovered.


2021 ◽  
Vol 78 ◽  
pp. 15-25
Author(s):  
Jennifer Timmer ◽  
Crystal Y. Tipton ◽  
Retta A. Bruegger ◽  
David J. Augustine ◽  
Christopher P.K. Dickey ◽  
...  

Sign in / Sign up

Export Citation Format

Share Document