Кричевець Олександр. Застосування елементів теорії кінцевих автоматів для досліджень динамічних властивостей обчислювальних компонентів вимірювальних систем.

УДК 681.242.389
ЗАСТОСУВАННЯ ЕЛЕМЕНТІВ ТЕОРІЇ КІНЦЕВИХ АВТОМАТІВ
ДЛЯ ДОСЛІДЖЕНЬ ДИНАМІЧНИХ ВЛАСТИВОСТЕЙ ОБЧИСЛЮВАЛЬНИХ КОМПОНЕНТІВ ВИМІРЮВАЛЬНИХ СИСТЕМ
© Кричевець Олександр, 2017
Державне підприємство “Науково-дослідний інститут метрології вимірювальних та управляючих систем”,
вул. М. Кривоноса, 679008, Львів, Україна
Розглянуто динамічні властивості обчислювальних компонентів вимірювальних систем на базі теорії елементарних кінцевих автоматів. Показано, що динамічні властивості обчислювальних компонентів у представленні елементарного автомата Мілі виникають переважно внаслідок змін вхідних сигналів x (t). Для обчислювальних компонентів у представленні елементарного автомата Мура динамічні властивості залежать від метрологічного стану компонентів. Подано результати розрахунків динамічних характеристик обчислювальних компонентів, які використовують типові обчислювальні алгоритми.
Ключові слова: обчислювальний компонент, автомат Мілі, автомат Мура, динамічні характеристики.
Рассмотрены динамические свойства вычислительных компонентов измерительных систем на базе теории элементарных конечных автоматов. Показано, что динамические свойства вычислительных компонентов в представлении элементарного автомата Мили возникают преимущественно в результате изменений входных сигналов x (t). Для вычислительных компонентов в представлении элементарного
автомата Мура динамические свойства зависят от метрологического состояния компонентов. Представлены результаты расчетов динамических характеристик вычислительных компонентов, которые используют типовые вычислительные алгоритмы.
Ключевые слова: вычислительный компонент, автомат Мили, автомат Мура, динамические характеристики.
The results of research dynamic properties of computing components of measuring systems is considered. It is shown that the dynamic properties of computing components in the presentation Mealy machine arising due to the dynamic changes in input signals x (t). For the computing components to present Moore dynamic properties are determined mainly dynamic changes of metrological conditions computing components.
A distinctive feature of Mealy machines is that their output signals depend on the state of the machine, and the value of the input signal. In Moore machine outputs y (t) at each discrete time t is uniquely determined by the state machine at the same time and do not depend on the input signаl. Hence, if the input mealy machine that keeps the same state will change the input of its value and in time, the output signal will change according to the algorithm of the machine. In the Moore machine this happens, change the output signal is possible only after the change in status.
Therefore, when you receive repeated the same input signal at the outputs Moore machine can form various signals.
In Moore machines forming the output signal takes time, and is usually divided into cycles. In each cycle, depending on the input signal and state machine output signal is formed and a new state. Thus, we can say that the output signal Moore automaton depends on the sequence of inputs. This causes the output depending on the time of admission to the input signal machine.
Hence, one should note the existence of dynamic properties of the machine during operation.
So the dynamic properties of computing component in the presentation Mealy machine arising due to the dynamic changes in the time of the input signals x (t). For the computing component to present Moore machine dynamic properties are determined mainly dynamic changes of metrological conditions of computing component.
Then the dynamic properties of computing component in the presentation Mealy machine determined dynamic characteristic – the dependence of error of the results of numerical measurement conversion on the values of the error signal input at the time, and for the computing component to present Moore machine – dependent error numerical measuring conversion of options approach, which, in fact, responsible for change computing component metrological conditions at the time.
The first type conversion is typical in the implementation of computational algorithms for the calculation formula, and the other type – in the implementation of computational algorithms for approximate calculation.
A computational experiments with different types of computer algorithms are presented. For the first type conversion formula used for linear dependencies. For the second – iterative procedures and numerical integration.
Key words: computing component, Mealy machine, Moore machine, dynamic characteristic.
Література – 7.