?
Proceedings of the 7th Spring/Summer Young Researchers’ Colloquium on Software Engineering, SYRCoSE 2013
Ответственный редактор: Камкин А.
Под общей редакцией: Петренко А., Терехов А.
Труды 7-ого весеннего/летнего коллоквиума молодых исследователей в области программной инженерии (SYRCoSE 2013), 30-31 мая 2013 г. - Казань, Россия.
Сборник содержит статьи, представленные на 7-ом весеннем/летнем коллоквиуме молодых исследователей в области программной инжeнерии (SYRCoSE 2013), проводимом в Казани З0 и 31 мая 2013 г. Отбор статей производился на основе рецензирования материалов программным комитетом. На коллоквиум допускались как полные статьи, так и краткие сообщения, описывающие текущие исследования.
Программа коллоквиума охватывает следующие темы: моделирование компьютерных систем, теcтиpовaниe и верификация программ, параллельные и распределенные системы, информационный поиск и анализ данных, обработка изображений и речи и др.
ISBN 978-5-91474-020-4
Главы книги
Шершаков С. А., , in: Proceedings of the 7th Spring/Summer Young Researchers’ Colloquium on Software Engineering, SYRCoSE 2013.: Kazan: -, 2013. P. 19–24.
Volume of the data information system operate has been rapidly increasing. Data logs have long been known, as they are a useful tool to solve a range of tasks. The amount of information that is written to a log during a specified length of time leads to the so-called problem of “big data”. Process-aware information ...
Добавлено: 8 июня 2013 г.
Дворянский Л. В., Фрумин Д. И., , in: Proceedings of the 7th Spring/Summer Young Researchers’ Colloquium on Software Engineering, SYRCoSE 2013.: Kazan: -, 2013. P. 9–14.
Вложенные сети Петри это формализм для моделирования мультиагентных распределенных систем со сложной динамической структурой. Несмотря на ряд полезных свойств вложенных сетей Петри для моделирования упомянутых систем, отсутствие инструментальной поддержки сдерживает развитие и применение формализма. В данной работе представлен инструмент NPNtool для редактирования вложенных сетей Петри и композициональной проверки живости. Предложен алгоритм для проверки m-бисимулярности, необходимый ...
Добавлено: 18 июня 2013 г.
Бучина Н. Г., Дворянский Л. В., , in: Proceedings of the 7th Spring/Summer Young Researchers’ Colloquium on Software Engineering, SYRCoSE 2013.: Kazan: -, 2013. P. 15–18.
В данной работе был разработан подход к графическому моделированию и имитационному моделированию беспроводных сенсорных сетей (WSN) с помощью трансляции во вложенные сети Петри (NP-сети). Инструмент графического моделирования позволяет построить модель беспроводной сенсорной сети с учетом топологии анализируемой или проектируемой беспроводной сенсорной сети.
На основе построенной модели генерируется поведенчески эквивалентная вложенная сеть Петри.
Маршрутизация в беспроводной сенсорной сети между узлами-сенсорами и рабочей станцией WSN реализована
с использованием алгоритма ...
Добавлено: 4 июля 2013 г.
Сухов А. О., Лядова Л. Н., , in: Proceedings of the 7th Spring/Summer Young Researchers’ Colloquium on Software Engineering, SYRCoSE 2013.: Kazan: -, 2013. P. 31–40.
В процессе разработки программного обеспечения участвуют различные категории специалистов: дизайнеры баз данных, проектировщики пользовательского интерфейса, бизнес-аналитики, программисты, тестеры и др. Это приводит к созданию и использованию в процессе построения системы различных моделей, выполненных с различных точек зрения, с разной степень детализации, описанных с использованием различных языков моделирования. Именно поэтому возникает необходимость преобразования моделей как между различными ...
Добавлено: 2 сентября 2013 г.
Проценко А. С., Chupilko M., , in: Proceedings of the 7th Spring/Summer Young Researchers’ Colloquium on Software Engineering, SYRCoSE 2013.: Kazan: -, 2013. P. 25–31.
Добавлено: 3 сентября 2013 г.
Серый А. П., Лядова Л. Н., , in: Proceedings of the 7th Spring/Summer Young Researchers’ Colloquium on Software Engineering, SYRCoSE 2013.: Kazan: -, 2013. P. 41–46.
Добавлено: 3 сентября 2013 г.
Drobintsev P., Котляров В. П., Никифоров И. В., , in: Proceedings of the 7th Spring/Summer Young Researchers’ Colloquium on Software Engineering, SYRCoSE 2013.: Kazan: -, 2013. P. 46–51.
Добавлено: 4 сентября 2013 г.
Lanin V., Uzunova E., Yugov A. и др., , in: Proceedings of the 7th Spring/Summer Young Researchers’ Colloquium on Software Engineering, SYRCoSE 2013.: Kazan: -, 2013. P. 139–143.
Today many problems that are dedicated to a particular problem domain can be solved using DSL. Thus to use DSL it must be created or it can be selected from existing ones. Creating a completely new DSL in most cases requires high financial and time costs. Selecting an appropriate existing DSL is an intensive task ...
Добавлено: 21 января 2014 г.
Ланин В. В., Нестеров Р. А., Osotova Т., , in: Proceedings of the 7th Spring/Summer Young Researchers’ Colloquium on Software Engineering, SYRCoSE 2013.: Kazan: -, 2013. P. 136–138.
This article contains the implementation description of a real estate market offers aggregator service. Advertisement analysis is made with the aid of ontologies. A set of ontologies to describe specific websites can be extended, so the aggregator can be used for many diverse resources. ...
Добавлено: 21 января 2014 г.
Chugunov A., Ланин В. В., , in: Proceedings of the 7th Spring/Summer Young Researchers’ Colloquium on Software Engineering, SYRCoSE 2013.: Kazan: -, 2013. P. 133–135.
This paper describes our approach to document search based on the ontological resources and graph models. The approach is applicable in local networks and local computers. It can be useful for ontology engineering specialists or search specialists. ...
Добавлено: 21 января 2014 г.
Татарников А. Д., Камкин А. С., Сергеева Т. И. и др., , in: Proceedings of the 7th Spring/Summer Young Researchers’ Colloquium on Software Engineering, SYRCoSE 2013.: Kazan: -, 2013. P. 51–57 .
Добавлено: 20 декабря 2017 г.
Язык:
английский
Ronglin Z., Wei L., Jiahong C. и др., Journal of Signal Processing Systems 2026 Vol. 98 P. 1–15
Добавлено: 16 мая 2026 г.
Суворов Н. М., Proceedings of the Institute for System Programming of the RAS 2026 Vol. 38 No. 3(2) P. 49–66
Сети Петри с данными (DPN) являются расширением классических сетей Петри, позволяющим моделировать процессы, где данные влияют на поток управления, обеспечивая комплексное представление о поведении системы и возможность обнаружения точек отказа, которые в противном случае были бы скрыты. Одним из критериев корректности для моделей процессов является бездефектность. Модель процесса называется бездефектной, если она всегда корректно завершается ...
Добавлено: 16 мая 2026 г.
Lerman L. M., Turaev D. V., Regular and Chaotic Dynamics 2026 Vol. 31 No. 3 P. 349–369
Добавлено: 15 мая 2026 г.
Добавлено: 15 мая 2026 г.
Добавлено: 15 мая 2026 г.
Гущина В. А., / Series chemrxiv-2023-vpzhz-v2 "ChemRxiv". 2023.
Наночастицы полностью неорганических перовскитов CsPbBr3 и Cs4PbBr6 интенсивно изучаются благодаря их уникальным свойствам и широкому спектру применений; однако природа их оптических свойств до сих пор полностью не изучена из-за сложности синтеза однофазных наночастиц. В данной статье мы описываем особенности синтеза однофазных частиц и результаты их химического и фазового анализа. Используя данные о концентрациях наночастиц, мы ...
Добавлено: 14 мая 2026 г.
Лебедев В. В., Journal of Mathematical Analysis and Applications 2026 Vol. 563 No. 2 Article 130787
Добавлено: 14 мая 2026 г.
Рассмотрены проблемы метрологического обеспечения средств измерений показателя преломления твёрдых оптических материалов (кремния, германия и т. п.), применяемых в инфракрасном диапазоне спектра (инфракрасных материалов). Показатель преломления оптических материалов в инфракрасном диапазоне длин волн необходимо знать с высокой точностью при разработке оптики для тепловизоров, приборов ночного видения и т. п. В настоящее время актуальны задачи разработки отечественных ...
Добавлено: 14 мая 2026 г.
Neal N. X., Weiqing L., Dacheng H. и др., Algorithms 2026 Vol. 19 No. 5 P. 1–22
Добавлено: 13 мая 2026 г.
Blokh A., Oversteegen L., Selinger N. и др., Arnold Mathematical Journal 2025 Vol. 12 No. 1 P. 1–40
Добавлено: 13 мая 2026 г.
Velichkov B., Nikolova-Koleva I., Slavcheva M., Shumen: INCOMA Ltd, 2025.
Добавлено: 12 мая 2026 г.
Петров И. В., Автоматика и телемеханика 2026 № 6 С. 82–118
Системам связанных агентов и сетевому управлению посвящено большое число отечественных и зарубежных исследований. Исторически, наибольший интерес в теории управления возникал к усредняющим системам и, в частности, к задаче консенсуса. Однако сетевое взаимодействие может характеризоваться более специфическими функциями, отражающими зависимость от действий соседей по сети, что особенно явно проявляется в моделях стратегического взаимодействия на сети, которое ...
Добавлено: 12 мая 2026 г.
Методика оценки функциональной безопасности маршрутизаторов на основе вероятностно-физической модели
Полесский С. Н., Тумковский С. Р., Цветков В. Э. и др., Информационно-управляющие системы 2026 № 2 С. 49–60
Функциональная безопасность сетевых маршрутизаторов, используемых в критической информационной инфраструктуре, требует количественной оценки на основе надежностных данных. Существующие методики оценки показателей безопасности не отражают влияние физических механизмов деградации в реальных условиях эксплуатации, что снижает достоверность результатов и затрудняет принятие обоснованных технических решений. Цель: повысить точность количественной оценки функциональной безопасности маршрутизаторов путем разработки методики, учитывающей деградационные процессы и ...
Добавлено: 12 мая 2026 г.
Степанянц В. Г., Долгов И. М., Хорошилов Г. С. и др., Труды Института системного программирования РАН 2026 Т. 38 № 3 С. 95–110
На рынок постепенно выходят высокоавтоматизированные и подключенные транспортные средства (ТС). В настоящее время предлагаются решения, позволяющие использовать эти технологии для совместного управления дорожным движением, что может значительно повысить его безопасность. В статье анализируются требования к интегрированной среде моделирования подключенных и высокоавтоматизированных ТС и совместной автоматизации управления дорожным движением с высокодетализированным учетом влияния окружающих объектов. Проанализированы ...
Добавлено: 12 мая 2026 г.
Тихонов Р. А., 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 г.
Добавлено: 28 апреля 2026 г.
Добавлено: 20 апреля 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 г.