Автоматизація виявлення вразливостей у смарт-контрактах
Використання блокчейну для побудови, випадки вразливості смарт-контрактів. Логіка виявлення повторного входу, приклад оптимізації виявлення на вразливості повторного входу. Опис популярних інструментів статичного та гібридного пошуку вразливостей.
Подобные документы
Дослідження особливостей прогину деревини за статичного поперечного згину в разі дії повторного статичного навантаження. Схема навантаження на згин з врахуванням розташування сучків. Характеристика результатів розрахунків опорів у балках з тріщинами.
доклад, добавлен 22.09.2017Забезпечення ресурсозберігаючих умов повторного використання виїмкової виробки. Керування геомеханічними процесами, охоронною литою смугою з регульованою розвантажувальною порожниною. Зрушення вуглевмісної породної товщі робочих пластів Західного Донбасу.
автореферат, добавлен 29.08.2015Теплофізична модель об’єкта циліндричної форми і визначення закономірностей виявлення дефектів. Методика розрахунку джерел теплового збудження випромінювального типу. Принципи побудови реєструючої апаратури та виявлення її головних технічних параметрів.
автореферат, добавлен 28.07.2014Разработка и обоснование способа термической регенерации кизельгура для повторного его использования в процессе осветления пива. Проектирование и внедрение инновационных технологических и конструкторских решений при практической реализации процесса.
статья, добавлен 11.08.2018Опис методу побудови онтологій предметної області, навантажених ціллю діяльності, які придатні для автоматизації управління у виробничих та організаційних структурах. Загальні методи побудови ієрархічних онтологій предметних областей, їх використання.
статья, добавлен 23.09.2016Особливості побудови електромагнітних засобів контролю якості матеріалів на основі використання математичного апарату різноконтурних задач для рівнянь з частинними похідними. Аналіз засобів безконтактного виявлення дефектів у струмопровідних матеріалах.
автореферат, добавлен 05.08.2014Підвищення ефективності систем магнітодинамічної дефектоскопії залізничних рейок. Використання критерію збільшення ймовірності виявлення сигналів від небезпечних дефектів на фоні шумів та інших сигналів регулярних об'єктів колії. Автоматизація процесу.
автореферат, добавлен 28.03.2016Виявлення об’єктів із локально незмінними параметрами видимого руху при прийнятних обчислювальних витратах. Розробка ефективних обчислювальних методів обробки даних для автоматизованого виявлення об’єктів із локально незмінними параметрами видимого руху.
дипломная работа, добавлен 19.06.2018Дослідження магнітного метода виявлення феромагнітних тіл у потоці немагнітних середовищ. Розробка системи розташування давачів на транспортері. Розрахунок та аналіз напруженості магнітного поля в осердях ферозонда, що створює феромагнітна частка.
автореферат, добавлен 28.07.2014Виявлення рівня здатності до емпатії студентів-медиків на початковому етапі навчання та виявлення динаміки зміни її в процесі вивчення гуманітарних дисциплін. Формування засад психологічних знань для самопізнання і духовного розвитку особистості.
статья, добавлен 27.12.2022Використання автоматизованих дробарок (щокових, конусних, валкових) на дробильно-збагачувальних фабриках різних галузей промисловості. Функціональні схеми автоматизації технологічного процесу. Технічні характеристики, опис і принцип дії дробарок.
курсовая работа, добавлен 26.12.2014- 12. Моделювання генератора радіоімпульсів ЯКР-спектрометра для виявлення вибухових і наркотичних речовин
Сутність ядерного квадрупольного резонансу як одного з високотехнологічних методів виявлення вибухових і наркотичних речовин. Метод квадрупольного спінового відлуння. Поширення в спектроскопії ядерного квадрупольного резонансу для реєстрації спектрів.
статья, добавлен 27.07.2021 - 13. Управління проектами створення космічної техніки нового покоління на основі компонентного підходу
Методика розробки багаторівневої архітектури складного космічного виробу, класифікація її основних складових. Дослідження специфічних особливостей визначення множини компонентів повторного використання у вигляді формалізованого досвіду проектування.
автореферат, добавлен 26.09.2015 Проведення варіння пшеничної соломи в середовищі ізобутилового спирту за різних температур і тривалості. Визначення основних показників якості органосольвентної целюлози та можливості повторного використання органічного компоненту варильного розчину.
статья, добавлен 14.01.2017Ознайомлення з порядком побудови теплофізичних моделей бездефектного трубопроводу і трубопроводу з можливими дефектами. Вибір методів аналізу побудованої моделі. Аналіз факторів, які впливають на формування температурного розподілу на поверхні ґрунту.
автореферат, добавлен 24.06.2014Аналіз існуючих методів обробки і повторного використання стічних вод станцій водопідготовки. Дослідження процесу регенерації натрій-катіонітового фільтру з повторним використанням частин відпрацьованих розчинів. Економічна оцінка даної технології.
автореферат, добавлен 28.07.2014Вивчення процесів повторного електролізу для підвищення концентрації кислоти, дослідження кінетичних закономірностей даного процесу. Електрохімічна переробка сульфатвмісних елюатів, використання двохкамерного електролізера з аніонообмінною мембраною.
статья, добавлен 02.10.2018Опис технологічного процесу водопідготовки та установки ультрафільтрації. Вибір засобів автоматизації. Опис схем сигналізації, керування, блокування та захисту. Характеристика монтажу та експлуатації засобів автоматизації. Аналіз організації виробництва.
дипломная работа, добавлен 25.06.2017- 19. Формування асортименту та якості фільтрувальних нетканих матеріалів на основі термостійких волокон
Комплексне оцінювання якості нетканих полотен різного волокнистого складу, призначених для виготовлення рукавних фільтрів, дослідження їх поведінки в умовах експлуатації на підприємствах чорної металургії та виявлення переваг для оптимізації асортименту.
автореферат, добавлен 25.07.2015 Аналіз причин використання скорочень у електронному листуванні для розуміння їхньої ролі у спілкуванні та виявлення впливу на сприйняття повідомлення. Основні завдання постають як аналіз скорочень та їх причин використання у електронному листуванні.
статья, добавлен 04.08.2024Виявлення основних фізичних основ силової взаємодії різних за формою і напрямком струменів повітря із торцевою і циліндричною поверхнями об’єктів маніпулювання. Розробка схем струменевих захоплюючих пристроїв для захоплення об’єктів типу тіла обертання.
автореферат, добавлен 11.11.2013Розробка програмного забезпечення для кількісного аналізу кінематичних схем з різними ступенями рухомості та виявлення доцільних варіантів по розробленому алгоритму. Програмне забезпечення для автоматичної побудови робочої зони кінематичної схеми робота.
статья, добавлен 29.06.2016Виявлення нових закономірностей процесів шлакоутворення на основі аналізу теоретичних положень, відомих з літератури і особливостей утворення розплавів, розробка і впровадження у виробництво нових підходів до рішення задач оптимізації складу шихти.
автореферат, добавлен 28.08.2014Виявлення шляхів покращення характеристик пневматичних приводів з великим інерційним навантаженням і розгляд придатної для масового використання конструкції універсального пневмопривідного модуля лінійного переміщення з позиційною системою керування.
автореферат, добавлен 27.07.2014Освоєння провідних технологій та автоматизація виробництва. Класифікація автоматичних вагових і дозуючих приладів для твердих матеріалів і рідин. Аналіз технологічного процесу як об’єкта управління. Опис функціональної схеми та засобів автоматизації.
контрольная работа, добавлен 25.08.2010