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