SCI Библиотека

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

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

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

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

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

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

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

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

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

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