نتایج جستجو برای: symbolic modeling

تعداد نتایج: 418587  

1998
Eva Hudlicka

We describe a generic approach for modeling the impact of emotion on cognition, perception, and behavior. The approach can model the effects of transient emotional states, longer moods, and stable personality and temperamental factors. The underlying assumption is that one of the primary ways in which emotions influence cognition and perception is by modulating a variety of processing parameter...

Journal: :IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 2004

Journal: :Electr. Notes Theor. Comput. Sci. 2003
Dániel Varró

Graph transformation has recently become more and more popular as a general, rule-based visual specification paradigm to formally capture the operational semantics of modeling languages based on metamodeling techniques as demonstrated by benchmark applications focusing on the formal treatment of the Unified Modeling Language (UML). In the paper, we enable model checking-based symbolic verificat...

1998
Miroslav N. Velev Randal E. Bryant

This paper enables symbolic ternary simulation of systems with large embedded memories. Each memory array is replaced with a behavioral model, where the number of symbolic variables used to characterize the initial state of the memory is proportional to the number of distinct symbolic memory locations accessed. The behavioral model provides a conservative approximation of the replaced memory ar...

2004
Gianni Ferretti GianAntonio Magnani Paolo Rocco Luca Viganò Marco Gritti Andrea Rusconi

In this paper a detailed mechatronic model of SPIDER, the Italian space manipulator arm, is presented. The model is based on the open source modeling language Modelica. Thanks to the distinctive features of this language, like object orientation, physical and acausal modeling, symbolic handling of equations and constraints, the overall model of SPIDER is obtained by assembling few models of its...

2002
Dániel Varró

Graph transformation has recently become more and more popular as a general, rule-based visual specification paradigm to formally capture the operational semantics of modeling languages based on metamodeling techniques as demonstrated, by benchmark applications focusing on the formal treatment of the Unified Modeling Language (UML). In the paper, we propose a model checking-based verification a...

2004
Bruno Dutertre Maria Sorea

We discuss the modeling and verification of real-time systems using the SAL model checker. A new modeling framework based on event calendars enables dense timed systems to be described without relying on continuously varying clocks. We present verification techniques that rely on induction and abstraction, and show how these techniques are efficiently supported by the SAL symbolic model-checkin...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید