SCI Библиотека

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

Проведен сравнительный анализ адсорбционных свойств по отношению к катионам железа(III) техногенного материала – золы, образующейся при сжигании твердого топлива (отходов переработки древесины), и взятого в качестве образца сравнения природного минерала шунгита Зажогинского месторождения, который используется в качестве фильтрующего материала в промышленном водоснабжении для обработки водопроводной воды. Экспериментально определены степень извлечения катионов железа(III) из водных растворов на представленных адсорбентах, площадь удельной поверхности, адсорбционная активность. Исследованы влияние на степень извлечения катионов железа(III) концентрации соли в исходном растворе, продолжительности контакта раствора с адсорбентом и других факторов. Показано, что в отношении катионов железа(III) зола обладает сопоставимыми показателями и без дополнительной обработки может быть рекомендована для очистки сточных вод.

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

В данной статье рассматривается роль воспитательной работы в формировании личности будущего выпускника инженерного вуза на примере ФГБОУ ВО «Воронежский государственный университет инженерных технологий». Обозначаются цель и задачи воспитательной работы в университете, ее основные направления, а также перечисляются основные внутренние документы, регламентирующие воспитательную деятельность в вузе. Подробно описывается блок мероприятий, направленный на гражданско-патриотическое воспитание студенческой молодежи: мероприятия в рамках ежегодной акции «Победный май»; митинги, посвященные значимым датам истории своей страны и родного края; уникальный курс «О смыслах и ценностях»; деятельность музея истории университета, патриотического клуба «Я горжусь. ВГУИТ», «Дискуссионного клуба» и «Киноклуба ВГУИТ»; онлайн-акции; конкурсы фото- и видеоработ. В заключении приводятся результаты ежегодного опроса (студентов) на платформе «Неравнодушный человек».

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

Настоящая работа продолжает цикл статей по разработке и верификации управляющих программ на основе LTL“=спецификации. Суть подхода заключается в описании поведения программ с помощью формул линейной темпоральной логики LTL специального вида. Полученная LTL“=спецификация может быть непосредственно верифицирована с помощью инструмента проверки модели. Далее по LTL“=спецификации однозначно строится код программы на императивном языке программирования. Перевод спецификации в программу осуществляется по шаблону. Новизна работы состоит в предложении двух LTL“=спецификаций нового вида - декларативной и императивной, а также в более строгом формальном обосновании данного подхода к разработке и верификации программ. Выполнен переход на более современный инструмент верификации конечных и бесконечных систем - nuXmv. Предлагается описывать поведение управляющих программ в декларативном стиле. Для этого предназначена декларативная LTL“=спецификация, которая задаёт размеченную систему переходов как формальную модель поведения программы. Данный способ описания поведения является достаточно выразительным - доказана теорема о Тьюринг“=полноте декларативной LTL“=спецификации. Далее для построения кода программы на императивном языке декларативная LTL“=спецификация преобразуется в эквивалентную императивную LTL“=спецификацию. Доказана теорема об эквивалентности, которая гарантирует, что обе спецификации задают одно и то же поведение. Императивная LTL“=спецификация транслируется в императивный код программы по представленному шаблону. Декларативная LTL“=спецификация, которая подвергается верификации, и построенная по ней управляющая программа гарантированно задают одно и то же поведение в виде соответствующей системы переходов. Таким образом, при верификации используется модель, адекватная реальному поведению управляющей программы.

В статье представлена графовая модель функционирования сети с адаптивной топологией, где узлы сети представляют собой вершины графа, а обмен данными между узлами представлен в виде ребер. Динамический характер сетевого взаимодействия осложняет решение задачи мониторинга и контроля функционирования сети с адаптивной топологией, которую необходимо выполнять для обеспечения гарантированно корректного сетевого взаимодействия. Значимость решения такой задачи обосновывается созданием современных информационных и киберфизических систем, в основе которых лежат сети с адаптивной топологией. Динамический характер связей между узлами, с одной стороны, позволяет обеспечивать саморегуляцию сети, с другой стороны, существенно осложняет контроль за работой сети в связи с невозможностью выделения единого шаблона сетевого взаимодействия. На базе разработанной модели функционирования сети с адаптивной топологией предложен графовый алгоритм предсказания связей, распространенный на случай с одноранговыми сетями. В основу алгоритма положены значимые параметры узлов сети, харатеризующие как их физические характеристики (уровень сигнала, заряд батареи), так и их характеристики как объектов сетевого взаимодействия (характеристики центральности вершин графа). Корректность и адекватность разработанного алгоритма подтверждена экспериментальными результатами по моделированию одноранговой сети с адаптивной топологией и ее саморегуляции при удалении различных узлов.

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

В статье рассматриваются неориентированные кратные графы произвольной натуральной кратности k>1. Кратный граф содержит ребра трех типов: обычные, кратные и мультиребра. Ребра последних двух типов представляют собой объединение k связанных ребер, которые соединяют 2 или (k+1) вершину соответственно. Связанные ребра могут использоваться только согласованно. Если вершина инцидентна кратному ребру, то она может быть инцидентна другим кратным ребрам, а также она может быть общим концом k связанных ребер мультиребра. Если вершина является общим концом мультиребра, то она не может быть общим концом никакого другого мультиребра. Ставится задача об эйлеровом маршруте (цикле или цепи) в кратном графе, которая обобщает классическую задачу для обычного графа. Сформулированы необходимые условия существования эйлерова маршрута в кратном графе, показано, что эти условия не являются достаточными. Кроме того, показано, что для произвольного кратного графа необходимые условия существования эйлерова цикла и эйлеровой цепи не являются взаимоисключающими, поэтому можно построить кратный граф, в котором одновременно существуют два вида эйлеровых маршрутов. Кратному графу сопоставляется обычный граф с квазивершинами, в упрощенном виде представляющий структуру исходного графа. В частности, каждому эйлерову маршруту в кратном графе соответствует эйлеров маршрут в графе с квазивершинами. Формулируется алгоритм построения такого графа. Также рассмотрена вспомогательная задача о покрывающих цепях с заданными концами в обычном графе, получены два алгоритма ее решения. Разработан алгоритм поиска эйлерова маршрута в кратном графе экспоненциальной трудоемкости. Для частного случая кратного графа предложен полиномиальный алгоритм, показано, что в этом частном случае необходимые условия существования эйлерова маршрута являются достаточными.

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