Сквозное моделирование физических процессов на всех этапах развития аварии: от исходного события до выхода расплава за пределы корпуса реактора с учетом конструктивных особенностей ВВЭР. Физико-математические модели и расчетные модули кода СОКРАТ/В1.

Сравнение моделей надежности на основе теории динамики программных систем. Управление транспортом, связью и энергетикой. Компьютерные ошибки, потеря работоспособности систем мобильной связи и энергетических систем. Создание надежных компьютерных систем.

Инструмент для анализа сценариев запроектных аварий с плавлением активной зоны. Исследование переноса и осаждения продуктов деления в первом контуре и контейнменте реакторной установки. Исследование столкновений частиц многокомпонентной аэрозоли.

Моделирование пространственных нейтронно-физических и теплогидравлических процессов в водо-водяных реакторах в сопряженной постановке (НФТГ/3D). Особенности расчетного кода КОРСАР/ГП. Расчет нейтронной кинетики в трехмерном пространственном приближении.

Изучение алгоритмов поиска инвариантных соотношений в программах с простыми переменными, относящимся к методам анализа потоков данных и верификации. Анализ языка типа равенств для программ над абсолютно свободными алгебрами данных и кольцами полиномов.

Верификация как проверка соответствия программного обеспечения проектной спецификации и стандартам, технической документации, архитектурой, моделью предметной области. Характеристика типичных ошибок, которые обнаруживаются статическими анализаторами.

Программное средство, реализующее метод Монте Карло и позволяющее выполнять расчеты изотопного состава отработавшего ядерного топлива. Моделирование загрузки реактора с возможностью описания каждого отдельного элемента, канала или ячейки активной зоны.

Применение расчетного комплекса Сократ/В1 для анализа тяжелых аварий с потерей теплоносителя. Матрицы верификации модуля Бонус, Релиз, Профит, Гапрел и Contfp в составе кода Сократ/В3. Осаждение аэрозолей в термоградиентной трубе эксперимента Falcon.

Туберкулез внутренних женских гениталий как одна из форм внелегочного туберкулеза. Недостатки и достоинства использования лучевых методов диагностики РКТ и МРТ для обследования органов малого таза. Особенности их использования для оценки активности ТВЖГ.

Обеспечение правильности требований к функционированию исходной спецификации как одна из важнейших задач, решаемых в процессе проектирования реактивных алгоритмов. Характеристика специфических особенностей осуществления верификации открытых систем.

В статье сопоставлено стереотипное содержание базовой ценности Arbeit (работа) в немецкой лингвокультуре с психологически актуальным содержанием. Представлены данные свободного ассоциативного эксперимента, проведенного в 2018 г. в форме устного опроса.

Распределение реакций респондентов в соответствии с моделью ассоциативного значения В. Пищальниковой. Верификация стереотипного содержания базовой ценности Arbeit, характер организации и временных рамок работы. Сходства фрагментов этнических картин мира.

Совместное решение уравнений общей теории относительности и термодинамики для идеальной жидкости, обладающей топологией полого тела. Пространственные распределения основных термодинамических и гравитермодинамических её параметров и характеристик.

Особенности челночного метода исследования лексического поля. Определение его границ и построение семантической карты. Расчёт параметров модели дистрибутивной семантики. Уменьшение размерности и трансформация вектора. Сопоставление лексем и фреймов.

"Испытание" традиционных гуманистических ценностей, постоянная верификация их актуальности для современного массового сознания. Механизмы верификации ценностей и их возможную трансформацию в условиях пандемии. Роль СМИ в формировании фобий и страхов.

Методы проведения комплексного лингвоэкспертного анализа спорных текстов разной смысловой направленности. Проблемы работы с метатекстами и гипертекстами. Использование дискурсивной теории и приёмов общегуманитарных аналитико-синтетических процедур.

Характеристика основних критеріїв, за якими віруючі люди верифікують різні об’єкти матеріального світу як сакральні. Визначення основних типів сакральних об’єктів на основі матеріалів польових досліджень. Тематика народної релігійності та її аналіз.

Від початку повномасштабної війни рф проти України російські військові вчинили десятки тисяч воєнних злочинів. Серед них основними стали злочини проти життя, здоров’я та статевої недоторканості. Показано, що усі вони частини злочину проти людяності.

Дослідження складових верифікації вчинених в Україні воєнних злочинів інструментами міжнародного кримінального права. Предмет кримінологічних досліджень міжнародної спільноти. Оперативна фіксація доказів цих злочинів. Система кримінальної юстиції.

Метою дослідження була оцінка інформативності обстеження жінок пізнього репродуктивного віку щодо гіперпластичних процесів ендометрія за допомогою комплексної ультрасонографії з використанням кольорового доплерівського картування і доплерометрії.

Розкриття питання верифікаційної діяльності державних органів влади України щодо договорів у сфері контролю над озброєнням в Україні. Система організаційних структур України, призначених для практичної реалізації заходів з контролю над озброєнням.

Етичні вимоги в процесі роботи з фактами і джерелами інформації. Верифікація інформації з соціальних мереж. Типові помилки журналістів при роботі з соцмережами. Встановлення правил перевірки акаунтів. Основні способи та інструменти перевірки фото.

Аналіз принципу верифікації, який виступає критерієм осмислення і аргументом в доказах істинності наукового знання. Відмінність між емпіризмом і метафізикою. Історія формування принципу верифікації, його розробка в якості аргументу перевірки істинності.

Культуротворче буття як адекватний вираз культуротворчих процесів і станів принципу реальності. Аристотелевський принцип "тотожності" і аквіанський "необхідності" в культуротворчому бутті. Концепція єдності матерії, руху, простору і часу Г. Сковороди.

Розробка методу зменшення кількості тестових наборів на основі звуження області можливих значень, що дозволяє зменшити загальний термін верифікації. Процеси автоматизованого проектування цифрових пристроїв, поданих мовами опису апаратури високого рівня.

Доведення гарантованості розпізнавання кібератак за допомогою нейронних мереж типу багатошарового персептрону та мережі радіальної базисної функції. Моделювання процесу виявлення кібератаки за допомогою вказаної неперервної багатопараметричної функції.

Можливі моделі психотерапевтичної роботи. Розгляд моделі терапевтичного процесу, як діяльності, що спрямована на верифікацію несвідомої брехні. Характеристика моделі терапевтичних інтервенцій, на основі системних сімейних розстановок Берта Хеллінгера.

Аналіз звернень, промов, проповідей, листувань представників РПЦ у яких присутні елементи поширення культу особи Й. Сталіна. Типові для представників церкви вислови, які характеризували особу радянського очільника. Зближення світської та церковної влади.

Питання, що виникають у практичних слідчих підрозділах Національної поліції України під час верифікації неправдивих показань у процесі допиту неповнолітнього підозрюваного в кримінальному провадженні. Проведення слідчої дії за участю неповнолітнього.

ABC-аналіз показників обсягу надходжень до спецфонду закладів вищої освіти України за результатами наукових і науково-технічних робіт за проєктами міжнародного співробітництва, господарськими договорами та надання наукових послуг за 2016-2018 рр.