Досліджено особливості атомно-емісійного спектрального аналізу високочистих промислових і прісних природних вод на вміст 17 елементів після їх сорбційного концентрування на немодифікованих кремнеземах різної дисперсності. Запропоновано комбінований метод аналізу кремнеземних матеріалів і маломінералізованих вод з границями виявлення елементів 2 - 10 мкг/л.

Запропоновано метод побудови автомата за логічною формулою першого порядку підібними до методу табло, що може розглядатися як його модифікація й удосконалення.

Вивчено й оптимізовано умови сорбційного концентрування та розділення Mo(VI) і W(VI) на поліфункціональних сорбентах у присутності КПАР. Розроблено спектрофотометричну методику визначення Mo(VI) у сплавах на нікелевій основі з попереднім сорбційним відділенням елементів макрооснови, елемента-аналога W(VI), а також елементів, які заважають його фотометричній реакції з карбоксилдіоксихроменолом без проведення додаткових аналітичних процедур.

Індекс рубрикатора НБУВ: З815,0

Рубрики:

Теорія автоматів

Шифр НБУВ: Ж29114 Пошук видання у каталогах НБУВ 

Індекс рубрикатора НБУВ: Г274.3

Рубрики:

Органічні сполуки елементів підгрупи германію

Шифр НБУВ: Ж21854 Пошук видання у каталогах НБУВ 

Індекс рубрикатора НБУВ: З973-018.210

Рубрики:

Комп'ютери та програмування

Шифр НБУВ: Ж29114 Пошук видання у каталогах НБУВ 

Індекс рубрикатора НБУВ: З815.0

Рубрики:

Аналіз і синтез автоматів

Шифр НБУВ: Ж29114 Пошук видання у каталогах НБУВ 

На прикладі диметил-, діетил-, дибутил-, діізопропіл- та діізобутилдітіокарбаматів Ni (II), Cu (II), Pd (II), Co (III), Zn (II), Cd (II), Hg (II) вивчено вплив природи металу та структури реагенту на кількісні та метрологічні характеристики їх газохроматографічного визначення. Показано, що найкращі газохроматографічні властивості мають діетил-, діізопропіл- та діізобутилдітіокарбамати нікелю, паладію, кобальту та міді.

Індекс рубрикатора НБУВ: Г27

Рубрики:

Елементоорганічні сполуки

Шифр НБУВ: Ж21854 Пошук видання у каталогах НБУВ 

Індекс рубрикатора НБУВ: Е50*725.29 + П213-264

Рубрики:

Загальна ботаніка

Зернові бобові культури

Шифр НБУВ: Ж21854 Пошук видання у каталогах НБУВ 

Рассмотрен регулярный подход к построению логической спецификации реактивного алгоритма на основании неформальных функциональных требований к его функционированию. Предложенный подход проиллюстрирован на примере.

Разработана конструкция унифицированной шлаковозной чаши для доменного и сталеплавильного производства. Создан и введен в эксплуатацию участок производства шлаковозных чаш в разливочном пролете мартеновского цеха. Отмечено, что технология производства чаш, освоенная на комбинате, легко вписывается в технологический цикл мартеновского цеха, позволяет использовать имеющиеся в наличии транспортные и энергетические коммуникации, оборудование.

Запропоновано підхід до синтезу автомата, який специфіковано логічною формулою у кон'юнктивній нормальній формі (КНФ). З цією метою використано метод синтезу автомата за специфікацією, яку подано у диз'юнктивній нормальній формі (ДНФ), а синтез проведено без перетворення КНФ у ДНФ. Завдяки цьому запропонований метод має ту ж саму ефективність, що й метод, на якому він базується.

Розглянуто основні проблеми, пов'язані з використанням теоретико-автоматних методів верифікації, зокрема, побудову автомата-розпізнавача за формулою темпоральної логіки та редукцію автомата, що верифікується.

Вивчено сорбцію катіонних ПАР хлориду цетилпіридинію та етонію - представників піридинієвих та біс-четвертинних амонієвих солей, які відрізняються геометричними та структурними параметрами на катіоніті "КУ-2-8" та аніоніті "АВ-17-8" у широкому діапазоні концентрацій. Виявлені особливості їх сорбції з істинних розчинів пояснено гідролізом, що помітно протікає з утворенням нейтральних молекул відповідних основ.

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

Ключ. слова: реактивные алгоритмы, спецификация, язык L, выполнимость формулы, глубина формулы, множество конъюнктов
Індекс рубрикатора НБУВ: З973-018

Рубрики:

Комп'ютери та програмування

Шифр НБУВ: Ж29144 Пошук видання у каталогах НБУВ 

Індекс рубрикатора НБУВ: З973-018.2

Рубрики:

Комп'ютери та програмування

Шифр НБУВ: Ж29144 Пошук видання у каталогах НБУВ 

Синтезированы комплексные тетрафторобораты кобальта (II) с азотсодержащими органическими основаниями, установлен их состав. По результатам физико-химического исследования определены центры координации органических лигандов и характер связывания тетрафтороборат-иона, описано строение полученных комплексов.

Ключ. слова: язык L, выполнимость формулы, глубина формулы, множество конъюнктов, представление данных, оценка сложности
Індекс рубрикатора НБУВ: З973-018.2

Рубрики:

Комп'ютери та програмування

Шифр НБУВ: Ж29144 Пошук видання у каталогах НБУВ