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


Wyświetlanie 1-3 z 3
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ł:
Presentation of Mathematical Induction by Formula of Algebra of Algorithms
Autorzy:
Ovsyak, V.
Ovsyak, O.
Petrushka, J.
Powiązania:
https://bibliotekanauki.pl/articles/114070.pdf
Data publikacji:
2016
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
formula of the axiom of mathematical induction
tautology
truthful formula
ordering of the variable values
Opis:
The analysis of the axiom of mathematical induction, which is given by the formula of mathematical logics is presented in the paper. It has been established that the famous formula of mathematical induction is executed only in case of ordered values of the variable linked by a quantifier. This ordering is not described analytically. Algebra of algorithms is applied for an analytical description of ordering of the variable values. The axiom of mathematical induction is described by the formula of algebra of algorithms.
Źródło:
Measurement Automation Monitoring; 2016, 62, 11; 367-370
2450-2855
Pojawia się w:
Measurement Automation Monitoring
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ł
    Wyświetlanie 1-3 z 3

    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