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