Исследование посвящено изучению и анализу взаимосвязи между повышением качества требований к программному обеспечению и качеством используемого программного продукта. Анализ проводился при разработке реальных требований к программному продукту и вычислении метрик двух программных продуктов в соответствии со стандартом ISO/IEC 25010. Результаты показывают, что мероприятия по проверке качества, проводимые на этапе разработки требований к программному обеспечению, положительно влияют на качество реализуемых программных продуктов. В отношении изученного программного обеспечения можно сказать, что повышение качества требований способствовало повышению качества использования программных продуктов.

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

Разработка программного обеспечения может быть длительным и дорогостоящим процессом, требующим значительных усилий. Перед разработчиками часто ставят задачи по программированию или внесению изменений в существующие программы так, чтобы общая сложность не увеличилась. Понятно, что прежде, чем вносить какие-либо изменения, важно понять зависимости между компонентами программы. Однако по мере роста размеров программ менеджерам проектов становится все сложнее обнаруживать косвенные связи между компонентами. Эти скрытые связи могут усложнять систему, приводить к неточной оценке необходимых затрат и ставить под угрозу качество получающихся программ. Чтобы решить эти проблемы, данное исследование направлено на выработку набора мер, которые дополняют теорию измерений и выявляют скрытые связи между компонентами программного обеспечения, расширяя сферу применения, увеличивая эффективность и полезность общепризнанных метрик программного обеспечения. Исследование велось в двух главных направлениях: (1) как измерения косвенных зависимостей могут помочь разработчикам при сопровождении программ и (2) как метрики косвенных связей могут количественно оценивать сложность и размер программного обеспечения, используя взвешенные различия между методами. В исследовании представлен комплекс мер, призванных помочь менеджерам проектов и разработчикам в управлении проектами и их сопровождении. Используя возможности измерений косвенных связей, эти меры могут повысить качество и эффективность процессов разработки и поддержки программного обеспечения.

Небольшие компании, ведущие “живую” разработку программного обеспечения, сталкиваются с новой реальностью удаленной разработки. В удаленном взаимодействии создаётся множество видеозаписей, извлекаемых из видеозвонков и используемых в последующей работе. Записанные видеозвонки содержат архитектурные знания, собранные на виртуальных встречах, они важны для компаний, сталкивающихся с проблемой испарения знаний. Однако в литературе редко встречаются предложения по управлению архитектурным знанием, имеющимся в видеозаписях. В статье предлагается решение для восстановления архитектурных знаний, содержащихся в видео, которое, следуя концепции конденсации архитектурных знаний, в качестве классификационной схемы использует онтологию. В соответствии с руководящими принципами Methontology была проведена валидация предложений по управлению архитектурными знаниями. Внедрение онтологии как схемы классификации представляет собой шаг вперед к достижению консолидации архитектурных знаний в гибкой среде разработки для микропредприятий.

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

В работе описывается универсальное представление для абстрактного синтаксического дерева (АСД), подходящее для статического анализа нескольких языков программирования. Предлагаемая схема анализа состоит в сохранении промежуточного представления в виде обобщенного АСД из компиляторов соответствующих языков и последующим анализом сохраненных деревьев. Мы реализовали такое представление для Java, Kotlin и Python. В анализаторе обобщенного АСД реализовано 27 детекторов. Мы описываем сущности предлагаемого представления, особенности его реализации для поддержанных языков. Приводим экспериментальные результаты скорости и качества анализа, а также сравнения анализа на обобщенном АСД с анализом, выполненным ранее на АСД конкретного компилятора. В итоге подход демонстрирует некоторое ухудшение скорости анализа, но позволяет разделить построение АСД для анализа и реализацию детекторов, что упрощает разработку АСД-детекторов в случае, когда количество поддерживаемых анализатором языков становится значительным.

Причиной возникновения неопределенного поведения является исходный код, написанный с нарушением стандарта языка Си. Неопределенное поведение приводит к появлению уязвимостей в программном обеспечении. Одним из распространенных источников неопределенного поведения является некорректное использование функций нелокальных переходов (в частности setjmp и longjmp). В данной работе рассмотрены средства обнаружения такого типа неопределенного поведения, реализованные в основных современных компиляторах (GCC, Clang, MSVC). Сделаны выводы о том, что эти средства обладают существенными недостатками либо вовсе отсутствуют в отдельных компиляторах. Описана реализация нового метода компиляторной диагностики рассматриваемого неопределенного поведения. Приведенный в работе метод обладает точностью, достаточной для практического применения на реальных проектах. Рассмотрены преимущества представленного решения над похожими существующими.

. Гонки по данным - это ошибки в многопоточных программах, возникающие, когда два потока выполняют доступ к одной ячейке памяти без синхронизации. Гонки по данным трудно находить и отлаживать. В этой статье представлен метод динамического поиска гонок по данным RaceHunter, который выполняет мониторинг многопоточной программы, выявляет конфликтующие доступы к памяти и систематически проверяет их на гонки по данным. RaceHunter не выдаёт ложных сообщений о гонках по данным, когда программа использует нестандартные примитивы синхронизации или неизвестные способы синхронизации потоков, и может находить гонки по данным, которые упускают другие подходы. Инструменты динамического поиска гонок по данным могут использоваться для мониторинга длительных выполнений программы либо для проверки относительно непродолжительных выполнений, инициированных тестами. Последнее - основной сценарий использования RaceHunter.

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

Работа посвящена описанию инструмента тестирования безопасности реализаций криптографических протоколов, работающего на основе спецификаций, написанных на декларативном интероперабельном встроенном предметно-ориентированном языке (emdedded [in Haskell] DSL). Рассмотрена задача формирования качественных опорных тестовых наборов для использования в тестировании безопасности реализаций протоколов. Предложен метод решения этой задачи в контексте представленного инструмента.

В работе предложен метод проверки принадлежности обучающей выборке для нейросетевого алгоритма классификации из проекта национального стандарта, разработанного Омским государственным техническим университетом под эгидой Технического комитета по стандартизации «Искусственный интеллект» (ТК 164). Указанный метод позволяет определить, использовались ли данные при обучении нейронной сети, и направлен на нарушение свойства конфиденциальности обучающей выборки. Полученные результаты показывают, что описываемый стандартом механизм защиты нейросетевых классификаторов не обеспечивает заявленных свойств. Полученные результаты первоначально анонсированы на конференции Рускрипто’2023.

Открытый маршрут проектирования интегральных схем OpenLane позволяет реализовать маршрут проектирования RTL-to-GDS, однако некоторые задачи остаются незакрытыми. Примером такой задачи является рассматриваемое в данной работе исправление нарушений антенных правил, средства детектирования которых входят в состав маршрута OpenLane. Было разработано программное обеспечение, которое позволяет на основе входных данных в виде файлов с информацией о составе библиотеки элементов и информации о размещении и трассировке схемы выполнить исправление нарушений антенных правил. Для разработанного программного обеспечения была реализована параллельная реализация, в работе приводятся результаты сравнения двух версий; показано, что выигрыш по времени составил более 60%. В статье рассматриваются как разработанные алгоритм и построенное на его основе программное обеспечение, способное встраиваться в открытый маршрут OpenLane, так и пример кода скрипта встраивания. Использование разработанного программного обеспечения позволяет исправлять значительную часть нарушений антенных правил, повышая тем самым процент выхода годных.

В работе проведено исследование алгоритмов машинного обучения для предсказания турбулентной вязкости на примере течения за обратным уступом. Данные для обучения получены с помощью расчёта с применением программного комплекса OpenFOAM и модели турбулентности . Для предсказания турбулентной вязкости выполнен анализ значимости параметров течения, включающих пульсации скоростей, градиенты давления и скорости, инварианты тензора скоростей деформаций и их комбинации. Произведено сравнение различных алгоритмов машинного обучения и проанализирована значимость входных признаков. Получено, что наиболее оптимальный алгоритм для предсказания турбулентной вязкости в данной задаче является Decision Tree Regressor. C помощью выбранной модели выполнено предсказание распределения турбулентной вязкости в расчётной области для различных чисел Рейнольдса.

В работе рассматривается быстрый метод мультиполей с использованием матриц поворота для операторов трансляции для расчета взаимодействия частиц с нютоновским потенциалом, а также его приложение для случая, когда взаимодействие между частицами описывается законом Био—Савара. В работе приведены формулы, необходимые для реализации алгоритма, а также такие редко затрагиваемые моменты, как нормировка сферических гармоник и связанная с ней нормировка матриц Вигнера. Основное внимание в работе уделено описанию деталей программной реализации, которые позволяют существенно ускорить работу кода, как для CPU, так и для GPU (с использованием технологии CUDA). Приведено подробное изложение предлагаемых методик, а также иллюстрирующие их листинги кода. С их использованием был реализован программный комплекс на C++ и проведено сравнение с открытыми программными реализациями быстрого метода мультиполей. Данное сравнение подтверждает высокую эффективность предложенной реализации.

В работе проведен сравнительный анализ результатов численного моделирования и экспериментального исследования течения жидкости в теплообменном аппарате (ТА). В качестве инструмента для численного моделирования использовался пакет для решения задач МСС OpenFOAM. Экспериментальные исследования проводились на гидравлическом стенде ТМЖ-2М. Теплообменный аппарат подключался напрямую к модулям гидравлического стенда. В качестве рабочей жидкости была использована дистиллированная вода комнатной температуры. Верификация экспериментальных результатов проводилась на основе численного моделирования в пакете OpenFOAM с применением тех же характеристик сред, используемых при натурном эксперименте. Анализ полученных данных показал хорошую сходимость результатов численного и экспериментального исследования многосекционного ТА.

В данной работе предлагается реализация подхода обучения нейронной сети для детекции объектов с помощью аугментации - переноса стиля. Данный метод улучшает обобщающую способность нейросети для определения местоположения объектов на изображении за счет улучшения взаимодействия с низкоуровневыми признаками, такими как текстуры, цвета и небольшие изменения форм. Экспериментально доказана эффективность метода и продемонстрированы числовые значения метрик детекции на нескольких наборах данных с различными классами. Применение аугментации предлагается с помощью ранее не использованной архитектуры нейросети, способной переносить произвольное количество стилей. Особенностью подхода также является то, что веса нейросети для стилизации замораживаются и она добавляется в граф детекционной сети, что позволяет увеличить скорость аугментации.

. В статье представлены результаты анализа трех словарей Г.Ф. Миллера, созданных в XVIII веке и размещенных на платформе ЛингвоДок (lingvodoc.ispras.ru). Впервые в научный оборот вводятся рукописные словари Г.Ф. Миллера из фонда РГАДА. В процессе анализа выявлено: 1) все процессы перехода в области согласных в татарском языке в XVIII веке уже завершились; 2) перелом поволжских гласных к этому периоду еще для всех гласных не завершился, а для [*о] и [*u] данный процесс даже не начался; 3) в XVIII веке в татарском языке были уже выделены диалектные зоны; 4) словарь 1791 года на кириллической графике отличается инновациями от современного татарского языка и словарей на латинской графике; 5) словари на латинской графике более близки к современному татарскому  литературному языку.

Цель работы заключается в исследовании особенностей оформления русской звучащей речи китайскими и ганскими студентами на разных уровнях обучения на основе экспериментально-фонетических программ. Предметом внимания послужило интонационное оформление основных коммуникативных интенций: приветствие, обращение, завершенность, незавершенность, вопрос без вопросительного слова, вопрос с союзом «а», положительная оценка и удивление. Исследование представляет интерес для создания этноориентированной методики обучения русской интонации. Научная новизна – анализ звучащей речи иностранных студентов на уровне синтагмы в сравнении с носителями русского языка с использованием программ Praat и Lingvodoc. Результаты исследования состоят в наглядном представлении особенностей оформления основных коммуникативных намерений в русской речи китайцев и ганцев с целью предупреждения и коррекции ошибок на уровне интонации.

В статье приведены результаты компьютерного фонетико-этимологического и глоттохронологического анализа данных говора д. Бобья-Уча Малопургинского района Удмуртской Республики. Насколько нам известно, диалектные особенности исследуемого говора ранее не привлекали внимание исследователей. В ходе работы по гранту РНФ были собраны аудиозаписи двух словарей разговорного языка, которые до сих пор используются в повседневной жизни. В настоящее время аудиоматериалы словарей затранскрибированы и размещены на платформе ЛингвоДок (lingvodoc.ispras.ru), что позволило установить этимологические связи с базовыми словарями удмуртских диалектов. Затем, с помощью специальных программ, было проанализировано расхождение говора д. Бобья-Уча от удмуртского литературного языка. Выявлены фонетические особенности исследуемого говора и уточнена его диалектная принадлежность. Сравнительно-исторический анализ фонетических особенностей показал, что согласные фонемы исследуемого говора не подверглись каким-либо изменениям и не имеют диалектных особенностей. Однако в говоре д. Бобья-Уча существует специфический звук ’, исследование которого требует дальнейших научных изысканий. Вокалическая система изучаемого говора определена несколькими изменениями акустико-артикуляционных свойств отдельных фонем: *ɪ̈ > ə, *ɐ > ə, *ɞ > ɜ. Таким образом, исходя из этимолого-фонетического и глоттохронологического анализа (совпадение 96%), можно видеть, что говор д. Бобья-Уча принадлежит к центрально-южному диалекту удмуртского языка.

В статье дается анализ отглоссированного корпуса и конкорданса книг «Священная история …» (1883) и «Указание пути в Царствие Небесное …» (1884) на шорском наречии, которые находятся в открытом доступе на онлайн-платформе ЛингвоДок (lingvodoc.ispras.ru). Установлено, что книги являются памятниками слабо нормированного младописьменного шорского языка – письменного варианта кондомского (шорского) наречия. В корпусе выявлены систематические случаи отличия языка первых печатных изданий от современного языка, которые не были ранее описаны: мультивариативная форма настоящего времени, объединяющая аналитические, дефисные, переходные к синтетическим, и синтетические глагольные конструкции с одним и тем же показателем "(–)чар(ы)", а также элиминация аффикса третьего лица единственного числа "ы" в синтетических формах настоящего времени на
"(–)чар(ы)" и процессы синтезации данной временной формы с неустоявшейся орфографией. Автором проведен анализ регулярности этих явлений, а также введены в научный оборот материалы мало изученного младописьменного шорского языка последней трети XIX в., сегодня находящегося под угрозой исчезновения, пополнен автоматический парсер шорского языка отсутствующими в нем аффиксами мультивариативных глагольных форм. Правило отпадения "(Ы)п" в основах, оканчивающихся на согласную, еще не нормировано и работает спорадически, не нормирована и орфография слитно-раздельно мультивариативной формы настоящего времени на "(–)чар". В статье разбирается материал, имеющий отношение к становлению грамматики и орфографии современного шорского языка.

Монгольские языки – языковая семья, включающая в себя несколько близкородственных языков Монголии, Китая, России и Афганистана. Согласно данным лексикостатистики, они распались около V в. н. э. К южно-монгольским языкам принято относить дагурский, шира-югурский, дунсянский, баоаньский, язык ту (монгорский). Южно-монгольские языки, по сравнению с другими группами монгольских языков, подверглись влиянию китайских и тюркских языков, различные исторические события оказали несомненное влияние на них.

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