Перегляд по темі "mathematical modelling"
Зараз показуються 1-3 з 3
-
Designing cutting tools of mining machines for coal auger mining
(National Mining University, 2016-09-30)Purpose. The need for new technologies and techniques for the efficient development of thin coal seams. Methods. Mathematical and experimental modeling of the contact interaction of multipoint cutter with the rock. ... -
Hydrodynamic and geomechanical stability of dump territories of mining and electric power enterprises
(Видавництво НТУ ДП, 2020)Purpose. Substantiation the criteria of hydrodynamic and geomechanical stability of waste dumps and adjacent territories by results of comprehensive study of technogenic mode patterns. Methodology. The study was ... -
Формализация свойств безопасности криптографических протоколов с помощью логики линейного времени
(2014)Представлены основные свойства безопасности криптографических протоколов с помощью аппарата логики линейного времени LTL, а также приведен пример автомата Бюхи, построенного на основе формулы LTL.