Wyniki wyszukiwania - BazTech

1

The analysis of algorithm algebra formulae in xml-format

Ovsyak V., Ovsyak O.

Pomiary Automatyka Kontrola

|

2014

|

R. 60, nr 5

313--316

EN

Analysis of formulae of algebra algorithms (AA) written in xml - format is described in the paper. A specific editor uses the xml - format for AA formulae writing to and reading from the computer memory. The xml – format contains operation types, operation orientations, operation uniterm separation, and AA operation uniterms. There are shown features of algorithm formula transforms, the result of which are 5 times shorter algorithms while saving all algorithm functionalities.

PL

Istniejąca algebra algorytmów (AA) zawiera specjalne znaki operacji, jakich nie ma wśród znaków matematycznych. Znaki mają skomplikowane formy. Znaki operacji mogą być stworzone z wykorzystaniem istniejących edytorów, takich jak na przykład Word. Jednak proces ich tworzenia jest bardzo skomplikowany i czasochłonny. Z tego powodu dla komputerowego edytowania formuł algebry algorytmów został stworzony specjalny edytor, którego główne okienko przedstawiono na rys.1. Dla zapisu formuł algebry algorytmów w pamięci komputera został stworzony specjalny format xml. Opisano format xml, służący do zapisu formuł algebry algorytmów do pamięci komputera. Zbudowano dwie formuły do analizy formatu xml, wykorzystane do identyfikacji i zapisu typów, orientacji i separatorów oraz unitermów operacji algebry algorytmów. Udowodniono, że te formuły umożliwiają wykonanie analizy formatu xml. Pokazano możliwości przekształcenia formuł algorytmów. W wyniku przekształceń możliwe jest 5 – krotne zmniejszenie liczby unitermów, przy zachowaniu wszystkich funkcjonalności formuły algorytmu.

2

Comparison of algebraic methods for algorithm transforms

Ovsyak O.

Pomiary Automatyka Kontrola

|

2013

|

R. 59, nr 10

1046--1048

EN

Methods of intuitive and algebraic description of algorithms are presented in the paper. Algebraic methods are compared in spite of their operation systems. Comparison of operations, their properties and classes of described algorithms are shown in the paper. Possibilities of expanding modern object programming languages based on the use of modified algebra algorithms are also shown. Comparing formulas of modified system of algorithmic algebras and algebra algorithms are presented and compared.

PL

W artykule przeanalizowano metody intuicyjnego oraz algebraicznego opisu algorytmów. Obecnie istnieją cztery systemy algebr algorytmów: system algebr algorytmicznych Głuszkowa [4], modyfikacja tego sytemu wprowadzona przez Zeitlina [5], algebra algorytmów [6] oraz modyfikacja tej algebry, wprowadzona przez autora [7, 8]. Podkreślono zalety wykorzystania metod algebraicznych i ich przewagę nad metodami intuicyjnymi. Metody algebraiczne porównano pod względem używanych zbiorów operacji, właściwości operacji oraz klas opisywanych algorytmów. Pokazano że system algebr algorytmicznych Głuszkowa oraz jego modyfikacja wykorzystują operacje logiczne, takie jak koniunkcja i dysjunkcja, podczas gdy algebra algorytmów oraz zmodyfikowana algebra algorytmów wykorzystują operacje sekwencjonowania i zrównoleglenia. System algebr algorytmicznych oraz jego modyfikacja wykorzystują do uporządkowania operację kompozycji, która ma właściwość łączności. Podobnie jak w algebrze algorytmów tak i w jej modyfikacji do opisu kolejności wykorzystywana jest operacja sekwencjonowania, która ogólnie nie jest łącznościowa. Tym samym algebra algorytmów oraz jej modyfikacja rozszerzają możliwości opisywanych algorytmów, uwzględniając klasę algorytmów nie łącznościowych. Tej klasy nie uwzględnia system algebr algorytmicznych Głuszkowa oraz jego modyfikacja sformułowana przez Zeitlina. Pokazano możliwości rozszerzenia języków współczesnego programowania obiektowego przez wykorzystanie operacji algebry algorytmów oraz jej modyfikacji. Może to doprowadzić do uproszczenia zapisu algorytmów przy zachowaniu ich właściwości. Porównano właściwości trzech systemów algebraicznych: algebry algorytmów zmodyfikowanej przez autora, znanej algebry algorytmów, oraz zmodyfikowanego systemu algebr algorytmicznych Głuszkowa – Zeitlina. Podano wyniki porównania formuł algorytmów systemu algebr algorytmicznych i zmodyfikowanej przez autora algebry algorytmów. Przedstawiono możliwości uporządkowania zmiennych funkcji wielu argumentów.

3

Algebraic models of subsystems of abstract system with the user interface

Ovsyak O.

Pomiary Automatyka Kontrola

|

2013

|

R. 59, nr 11

1179--1182

EN

Informatics abstractive system decomposition with its user interface into subsystems, taking into account the subsystems functions, is presented in the paper. There are three levels of decomposition. The first level contains functional subsystems of the user interface and functional subsystems. At the second level graphic-visual subsystems are decomposed into multi-level visual elements and multi-level property subsystems of visual elements. Functional subsystems on the second level are decomposed into variables, structures and procedures. Structural subsystems are decomposed into components of different designations. Procedures may contain variables, relations, operations and other components. Models of subsystems at all levels are described by the use the modified algorithm algebra, and the modified system of algorithmic algebras. The results of the comparison of models by different component numbers there are shown.

PL

W artykule przedstawiono dekompozycję abstrakcyjnego systemu informatycznego z interfejsem użytkownika na podsystemy, przy uwzględnieniu funkcji podsystemów. Są trzy poziomy dekompozycji. Pierwszy poziom zawiera podsystemy interfejsu użytkownika z przypisanymi im funkcjonalnościami (podsystemy graficzno-funkcjonalne) oraz podsystemy funkcjonalne. Na drugim poziomie są podsystemy graficzno-funkcjonalne dekomponowane na elementy wizualne (podsystemy wizualno-elementowe) oraz podsystemy właściwości tych elementów wizualnych (podsystemy właściwościowe). Podsystemy wizualno-elementowe oraz właściwościowe mogą zawierać wiele poziomów dekompozycji. Podsystemy funkcjonalne na drugim poziomie są dekomponowane na zmienne, struktury i procedury. Podsystemy strukturne są dekomponowane na składowe o różnym przeznaczeniu. Procedury mogą zawierać zmienne, relacje, operacje oraz inne składowe. Modele podsystemów wszystkich poziomów opisano przy użyciu zmodyfikowanej algebry algorytmów oraz zmodyfikowanego systemu algebr algorytmicznych. Przedstawiono porównanie tych modeli przy uwzględnieniu kryterium liczby składowych.