Автоматизированное проектирование систем логического управления обогащением золотоносных пород: Алгоритмический этап тема диссертации и автореферата по ВАК РФ 05.13.12, кандидат технических наук Свертилова, Наталья Викторовна

• Свертилова, Наталья Викторовна
• кандидат технических наук
• 2002

Оглавление диссертации кандидат технических наук Свертилова, Наталья Викторовна

ВВЕДЕНИЕ

ГЛАВА 1. АЛГОРИТМИЧЕСКОЕ ПРОЕКТИРОВАНИЕ СИСТЕМ

ЛОГИЧЕСКОГО УПРАВЛЕНИЯ ТЕХНОЛОГИЧЕСКИМИ о

ПРОЦЕССАМИ (ОБЗОР).

1.Г МОДЕЛИ И СРЕДСТВА АЛГОРИТМИЧЕСКОГО ПРОЕКТИРОВАНИЯ СИСТЕМ ЛОГИЧЕСКОГО УПРАВЛЕНИЯ ТЕХНОЛОГИЧЕСКИМИ ПРОЦЕССАМИ. г 1.1. Задачи алгоритмического этапа проектирования систем логического управления технологическими процессами. 1 о 1.1.2. Средства проектирования систем логического управления технологическими процессами на алгоритмическом этапе.

1.2. СОВРЕМЕННЫЕ ТЕХНОЛОГИИ ОБОГАЩЕНИЯ золотоносных ПОРОД. П

1.2.1. Краткий обзор методов обогащения золотоносных месторождений. I у

1.2.2. Технологии обогащения золотоносных россыпных месторождений.

1.2.3. Специфика технологий обогащения золотоносных месторождений. 26 Выводы ПО ПЕРВОЙ ГЛАВЕ . л

ГЛАВА 2. МАТЕМАТИЧЕСКАЯ МОДЕЛЬ ФУНКЦИОНИРОВАНИЯ 30 ПЕРЕКЛЮЧАТЕЛЬНОГО ТЕХНОЛОГИЧЕСКОГО ПРОЦЕССА.

2.1. ОПИСАНИЕ АЛГОРИТМА ФУНКЦИОНИРОВАНИЯ ТЕХНОЛОГИЧЕСКОГО 30 ПРОЦЕССА.

2.2. СОЗДАНИЕ И АНАЛИЗ МОДЕЛИ ФУНКЦИОНИРОВАНИЯ ТЕХНОЛОГИЧЕСКОГО ПРОЦЕССА.

2.2.1. временная сетевая модель. Реализация алгоритма функционирования технологического процесса в виде временной сетевой модели.

2.2.2. Построение временной сетевой модели по циклограмме. Анализ 39 временной сетевой модели.

2.3. МАРКИРОВКА ВРЕМЕННОЙ СЕТЕВОЙ МОДЕЛИ.

2.3.1. Понятие маркировки временной сетевой модели.

2.3.2. Свойства маркированной временной сетевой модели.

2.3.3. Анализ маркированной временной сетевой модели.

2.4. ТАБЛИЧНАЯ ФОРМА ЗАДАНИЯ ВРЕМЕННОЙ СЕТЕВОЙ МОДЕЛИ. 52 ВЫВОДЫ ПО ВТОРОЙ ГЛАВЕ.

ГЛАВА 3. АВТОМАТИЗАЦИЯ ВИБРОАКУСТИЧЕСКОГО ПРОЦЕССА ОБОГАЩЕНИЯ ЗОЛОТОНОСНЫХ ТРУДНОПРОМЫВИСТЫХ РОССЫПНЫХ 55 МЕСТОРОЖДЕНИЙ.

3.1. ОПРЕДЕЛЕНИЕ АМПЛИТУДНО-ЧАСТОТНЫХ ПАРАМЕТРОВ АКУСТИЧЕСКОЙ 55 ПРОМЫВОЧНОЙ МАШИНЫ.

3.2. АВТОМАТИЗАЦИЯ ПОЛУЧЕНИЯ АМПЛИТУДНО-ЧАСТОТНЫХ ПАРАМЕТРОВ 63 АКУСТИЧЕСКОЙ ПРОМЫВОЧНОЙ МАШИНЫ.

ВЫВОДЫ ПО ТРЕТЬЕЙ ГЛАВЕ.

ГЛАВА 4. АЛГОРИТМИЧЕСКОЕ ПРОЕКТИРОВАНИЕ СИСТЕМЫ ЛОГИЧЕСКОГО УПРАВЛЕНИЯ ОБОГАЩЕНИЕМ ЗОЛОТОНОСНЫХ ПОРОД ПО

ВИБРОАКУСТИЧЕСКОЙ ТЕХНОЛОГИИ.

4.1. ОПИСАНИЕ ТЕХНОЛОГИЧЕСКОГО ПРОЦЕССА.

4.2.А ОПИСАНИЕ АЛГОРИТМА ФУНКЦИОНИРОВАНИЯ В ВИДЕ ЦИКЛОГРАММЫ И 76 ВРЕМЕННЫХ ТАБЛИЦ.

4.3. СОЗДАНИЕ и АНАЛИЗ ВРЕМЕННОЙ СЕТЕВОЙ МОДЕЛИ. 88 Выводы по четвертой главе.

ГЛАВА 5. ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ АВТОМАТИЗИРОВАННОГО

ПРОЕКТИРОВАНИЯ ПОВЕДЕНИЯ СИСТЕМ ЛОГИЧЕСКОГО УПРАВЛЕНИЯ.

5.1. АРХИТЕКТУРА И АЛГОРИТМ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ.

5.2. ОПИСАНИЕ ПРОГРАММНЫХ МОДУЛЕЙ.

5.3. ВНЕДРЕНИЕ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ в ПРОМЫШЛЕННОСТЬ. 98 ВЫВОДЬГ по ПЯТОЙ ГЛАВЕ

Введение диссертации (часть автореферата) на тему «Автоматизированное проектирование систем логического управления обогащением золотоносных пород: Алгоритмический этап»

Разработка и создание систем автоматизации праектирования (САПР) логического управления (ЛУ) технологическими процессами (ТП) являются сегодня актуальными для всех отраслей промышленности. Это связано со стремительным развитием и внедрением в производство новой высокоуровневой техники и технологий.

Особый, экономический интерес, представляют последние разработки в горно-обогатительной отрасли в связи с появлением новых технологий, позволяющих извлекать золото из техногенных и комплексных месторождений. Такие месторождения стали сегодня реальными источниками дополнительного объема добываемого золота в России. Разработка и внедрение САПР систем ЛУ в технологии горнообогатительной отрасли обусловлено необходимостью получения максимально возможного количества золота с минимальными материальными и временными затратами.

Одновременно с ростом уровня развития техники и технологий растут и требования к создаваемым САПР систем ЛУ ТП. Эффективность систем проектирования определяется качеством и временем, 'затраченным на разработку. При рассмотрении проблем автоматизированного проектирования систем ЛУ ТП важно отметить, что наиболее творческим и трудоемким является алгоритмический этап, так как на этом этапе осуществляется переход от неформального (словесного) описания работы исследуемого ТП к формализованному. Изучение последних теоретических и практических разработок в этой области позволило сделать вывод, что их непосредственное применение не всегда обеспечивает приемлемый результат. Причиной этого является отсутствие учета семантики технологии. В настоящей диссертационной работе на тему «Автоматизированное проектирование систем логического управления обогащением золотоносных пород (алгоритмический этап)» этот недостаток устраняется.

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

Целью диссертационной работы является разработка на этапе алгоритмического проектирования систем ЛУ методов и средств моделирования работы последовательно-параллельных переключательных ТП на базе созданного математического аппарата, обеспечивающего эффективный анализ формальной модели функционирования процесса.

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

Объекты исследований: модели, алгоритмы построения корректных законов управления переключательными процессами и ТП. обогащения золотоносных пород.

В задачу исследований входило:

• разработка метода получения информации о параметрах водных суспензий золотоносных пород;

• обоснование принципа ЛУ ТП обогащения золотоносных пород в акустических полях с оптимальными параметрами вязкости гидросмеси;

• разработка математического аппарата, позволяющего получать корректный закон управления ТП на алгоритмическом этапе проектирования систем ЛУ технологиями обогащения золотоносных полезных ископаемых.

Основные научные положения, разработанные соискателем, и их новизна:

• предложена модель описания алгоритма функционирования ТП в виде интервальных логик - циклограмм и временных таблиц;

• создана абстрактная система в виде временной сетевой модели (ВСМ), которая позволяет моделировать сложные логические условия и события, последовательно-параллельные и альтернативные процессы;

• предложены методы и алгоритмы анализа В СМ, которые позволяют выявлять технологические ошибки и неточности на алгоритмическом-этапе проектирования системы ЛУ ТП, то есть проверять семантику рассматриваемой технологии с целью получения корректного закона управления ТП;

• для автоматизации объектов управления обогащением золотоносных пород, с учетом семантических свойств технологии, в соавторстве с проф. В.М. Карбачинским, получена функциональная зависимость P»(Pmt), которая отображает связь вязкости гидросмеси 1л от плотности глины рт И температуры воды /. Эта зависимость позволила адаптировать управление ТП на базе автоматического определения оптимальных амплитудно-частотных параметров воздействующего акустического поля для полной дезинтеграции глины в-промывочных акустических машинах (МПА) при обогащении золотоносных месторождений;

• предложена настройка системы логического управления ТП обогащения полезных ископаемых в акустических полях, основанная на учете вязкости водной суспензии.

Практическая значимость полученных результатов заключается в том, что на основе теоретических разработок было создано программное обеспечение (ПО), позволившее :

• моделировать функционирование ТП обогащения при разработке автоматизированного проектирования системы ЛУ ТП ;

• настраивать систему ЛУ МПА на основе автоматического определения оптимальных амплитудно-частотных параметров акустического поля с целью полной дезинтеграции глины;

• создать средства автоматизации проектирования системы ЛУ ТП обогащения золотоносных пород на базе виброакустического промывочного прибора на шлюзах (технология ВАП-Ш), элементом которой является МПА.

ПО разработано на языке программирования С++ в системе Borland С++ Builder 5.0 и рассчитано на моделирование и анализ модели функционирования ТП сложностью до 1000 состояний (вершин) со временем обработки результатов до 5 минут. Получение оптимальных настроечных амплитудно-частотных параметров занимает 2 секунды.

Результаты работы внедрены в практику на Мирнинском ГОКе, о чем имеется соответствующий акт о внедрении.

Работа выполнялась в рамках программы ГО-4-547 «Разработка САПР вибротехнологического обогащения полезных ископаемых».

Апробация работы. Основные результаты диссертационной работы докладывались и обсуждались на XXX Международной конференции "Характеризационный анализ и логическое управление" (Москва, 1999 г.), на Всемирном конгрессе "Информатизация горного дела" (Москва, 1999 г.), на кафедре "Вычислительные машины" МГГУ (2002 г.).

Публикации. Основные положения диссертационной работы отражены в семи публикациях.

Структура и объем диссертационной работы. Диссертация состоит из введения, пяти глав , заключения, списка использованной литературы . Работа изложена на 111 страницах машинописного текста, включающего 36 рисунков, 11 таблиц и содержит список использованной литературы из 90 наименований.

Заключение диссертации по теме «Системы автоматизации проектирования (по отраслям)», Свертилова, Наталья Викторовна

Выводы по пятой главе.

1. Для успешного внедрения теоретических результатов в промышленность математический аппарат был доведен до программной реализации в виде соответствующего инструментария на языке программирования С++ в системе Borland С++ Builder 5.0, позволившего автоматизировать процесс моделирования и анализа ВСМ сложностью до 1000 вершин и временем обработки результатов до 10 мин.

2. Разработанный программный инструментарий был внедрен в практику на предприятиях Мирнинского ГОКа и позволил снизить общее время и материальные затраты на проектирование САПР систем ЛУ ТП.

ЗАКЛЮЧЕНИЕ.

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

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

Основными выводами, сделанными в диссертационной работе, являются:

1. Решение проблемы проектирования корректных и универсальных САПР систем ЛУ ТП является одной из задач современного научно-технического комплекса. Это вызвано необходимостью внедрения таких систем во все отрасли промышленности. Успех решения указанной проблемы во многом зависит . от алгоритмического этапа, на котором осуществляется переход от технического задания к алгоритму функционирования САПР системы ЛУ.

2. Проведенное исследование теоретических и практических работ по проектированию САПР систем ЛУ ТП позволило выделить следующие аспекты:

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

- решаются задачи имитационных исследований (например входные языки для создания модели асинхронного управления техническими системами, операторные схемы);

- применение алгоритмических языков, при построении формальной модели функционирования ТП, не позволяет легко создавать структурные алгоритмы и не является пригодным для общего случая представления работы элементов ТП;

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

3. В связи с появлением и внедрением новых технологий в горнообогатительном комплексе, позволяющих извлекать дополнительный объем добываемого золота из техногенных и комплексных месторождений, актуальным является создание САПР систем ЛУ такими технологиями с целью получения максимально возможного количества золота с минимальными материальными и временными затратами.

Основные научные и практические результаты диссертационной работы состоят в следующем:

• предложена временная сетевая модель (ВСМ), позволяющая эффективно моделировать сложные последовательно-параллельные переключательные процессы;

• разработаны методы и алгоритмы, позволяющие на основе ВСМ выявлять технологические ошибки и неточности на алгоритмическом этапе проектирования системы логического управления с целью получения корректного закона управления переключательным технологическим процессом (ТП); для решения задачи алгоритмического этапа проектирования систем логического управления предложена модель описания функционирования ТП в виде интервальных логик - циклограмм и временных таблиц; для разработки корректного закона оптимального управления процессом обогащения золотоносных пород в соавторстве с проф. В.М. Карбачинским, получена функциональная зависимость jd(pm,t), которая отображает связь вязкости гидросмеси /и от плотности глины и температуры воды /, позволяющая практически стопроцентно дезинтегрировать глину и повысить процент извлекаемого золота; для успешного внедрения в практику разработанное математическое обеспечение доведено до программной реализации на языке профаммирования С++ в системе Borland С++ Builder 5.0, что позволило моделировать ТП обогащения золотоносных пород с числом внутренних состояний до 1000 вершин и реактивностью 5 минут; разработанные средства автоматизации проектирования системы логического управления внедрены в практику Мирнинского ГОКа. Результаты внедрения показали снижение времени настройки технологического оборудования на 20%, уменьшение расходов воды на 14 %, электроэнергии на 7 % , повышение процента извлекаемого золота на 0,1% в условиях средне- и труднопромывистых глинистых пород, о чем имеется соответствующий акт о внедрении.

Список литературы диссертационного исследования кандидат технических наук Свертилова, Наталья Викторовна, 2002 год

1. Шестаков В.И. Об одном символическом исчислении, применимом к теории релейных электрических схем. Ученые записки МГУ, вып. 67, Математика, кн. 5, 1944.

2. Шестаков В.И. Алгебра двуполюсных схем, построенных исключительно из двуполюсников (алгебра А-схем). Автоматика и телемеханика, 1944 г. № 2.

3. Шенннон К. Символический анализ релейных и переключательных схем. Сб. « Работы по теории информации и кибернетике ». ИЛ, 1963 г.

4. Shannon С. The synthesis of two-terminal switching circuits. Bell Sist. Techn. J., 1949, vol 28, No. 1.

5. Nakashima A. Theory of reley circuits composition. Nippon Electr. Commun. Eng. 1936, No. 3.

6. Nakashima A., Hanzawa M. Theory of eqivalent transformation of simple partial paths of relay circuits. Nippon Electr. Commun. Eng., 1938, № 9.

7. Гаврил OB M.A. Теория релейно-контактных схем. Издательство АН СССР, 1950 г.

8. Клини С.К. Представление событий в нервных сетях и конечных автоматах. Сб. «Автоматы», ИЛ, 1956 г.

9. Горбатов В.А. Квазиполные графы и их некоторые свойства. Доклады НТК МЭИ. Вычислительная техника.- М.: МЭИ, 1965. 310 с.

10. Ю.Горбатов В.А. Оценки при выборе направления вычислительний в задачах синтеза конечных авоматов. Изв. АН СССР. Техническая кибернетика. 1970, № 4, 91-101 с.

11. П.Горбатов В.А. Синтез логических схем в многозначных логиках, основанный на структурных соотношениях. Многозначные элементы и структуры.- М.: Советское радио, 1967.

12. Горбатов В.А. Синтез логических схем в произвольном базисе. Теория дискретных автоматов.-Рига: Зинатне, 1967.

13. Горбатов В.А. Схемы управления ЦВМ и графы. М: Энергия, 1971. Н.Горбатов В.А. Семантическая теория проектирования автоматов.1. М.: Энергия, 1979.

14. Горбатов В.А., Кафаров В.В., Павлов П.Г. Логическое управление технологическими процессами.-М: Энергия, 1978.

15. Горбатов В.А. , Останков Б.Л., Фролов CA. Регулярные структуры автоматного управления. Под ред. В.А. Горбатова. М: Машиностроение, 1980.

16. П.Горбатов В.А. Павлов П.Г., Четвериков В.Н. Логическое управление информационными процессами. -М: Энергоатомиздат, 1984.

17. Горбатов В.А. Фундоментальные основы дискретной математики. Информационная математика. М.: Наука. Физматлит, 1999, 388526 с.

18. Галушкин А.И. Нейронные сети и проблемы малой выборки. Сб. «Нейрокомпьютеры и их применение». М.: Радиотехника, 1999, 399-400 с.

19. Горбатов A.B. Характеризационно-декомпозиционный подход при автоматизированном логическом проектировании нейронных сетей.-М.:МГГУ, 1997.

20. Горбатов A.B. Логическое проектирование нейронных сетей. Сб. «Проблемы характеризационного анализа и логического управления». -М: РАЕН , 1999, 90-95 с.

21. Горбатов A.B. Цифровой нейрон в к-значной логике и его минимальная сложность. Сб. «Нейрокомпьютеры и их применение». -М.: Радиотехника, 2000, 41-47 с.

22. Горбатов А. В. Характеризационная теория синтеза функциональных декомпозиций в к-значных логиках. М: Физико-математическая литература, 2000, 134-199 с.

23. Глушков В.М. Синтез цифровых автоматов.- М.:Физматгиз, 1962. 476 с.2 5. Гаврил OB М.А. Теория релейно-контактных схем. -М.-Л.: Изд. АН СССР, 1950,304 с.

24. Гаврилов М.А., Девятков В.В., Пупырев Е.И. Логигическое проектирование дискретных автоматов. -М., Наука, 1977. 352 с.

25. Захаров В.Н. , Поспелов Д.А., Хазацкий В.Е. Системы управления.-М., Энергия, 1972. 344 с.

26. Захаров В.Н. Автоматы с распределенной памятью. М.: Энергия, 1975.136 с.

27. Лазарев В.Г., Пийль Е.И. Синтез асинхронных конечных автоматов.-А М: Наука, 1964, 300 с.

28. Лазарев В.Г., Пийль Е.И. Синтез управляющих авоматов.-М: Энергия, 1970, 400 с.

29. Пийль Е.И. Параллельные логические схемы алгоритмов и их приложения для синтеза автоматов. В кн.: Дискретные системы. Труды международного симпозиума ИФАК. Т. 1. Рига, Зинатне, 1974,205-213 с.

30. Поспелов Д А. Логические методы анализа и синтеза схем.-М.: Энергия, 1974, 368 с.

31. Таль A.A. Построение статистических асинхронных последовательных машин из типовых ячеек.- М: Автоматика и телемеханика, 1966, № 12, 94-114 с.

32. Таль A.A. Агрегатный принцип и развитие пневмоавтоматики.- В кн.: Проблемы управления. М., изд. Ордена Ленина Института проблем управления, 1975, 85-91 с.

33. Якубайтис Э.А. Логические автоматы и микромодули. Рига, Зинатне, 1975,260 с.

34. Юдицкий С. А. К синтезу микропрограммных управляющих устройств.- В кн. Лневоавтоматика. М., Наука, 1972, 22-31 с.

35. Поспелов Д.А. Ситуационное управление. Теория и практика. -М.: Наука, 1986 г.

36. Горбатов В.А., Поспелов ДА. Новые информационные технологии. Материалы семинара «Новые информационные технологии в планировании производства» -М., 1991. С. 3-7.

37. Горбатов В.А. и др. САПР систем логического управления. М: Энергоатомиздат, 1988. 231 с.

38. Юдицкий С.А., Магерут В.З. Логическое управление дискретными процессами: модели, анализ, синтез. М.: Машиностроение, 1987. 175 с.

39. Языки логического управления -Минск: Наука и техника, 1975. 207с.

40. Питерсон Дж. Теория сетей Петри и моделирование систем -М.:Мир, 1984.36 с.

41. Stecke К. Е., ICrupa Т. Modele processow wspolbieznych dia celow sterowanla elastycznymi systemami produkcyjnymi. Systemy produkcyjne -Warszawa: Institute Organizacji Systemow Produkcyjnych. 1987. 299-308s.

42. Горбатов В.A, Смирнов М.И., Хлытчиев И.С. Логическое управление распределенными системами.-М.: Энергоатомиздат. 1991.2б4-283с.

43. Ибрагимова К.С. Логическое моделирование горно-технологических процессов на базе функционально-числовых сетей. Автореферат диссертации на соискание ученой степени к.т.н. МГИ. 1990.4 с.

44. Имитационное моделирование производственных систем. Под общей редакцией чл. корр. АН СССР A.A. Вавилова. М. : Москва-Берлин: «Машиностроение»-«Техника». 1983.217 с.

45. Проектирование устройств логического управления- М. : Наука 1984. 25 с.

46. Логическое проектирование БИС / Под редакцией В.А. Мищенко -М.: Радио и связь . 1984. 42 с.

47. Горбатов В.А, Смирнов М.И., Хлытчиев И.С. Логическое управление распределенными системами.- М.: Энергоатомиздат. 1991.90с.

48. Гаврилов М.А., Девятков В.В., Пупырев Е.И. Логическое проектирование дискретных автоматов.-М.: Наука. 1977. 72-169 с.

49. Материалы 1 ой международной конференции "Золотодобывающая промышленность России. Проблемы и перспективы." М., 1999.

50. Макаров В. А., Шрайнер А. Д. Проблемы геологической переоценки техногенных месторождений золота. Горныйжурнал. 1998 .

51. Макарова С.Н., Красовицкий С. Я. Применение угольно -сорбиционной технологии извлечения золота за рубежом. М., ЦНИИцветмет экономики информации, 1983, вып.7.

52. Состояние золотодобывающей промышленности в зарубежных странах. М., 1988.

53. Mining activity in the Westm world // Mining Magazine. January. 1987.

54. A. C. 484012 (СССР). Акустическое устройство для возбуждения низкочастотных колебаний во флотационной пульпе. / В.М. Карбачинский, B.C. Ямщиков и др. Опубликовано в Б.И., 1975, № 34.

55. A.C. 741939 (СССР). Устройство для промывки полезных ископаемых./В.М. Карбачинский ,В.С. Ямщиков и др. Опубликовано вБ.И., 1980, №23. '

56. A.C. 1391711 (СССР). Способ промывки сыпучих материалов./

57. B. С Ямщиков , В.М. Карбачинский и др. Опубликовано в Б.И., 1988, №16.

58. Патент Франции, 17-4-1981 № 78266662 Int СГ В01 F 11/00; Автор В.М. Карбачинский ,B.C. Ямщиков и др.

59. Патент Австралии, 11.08.1978; № 523344 Int С1А В06В 1/18; Авторы В.М. Карбачинский ,В.С. Ямщиков и др.

60. Свертилова Н.В., Карбачинский В.М. К вопросу применения проектирования средств управления к обогащению полезных ископаемых. В ак. сб. науч. трудов: "Проблемы характеризационного анализа и логического управления", М., 1999.193-195с.

61. Дмитриев Г. П., Махарадзе Л.И., Гочиташвили Т.Ш. Напорные гидротранспортные системы. Справочное пособие.-М.: Недра. 1991.184-202 с.

62. Горное дело. Терминологический словарь.- М.: Недра. 1990 . 694 с.

63. Мучник B.C., Голланд Э.Б., Маркус М.Н. Подземная гидравлическая добыча угля. М.: Недра, 1986 г.

64. Свертилова Н.В. , Карбачинский В.М., Горбатов A.B., Леоненко И.В. автоматизированное проектирование нейросетей логического управления обогащением полезных ископаемых. В сб. Информационная математика. М., 2000, 108-114.

65. Свертилова Н.В. Подсистема автоматного описания устройства правления технологическим процессом. В сб. Информационная математика. М., 2000, 115-121.

66. Свертилова Н.В. Формализация описания устройств в управлении горной промышленности. Язык " Управление Г". В сб. Проблемы проектирования изделий машиностроения и информатизации. Ижевск, 88-92.

67. Ржевский В.В., Новик Г.Я. Основы физики горных пород. -М.:Недра, 1984.

68. Ржевский В.В. Горные науки.-М.:Недра, 1985.

69. Свертилова Н.В. Анализ временной сетевой модели. В сб. Информационная математика. М., 2001, 124-127.

70. Свертилова Н.В. Описание технологических процессов в виде временной сетевой модели. В сб. Информационная математика. М., 2001,127-131.

71. Свертилова Н.В. Проблемы эффективного проектирования систем автоматизированного логического управления технологическими процессами на алгоритмическом этапе. В сб. Информационная математика. М., 2001, 131-134.

72. Коршунов A.n. Оборудование гидромеханизации для горного дела и строительстве.-М.: Недра. 1992.55 с.

73. Бобровский С. Самоучитель программирования на языке С + + в системе Borland С++ Builder 4.0.-М.: Десс , 1999.

74. Норенков И.П., Маничев В.Б. Основы теории и проектирования САПР. М.: Высшая школа, 1990.

75. Глушков В.Г., Пийль Е.И. Синтез асинхронных конечных автоматов.-М. :Наука, 1964 г.

76. Лазарев В.Г., Пийль Е.И. Способы построения блока программного управления управляющего устройства.-«Проблемы передачи информации».-М.:Изд-во АН СССР, 1963, вып. 15, 23-35 стр.

77. Лазарев В.Г. О синтезе микропрограммных автоматов.-«Проблемы передачи информации». 1965,т.1.,№ 2, 63-78 с.

78. Лазарев В.Г. Способ минимизации логической схемы алгоритмов.-«Автоматика и телемеханика», 1965, т.26,№ 10, 1834-1844 с.

79. Таль A.A. Анкетный язык и абстрактный синтез минимальных последовательностных машин. .-«Автоматика и телемеханика», 1964, т.26,№ 6, 946-962 с.

80. Гаврилов М.А. Структурная избыточность и надежность работы релейных устройств.-Труды 1 Международного конгресса Международной федерации по автоматическому управлению. М., Издательство АН СССР, 1961, т. 3., 25 с.

81. Гаврилов М.А. Современное состояние теории релейных устройств.-В кн.: Структурная теория релейных устройств. М.: Издательство АН СССР, 1963,17-39 с.