?
Обзор применения формальных методов в робототехнике
Научно-технические ведомости Санкт-Петербургского государственного политехнического университета. Информатика. Телекоммуникации. Управление. 2016. № 1 (236). С. 84-107.
Мордвинов Д. А., Литвинов Ю. В.
Представлен обзор применения формальных методов в контексте робототехники. Рассмотрены недавние работы, посвященные спецификациям поведения роботов в терминах темпоральных логик, применению идей подхода model checking к таким системам. также рассмотрено применение формальных методов анализа сетей Петри и моделирования поведения робототехнических систем с их помощью. Отдельное внимание уделено верификации гибридных систем, применению алгебр процессов для спецификации поведения параллельных систем, а также использованию других подходов для верификации и синтеза программ поведения роботов.
Внуков А. А., Зазулина А. С., Вестник Российского университета дружбы народов. Серия: Инженерные исследования 2009 № 4 С. 107-122
В статье рассматриваются виды параллелизма в модульных алгоритмах прямой и обратной задач кинематики робота-манипулятора, возможные методики их разбиения на отдельные подзадачи для последующего распределения этих подзадач на заранее известную многопроцессорную структуру общей памяти с интегральной характеристикой потенциала параллельности архитектуры. Предложен метод оценки эффективности разбиения. ...
Добавлено: 19 марта 2013 г.
Пащенко Т. В., В кн. : Трансцендентное в современной философии: направления и методы. : СПб. : Алетейя, 2013.
Э. Залта и П. Оппенгеймер попытались создать свободное от модальных посылок прочтение рассуждения Ансельма Кентерберийского о существовании Бога, которое приводится во II главе Прослогиона. Несмотря на присутствие модальности в оригинальном тексте Ансельма (Нечто, более чего невозможно ничего помыслить), авторы обходят ее, заменяя процесс выведения актуальности Бога из возможности существования Бога на выведение существования Бога из ...
Добавлено: 18 февраля 2014 г.
Пермь : Пермский университет, 2018
Сборник содержит материалы докладов, представленных на конференции «Робототехника и образование: школа, университет, производство». Рассматриваются задачи, состояние, проблемы и перспективы робототехнического образования в России в контексте мирового опыта, а также форматы, содержание и направления обучения робототехнике в школе, СПО и вузе. ...
Добавлено: 12 августа 2018 г.
Гринин Л. Е., Гринин А. Л., Историческая психология и социология истории 2015 Т. 8 № 1 С. 172-197
В настоящей статье на базе теории принципов производства и производственных революций мы показываем взаимосвязь между К-волнами и крупнейшими технологическими переворотами в истории, а также делаем прогнозы об особенностях шестой К-волны в свете идущей с 1950-х годов кибернетической революции. Мы предполагаем, что шестая кондратьевская волна в 2030–2040-х годах сольется с завершающей фазой кибернетической революции (которую мы ...
Добавлено: 9 октября 2015 г.
Солодихина А. А., Физика для школьников 2019 № 1 С. 35-39
По определению, данному в словаре: «Гидронавтика (от слов hydria - относящийся к воде и nautical - плавание) - это отрасль науки и техники, занимающаяся исследованием и освоением придонного слоя и дна Мирового океана с помощью подводных аппаратов, не допускающих воздействия забортного давления на тело человека». В статье рассказывается о деятельности учебно-молодежного центра «Гидронавтика». О замечательных ...
Добавлено: 1 ноября 2019 г.
Гагарина Д. А., Гагарин А. С., В кн. : Робототехника и образование: школа, университет, производство. Материалы всероссийской научно-практической конференции. : Пермь : Пермский университет, 2018. С. 11-16.
В докладе изучаются коллективный портрет и потребности участников образовательного робототехнического сообщества. Исследование выполнено на основе анализа портала «Занимательная робототехника», отраслевых мероприятий, материалов в социальных сетях, интервьюирования педагогов и родителей. «Занимательная робототехника» – научно-популярный интернет-портал о роботах для детей, родителей, учителей и мейкеров: новости, экспертное мнение, аналитика, учебные материалы, обзоры продуктов, каталог кружков, календарь мероприятий. ...
Добавлено: 12 августа 2018 г.
Саритас О., Форсайт 2013 Т. 7 № 1 С. 6-13
Взаимоотношения человека с миром высоких технологий, еще недавно выглядевшие фантастикой, постепенно обретают реальные черты, становясь предметом активных экспертных дискуссий. Отдельные специалисты указывают на то, что в будущем машины смогут опередить человека в интеллектуальном развитии и стать новым доминирующим видом. Вместе с тем не стоят на месте разработки, направленные на совершенствование физических и умственных характеристик человека, ...
Добавлено: 30 марта 2013 г.
Красноярск : ЛИТЕРА-принт, 2021
Сборник включает тексты докладов участников конференции по различным вопросам робототехники и искусственного интеллекта.
Основными темами конференции стали мехатроника, системы искусственного интеллекта при управлении роботами, формирование баз знаний и интеллектуаль-ных алгоритмов, экстремальная робототехника, интеллектуальный анализ данных и обучающие системы.
Представляет интерес для научных работников, аспирантов, преподавателей вузов, магистрантов, студентов и школьников. ...
Добавлено: 28 декабря 2021 г.
Гнатенко А. Р., Захаров В. А., Automatic Control and Computer Sciences 2021 Vol. 55 No. 7 P. 776-785
Добавлено: 17 января 2022 г.
Гнатенко А. Р., Захаров В. А., Моделирование и анализ информационных систем 2021 Т. 28 № 4 С. 356-371
К последовательным реагирующим системам относятся компьютерные программы и вычислительные устройства, которые обрабатывают потоки входных данных или сигналов управления и генерируют на выходе последовательности команд или результатов вычислений. Для проектирования таких систем полезно иметь формальные языки спецификаций, способные выражать отношения между входными и выходными потоками данных. В предшествующих работах нами было предложено семейство таких языков спецификаций, ...
Добавлено: 17 января 2022 г.
Несмотря на явный прогресс в сфере цифровизации, Россия отстает от мировых лидеров в использовании цифровых технологий, в том числе роботов, искусственного интеллекта и 3D-печати. В настоящем исследовании исходя из организационных особенностей российских промышленных компаний и роли каналов распространения инноваций объясняются факторы цифровизации российских промышленных предприятий. База данных основана на результатах выборочного обследования 1,7 тыс. компаний, ...
Добавлено: 1 сентября 2023 г.
Савинская О. Б., Мхитарян Т. А., В кн. : Женщины в профессиях XXI века: тенденции, проблемы, перспективы: материалы Всероссийской научной конференции с международным участием. Москва, 3 марта 2020 г. : Ивановский государственный университет, 2020. С. 61-66.
Фокус исследования сосредоточен на имеющемся гендерном дисбалансе в родительском выборе дополнительного технического образования в дошкольном и раннем школьном возрасте, поскольку на данные две возрастные категории приходится наибольшая популярность дополнительного образования в России, и на его ключевых факторах. В качестве метода сбора данных в мае 2019 года был применен массовый опрос родителей детей 5–10 лет в двух модальностях: онлайн и ...
Добавлено: 28 октября 2020 г.
Zagidullin L., Tsoy T., Hsia K. и др., , in : Frontiers in Robotics and Electromechanics. : Springer, 2023. Ch. 5. P. 61-75.
Добавлено: 25 ноября 2023 г.
Зырянова Д. А., Российский журнал менеджмента 2023
Цель исследования: проанализировать сочетание внедрения робототехники с последующим внедрением других цифровых технологий четвёртой промышленной революции в ковидный и постковидный период.
Методология исследования: эмпирическое исследование проводилось методом псевдорандомизации с использованием данных опроса для проекта «Конкурентоспособность российских предприятий: реакция на кризис и факторы развития», выполненного в 2022 году. Индекс соответствия рассчитан при помощи логистического регрессионного моделирования.
Результаты исследования: обнаружены ...
Добавлено: 11 ноября 2023 г.
Монахова К. В., В кн. : Инновации на основе информационных и коммуникационных технологий: Материалы международной научно-практической конференции, 2014. : М. : НИУ ВШЭ, 2014. С. 430-431.
В настоящее время все чаще встречаются интерактивные робототехнические устройства, с
функцией ориентации в пространстве. В данной работе предлагается заменить дорогостоящие системы
позиционирования, на систему, в основу которой входят ИК датчики, а также проводится анализ
оптимального расположения их на робототехническом устройстве. ...
Добавлено: 30 ноября 2014 г.
Дейнеко А. Г., Информационное право 2022 № 1 (71) С. 31-34
Цель. В статье проанализировано состояние законодательства, регулирующего эксплуатацию беспилотных автомобилей в России, а также перспективы его дальнейшего развития. Выявлены основные теоретические и практические трудности правового регулирования эксплуатации беспилотного транспорта на дорогах общего пользования и предложены пути их преодоления. Рассмотрены этикоправовые и социально-экономические последствия повсеместного внедрения беспилотных автомобилей.
Материалы и методы исследования. Материалами для исследования послужили действующее ...
Добавлено: 20 мая 2022 г.
Дейнеко А. Г., В кн. : Третьи Бачиловские чтения. Цифровая трансформация: вызовы праву и векторы научных исследований. : М. : Проспект, 2020. С. 205-210.
В статье рассмотрены те изменения, которые, по мнению автора, российское законодательство вынуждено будет претерпеть в связи со стремительным развитием технологий искусственного интеллекта и робототехники. Будут определены основные подходы к такому совершенствованию и их проблемные точки. ...
Добавлено: 7 сентября 2021 г.
Гостева Е. А., Ланин В. В., В кн. : Знания - Онтологии - Теории (ЗОНТ-2017). Материалы Всероссийской конференции с международным участием. Т. 1.: Новосибирск : ООО "Дигит Про", 2017. С. 99-108.
Статья посвящена разработке подхода к ориентации мобильного робота в пространстве на основе концептуальной карты. В работе приведено описание способов представления объектов на карте, выполнен краткий анализ существующих методов ориентации робота в пространстве. Представлено описание пространства на естественном языке, которое в последствии переведено на язык OWL. Представлено описание основных классов, свойств и конкретных объектов пространства, которые ...
Добавлено: 18 июня 2018 г.
Ступин Р. С., Вестник цифровой экономики 2020 № 2 С. 260-356
В статье приводится обзор инструментария и практические рекомендации по использованию робототехники, мехатроники, электроники и современных технических средств обучения в географическом образовании и популяризации географических знаний. Представленные в работе технологии и инструменты представляют собой образцы междисциплинарного взаимодействия и интеграции в практики географического образования и популяризации географических знаний, а также ранней профориентации на профессии, связанные с географией, ...
Добавлено: 6 декабря 2020 г.
Гринин Л. Е., Гринин А. Л., В кн. : Кондратьевские волны. Наследие и современность. : Волгоград : Учитель, 2015. С. 83-106.
В настоящей статье на базе теории принципов производства
и производственных революций мы показываем взаимосвязь между
К-волнами и крупнейшими технологическими переворотами в истории,
а также делаем прогнозы об особенностях шестой К-волны в свете идущей с 1950-х гг. кибернетической революции. Мы предполагаем, что шестая кондратьевская волна в 2030–2040-х гг. сольется с завершающей фазой кибернетической революции (которую мы назвали фазой самоуправляемых ...
Добавлено: 9 октября 2015 г.
Каменских А. А., Scrinium: Journal of Patrology and Critical Hagiography 2019 Vol. 15 No. 1 P. 178-192
Добавлено: 26 июля 2019 г.
Литвинов Ю. В., Компьютерные инструменты в образовании 2013 № 1 С. 36-45
В настоящее время в школах Российской Федерации для преподавания информатики активно используется робототехнический конструктор Lego Mindstorms NXT. Этот конструктор позволяет собирать и программировать роботы, использующие моторы и сенсоры для взаимодействия с внешним миром. Однако для эффективного использования роботоконструкторов на уроках информатики требуются средства программирования создаваемых с его помощью роботов, причём эти средства должны быть доступны ...
Добавлено: 30 октября 2018 г.
Староватова Д. А., Journal of New Economy 2023 Т. 24 № 1 С. 81-103
В исследованиях экономических эффектов роботизации на микроэкономическом уровне не учитывается ярко выраженный цифровой разрыв между предприятиями различного масштаба. Вместе с тем он может обусловливать разность теоретических и реальных оценок указанных эффектов. Статья посвящена изучению связи роботизации и производительности труда в российской промышленности с учетом размерных групп компаний. Методологическая база исследования представлена положениями теории фирмы и ...
Добавлено: 11 октября 2023 г.
Ступин Р. С., Крицын А. А., Ступина И. Е. и др., М. : АНО АИР, 2017
Учебно-методическое пособие «Развитие образовательной робототехники и непрерывного IT-образования» подготовлено коллективом авторов Автономной некоммерческой организации «Агентство инновационного развития» в рамках реализации социально-значимого проекта «Ресурсный центр инновационно-патриотического образования и воспитания IT-Start». Проект «Ресурсный центр инновационно-патриотического образования и воспитания IT-Start» реализуется при поддержке Комитета общественных связей города Москвы» и является победителем Конкурса субсидий для социально-ориентированных НКО. ...
Добавлено: 28 августа 2018 г.