Данная статья рассматривает два из наиболее применимых алгоритмов построения дерева доминаторов в контексте статического анализа кода на языке программирования Solidity. Оба алгоритма: итеративный алгоритм Cooper, Harvey, Kennedy и алгоритм Lengauer-Tarjan считаются эффективными и широко используются на практике. В статье производится сравнение алгоритмов, оценка их сложности и выбор наиболее предпочтительного в контексте данного языка. Для сравнения были использованы критерии, такие как время выполнения и использование памяти. Итеративный алгоритм Cooper, Harvey, Kennedy показал более высокую производительность при работе с небольшими проектами, в то время как алгоритм Lengauer-Tarjan лучше справился с анализом более крупных проектов. Однако, в целом, итеративный алгоритм Cooper, Harvey, Kennedy оказался более предпочтительным в контексте Solidity, так как он показал более высокую эффективность и точность при анализе смарт-контрактов на данном языке программирования. В заключение, данная статья может быть полезна для разработчиков и исследователей, которые занимаются статическим анализом кода на языке Solidity, и которые могут использовать результаты и выводы данного исследования в своей работе.

Ключевые слова: дерево доминаторов, Solidity, сравнение алгоритмов

1.2.2 - Математическое моделирование, численные методы и комплексы программ

При разработке любой технологии ремонта необходимо проведение микрометражных исследований изношенных деталей агрегатов при помощи метрологического оборудования. На сегодняшний момент для повышения точности исследований ремонтные предприятия должны использовать новейшие измерительные системы, позволяющие проводить полный комплекс работ по профилографированию поверхностей изношенных деталей. К таким устройствам относится например профилограф-профилометр английской фирмы «Тэйлор Хобсон», который позволил определить величину припуска на механическую обработку корпуса распределителя гидроусилителя рулевого управления. В результате, с использованием полученных данных была разработана технология ремонта гидроусилителя рулевого управления автомобилей КамАЗ.

Ключевые слова: метрологическое оборудование, профилограф-профилометр, микрометраж, гидроусилитель, технология ремонта, восстановление работоспособности, износ, распределитель, вал

05.11.13 - Приборы и методы контроля природной среды, веществ, материалов и изделий

В статье представлено описание конструкции бурава возрастного, его существующих модификаций и дополнительных приспособлений.  На основании проведенного обзора перечислены (обозначены, выбраны) пути совершенствования бурава. Предлагаемые авторами технические решения находятся на стадии патентования.   

Ключевые слова: Бурав возрастной, подготовительные работы лесозаготовок, возраст дерева, таксация леса, керн.

05.02.22 - Организация производства (по отраслям) , 05.21.01 - Технология и машины лесозаготовок и лесного хозяйства