?
Proceedings of the 6th Spring/Summer Young Researchers’ Colloquium on Software Engineering, SYRCoSE 2012
Камкин А., Петренко А., Терехов А.
Сборник содержит статьи, представленные на 6-ом весеннем/летнем коллоквиуме молодых исследователей в области программной инженерии (SYRCoSE 2012), проводимом в Перми 30 и 31 мая 2012 г. Отбор статей производился на основе рецензирования материалов программным комитетом. На коллоквиум допускались как полные статьи, так и краткие сообщения, описывающие текущие исследования.
Программа коллоквиума охватывает следующие темы: технологии разработки программ; языки программирования, тестирование и верификация компьютерных систем; анализ программ; информационные системы, обработка изображений и видео и др.
Главы книги
Дворянский Л. В., Фрумин Д. И., , in: Proceedings of the 6th Spring/Summer Young Researchers’ Colloquium on Software Engineering, SYRCoSE 2012.: Perm: -, 2012. P. 122–127.
Nested Petri nets is an extension of Petri net formalism with net tokens for modelling multi-agent distributed systems with complex structure. Temporal logics, such as CTL, are used to state requirements of software systems behaviour. However, in the case of nested Petri nets models, CTL is not expressive enough for specification of system behaviour. In ...
Добавлено: 20 сентября 2012 г.
Сухов А. О., Лядова Л. Н., , in: Proceedings of the 6th Spring/Summer Young Researchers’ Colloquium on Software Engineering, SYRCoSE 2012.: Perm: -, 2012. P. 42–53.
Технологии, основанные на применении метамоделирования и предметно-ориентированных языков широко используются при разработке информационных систем. Существует множество средств для создания редакторов графических предметно-ориентированных языков с возможностями определения пользовательских графических нотаций. Однако они имеют ограничения. Система MetaLanguage разрабатывается для того, чтобы снять часть этих ограничений. MetaLanguage является языковым инструментарием, который обеспечивает создание визуальных динамически адаптируемых предметно-ориентированных языков ...
Добавлено: 9 декабря 2012 г.
Соколов Г., Ланин В. В., , in: Proceedings of the 6th Spring/Summer Young Researchers’ Colloquium on Software Engineering, SYRCoSE 2012.: Perm: -, 2012. P. 182–185.
Задача повышения пертинентности поиска при сохранении низкой временной сложности – широко распространенная проблема в CS. Семантический поиск как вариант решения данной проблемы обладает большой временной сложностью. В работе рассматривается использование агентного подхода для уменьшения временной сложности построения семантических индексов используемых для поиска. ...
Добавлено: 18 января 2013 г.
Бессонов В. А., Ланин В. В., , in: Proceedings of the 6th Spring/Summer Young Researchers’ Colloquium on Software Engineering, SYRCoSE 2012.: Perm: -, 2012. P. 186–190.
Статья посвящена описанию подхода к включению метаданных в документы форматов Open XML и ODF. Включаемые метаданные могут быть использованы для реализации семантического индексирования содержимого электронных документов. Предлагаемые подходы реализованы в программной библиотеке, обеспечивающей работу с указанными форматами документов. ...
Добавлено: 18 января 2013 г.
Шершаков С. А., , in: Proceedings of the 6th Spring/Summer Young Researchers’ Colloquium on Software Engineering, SYRCoSE 2012.: Perm: -, 2012. P. 79–84.
Добавлено: 14 марта 2013 г.
Sergey Shershakov, Irina Lomazova, , in: Proceedings of the 6th Spring/Summer Young Researchers’ Colloquium on Software Engineering, SYRCoSE 2012.: Perm: -, 2012. P. 79–84.
Добавлено: 14 марта 2013 г.
Татарников А. Д., Камкин А. С., , in: Proceedings of the 6th Spring/Summer Young Researchers’ Colloquium on Software Engineering, SYRCoSE 2012.: Perm: -, 2012. P. 64–69.
Добавлено: 13 декабря 2017 г.
Научное направление:
Компьютерные науки
Философия, этика, религиоведение
Филология и лингвистика
Математика
Электроника и электротехника
Язык:
английский
Ключевые слова: базы данныхинформатикаматематическая логикавычислительная техникакибернетикатеоретические основы прикладного программного обеспеченияинформационные системы с базами знанийпроцессы информационного поискаинформационно-поисковые массивыманипулирование данными и файламимоделирование логических структуртехнология программированияавтоматизация программированияпрограммотехникаавтоматикаязыки программированияабстрактные машины
Подобряев А. В., Ивлиева Н. В., Glossa: a journal of general linguistics 2026 Vol. 11 No. 1 P. 1–25
Добавлено: 15 октября 2026 г.
Aleksei Samarin, Назаренко А. А., Nazarenko D. и др., Machine Learning and Knowledge Extraction 2026 Vol. 8 No. 10 Article 330
Добавлено: 14 октября 2026 г.
Мамедов И. Г., Fofanov M., Lukianchenko P. и др., IEEE Access 2026 No. 14 P. 26662–26671
Добавлено: 14 октября 2026 г.
Parkhomenko V., Куликова С. П., Бузмаков А. В., Lobachevskii Journal of Mathematics 2026 Vol. 47 No. 6 P. 2979–2992
Добавлено: 14 октября 2026 г.
Kuznetsov A. P., Sedova Y. V., Sataev I. R. и др., Mathematics and Computers in Simulation 2027 Vol. 2 P. 574–592
Добавлено: 14 октября 2026 г.
Дмитриев А. В., Корнилов В. В., Batienkov R., Lecture Notes in Civil Engineering 2026 Vol. 886 P. 249–255
Добавлено: 13 октября 2026 г.
Дмитриев А. В., Shulman I., Лебедев А. А., Studies in Computational Intelligence 2026 Vol. 1265 P. 266–273
Добавлено: 13 октября 2026 г.
Добавлено: 13 октября 2026 г.
Makarov D. M., Каликин Н. Н., Fashchevsky K. A. и др., Electrochimica Acta 2026 Vol. 579 Article 150159
Добавлено: 13 октября 2026 г.
Zhang Z., Ильвовский Д. А., Information Processing and Management 2026 Vol. 63 No. 7
Добавлено: 13 октября 2026 г.
Добавлено: 13 октября 2026 г.
Жукова О. А., Вопросы философии (Российская Федерация) 2026 № 10 С. 214–222
Статья посвящена актуальным дискуссиям в области исследований русской религиозной философии и практикам ее преподавания в российских государственных и конфессиональных вузах. Она обобщает обсуждение теоретических и практических аспектов изучения философского наследия России и ее традиции религиозной мысли, которые были рассмотрены на Круглом столе «Русская религиозная мысль в современных исследованиях и образовании: философия, теология, философия религии», состоявшемся ...
Добавлено: 13 октября 2026 г.
No Species Is an Island, Entire of Itself: Genetic Speciation Algorithm with Interplay among Species
Громов В. А., Сохраби М., Fathollahi-Fard A., International Journal of Engineering, Transactions B: Applications 2027 Vol. 40 No. 5 P. 1437–1460
Добавлено: 12 октября 2026 г.
Князева Е. Н., Вопросы философии 2026 № 10 С. 82–93
Статья посвящена философскому анализу синергетики Ричарда Бакминстера Фуллера как основания системного и креативного дизайна в условиях цифрового мира и усложнения современных форм взаимодействия. В центре исследования находится идея формы как активного принципа организации действия, мышления и распределенной агентности. Показывается, что в концепции Фуллера геометрия перестает быть лишь описанием пространственных структур и превращается в универсальный язык ...
Добавлено: 12 октября 2026 г.
ИДВ РАН, 2026.
Статья посвящена проблеме восприятия национального вьетнамского костюма как инструмента культурной репрезентации в контексте официальных государственных мероприятий, проходящих во Вьетнаме и за его пределами. Исследование фокусируется на конкретных примерах проведения протокольных визитов, встреч и форумов, а также конкурсов красоты, в рамках которых используется костюм аозай и другие виды и элементы национальной одежды. Сделан вывод, что, несмотря ...
Добавлено: 12 октября 2026 г.
В данной работе проведено сравнение точности дальнометрии лидарных архитектур прямого времени пролёта (dToF) и вне прямой видимости (NLOS), обе из которых используют сверхпроводящий нанопроволочный детектор одиночных фотонов (SNSPD). Обе системы работают на длине волны 1550 нм с импульсным лазером длительностью 50 пс и методом коррелированного во времени счёта одиночных фотонов (TCSPC). Конфигурация dToF обеспечила точность около 100 мкм ...
Добавлено: 12 октября 2026 г.
Добавлено: 12 октября 2026 г.
Люксембург А. А., УРСС, 2005.
Изучается возможность автоматизированного построения математических теорий. Рассматривается дедуктивная система, основанная на языке логики предикатов первого порядка, объектами системы являются математические выражения или формулы, которые описывают математические объекты или их свойства. В дедуктивной системе выводятся математические определения и теоремы. Для доказательства теорем используются методы автоматического доказательства. Разработан алгоритм, выводящий часть формул системы. Для решения задачи используется аппарат математической ...
Добавлено: 7 октября 2026 г.
Щагин Д. В., Дубич Е. В., В кн.: Сборник статей по материалам CCCXLI студенческой международной научно-практической конференции "Молодежный научный форум".: М.: Международный центр науки и образования, 2026. С. 36–46.
В статье рассматриваются подходы к масштабированию баз данных на примере PostgreSQL. Целью работы является сравнительный анализ вертикального масштабирования и горизонтального масштабирования чтения с использованием read replica при росте нагрузки на систему. В рамках исследования было проведено тестирование трех конфигураций: базовой, вертикально масштабированной и горизонтально масштабированной. Сравнение выполнялось по показателям пропускной способности системы и средней задержки ...
Добавлено: 25 сентября 2026 г.