SCI Библиотека

В работе исследуются автоматические методы классификации русскоязычных предложений на два класса: содержащие и не содержащие ироничный посыл. Рассматриваемые методы могут быть разделены на три категории: классификаторы на основе эмбеддингов языковых моделей, классификаторы с использованием информации о тональности и классификаторы с обучением эмбеддингов обнаружению иронии. Составными элементами классификаторов являются нейронные сети, такие как BERT, RoBERTa, BiLSTM, CNN, а также механизм внимания и полносвязные слои. Эксперименты по обнаружению иронии проводились с использованием двух корпусов русскоязычных предложений: первый корпус составлен из публицистических текстов из открытого корпуса OpenCorpora, второй корпус является расширением первого и дополнен ироничными предложениями с ресурса Wiktionary. Лучшие результаты продемонстрировала группа классификаторов на основе чистых эмбеддингов языковых моделей с максимальным значением F-меры 0.84, достигнутым связкой из RoBERTa, BiLSTM, механизма внимания и пары полносвязных слоев в ходе экспериментов на расширенном корпусе. В целом использование расширенного корпуса давало результаты на 2-5% выше результатов на базовом корпусе. Достигнутые результаты являются лучшими для рассматриваемой задачи в случае русского языка и сравнимы с лучшими для английского.

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

Статья посвящена разработке подхода к решению основных задач теории супервизорного управления логическими дискретно-событийными системами (ДСС), основанного на представлении их в виде позитивно-образованных формул (ПОФ). Рассматриваются логические ДСС в автоматной форме, понимаемые как генераторы некоторых регулярных языков. Язык ПОФ представляет собой полный язык первого порядка, формулы которого имеют регулярную структуру из чередующихся типовых кванторов и не содержат в синтаксисе оператора отрицания. Ранее было доказано, что любая формула классического исчисления предикатов первого порядка может быть представлена в виде ПОФ. ПОФ имеют наглядное древовидное представление и естественную вопросно-ответную процедуру поиска вывода с помощью единственного правила вывода. Показано, как разработанное в 1990-х годах для решения некоторых задач управления динамическими системами исчисление ПОФ позволяет решать базовые задачи теории супервизорного управления, такие как проверка критериев существования супервизорного управления, автоматическая модификация ограничений на поведение управляемой системы и реализация супервизора. Благодаря некоторым особенностям исчисления ПОФ существует возможность применения немонотонного вывода. Продемонстрировано, как представленный метод на основе ПОФ позволяет выполнять дополнительную обработку событий во время логического вывода. Также представлена программная система Bootfrost, или так называемый прувер, разработанный для опровержения полученных ПОФ, кратко описываются особенности его реализации. В качестве иллюстративного примера рассматривается задача управления автономным мобильным роботом.

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

Процесс-ориентированное программирование - один из подходов к разработке управляющего программного обеспечения. Процесс-ориентированная программа определяется как последовательность процессов. Каждый процесс представляется набором именованных состояний, содержащих программный код, которые задают логику поведения процесса. Выполнение программы заключается в последовательном исполнении этих процессов в их текущих состояниях на каждой итерации цикла управления. Процессы могут взаимодействовать через изменение состояний друг друга и через разделяемые переменные. Статья является развитием метода классификации темпоральных требований к процесс-ориентированным программам с целью упростить и автоматизировать дедуктивную верификацию таких программ. Метод состоит из следующих шагов. На первом шаге требования формализуются на специализированном языке DV-TRL, варианте типизированной логики предикатов первого порядка с набором интерпретированных типов и предикатных и функциональных символов, позволяющем отражать специфические понятия систем управления в процесс-ориентированной парадигме. На втором шаге формализованные требования разбиваются на классы, каждый из которых определяется шаблоном - параметрической формулой языка DV-TRL, причем условия корректности, порождаемые для процесс-ориентированных программ относительно требований, удовлетворяющих одному шаблону, имеют одну и ту же схему доказательства. На третьем шаге разрабатываются соответствующие схемы доказательства. В статье мы сначала даём краткое введение в язык poST, процесс-ориентированное расширение языка ST стандарта МЭК 61131-3. Далее определяется язык DV-TRL. Мы также приводим коллекцию требований на естественном языке для нескольких систем управления. Затем мы определяем шаблоны, позволяющие полностью покрыть все требования этой коллекции и для каждого из шаблонов приводим пример формализованного требования из коллекции и описываем схему доказательства условий корректности для этого шаблона. Статистика распределения требований из коллекции по шаблонам выявляет наиболее востребованные шаблоны. Мы также провели анализ связанных работ.

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

В статье рассматриваются история и современное состояние восточного вектора внешней политики Российского государства, проблемы национальной безопасности России в связи с переменой стратегии внешней политики в XXI веке.

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

ВВЕДЕНИЕ. Творческая личность Давида Бурлюка дала основания для присвоения его имени своеобразной Международной художественной авангардной награды. Рассмотреть ипостаси творческой личности «отца русского футуризма» Давида Бурлюка – значит проникнуть в мир искусства авангардного слова и разные формы художественности, что особенно актуально в наши дни, представляя большой интерес для изучения русского футуризма. Цель исследования – показать многообразие деятельности отца русского футуризма Давида Бурлюка в утверждении новых форм искусства.
МАТЕРИАЛЫ И МЕТОДЫ. Материалом исследования послужил личный опыт автора статьи работы с творчеством Давида Бурлюка, жизнью и творчеством связанного с Тамбовским краем. Приѐмы сбора, систематизации и анализа материала лежат в основе использованных методов, в том числе библиографического, описательного, лингво-поэтического.
РЕЗУЛЬТАТЫ ИССЛЕДОВАНИЯ. Рассмотрены ипостаси творческой личности Давида Бурлюка, которые дали основания для присвоения его имени своеобразной художественной авангардной награды. Описана инновационная деятельность Давида Бурлюка в качестве организатора ведущей футуристической группы «Гилея», инициатора выставок, издательских проектов, презентаций творчества кубофутуристов в разных городах и регионах России.
ЗАКЛЮЧЕНИЕ. Выявлены особенности поэтической работы Давида Бурлюка с нестандартными формами, в которых он выступал, как новатор, стимулируя к поиску своих коллег, особенно тех, которые примыкали к движению по мере его развития. Установлена важная ипостась творческой личности Бурлюка – «инстинкт эстетического самосохранения» – запечатление творческой деятельности в мемуарах, переписке и в журнале “Color and Rhyme”.

ВВЕДЕНИЕ. Впервые систематизируются произведения Северного текста русской литературы для детей, в которых возникает образ озера. Цель исследования – рассмотреть художественно-семантические особенности лейтмотивного образа озера в контексте специфики художественного мира Севера. Задачами исследования являются выявление основных мифопоэтических и реалистических характеристик образа озера в произведениях Северного текста для детей; определение мотивов и образов, с которыми он взаимодействует как структурный элемент Северного текста, выявление места образа озера в художественной картине мира Севера.
МАТЕРИАЛЫ И МЕТОДЫ. С помощью системного подхода к художественному тексту, который представляет собой совокупность методов (хронотопического, мотивного, мифопоэтического, системно-семантического), раскрывающих объект как единую систему, рассмотрен образ озера в произведениях писателей второй половины XX века: А. Линевского, А. Петухова, В. Пикуля, М. Скороходова, А. Членова.
РЕЗУЛЬТАТЫ ИССЛЕДОВАНИЯ. Осуществив анализ художественного материала, сделан вывод о существовании двух вариантов образа озера: тундровое и лесное озѐра. Первый реализован через мифологему круга и приѐм персонификации, второй – через мотивы двоемирия, тайны, границы, изменения героя. Образ озера в Северном тексте русской литературы для детей сближается также с образами моря и реки и актуализирует мотив единства мира.
ЗАКЛЮЧЕНИЕ. Данное исследование является частным этапом изучения образно-семантической структуры Северного текста русской литературы для детей как сверхтекста и обозначает широкие перспективы его дальнейшего изучения.