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ę "operation of sequencing" wg kryterium: Wszystkie pola

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-4 z 4
    Tytuł:
    Optimization of abstract algorithm
    Autorzy:
    Ovsyak, V.
    Powiązania:
    https://bibliotekanauki.pl/articles/114510.pdf
    Data publikacji:
    2016
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    operator
    optimization
    operation feature
    sequencing
    eliminating
    cyclic sequencing
    Opis:
    The optimization of the known abstract algorithm has been done by means of algebra of algorithms. The optimization criterion is the number of abstract operators. The optimization has been done on the basis of operation features of algebra of algorithms.
    Źródło:
    Measurement Automation Monitoring; 2016, 62, 1; 37-39
    2450-2855
    Pojawia się w:
    Measurement Automation Monitoring
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Models of Identification of Sequencing Operation
    Autorzy:
    Ovsyak, O.
    Petrushka, J.
    Kozelko, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/114648.pdf
    Data publikacji:
    2015
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    identification of sequencing
    analytic model
    diagram of sequences
    A-operator of sequencing
    B-operator of sequencing
    Opis:
    We have described two developed models of identification of the sequencing operation of the modified algebra of algorithms. One of them is the analytical one, and the second is a diagram of sequences. We have applied the modified algebra of algorithms to create an analytical model. The model in a shape of a diagram of sequences was built on the basis of the program code in Microsoft Visual Studio .Net. Models describe the identification of the sequencing operation with horizontal and vertical orientation. Also, the operators of the operations of sequencing are identified by the models.
    Źródło:
    Measurement Automation Monitoring; 2015, 61, 10; 488-491
    2450-2855
    Pojawia się w:
    Measurement Automation Monitoring
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Synthesis and optimization of sequencing operation algorithm
    Autorzy:
    Ovsyak, O.
    Petrushka, J.
    Kozelko, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/114365.pdf
    Data publikacji:
    2015
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    algebra of algorithms
    operation of sequencing
    synthesis of algorithm formula
    optimization of algorithm formula
    Opis:
    Synthesis and optimization ways of sequencing operation applied in computer system, are described in the paper. The ways are general, and use sequencing and eliminating operations of algorithm algebra. They allow for automated synthesis of the sequencing operations. Optimization of algorithm formulas has been made on the basis of the properties of sequencing operations.
    Źródło:
    Measurement Automation Monitoring; 2015, 61, 10; 484-487
    2450-2855
    Pojawia się w:
    Measurement Automation Monitoring
    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ł
      Wyświetlanie 1-4 z 4

      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