Специальное математическое и программное обеспечение минимизации межинтерфейсных потерь при многофазном проектировании
Диссертация
В соответствии с задачей повышения эффективности системы разработки специальных многокомпонентных программных комплексов (системы управления специальной связью, производственные системы и т. п.) необходимо решить, что эффективнее для повышения качества на каждом этапе функционирования и цепочки исполнения принятых решений, что позволяет определить не только фокус финансирования и его пути… Читать ещё >
Список литературы
- Авен О.И., Гурин H.H., Коган Я. А. Оценка качества и оптимизация вычислительных систем. М.: Наука, 1982.
- Авсеева О.В., Говорский А. Э., Тебекин Ю. Б., Кравец О. Я. К постановке задачи оптимизации проектирования систем специальной связи// Информационные технологии моделирования и управления, 2009. № 7 (59). С. 945−948.
- Акулич И.Л. Математическое программирование в задачах и упражнениях. М.: Высшая школа, 1993.
- Анализ и синтез сложных технических систем. В 2-х ч., ч.1. М.: Воениздат, 1995.-401 с.
- Архитектура сети для разработки предложений: пер. с англ. -Киев: Крещатик, 1992. 240 с.
- Ахо А., Ульман Дж. Теория синтаксического анализа, перевода и компиляции. В 2-х томах. М.: Мир. 1978.
- Байцер Б. Архитектура вычислительных комплексов. Том 1. М.: Мир, 1974.
- Ю.Бесслер Р., Дойч А. Проектирование сетей связи. М: Радио и связь, 1988. 272 с.
- П.Булгак, В. Б. Электрическая связь сегодня и завтра // 100 лет радио: Сб. статей / под ред. В. В. Мигулина. М.: Радио и связь, 1995.
- Варжапетян А.Г., Глущенко В. В. Системы управления: исследование и компьютерное проектирование: Учебное пособие / А. Г. Варжапетян, В. В. Глущенко. -М.: Вузовская книга, 2005. -328 с.
- Вентцель Е.С. Исследование операций. М: Советское радио, 1972.552 с.
- Говорский А.Э., Кравец О. Я., Соляник A.A., Тебекин Ю. Б. Особенности управления потоками нестационарного трафика в корпоративных системах территориального мониторинга// Системы управления и информационные технологии, 2010. № 2 (40). С. 76−81.
- Говорский А.Э., Тебекин Ю. Б. Формализация задачи минимизации потерь при последовательном соединении программных интерфейсов// Информационные технологии моделирования и управления, № 2(67), 2011. -С. 170−179.
- Говорский А.Э., Тебекин Ю. Б., Кравец О. Я. Проблемы объединения интерфейсных модулей с потерями при согласовании в цепочки// Критические технологии вычислительных и информационных систем: Сб. тр. -Воронеж: МИКТ, 2011. С. 120−126.
- Горелик В.А., Ушаков И. А. Исследование операций. М.: Машиностроение, 1986.
- Гребенник И.В., Хабаров А. Ю. Многофакторное оценивание проводной сети электросвязи и анализ эффективности ее использования // Радиоэлектроника и информатика. 2003. — № 2(23). — С. 112−119.
- Гребенник И.В., Хабаров А. Ю. Моделирование влияния внешнейсреды на эффективность плана выполнения работ // Системи обробки ш-формаци. 2003. — № 6. — С. 38−47.
- Гребенник И.В., Хабаров А. Ю. Модель задачи эффективного планирования работ на заданный период // АСУ и приборы автоматики. -2003.-№ 123.-С. 44−53.
- Гребенник И.В., Хабаров А. Ю. Оптимизация пути соединения двух точек проводной сети электросвязи // АСУ и приборы автоматики. -2002.-№ 120.-С. 38−44.
- Гребенник И.В., Хабаров А. Ю. Оптимизация пути соединения двух точек проводной сети электросвязи // АСУи приборы автоматики, 2002, № 120, с. 38−44.
- Гребенник И.В., Хабаров А. Ю. Оценка эффективности функционирования линии проводной электросвязи // Системи обробки шформаци. -2002.-№ 6(22).-С. 181−186.
- Гроднев И.И., Верник С. М. Линии связи. М: Радио и Связь, 1988.543с.
- Гужавин С.А., Драмашко И. А., Кокорин А. Б., Коломоец В. В., Хабаров А. Ю. Статистический регрессионный анализ БД АСУ учета линейных сооружений сети основа для принятия управленческих решений // Зв’язок. — 2001. — № 2. — С. 59−64.
- Давыдов Э.Г. Исследование операций. М. Высш. школа, 1990.28.3айченко Ю.П., Гонта Ю. В. Структурная оптимизация сетей ЭВМ.1. К: Техннса, 1986. 168 с.
- Имитационное моделирование производственных систем / Под общ. ред. чл. кор. АН СССР A.A. Вавилова. М.: Машиностроение- Берлин: Техника, 1983. — 416 с.: ил.
- Инженерно-технический справочник по электросвязи: Кабельные и воздушные линии связи. М: Связь, 1966. 560 с.
- Интрилигатор М. Математические методы оптимизации и экономическая теория. М.: Прогресс, 1975.
- Коньков, A. M. Развитие Взаимоувязанной сети связи России до 2005 года. М.: Вестник связи, 1996. — № 3.
- Корбут A.A., Финкелынтейн Ю. Ю. Приближенные методы дискретного программирования. // Изв. АН СССР: Техн. Кибернетика, 1963, № 1. С. 165−176.
- Кочетов Ю.А., Пащенко М. Г. Лагранжевы релаксации для задачи выбора оптимального состава системы технических средств. Управляемые системы т.31 (1993), с.26−39.
- Кравец О.Я., Тебекин Ю. Б. Программный модуль «Минимизация потерь многофазных программных интерфейсов». М.: ФГНУ ЦИТИС, 2011. — № госрегистрации 50 201 151 282 от 13.10.2011.
- Крушевский A.B. Справочник по экономико-математическим моделям и методам. К: Техника, 1982. 208 с.
- Кузнецов Л.А., Бурцев В. Д. // Изв. вуз. Черная металлургия. 1998. № 11. С.56−62
- Кузнецов О.П., Адельсон-Вельский Г.М. Дискретная математика для инженера. М.: Энергоатомиздат. 1988.
- Мандрыкин A.B. Автоматизация процессов управления на машиностроительном предприятии: учеб.пособие. Воронеж / ГОУВПО «Воронежский государственный технический университет», 2008, 4.1 — 212 с.
- Поваляев А.Д., Кравец О. Я., Абсатаров P.A. Управление распределенными организационными системами на основе вероятностного подхода к оценке качества // Информационные технологии моделирования и управления. Межд. сб. науч. трудов. Вып. 15. 2004, с.76−82.
- Попов, А. А. Основы общей теории систем. Часть 1 / А. А. Попов, И. М. Телушкин, С. И. Бушуев. Л.: ВАС, 1992.
- Реклейтис Г., Рейвиндран А., Рэгсдел К.Оптимизация в технике. В 2-х кн. М: Мир, 1986. Кн. 2, 1986. 320 с.
- Системное проектирование интегрированных программных комплексов. / Под ред. В. М. Пономарева. Л.: Машиностроение, 1996. — 336 с.
- Тебекин Ю.Б. Алгоритмы и NP-полнота задачи минимизации потерь в последовательности программных интерфейсов// Информационные технологии моделирования и управления, 2011. № 6 (71). С. 682−688.
- Тебекин Ю.Б. Анализ потерь при последовательном соединении программных интерфейсов// Системы управления и информационные технологии, № 3.2(45), 2011. С. 289−292.
- Тебекин Ю.Б., Кравец О. Я. Лингвистические компоненты и алгоритмизации задачи последовательного соединения программных интерфейсов с минимизацией потерь// Информационные технологии моделирования и управления, 2011. № 5 (70). С. 557−565.
- Тебекин Ю.Б., Кравец О. Я., Говорский А. Э. Программный модуль «Программная оптимизация управления качеством многокомпонентных систем». М.: ФГНУ ЦИТИС, 2010. — № госрегистрации 50 201 001 622 от 03.11.2010.
- Федеральный закон «О связи» // Собрание законодательства Российской Федерации / ФЗ № 15, 1995.
- Хабаров А.Ю. Задача рационального планирования работ на период: модель и методы решения // Материалы 7-го Международного молодежного форума «Радиоэлектроника и молодежь в XXI веке». X.: ХНУРЭ. — 22−24 апреля 2003 г. — С. 309.
- Шалыто A.A. Логическое управление. Методы аппаратной и программной реализации. СПб.: Наука, 2000. — 780 с.
- Шалыто А.А. Новая инициатива в программировании. Движение за открытую проектную документацию //Мир компьютерной автоматизации. 2003. -№ 5. — С.67−71.
- Шалыто А.А. Программная реализация управляющих автоматов// Судостроительная промышленность. Сер. «Автоматика и телемеханика». 1991. Вып. 13, с. 41−42.
- Шеннон Р. Имитационное моделирование систем искусство и наука. — М.: Мир, 1988. — 634 с.
- Шикин Е. В. Чхартишвили А.Г. Математические методы и модели в управлении: Учебник для ВУЗов. М.: Дело, 2000.
- Шнейдерман Б. Психология программирования. М.: Радио и связь. 1984.
- Bensalem Saddek, Ganesh Vijay, Lakhnech Yassine, et al. An overview of SAL. In C. Michael Holloway, editor, LFM 2000: Fifth NASA Langley Formal Methods Workshop, pages 187−196, Hampton, VA, jun 2000. NASA Langley Research Center.
- Browne M.C., Clarke E.M., Grumberg O. Characterizing finite Kripke structures in Propositional temporal logic. Theoretical Computer Science, 59(1,2):115−131, 1988.
- Chung Y., Lee D. Mathematical basis for the chaining of lossy interface adapters. http://arxiv.org/abs/0901.4835.
- Cook S.A. The complexity of theorem-proving procedures// In Proc. Of the Third Annual ACM Symp. On Theory of Computing, p. 151−158. ACM Press, 1971.
- Crampin M., Pirani F.A.E. Applicable Differential Geometry, chapter0, p.5−7. Number 59 in London Mathematical Society Lecture Note Series. Cambridge University Press, March 1987.
- Dorigo M. Optimization, Learning and Natural Algorithms. PhD thesis, Dipartimento di Electronica. Politecnico di Milano, 1992.
- Dorigo M., Caro G., Gambardella L. Ant Algorithms for Discrete Optimization. //Artificial Life, v.5, 1999, # 3.
- Dowlingand W.F., Gallier J.H. Linear-time algorithms for testing the satisfiability of propositional Hornformulae// Journal of Logic Programming, l (3):267−284, Oct. 1984.
- Eberhart, R. C., and Kennedy, J. A New Optimizer Using Particles Swarm Theory, Proc. Sixth International Symposium on Micro Machine and Human Science. // IEEE Service Center, Piscataway, 1995.
- Eberhart, R. C., Dobbins, R. W., and Simpson, P. Computational Intelligence PC Tools. Boston: Academic Press, 1996.
- Fisher M.L. The Lagrangian relaxation method for solving integer programming problems. Management Science, v27 (1981), pp 1−18.
- Gamma E., Helm R., Johnson R., Vlissides J.M. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, November 1994.
- Garey M.R., Johnson D.S. Computers and Intractability: A Guide to the Theory ofNP-Completeness.- W. H Freemanand Company, 1979.
- Gawlick R., Segala R., Sogaard-Andersen J.F., Lynch N.A. Liveness in timed and untimed systems. Technical ReportMIT/LCS/TR-587, Laboratory for Computer Science, MIT, Cambridge, MA, December 1993.
- Gilbert W. Stewart. Matrix Algorithms: Basic Decompositions, chapter 1, page 46. Society for Industrial and Applied Mathematics, 1998.
- Ginzburg A. Algebraic Theory of Automata. Academic Press, New York-London, 1968.
- Glabbeek R.J., Weijland W.P. Branching time and abstraction in bisimulation semantics. Journal of the ACM, 43(3):555−600, 1996.
- Goldberg, D. E. Genetic Algorithms in Search, Optimization, and Machine Learning. Addison-Welsey, 1989.
- Grioen W.O.D. Studies in Computer Aided Verification of Protocols. PhD thesis, University of Nijmegen, May 2000. Postscript and PVS sources available via http://www.cs.kun.nl/ita/former members/davidg/.
- Gschwind T. Type based adaptation: An adaptation approach for dynamic distributed systems// Proc. Of the Third Int. Workshop on Software Engineering and Middleware, vol. 2596 of Lecture Notes in Computer Science, p. 130−143, May 2002.
- Helsgann K. An effective implementation of the Lin-Kernighan traveling salesman heuristic. European Journal of Operational Research. vl26 (2000), pp 106−130.
- Kaminski P., Litoiu M., Muller H. A design technique for evolving webservices. In Proc. of the 2006 Conf. of the Center for Advanced Studieson Collaborative Research, Toronto, Ontario, Canada, October 2006. ACM Press.
- Ponnekanti S.R., Fox A. Application-service interoperation with outstandartized service interfaces. In Proc. of the First IEEE Int. Conf. on Pervasive Computing and Communications, 2003.
- Shapiro J.F. A survey of Lagrangian techniques for discrete optimization. Ann. Discrete Math. v5 (1979), pp 113−138.
- Tebekin Y.B., Avseeva O.V. Estimated Quality of Multistage Process on the Basis of Probabilistic Approach with Continuous Response Functions// European Researcher, № 11, 2011. P. 1467−1473.
- W3C. Soapversion 1.2. http://www.w3.org/TR/soapl2.