?
Математика программных систем: межвузовский сборник научных трудов
Вып. 10.
Пермь :
Пермский государственный национальный исследовательский университет, 2013.
Ответственный редактор: Лядова Л. Н.
Под общей редакцией: А. И. Миков
В сборник включены статьи, относящиеся к следующим направлениям научной работы: моделирование и технологии разработки ин-формационных систем; информационный поиск, системы основанные на знаниях; методы разработки прикладных программ. Часть статей подготовлена при поддержке РФФИ (проект № 12-07-00763-а) и Научного фонда НИУ ВШЭ (проект № 13-09-0143), научно-исследовательского проекта КубГУ и проекта 12/19т. В издании представлены результаты, полученные при выполнении этих проектов в 2013 г. Кроме того, в сборник включены статьи, посвященные использованию ин-формационных технологий в науке и образовании. Материалы сборника могут представлять интерес для научных работников, специалистов в области программной инженерии, разработчиков информационных систем различного назначения, студентов и аспирантов, изучающих информационные технологии.
Главы книги
Стринюк С. А., Поздеева Е. В., В кн.: Математика программных систем: межвузовский сборник научных трудовВып. 10.: Пермь: Пермский государственный национальный исследовательский университет, 2013.
Статья посвящена вопросам формирования языковой среды с привлечением электронных ресурсов. ...
Добавлено: 3 марта 2014 г.
Ланин В. В., В кн.: Математика программных систем: межвузовский сборник научных трудовВып. 10.: Пермь: Пермский государственный национальный исследовательский университет, 2013. С. 4–9.
В статье рассмотрены вопросы классификации форматов, уделяется особое внимание возможности включения метаданных как основного механизма поддержки семантического индексирования. Рассматриваются существующие классификации и предлагается новая фасетная классификация. ...
Добавлено: 29 марта 2015 г.
Ланин В. В., Печенежский А. Б., В кн.: Математика программных систем: межвузовский сборник научных трудовВып. 10.: Пермь: Пермский государственный национальный исследовательский университет, 2013. С. 10–19.
Статья посвящена описанию реализации сервиса автоматического сбора структурированной информации из неструктурированных интернет-документов. Сервис позволяет унифицировать решение для различных предметных областей за счет явного онтологического описания задачи. Кроме того, для увеличения количества анализируемых источников не требуется изменения кода программы, следовательно, сложность разработки не изменяется. ...
Добавлено: 29 марта 2015 г.
Сухов А. О., В кн.: Математика программных систем: межвузовский сборник научных трудовВып. 10.: Пермь: Пермский государственный национальный исследовательский университет, 2013. С. 56–94.
В процессе разработки информационных систем с использованием модельно-ориентированного подхода, как правило, строится несколько моделей системы, выполненных с различных точек зрения, с разной степень абстракции, описанных на различных языках моделирования. Для преобразования моделей между различными нотациями применяются специальные инструментальные средства трансформации моделей. В статье приводится аналитический обзор наиболее развитых на сегодняшний день языков и инструментальных средств ...
Добавлено: 29 марта 2015 г.
Сухов А. О., Лядова Л. Н., В кн.: Математика программных систем: межвузовский сборник научных трудовВып. 10.: Пермь: Пермский государственный национальный исследовательский университет, 2013. С. 95–125.
Система MetaLanguage – это языковой инструментарий, предназначенный для создания визуальных динамически настраиваемых предметно-ориентированных языков моделирования. В статье приводится описание алгоритмов, реализующих основные этапы процесса создания моделей предметной области с использованием системы MetaLanguage: создания/ удаления сущностей, отношений, ограничений; создания/удаления экземпляров сущностей и отношений; проверки ограничений, налагаемых на элементы метамоделей. ...
Добавлено: 29 марта 2015 г.
Сухов А. О., Семков Н. А., В кн.: Математика программных систем: межвузовский сборник научных трудовВып. 10.: Пермь: Пермский государственный национальный исследовательский университет, 2013. С. 126–132.
В статье рассматривается процесс создания визуального предметно-ориентированного языка построения моделей для систем типа «Умный дом». Разработанный язык может быть использован на практике при проектировании системы: оценке ее стоимости, анализе взаимодействия ее подсистем, созданных различными производителями, разработке пользовательского интерфейса. ...
Добавлено: 29 марта 2015 г.
Лукиных Н. В., Лядова Л. Н., В кн.: Математика программных систем: межвузовский сборник научных трудовВып. 10.: Пермь: Пермский государственный национальный исследовательский университет, 2013. С. 28–48.
Описывается математическая модель и алгоритмы, используемые для реализации средств ведения нормативно-справочной информации, классификаторов различных типов. Представленная модель является универсальной и позволяет описать классификаторы различных типов и выполнять операции над ними единообразно. Созданные средства прошли апробацию при реализации Региональной информационной системы образования и науки (Пермский край). ...
Добавлено: 17 мая 2015 г.
Миков А. И., Нгуен Н. З., В кн.: Математика программных систем: межвузовский сборник научных трудовВып. 10.: Пермь: Пермский государственный национальный исследовательский университет, 2013. С. 49–55.
Рассматривается процесс имитационного моделирования дискретных систем в распределенной среде. В работе приводятся три различных алгоритма распределения вычислений (обработки событий) в системе с n процессорами, и производится анализ их эффективности на примерах сетей массового обслуживания (СМО) определённой конфигурации. Представлены результаты сравнительного анализа трех методов обработки списка событий, планируемых во время работы имитационной модели СМО. ...
Добавлено: 23 мая 2015 г.
Zlatev Z. D., Nedeva V. I., , in: Математика программных систем: межвузовский сборник научных трудовВып. 10.: Пермь: Пермский государственный национальный исследовательский университет, 2013. P. 133–139.
В докладе предлагается методология изучения качественных и количественных параметров перепелиных яиц. Разработан метод и реализована система компьютерного зрения, с помощью которой определяется вероятностная оценка риска для здоровья от потребления продуктов низкого качества. ...
Добавлено: 23 мая 2015 г.
Научное направление:
Компьютерные науки
Язык:
русский
Ключевые слова: программная инженериябизнес-информатикаинформационные технологииимитационное моделированиеInformation technologiessimulation языки моделированияsoftware engineeringпроектирование информационных системIT-educationИТ-образованиеmodelling languagesинструментальные средстваматематика программных системInformation system designProcesses and systems analysisToolkitsAlgorithms and programsBusiness informaticsсистемы моделированияалгоритмы и программы
ПУБЛИКАЦИЯ ПОДГОТОВЛЕНА ПО РЕЗУЛЬТАТАМ ПРОЕКТА:
Калужский печатный двор, 2026.
Сборник трудов конференции "Математические идеи академика
П.Л. Чебышёва, их приложения в естественных науках и технологиях искусственного интеллекта» ...
Добавлено: 20 июня 2026 г.
Стогниева О. Н., Чеснокова Н. Е., Отечественная и зарубежная педагогика 2026 Т. 1 № 3 (115) С. 123–131
Внедрение генеративных инструментов искусственного интеллекта в образовательную практику актуализирует проблему педагогически обоснованного использования данных технологий при создании образовательного видеоконтента, который всё чаще применяется в языковом и профессионально-ориентированном обучении.
Цель статьи — провести сравнительный анализ образовательного видеоконтента, созданного с применением генеративных ИИ-инструментов, с позиций теории когнитивной нагрузки и принципов педагогического дизайна, а также выявить дидактические условия повышения ...
Добавлено: 20 июня 2026 г.
Cherednichenko O., Herbert A., Попцова М. С., Computational and Structural Biotechnology Journal 2025 Vol. 27 P. 992–1000
Добавлено: 19 июня 2026 г.
Анненков А. Н., Нестеров Р. А., Моделирование и анализ информационных систем 2026 Т. 33 № 2 С. 176–205
Декларативные модели процессов широко используются в process mining для гибкого описания поведения
процессов с помощью наборов ограничений. Однако модели, автоматически извлекаемые из журналов событий, могут содержать несогласованные ограничения, что затрудняет их интерпретацию и делает их непригодными для исполнения, проверки соответствия или дальнейшего анализа. Существующие методы анализа согласованности либо опираются на автоматные конструкции с высокой асимптотической сложностью ...
Добавлено: 18 июня 2026 г.
Cham: Springer Publishing Company, 2026.
Добавлено: 18 июня 2026 г.
Поддьяков А. Н., Троицкий вариант. Наука 2026 № 12 С. 24–25
В научно-популярной заметке представлен обзор содержания поста филдсовского медалиста Тимоти Гауэрса о возможностях ИИ в математике и содержания комментариев под постом. Обзор сделан в основном чат-ботом DeepSeek. В заключение обсуждается возможность не только решения задач искусственным интеллектом, но и их постановки. ...
Добавлено: 18 июня 2026 г.
Beznosikov A., Kormakov G., Grigorievskiy A. и др., Journal of Optimization Theory and Applications 2026 Vol. 209 Article 18
Добавлено: 17 июня 2026 г.
Chertenkov V. I., Щур Л. Н., Lobachevskii Journal of Mathematics 2026 Vol. 47 No. 2 P. 720–727
Добавлено: 16 июня 2026 г.
Добавлено: 16 июня 2026 г.
Добавлено: 16 июня 2026 г.
Добавлено: 16 июня 2026 г.
Novopoltsev M., Tulenkov A., Murtazin R. и др., IEEE Access 2025 Vol. 13 P. 188170–188181
Добавлено: 16 июня 2026 г.
Stepin A., Mozikov M., Kabanov A. и др., IEEE Access 2026 Vol. 14 P. 48127–48144
Добавлено: 16 июня 2026 г.
Abdullaeva I., Karpukhin I., Filatov A. и др., IEEE Access 2026 Vol. 14 P. 59390–59408
Добавлено: 16 июня 2026 г.
Association for Computational Linguistics, 2026.
Добавлено: 14 июня 2026 г.
Strube M., Braud C., Hardmeier C. и др., Suzhou: Association for Computational Linguistics, 2025.
Добавлено: 11 июня 2026 г.
Добавлено: 10 июня 2026 г.
Дистиллированные кисломолочные напитки встречаются в пищевой промышленности редко, несмотря на повсеместное распространение растительных спиртных напитков. В настоящее время производство крепких дистиллированных алкогольных напитков из кисломолочных продуктов с использованием традиционных технологий известно лишь среди монголоязычных народов и их сибирских соседей. Данное исследование представляет собой первый междисциплинарный анализ дарасуна, традиционного бурятского спиртного напитка, изготавливаемого из кисломолочного напитка ...
Добавлено: 10 июня 2026 г.
Butorova A., Bobakov V., Sergeev A. и др., European Physical Journal: Special Topics 2026 P. 1–19
Добавлено: 10 июня 2026 г.
М.: Институт проблем управления им. В.А. Трапезникова РАН, 2024.
В сборник вошли материалы VIII Международной научной конференции «Информационные технологии и технические средства управления» (ICCT-2024). На конференции были рассмотрены вопросы, касающиеся перспектив развития научного приборостроения в телекоммуникационных и управляющих системах, биомедицинской информатики, аппаратного и программного обеспечения информационнокоммуникационных систем, надежности, диагностики и неразрушающего контроля, систем управления и автоматизации, цифровых экосистем, управления производством и логистикой, методов математического ...
Добавлено: 27 мая 2026 г.
Добавлено: 19 мая 2026 г.
Кирсанова Е. Е., Пакшин П. К., Право и экономика 2026 № 3 (456) С. 26–34
В статье рассматривается вопрос правового режима интеллектуальной собственности, созданной искусственным интеллектом. Изменения существующей правовой базы в сторону признания искусственного интеллекта субъектом права нарушат обоснование и фундаментальные принципы системы интеллектуальных прав. В статье представлен обзор разных взглядов на обоснование предоставления авторских прав на созданные искусственным интеллектом произведения. Автор отмечает, что в некоторых юрисдикциях авторские права таким ...
Добавлено: 28 апреля 2026 г.
Добавлено: 28 апреля 2026 г.