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ę "algorithm of algebra" wg kryterium: Temat

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-7 z 7
    Tytuł:
    An algebraic model of the subsystem for the computer generation of elimination operation
    Autorzy:
    Ovsyak, V.
    Ovsyak, O.
    Kozelko, M.
    Petrushka, J.
    Powiązania:
    https://bibliotekanauki.pl/articles/114477.pdf
    Data publikacji:
    2018
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    algorithm of algebra
    algebraic methods
    algebraic model of operation
    elimination operation
    graph of subsystem
    diagram of sequences
    Opis:
    A brief analysis of the known methods of non-algebraic and algebraic descriptions of algorithms has been presented. The features of the elimination operation being a term of the algorithm algebra have been shown. An algebraic model of the computer generation of the elimination operation has been synthesized by means of the algorithm algebra. The model has been implemented with the help of software on the platform Microsoft Visual Studio.NET. The models of subsystem as a graph and a diagram of sequences have been designed as well.
    Źródło:
    Measurement Automation Monitoring; 2018, 64, 3; 48-52
    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ł:
    A sequential method for the synthesis of formulae of algorithms
    Autorzy:
    Ovsyak, V.
    Ovsyak, O.
    Powiązania:
    https://bibliotekanauki.pl/articles/114500.pdf
    Data publikacji:
    2015
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    computation models
    algebra of algorithms
    synthesis of algorithms
    minimization of algorithm
    Opis:
    New method for the synthesis of algorithm formulae based on the concept of algorithm algebra is presented. The concept of algorithm algebra there is shown in papers [1-4]. The synthesis is performed in two stages. First, all sequences are formulated, which is followed by the bonding the sequences by conditions. This operation is termed by elimination. If the algorithm contains a cyclic operations, then each cyclic operation is considered as a complex one, over which the synthesis of sequences and eliminations are successively performed. Additionally, the algorithm algebra tools for transformation and minimization of algorithms are illustrated by a simple but instructive example.
    Źródło:
    Measurement Automation Monitoring; 2015, 61, 1; 21-23
    2450-2855
    Pojawia się w:
    Measurement Automation Monitoring
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Models of information system layers
    Autorzy:
    Ovsyak, V.
    Ovsyak, O.
    Powiązania:
    https://bibliotekanauki.pl/articles/114454.pdf
    Data publikacji:
    2015
    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
    Opis:
    Models 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 was created. Comparison of object models is performed.
    Źródło:
    Measurement Automation Monitoring; 2015, 61, 5; 151-153
    2450-2855
    Pojawia się w:
    Measurement Automation Monitoring
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    The general model of the system decomposition and the model of the system interface fragment
    Autorzy:
    Ovsyak, V.
    Ovsyak, O.
    Powiązania:
    https://bibliotekanauki.pl/articles/114393.pdf
    Data publikacji:
    2015
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    model of system
    processing system of algorithm formulas
    subsystem
    modified algebra of algorithms
    model of the system interface
    Opis:
    There have been built a fragment of three-level model of the formulas processing system of algebra of algorithms (SOFAL) by means of the modified algorithms algebra. The model of the first level is formed by subsystems. At the second level of decomposition the model is created by graphic and functional parts of subsystems of the first level of decomposition. The third level of decomposition is the model of the system user interface.
    Źródło:
    Measurement Automation Monitoring; 2015, 61, 5; 148-150
    2450-2855
    Pojawia się w:
    Measurement Automation Monitoring
    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ł
    Tytuł:
    Automatic search of rational self-equivalences
    Autorzy:
    Stępień, L.
    Stępień, M. R.
    Powiązania:
    https://bibliotekanauki.pl/articles/950276.pdf
    Data publikacji:
    2018
    Wydawca:
    Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie. Wydawnictwo Uczelniane
    Tematy:
    rational self-equivalences
    automorphisms of Witt rings
    Witt rings
    algebra
    algorithm
    automatic search
    automorfizm
    pierścień Witta
    algorytm
    Opis:
    Two Witt rings that are not strongly isomorphic (i.e., two Witt rings over two fields that are not Witt equivalent) have different groups of strong automorphisms. Therefore, the description of a group of strong automorphisms is different for almost every Witt ring, which requires the use various tools in proofs. It is natural idea to use computers to generate strong automorphisms of the Witt rings, which is especially effective in the case of the finitely generated Witt rings, where a complete list of strong automorphisms can be created. In this paper we present the algorithm that was used to generate strong automorphisms from the infinite group of strong automorphisms of the Witt ring of rational numbers W(Q).
    Źródło:
    Scientific Issues of Jan Długosz University in Częstochowa. Mathematics; 2018, 23; 67-74
    2450-9302
    Pojawia się w:
    Scientific Issues of Jan Długosz University in Częstochowa. Mathematics
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-7 z 7

      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