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


Wyświetlanie 1-5 z 5
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-5 z 5

    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