?
Обзор применения формальных методов в робототехнике
Научно-технические ведомости Санкт-Петербургского государственного политехнического университета. Информатика. Телекоммуникации. Управление. 2016. № 1 (236). С. 84–107.
Мордвинов Д. А., Литвинов Ю. В.
Представлен обзор применения формальных методов в контексте робототехники. Рассмотрены недавние работы, посвященные спецификациям поведения роботов в терминах темпоральных логик, применению идей подхода model checking к таким системам. также рассмотрено применение формальных методов анализа сетей Петри и моделирования поведения робототехнических систем с их помощью. Отдельное внимание уделено верификации гибридных систем, применению алгебр процессов для спецификации поведения параллельных систем, а также использованию других подходов для верификации и синтеза программ поведения роботов.
IEEE, 2025.
Добавлено: 2 марта 2026 г.
Лешаков П. С., 2025 № 1
В статье анализируется современное состояние и перспективы развития технологий искусственного интеллекта (ИИ) в КНДР. Ожидания того, что ИИ откроет дорогу новому технологическому укладу, предопределили жесткую конкуренцию стран мира за лидерство. С учетом «эффекта масштаба», в нынешних условиях догнать отстающим странам лидеров чрезвычайно сложно. В этом отношении определенный интерес представляет опыт КНДР в развитии технологий ИИ. ...
Добавлено: 6 февраля 2026 г.
Application Layer Protocol for a Heterogeneous Group of Mobile Robots in Search and Rescue Scenarios
Магид Е. А., Lobachevskii Journal of Mathematics 2025 Vol. 46 No. 4 P. 1879–1891
Добавлено: 25 ноября 2025 г.
Магид Е. А., Abbyasov B., Lavrenov R. и др., Lobachevskii Journal of Mathematics 2025 Vol. 46 No. 5 P. 2382–2395
Добавлено: 25 ноября 2025 г.
Ковалев Д. Ю., Чебышевский сборник 2025 Т. 26 № 3 С. 113–124
В статье определен императивный язык программирования, учитывающий аппаратные ограничения вычислителя с набором инструкций RV32I, заданы его синтаксис и аксиоматическая семантика в виде логики Хоара. Необходимость подобного языка определяется невозможностью напрямую применять формальные доказательства, проведенные для программ на языках, не учитывающих аппаратные ограничения, к транслированному коду, исполняющемуся на реальном аппаратном вычислителе. В то же время проведение ...
Добавлено: 5 ноября 2025 г.
Анташева М. С., Димов Г. В., В кн.: Саммиты БРИКС и ШОС: устойчивое развитие.: М.: Российский государственный гуманитарный университет, 2025. С. 13–25.
Стремительное развитие цифровых технологий оказывает влияние на программно-аппаратный комплекс промышленных роботов, обеспечивая расширение области их применения и повышение уровня роботизации промышленности в ведущих экономиках. В России же рынок промышленных роботов характеризуется высокой импортозависимостью и дефицитом собственных технологий, которые ограничивают возможности роботизации производства. С 2025 г. в России начнут действовать меры, направленные на поддержку производства и ...
Добавлено: 23 июня 2025 г.
Ковалев Д. Ю., В кн.: Алгебра, теория чисел, дискретная геометрия и многомасштабное моделирование: современные проблемы, приложения и проблемы истории Материалы XXIII Международной конференции, посвящённой 80-летию профессора Александра Ивановича Галочкина и 75-летию профессора Владимира Григорьевича Чирского.: Тула: Тульский государственный педагогический университет им. Л.Н. Толстого, 2024. С. 74–78.
В работе определен императивный язык программирования, учитывающий аппаратные ограничения вычислителя с набором инструкций RV32I, заданы его синтаксис и аксиоматическая семантика в виде логики Хоара. Необходимость подобного языка определяется невозможностью напрямую применять формальные доказательства, проведенные для программ на языках, не учитывающих аппаратные ограничения, к транслированному коду, исполняющемуся на реальном аппаратном вычислителе. В то же время, проведение ...
Добавлено: 28 апреля 2025 г.
С. М. Авдошин, А. М. Литвиненко, Информационные технологии 2025 Т. 31 № 1 С. 42–55
Смарт-контракты — программные алгоритмы, которые представляют собой соглашение в цифровой форме
с наличием механизма принуждения сторон к выполнению обязательств. Смарт-контракты уже крепко закрепились в сферах финансов, однако это не единственная возможная сфера применения. Недостаток такого цифрового соглашения заключается в том, что смарт-контракты могут содержать ошибки, потенциально
приводящие к финансовым потерям. Процесс верификации проводится для того, чтобы снизить ...
Добавлено: 23 января 2025 г.
Савельева М. В., Смушкин А. Б., Солдаткина О. Л., Вестник Санкт-Петербургского университета. Серия 14. Право 2024 Т. 15 № 4 С. 1026–1042
По мнению авторов статьи, в условиях современной цифровизации всех сфер деятельности возникла насущная потребность внедрения в деятельность правоохранительных органов единой цифровой системы, представляющей собой определенную структурную подсистему цифровых платформ нескольких подразделений, таких как суд, полиция, прокуратура, Следственный комитет, Федеральная служба безопасности, с целью обе-спечения логически обоснованного и экономически целесообразного подхода к их вза-имодействию и оперативного ...
Добавлено: 8 января 2025 г.
Томск: В-Спектр, 2023.
Сборник содержит материалы докладов, представленных на XIХ Международной научно-практической
конференции «Электронные средства и системы управления» (г. Томск, 15–17 ноября 2023 г.), по следующим направлениям: радиотехнические и телекоммуникационные системы; наноэлектроника СВЧ, интеллектуальные системы проектирования, автоматизация проектирования электронных устройств и систем; космические радиоэлектронные устройства; нанотехнологии в электронике; антенны и микроволновые устройства; приборы и методы контроля; нелинейная оптика; интеллектуальная ...
Добавлено: 10 февраля 2024 г.
Zagidullin L., Tsoy T., Hsia K. и др., , in: Frontiers in Robotics and Electromechanics.: Springer, 2023. Ch. 5 P. 61–75.
Добавлено: 25 ноября 2023 г.
Iskhakova A., Abbyasov B., Mironchuk T. и др., , in: Frontiers in Robotics and Electromechanics.: Springer, 2023. Ch. 10 P. 147–161.
Добавлено: 25 ноября 2023 г.
Springer, 2023.
Добавлено: 25 ноября 2023 г.
В результате введения против российской экономики жестких санкционных ограничительных мер ряд российских высокотехнологичных рынков столкнулся с серьезными вызовами. Один из них - российский рынок промышленной робототехники, с которого ушли ведущие иностранные игроки, при этом импорт из ряда стран-мировых лидеров по производству роботов оказался под запретом. Ситуация осложняется тем, что хотя в России производство роботов существует ...
Добавлено: 2 ноября 2023 г.
Староватова Д. А., Journal of New Economy 2023 Т. 24 № 1 С. 81–103
В исследованиях экономических эффектов роботизации на микроэкономическом уровне не учитывается ярко выраженный цифровой разрыв между предприятиями различного масштаба. Вместе с тем он может обусловливать разность теоретических и реальных оценок указанных эффектов. Статья посвящена изучению связи роботизации и производительности труда в российской промышленности с учетом размерных групп компаний. Методологическая база исследования представлена положениями теории фирмы и ...
Добавлено: 11 октября 2023 г.
Несмотря на явный прогресс в сфере цифровизации, Россия отстает от мировых лидеров в использовании цифровых технологий, в том числе роботов, искусственного интеллекта и 3D-печати. В настоящем исследовании исходя из организационных особенностей российских промышленных компаний и роли каналов распространения инноваций объясняются факторы цифровизации российских промышленных предприятий. База данных основана на результатах выборочного обследования 1,7 тыс. компаний, ...
Добавлено: 1 сентября 2023 г.
Тихонова А. А., Самойлов А. А., Ильина О. А. и др., Радиоактивные отходы 2022 № 4 (21) С. 90–102
Эффективность реализации работ по выводу из эксплуатации (ВЭ) объектов ядерного наследия напрямую зависит от применяемых технических решений для проведения дезактивационных, демонтажных работ и обращения с образующимися при этом РАО. Для ее повышения, с одной стороны, необходимо расширение практики применения цифровых и расчетных инструментов, позволяющих проводить вариантный анализ и обоснование выбора оптимальных технических решений, а с ...
Добавлено: 2 февраля 2023 г.
Товарищество научных изданий КМК, 2022.
Содержит тексты докладов сипозиума. ...
Добавлено: 1 сентября 2022 г.
Райков А. Н., Абросимов В. К., М.: Карьера Пресс, 2022.
В монографии рассмотрены современные тенденции разработки агророботов и систем искусственного интеллекта для повышения эффективности сельского хозяйства, показаны возможности их практического применения. Управление агророботами рассмотрено на примерах решения задач точного земледелия и животноводства, в частности комплексного агрохимического обследования почвы, распознавания болезней растений, борьбы с сорняками и вредителями, кормления скота и птицы, роботизированного доения. Методы и средства ...
Добавлено: 19 июля 2022 г.
Дейнеко А. Г., Информационное право 2022 № 1 (71) С. 31–34
Цель. В статье проанализировано состояние законодательства, регулирующего эксплуатацию беспилотных автомобилей в России, а также перспективы его дальнейшего развития. Выявлены основные теоретические и практические трудности правового регулирования эксплуатации беспилотного транспорта на дорогах общего пользования и предложены пути их преодоления. Рассмотрены этикоправовые и социально-экономические последствия повсеместного внедрения беспилотных автомобилей.
Материалы и методы исследования. Материалами для исследования послужили действующее ...
Добавлено: 20 мая 2022 г.