ai-forever/ru-scibench-oecd-classification huggingface dataset:
СОВРЕМЕННАЯ ЗОЛУШКА ПО ВЕРСИИ АЛЕКСЕЯ РАТМАНСКОГО. В статье речь идет об одном из самых известных сказочных балетов - «Золушке» С. Прокофьева. Это произведение живет уже более 300 лет, но сохраняет свою актуальность и по сей день. История бедной замарашки, покорившей сердце принца, является наиболее востребованной среди балетных тем. Очарование классического танца и эмоциональная музыка С. Прокофьева оказывают безграничное воздействие. В данной статье детально анализируется сюжетное повествование современной редакции А. Ратманского, а также прослеживается мысль о том, что для каждого хореографа персонаж Золушки особенный, наполненный своими индивидуальными чертами.

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

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

Область науки (OECD): Науки об образовании
МАККИЛВИ Г. БАСТАРДНЫЙ ФЕОДАЛИЗМ, АНГЛИЙСКОЕ ОБЩЕСТВО И ПРАВО: ЛИВРЕЙНЫЕ СТАТУТЫ 1390-1520 гг. ВУДБРИДЖ: Бойделл и Бревер, 2020. XII, 249 с.. «Бастардный феодализм» - система патронажно-клиентальных связей, существовавшая в Англии позднего Средневековья, противопоставляемая вассально-сеньориальным отношениям классического феодализма. Актуальным является вопрос о степени распространения данного явления. В рецензируемой книге «бастардный феодализм» анализируется на основе архивов Суда Королевской Скамьи.

Область науки (OECD): История и археология
ЭКСПЕРИМЕНТАЛЬНО-РАСЧЕТНОЕ ИССЛЕДОВАНИЕ АЭРОБАЛЛИСТИКИ СТРЕЛ. Работа посвящена определению аэробаллистических параметров стрелы. Произведено сравнение расчета, выполненного в ANSYS CFX, и данных натурного эксперимента.

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

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

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

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

Область науки (OECD): Клиническая медицина
Парадигма предложных единиц с базовым компонентом <i>в направлении </i>. В статье приведено подробное описание морфосинтагматической парадигмы с базовым предлогом <i>в направлении</i>, состоящей из пятнадцати предложных сочетаний, контексты употребления которых отобраны из Национального корпуса русского языка и интернет-ресурса. Предложена классификация входящих в данную парадигму единиц согласно их семантике. За основу данной классификации принята классификация синтаксем с пространственным значением движения Г.А. Золотовой и М.В. Всеволодовой. Все предложные сочетания подразделены на группы: «директив-финиш», «директив-старт» и «старт-финиш». Обнаружены предложные сочетания со значением ‘траектория движения’, тяготеющие к оформлению синтаксем терминологического характера. Не были выявлены ожидаемые примеры употребления предложных сочетаний со значением транзитивности.

Область науки (OECD): Языкознание и литература
CОЗДАНИЕ НА ОСНОВЕ ФОТОГРАФИЙ ЭЛЕКТРОННЫХ ГЕОМЕТРИЧЕСКИХ МОДЕЛЕЙ ОБЪЕКТОВ СО СЛОЖНОЙ ТЕКСТУРОЙ. Для применения в учебном процессе в дисциплине «Компьютерная графика» разработана методика комплексного использования различных типов графических программ для решения задачи формирования электронных геометрических моделей объектов со сложной текстурой и создания фотореалистических изображений. В результате использования комплекса графических программ студенты приобретают навыки применения прикладных программных средств для решения практических задач по разработке информационных моделей объектов, а также работы с информацией в глобальных компьютерных сетях.

Область науки (OECD): Науки об образовании
Образование смешанно-лигандных солей металлов в органической фазе при катионообменной экстракции солями тетрафенилборной кислоты. Установлено значительное извлечение хлоридов кальция и иттрия растворами соответствующих тетрафенилборатов в трибутилфосфате, обусловленное образованием в органической фазе смешанных комплексных соединений. Показано, что тетрафенилбораты лития, кальция и иттрия в значительной степени диссоциированы в органической фазе на ионы. Процесс исследован кондуктометрическим методом. На основании полученных данных предположено, что причиной образования смешанных галогенидных комплексов является высокая энергия сольваторазделенных ионных пар в органических растворах [CaL<sub> n </sub>]<sup>2+</sup>(A<sup>-</sup>)<sub>2 </sub>и [YL<sub> m </sub>]<sup>3+</sup>(A<sup>-</sup>)<sub>3</sub>, которая существенно снижается при обмене крупных тетрафенилборат-анионов на небольшие хлорид-анионы, возможно, с образованием сольваторазделенных ионных пар с меньшим зарядом катионной части комплекса [CaL<sub> n -1</sub>Cl]<sup>+</sup>A<sup>-</sup> или [YL<sub> m -2</sub>Сl<sub>2</sub>]<sup>+</sup>A<sup>- </sup>.

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

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

Область науки (OECD): Науки об образовании
Мордва-мурза Башкирии: история формирования и этнокультурные особенности этносословной общности. Введение. Одним из регионов компактного расселения мордовского народа является Республика Башкортостан. Мордовское население региона сформировалось в ходе переселенческого движения представителей этноса на башкирские земли в XVII - начале XX в. В Башкирии выделяется небольшая по численности группа мордвы-эрзи, которые называют себя «мурза» и обладают собственной идентичностью. Проживают они в с. Кожай-Андреево Туймазинского и с. Кожай-Максимово Ермекеевского районов. Материалы и методы. Предпринята попытка реконструкции истории формирования этносословной общности мордвы-мурзы и выявления ее этнокультурных особенностей. Исследование базируется на принципе историзма, основными методами явились историко-генетический, сравнительно-исторический и проблемно-хронологический. Результаты и обсуждение. На основе изучения опубликованных источников и литературы показаны хронология и основные этапы формирования общности мордвы-мурзы в Башкирии. Выявлено, что она сложилась в XVIII столетии на основе переселенческой группы служилого мордовского населения. Полевые этнографические материалы свидетельствуют об их этнокультурном своеобразии. Заключение. Проживающую в рассматриваемых селениях мордву можно выделить в отдельную этносословную общность, имеющую самосознание и самоназвание и обладающую языковыми и этнокультурными особенностями. В языке и культуре мордвы-мурзы наблюдается переплетение как эрзянских, так и мокшанских черт. Практически распавшаяся в 1980-е гг. общность «кажаевских мурз» в 2000 г. начала возрождаться. Наблюдения свидетельствуют о желании жителей этих сел и выходцев оттуда сохранить и развивать «мурзинский язык» и традиции.

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

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

Область науки (OECD): Энергетика и рациональное природопользование
Отложения водяного льда на поверхности Луны. В статье приводятся сведения о содержании воды в лунном грунте. Задача поиска воды в полярных областях была успешно решена при помощи космического научного прибора нейтронного спектрометра LEND установленного на американском зонде Lunar Reconnaissance Orbiter (LRO). Нейтронный спектрометр зонда LRO измерял поток нейтронов от отдельных участков поверхности Луны. Ослабление потока надтепловых нейтронов от участка поверхности планеты является свидетельством присутствия в грунте водорода. Наличие в грунте 3-5 масс. % водорода равносильно содержанию воды в составе грунта 30-50 масс. %. В статье приводятся основные гипотезы происхождения ледяной воды на Луне. Установлены районы, грунт которых, возможно, содержит водяной лед.

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

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

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

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

Область науки (OECD): Экономика и бизнес
ТЕХНИЧЕСКОЕ ОБСЛУЖИВАНИЕ И ТЕКУЩИЙ РЕМОНТ МИНОМЕТНЫХ КОМПЛЕКСОВ 2С12А ПРИ ВЕДЕНИИ МАНЕВРЕННЫХ БОЕВЫХ ДЕЙСТВИЙ В ОБОРОНЕ. В статье рассмотрены особенности технического обслуживания и текущего ремонта (устранения мелких неисправностей) минометных комплексов 2С12А в районах сосредоточения при подготовке и на огневых позициях при ведении мотострелковым батальоном маневренных боевых действий в обороне.

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

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

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

Область науки (OECD): Сельское хозяйство, лесное хозяйство, рыбное хозяйство
ВЕТЕРИНАРНО-САНИТАРНАЯ ЭКСПЕРТИЗА МОЛОКА ХОЗЯЙСТВ КАСИМОВСКОГО РАЙОНА. Изучены факторы, влияющие на состав и свой- ства молока в ООО «Возрождение», санитарно- гигиенические условия его получения, первичной обработки и транспортировки. При проведении ветеринарно-санитарной экспертизы молока в ООО«Возрождение» было выявлено, что оно соответ- ствует требованиям СанПиН 2.3.2.1078-01 и ГОСТ52054-2003 «Молоко натуральное коровье – сырье». Изучены ветеринарно-санитарное качество молока хозяйств Касимовского района, поступившего на раз- личные перерабатывающие заводы.

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

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

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

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

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

Область науки (OECD): Электротехника, электронная техника, информационные технологии