концентрація

Несуперечність алгебри секвенційних алгоритмів, за умов логічних значень змінних і функціональних змінних та наявності тільки одного індексу порядку, доведена зведенням операцій алгебри секвенційних алгоритмів до операцій несуперечної логіки предикатів.

Sequential consistency algebra algorithms under logical variables and functional variables and there is only one index procedure proved mixing operations algebra sequential algorithms for operations consistent logic.

Discrete estimators of the deterministic part for a biperiodically nonstationary signal obtained by the least square method (LSM) are analysed.  It was shown that LSM-estimation allows avoiding the leakage effects.  The conditions of consistency for the discrete estimators are obtained.  The formulae for variance estimators, which describe their dependencies on a realization length, sampling interval and signal covariance components, are analysed.

Розглянуто алгоритмічний метод підвищення точності лопаткових концентратомірів, у разі реалізації якого вимірюється сила струму через навитку магнітоелектричного перетворювача в усталеному режимі під час руху вимірювальної лопатки в обидва боки. У такий спосіб можна мінімізувати похибку, яка виникає внаслідок впливу зміни швидкості течії паперової пульпи відносно вимірювальної лопатки концентратоміра. Наведено блок – схему концентратоміра паперової пульпи з компенсацією впливу швидкості потоку паперової пульпи.