?
Параллельные вычислительные технологии – XIV международная конференция, ПаВТ’2020
Челябинск :
Издательский центр ЮУрГУ, 2020.
Ответственный редактор: Л. Б. Соколинский, Я. А. Краева
Данный сборник содержит статьи, включенные в программу Международной научной
конференции «Параллельные вычислительные технологии 2020». Конференция проходила
31 марта – 2 апреля 2020 года в Пермском национальном исследовательском политехни-
ческом университете (г. Пермь). Подробную информацию о конференции можно найтисети Интернет по адресу
http://agora.guru.ru/pavt.
Отпечатано с авторских оригиналов.
Легалов А. И., Легалов И. А., Матковский И. В., В кн. : Параллельные вычислительные технологии – XIV международная конференция, ПаВТ’2020. : Челябинск : Издательский центр ЮУрГУ, 2020. Гл. 19. С. 185-192.
Предлагается расширение языка функционально потокового параллельного программирования включением в него статической системы типов. Это ведет к изменению функционально-потоковой модели параллельных вычислений и, как следствие, методов трансформации, а также подходов к использованию функционально-потоковых параллельных программ. Проводится обзор модели вычислений и операторов языка программирования, сформированных в результате проведенных изменений. Отмечается, как эти изменения влияют на синтаксис и ...
Добавлено: 1 ноября 2020 г.
Научное направление:
Компьютерные науки
Приоритетные направления:
компьютерно-математическое
Язык:
русский
Ключевые слова: труды конференции
Воронеж : ООО Фирма "Элист", 2014
В трудах нашли отражение вопросы технологической механики и механики деформируемого твердого тела, аэродинамики, тепломассообмена, математического моделирования, управления полётом летательных аппаратов, автоматизированного проектирования и управления процессами разработки и производства летательных аппаратов и двигательных установок авиационной и космической техники. Опубликованные материалы соответствуют перечню Критических технологий Российской Федерации, утверждённому президентом РФ (технологии создания и управления новыми видами транспортных ...
Добавлено: 19 января 2015 г.
СПб. : Мастерская печати, 2013
В сборник включены доклады, представленные в организационный комитет конференции в электронном виде. Мероприятие проводится при поддержке Российского фонда фундаментальных исследований (грант 13-08-06122-Г). ...
Добавлено: 18 декабря 2013 г.
Ростов н/Д : Южный федеральный университет, 2018
В первом томе материалов 5-й Всероссийской научно-технической конференции «Суперкомпьютерные технологии» (СКТ-2018) представлены доклады, посвященные вопросам создания суперкомпьютеров, их архитектуре и аппаратной базе, а также разработке математического и программного обеспечения суперкомпьютеров. ...
Добавлено: 31 октября 2020 г.
М. : Институт прикладной математики им. М.В. Келдыша РАН, 2018
XX Всероссийская научная конференция «Научный сервис в сети Интернет» проходила с 17 по 22 сентября 2018 года в окрестностях г. Новороссийска. Дополнительную информацию о конференции можно найти по адресу http://agora.guru.ru/abrau2018/. Конференция поддержана Российским фондом фундаментальных исследований, проект 18-07-20047-г. ...
Добавлено: 31 октября 2020 г.
Институт прикладной математики им. М.В. Келдыша РАН, 2019
Сборник содержит доклады, сделанные на XXI Всероссийской
научной конференции «Научный сервис в сети Интернет». Конференция
проходила с 23 по 28 сентября 2019 года. Подробную информацию о
конференции можно найти в сети Интернет по адресам
http://agora.guru.ru/abrau2019 и http://keldysh.ru/abrau/2019.
Конференция проводилась при поддержке Российского фонда
фундаментальных исследований по проекту 19-07-20059. ...
Добавлено: 1 ноября 2020 г.
Воронеж : ООО Фирма "Элист", 2013
В трудах нашли отражение вопросы технологической механики и механики деформируемого твердого тела, аэродинамики, математического моделирования, управления полётом летательных аппаратов, автоматизированного проектирования и управления процессами разработки и производства летательных аппаратов и двигательных установок авиационной и космической техники. Опубликованные материалы соответствуют перечню Критических технологий Российской Федерации, утверждённому президентом РФ (технологии создания и управления новыми видами транспортных систем; ...
Добавлено: 18 декабря 2013 г.
Chernyshev S. V., Cherepanov E. A., Pankratiev E. V. и др., Journal of Mathematical Sciences 2005 Vol. 128 No. 6 P. 3487-3495
Добавлено: 27 января 2014 г.
Skoptsov K. A., Sheshenin S., Галатенко В. В. и др., International Journal of Applied Mechanics 2016 Vol. 8 No. 2 P. 1650016-01-1650016-18
We present a method for evaluating elastic properties of a composite material produced by molding a resin filled with short elastic fibers. A flow of the filled resin is simulated numerically using a mesh-free method. After that, assuming that spatial distribution and orientation of fibers are not significantly changed during polymerization, effective elastic moduli of ...
Добавлено: 22 мая 2016 г.
Малышев Д. С., Discrete Mathematics 2015 Vol. 338 No. 11 P. 1860-1865
We completely determine the complexity status of the 3-colorability problem for hereditary graph classes defined by two forbidden induced subgraphs with at most five vertices. © 2015 Elsevier B.V. All rights reserved. ...
Добавлено: 7 апреля 2014 г.
Springer, 2012
Добавлено: 29 января 2013 г.
Сотникова С. Ю., Динамика сложных систем 2012 № 3 С. 84-87
В статье описывается разработанный программный комплекс моделирования физических процессов, который также позволяет проводить идентификацию параметров печатного узла (физической модели), на котором реализуется проектируемый бортовой источник вторичного электропитания. Для него разработаны интерфейсы связи управляющей программы с известными программами моделирования и оптимизации. ...
Добавлено: 5 декабря 2014 г.
Chuprikov P., Николенко С. И., Davydow A. и др., IEEE Transactions on Networking 2018 Vol. 26 No. 1 P. 342-355
Добавлено: 14 марта 2018 г.
Карпов В. Э., Карпова И. П., Procedia Engineering 2015 Vol. 100 P. 1459-1468
Добавлено: 14 марта 2015 г.
М. : Издательский центр «Российский государственный гуманитарный университет», 2019
Сборник включает 27 докладов международной конференции по компьютерной лингвистике и интеллектуальным технологиям «Диалог 2019», не вошедшие в ежегодник «Компьютерная лингвистика и интеллектуальные технологии», но рекомендованные Программным Комитетом к представлению на конференции. Для специалистов в области теоретической и прикладной лингвистики и интеллектуальных технологий. ...
Добавлено: 10 декабря 2019 г.
Беклемишев Л. Д., Оноприенко А. А., Математический сборник 2015 Т. 206 № 9 С. 3-20
Формулируются системы преобразований термов, число шагов работы которых на произвольном входе конечно, но не ограничивается никакой вычислимой функцией, доказуемо тотальной в арифметике Пеано PА. Тем самым, утверждение о сходимости таких систем не доказуемо в PA. Эти системы получаются из независимого комбинаторного утверждения, известного как принцип червя; их также можно рассматривать как вариант хорошо известной игры Геракла и гидры, ...
Добавлено: 13 марта 2016 г.
Bliznets Ivan, Cygan M., Komosa P. и др., ACM Transactions on Computation Theory 2018 Vol. 10 No. 2 P. 1-32
Добавлено: 30 октября 2018 г.
Добавлено: 15 декабря 2015 г.
Шуранов Е. В., / Cornell University. Series Computer Science "arxiv.org". 2021.
Добавлено: 14 февраля 2023 г.
Гостев И. М., М. : Юрайт, 2016
В настоящее время компьютерные науки стремительно развиваются. Новые версии операционных систем появляются каждые полтора-два года, поэтому было принято решение о включении в данную книгу такого материала, который не будет устаревать. Содержание учебника представляет собой некоторые наиболее общие принципы построения операционных систем, которые были разработаны более 50 лет назад и практически не изменились за прошедшее время. ...
Добавлено: 13 октября 2009 г.
Borchmann D., Hanika T., Объедков С. А., Discrete Applied Mathematics 2020 Vol. 273 P. 30-42
Добавлено: 29 октября 2019 г.
Каз. : Издательство «Фэн» Академии наук Республики Татарстан, 2013
Материалы и доклады Шестой Всероссийской научно-практической конференции по имитацонному моделированию и его применению в науке и промышленности. ...
Добавлено: 14 декабря 2013 г.
В статье представлена технология, позволяющая собирать в полевых исследованиях пространственно локализованные данные об объектах городской среды. Технология основана на автоматической привязке фотографий к пространственным координатам. Приведен план полевых и камеральных мероприятий, предложены варианты ГИС-обработки собираемых таким образом данных. В качестве примера приведены данные об использовании белорусского языка в общественном пространстве городов Белоруссии. ...
Добавлено: 12 апреля 2015 г.
Байбикова Т. Н., Доморацкий Е. П., Вестник Московского финансово-юридического университета 2017 № 1 С. 200-206
В статье рассмотрены вопросы визуализации научной информации, особенности применения когнитивной компьютерной графики, выделен круг задач научной визуализации. Приведены краткий обзор, тенденции развития и основные характеристики современных средств программной визуализации. Разработан модуль визуализации для системы численного анализа геометрических характеристик изображений объектов. ...
Добавлено: 10 июня 2017 г.