| УДК 004.05 | DOI: 10.21440/0536-1028-2021-7-99-108 |
Цель работы. Исследование возможности применения метода формального доказательства соответствия программной реализации модели заданным требованиям для систем, модели которых могут быть представлены в виде конечных автоматов.
Актуальность. Разработка программного обеспечения для систем контроля и управления на одном из первых этапов этого процесса предполагает создание модели системы. Эта модель строится на основе технического задания, спецификации и различной априорной информации. Большая часть таких моделей для технических систем, которые эксплуатируются на современных добычных предприятиях (конвейерные системы, системы проветривания и т. п.), может быть описана с помощью модели конечного автомата. Такая модель может быть
использована для решения широкого круга задач. Следующим шагом является программная реализация модели целиком либо какой-то ее части. В связи с этим возникает задача определения соответствия программной реализации модели ее исходному описанию.
Результаты. Один из способов решения данной задачи – это формальное доказательство наличия у программной модели свойств, которые определены в спецификации (описании) исходной модели. В статье на примере шахтной конвейерной системы показано применение метода, состоящего в программной реализации модели соответствующего конечного автомата, формировании предположений о наличии у модели свойств в виде теорем с их последующим доказательством с использованием специальных программных средств.
Выводы. Использование формальных методов для спецификации, разработки и верификации программных реализаций моделей систем в совокупности с другими методами позволит повысить качество и надежность разрабатываемых решений.
Ключевые слова: конечный автомат; формальное доказательство; тестирование; соответствие спецификации; корректность реализации модели; формализация требований; Coq; автоматизация доказательства теорем; конвейерная система шахты.
БИБЛИОГРАФИЧЕСКИЙ СПИСОК
| УДК 622.279.04 | DOI: 10.21440/0536-1028-2020-8-5-13 |
Введение. В статье рассмотрены основные риски (технологические, геологические, социальные и экологические), которые возникают при освоении, обустройстве и эксплуатации морских месторождений с применением подводной системы добычи углеводородов.
Целью исследования является анализ основных рисков при реализации морских нефтегазовых проектов, связанных с суровыми природно-климатическими условиями шельфа о. Сахалин, влияние их на объекты подводного обустройства морских месторождений и разработка мероприятий, компенсирующих выявленные риски.
Методика. Анализ рисков позволил выявить основные риск-факторы при разработке шельфовых проектов и предложить компенсирующие мероприятия, которые являются первоочередными при освоении морского месторождения на стадии проектирования и, главное, на стадии реализации проекта.
Анализ и обсуждение. Углубленный анализ основных рисков, основанный на фактических данных освоения крупных нефтегазовых месторождений, связанных с климатическими условиями шельфа о. Сахалин, показал, что основными геологическими рисками в регионе являются сейсмичность, приповерхностный газ, ледовое выпахивание морского дна и разжижение грунтов. В силу этого необходимо применение безопасных современных технологий подводной добычи нефти и газа на основе успешно реализованных проектов зарубежных стран и опыта освоения шельфа России.
Выводы. Эффективное освоение нефтегазовых месторождений на шельфе о. Сахалин возможно при условии учета и управления в ходе реализации проекта геологическими, технологическими, социальными и экологическими рисками на основе разработанных компенсирующих мероприятий.
Ключевые слова: шельф; риски; сейсмичность; газовые аномалии; разжижение грунта; ледовое выпахивание.
БИБЛИОГРАФИЧЕСКИЙ СПИСОК
Поступила в редакцию 7 сентября 2020 года
| УДК 622.684:629.3 | DOI: 10.21440/0536-1028-2020-7-21-32 | Скачать![]() |
Цель работы – обоснование оптимальных уклонов автодорог при эксплуатации полноприводных автосамосвалов и разработка аналитического метода расчета объема дополнительного разноса нерабочих бортов карьера от размещения автотранспортных коммуникаций при вскрытии глубоких кимберлитовых карьеров трассами спиральной формы.
Актуальность исследования. Переход на вскрытие крутонаклонными автосъездами при использовании полноприводных автосамосвалов является одним из основных направлений повышения эффективности отработки глубоких кимберлитовых карьеров. В связи с этим весьма актуальными становятся вопросы обоснования уклонов автодорог и разработка метода расчета дополнительного разноса бортов карьера от размещения автотранспортных коммуникаций.
Методика проведения исследований. При обосновании уклона автодорог для полноприводных автосамосвалов использовался физический принцип наименьшего действия, тягово-динамические, тормозные и топливные характеристики самосвалов, а также экспериментальные данные. Введено новое понятие «удельное действие». Оптимальный уклон по критерию удельного действия соответствует минимальным энергозатратам на подъем горной массы при максимальной производительности транспортных средств. Разработанный аналитический метод расчета объема дополнительного разноса бортов карьера характеризуется комплексным учетом основных технологических параметров вскрытия. Предложен графический метод определения угла нерабочего борта карьера, являющегося контролируемым параметром при вскрытии крутонаклонными автосъездами.
Результаты. Установлено, что оптимальные значения уклонов по физическому критерию удельного действия определяются зависимостями КПД трансмиссии, скоростей движения и
удельного расхода топлива полноприводными автосамосвалами от суммарного сопротивления движению на уклонах. Для автосамосвалов CAT-745С оптимальные значения уклонов автодорог со щебеночным покрытием находятся в диапазоне 0,18–0,24. Установлены закономерности влияния основных горнотехнических факторов на объем дополнительного разноса бортов от размещения автотранспортных коммуникаций. Наибольшее влияние на объем разноса оказывает глубина карьера, уклон спиральных автосъездов и мощность рудного тела. При увеличении мощности рудного тела влияние уклона снижается. Таким образом, внедрение крутонаклонного вскрытия в первую очередь рекомендуется на кимберлитовых карьерах при разработке рудных тел небольшой мощности.
Область применения результатов. Полученные результаты рекомендуется использовать в практике проектирования и эксплуатации глубоких кимберлитовых карьеров при внедрении полноприводных автосамосвалов. Результаты могут найти применение на рудных карьерах при вскрытии глубоких горизонтов спиральными автосъездами.
Ключевые слова: карьер; глубина карьера; полноприводный автосамосвал; уклон автосъезда;
принцип наименьшего действия; расход топлива; дополнительный разнос борта; угол откоса
борта; мощность рудного тела.
БИБЛИОГРАФИЧЕСКИЙ СПИСОК
1. Акишев А. Н., Костырин В. Ф. Оптимизация проектных решений по отработке карьера
«Юбилейный» // Горный журнал. 2000. № 7. С. 33–35.
2. Чантурия В. А., Трубецкой К. Н., Каплунов Д. Р., Чаадаев А. С., Махрачев А. Ф. Комплексные
исследования и внедрение инновационных геотехнологий добычи и глубокой переработки
кимберлитов // Горный журнал. 2011. № 1. С. 10–13.
3. Акишев А. Н., Лель Ю. И., Ильбульдин Д. Х., Мусихина О. В., Глебов И. А. Технологические
решения по вскрытию и отработке глубоких горизонтов Нюрбинского карьера АК «АЛРОСА» //
Известия вузов. Горный журнал. 2017. № 7. С. 4–12.
4. Акишев А. Н., Лель Ю. И., Бокий И. Б., Исаков С. В., Глебов И. А. Инновационная технология
открытой разработки кимберлитовых месторождений с изменяемой геометрией нерабочих бортов //
Известия вузов. Горный журнал. 2018. № 8. С. 5–16.
5. Haiyong T., Yanhua S., Wenming Z., Chun J. Slip ratio control for articulated dump truck based on
fuzzy sliding mode // 2011 Int. Conf. on Consumer Electronics, Communications and Networks, CECNet
2011 – Proceedings. 2011. P. 4404–4407.
6. Мариев П. Л., Егоров А. Н., Войтов В. Т. Особенности работы карьерных самосвалов в
условиях глубоких карьеров и повышенных уклонов // Горный журнал. 2011. № 10. С. 63–66.
7. Brown D., Heather R. Development of off-highway articulated dump trucks // SAE Technical Paper,
D. J. B. Engineering Ltd. 1979. 12 c.
8. Зырянов И. В., Цымбалова А. И. Испытания САТ-740 В на крутонаклонных съездах карьера
«Удачный» АК «АЛРОСА» // Горное оборудование и электромеханика. 2013. № 9. С. 22–25.
9. Лель Ю. И., Горшков Э. В., Ермолаев А. И., Ворошилов Г. А., Неволин Д. Г., Довженок А. С.
Обоснование оптимальных уклонов автодорог при разработке нагорно-глубинных карьеров //
Известия вузов. Горный журнал. 2012. № 2. С. 5–12.
10. Веретенников В. Г., Синицын В. А. Метод переменного действия. М.: Физматлит, 2005. 272 с.
11. Артамонов М. Д., Иларионов В. А., Морин М. М. Теория автомобиля и автомобильного
двигателя. М.: Машиностроение, 1968. 283 c.
12. Вилкул Ю. Г., Слободянюк В. К., Максимов И. И. Теоретические основы определения
объемов горнокапитальных работ при вскрытии глубоких карьеров трассами спиральной формы //
ГИАБ. 2007. № 7. С. 17–23.
Поступила в редакцию 3 августа 2020 года
| УДК 622.001:622.014 | DOI: 10.21440/0536-1028-2021-1-5-14 |
Постановка вопроса. Что есть горная наука – ремесло, искусство «копарей» или наука? Что лежит в основе учения о добыче полезного ископаемого? Какое место это учение занимает в системе знаний об окружающей среде?
Обсуждение проблемы. На сегодняшний день отсутствует четкое, ясное и общепринятое определение горной науки, ее объекта и предмета. Известные попытки многих ведущих специалистов в области горного дела включиться в обсуждение этой проблемы значительно расширили спектр прикладных задач, но в целом проблема не получила завершающей формы. Идеология рыночных отношений прагматична (товар–деньги–товар), идеология науки лучезарна – познать «необъятное». Совершенно очевидная практическая направленность горного дела всей своей историей убеждает в неразрывной связи эффективности горного производства с широким диапазоном знаний о недрах, свойствах горных пород, законах и формах организации труда.
Резюме. Горная наука должна занять достойное место в науках о Земле не только потому, что горное производство есть локомотив цивилизации, но и по кругу проблем жизнеобеспечения, которые находятся в компетенции горных знаний. Ключевые слова: горная наука; объект; предмет; основополагающие положения; область знаний наук о Земле.
БИБЛИОГРАФИЧЕСКИЙ СПИСОК
Поступила в редакцию 9 октября 2020 года
| УДК 622.271.3.001.63:621.926.2 | DOI: 10.21440/0536-1028-2020-7-33-40 | Скачать![]() |
Введение. На современных горнодобывающих предприятиях в России и за рубежом широко применяется открытый способ разработки рудных полезных ископаемых. При этом эффективно используется циклично-поточная технология c передвижными дробильно-перегрузочными установками (ПДПУ) различной конструкции. Цель работы. Обоснование методики проектирования передвижных дробильно-перегрузочных установок.
Методология. Работа проектировщиков и конструкторов по выбору типа компоновочной схемы ПДПУ и элементов ее конструкции, а также по совершенствованию установки в целом в значительной мере затруднена из-за отсутствия единого методического подхода к проектированию передвижных дробильно-перегрузочных установок в модульном (блочном) исполнении. Многовариантность разработанных компоновочных решений передвижных дробильно-перегрузочных установок требует формулирования общих принципов, предъявляемых к проектированию установок данного типа. В статье выполнены анализ конструкций ПДПУ и обоснование оптимальной компоновочной схемы установки в модульном исполнении в составе транспортной схемы карьера.
Результаты. Выполненные исследования, в том числе в ИГД УрО РАН, позволили разработать исходные требования к проектированию установок данного типа, в соответствии с которыми конструкторами производственного объединения «Уралмашзавод» был разработан технический проект передвижной установки ПДПУ-2000 производительностью 2000 м3/ч, состоящей из трех модулей на базе конусной дробилки ККД 1500/180.
Выводы. К перспективным конструкциям ПДПУ в модульном исполнении, разрабатываемым в настоящее время, следует отнести двух- и трехмодульные установки, оснащаемые щековыми и конусными дробилками крупного дробления. Перенос на новое место модулей установки производится с помощью многоцелевого гусеничного транспортера грузоподъемностью до 1000 т. К этим типам ПДПУ в последнее время проявляется повышенный интерес, о чем свидетельствует большое количество запатентованных технических решений.
Ключевые слова: передвижная дробильно-перегрузочная установка; конусная дробилка; производительность; гусеничный транспортер; ленточный конвейер; открытые горные работы.
БИБЛИОГРАФИЧЕСКИЙ СПИСОК
Поступила в редакцию 26 февраля 2020 года
Наша электронная почта:
Этот адрес электронной почты защищён от спам-ботов. У вас должен быть включен JavaScript для просмотра.
Этот адрес электронной почты защищён от спам-ботов. У вас должен быть включен JavaScript для просмотра.