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

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

В докладе исследуется вопрос о снижении временных затрат при построении множеств 0-управлемости системы управления спутником. В связи с высокой вычислительной сложностью работы с данными множествами предлагается использовать алгоритм полиэдральной аппроксимации. Уместность и необходимость его применения демонстрируется результатами проведенных вычислений.