Технологии разработки информационных систем ТРИС-2012. III Международная научно-техническая конференция. Материалы конференции. Т. 1.

?

Технологии разработки информационных систем ТРИС-2012. III Международная научно-техническая конференция. Материалы конференции

Т. 1. Таганрог : Издательство Технологического института ЮФУ, 2012.

Ответственный редактор: Борисова Е. А.

В книге представлены доклады III Международной научно-технической конференции Технологии разработки информационных систем (ТРИС-2012), которая проводилась при поддержке РФФИ Технологическим институтом Южного федерального университета. Материалы конференции изданы в двух томах.

Методы трансформации визуальных моделей

Сухов А. О., В кн.: Технологии разработки информационных систем ТРИС-2012. III Международная научно-техническая конференция. Материалы конференцииТ. 1.: Таганрог: Издательство Технологического института ЮФУ, 2012. С. 120–124.

В статье рассматриваются методы трансформации моделей, созданных с помощью визуальных языков моделирования. Подробный анализ позволил выявить существующие в этой области проблемы и сформулировать подходы к их устранению. ...

Добавлено: 10 декабря 2012 г.

Платформа для создания адаптируемых систем мониторинга энергопотребления

Калашников Е. А., Лядова Л. Н., В кн.: Технологии разработки информационных систем ТРИС-2012. III Международная научно-техническая конференция. Материалы конференцииТ. 1.: Таганрог: Издательство Технологического института ЮФУ, 2012. С. 100–107.

Описана программная платформа, предназначенная для разработки динамически настраиваемых систем мониторинга энергопотребления. Пользователю предоставляются различные средства настройки: подключения к различным источникам данных (датчикам приборов энергопотребления, базам данных сторонних разработчиков), создания собственных панелей индикаторов и их настройки на условия эксплуатации и потребности пользователя. ...

Добавлено: 9 декабря 2012 г.

Методы и средства разработки языков описания трансформаций предметно-ориентированных языков

Лядова Л. Н., Серый А. П., Сухов А. О., В кн.: Технологии разработки информационных систем ТРИС-2012. III Международная научно-техническая конференция. Материалы конференцииТ. 1.: Таганрог: Издательство Технологического института ЮФУ, 2012. С. 107–112.

Описан процесс разработки программного обеспечения с использованием средств предметно-ориентированного моделирования. Введено понятие трансформаций предметно-ориентированных языков и требований к ним. Показаны ограничения существующих подходов к реализации предметно-ориентированных средств и трансформаций моделей (языков). Представлен подход к реализации средств описания трансформаций DSL. Он позволяет в простой и наглядной форме определять как вертикальные, так и горизонтальные трансформации и ограничения, ...

Добавлено: 11 декабря 2012 г.

Лексикологический синтез текстовых документов

Черников Б. В., В кн.: Технологии разработки информационных систем ТРИС-2012. III Международная научно-техническая конференция. Материалы конференцииТ. 1.: Таганрог: Издательство Технологического института ЮФУ, 2012. С. 18–28.

Излагается сущность лексикологического синтеза слабоформализуемых текстовых документов, обеспечивающая существенное сокращение трудозатрат на создание документов, повышение их качества, снижение объемов хранения и рост защищенности при передаче по каналам связи. ...

Добавлено: 28 ноября 2012 г.

Применение онтологий и принципов организации сервис-ориентированной архитектуры при проектировании и реализации системы имитационного моделирования

Замятина Е.Б., Миков А. И., В кн.: Технологии разработки информационных систем ТРИС-2012. III Международная научно-техническая конференция. Материалы конференцииТ. 1.: Таганрог: Издательство Технологического института ЮФУ, 2012. С. 61–65.

В настоящее время разработано и существует достаточно большее количество систем имитационного моделирования (СИМ). Некоторые из них предназначены для решения конкретных задач и настроены на конкретную предметную область. Круг пользователей таких систем ограничен. Другие системы являются универсальными, однако при решении конкретных задач пользователи сталкиваются с необходимостью дорабатывать их, дописывать код или разрабатывать модели в непривычных для ...

Добавлено: 20 марта 2015 г.

Научное направление: Компьютерные науки Математика

Приоритетные направления: математика инженерные науки

Язык: русский

Ключевые слова: теория графов прикладное программное обеспечение программная реализация интеллектуальных систем системы автоматического контроля функционирования сложных систем технология программирования автоматизация программирования программотехника аппаратная реализация интеллектуальных систем интеллектуальные базы знаний

Технологии разработки информационных систем ТРИС-2012. III Международная научно-техническая конференция. Материалы конференции

2-Elliptic Periodic Orbits near a Nonsimple Homoclinic Tangency in Four-Dimensional Symplectic Maps

Lerman L. M., Turaev D. V., Regular and Chaotic Dynamics 2026 Vol. 31 No. 3 P. 349–369

Добавлено: 15 мая 2026 г.

Bibliometric Analysis by Network Models

Алескеров Ф. Т., Якуба В. И., Khutorskaya O. и др., Springer, 2026.

Добавлено: 15 мая 2026 г.

Neural-network maps for two-parameter modeling of bistability and codimension-two bifurcations in two-dimensional flow dynamical systems

Купцов П. В., Панюшев А. А., Станкевич Н. В., Chaos 2026 Vol. 36 No. 5 Article 053138

Добавлено: 15 мая 2026 г.

Perovskite nanoparticles Cs4PbBr6 and CsPbBr3: synthesis, analysis and peculiar optical properties

Гущина В. А., / Series chemrxiv-2023-vpzhz-v2 "ChemRxiv". 2023.

Наночастицы полностью неорганических перовскитов CsPbBr3 и Cs4PbBr6 интенсивно изучаются благодаря их уникальным свойствам и широкому спектру применений; однако природа их оптических свойств до сих пор полностью не изучена из-за сложности синтеза однофазных наночастиц. В данной статье мы описываем особенности синтеза однофазных частиц и результаты их химического и фазового анализа. Используя данные о концентрациях наночастиц, мы ...

Добавлено: 14 мая 2026 г.

Bifurcations and Structural Stability of Generic PC-HC Families

Доровский А. А., / Series arXiv "math". 2026.

Добавлено: 14 мая 2026 г.

The Sobolev space W_2^{1/2}: Simultaneous improvement of functions by a homeomorphism of the circle

Лебедев В. В., Journal of Mathematical Analysis and Applications 2026 Vol. 563 No. 2 Article 130787

Добавлено: 14 мая 2026 г.

QGKM: A Quantum Fidelity-Based Graph Clustering Framework for Robust Data Pattern Recognition in Education Social Networks QGKM: A Quantum Fidelity-Based Graph Clustering Framework for Robust Data Pattern Recognition in Education Social Networks

Neal N. X., Weiqing L., Dacheng H. и др., Algorithms 2026 Vol. 19 No. 5 P. 1–22

Добавлено: 13 мая 2026 г.

Symmetric Cubic Polynomials

Blokh A., Oversteegen L., Selinger N. и др., Arnold Mathematical Journal 2025 Vol. 12 No. 1 P. 1–40

Добавлено: 13 мая 2026 г.

Proceedings of the 9th Student Research Workshop associated with the International Conference Recent Advances in Natural Language Processing

Velichkov B., Nikolova-Koleva I., Slavcheva M., Shumen: INCOMA Ltd, 2025.

Добавлено: 12 мая 2026 г.

Игры на сетях с линейным наилучшим ответом: модели и методы управления

Петров И. В., Автоматика и телемеханика 2026 № 6 С. 82–118

Системам связанных агентов и сетевому управлению посвящено большое число отечественных и зарубежных исследований. Исторически, наибольший интерес в теории управления возникал к усредняющим системам и, в частности, к задаче консенсуса. Однако сетевое взаимодействие может характеризоваться более специфическими функциями, отражающими зависимость от действий соседей по сети, что особенно явно проявляется в моделях стратегического взаимодействия на сети, которое ...

Добавлено: 12 мая 2026 г.

Интегрированная среда моделирования для верификации и валидации программ управления подключенными и высокоавтоматизированными транспортными средствами

Степанянц В. Г., Долгов И. М., Хорошилов Г. С. и др., Труды Института системного программирования РАН 2026 Т. 38 № 3 С. 95–110

На рынок постепенно выходят высокоавтоматизированные и подключенные транспортные средства (ТС). В настоящее время предлагаются решения, позволяющие использовать эти технологии для совместного управления дорожным движением, что может значительно повысить его безопасность. В статье анализируются требования к интегрированной среде моделирования подключенных и высокоавтоматизированных ТС и совместной автоматизации управления дорожным движением с высокодетализированным учетом влияния окружающих объектов. Проанализированы ...

Добавлено: 12 мая 2026 г.

Connected and Automated Vehicle Scenario Manager Graphical User Interface

Тихонов Р. А., Efendiev M. T., Fedotenkov A. A., 2026 International Russian Smart Industry Conference (SmartIndustryCon) 2026 P. 542–547

Добавлено: 11 мая 2026 г.

Архимед: научно-методический сборник

М.: ООО «Макс Пресс», 2026.

В настоящем сборнике представлены тезисы докладов участников семинара "Интеграция основного и дополнительного физико-математического образования", проходившего 11 февраля 2026 года в ГБОУ Школа №2007 ФМШ г. москвы, а также другие публикации, посвящённые вопросам дополнительного физико-математического образования. ...

Добавлено: 11 мая 2026 г.

A two-point phase recovering from holographic data on a single plane

Novikov R., Сивкин В. Н., Inverse Problems 2026 Vol. 42 No. 4 Article 045009

Добавлено: 11 мая 2026 г.

Multivariate Newton interpolation in downward closed spaces reaches the optimal Bernstein–Walsh approximation rate

Hecht M., Hofmann P., Wicaksono D. и др., IMA Journal of Numerical Analysis 2026 Vol. 00 P. 1–30

Добавлено: 11 мая 2026 г.

Proceedings 2026 IEEE 11th International Conference on Smart Cloud SmartCloud 2026 8-10 May 2026

Los Alamitos: IEEE Computer Society, 2026.

Добавлено: 10 мая 2026 г.

От неизвестности к прозрачности: обзор технологий объяснимого ИИ (XAI)

Авдошин С. М., Песоцкая Е. Ю., Информационные технологии 2026 Т. 32 № 4 С. 185–194

С развитием ИИ, и в особенности глубокого обучения, появились модели, способные давать крайне точные прогнозы. Однако их внутренняя логика остается трудной для понимания — и это серьезная проблема, особенно в сферах, где от корректности алгоритма зависят критиче ски важные решения. Одним из перспективных путей ее решения считается направление Explainable Artificial Intelligence (XAI) — разработка подходов, позволяющих прояснять ...

Добавлено: 8 мая 2026 г.

On the minimum number of maximal distance-k independent sets in trees

Талецкий Д. С., / Series arXiv "math". 2026.

Добавлено: 1 мая 2026 г.

On Arithmetic Mirror Symmetry for smooth Fano fourfolds

Овчаренко М. А., / Series arXiv "math". 2026.

Добавлено: 30 апреля 2026 г.

Ising models on the hydrogen peroxide and other lattices

Qin X., Deng Y., Щур Л. Н. и др., / Series arXiv "math". 2026. No. 2603.02962.

Добавлено: 20 апреля 2026 г.

Algorithmic overlaps as thermodynamic variables: from local to cluster Monte Carlo dynamics in critical phenomena

Пиле Я. Э., Deng Y., Щур Л. Н., / Series arXiv "math". 2026. No. 2604.10254.

Добавлено: 20 апреля 2026 г.

On weak solutions to the 1d compressible Navier-Stokes equations: a Lipschitz continuous dependence on data in weaker norms and an error of their homogenization

Zlotnik Alexander, / Series arXiv "math". 2026. No. 2602.03481v1.

Добавлено: 18 апреля 2026 г.

On the dimension of the space of static potentials on three-manifolds

Медведев В. О., / Series arXiv "math". 2026.

We investigate the interplay between the dimension of the space of static potentials and the geometric and topological structure of the underlying static three-manifold. A partial classification of boundaryless static manifolds is obtained in terms of this dimension. We also treat the case of static manifolds with boundary. In particular, we prove that if a ...

Добавлено: 3 апреля 2026 г.

Using predefined vector systems to speed up neural network multimillion class classification

Gabdullin N., Андросов И. А., / Series Computer Science "arxiv.org". 2026.

Добавлено: 2 апреля 2026 г.