Temat: abstract equivalence - Katalog OPAC zbiorów

Skocz do pozycji: 1.

Tytuł:: Existence and continuous dependence for a class of neutral functional differential equations
Autorzy:: Faina, Loris
Powiązania:: https://bibliotekanauki.pl/articles/1310936.pdf
Data publikacji:: 1996
Wydawca:: Polska Akademia Nauk. Instytut Matematyczny PAN
Tematy:: neutral functional differential equations
abstract equivalence
Opis:: A general result on existence and continuous dependence of the solution for a quite wide class of N.F.D.E. is given. Further, an abstract equivalence is proved for three different formulations of N.F.D.E.
Źródło:: Annales Polonici Mathematici; 1996, 64, 3; 215-226
0066-2216
Pojawia się w:: Annales Polonici Mathematici
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 2.

Tytuł:: A Mathematical Model of Action
Pewien model akcji i jego własności
Autorzy:: Winkowski, J.
Powiązania:: https://bibliotekanauki.pl/articles/182710.pdf
Data publikacji:: 2014
Wydawca:: Polska Akademia Nauk. Instytut Podstaw Informatyki PAN
Tematy:: action
object
object instance
occurrence of object instance
concrete execution
execution structure
history preserving equivalence of concrete execution structures
abstract execution
algebra of abstract executions
directed complete partial order
reduced execution structure
akcja
obiekt
instancja obiektu
wystąpienie instancji obiektu
wykonanie konkretne
struktura wykonań zachowująca historie
równoważność struktur wykonań
wykonanie abstrakcyjne
algebra wykonań abstrakcyjnych
częściowy porządek z kresami górnymi podzbiorów skierowanych
zredukowana struktura wykonań.
Opis:: In the paper a model of action is described that is universal in the sense that it may serve to represent actions of any kind: discrete, continuous, or partially discrete and partially continuous. The model is founded on the assumption that an action is executed in a universe of objects. It describes how the possible executions change the situation of involved objects. It exploits the fact that executions are represented such that their bounded segments admit only trivial automorphisms. Consequently, the model has an algebraic structure and is a directed complete partial order.
Praca zawiera opis pewnego modelu akcji, który jest uniwersalny w tym sensie, że może służyć do reprezentowania akcji dowolnego rodzaju: dyskretnych, ciągłych, lub częściowo dyskretnych i częściowo ciągłych. Model ten opiera się na założeniu, że akcja jest wykonywana w pewnym środowisku obiektów. Opisuje jak możliwe wykonania akcji zmieniają sytuacje zaangażowanych obiektów. Wykorzystuje fakt, że wykonania akcji są reprezentowane tak, że ich ograniczone segmenty mają jedynie trywialne automorfizmy. Dzięki temu model ma pewną strukturę algebraiczną i częściowy porządek przy którym podzbiory skierowane mają kresy górne.
Źródło:: Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk; 2014, 1029; 1-44
0138-0648
Pojawia się w:: Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Informacja

Wyszukujesz frazę "abstract equivalence" wg kryterium: Temat

Źródło danych

Dostawca treści

Kolekcja

Rok wydania

Wydawca

Temat

Autor

Typ dokumentu

Język