Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "Winkowski, J." wg kryterium: Autor


Wyświetlanie 1-3 z 3
Tytuł:
Towards a universal model of action
Pewna propozycja uniwersalnego modelu akcji
Autorzy:
Winkowski, J.
Powiązania:
https://bibliotekanauki.pl/articles/182554.pdf
Data publikacji:
2016
Wydawca:
Polska Akademia Nauk. Instytut Podstaw Informatyki PAN
Tematy:
action
object
object instance
occurrence of object instance
execution
execution segment
execution fragment
execution structure
lposet
pomset
sequential composition
parallel composition
independent component
prefix order
akcja
obiekt
instancja obiektu
wystąpienie instancji obiektu
wykonanie
segment wykonania
fragment wykonania
struktura wykonań
poset
złożenie szeregowe
złożenie równoległe
niezależna składowa
porządek prefiksowy
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 fragments of executions are represented such that their closed segments admit only trivial automorphisms. The model has an algebraic strucure and it 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 loż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 fragmenty wykonań akcji są reprezentowane tak, że ich ograniczone segmenty mają jedynie trywialne automorfizmy. 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; 2016, 1035; 1-32
0138-0648
Pojawia się w:
Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Partially Ordered Domains for Representing Activities
Częściowo uporządkowane dziedziny do reprezentowania działalności
Autorzy:
Winkowski, J.
Powiązania:
https://bibliotekanauki.pl/articles/182672.pdf
Data publikacji:
2015
Wydawca:
Polska Akademia Nauk. Instytut Podstaw Informatyki PAN
Tematy:
activity
run
event
causal dependency relation
conflict relation
event structure
configuration
configuration structure
partially ordered set
directed complete partially ordered set
configuration domain
transition
region
działalność
przebieg
zdarzenie
relacja zależności przyczynowej
relacja konfliktu
struktura zdarzeń
konfiguracja
struktura konfiguracji
zbiór częściowo uporządkowany
skierowany zupełny zbiór częściowo uporządkowany
dziedzina konfiguracji
tranzycja
Opis:
The paper describes structures which can be used to represent activities of broad class. The concept of event structure is generalized to represent activities which may be discrete, continuous, or of mixed nature. Configuration structures of the more general event structures are used to deńe axiomatically configuration domains. Elements of such domains are abstract representants of runs of represented activities. The partial order of elements reects how each run extends to longer runs. It is shown that configuration domains deńe event structures which can be interpreted as interactions of sets of objects.
Praca opisuje struktury, których można użyć do reprezentowania szeroko rozumianych działalności. Uogólnia struktury zdarzeń tak, by mogły reprezentować działalności dyskretne, ciągłe i mieszanej natury. Konfiguracje tak uogólnionych struktur zdarzeń zostały użyte do aksjomatycznej definicji dziedzin konfiguracji. Elementy takich dziedzin są abstrakcyjnymi reprezentantami przebiegów reprezentowanych działalności. Pokazano, że dziedziny konfiguracji definiują struktury zdarzeń, które można interpretować jako współdziałania pewnych zbiorów obiektów.
Źródło:
Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk; 2015, 1033; 1-15
0138-0648
Pojawia się w:
Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk
Dostawca treści:
Biblioteka Nauki
Artykuł
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ł
    Wyświetlanie 1-3 z 3

    Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies