Висвітлення основних методів добровільно-примусового характеру нацистської вербувальної кампанії щодо вивозу населення окупованого Харкова на роботи до Третього рейху. Аналіз причин, які змушували населення окупованого міста до від’їзду в Німеччину.
Матеріали опитування свідків і учасників депортації населення України до Німеччини. Застосування методу "усної історії" для з’ясування умов вербування і перевезення робітників. Формування двох спеціальних систем ІІІ Райху, етапи та результати діяльності.
Дослідження процесу вербування нових членів Організацією українських націоналістів серед українського юнацтва. Характеристика еволюційного шляху техніки пропаганди у післявоєнні роки. Ефективність агітаційної роботи та основні вимоги до її виконавців.
Експлікація вервиці як етнорелігійного маркера акціональної сигніфікативної підсистеми католицького сигніфікополя у контексті дослідження інтеракції та кореляції структурних елементів різних етнорелігійних просторів та систем в етносоціології релігії.
Аналіз змісту і структури "Енеїди" Вергілія як резонансного тексту античності. Розгляд системи постулатів-регулятивів людського буття, представлених в поемі. Дослідження формування в латинськомовному класичному епічному творі ранньохристиянської молитви.
Аналіз поезій збірки В. Густі "Тиса камінь обтесала" на осінню тематику. Вираження душевного трепету ліричного героя через художню мову поезій, багатство контрастів, розмаїття синестезійних образів. Усвідомлення всіх принад осінньої пори в поезії Густі.
Веристский комплекс художественной идеи женских образов в китайской опере и операх Дж. Пуччини. Сравнение образа Ц. Цзе из одноименной оперы Я. Мина и образов Чио-чио-сан и Лиу из опер "Турандот" и "Мадам Баттерфлай", различия их музыкального воплощения.
Выявление веристского строя мышления Тан Дуна как стилистической среды, которая апробирована успехами китайских музыкантов-исполнителей и подготовлена к контакту с искусством Востока творчеством Дж. Пуччини. Изучение оперы Тан Дуна "Первый император".
- 4269. Верить или не верить
Роль религии в нашей жизни, жизни современной молодёжи. Религия как особая форма осознания мира, обусловленная верой в сверхъестественное, включающая в себя свод моральных норм поведения, обрядов, культовых действий и объединение людей в организации.
Инструкция по дозиметрическому сопровождению методов лучевой терапии на современных линейных ускорителях электронов. Изучение видов дозиметрических измерений для оценки качества работы отдельных систем и устройств, используемых при облучении пациентов.
Особенность применения многозондового микроволнового мультиметра для измерения параметров сверхвысокочастотных сигналов и трактов. Анализ идентичности чувствительности датчиков. Определение проходящей мощности и комплексного коэффициента отражения.
Изучение верификации проекта на стадии моделирования как одной из важнейших проблем при моделировании электронных систем, состоящих из цифровых и аналоговых модулей. Описание визуализации растрового изображения видеокадров протокола Fibre Channel.
- 4273. Верификация и валидация
Рассмотрение терминов верификация и валидация. Тестирование программного обеспечения. Установление разницы между валидацией и верификацией. Характеристика процесса выявления ошибок в программном обеспечении. Определение методики выявления дефектов.
Использование расчетных кодов на базе двухжидкостной модели теплогидравлики, адекватно описывающих теплогидравлические процессы в контурах реакторных установок. Стандартные задачи повторного залива для реакторов ВВЭР, эксперименты на установке NEPTUN.
Анализ экспериментов FEBA/SEFLEX на установке FEBA без блокировки и с частичной блокировкой проходного сечения ТВС. Описание нодализационных схем. Снижение температуры оболочки "раздутых" имитаторов твэлов за счет увеличения теплоотводящей поверхности.
Отраслевой фонд алгоритмов и программ для расчета ядерных реакторов. Построение матрицы верификации, ориентированной на явления в УЛР. Расчетный код, количественно описывающий поведение устройства локализации расплава на стадии удержания и охлаждения.
Верификация расчетной модели на эксперименте в начале топливного цикла. Моделирование эксперимента по возбуждению аксиальных ксеноновых колебаний в конце топливного цикла. Анализ параметров нестационарного ксенонового процесса в начале и конце цикла.
Сквозное моделирование физических процессов на всех этапах развития аварии: от исходного события до выхода расплава за пределы корпуса реактора с учетом конструктивных особенностей ВВЭР. Физико-математические модели и расчетные модули кода СОКРАТ/В1.
Сравнение моделей надежности на основе теории динамики программных систем. Управление транспортом, связью и энергетикой. Компьютерные ошибки, потеря работоспособности систем мобильной связи и энергетических систем. Создание надежных компьютерных систем.
Основной инструмент для анализа сценариев запроектных аварий с плавлением активной зоны. Оценка радиационных последствий запроектных аварий с плавлением активной зоны на АЭС. Состав несущей среды, продуктов деления, материалов топлива и поглотителя.
Концепция, методика всережимного математического моделирования дифференциальных защит трансформаторов и автотрансформаторов. Математические модели электромеханических, электронных, цифровых трансформаторов. Программные средства всережимного моделирования.
Моделирование пространственных нейтронно-физических и теплогидравлических процессов в водо-водяных реакторах в сопряженной постановке (НФТГ/3D). Особенности расчетного кода КОРСАР/ГП. Расчет нейтронной кинетики в трехмерном пространственном приближении.
Анализ обобщенной модели теории динамики твердого тела, обладающей динамической симметрией. Область применения модели к некоторым интегрируемым задачам этой теории при движении тела в евклидовом пространстве. Анализ простейших движений твердого тела.
Изучение алгоритмов поиска инвариантных соотношений в программах с простыми переменными, относящимся к методам анализа потоков данных и верификации. Анализ языка типа равенств для программ над абсолютно свободными алгебрами данных и кольцами полиномов.
Верификация как проверка соответствия программного обеспечения проектной спецификации и стандартам, технической документации, архитектурой, моделью предметной области. Характеристика типичных ошибок, которые обнаруживаются статическими анализаторами.
Программное средство, реализующее метод Монте Карло и позволяющее выполнять расчеты изотопного состава отработавшего ядерного топлива. Моделирование загрузки реактора с возможностью описания каждого отдельного элемента, канала или ячейки активной зоны.
Применение расчетного комплекса Сократ/В1 для анализа тяжелых аварий с потерей теплоносителя. Матрицы верификации модуля Бонус, Релиз, Профит, Гапрел и Contfp в составе кода Сократ/В3. Осаждение аэрозолей в термоградиентной трубе эксперимента Falcon.
Туберкулез внутренних женских гениталий как одна из форм внелегочного туберкулеза. Недостатки и достоинства использования лучевых методов диагностики РКТ и МРТ для обследования органов малого таза. Особенности их использования для оценки активности ТВЖГ.
- 4289. Верификация спецификаций в языке L относительно темпоральных свойств, не выразимых в этом языке
Обеспечение правильности требований к функционированию исходной спецификации как одна из важнейших задач, решаемых в процессе проектирования реактивных алгоритмов. Характеристика специфических особенностей осуществления верификации открытых систем.
Оценка дефляционного потенциала ветра относительно почвенной поверхности. Изучение повторяемости ветров различных скоростных градаций и степени их опасности. Разработка мер по повышению устойчивости почв; обработка и внедрение почвозащитных севооборотов.