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

Optymalizacja formuł algorytmów przez wprowadzenie warunku

Markuszewski T.

Pomiary Automatyka Kontrola

|

2011

|

R. 57, nr 2

205-208

PL

W artykule przedstawiono budowę modelu podsystemu optymalizacji formuł algebry algorytmów metodą wprowadzenia dodatkowego warunku. Podsystem opisany został w postaci formuły algebry algorytmów. Przeprowadzono dekompozycje podsystemu na unitermy funkcyjne i zmienne. Opisano modele unitermów funkcyjnych i przedstawiono fragment implementacji podsystemu w języku C#.

EN

The subsystem model designed for algorithm algebra formula optimization by the introducing the additional condition there is described in the paper. The theory description and the example of an application are shown in the section 2. Next the subsystem model decomposition into variables and functional uniterms, by the introducing the additional condition is realized. Variables are used for the storage of data needed for algorithm formula transformations. The construction of functional algorithms is described using algorithm algebra expressions. Functional algorithms perform the following tasks: initiate variables, set and release elements of the table retaining engaged conditions, and choose first free condition. The subsystem model contains functional uniterms used for the checking of the ability to transformation, as well as perform the optimization itself. The model allows to introduce the additional condition by two ways, automatically or manually. In automatic mode the system itself set variables, while in manual mode the user chooses conditions by the keyboard. The implementation of the subsystem model performing the optimization by the introducing the additional condition is shown in C # program language. In conclusions some advantages of the using of the algorithm formula optimization computer system are pointed out. Sources bounded with algorithm algebra are given in the bibliography.

4

Rozszerzenie algebry algorytmów

Owsiak W., Owsiak A.

Pomiary Automatyka Kontrola

|

2010

|

R. 56, nr 2

184-188

PL

W artykule za pomocą metody aksjomatycznej przedstawiono pod-stawy rozszerzonej algebry algorytmów. Algebra ta obejmuje operacje sekwencjonowania, eliminowania, zrównoleglenia, rewersowania oraz cyklicznego sekwencjonowania, eliminowania i zrównoleglenia, wykonywane na unitermach. Podano definicję algorytmu, do jakiego ma zastosowanie rozszerzona algebra algorytmów. Istotę zdefiniowanych operacji rozszerzonej algebry algorytmów zilustrowano za pomocą rysunków. Na przykładzie pokazano jej zastosowanie. Opis porównano z opisem algorytmów, otrzymywanym za pomocą klasycznej algebry algorytmów.

EN

Very often algorithms are described verbally or like a unit - diagram. The well known methods offering algorithms are: Post [1], Turing [2], Aho-Ullman-Hopcroft [3] or Schönhage [4] virtual machines, recursive functions (calculus λ, Church) [5], Markov algorithms [6], b-complexes of Kolmogorov (Kolmogorov machine) [7], Krinitski universal algorithms [8], and algorithm algebra [9]. It is obvious that verbal methods, and methods of unit - diagram, as well as, algorithm methods [1] - [8] are depicted by the intuition, not formally. Only by means of the algorithm algebra, the algorithm description is getting into the formulae form, on abstract and meaningful levels. The transformation and investigation of their trustworthiness can be made on formulae of algorithms with minimization target, by the specific operations. These advantages of algebra algorithms beyond other methods of algorithm description make a ground for it's using. Classical algorithm algebra [9] manipulates over conditional uniterms, which are delivered only two meanings (e.g. "yes" and "no" or "0" and "1").Very often conditional uniterm can deliver more than two meanings. For example, automation systems are operated in a plenty of regimes. Score parameters are controlled in checking systems. It is possible to describe the algorithms which contain more than 2 conditions by means of classical algebra algorithms. These formulae - algorithms are complicated for apprehension. To avoid possible mistakes, the expansion of the algorithm algebra is presented in the paper.