Informacja

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

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Centralna Biblioteka Wojskowa Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaCentralna Biblioteka Wojskowa

Wyszukujesz frazę "algebra algorytmów" wg kryterium: Temat

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-6 z 6
    Tytuł:
    Algebra algorytmów w przykładach
    Examples of algorithm algebra application
    Autorzy:
    Piaskowy, A.
    Powiązania:
    https://bibliotekanauki.pl/articles/157198.pdf
    Data publikacji:
    2010
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    algebra algorytmów
    formuła
    algorytm
    algebra algorithms
    formula
    algorithm
    Opis:
    Artykuł zawiera opis podstawowych operacji algebraicznych jakie można stosować w algorytmice. Przedstawiono kilka prostych przykładów ilustrujących możliwości i aplikacje tematyki. Każda operacja została odzwierciedlona w języku C, bądź została porównana z odpowiadającym jej schematem blokowym.
    Algebra of algorithms is a form of mathematical description of an algorithm. The algorithm described in form of formulas can be subjected to algebraic operations and transformations. Properties of these operations are defined in an axiomatic way. The mathematic description of the algorithm is simple, intuitive, and allows to subsequent automatic generation of program code. The main advantage of such approach is possibility to analyze the algorithm at any level of nesting. Some functions (blocks) the algorithm can be treated as uniterms, thus one can look into what happens inside them. A description of basic algebraic operations that can be applied in the study of algorithm operations is presented in the paper. It has been quoted two of the most elementary examples in order to better acquaint with the subject. Each operation is reflected in the C language, and is compared with the corresponding block diagram. Langton algorithm is analyzed as well as the function approximation algorithm for finding the 3-rd order polynomial. These algorithms are described and presented in the form of block diagrams as well as using formulas of algebra algorithms.
    Źródło:
    Pomiary Automatyka Kontrola; 2010, R. 56, nr 2, 2; 189-192
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Comparison of algebraic methods for algorithm transforms
    Porównanie metod algebraicznych przetwarzania algorytmów
    Autorzy:
    Ovsyak, O.
    Powiązania:
    https://bibliotekanauki.pl/articles/153939.pdf
    Data publikacji:
    2013
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    algorithm algebra system
    operation properties
    algorithm formula
    uniterm
    algebra algorytmów
    system algebr algorytmicznych
    właściwości operacji
    formuła algorytmu
    Opis:
    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.
    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.
    Źródło:
    Pomiary Automatyka Kontrola; 2013, R. 59, nr 10, 10; 1046-1048
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Algebraic models of subsystems of abstract system with the user interface
    Modele algebraiczne podsystemów systemu abstrakcyjnego z interfejsem użytkownika
    Autorzy:
    Ovsyak, O.
    Powiązania:
    https://bibliotekanauki.pl/articles/153456.pdf
    Data publikacji:
    2013
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    algorithm algebra
    algorithm formula
    system decomposition
    informatics system model
    algebra algorytmów
    formuła algorytmu
    dekompozycja systemu
    model systemu informatycznego
    Opis:
    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.
    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.
    Źródło:
    Pomiary Automatyka Kontrola; 2013, R. 59, nr 11, 11; 1179-1182
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Optymalizacja formuł algorytmów przez wprowadzenie warunku
    Algorithm formula optimization by the condition use
    Autorzy:
    Markuszewski, T.
    Powiązania:
    https://bibliotekanauki.pl/articles/151208.pdf
    Data publikacji:
    2011
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    algorytm
    warunek
    dekompozycja
    uniterm
    algebra algorytmów
    optymalizacja formuł
    algorithm
    formula
    condition
    decomposition
    uniterm function
    formula optimization
    Opis:
    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#.
    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.
    Źródło:
    Pomiary Automatyka Kontrola; 2011, R. 57, nr 2, 2; 205-208
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Rozszerzenie algebry algorytmów
    The expansion of algorithm algebra
    Autorzy:
    Owsiak, W.
    Owsiak, A.
    Powiązania:
    https://bibliotekanauki.pl/articles/157207.pdf
    Data publikacji:
    2010
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    uniterm
    operacja
    sekwencjonowanie
    cykliczne sekwencjonowanie
    eliminowanie
    cykliczne eliminowanie
    zrównoleglenie
    cykliczne zrównoleglenie
    rewersowanie
    algebra algorytmów
    operation
    sequencing
    elimination
    cyclic paralleling
    Opis:
    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.
    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.
    Źródło:
    Pomiary Automatyka Kontrola; 2010, R. 56, nr 2, 2; 184-188
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Models of layers of information systems
    Modele warstw systemów informatycznych
    Autorzy:
    Ovsyak, V.
    Ovsyak, O.
    Powiązania:
    https://bibliotekanauki.pl/articles/153322.pdf
    Data publikacji:
    2014
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    information system layers
    model of information system layers
    subsystem
    algorithm algebra
    modified algorithmic algebra system
    warstwy systemu informatycznego
    model warstw systemu informatycznego
    podsystem
    algebra algorytmów
    system algebr algorytmicznych modyfikowany
    Opis:
    Model of information system layers as a scheme, algebraic expressions and computer model were created. Algebraic model of information system layers is synthesized by means of algebraic algorithms and modified systems of algorithmic algebras. A computer model of layers is created in environment Microsoft Visual Studio .NET. A four-layer model of abstract information system in the form of diagrams, mathematical formulas and models of computer system were created. Comparison of object models is performed.
    W pracy zaprezentowano metodę uproszczenia złożoności projektowania systemu informacyjnego, polegającą na jego podziale na warstwy, z których każda zawiera jeden lub więcej podsystemów. Metoda jest oparta na wykorzystaniu zmodyfikowanego systemu algebr algorytmicznych, opracowanego przez autora [1, 2]. Przedstawiono ogólny model algebry algorytmów w postaci warstw algorytmu, który zaimplementowano w programie komputerowym. Omówiono modele warstw systemu informatycznego utworzone w postaci schematu, wykresów algebraicznych i modelu komputerowego. W programie komputerowym warstwy są reprezentowane w formie zagnieżdżonych prostokątów (rys. 8). Modele algebraiczne warstw systemu informatycznego zostały zsyntezowane przy zastosowaniu zasobów algebry algorytmów i zmodyfikowanego systemu algebr algorytmicznych (tab. 1). Model komputerowy warstw zbudowano w środowisku Microsoft Visual Studio. NET. Utworzono czteropoziomowy model warstw informatycznego systemu abstrakcyjnego w postaci schematów, wykresów matematycznych i modelu systemu komputerowego. Pokazano wyniki porównania utworzonych modeli.
    Źródło:
    Pomiary Automatyka Kontrola; 2014, R. 60, nr 6, 6; 388-390
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-6 z 6

      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