Висвітлення основних методів добровільно-примусового характеру нацистської вербувальної кампанії щодо вивозу населення окупованого Харкова на роботи до Третього рейху. Аналіз причин, які змушували населення окупованого міста до від’їзду в Німеччину.
Матеріали опитування свідків і учасників депортації населення України до Німеччини. Застосування методу "усної історії" для з’ясування умов вербування і перевезення робітників. Формування двох спеціальних систем ІІІ Райху, етапи та результати діяльності.
Дослідження процесу вербування нових членів Організацією українських націоналістів серед українського юнацтва. Характеристика еволюційного шляху техніки пропаганди у післявоєнні роки. Ефективність агітаційної роботи та основні вимоги до її виконавців.
Факти рецепції творчості бельгійського французькомовного письменника Вергарна поетами і літературознавцями ХХ-ХХІ століть. Суть неординарних епізодів критичного прочитання та наукової інтерпретації літературної спадщини класика бельгійської літератури.
Аналіз змісту і структури "Енеїди" Вергілія як резонансного тексту античності. Розгляд системи постулатів-регулятивів людського буття, представлених в поемі. Дослідження формування в латинськомовному класичному епічному творі ранньохристиянської молитви.
Производство в суде первой инстанции с участием присяжных заседателей. Постановка и формулирование вопросов присяжным заседателям в стадии судебного разбирательства. Напутственное слово председательствующего. Вынесение вердикта, приговор в суде присяжных.
Вердикт присяжных заседателей о виновности или невиновности подсудимого. Виды решений и постановление приговора. Порядок совещания судей. Возобновление судебного следствия или направление уголовного дела для производства дополнительного расследования.
Основы оценки соответствия, подтверждения соответствия: цели, принципы. Контроль (надзор) за соблюдением требований. Правовая база подтверждения соответствия. Система добровольной сертификации в соответствии с требованиями, дополняющие обязательные.
Розгляд соціал-утопістських установок Рісорджименто та літературного веризму в їх виходах на ніцшеанський "філософський романтизм". Висвітлення художніх позицій як сукупності рис, що ріднять європейський веризм та китайську "літературу рідних місць".
Виявлення художніх ідей веризму-неореалізму в музичній культурі Європи і Китаю, їх аналогів в російській музиці, в "літературі рідних місць" та опері. Глибинність веристського методу в художньому житті Європи по відношенню до російської музики ХІХ-ХХ ст.
Анализ художественного значения творчества китайского композитора Тан Дуна в европейском музыкальном мировом сообществе. Исследование особенностей отражения и специфики подачи веристского метода на примере вокальных партий оперы "Первый император".
Установление истинности того или иного факта с точки зрения права в ходе процедуры юридической интерпретации. Направленность установления верификационных связей в юридическом дискурсе романо-германской системы права от текста закона к тексту комментария.
Инструкция по дозиметрическому сопровождению методов лучевой терапии на современных линейных ускорителях электронов. Изучение видов дозиметрических измерений для оценки качества работы отдельных систем и устройств, используемых при облучении пациентов.
Изучение верификации проекта на стадии моделирования как одной из важнейших проблем при моделировании электронных систем, состоящих из цифровых и аналоговых модулей. Описание визуализации растрового изображения видеокадров протокола Fibre Channel.
- 5385. Верификация и валидация
Рассмотрение терминов верификация и валидация. Тестирование программного обеспечения. Установление разницы между валидацией и верификацией. Характеристика процесса выявления ошибок в программном обеспечении. Определение методики выявления дефектов.
Изучение результатов расчетов с использованием программного комплекса DECA и CUB для оценки запасов активности в проектируемых комплексах ядерных установок в Литве. Технические характеристики отработавших топливных сборок, облученных в реакторах.
Использование расчетных кодов на базе двухжидкостной модели теплогидравлики, адекватно описывающих теплогидравлические процессы в контурах реакторных установок. Стандартные задачи повторного залива для реакторов ВВЭР, эксперименты на установке NEPTUN.
Отраслевой фонд алгоритмов и программ для расчета ядерных реакторов. Построение матрицы верификации, ориентированной на явления в УЛР. Расчетный код, количественно описывающий поведение устройства локализации расплава на стадии удержания и охлаждения.
Сквозное моделирование физических процессов на всех этапах развития аварии: от исходного события до выхода расплава за пределы корпуса реактора с учетом конструктивных особенностей ВВЭР. Физико-математические модели и расчетные модули кода СОКРАТ/В1.
Инструмент для анализа сценариев запроектных аварий с плавлением активной зоны. Исследование переноса и осаждения продуктов деления в первом контуре и контейнменте реакторной установки. Исследование столкновений частиц многокомпонентной аэрозоли.
Моделирование пространственных нейтронно-физических и теплогидравлических процессов в водо-водяных реакторах в сопряженной постановке (НФТГ/3D). Особенности расчетного кода КОРСАР/ГП. Расчет нейтронной кинетики в трехмерном пространственном приближении.
Изучение алгоритмов поиска инвариантных соотношений в программах с простыми переменными, относящимся к методам анализа потоков данных и верификации. Анализ языка типа равенств для программ над абсолютно свободными алгебрами данных и кольцами полиномов.
Верификация как проверка соответствия программного обеспечения проектной спецификации и стандартам, технической документации, архитектурой, моделью предметной области. Характеристика типичных ошибок, которые обнаруживаются статическими анализаторами.
Программное средство, реализующее метод Монте Карло и позволяющее выполнять расчеты изотопного состава отработавшего ядерного топлива. Моделирование загрузки реактора с возможностью описания каждого отдельного элемента, канала или ячейки активной зоны.
Туберкулез внутренних женских гениталий как одна из форм внелегочного туберкулеза. Недостатки и достоинства использования лучевых методов диагностики РКТ и МРТ для обследования органов малого таза. Особенности их использования для оценки активности ТВЖГ.
- 5396. Верификация спецификаций в языке L относительно темпоральных свойств, не выразимых в этом языке
Обеспечение правильности требований к функционированию исходной спецификации как одна из важнейших задач, решаемых в процессе проектирования реактивных алгоритмов. Характеристика специфических особенностей осуществления верификации открытых систем.
В статье сопоставлено стереотипное содержание базовой ценности Arbeit (работа) в немецкой лингвокультуре с психологически актуальным содержанием. Представлены данные свободного ассоциативного эксперимента, проведенного в 2018 г. в форме устного опроса.
Распределение реакций респондентов в соответствии с моделью ассоциативного значения В. Пищальниковой. Верификация стереотипного содержания базовой ценности Arbeit, характер организации и временных рамок работы. Сходства фрагментов этнических картин мира.
Совместное решение уравнений общей теории относительности и термодинамики для идеальной жидкости, обладающей топологией полого тела. Пространственные распределения основных термодинамических и гравитермодинамических её параметров и характеристик.
"Испытание" традиционных гуманистических ценностей, постоянная верификация их актуальности для современного массового сознания. Механизмы верификации ценностей и их возможную трансформацию в условиях пандемии. Роль СМИ в формировании фобий и страхов.
