ivdon3@bk.ru
Данная статья рассматривает два из наиболее применимых алгоритмов построения дерева доминаторов в контексте статического анализа кода на языке программирования Solidity. Оба алгоритма: итеративный алгоритм Cooper, Harvey, Kennedy и алгоритм Lengauer-Tarjan считаются эффективными и широко используются на практике. В статье производится сравнение алгоритмов, оценка их сложности и выбор наиболее предпочтительного в контексте данного языка. Для сравнения были использованы критерии, такие как время выполнения и использование памяти. Итеративный алгоритм Cooper, Harvey, Kennedy показал более высокую производительность при работе с небольшими проектами, в то время как алгоритм Lengauer-Tarjan лучше справился с анализом более крупных проектов. Однако, в целом, итеративный алгоритм Cooper, Harvey, Kennedy оказался более предпочтительным в контексте Solidity, так как он показал более высокую эффективность и точность при анализе смарт-контрактов на данном языке программирования. В заключение, данная статья может быть полезна для разработчиков и исследователей, которые занимаются статическим анализом кода на языке Solidity, и которые могут использовать результаты и выводы данного исследования в своей работе.
Ключевые слова: дерево доминаторов, Solidity, сравнение алгоритмов
1.2.2 - Математическое моделирование, численные методы и комплексы программ
В статье представлено описание конструкции бурава возрастного, его существующих модификаций и дополнительных приспособлений. На основании проведенного обзора перечислены (обозначены, выбраны) пути совершенствования бурава. Предлагаемые авторами технические решения находятся на стадии патентования.
Ключевые слова: Бурав возрастной, подготовительные работы лесозаготовок, возраст дерева, таксация леса, керн.
05.02.22 - Организация производства (по отраслям) , 05.21.01 - Технология и машины лесозаготовок и лесного хозяйства