Informacja

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

Wyszukujesz frazę "algebra algorithms" wg kryterium: Temat


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ł:
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ł:
Carriers of algebra of algorithms
Autorzy:
Ovsyak, V.
Ovsyak, O.
Powiązania:
https://bibliotekanauki.pl/articles/114288.pdf
Data publikacji:
2015
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
carrier of algebra
algebraic operations
system of algorithmic algebras
algebra of algorithms
Opis:
Operations of modified system of algorithm algebras [10, 11] and algebra of algorithms [12-15] are presented in the paper. The paper shows operations of mathematical logic on the three-meaning alphabet. It considers converting of logical to operator values that are performed in the system of algorithmic algebras and its modifications. It presents constants, variables and operators, which are components of models of algorithms and systems, as predicates. It gives a comparative assessment of mono- and polycarrier algebras of algorithms.
Źródło:
Measurement Automation Monitoring; 2015, 61, 4; 98-100
2450-2855
Pojawia się w:
Measurement Automation Monitoring
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Models of alternative selection
Autorzy:
Ovsyak, V.
Ovsyak, O.
Powiązania:
https://bibliotekanauki.pl/articles/114202.pdf
Data publikacji:
2015
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
selection condition
block diagram
system of algorithmic algebras
algebra of algorithms
model
Opis:
Models of a number of eliminations in conditions have been presented. In particular, the models of a number of eliminations in the form of a block diagram of the algorithm, the instructions if() and switch() of algorithmic programming languages, systems of algorithmic algebras and its modifications, as well as two models of algebraic algorithms have been constructed.
Źródło:
Measurement Automation Monitoring; 2015, 61, 4; 101-103
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ł:
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ł
    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