?
Технологии разработки информационных систем ТРИС-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 г.
Язык:
русский
Ключевые слова: теория графовприкладное программное обеспечениепрограммная реализация интеллектуальных системсистемы автоматического контроля функционирования сложных системтехнология программированияавтоматизация программированияпрограммотехникааппаратная реализация интеллектуальных системинтеллектуальные базы знаний
Flamarion M. V., Пелиновский Е. Н., Nonlinear Dynamics 2026 Vol. 114 Article 784
Добавлено: 5 июня 2026 г.
Seul: PMLR, 2026.
Добавлено: 4 июня 2026 г.
Добавлено: 4 июня 2026 г.
Гомеоморфизмы топологических пространств называются эквивалентными по надстройке, если надстройки над ними топологически эквивалентны. В частности, топологически сопряженные гомеоморфизмы эквивалентны по надстройке. Известно, что для гомологически неприводимых гомеоморфизмов их топологическая сопряженность является необходимым и достаточным условием их эквивалентности по надстройке. Тогда как инварианты топологической сопряженности гомологически приводимых гомеоморфизмов во многих случаях являются избыточными для эквивалентности по ...
Добавлено: 3 июня 2026 г.
Гнетов Ф. А., Конаков В. Д., Успехи математических наук 2026 Т. 81 № 3 (489) С. 161–162
Пусть M обозначает симметрическое пространство некомпактного типа ранга 1. Опираясь на фундаментальную работу [1], в [2] было показано, что плотность соответствующим образом нормированной суммы независимых Hn-значных случайных величин, определенная через сложение Мёбиуса в модели шара Пуанкаре, сходится к фундаментальному решению соответствующего уравнения теплопроводности. Пределом являлся нормальный закон на Hn, соответствующий ядру теплопроводности, определяемому оператором Лапласа–Бельтрами. ...
Добавлено: 2 июня 2026 г.
Силаков Д. В., Системный администратор 2026 № 3 С. 28–33
В статье про платформы для разработки открытого ПО в Китае мы рассказали про GitCode – молодой проект, позиционируемый как площадка для разработчиков со всего мира. Сейчас на GitCode размещаются проекты, созданные в КНР, но некоторые из них уже известны и на международной арене. Помочь открытым проектам в становлении, развитии и расширению аудитории призван фонд OpenAtom ...
Добавлено: 2 июня 2026 г.
Slivnitsin P., Мыльников Л. А., Engineering Applications of Artificial Intelligence 2026 Vol. 179 Article 115185
Добавлено: 29 мая 2026 г.
Gorbounov Vassily, Kazakov A., Data Analytics and Topology 2025 Vol. 1 No. 1 P. 33–45
Добавлено: 28 мая 2026 г.
Мокиенко О. А., Zisman M. A., Бобров П. Д. и др., American Journal of Physical Medicine and Rehabilitation 2026 Vol. 105 No. 6 P. 555–563
Добавлено: 28 мая 2026 г.
Добавлено: 28 мая 2026 г.
Добавлено: 28 мая 2026 г.
Гущина В. А., / Series chemrxiv-2023-vpzhz-v2 "ChemRxiv". 2023.
Наночастицы полностью неорганических перовскитов CsPbBr3 и Cs4PbBr6 интенсивно изучаются благодаря их уникальным свойствам и широкому спектру применений; однако природа их оптических свойств до сих пор полностью не изучена из-за сложности синтеза однофазных наночастиц. В данной статье мы описываем особенности синтеза однофазных частиц и результаты их химического и фазового анализа. Используя данные о концентрациях наночастиц, мы ...
Добавлено: 14 мая 2026 г.
Добавлено: 20 апреля 2026 г.
Медведев В. О., / 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 г.
Gabdullin N., Андросов И. А., / Series Computer Science "arxiv.org". 2026.
Добавлено: 2 апреля 2026 г.
Сорокин К. С., Бекетов М. Е., Онучин А. и др., / arxiv.org. Серия cs.SI "Social and Information Networks ". 2025.
Обнаружение сообществ в сложных сетях — фундаментальная проблема, открытая для новых подходов в различных научных областях. Мы представляем новый метод обнаружения сообществ, основанный на потоке Риччи на графах. Наша техника итеративно обновляет веса ребер (их метрические длины) в соответствии с их (комбинаторной) версией кривизны Риччи Фостера, вычисленной на основе эффективного расстояния сопротивления между узлами. Известно, ...
Добавлено: 15 января 2026 г.
Гаянов Н. В., Парусникова А. В., / Cornell University. Серия math "arxiv.org". 2025.
Рассматривается алгебраическое q-разностное уравнение. Предлагается достаточное условие существования формального степенно- логарифмического разложения решения такого уравнения в окрест- ности нуля. Приводится пример применения этого достаточного условия для построения формального разложения решения неко- торого q-разностного аналога пятого уравнения Пенлеве при конкретных значениях параметров уравнения; рассматриваются два различных значения числа q, приводящие к качественно разным формальным асимптотическим разложениям ...
Добавлено: 25 декабря 2025 г.