Уведомления
Авторизуйтесь или зарегистрируйтесь, чтобы оценивать материалы, создавать записи и писать комментарии.
Авторизуясь, вы соглашаетесь с правилами пользования сайтом и даете согласие на обработку персональных данных.
Ученые научили цифровых «муравьев» определять оптимальные алгоритмы для программного обеспечения
Исследователи из СФУ совместно с коллегами предложили оптимизировать состав мультиверсионных программных комплексов, используя для этого алгоритм муравьиной колонии. Разработка будет востребована при создании программного обеспечения, контролирующего работу приборов и систем на атомных электростанциях, в энергетической отрасли и космической промышленности.
Группа ученых из Сибирского федерального университета и Сибирского государственного университета науки и технологий имени академика М. Ф. Решетнева предложила оптимизировать состав мультиверсионных программных комплексов, используя для этого алгоритм муравьиной колонии. Основные результаты исследования опубликованы в издании Lecture Notes in Computer Science.
Мультиверсионные программные комплексы широко используются в системах, где надежность и бесперебойная работа оборудования являются основополагающими требованиями, а вероятность ошибок должна быть сведена к минимуму – в атомной, энергетической и космической отраслях.
«Создавая программное обеспечение (ПО) для сложных приборов и систем, мы должны предусмотреть множество алгоритмов поведения, чтобы максимально застраховать какой-то прибор или комплекс от возможных опасных ситуаций. Например, нам придется «научить» луноход справляться с каменистым грунтом и объезжать препятствия несколькими способами, а искусственный спутник — эффективно избегать горящих космических частиц.
Но в мультиверсионном ПО доступных версий может быть от трех и до бесконечности в каждом модуле — их изначально в разы больше, чем мы можем включить в прошивку. Если в луноход мы, к примеру, поместим слишком много алгоритмов — пусть даже очень надежных — они будут «съедать» дикое количество вычислительных мощностей, а нам это совсем не нужно. Необходимо выбрать оптимальные версии для каждого модуля, чтобы программный комплекс в целом был или супернадежный, или максимально дешевый, либо представлял собой что-то среднее при заданных ограничениях. А осуществить этот выбор нам помогут муравьи», — сообщил доцент кафедры информатики СФУ Михаил Сарамуд.
Исследователь уточнил, что нашел новое применение хорошо известному в среде it-специалистов алгоритму муравьиной колонии (Ant Colony Algorithms). Первую версию муравьиного алгоритма предложил ученый Марко Дориго в начале 1990-х годов. Известно, что муравьи выбирают наиболее проходимые и короткие маршруты следования от источника пищи до муравейника. Как крохотные и слепые насекомые это делают? Дело в особых пахучих феромонах, которые они выделяют.
Муравьи распознают «следовой» феромон даже в очень низкой концентрации и по его запаху могут определить не только вид предмета, но и его размеры и форму. Ориентируясь на помеченную феромоном дорогу, насекомые легко находят еду, обнаруженную соседями по муравейнику и, в свою очередь, обновляют феромоновый след. Как только пища заканчивается — давно не обновляемые «душистые» метки выветриваются и постепенно исчезают.
«Дориго создал математическую модель поведения муравьев, ищущих оптимальные пути от колонии к источнику пищи. По такой же схеме мы можем воздействовать на граф. Граф — это абстрактный математический объект, его можно представить в качестве множества узлов (вершин), соединенных ребрами. Если первый узел — условный «муравейник», то дальше нас ждет множество переходов к цели (условной «еде»). Какой путь выбрать?
В случае нашего исследования каждый узел — это состав конкретного модуля. Допустим, есть десять версий для каждого модуля. Чтобы мультиверсионное ПО заработало, нужно выбрать из этого множества версий хотя бы три. Необходимо перебрать все возможные составы версий. Между этими составами и бродит наш виртуальный «муравей-выбиратель».
На выходе он получает конкретный состав первого модуля, второго, третьего и так далее — а еще цифровой агент определяет, какие переходы между узлами оптимальны для достижения поставленной цели. После работы «муравьев» мы получаем полное представление о надежности и фактической стоимости реализации системы ПО на данном оборудовании. Дальше идет прошивка оборудования, для которого виртуальная муравьиная колония выбрала оптимальный, грамотно скомбинированный состав программного комплекса», — продолжил ученый.
Отмечается, что для виртуальных «муравьев» совершенно неважно, чем будет заниматься программируемое оборудование в дальнейшем — вычислять или распознавать образы. Главное, на что «агенты» обращают внимание при прохождении своего пути — надежность, ресурсоемкость, стоимость и вероятность успешной реализации алгоритмов, которые войдут в «оптимальный набор».
«В новой статье мы отдельно рассмотрели методику множественных стартов. У алгоритма муравьиной колонии есть существенный недостаток — если первые пущенные нами «муравьи» пройдут по неоптимальной траектории, но при этом удовлетворят заданным условиям по стоимости и надежности, то этот проход будет засчитан как адекватный — следующие агенты пойдут по этому же маршруту. Но есть более оптимальный путь.
Зачем вам идти, скажем, в магазин через все пустыри района, если можно пройти напрямую по освещенной дороге? Что мы предлагаем: есть ресурсы на 500 проходов, например. Запускаем первых 50 «муравьев», а всех последующих отправляем только по лучшему пути, который найдет кто-то из первой партии «разведчиков». Вот так мы оптимизировали алгоритм, сделав его менее случайным и более подходящим для построения оптимального состава мультиверсионного комплекса», — резюмировал исследователь.
Telegram 
Дзен 
VK По всей стране прозвучали последние звонки, началась пора ЕГЭ, и вчерашние школьники вскоре будут принимать важные решения: продолжать обучение в 10 классе или поступать в колледж. Отличается ли мотивация студентов колледжа от мотивации старшеклассников? Влияет ли престиж учебного заведения на учебную мотивацию? Психологи МГППУ провели исследование, результаты которого ответили на эти вопросы.
Жители древнего города Копан сохранили генетическое наследие далеких предков, но также смешались с переселенцами из горных районов Мексики. Генетический анализ зафиксировал и драматическое сокращение их численности, совпавшее с коллапсом цивилизации майя около 1200 лет назад.
В учебниках истории говорится, что в Новый Свет проказу завезли европейские колонизаторы. Произошло это после открытия Америки Христофором Колумбом в результате так называемого Колумбового обмена — когда между Америкой, Африкой и Старым Светом происходили перемещения растений, животных, культур, человеческих популяций, технологий и болезней. Однако анализ древней ДНК показал, что одна из форм проказы распространилась по двум континентам задолго до экспедиции испанского мореплавателя.
Хотя попытки объединить квантовую теорию и гравитацию десятилетиями терпели неудачу, ученые продолжают выдвигать новые, порой крайне спорные гипотезы. Авторы нового исследования, например, предложили посмотреть на гравитацию так же, как на другие фундаментальные силы природы — через симметрии и поля.
Исследователи ВШЭ выделили более 4000 примеров устной русской речи билингвов из семи регионов России и выяснили: большинство нестандартных форм в конструкциях с числительными связано не только с их родным языком, но и с тем, как часто выражение встречается в повседневной речи. Например, фразы «два часа» или «пять километров» почти всегда совпадают с литературным вариантом, а вот менее привычные выражения, особенно с числительными от двух до четырех, а также с собирательными формами вроде «двое» или «трое», часто звучат иначе.
Анадырский лиман разделяет административный центр Чукотки — Анадырь — с остальной территорией региона, включая аэропорт и другие населенные пункты. Летом здесь действует паромная переправа, зимой — ледовая дорога. Однако весной и осенью, в межсезонье, на другой берег можно добраться только на вертолете. Все это создает немало трудностей в обеспечении города и жителей всем необходимым. Белорусские инженеры предложили альтернативный способ соединить два берега лимана и установить постоянное сообщение.
Да, с волосами и люком все так. У космонавта Суниты Уильямс волосы на МКС плавали свободно, а у Кэти Пэрри и прочих в полете 14 апреля 2025 года — нет. Но это не значит, что суборбитального космического полета первого чисто женского экипажа не было или что он был инсценировкой. Причем, в общем-то, чтобы понять это, даже не нужно обладать специальными знаниями.
Недавно вышел второй сезон сериала «Одни из нас» (TheLastofUs), созданного по сюжету популярнейшей видеоигры. Ученые Пермского Политеха решили разобраться, насколько реален сценарий грибной пандемии, превращающей людей зомби? Чем живет кордицепс и как он «ищет» своих жертв, действительно ли паразит способен эволюционировать настолько, чтобы поражать человеческий организм и подчинять себе его волю, был бы у людей шанс выжить, какие грибы уже поселились в наших телах и выручит ли нас иммунитет, сформированный тысячелетиями.
Казахстанский Алматы — город контрастов, где горы соседствуют с урбанистическими пейзажами, а бизнес-центры — с историческими кварталами. Неизменным остается одно — пробки. Ежедневно сюда приезжает более 700 тысяч автомобилей из пригородов, при этом в самом мегаполисе зарегистрировано порядка 600 тысяч транспортных средств. В результате по улицам ежедневно движется более миллиона транспортных средств.
Вы попытались написать запрещенную фразу или вас забанили за частые нарушения.
Понятно
Из-за нарушений правил сайта на ваш аккаунт были наложены ограничения. Если это ошибка, напишите нам.
Понятно
Наши фильтры обнаружили в ваших действиях признаки накрутки. Отдохните немного и вернитесь к нам позже.
Понятно
Мы скоро изучим заявку и свяжемся с Вами по указанной почте в случае положительного исхода. Спасибо за интерес к проекту.
Понятно
Мы скоро прочитаем его и свяжемся с Вами по указанной почте. Спасибо за интерес к проекту.
Понятно