?
Технологии разработки информационных систем ТРИС-2012. III Международная научно-техническая конференция. Материалы конференции
Т. 1.
Таганрог :
Издательство Технологического института ЮФУ, 2012.
Ответственный редактор: Борисова Е. А.
В книге представлены доклады III Международной научно-технической конференции Технологии разработки информационных систем (ТРИС-2012), которая проводилась при поддержке РФФИ Технологическим институтом Южного федерального университета. Материалы конференции изданы в двух томах.
Главы книги
Черников Б. В., В кн.: Технологии разработки информационных систем ТРИС-2012. III Международная научно-техническая конференция. Материалы конференцииТ. 1.: Таганрог: Издательство Технологического института ЮФУ, 2012. С. 18–28.
Излагается сущность лексикологического синтеза слабоформализуемых текстовых документов, обеспечивающая существенное сокращение трудозатрат на создание документов, повышение их качества, снижение объемов хранения и рост защищенности при передаче по каналам связи. ...
Добавлено: 28 ноября 2012 г.
Калашников Е. А., Лядова Л. Н., В кн.: Технологии разработки информационных систем ТРИС-2012. III Международная научно-техническая конференция. Материалы конференцииТ. 1.: Таганрог: Издательство Технологического института ЮФУ, 2012. С. 100–107.
Описана программная платформа, предназначенная для разработки динамически настраиваемых систем мониторинга энергопотребления. Пользователю предоставляются различные средства настройки: подключения к различным источникам данных (датчикам приборов энергопотребления, базам данных сторонних разработчиков), создания собственных панелей индикаторов и их настройки на условия эксплуатации и потребности пользователя. ...
Добавлено: 9 декабря 2012 г.
Сухов А. О., В кн.: Технологии разработки информационных систем ТРИС-2012. III Международная научно-техническая конференция. Материалы конференцииТ. 1.: Таганрог: Издательство Технологического института ЮФУ, 2012. С. 120–124.
В статье рассматриваются методы трансформации моделей, созданных с помощью визуальных языков моделирования. Подробный анализ позволил выявить существующие в этой области проблемы и сформулировать подходы к их устранению. ...
Добавлено: 10 декабря 2012 г.
Лядова Л. Н., Серый А. П., Сухов А. О., В кн.: Технологии разработки информационных систем ТРИС-2012. III Международная научно-техническая конференция. Материалы конференцииТ. 1.: Таганрог: Издательство Технологического института ЮФУ, 2012. С. 107–112.
Описан процесс разработки программного обеспечения с использованием средств предметно-ориентированного моделирования. Введено понятие трансформаций предметно-ориентированных языков и требований к ним. Показаны ограничения существующих подходов к реализации предметно-ориентированных средств и трансформаций моделей (языков). Представлен подход к реализации средств описания трансформаций DSL. Он позволяет в простой и наглядной форме определять как вертикальные, так и горизонтальные трансформации и ограничения, ...
Добавлено: 11 декабря 2012 г.
Замятина Е.Б., Миков А. И., В кн.: Технологии разработки информационных систем ТРИС-2012. III Международная научно-техническая конференция. Материалы конференцииТ. 1.: Таганрог: Издательство Технологического института ЮФУ, 2012. С. 61–65.
В настоящее время разработано и существует достаточно большее количество систем имитационного моделирования (СИМ). Некоторые из них предназначены для решения конкретных задач и настроены на конкретную предметную область. Круг пользователей таких систем ограничен. Другие системы являются универсальными, однако при решении конкретных задач пользователи сталкиваются с необходимостью дорабатывать их, дописывать код или разрабатывать модели в непривычных для ...
Добавлено: 20 марта 2015 г.
Язык:
русский
Ключевые слова: теория графовприкладное программное обеспечениепрограммная реализация интеллектуальных системсистемы автоматического контроля функционирования сложных системтехнология программированияавтоматизация программированияпрограммотехникааппаратная реализация интеллектуальных системинтеллектуальные базы знаний
Гайфуллин С. А., Киктева В. В., Results in Mathematics 2026 Vol. 81 No. 5 Article 146
Добавлено: 3 августа 2026 г.
Лунц В. А., Функциональный анализ и его приложения 2026 Т. 60 № 3 С. 127–129
Доказано, что канонические полуортогональные разложения производной категории диаграммной схемы индуцируют аналогичные разложения подкатегории совершенных комплексов. ...
Добавлено: 3 августа 2026 г.
Беломестный Д. В., Гасников А. В., Гладин Е. Л. и др., Russian Mathematical Surveys 2026 Vol. 81 No. 4(490) P. 3–90
Добавлено: 3 августа 2026 г.
Чеповский А. М., Мастерская Печати Идей, 2026.
В учебном пособии представлены методы и алгоритмы автоматического анализа корпусов текстов на естественных языках. Предназначено для изучающих методов обработки текстов на естественных языках и создания обучающих массивов текстов.
Для студентов, аспирантов и научных работников, изучающих методы компьютерной лингвистики и обработку текстов. ...
Добавлено: 1 августа 2026 г.
Абызов А. Н., Буутай П. Н., Математика и теоретические компьютерные науки 2026 Т. 4 № 2 С. 4–75
Статья носит обзорно-методический характер и посвящена развитию идей Е.И. Золотарёва, заложенных в его подходе к доказательству квадратичного закона взаимности (1872 г.). Мы рассматриваем расширения подхода Золотарёва на абстрактные числовые кольца, приведенные в работе А. Бруньята и П.Л. Кларка (2015 г.), и на конечные группы, изученные в статье У. Дьюка и К. Хопкинс (2005 г.). Также ...
Добавлено: 30 июля 2026 г.
Уилкокс П., Романов А. Ю., М.: ДМК Пресс, 2025.
Книга, которую вы держите в руках, продолжает серию «Книжная полка истового
инженера», которая издается при поддержке компании YADRO.
Данная книга представляет собой учебник по теоретическим основам продвинутой
функциональной верификации и содержит лучшие практики, используемые в настоящее
время. В ней подробно описана унифицированная методология верификации
(UVM) и раскрыты такие темы, как функциональный виртуальный прототип, функциональное
покрытие, утверждения, формальная верификация, тестбенчи, косимуляция,
эмуляция, аппаратное ...
Добавлено: 30 июля 2026 г.
Mikhaylets E. V., Razorenova A. М., Chernyshev V. L. и др., Scientific Reports 2026 Vol. 16 Article 23560
Добавлено: 29 июля 2026 г.
Попеленский Ф. Ю., Математический сборник 2026 Т. 217 № 2 С. 108–153
В недавней работе В. М. Бухштабера и автора была введена новая структура в когомологиях алгебр Хопфа в терминах спектральной последовательности Бухштабера (Bss). В классической алгебре Стинрода A2 имеется важная подалгебра Хопфа A(1), когомологии которой давно известны. В настоящей работе обсуждаемая структура на этих когомологиях полностью вычислена.
В рамках демонстрации методов Bss решена обратная задача: получено новое ...
Добавлено: 28 июля 2026 г.
Metlov K., Andrei B. Bogatyrëv, Annalen der Physik 2026 Vol. 538 No. 6 Article e70234
Добавлено: 28 июля 2026 г.
Думкин Н. А., Александров Д. В., Прозорский М. А., Труды Института системного программирования РАН 2026 Т. 38 № 1 С. 255–274
Предложен теоретически обоснованный подход к адаптивному восстановлению
видеофрагментов на стороне клиента с использованием методов машинного обучения и анализа сцены.
Метод включает формальную постановку задачи, модель конечного автомата для принятия решений,
функцию стоимости восстановления, а также новый этап в подготовке видео – оценку динамики сцены
с последующей записью признака в HLS-плейлист. Такой признак позволяет повысить точность выбора
методов восстановления фрагментов видео. ...
Добавлено: 27 июля 2026 г.
Меновщиков А. В., Ukhlov A., Rendiconti del Circolo Matematico di Palermo 2026 Vol. 75 Article 91
Добавлено: 27 июля 2026 г.
Меновщиков А. В., Journal of Mathematical Sciences 2026 Vol. 298 P. 608–618
Добавлено: 27 июля 2026 г.
Cham: Springer, 2026.
Добавлено: 26 июля 2026 г.
Добавлено: 23 июля 2026 г.
Писляков В. В., Вестник Томского государственного университета. Филология 2026 № 101 С. 175–192
Исследуется использование паремий в статьях, опубликованных в отечественных научных журналах. В результате поиска по платформе eLIBRARY.RU и постатейного просмотра полных текстов формируется «паремический массив» – набор журнальных статей, вышедших за 2014–2023 гг., в которых встречается одна из десяти исследуемых пословиц. Выделяются только случаи, когда пословицы используются авторами как пришедшиеся к слову изречения, а не как ...
Добавлено: 22 июля 2026 г.
Болбачан В. С., / Series math "arxiv.org". 2024.
Полилогарифмы Чжоу — это специальные функции, возникающие при явном описании отображения регулятора Бейлинсона. Наиболее интересное функциональное уравнение для этой функции отражает тот факт, что она обращается в нуль на границе в комплексе циклов Блоха. Мы показываем, что это функциональное уравнение формально вытекает из более простых свойств: кососимметричности, функториальности и мультипликативности. Для доказательства этого мы рассматриваем ...
Добавлено: 16 июля 2026 г.
Болбачан В. С., / Series math "arxiv.org". 2024.
Пусть K поле характеристики ноль. Мы доказываем что его когомологии в степени m-1 и весе m рационально изоморфны когомологиям полилогарифмического комплекса в соответствующей степени. Это дает частичное расширение теоремы Суслина, описывающую неразложимую K теорию K_3 для поля. ...
Добавлено: 16 июля 2026 г.
Панов В. А., Рябченко А. П., / Series arXiv "stat.ME". 2026. No. 2607.05048.
Добавлено: 9 июля 2026 г.
Добавлено: 11 июня 2026 г.
Гущина В. А., / Series chemrxiv-2023-vpzhz-v2 "ChemRxiv". 2023.
Наночастицы полностью неорганических перовскитов CsPbBr3 и Cs4PbBr6 интенсивно изучаются благодаря их уникальным свойствам и широкому спектру применений; однако природа их оптических свойств до сих пор полностью не изучена из-за сложности синтеза однофазных наночастиц. В данной статье мы описываем особенности синтеза однофазных частиц и результаты их химического и фазового анализа. Используя данные о концентрациях наночастиц, мы ...
Добавлено: 14 мая 2026 г.