Автоматизація виявлення вразливостей у смарт-контрактах
Використання блокчейну для побудови, випадки вразливості смарт-контрактів. Логіка виявлення повторного входу, приклад оптимізації виявлення на вразливості повторного входу. Опис популярних інструментів статичного та гібридного пошуку вразливостей.
Подобные документы
Розробка інформаційного, алгоритмічного та програмного забезпечення системи підтримки прийняття рішень для автоматизації процесу керування вибором пристроїв орієнтування. Формалізований опис, класифікація системи орієнтації об’єктів виробництва.
автореферат, добавлен 28.08.2015Аналіз проблем харчування населення України та виявлення зниженого вмісту пектинових речовин у щоденних раціонах. Шляхи вирішення проблеми нестачі пектинових речовин. Огляд напрямків збагачення продуктів харчування та раціону пектиновими речовинами.
статья, добавлен 19.02.2016Технологічна лінія виробництва сиру, опис продукції, сировини і напівфабрикатів. Специфіка виробництва і споживання готової продукції, опис комплексів устаткування. Пристрій і принцип дії лінії, процес переробки молока. Параметри, які регулюються.
контрольная работа, добавлен 26.12.2014Ознакомление с процессом выбора технологической схемы очистки шахтных вод. Характеристика особенностей реагентного умягчения шахтной воды. Расчет осадкоуплотнителя и шламонакопителя. Рассмотрение методов использования шахтной воды для котельной.
курсовая работа, добавлен 17.03.2015Исследование технологического процесса производства строительных материалов. Рассмотрены возможности утилизации, в частности повторного использования теплоты отработанного пара и отходящих газов. Использование отработанного пара в качестве теплоносителя.
статья, добавлен 05.10.2019Поиск путей повышения эффективности эксплуатации крупногабаритных составных изделий тяжелого машиностроения. Разработка технологий повторного использования восстанавленных изделий. Оценка трудозатрат по реинжинирингу основных прокатных валков и деталей.
статья, добавлен 14.01.2017Нечітка логіка, нейромережний апарат в поєднанні з класичними алгоритмами керування. Переваги нечіткого адаптивного алгоритму над неадаптивними за рахунок меншої динамічної похибки та часу виходу на завдання. Технологічні об'єкти харчової промисловості.
статья, добавлен 13.01.2017Розробка технологічної схеми очищення стічних вод від фосфатів за допомогою застосування відпрацьованого сорбенту, у якому обмінні катіони заміщені іонами купруму, хрому або цинку. Спосіб регенерації та повторного застосування відпрацьованого цеоліту.
статья, добавлен 23.09.2016Пошук ефективних методів оперативного контролю технічного стану літальних апаратів військового призначення. Використання автоматизованого інформаційно-вимірювального комплексу для виявлення експлуатаційних пошкоджень крила й елементів хвостового оперення.
статья, добавлен 10.09.2024Исследование динамических свойств системы "источник питания-сварочная дуга" в зависимости от параметров сварочной цепи. Оценка скорости изменения напряжения на дуге при переходе тока через ноль. Условия для обеспечения надежного зажигания сварочной дуги.
статья, добавлен 31.08.2018Проблема розвитку наукових та методологічних основ синтезу та оптимізації структур однорідних об'єктів керування гірничого виробництва. Алгоритм їх функціонування на базі системи автоматизації транспорту. Площина використання комплексу технічних засобів.
автореферат, добавлен 27.09.2013Конкурентоспроможність і прибутковість виробничого підприємства. Актуальність застосування та особливості поширених систем автоматизованого проектування. Автоматизація використання високих технологій і гнучкість виробництва. Підвищення якості виробів.
статья, добавлен 30.01.2017Виявлення закономірностей корозійної поведінки нікелю, хрому, молібдену в озонованих розчинах сірчаної кислоти різних концентрацій і температур. Розробка рекомендацій щодо використання металів під час синтезу азолдикарбонових кислот за участю озону.
автореферат, добавлен 30.08.2014Розробка раціональних режимів деформації, дослідження закономірностей зміни механічних і технологічних властивостей холоднокатаного випаленого підката і наклепаної жерсті в залежності від умов відпалу та обтиснення при повторному холодному плющенні.
автореферат, добавлен 21.11.2013Сучасний стан створення та застосування інформаційних технологій для побудови автоматизованих систем переробки інформації. Основні методи оптимізації структури БСТП з ЛМУ на основі трирівневої моделі з урахуванням індивідуальних властивостей операторів.
автореферат, добавлен 20.07.2015Влияние синхронной нагрузки электрических систем на переходные процессы, вызванные короткими замыканиями при работе устройств автоматического повторного включения. Методы расчета токов подпитки двигателей. Режимы группового выбега статора и ротора.
статья, добавлен 18.07.2015Опис схеми автоматизації технологічного процесу. Принципи вимірювання і первинні перетворювачі. Отримання передаточної функції об’єкта управління. Конструкція агрегату і устаткування технологічного процесу. Принципи вимірювання і первинні перетворювачі.
курсовая работа, добавлен 26.05.2021Особливості систем електропостачання сільськогосподарського виробництва, визначення джерел енергії, методи її контролю та обліку. Автоматизація системи з функціями управління технологічними процесами енергоспоживання та вироблення електричної енергії.
автореферат, добавлен 15.07.2014Розробка способу конструювання шарових систем з функціонально-розподіленої твердопаливної насадкою. Перетворення їх у друзи блочно-коміркової структури в керованому рідкофазному синтезі гібридного залізорудного матеріалу. Вплив на процес агломерації.
автореферат, добавлен 14.07.2015Резервы энергетических и материальных ресурсов в технологических процессах производства строительных материалов. Возможность повторного использования отработанного пара и отходящих газов как теплоносителей. Сокращение выбросов котельных и расхода воды.
статья, добавлен 11.12.2015Створення системи ідентифікації параметрів моделі промислового пташника для побудови системи автоматизації його температурного режиму. Розробка ієрархічної структури управління технологічними процесами та методики пасивної ідентифікації моделей.
автореферат, добавлен 27.04.2014Опис технологічного процесу обробки та сушіння деревини. Особливості сушильної камери, автоматизація та регуляція сушки. Використання методів автоматизації лінії виробництва і контролю роботи лінії. Засоби підключення і контролю розробленого контроллера.
курсовая работа, добавлен 05.12.2017Повышение износостойкости при наличии тонкого слоя порошкообразного абразива на рабочей поверхности пуансона. Анализ прочности сцепления абразивных частиц механическим способом при соотношении размеров впадин и выступов микрорельефа рабочей поверхности.
статья, добавлен 02.02.2019Визначення межі міцності деревини у разі статичного поперечного згину під час випробувань балок будівельних розмірів з круглим поперечним перерізом. Характеристика дослідних балок з сучками. Підвищення міцності підсушених зразків порівняно з вологими.
реферат, добавлен 28.08.2017Моделі механічних складових та впливу температури тильних коливань. Автоматизація проектування мікі круроелектромеханічних систем давачів кутової швидкості. Технології виготовлення та програмне забезпечення для проектування і моделювання здавачів.
автореферат, добавлен 14.08.2015