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ę "A* algorithm" wg kryterium: Temat

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-10 z 10
    Tytuł:
    Decomposition of the GUI by means of modified algorithm algebra
    Autorzy:
    Ovsyak, V.
    Ovsyak, O.
    Powiązania:
    https://bibliotekanauki.pl/articles/114373.pdf
    Data publikacji:
    2015
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    control icon
    graphic interface
    GUI
    icon model
    algorithm algebra
    algorithm formula processing
    Opis:
    Using operations of cyclic sequencing and cyclic paralleling of the modified algebra of algorithms we have built compact model of decomposition of the formulas processing system of algebra of algorithms. We have developed the generalized abstract model of user graphic interface of a computer system. Based on the generalized model we have created the model of a user interface fragment for formulas processing of algorithm algebra.
    Źródło:
    Measurement Automation Monitoring; 2015, 61, 8; 413-415
    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ł:
    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ł:
    The analysis of algorithm algebra formulae in xml-format
    Analizy formuł algebry algorytmów w formacie xml
    Autorzy:
    Ovsyak, V.
    Ovsyak, O.
    Powiązania:
    https://bibliotekanauki.pl/articles/972153.pdf
    Data publikacji:
    2014
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    editor
    XML format
    algorithm formula
    uniterm
    edytor
    format xml
    formuła algorytmu
    Opis:
    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.
    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.
    Źródło:
    Pomiary Automatyka Kontrola; 2014, R. 60, nr 5, 5; 313-316
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    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ł:
    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ł:
    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ł
      Wyświetlanie 1-10 z 10

      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