Системы управления базами данных для оптимизации технологических процессов
Диссертация
Реализованы программно и внедрены в практику инженерного проектирования ПО СУБД проведения взаимозачетов и формирования оптимального по времени состава ТЦУ КА. Программная реализация показала адаптируемость и гибкость систем, которая является следствием возможности их работы с разными типами баз, а также легкости дополнения набора оптимизационных алгоритмов (открытой методики кодирования… Читать ещё >
Содержание
- Глава 1. Анализ и постановка проблемы
- 1. 1. Современное состояние проблемы автоматизации технологических процессов
- 1. 2. СУБД как основа современного информационно-лингвистического обеспечения АСУ ТП
- 1. 2. 1. Информационное обеспечение АСУ ТП
- 1. 2. 2. Лингвистическое обеспечение АСУ ТП
- 1. 3. Общие принципы построения СУБД для оптимизации АСУ ТП. 20 Результаты, полученные в главе 1
- Глава 2. Формализация задач
- 2. 1. Формирование ТЦУ КА
- 2. 1. 1. Инженерное проектирование программного обеспечения
- 2. 1. 2. Комплексы программ управления как сложные системы
- 2. 1. 3. Жизненный цикл и этапы проектирования
- 2. 1. 4. Классическая модель жизненного цикла
- 2. 1. 5. Каскадная модель жизненного цикла
- 2. 1. 6. Модульно-иерархическое построение ПО
- 2. 1. 7. Анализ процессов формирования ПО управления КА
- 2. 1. 8. Определение базового модуля мультиверсионной программной системы
- 2. 1. 9. Формализация модели ТЦУ КА. 57 2.11 Формализация общей схемы анализа реализуемости ТЦУ
- 2. 2. Проведение взаимозачетов
- 2. 2. 1. Проблема проведения взаимозачетов
- 2. 2. 2. Формализация задачи проведения взаимозачетов
- 2. 1. Формирование ТЦУ КА
- 3. 1. Построение алгоритма решения задачи погашения 83 3.1.1 .Постановка задачи и выбор модели
- 3. 1. 2. Разработка алгоритма
- 3. 1. 3. Правильность алгоритма '
- 3. 2. Обоснование выбора оптимизационных алгоритмов
- 3. 2. 1. Подходы к решению оптимизационных задач
- 3. 2. 2. Методы оптимизации
- 3. 2. 3. Понятие полного построения алгоритма
- 3. 3. СУБД для построения оптимального по времени ТЦУ КА
- 3. 3. 1. Опр еделение структуры БД
- 3. 3. 2. Методы работы с базой, используемые при решении задачи
- 3. 3. 3. Реализация алгоритмов (базовые концепции)
- 3. 4. СУБД для проведения взаимозачетов
Глава 4. Практическая реализация оптимизационных СУБД. 122 4.1 Информационный обмен в технологических циклах управления космическими аппаратами. 122 4.3 Практическая реализация СУБД для построения оптимального по времени ТЦУ
4.5 Практическая реализация СУБД для проведения взаимозачетов. 132
Выводы по главе
Список литературы
- Комплекс средств автоматизации технологической подготовки производства TECHCARD2. http://www.compress.rU/ie3.0/SAPR/Sa397Tech.htm
- AspenTech News http://www.aspentech.com
- Алъсведе Р., Вегенер И. Задачи поиска.: Перев. с нем. М.: Мир, 1982. -368 с.
- Антамошкин А.Н. Оптимизация функционалов с булевыми переменными. Томск: Изд-во Том. ун-та, 1987. 104 с.
- Бусленко Н.П., Шрейдер Ю. А. Метод статистических испытаний (Монте-Карло) и его реализация на цифровых вычислительных машинах. Библиотека прикладного анализа и вычислительной метематики. М.: Физматгиз, 1961. 226 с.
- Гудман С., Хидетниеми С. Введение в разработку и анализ алгоритмов.: Перев. с англ. М.: Мир, 1981. 368 с.
- Нефедов В.Н., Осипова В. А. Курс дискретной математики. М.: Изд-во МАИ, 1992. 264 с.
- Кристофидес Н. Теория графов алгоритмический подход.: Перев. с англ. М.: Мир, 1978. -432 с.
- Линтер Л. Разработка приложений в Microsoft FoxPro 2.5.: Перев. с англ. М.: Изд-во Эдэль, 1995. -432 с.
- Соболь И.М. Численные методы Монте-Карло. М.: Наука, 1973. 311 с.
- Спесивцев Н.И. Жадные алгоритмы распределения ресурсов. М.: Манлит, 1993. 346 с.
- Князысин Ю.М. Методология автоматизированного проектирования бортовых комплексов управления КА связи, ретрансляции, навигации.-Министерство обороны, 1992, 182 с.
- Липаев В.В. Проектирование математического обеспечения АСУ,— М.: Советское радио, 1977, 400 с.
- Liestman A., Campbell R-H. A Fault-Tolerant Scheduling Problem// ШЕЕ Trans, on Software Engineering. Vol. SE-12, 1986, Pp. 1089−1095.
- Antamoshkina O., Kovalev I. Modeling, Optimization and Computer-Realization of Control Cyclograms. Krasnoyarsk: SAA. 1996, 74 p.
- Ковалев И.В. Автоматизированное проектирование технологических циклов управления космическими аппаратами// Труды 3-го Российско-китайского семинара по аэрокосмической технике (4.1)/ Красноярск. САА, 1994, — С. 710.
- Ковалев И.В. Автоматизированное формирование и программное обеспечение циклограмм управления космическими аппаратами// Материалы 3-го Российско-Китайского семинара по аэрокосмической технике (4.2)/ Красноярск. САА, 1994, с. 8−11.
- Воеводин В.В. Математические модели и методы в параллельных процессах М.: Наука, 1986, 328 с.
- Барский А.Б. Параллельные процессы в вычислительных системах. Планирование и организация М.: Радио и связь, 1990, 256 с.
- Юдин Д.Б., Горяшко А. П., Немировский А. С. Математические методы оптимизации устройств и алгоритмов АСУ, — М.: Радио и связь, 1982, 288 с.
- Ковалев И.В. Оптимизация технологических циклов управления системой автономных объектов// В сб. трудов: Оптимизация режимов работы систем электроприводов, — Красноярск: КГТУ, 1995, С. 76−81.
- Antamoshkin A., Kovalev I. Computer-aided modelling of aerospace control cyclograms// In: Dolezal J., Fidler J.(Eds): Optimization-Based Computer-Aided Modelling and Design, Proc. of 3rd IFIP WG-7.6 Working Conference Prague, UTIA, 1995, Pp. 67−72.
- Антамошкин A.H. Регулярная оптимизация псевдобулевых функций. -Красноярск: Изд-во Краснояр. ун-та, 1989, 160 с.
- Давыденко О.В., Ковалев И. В. Оценка надежности программного обеспечения бортового комплекса управления// Вестник КГТУ: Сб. научн. трудов- под ред. Б.П.Соустина/КГТУ. Вып.5. Красноярск, 1996. С. 119−121
- Kovalev I. and Davydenko О. Optimal Time Cyclograms of Spacecrafts Control Systems// In: «Advances in Modeling and Analysis, C», Vol.48, № 2−3, 1996, AMSE PRESS, Pp. 19−23.
- A.Antamoshkin, O. Davidenko, I.Kovalev. An advanced method for solving the control technology planning problem. Abs. of 3rd Conference on OR. Optimization, Statistics, Mathematical Economics, and Numerical Methods. Havana, 1997
- Kovalev I. and Davydenko O. Interactive system for spacecraft technological control cycle construction// Program and Abstracts of Int. Symposium SOR'96. TU-Braunschweig (4−6 Sept. 1996) — 1996, p. 195.
- Kovalev I. and Davydenko O. Modelling and Optimal Software of Spacecrafts Control Systems// In: «Advances in Modeling and Analysis, C», Vol.48, № 2−3, 1996, AMSE PRESS, Pp. 35−44.
- Antamoshkin A., Davidenko O., Kovalev I. A combined method for solving the spacecrafts control technology planning problem. Symposium on Operations Research 1997. Jena, 1997, pp. 120−123.
- Davydenko O. Random search algorithms for clearing of debts of business enterprises. SOR 96. Technische Universitat Braunschweig, 1996
- Давыденко О. Реализация оптимизационных алгоритмов с использованием подхода, основанного на применении баз данных// Информатика и системы управления: Сб. научн. трудов- под ред. Б. ПСоустина/ КГТУ. Вып.З. Красноярск, 1998. С. 97−102
- Давыденко О. Некоторые особенности работы систем поддержки принятия решений// Всероссийская научно-практическая конференция студентов, аспирантов и молодых специалистов «Решетневские чтения». Красноярск 1998.-с180
- Dunham J.R., Pierce J.L. An empirical study of flight control software reliability// NASA-Langley Research Center, NASA CR, 1986.
- Kelly P. J., Avizienis A. A specification-oriented multi-version software experiment// In: Dig. Papers FTCS-13: 13th Int. Conf. Fault Tolerant Comput., Milan, 1983, Pp. 120−125.
- Knight C.J., Levenson N.G. An experimental evaluation of the assumption of independence in Multiversion programming. IEEE Trans. Software Engineering, Vol. SE-12, 1986, Pp. 96−109.
- Johnson D.M. The systems engineer and the software crisis// ACM SIGSOFT/ Software Engineering Notes, Vol. 21, no. 2, March 1996, Pp. 64−73.'
- Боэм Б.У. Инженерное проектирование программного обеспечения: Пер. с англ.- М.: Радио и связь. 1985, — 512 с.
- Iannino A. et al. Criteria for software reliability comparison// ACM Sigsoft Software Engineering Notes, Vol. 8, 1983, Pp. 227−232.
- Hecht H. Fault tolerant software// IEEE Trans. Reliability, Vol. R-28, 1979, Pp. 227−232.
- Tai A., Meyer J., Avizienis A. Performability Enhancement of Fault-Tolerant Software// IEEE Trans, on Reliability. Vol. 42, No. 2, 1993, Pp. 227−237.
- Avizienis A. The methdology of N-version programming// In: Software fault tolerance/ edited by M.R. Lyu, Wiley, 1995, Pp. 23−47.
- David Ph., Guidal C. Development of a fault tolerant computer system for the Hermes Space Shuttle// IEEE Trans., 1993, Pp. 641−648.
- Avizienis A. The N-Version approach to fault-tolerant software// IEEE Trans, on Software Engineering, Vol. SE11,№ 12, December, 1985, Pp. 1491−1501.
- Авиженис А., Лапри Ж.-К. Гарантоспособные вычисления: от идей до реализации в проектах, — ТИИЭР, 1986, Т. 74, № 5, С. 8−21.
- Laprie J.-С. et al. Hardware- and Software-fault tolerance: definition and analysis of architectural solutions// Proceedings of the IEEE, 1987, Pp. 116−121.
- Silayeva Т.A., Joudu К.A. Fault-tolerant control software with limited redundancy.-4-th IFAC/IFIP Symp. on Software for Computer Control/ Austria (Graz), 1986, Pp. 252−257.
- Ковалев ИВ. Эффективность программно-алгоритмической реализации технологических режимов// Информационные процессы в промышленности: Сборник научных трудов. Кемерово: Кузбасский политехнический институт, 1989. С. 47−52.
- Silayeva Т., Grosspietsch К.-Е. An Innovative Method for Program Reliability Evaluation. Accepted for publication at Euromicro '95. Como (Italy). September 1995.
- Silayeva T., Grosspietsch K.-E. Eine Methode zur Zuverlaessigkeits-abschaetzung fuer Software. In: Workshop des DGLR-Fachausschusses Software Ingineering am 17. Mai 1995 in Neubiberg. UniBW Munich, 1995. Pp. 51−59.
- Горбатов В.А., Крылов A.B., Федоров Н. В. САПР систем логического управления,— М.: Энергоатомиздат, 1988, 230 с.
- Саркисян A.A. Повышение качества программ на основе автоматизированных методов,— М.: Радио и связь. 1991, 160 с.
- Проблемы и методы разработки протоколов обмена телеметрических систем автономных JIA// В кн.: Методы и алгоритмы исследования и разработки автоматических систем управления/ М.: Министерство обороны, 1989, С. 165−168.
- Половко А.М., Гиндин С. И., Новоселов А. И. Надежность программного обеспечения специализированных вычислительных комплексов// Л.: ЦНИИ «РУМБ», 1988, 128 с.
- Липаев В.В. Тестирование программ// М.: Радио и связь, 1986, 234 с.
- Нас A. A system reliability model with classes of failures// ШЕЕ Trans, on Reliability. Vol. R-34, 1985, Pp. 29−33.
- Мамиконов А.Г., Кульба B.B. Синтез оптимальных модульных систем обработки данных.- М.: Наука, 1986.
- Мамиконов А.Г., Кульба В. В., КосяченкоС.А. Типгоация разработки модульных систем обработки данных.- М.: Наука, 1989, 165 с.
- Liestman A., Campbell R-H A Fault-Tolerant Scheduling Problem// ШЕЕ Trans, on Software Engineering. Vol. SE-12, 1986, Pp. 1089−1095.
- Antamoshkina O., Kovalev I. Modeling, Optimization and Computer-Realization of Control Cyclograms. Krasnoyarsk: SAA. 1996, 74 p.
- Крни-Ш М. У. Эволюция Центра управления полетами// ТИИЭР, 1986, Т. 75, N3, С. 151−173.
- Ковалев И.В. Автоматизированное формирование и оптимизация технологических циклов управления// В кн.: Новые материалы и технологии машиностроения.- М.: изд-во МГАТУ, 1993, С. 21−23.
- Ковалев И.В. Автоматизированное проектирование технологических73.циклов управления космическими аппаратами// Труды 3-го Российско-китайского семинара по аэрокосмической технике (4.1)/ Красноярск. CAA, 1994, — С. 7−10.
- Ковалев И.В. Автоматизированное формирование и программное обеспечение циклограмм управления космическими аппаратами// Материалы3. го Российско-Кигайского семинара по аэрокосмической технике (4.2)/ Красноярск. САА, 1994, с. 8−11.
- Калинин В.Н. Теоретические основы управления операциями обслуживания подвижных объектов,— Л.: ВИКИ/ Учебное пособие, 1976, 95 с.
- Головкин Б.А. Расчет характеристик и планирование параллельных вычислительных процессов,— М.: Радио и связь, 1983, 272 с.
- Воеводин В.В. Математические модели и методы в параллельных процессах,— М.: Наука, 1986, 328 с.
- Барский А.Б. Параллельные процессы в вычислительных системах. Планирование и организация, — М.: Радио и связь, 1990, 256 с.
- Юдин Д.Б., Горяшко А. П., Немировский А. С. Математические методы оптимизации устройств и алгоритмов АСУ.- М.: Радио и связь, 1982, 288 с.
- Kovalev I. Computer-Aided Modelling of Production Cycles Optimal Sequence in: Letunovsky V.V.(Editor-in-chief): Problems of products quality assurance in machine-building: Proceedings of Int. Conf. KSTU, Krasnoyarsk, 1994, Pp. 43−48.
- Antamoshkin A., Kovalev I. Computer-Aided Modelling of Spacecrafts Control Cyclograms in: J. Dolezal, J. Fidler (Eds.) Proceedings of 3rd IFIP WG-7.6 Working Conf on Optimization-Based Computer-Aided Modelling and Design, Prague, UTIA, 1994, Pp. 18−21.
- Ковалев И.В. Оптимизация технологических циклов управления системой автономных объектов// В сб. трудов: Оптимизация режимов работы систем электроприводов, — Красноярск: КГТУ, 1995, С. 76−81.
- Antamoshkin A., Kovalev I. Computer-aided modelling of aerospace control cyclograms// In: Dolezal J., Fidler J.(Eds): Optimization-Based Computer-Aided Modelling and Design, Proc. of 3rd IFIP WG-7.6 Working Conference Prague, UTIA, 1995, Pp. 67−72.
- Филлипс Д., Гарсиа-Диас А. Методы анализа сетей: Пер. с англ.- М.: Мир, 1984, 496 с.
- Kovalev I. Software Engineering of Spacecraft Control Technological Cycles// in: «Modelling, Measurement & Control, B», AMSE Press, Vol. 56, N 3, 1994.
- Phillips D. Т., Ravindran A., Solberg James J. Operations research. Principles and practice, Willey, Inc., New York, 1976, 478 p.
- Doherty W.Y., Kelisky R.P. Managing VM/CMS for User Effectivenes/ IBM Syst. J. 18, 1, 1979, Pp. 143−163.
- Phillips D. Т., Garsia-Diaz A. Fundamentals of network analysis, Prentice-Hall, Inc., Englewood Gliffs, New Jersy, 1981, 386 p.
- Bhatnagar S. K Network analysis techniques, Wiley Eastern Limited, New Delhi, 1986, 456 p.
- Whitehouse G. E., Wechsler B. L. Applied operations research: a survey, Wiley, Inc., New York, 1976, 424 p.
- Clasen U. Eine Moeglichkeit der numerischen Behandlung von zeitlich-stochastischen Netzplaenen// In: «Operations Research Proceedings», Springer Verlag Berlin-Heidelberg, 1994, Pp. 46−51.
- Neumann К. Netzplantechnik// In: Grundlagen des Operations Research, Band 2. Springer-Verlag, Berlin/Heidelberg, 1989, Pp. 135−213.
- Bauer J. A survey of methods for discrete optimum structural design// In: «Computer Assisted Mechanics & Engineering Sciences», N 1, 1994, Pp. 223−241.
- Elbing A.O. Behavioral Decisions in Organizations// Scott, Foresman and Co., Glenview, IL, 1978.
- Антамошкин A.H. Регулярная оптимизация псевдобулевых функций-Красноярск: Изд-во Краснояр. ун-та, 1989, 160 с.
- Растригин JI.A. Бинаризация задач оптимизации решений в САПР// В кн.: Моделирование и оптимизация проектных решений в САПР, — Таллин, 1983, 4.2, С. 84−87.
- Antamoshldn A., Schwefel Н.Р., Torn A., Yin, G. and Zilinskas A. System Analysis, Design and Optimization. Ofset Press, Krasnoyarsk, 1993, 312 p.
- Antamoshkin A., Kovalev I. and Lytkina L. Optimization of composition of the program modules complex// 22 Jahrestagung «Mathematische Optimierung» (5 bis 10 April 1990, Sellin/Rugen), Vortragsanszuge, 1990, Pp. 11−16.
- Antamoshkin A., Drach V. and Kovalev I. The problem of the control board complex software optimization// Conference of the International Assosiation on non-traditional Methods of Optimization.- Krasnoyarsk, 1992, Pp. 34−39.
- Antamoshkin A., Lytkina L. The modular software for pseudoboolean optimization// IFIP Working Group Conference 7.6, (April 2−4), Den Haag, Nederland, 1990, Pp. 76−78.
- Ковалев И.В., Соустин Б. П. Автоматизированное формирование оптимальных циклограмм управления автономными объектами// Труды 15-й НТК «Электронные и электромеханические системы и устройства"/ ГНПП «Полюс», Томск. 1996, С. 198−200.
- Antamoshkin A., Kovalev I., Soustin В. Analysis and correction of control cyclograms// Program and Abstracts of Int. Symposium SOR'96. TU-Braunschweig (4−6 Sept. 1996) — 1996, p. 83.
- Neumann K, Steinhardt U. GERT Networks and the Time-Oriented Evaluation of Projects// Lecture Notes in Economics and Mathematical Systems, No. 172, Springer-Verlag, 1979, 332 p.
- Ю7.Вальков B.M., Вершин B.E. Автоматизированные системы управления технологическими процессами// Политехника-1991 269С.
- Давиденко К.Я. Технология программирования АСУ ТП// Энергоатомиздат 1986. 183С.