Автоматизація виявлення вразливостей у смарт-контрактах
Використання блокчейну для побудови, випадки вразливості смарт-контрактів. Логіка виявлення повторного входу, приклад оптимізації виявлення на вразливості повторного входу. Опис популярних інструментів статичного та гібридного пошуку вразливостей.
Подобные документы
Автоматизація технологічних процесів. З'ясування сутності категорій "машинного навчання", "глибинного навчання" та "розпізнавання зображень". Використання глибинного навчання для побудови системи розпізнавання зображень з нейромережевою архітектурою.
статья, добавлен 03.09.2021Аналіз негативного впливу збурень на процес керування. Синтез статичного зворотного зв’язку для стабілізації вертольоту в режимі висіння. Застосування технологій оптимізації. Забезпечення стійкості та керованості для зниження навантаження на пілота.
автореферат, добавлен 29.07.2015Формалізація процесів експлуатації і метрологічного обслуговування засобів вимірювальної техніки на промислових підприємствах. Використання методу ненаправленого випадкового пошуку Монте-Карло для оптимізації параметрів метрологічного обслуговування.
статья, добавлен 29.07.2016Розробка індуктивного пристрою з генераторним перетворювачем. Розташування датчику по один бік з об'єктом контролю, направленість котушок до поверхні контрольованого інструменту. Сприймання збурення електромагнітного поля та управління генератором.
статья, добавлен 30.01.2017Виявлення підходів збереження автентичних солеварних підприємств у Європі, створення туристичних та оздоровчих комплексів в місцях колись активного видобутку солі. Розкриття потенціалу регіонів як Дрогобицька, Солотвинська Долиньська солекопальні.
статья, добавлен 22.05.2022Визначення основних типів нагрівачів із соленоїдними індукторами відповідно до класифікації з'єднань. Обґрунтування моделі надійності індуктору. Виявлення та характеристика умов розбирання при нагріванні з визначенням параметрів, що лімітують якість.
автореферат, добавлен 30.07.2014Призначення та основні технічні характеристики дифманометра, принципи його монтажу та підготовки до роботи. Методи та засоби повірки приладу, налаштування, механізми виявлення несправностей та ремонту. Застосування енергозберігаючих технологій.
контрольная работа, добавлен 18.05.2016Головна особливість отримання пористої структури охолодження для різних енергетичних установок. Аналіз розгляду комбінації дії капілярного і гравітаційного потенціалів. Виявлення характерних областей теплообміну і оптимальних для них витрат рідини.
статья, добавлен 30.10.2016Особливості та основні етапи ремонту електродвигунів, аналіз стану підшипникового щитка, ротора та муфти, зміщення обертальних кілець. Виявлення дефектів частин і деталей верстатів. Причини несправності контакторів, кінцевих вимикачів, методи їх усунення.
реферат, добавлен 10.12.2014Виявлення значного розширення області низькотемпературної повзучості в кислих середовищах в порівнянні з середою повітря на сталевому газопроводі. Головна особливість появи значної інтенсифікації локальних корозійних процесів в зоні зварного з'єднання.
статья, добавлен 29.09.2018Розробка математичної моделі секції розкрійної схеми. Повний опис модифікованого генетичного алгоритму для розв'язання задачі побудови розкладок, враховуючи специфіку деталей шкіргалантерейних виробів та рядну систему розташування деталей в секціях.
статья, добавлен 30.10.2016Методика розв’язання зв’язаних граничних задач термопружності для багатозв’язних циліндричних тіл при їх гармонійному механічному і тепловому збудженні. Чисельні дослідження для виявлення нових закономірностей змінювання хвильових і термопружних полів.
автореферат, добавлен 20.07.2015Матеріали, що застосовуються для виготовлення повітряних резервуарів тепловозів. Проектована технологічна черговість контролю якості металів та зварних з’єднань. Розрахунок режимів ультразвукового інспектування. Розгляд чисельності виробничих робітників.
дипломная работа, добавлен 08.06.2018Принципи балансування конструкцій швейних виробів на фігурі людини. Виявлення параметральних залежностей для розрахунку конструктивних параметрів. Процес впровадження результатів досліджень у виробництво. Трансформування вихідної поверхні в нові форми.
автореферат, добавлен 14.09.2013Особливості хроматографічних шляхів виявлення наявності пестицидів. Можливості сучасних інструментальних технологій аналізу надлишок сторонніх речовин в сировині. Об’єктивність відображення стійких забруднювачів за допомогою селективного детектора.
статья, добавлен 22.03.2016Огляд спеціальної структурної схеми та відповідної математичної моделі повітропідігрівника як системи взаємопов’язаних теплообмінників. Оцінка методичного апарату розрахунків повітропідігрівників, і апарату для виявлення можливих удосконалень об’єкта.
статья, добавлен 23.09.2016Застосування у біомедичній галузі рідкоструктурованих гідрогелей. Встановлення закономірностей гранульної гомополімеризації оксиетилен-метакрилату та його кополімеризації. Виявлення впливу умов синтезу на структуру і властивості полімерних частинок.
автореферат, добавлен 22.07.2014Характеристика результатів дослідження хвилі позаконтактної деформації. Особливість ресурсозберігаючого процесу обробки глибоких отворів у гільзах гідроциліндрів, виготовлених з трубопрокату. Аналіз виявлення стискаючих напруження у поверхневих шарах.
статья, добавлен 29.01.2016Аналіз результатів досліджень багатокомпонентних рідин в широкому електромагнітному полі частот. Виявлення індивідуальних спектральних характеристик для рідин, які залежать від хімічної природи складників, їх концентрацій та конструкції перетворювача.
статья, добавлен 29.07.2016Поняття про поверхні, розміри, відхилення та допуски. Різновиди, будова та використання вимірювальних інструментів у машинобудуванні. Загальна характеристика та опис видів посадок. Точність форми та шорсткість поверхонь деталей. Параметри шорсткості.
реферат, добавлен 04.02.2011Виявлення факторів, які впливають на процеси пошкодження обмоток при коротких замиканнях. Розкриття механізмів їх впливу на електродинамічну стійкість обмоток. Розробка математичних моделей для визначення параметрів процесів, що призводять до пошкоджень.
автореферат, добавлен 28.08.2014- 97. Металографічний та електронно-мікроскопічний методи досліджень робочих поверхонь контакт-деталей
Дослідження теплових та фізико-хімічні процесів, що відбуваються на поверхнях контактів при комутації струму. Проведення мікроструктурного аналізу матеріалів на основі Ag з оксидними домішками для виявлення картини розподілу зміцнюючих добавок у матриці.
статья, добавлен 30.01.2017 Порядок вибору раціональних режимів обробки з метою максимального використання технологічних можливостей даного методу. Розроблення методики побудови математичної моделі та програми оптимізації режимів обробки поверхневим пластичним деформуванням.
статья, добавлен 13.09.2013Визначення потужності ГЕС, розрахунок кількості та потужності гідротурбін. Виявлення типу робочого колеса (поворотно-лопастний). Розрахунок відсмоктувальної труби яка дозволяє безперешкодно відводити вироблену воду у нижній б’єф без втрати напору.
курсовая работа, добавлен 18.01.2014Аналіз причин передчасного руйнування робочих лопаток компресорів і виявлення технологічних факторів, що впливають на їх витривалість. Застосування високошвидкісного фрезерування, необхідного устаткування і інструмента для обробки пера лопаток.
автореферат, добавлен 26.07.2014