Wyniki wyszukiwania - BazTech

1

Comparison of Algorithms for Decision Making Problems and Preservation of α-properties of Fuzzy Relations in Aggregation Process

Bentkowska U., Balicki K.

Journal of Automation Mobile Robotics and Intelligent Systems

|

2016

|

Vol. 10, No. 2

25--39

EN

In the paper the problem of preservation of properties of fuzzy relations during aggregation process is considered. It means that properties of fuzzy relations R1, … , R2 on a set X are compared with properties of the aggregated fuzzy relation RF = F(R1, … , R2), where R is a function of the type F ∶ [0, 1]n → [0, 1]. There are discussed α-properties (which may be called graded properties - to some grade R) as reflexivity, irreflexivity, symmetry, asymmetry, antisymmetry, connectedness and transitivity, where α ∈ [0, 1]. Fuzzy relations with a given graded property are analyzed (there may be diverse grades of the same property) and the obtained grade of the aggregated fuzzy relation is provided. There is also discussed the „converse” problem. Namely, relation RF = F(R1, … , Rn) is assumed to have a graded property and the properties of relations R1, … , Rn are examined (possibly with some assumptions on F). Presented here considerations have possible applications in decision making algorithms. This is why interpretation of the considered graded properties and possible potential in decision making is presented.

2

Introduction to Alvis modelling language

Szpyrka M., Matysik P., Mrówka R., Witalec W., Baniewicz J., Balicki K.

Pomiary Automatyka Kontrola

|

2011

|

R. 57, nr 9

1086-1089

EN

Alvis is a novel modelling language designed for embedded systems. It combines both high level programming language used to define agents behaviour with hierarchical graphical modelling language used to define interconnections between agents. The paper presents a survey of the most important features of the language.

PL

Alvis jest nowym językiem modelowania przeznaczonym do rozwijania systemów wbudowanych. Łączy w sobie cechy języków programowania wysokiego poziomu z hierarchicznym językiem modelowania połączeń między agentami. Podstawowym elementem języka Alvis są agenty, które mogą działać współbieżnie, komunikować się ze sobą, czy też współzawodniczyć o zasoby dzielone. Dynamika poszczególnych agentów jest opisywana w warstwie kodu używającej do tego celu języka programowania wysokiego poziomu (połączenie natywnych konstrukcji języka Alvis i języka funkcyjnego Haskell). W warstwie graficznej definiowane są połączenia między agentami wskazujące, które agenty się ze sobą komunikują i jaki jest kierunek tej komunikacji. Warstwa ta ma postać grafu hierarchicznego, co pozwala rozwijać systemu wbudowane metodą od ogółu do szczegółu lub odwrotnie. Formalną reprezentacjąmodelu w języku Alvis jest graf LTS (Labelled Transition System), który reprezentuje wszystkie osiągalne stany i przejścia między nimi. Graf ten jest stosowany do formalnej weryfikacji modelu. Artykuł zawiera przegląd najistotniejszych cech języka Alvis.

3

Formal Definition of XCCS Modelling Language

Balicki K., Szpyrka M.

Fundamenta Informaticae

|

2009

|

Vol. 93, nr 1-3

1-15

EN

The paper presents a formal definition of XCCS - a graphical extension of CCS process calculus. The aim of this extension is to supply graphical means for creating models and thus to eliminate problems typical for modelling in textual manner inherent to CCS process algebra. XCCS diagrams consist of two layers, a graphical one that represents the structure of a modelled system and algebraic one that describes behaviour of individual agents. The graphical layer takes the form of a directed graph, while the algebraic one is a set of sequences of algebraic equations similar to those in the CCS calculus. The formal definition presented in the paper deals with both parts of such models. At the end of the paper we define the Synchronization Relation and present the Basic Conversion Algorithm that converts XCCS diagrams into CCS scripts.