Перегляд Развитие информационно-ресурсного обеспечения образования и науки в горно-металлургической отрасли и на транспорте по назві
Зараз показуються 62-66 з 66
-
Формализация свойств безопасности криптографических протоколов с помощью логики линейного времени
(2014)Представлены основные свойства безопасности криптографических протоколов с помощью аппарата логики линейного времени LTL, а также приведен пример автомата Бюхи, построенного на основе формулы LTL. -
Формування результатів навчання при компетентнісній парадигмі вищої освіти
(2014)На підставі аналізу нормативно-правового забезпечення вищої освіти згруповано складові результату навчання при компетентнісній сутності змісту освіти, наведено досвід формування вимог до результатів ... -
Эколого-экономический эффект применения электроциклонов для очистки пылевых выбросов агломерационного производства
(2014)В работе предложена схема модернизации существующего пылеулавливающего оборудования на примере аглофабрики ПАО ДМКД. Проведено исследование технико-экономических показателей аппарата Электроциклон в сравнении ... -
Экономический анализ технологий регенерации металлокерамического инструмента
(2014)Проведен сравнительный экономический анализ технологий регенерации металлокерамических сплавов, разработана новая технология, основанная на использовании высоких градиентов давлений и скоростей нагрузки с целью ...