автореферат диссертации по информатике, вычислительной технике и управлению, 05.13.01, диссертация на тему:Оптимизация технологии управления опасными производствами

Введение.t.

1. Формальные модели оптимизации процессов формирования и исполнения технологии управления.

1.1. Характеристика процессов управления опасными производствами на примере Горно-химического комбината.

1.2. Модели реализуемости технологии управления.

1.2.1. Анализ реализуемости детерминированных моделей.

1.2.2. Формализация общей схемы анализа реализуемости технологии управления.

1.2.3. Стохастическое представление моделей анализа реализуемости.

1.3. Оптимизационные модели формирования технологии управления.

1.3.1. Минимизация затрат.

1.3.2. Учет случайных акций при реализации управления.

1.3.3. Многократное исполнение управления.

1.3.4. Минимизация процесса управления по времени.

1.4. Оптимизационные модели формирования мультиверсионного программного обеспечения реализации управления

1.4.1. Надежность мультиверсионного программного обеспечения.

1.4.2. Автоматизированное формирование оптимального состава мул ьтиверсий.

1.4.3. Многокритериальная постановка задачи формирования оптимального состава мультиверсий.

1.5. Выводы.

2. Алгоритмическое обеспечение оптимизации процессов формирования и исполнения управления.

2.1. Алгоритмы случайного поиска.

2.1.1. Алгоритмы МИВЕРа."

2.1.2. Традиционные процедуры случайного поиска.

2.2. Регулярные алгоритмы.

2.2.1. Локальный поиск при оптимизации сепарабельных функций.

2.2.2. Секущие алгоритмы.

2.2.2.1. Унимодальные функции.

2.2.2.2. Условная оптимизация.

2.2.3. Сравнительная эффективность регулярных алгоритмов.

2.3. Выводы.

3. Программная реализация формального аппарата оптимизации процессов формирования и исполнения управления.

3.1. Проблемная ориентация средств диалогового формирования циклограмм управления.

3.2. Диалоговая система формирования технологии управления

3.2.1. Информационная характеристика системы.

3.2.2. Функциональные возможности системы.

3.2.3. Принципы построения, структура и состав системы.

3.3. Пакет "Мульти-проектировщик".

3.3.1. Общее описание.

3.3.2. Работа с пакетом.

3.4. Выводы.

3.4. Выводы

1. Решена самостоятельная задача диалогового формирования технологии управления и проведена ее качественная проработка на основе обобщенной модели циклограмм управления. Инструментальные средства создания программного обеспечения процессов управления ориентированы на специалиста проблемной области

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

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

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

5. Однокритериальные модели и алгоритмы формирования технологии управления и мультиверсионного программного обеспечения исполнения задач управления с использованием подхода объектно-ориентированного программирования реализованы в виде программной системы. ао

ЗАКЛЮЧЕНИЕ

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

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

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

3. Разработанные алгоритмические процедуры, объединенные в унифицированную схему анализа, коррекции и оптимизации циклограмм управления, обеспечивают минимизацию затрат и времени при реализации процессов управления, анализ различных аспектов при введении случайных акций и многочисленных исполнений задач, регламентированных технологией управления.

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

1U сетевых моделей, ограничения и целевые функции оптимизационных задач.

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

6. Предложенная диалоговая система формирования технологии управления обеспечивает интерактивный режим для пользователя — специалиста проблемной области — при специальной организации инструментальных программных средств и позволяет эффективно решать поставленные задачи.

7. С использованием среды визуального программирования на основе подхода объектно-ориентированного программирования предложенные модели и алгоритмы автоматизированного формирования технологии управления и мультиверсионного программного обеспечения исполнения задач управления реализованы в виде программного пакета.

422

1. Вальков В.М., Вершин В.Е. Автоматизированные системы управления технологическими процессами.- 3-е изд., перераб. и доп.- Л.: Политехника, 1991.- 269 с.

2. Давиденко К.Я. Технология программирования АСУ ТП.- М.: Энергоатомиздат, 2000.- 184 е.- (Применение вычислительных машин в исследованиях и управлении производством).

3. Хорошевский В.Г. Инженерный анализ функционирования вычислительных машин и систем.- М.: Радио и связь, 1997,256 с.

4. Липаев В.В. Проектирование программных средств,- М.: Высш. шк., 1990,303 с.

5. Липаев В.В. Качество программного обеспечения.- М.: Финансы и статистика, 2001,264 с.

6. Липаев В.В. Надежность программного обеспечения АСУ.- М.: Энергоатомиздат, 1991,224 с.

7. Штрик А.А. и др. Структурное проектирование надежных программ встроенных ЭВМ.-Л.: Машиностроение, 1989.-296 с.

8. Лаптев B.C., Жаврид Е.В. и др. Проблемно-ориентированные инструментальные средства разработки программного обеспечения управляющих и информационно-управляющих систем// ПУСиМ.-2001, N 4, С. 74-76.

9. Дмитриев А.К., Мальцев П.А. Основы теории построения и контроля сложных систем. Л.: Энергоатомиздат: Ленинградское отделение, 1988,192 с.

10. Месорович М., Мако Д., Такахара А. Теория иерархических многоуровневых систем. М.: Мир. 1973. - С.344.

11. Липаев В.В. Проектирование математического обеспечения АСУ.- М.: Советское радио, 1997,400 с.

12. Мамиконов А.Г. Проектирование АСУ.- М.: Высш. шк., 1987, 304 с.4 2 3

13. Хетагуров Я.А., Древе Ю.Г. Проектирование информационно-вычислительных комплексов,- М.: Высш. шк., 1997, 280 с.

14. Майерс Г. Надежность программного обеспечения: Пер. с англ./ Под ред. В.Ш.Кауфмана.-М.: Мир, 1990, 360 с. '

15. Технология проектирования комплексов программ АСУ/ В.В.Липаев, Л.А. Серебровский и др.- М.: Радио и связь, 1993,264 с.

16. Kovalgv I. Software engineering of spacecraft control technological cycles// In: "Modelling, Measurement and Control, B" Vol.56, №3, 1994, AMSE PRESS, Pp. 45-49.

17. Boehm B.W. Software Risk Management. IEEE CS Press Tutorial, 1989. Л

18. Ingogly W.F. NASA software engineering experiment VAX/VMS command language primer. RTI Res. Document, Research Triangle Institute, 2001.

19. Sheil B.A. The psychological study of programming. ACM Comput. Surveys, Vol. 13,2000, Pp. 123-134.

20. Moher Т., Schneider V. Methods for improving controlled experimentation in software engineering. Dep. Comput. Sci., Univ. Minnesota, Tech. Rep. 80-8, 2000.

21. Фокс Дж. Программное обеспечение и его разработка: Пер. с англ./ Под ред. Д.Б.Подшивалова.-М.: Мир, 1985,268 с.

22. Brooks R.E. Studying program behavior experimentally: The problems of proper methodology//In: Commun. ACM, Vol. 23, 2000, Pp. 207-213.

23. Dunham J.R. and Knight C.J., Eds. Production of reliable flight crucial software: Validation method research for fault-tolerant avionics and control systems sub-working-group meeting, NASA Conf. Pub. 2222, NASA, 1995.

24. Методы анализа и синтеза структур управляющих систем/ Б.Г.Волик и др.; Под ред. Б.Г.Волика.- М.: Энергоатомиздат, 1988.- 296 с.

25. Агафонов В.Н. Спецификация программ: понятийные средства и их организация,-Новосибирск: Наука, 1997.

26. Wasserman A.L., Stanson S.K. A specification method for interactive information systems// Proc. IEEE Conf. Specification of Reliable Software, 2000, Pp.68.78.

27. Толковый словарь по вычислительным системам/ Под ред. В. Иллигуорта и др.: Пер с англ.- М.: Машиностроение, 1991.- 560 с.

28. Bloodworth J.R. et al. Minimizing ALCM Software Life Cycle Cost// Proc. of AIAA Second Computers in Aerospace Conference, October, 2001, Pp. 23-32.

29. Dunham J.R., Pierce J.L. An empirical study of flight control software reliability// NASA-Langley Research Center, NASA CR, 1996.

30. Kelly P.J., Avizienis A. A specification-oriented multi-version software experiment// In: Dig.Papers FTCS-13: 13th Int. Conf. Fault Tolerant Comput., Milan, 2000, Pp. 120-125.

31. Knight С .J., Levenson N.G. An experimental evaluation of the assumption of independence in Multiversion programming. IEEE Trans. Software Engineering, Vol. SE-12,2000, Pp. 96-109.

32. Johnson D.M. The systems engineer and the software crisis// ACM SIGSOFT/ Software Engineering Notes, Vol. 21, no. 2, March 1996, Pp. 64-73.

33. Боэм Б.У. Инженерное проектирование программного обеспечения: Пер. с англ.- М.: Радио и связь. 1985.- 512с.

34. Iannino A. et al. Criteria for software reliability comparison// ACM Sigsoft Software Engineering Notes, Vol. 8,2000, Pp. 227-232.

35. Hecht H. Fault tolerant software// IEEE Trans. Reliability, Vol. R-28,2001, Pp. 227-232.

36. Tai A., Meyer J., Avizienis A. Performability Enhancement of Fault-Tolerant Software// IEEE Trans, on Reliability. Vol. 42, No. 2,1993, Pp. 227-237.

37. Avizienis A. The methdology of N-version programming// In: Software fault tolerance/ edited by M.R. Lyu, Wiley, 1995, Pp. 23-47.12$

38. David Ph., Guidal C. Development of a fault tolerant computer system for the Hermes Space Shuttle//IEEE Trans., 1993, Pp. 641-648.

39. Avizienis A. The N-Version approach to fault-tolerant software// IEEE Trans, on Software Engineering, Vol. SE11, № 12, December, 2000, Pp. 1491-1501.

40. Авиженис А., Лапри Ж.-К. Гарантоспособные вычисления: от идей до реализации в проектах.- ТИИЭР, 1996, Т. 74, № 5, С. 8-21.

41. ЬаргЦ, J.-C. et al. Hardware- and Software-fault tolerance: definition and analysis of architectural solutions// Proceedings of the IEEE, 1997, Pp. 116-121.

42. Silayeva T.A., Joudu K.A. Fault-tolerant control software with limited redundancy.- 4-th IFAC/IFIP Symp. on Software for Computer Control/ Austria (Graz), 1996, Pp. 252-257.

43. Silayeva Т., Grosspietsch K.-E. An Innovative Method for Program Reliability Evaluation. Accepted for publication at Euromicro '95. Como (Italy). September 1995.

44. Silayeva Т., 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.

45. Горбатов В.А., Крылов А.В., Федоров Н.В. САПР систем логического управления.-М.: Энергоатомиздат, 1998,230 с.

46. Саркисян А.А. Повышение качества программ на основе автоматизированных методов.- М.: Радио и связь. 1991, 160 с.

47. Половко A.M., Гиндин С.И., Новоселов А.И. Надежность программного обеспечения специализированных вычислительных комплексов// Л.: ЦНИИ "РУМБ",1993,128 с.ize

48. Липаев B.B. Тестирование программ// М.: Радио и связь, 1996, 234 с.

49. Нас A. A system reliability model with classes of failures// IEEE Trans, on Reliability. Vol. R-34,2001, Pp. 29-33.

50. Мамиконов А.Г., Кульба B.B. Синтез оптимальных модульных систем обработки данных.- М.: Наука, 1986.

51. Мамиконов А.Г., Кульба В.В., КосяченкоС.А. Типизация разработки модульных систем обработки данных.-М.: Наука, 1989, 165 с,

52. Liestman A., Campbell R.-H. A Fault-Tolerant Scheduling Problem// IEEE Trans, on Software Engineering. Vol. SE-12, 2000, Pp. 1089-1095.

53. Antamoshkina O., Kovalev I. Modeling, Optimization and Computer-Realization of Control Cyclograms. Krasnoyarsk: SAA. 1996, 74 p.

54. Головкин Б.А. Расчет характеристик и планирование параллельных вычислительных процессов.-М.: Радио и связь, 1993,272 с.

55. Воеводин В.В. Математические модели и методы в параллельных процессах.- М.: Наука, 1986, 328 с.

56. Барский А.Б. Параллельные процессы в вычислительных системах. Планирование и организация.-М.: Радио и связь, 1990, 256 с.

57. Юдин Д.Б., Горяшко А.П., Немировский А.С. Математические методы оптимизации устройств и алгоритмов АСУ.- М.: Радио и связь, 1982, 288 с.

58. 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.

59. 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.

60. Задачи оптимального выбора состава систем технических средств при многоэтапном процессе выполнения работ/ Кочетов Ю.А. Препринт N 12,1. А21

61. Новосибирск, Ин-т математики СО АН СССР, 1987,47 с.

62. Чжу У.У., Лян Ц.К. Копирование и размещение программных модулей в системе распределенной обработки в реальном времени// ТИИЭР, 1987, Т. 75, N 5, С. 23-44.

63. Филлипс Д., Гарсиа-Диас А. Методы анализа сетей: Пер. с англ.- М.: Мир, 1984, 496 с.

64. Phillips D. Т., Ravindran A., Solberg James J. Operations research. Principles and practice, Willey, Inc., New York, 1986, 478 p.

65. Doherty W.Y., Kelisky R.P. Managing VM/CMS for User Effectivenes/ IBM Syst. J. 18,1, 2001, Pp. 143-163.

66. Phillips D. Т., Garsia-Diaz A. Fundamentals of network analysis, Prentice-Hall, Inc., Englewood Gliffs, New Jersy, 1981,386р.

67. Bhatnagar S.K. Network analysis techniques, Wiley Eastern Limited, New Delhi, 1996,456 p.

68. Whitehouse G. E., Wechsler B. L. Applied operations research: a survey, Wiley, Inc., New York, 1996,424 p.

69. Clasen U. Eine Moeglichkeit der numerischen Behandlung von zeitlich-stochastischen Netzplaenen// In: "Operations Research Proceedings", Springer Verlag Berlin-Heidelberg, 1994, Pp. 46-51.

70. Neumann K. Netzplantechnik// In: Grundlagen des Operations Research, Band 2. Springer-Verlag, Berlin/Heidelberg, 1989, Pp. 135-213.

71. Bauer J. A survey of methods for discrete optimum structural design// In: "Computer Assisted Mechanics & Engineering Sciences", N 1,1994, Pp. 223-241.

72. Elbing A.O. Behavioral Decisions in Organizations// Scott, Foresman and Co., Glenview, IL, 1978.

73. Антамошкин A.H. Регулярная оптимизация псевдобулевых функций.-Красноярск: Изд-во Краснояр. ун-та, 1989, 160 с.

74. Растригин Л.А. Бинаризация задач оптимизации решений в САПР// В кн.: Моделирование и оптимизация проектных решений в САПР.- Таллин, 1983,m4.2, С. 84-87.

75. Antamoshkin A., Schwefel H.P., Torn A., Yin, G. and Zilinskas A. System Analysis, Design and Optimization. Ofset Press, Krasnoyarsk, 1993, 312 p.

76. 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.

77. Antanjoshkin 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.

78. Neumann K., Steinhardt U, GERT Networks and the Time-Oriented Evaluation of Projects// Lecture Notes in Economics and Mathematical Systems, No. 172, Springer-Verlag, 1999, 332 p.

79. Neumann K. Stochastic Project Networks. Temporal Analysis, Scheduling and Cost Minimization// Lecture Notes in Economics and Mathematical Systems, No. 34, Springer-Verlag, 1990,237 p.

80. Buecker M. Minimierung der maximalen erwarteten Verspaetung in EO-Netzplaenen// Oper. Res. Proceedings'87, Springer-Verlag, Berlin, 1987, Pp.502-509.

81. Delivorias P.N. Fruehste und spaeteste Termine bei GERT-Netzplaenen, Discussion Paper No. 126, Inst. f. Wirtschaftstheorie und Oper. Res,, University of Karlsruhe, 2000,44 p.

82. Siedersleben J. Structural Questions with GERT Networks, ZOR No. 25, 2001, Pp. 79-89.

83. Neumann K. An Optimality Equation for Stochastic Decision Networks// Wiss. Zeitschrift Techn. Hochschule Leipzig, No. 8, 1994, Pp. 79-87.

84. Ashrafi N., Berman O. Optimization models for selection of programs, considering cost and reliability// IEEE Trans, on Reliability, Vol. 41, No. 2,1992, Pp. 281-287.

85. Ashrafi N., Berman O. Optimization models for reliability of modular software systems// IEEE Trans, on Software Engineering, Vol. 19, No. 11, November4Z21993,Pp. 1119-1123.

86. Gayle J.B. Multiple Regression Techniques for Estimating Computer Programming Cost// J. Systems Mgmt., Feb. 2001, Pp. 13-16.

87. Ashrafi N. et al. Optimal Design of Large Software-Systems 'Using N-Version Programming// IEEE Trans, on Reliability, Vol. 43, No. 2, 1994, Pp. 344350.

88. Yamaha S., Osaki S. Optimal software release policies with simultaneous cost and reliability requirements. European J. Operations Research, Vol. 31, 1987, Pp. 46-51.

89. Randell B. System structure for software fault tolerance. IEEE Trans. Software Engineering, Vol. SE-1,2000, Pp. 220-232.

90. Scott R.K. et al. Fault-tolerant software reliability modeling. IEEE Trans. Software Engineering, Vol. SE-13,1987, Pp. 582-592.

91. Tillman F.L. Optimization techniques for system reliability with redundancy: A review. IEEE Trans. Reliability, Vol. R-28, 1997, Pp. 148-155.

92. Синтез оптимальных функциональных модулей обработки данных в АСУ/ Мамиконов А.Г., Ашимов А.А., Кульба В.В., Косяченко С.А. и др. М.: ИПУ. 1979.48 с.

93. Ашимов А.А., Мамиконов А.Г., Кульба В.В. Оптимальные модульные системы обработки данных. Алма-Ата: Наука. 1981. 186 с.

94. Мамиконов А.Г., Кульба В.В., Косяченко С.А., Сидоров В.Н. Анализ технологий обработки данных при разработке типовых АСУ. Препринт ИПУ. М, 1986.

95. Мамиконов А.Г., Кульба В.В., Косяченко С.А. и др. Постановка задачи оптимизации программного обеспечения автоматизированных систем управления реального масштаба времени. М.: ИПУ, 1980. 43 с.

96. Гудман С., Хидетниеми С. Введение в разработку и анализ алгоритмов/ Пер. с англ. М.: Мир, 1981. 366 с.

97. Dunham R.J. Experiments in Software reliability: Life-Critical applications.43 о

98. EE Trans. Software Engineering, Vol. SE-12,1997, Pp. 110-123.

99. Hwang C.-L., Yoon K. Multiple Attribute Decision Making: Methods and Applications (A State-of-the-Art Survey)// Lecture Notes in Economics and Mathematical Systems. Springer-Verlag, 1981,478 с. . ~

100. Вопросы анализа и процедуры принятия решений.- М.: Мир, 1986,213 с.

101. Айзфман М.А. и др. Некоторые аспекты общей теории выбора лучших вариантов.-М.: ИЛУ, 1985, 302 с.

102. Клиланд Д., Кинг В. Системный анализ и целевое управление. М.: Мир, 1984,318 с.

103. Хениджер K.JI. Описание требований к программному обеспечению для сложных систем: новые методы и их применение// В кн.: Требования и спецификации в разработке программ. М.: Мир, 1984, С. 106-134.

104. Zahedi F., Ashrafi N. Software reliability allocation based on structure, utility, price, and cost.// IEEE Trans, on Software Engineering, Vol. 17, No. 4, April 2001, Pp. 345-356.

105. Zahedi F. Qualitative programming for selection decisions// Comput. Opns. Res., Vol. 14, No. 5, 2000, Pp. 395-407.

106. Santhanam R., Kuparisis J. A multiple criteria decision model for information system project selection// Comput. Opns. Res., Vol. 22, No. 8, 1995, Pp. 807-818.

107. Hwang C.-L., Lai Y., Liu T.-Y. A new approach for multiple abjective decision making// Computers Ops. Res., Vol. 20, No. 8,1993, Pp. 889-899.

108. Tapia C.G., Murtagh B.A. Interactive fuzzy programming with preference criteria in multiobjective decision-making// Computers Ops. Res., Vol 18, No. 3, 1991, Pp. 307-316.

109. Zimmermann H.-J. Fuzzy Sets. Decision Making, and Expert Systems.-Kluwer Academic Publishers, 1987, 505 c.

110. Yager R.R. Fuzzy Decision Making including unequal objectives// Fuzzyi ъ<

111. Sets and Systems 1,1978, Pp. 87-95.

112. Орловский С.А. Проблемы принятия решений при нечеткой исходной информации.-М.: Наука, 1981,208 с.

113. ИЗ. Zimmermann H.-J., Zadeh L.A. Gaines B.R. (Eds.) Fuzzy Sets and Systems Analysis. New York, 1984, 386 p.

114. Zimmermann H.-J., Gutsche L. Multi-Criteria Decision Making.-Springer, 199J, 348 p.

115. Нас A. Using a software reliability model to design a telecommunications software architecture// IEEE Trans, on Reliability, Vol. 40, No. 4, 1991, Pp. 488-494.

116. Kleine A. Entscheidungen bei ungewissen Alternativenmengen// Diskussionsbeitraege Fachbereich Wirtschaftswissenschaft, Uni. des Saarlandes, A 9602,1996,22 р.

117. Eisenfuehr F., Weber M. Rationales Entscheiden, Berlin: Springer-Verlag, 1993,356 р.

118. Snelting G. Reengineering of configurations based on Mathematical Concept Analysis// ASM Trans, on Software Engineering and Methodology, Vol. 5, No. 2, April 1996, Pp. 146-189.

119. Callison R.H. A time-sensitive object model for real-time systems// ASM Trans, on Software Engineering and Methodology, Vol. 4, No. 3, July 1995, Pp. 287317.

120. Zeleny M. A concept of compromise solutions and the method of the displaced ideal//Computers Ops. Res. 1, 1974, Pp. 479-496.

121. Zeleny M. Multiple Criteria Decision Making.- McGraw-Hill, New York, 1982,358 р.

122. Oral M., Kettani O. Modelling the process of multiattribute choice// J. opl. Res. Soc. 40,1989, Pp. 281-291.

123. Levendel Y. Reliability analysis of large software systems: Defect data modeling// IEEE Trans. Software Engineering. Vol. 16, 1990, Pp. 141-152.

124. Ступина A.A., Трохов H.H. Исследование эффективности секущихалгоритмов псевдобулевой оптимизации в унимодальном случае. Вестник НИИ СУВПТ: Интеллектуальные технологии и адаптация. Красноярск: НИИ СУВПТ, 1999, с. 3-14.

125. Трохов Н.Н. Эффективность локального поиска для сепарабельных псевдобулевых функций. . Вестник НИИ СУВПТ: Адаптивные системы моделирования и управления. Красноярск: НИИ СУВПТ, 2000, с. 43-51.

126. Trohov N. On optimization of isotone pseudoboolean functions// Proceedings of International AMSE Conference on Modelling and Simulation, Universidade de Santiago de Compastela 1999, Vol I. Pp. 63-75.

127. Lebedev V., Trohov N. On class of functions with binary variables// Proceedings of International AMSE Conference on Modelling and Simulation, Universidade de Santiago de Compastela 1999, Vol I. Pp. 31-37.

128. Trohov N. Realization of conventional pattern of random search methods in the space of Boolean variables. Proc. Of the LASTED International Symposia on Applied Informatics. Anaheim-Calgary-Zurich: ACTA Press, pp. 134-142/

129. Trohov N. The random search algorithms in the space of Boolean variables. Pr. Of the Sixth Int. Conf. "Conputer Data Analysis and Modeling". Minsk, 2001. Vol. 2, pp. 63-71.

130. Trohov N. The cutting off techniques for polimodal pseudoboolean optimization. Математическое моделирование в образовании, науке и производстве. Тирасполь: РИО ПГУ, 2001, с. 357-359.

131. Лебедев В.А., Трохов Н.Н., Царев Р.Ю. Параллельные процессы обработки информации в управляющих системах.- Красноярск: НИИ СУВПТ. 2002.142 с.