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 formula" wg kryterium: Temat

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-9 z 9
    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ł:
    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ł:
    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ł:
    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ł:
    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ł:
    Model systemu do przekształceń formuł algorytmów
    The model of the system for algorithm formula transformations
    Autorzy:
    Markuszewski, T.
    Powiązania:
    https://bibliotekanauki.pl/articles/151233.pdf
    Data publikacji:
    2011
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    system
    dekompozycja
    podsystem
    formuła
    algorytm
    model
    decomposition
    subsystem
    formula
    algorithm
    Opis:
    W artykule przedstawiono budowę złożonego komputerowego systemu do przekształceń formuł algorytmów przy wykorzystaniu właściwości operacji algebry algorytmów. Budowany model systemu nazwano komputerowym systemem optymalizacji (KSO) i dokonano jego dekompozycji na dwóch poziomach, poziomie systemu i podsystemu. Na poziomie systemu w logiczny sposób wyodrębniono podsystemy pełniące oraz wspomagające zadania optymalizacji formuł algorytmów, a na poziomie podsystemu utworzono unitermy zmienne i funkcyjne. Dla opisania modelu systemu wykorzystano algebrę algorytmów. Fragment modelu systemu zaimplementowano w języku C#.
    The model of algorithm algebra formulae optimization system is presented in the paper. The decomposition of the system into subsystems is performed using algebra algorithm expressions, and is described in terms of the expressions. The following algorithm algebra operation optimization subsystem models are formed: sequencing, elimination, parallelization, reversing, cycle operations, basic subsystem, subsystem introducing additional condition, subsystem rendering data accessible, and the one generating indices for xml code of algorithm formula. The basic subsystem model and the rendering data accessible one in the 3rd section there are described. Algorithm algebra expressions there are used consistently. Models are composed of variables and functional uniterms, which are also used by other subsystems. Variables are used for the data storage. Functional uniterms of the basic subsystem there are the following: extracting, substituting the xml code fragment, checking the separator kind in the uniterm, as well as the one checking if the uniterm is a number. Additionally there are included functional uniterms absorbing other uniterms, and the one informing on optimization process run. The basic and rendering data models are implemented in C# . In conclusions some advantages of both the algorithm formula optimization computer system and model decomposition into subsystem are given. Bibliography contains a set of intuitive and formal works describing the algorithms algebra.
    Źródło:
    Pomiary Automatyka Kontrola; 2011, R. 57, nr 2, 2; 201-204
    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ł:
    Extension of the one-dimensional Stoney algorithm to a two-dimensional case
    Autorzy:
    Gniazdowski, Zenon
    Powiązania:
    https://bibliotekanauki.pl/articles/91318.pdf
    Data publikacji:
    2019
    Wydawca:
    Warszawska Wyższa Szkoła Informatyki
    Tematy:
    Stoney formula
    Stoney equation
    2D Stoney algorithm
    tensor of curvature
    stress in a thin film
    anisotropy
    quadric
    quadratic form
    Opis:
    This article presents the extension of the one-dimensional Stoney algorithm to a two-dimensional case. The proposed extension consists in modifying the method of curvature estimation. The surface profile of the wafer before deposition of the thin film and after its deposition was locally approximated by the quadric. From this quadric, a quadratic form and the first degree surface were separated. An eigenproblem was solved for the matrix of this quadratic form. From eigenvectors a new coordinate system was created in which a new formula of the quadric was found. In this new coordinate system, the two-dimensional problem of estimating thecurvaturetensorhasbeensolvedbysolvingtwoindependentone-dimensional problems of curvature estimation. Returning to the primary coordinate system, in this primary system, a solution to the two-dimensional problem was obtained. The article proposes five versions of the two-dimensional Stoney algorithm, with diverse complexity and accuracy. The recommendation for the version of the algorithm that could be practically used was also presented.
    Źródło:
    Zeszyty Naukowe Warszawskiej Wyższej Szkoły Informatyki; 2019, 13, 20; 41-66
    1896-396X
    2082-8349
    Pojawia się w:
    Zeszyty Naukowe Warszawskiej Wyższej Szkoły Informatyki
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-9 z 9

      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