Search
Now showing items 21-30 of 67
Формализация свойств безопасности криптографических протоколов с помощью логики линейного времени
(2014)
Представлены основные свойства безопасности криптографических протоколов с помощью аппарата логики линейного времени LTL, а также приведен пример автомата Бюхи, построенного на основе формулы LTL.
Утилизация автомобилей в Украине
(2014)
Рассматриваются вопросы утилизации автомобилей в Украине.
Влияние неконтролируемых параметров чугуна и лома на ход конвертерной плавки
(2014)
В работе исследовано и разработано методы повышения точности информации о начальных параметрах металлической части шихты для повышения показателей управления конвертерной плавкой.
Динамічні розрахунки параметрів киснево-конвертерної плавки
(2014)
В роботі наведені результати розробки динамічного алгоритму управління 160–тонним конвертером.
Повышение точности измерения расхода и количества природного газа
(2014)
В работе приведены результаты теоретических исследований измерительных преобразователей расхода природного газа на основе метода переменного перепада давления с использованием сужающего устройства в виде трубы Вентури.
Полумарковская модель для определения оптимальных периодичностей технического обслуживания электромеханических систем
(2014)
В работе рассматривается методика выбора оптимальных периодичностей технического обслуживания (ТО) электромеханических систем (ЭМС). Предложена полумарковская модель процесса эксплуатации ЭМС, на основе которой получены ...
Реалізація частотного керування електродвигуном механізму підйому вантажу
(2014)
Описано систему для керування механізмом підйому вантажу, в основу якої покладено частотне керування електроприводом механізму. Наведено принципову електричну схему та алгоритм роботи розробленого програмного забезпечення ...
Складання математичної моделі технологічного процесу подрібнення та класифікації рудного матеріалу
(2014)
В роботі описано та теоретично досліджено підхід до складання математичної моделі циклу технологічного процесу подрібнення та класифікації, що складається з млина, класифікатора з урахуванням відповідних запізнень та заданої ...
Метод експертного оцінювання знань при нечіткій інформації
(2014)
В роботі наведено багатокритеріальний метод експертного оцінювання знань студентів в умовах нечіткої інформації, який дозволяє знизити суб’єктивізм викладачів, отримати максимально достовірну інформацію про рівень знань ...
Анализ футеровочных элементов кузовов карьерных автосамосвалов
(2014)
В работе проведен анализ футеровочных элементов кузовов карьерных автосамосвалов. Представлены преимущества и недостатки различных видов футеровки кузова.