ai-forever/ru-scibench-oecd-classification huggingface dataset:
Полиномиально вычислимые Σ-спецификации иерархизированных моделей реагирующих систем. Введение. Пакеты верификации проектируют и анализируют корректность параллельных и распределенных систем в рамках различных классов темпоральных логик линейного и ветвящегося времени. В статье рассматривается полиномиально реализуемый класс ∆0T-формул, интерпретируемый на многосортных моделях с иерархическими надстройками. Структура надстройки описывается произвольной контекстно-свободной (КС) грамматикой. Предикаты и функции сигнатуры модели интерпретируются на исходном КС-списке, достраиваемом в процессе интерпретации.Материалы и методы. Для теорий из ∆0T-квазитождеств, обладающих свойствами нётеровости и конфлюент-ности, строится константная модель. Рассматриваются формулы многосортного языка исчисления предикатов (ИП) 1-го порядка с переменными сорта «список», интерпретируемые на моделях с иерархизированной надстройкой. Теория интерпретируется на деревьях вывода грамматики, описывающих поведение специфицируемой системы. Правила КС-грамматики иерархизируют пространство действий моделируемой системы. Отмечено, что для моделирования систем реального времени недостаточно выразительных возможностей Д0 T-формул. Поэтому для спецификации используются выражения с неограниченным квантором всеобщности V, известные как ПТ-формулы.Результаты исследования. В качестве примера приводится логическая спецификация автоматизированного комплекса, который состоит из манипулятора, обрабатывающего детали. Положение позиций фиксируется датчиками. Описывается цикл работы манипулятора. Спецификация его функционирования состоит в иерархиза-ции действий правилами КС-грамматики и их описании формулами ИП 1-го порядка с учетом значений времени.Обсуждение и заключения. В статье показано, что класс рассмотренных формул можно использовать для моделирования систем реального времени. Приводится пример логической спецификации управляющего устройства поведением манипулятора.

Область науки (OECD): Электротехника, электронная техника, информационные технологии
"Социальная эпистемология": новые проблемы, дискуссии и дихотомии. Настоящая работа — предпубликация из подготов- ленной к печати книги «Отечественная философия 50— 80-х годов X X века и западная мысль». Она примыкает к разделам книги, посвященным подведению итогов разви- тия таких традиционных для X X века дисциплинарных направлений, как социология познания, социология на- уки и проблемам освоения соответствующих идей и ис- следований в отечественной мысли. «Социальная эпистемология» — одно из более поздних, по сравнению с названными, направлений и дисциплинар- ных исследовательских областей западной мысли, мало из- вестных отечественным читателям. Главные представители его — Э. Голдман, Д. Блур, С. Фуллер, Фр. Шмит и другие. В работе анализируются следующие темы: предмет и за- дачи социальной эпистемологии, как их в определенном единстве, но часто и по-разному в споре друг с другом, определяют представители этого направления; дихотомии «индивидуального» и «социального», «индивидуального и группового» знания и познания; теория согласуемых (аг- регированных) суждений (Кр. Лист); некоторые актуальные эмпирические исследования, посвященные когнитивным и одновременно социально-коммуникативным аспектам де- ятельности институций, структур современного общества

Область науки (OECD): Философия, этика, религиоведение
К ИЗУЧЕНИЮ РАСПРОСТРАНЕНИЯ ТИМЬЯНА КЛОПОВОГО (THYMUS CIMICINUS BLUM EX LEDEB., LAMIACEAE, MAGNOLIOPHYTA) НА ТЕРРИТОРИИ САРАТОВСКОЙ ОБЛАСТИ. Приводятся новые данные о распространении тимьяна клопового на территории Саратовской области.

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

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

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

Область науки (OECD): Химические науки
Вероучительные концепции свидетелей Иеговы в контексте святоотеческой традиции: Сравнительный анализ. Возникшее во второй половине XIX века на американском континенте религиозное движение «Свидетели Иеговы» уже в начале XX века появилось на территории России, где с конца 80-х и в 90-е годы осуществляло наиболее активную прозелитическую деятельность. В это же время проявился ряд ее тоталитарных и деструктивных свойств, оказывающих негативное воздействие как на психическое состояние человека, так и на его отношения в социуме в целом. В связи с постулированием представителями данной секты себя в качестве «истинных христиан» возникает необходимость анализа их религиозной доктрины в контексте святоотеческой традиции. В данной статье автор проводит сравнительный анализ ряда суждений свидетелей Иеговы с точки зрения православного богословия.

Область науки (OECD): Философия, этика, религиоведение
АНАЛИЗ ПРОГРАММНЫХ СИСТЕМ И ФОРМАЛИЗОВАННАЯ ПОСТАНОВКА ЗАДАЧ ИНТЕГРИРОВАННОЙ ЛОГИСТИЧЕСКОЙ ПОДДЕРЖКИ ТРУБОПРОВОДОВ НЕФТЕХИМИЧЕСКИХ ПРЕДПРИЯТИЙ. Приведены результаты анализа программных систем как инструмента компьютеризации интегрированной логистической поддержки трубопроводов нефтехимических предприятий. Показано, что рассмотренные программные системы можно объединить в три класса: общеуниверсальные; прикладные универсальные; прикладные специализированные. Из общеуниверсальных программных систем был рассмотрен комплекс программ MS Office; из прикладных универсальных - базовые версии программных систем: «AutoCAD» (Autodesk, США), «MicroStation» (Bentley Systems, США), «Компас-3D» (Аскон, РФ); «T-Flex» (Топ Системы, РФ); из прикладных специализированных программных систем - приложение к «Компас-3D» - «Оборудование: Трубопроводы» и система «ЛОЦМАН:PLM»; «Model Studio CS Трубопроводы» (ЗАО CSoft Development, РФ); продукты НТП «Трубопровод» (РФ), в том числе программа «Старт»; «АСТРА-НОВА» (ЗАО НИЦ «СтаДиО», РФ); «PLANT-4D PIPE» и «PLANT-4D Personal Isogen» (CEA Technology, Нидерланды); «SolidWorks Routing» (SolidWorks Corporation, США); «Isogen» (Alias Ltd, Великобритания); «AVEVA Plant» и «AVEVA Enterprise» (AVEVA, Великобритания); «Global-EAM» (Бизнес Технологии, РФ); «SAP R/3» (SAP AG, ФРГ); «PCMS» (PCMS, США). Дана краткая характеристика рассмотренных программных систем, показаны их преимущества и недостатки, как инструментов компьютеризации интегрированной логистической поддержки трубопроводов. Исходя из результатов анализа осуществлена формализованная постановка задач интегрированной логистической поддержки трубопроводных систем нефтехимических предприятий. Отмечено, что реализация поставленных задач обеспечит оперативное принятие научно обоснованных решений по логистической поддержке трубопроводных систем на всех этапах жизненного цикла, что позволит оптимизировать затраты на эксплуатацию трубопроводов, при одновременном повышении надежности, промышленной и экологической безопасности, а также экономической эффективности нефтехимических предприятий.

Область науки (OECD): Химические технологии
ВНЕСЕЗОННАЯ ОТКЛАДКА ЯИЦ У ЗАКАВКАЗСКОЙ ГЮРЗЫ <i>MACROVIPERA LEBETINA OBTUSA</i> (DWIGUВSKY, 1832). Актуальность и цели . У закавказской гюрзы осенью иногда наблюдается повторное спаривание, и в неволе вне зависимости от сезона размножения некоторые самки откладывают яйца с развитыми эмбрионами. В работе обсуждаются возможные причины и адаптивное значение этих репродуктивных актов гюрзы. Материалы и методы . Исследования c целью изучения биологии размножения и разведения закавказской гюрзы ( Масrоviреrа lеbеtinаоbtusа ) в неволе проводились в разные годы (1983-2014). Самки, всего 57 особей, отловленные в природе поздней осенью, в дальнейшем содержались в неволе при благоприятных температурных условиях. Самки содержались группами по 3-4 особи и для исключения спаривания - без самцов. Результаты . В период наблюдения 10 особей (17,5 %) из этих самок (57 ♀♀) в зимнее время (декабрь-февраль) отложили нормальные яйца с развитыми эмбрионами. Вероятно, в этом роль играли повторное спаривание и внесезонное благоприятное содержание в неволе. В природе повторное спаривание у гюрзы авторами неоднократно наблюдалось, это же указывается в литературе. Видимо, оно обеспечивает самок спермой, которая хранится в яйцеводах самки до следующего сезона спаривания. Возможно, в результате размещения самок в благоприятных условиях ускоряется созревание ооцитов и происходит оплодотворение сперматозоидами повторного спаривания и процесс завершается откладкой яиц вне сезона. Во-вторых, возможно, в яйцеводах самки находились с осени оплодотворенные яйцеклетки. Однако эти яйцеклетки по причине отсутствия во внешней среде благоприятных температурных условий переходили в состояние эмбриональной диапаузы. В условиях террариума эмбриональное развитие восстанавливается и происходит дальнейшее формирование яиц, откладка. Выводы . Таким образом, предполагается наличие эмбриональной диапаузы у гюрзы. Результаты исследования могут быть использованы в разведении яйцекладущих видов рептилий.

Область науки (OECD): Биологические науки
Философские взгляды Н.И. Новикова. Статья посвящена выдающемуся просветителю XVIII века - Н.И. Новикову, творчество которого оказало огромное влияние на культурную и общественную жизнь России. В работе раскрываются философские взгляды Н.И. Новикова, дается характеристика его личного вклада в распространении масонских идей и привлечении новых "вольных каменщиков", включении в орбиту масонского движения городов России (Вологда, Казань, Могилев, Симбирск, Харьков) и переносе центра масонства из "западноевропейского" Санкт-Петербурга в "исконно русскую" Москву. Н.И. Новиков представлен в статье как основоположник подхода популяризации философских нравственных идеалов через создание общедоступных журналов и использование сатиры, как главенствующего литературного жанра, для обличения устоев и нравов самодержавия, крепостничества.

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

Область науки (OECD): Языкознание и литература
ОСОБЕННОСТИ КОММУНИКАТИВНОГО ПОВЕДЕНИЯ И ЛИЧНОСТНЫХ ХАРАКТЕРИСТИК СПЕЦИАЛИСТОВ ПО ПРОДАЖАМ В ЗАВИСИМОСТИ ОТ УРОВНЯ УСПЕШНОСТИ. Статья представляет результаты исследования, направленного на изучение соотношения коммуникативных стилей и личностных черт специалистов по продажам разных уровней успешности.

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

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

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

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

Область науки (OECD): Прочие технологии
Применение маркер-ассоциированного беккросирования (МАВС) для интрогрессии различных полезных генов/QTLs в элитные культурные сорта. Проведено исследование по использованию маркер-ассоциированного беккросирования (МАВС) для интрогрессии гена/ QTLs Saltol от сорта FL478 в коммерческий сорт риса ВТ7. У гибридных растений IL30 и IL32В в популяции BC3F<sub>1</sub> восстановление генома реципиента составляло 99,3% и 100%, соответственно. Отобранные линии IL30-BC3F2 и IL32-BC3F2, содержащие ген /QTLs Saltol, не отличались от сорта реципиента BT7 по фенотипическому появлению агрономических признаков. Нами успешно был использован метод МАВС для повышения устойчивости к засолению почвы у сорта ВТ7.

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

Область науки (OECD): Математика
Формирование профессионально-личностной идентичности педагогов дополнительного образования. В статье освещены результаты научно-исследовательской работы, направленной на теоретическое обоснование и экспериментальную проверку психолого-педагогических условий формирования профессиональной идентичности педагогов системы дополнительного образования в процессе их профессиональной деятельности. В рамках теоретического обоснования рассмотрено понятие «идентичность» в контексте личного развития и профессионального становления, определены механизмы ее формирования и критерии оценки уровня профессионально-личностной идентичности педагогов; подобраны диагностические методики для экспериментального исследования и определены интерактивные обучающие формы и методы работы с педагогами. В рамках рассмотрения результатов экспериментальной деятельности представлено описание модульной психолого-педагогической программы формирования профессионально-личностной идентичности педагогов дополнительного образования «Азбука профессионально-личностного роста» и результаты мониторингового исследования ее эффективности.

Область науки (OECD): Психологические науки
ВЫДВОРЕНИЕ ГРАЖДАН: ПРАВОВОЕ РЕГУЛИРОВАНИЕ И ПОРЯДОК РЕАЛИЗАЦИИ. Статья посвящена исследованию такой меры, применяемой для контроля миграционных потоков, как выдворение граждан за пределы территории России. В статье исследовано понятие, признаки и порядок применения данной меры.

Область науки (OECD): Право
<i>Новые образцы Triticum polonicum L. </i>Азербайджана. Статья посвящена результатам анализа морфометрических и агрономических показателей новых образцов Т. polonicum L. Азербайджана, отобранных из основателей - полоноидных форм в гибридных и селекционных питомниках Тертерской ЗОС НИИ земледелия. Результаты изучения 61 образца Т. polonicum, переданного в Национальный генбанк показали, что по образу жизни, срокам колошения, высоте растений, устойчивости к полеганию и болезням, по форме и плотности колоса амплитуда изменчивости очень высокая - имеется широкий внутривидовой полиморфизм. Среди них найдены полукарликовые формы. Большинство образцов полоникум оказались устойчивыми к полеганию и болезням. Выделенные сортообразцы предлагается использовать в качестве исходного материала для создания низко- и среднерослых сортов пшеницы твердой с высокими показателями качества зерна, устойчивости к болезням.

Область науки (OECD): Биологические науки
Православное направление в современной поэзии. Статья посвящена одному из важных аспектов современной культуры - отражению религиозного сознания в современной поэзии. Определены основные стилевые особенности православного направления поэзии, его жанровое своеобразие, названы основные представители.

Область науки (OECD): Философия, этика, религиоведение
Коммерциализация результатов научно-технической деятельности: новое в законодательстве. Указ Президента Республики Беларусь от 04.02.2013 г. № 59 «О коммерциализации результатов научной и научно-технической деятельности, созданных за счет государственных средств» (далее - Указ) ввел новый порядок регулирования прав на результаты научной и научно-технической деятельности (НТД), созданные полностью или частично за счет государственных средств в ходе выполнения научно-исследовательских, опытно-конструкторских и технологических работ (НИОКР), а также их коммерциализации.

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

Область науки (OECD): Физика и астрономия