Список публикаций по ключевому слову: «формализация»
Технические науки
Технологический университет Китая , Китайская Народная Республика
«Выбор оптимального способа поверхностного пластического деформирования»
На основании формализации методов поверхностного пластического деформирования в статье представлена разработанная методика выбора оптимального способа обработки и комплексных технологических условий упрочнения с использованием автоматизированной системы поддержки принятия решений.
Технологический университет Китая , Китайская Народная Республика
«Разработка теории непрерывного формования изделий из ультрадисперсных композиционных порошковых материалов»
В статье приведены основные результаты теоретического исследования процесса непрерывного формования ультрадисперсных порошковых материалов для получения длинномерных изделий с нанокристаллической структурой. В рамках гипотезы о сходстве напряженного состояния в сжимаемых и несжимаемых материалах в канале прессования установлено распределение напряжения вдоль канала прессования. При использовании уравнения Г.М. Ждановича с новыми граничными условиями найдено распределение плотности материала по длине канала прессования.
Богомолова Татьяна Константиновна , магистрант
ФГБОУ ВО «Воронежский государственный лесотехнический университет им. Г.Ф. Морозова» , Воронежская обл
Бойкова Анна Леонидовна , магистрант
ФГБОУ ВО «Воронежский государственный университет» , Воронежская обл
«Математическое моделирование процесса обработки данных на основании их формализованного описания с использованием логики предикатов»
В работе рассматривается возможность автоматизированной обработки данных с использованием их логического описания, а также свойств и характеристик, соответствующих искомому классу.
Педагогика общеобразовательной школы
Кукольщикова Нина Петровна , студентка
ФГБОУ ВО «Сыктывкарский государственный университет им. П. Сорокина» , Коми Респ
«Элементы сценария компьютерной игры по теме «Моделирование и формализация»»
В данной статье рассмотрены возможности использования системы проверочных заданий, встроенной в сценарий компьютерной обучающей игры по теме «Моделирование и формализация». Перечислены основные компоненты игры. Отмечены составные элементы обучающей компьютерной игры. Приведено содержание линии «Моделирование и формализация».
Социологические науки
ФГБОУ ВО «Амурский государственный университет» , Амурская обл
«Проблемы межведомственного взаимодействия в пенитенциарной социальной работе в Амурской области и пути их оптимизации»
В данном научном труде автором предпринят эмпирический анализ основных аспектов межведомственного взаимодействия в пенитенциарной социальной работе в Амурской области. В статье приведены основные проблемы межведомственного взаимодействия в пенитенциарной работе, а также рекомендации, способствующие адаптации бывших осужденных.