SCI Библиотека

При ликвидации «мокрым» способом происходит выход шахтных вод на поверхность. Существенному негативному воздействию подвержены малые реки из-за невысокой степени их самоочищения. Цель настоящего исследования – оценка влияние ликвидированных шахт на загрязнение бассейна реки Партизанская Приморского края. Объектами исследования являлись поверхностные водные объекты, находящиеся в промышленных зонах ликвидированных угольных шахт Партизанского каменноугольного бассейна Приморского края. Отбор проб вод был проведён по сезонам (осень-зима, весна-лето) в 2015–2019 гг. из поверхностных водных объектов бассейна р. Партизанская. Всего апробирован 41 створ. Анализ экологического состояния водных объектов бассейна реки Партизанская показал, что рассматриваемые поверхностные воды являлись нейтральными (рН 7,2–7,7), умеренно жёсткими (2,4–5,2 ºЖ) со средней минерализацией (139–266 мг/л). Пробы, отобранные из р. Чёрной, р. Тигровой и ручья Ольховый, отличались от других исследуемых поверхностных водных объектов повышенной минерализацией (664–1129 мг/л). По содержанию металлов наиболее загрязнёнными поверхностными объектами были р. Чёрная (4,5 ПДКр/х(Fe), 16,6 ПДКр/х(Li), 1,5 ПДКр/х(Al)) и ручей Ольховый (3,6 ПДКр/х(Fe), 7,4 ПДКр/х(Li), 2,4 ПДКр/х(Al)). Основной причиной загрязнения поверхностных вод являлось их смешивании с техногенными водами ликвидированных угольных шахт.

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

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

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

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

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

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

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

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

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