Имитационное моделирование интегрированных систем безопасности с использованием сетевых структур
Диссертация
Таким образом, в диссертации рассмотрена сетевая имитационная модель интегрированной системы безопасности. На основе модели г предложены способы оптимизации архитектуры программного обеспечения и алгоритмов обработки событий, а также методика оптимизации структуры сети ИСБ для обслуживаемого объекта с заданными параметрами. Оптимизированная модель позволила существенно повысить степень… Читать ещё >
Содержание
- Список условных обозначений и терминов
- Глава 1. Методы исследования интегрированных систем безопасности
- 1. 1. Методы исследования операций при моделировании сложных систем
- 1. 2. Классификация средств имитационного моделирования
- 1. 3. Параметры сравнения средств имитационного моделирования
- 1. 4. Сравнение систем имитационного моделирования
- 1. 4. 1. Событийно-ориентированные СИМ
- 1. 4. 2. Процессно-ориентированные СИМ
- 1. 5. Использование нотации Хоара при построении имитационных моделей программных систем
Список литературы
- Барсуков B.C. Безопасность: технологии, средства, услуги. М: КУДИЦ-ОБРАЗ, 2001.- 496 с.
- Бауэр В. Введение в теорию конечных автоматов. Пер. с нем. М: Радио и связь, 1987.-392 с.
- Бенъкович Е.С., Колесов Ю. Б., Сениченков Ю. Б. Практическое моделирование динамических систем. СПб: БХВ-Петербург, 2002.- 464 с.
- БлэкЮ. Сети ЭВМ: протоколы, стандарты, интерфейсы. М. Мир, 1990.
- Буза М.К., Курбатский А. А. Об одной формальной модели программ. // Программирование. 1984. — № 3. — С. 16−20.
- Бусленко Н.П. Моделирование сложных систем. М: Наука, 1978.- 400 с.
- Бусленко Н.П. и др. Лекции по теории сложных систем. М: Сов. радио, 1973.- 440 с.
- Буч Грады. Объектно-ориентированный анализ и проектирование с примерами приложений на С++. СПб: Бином — Невский диалект, 1998.560 с.
- Вендров A.M. CASE-технологии. Современные методы и средства проектирования информационных систем. М: Финансы и статистика, 1998, — 176 с.
- Вишняков С.М. Интегрированные системы охраны. Некоторые вопросы разработки технических требований. // Системы безопасности, связи и телекоммуникаций. 1999. — № 6. — С. 20−23.
- Вишняков С.М. Системы комплексной безопасности: вопросы стандартизации // Конфидент. 2002. — № 1.
- Волхонский В.В. Системы охранной сигнализации. СПб: Экополис и культура, 2000.- 164 с.
- Генне О. Заочная дискуссия об интеграции // Конфидент. 2002. — № 1.
- Гома X. UML. Проектирование систем реального времени, параллельных и распределенных приложений. М: ДМК Пресс, 2002.704 с.
- Гулыпяев А. Визуальное моделирование в среде MATLAB. СПб: Питер, 2000, — 432 с.
- Дейкстра Э. Взаимодействие последовательных процессов в кн. Языки программирования. 1972, Мир: М. с. 9−86.
- Инспектор+: интеллектуальный охранный комплекс Intelligent Security Systems, 2002. http://www.iss.ru/products/inspector/.
- Интегрированный комплекс безопасности «Кодос» НПК «СоюзСпецАвтоматика», 2002. http://www.kodos.com/kodos.cfm.
- Калверт Ч. Delphi 2. Энциклопедия пользователя. Киев: ДиаСофт, 1996, — 736 с.
- Киндлер Евжен. Языки моделирования. М. Энергоатомиздат, 1985.288 с.
- Козъминых С. К, Крахмалев А. К. Вопросы интеграции технических средств безопасности // 2000.
- Кораблин М. А, Зайцев Я. В, Технология имитационного моделирования в процессе обучения менеджеров // Информационные технологии. 1999. -№ 4.-С. 40−43.
- Костин А.Е. Программный комплекс для сетевого имитационного моделирования дискретных систем с параллельными процессами. // Управляющие системы и машины. 1987. — № 4. — С. 98−102.
- Котов В.Е. Сети Петри. М. Наука, 1984.- 158 с.
- Кофман А., Крюон Р. Массовое обслуживание. Теория и приложения. -М: Мир, 1965.-302 с.
- Кристофидес Н. Теория графов. Алгоритмический подход. М: Мир, 1979.
- Круглое В.В., Борисов В. В. Искусственные нейронные сети. Теория и практика. М: Горячая линия — Телеком, 2002.- 382 с.
- Лысый В.М., Richard J.G., Интегрированные системы физической защиты. Современное состояние и тенденции. // Системы безопасности, связи и телекоммуникаций. 1999. — № 6. — С. 16−18.
- Маклаков С.В. BP Win и ERWin. CASE-средства разработки информационных систем. М: Диалог-МИФИ, 1999.- 256 с.
- Маклаков С.В. Имитационное моделирование с Arena // КомпьютерПресс. 2001. — № 7.
- Максимей И.В. Имитационное моделирование на ЭВМ. М: Радио и связь, 1988.- 232 с.
- Оберг Р. Технология Сош+. Основы и программирование. М. Вильяме, 2000.- 480 с.
- Олифер В.Г., Олифер Н. А. Компьютерные сети. Принципы, технологии, протоколы. СПб: Питер, 2000.- 672 с.
- Программный комплекс Apacs 2.3. Руководство пользователя.- ААМ Системз, 2001.
- Питерсон Дж. Теория сетей Петри и моделирование систем. М: Мир, 1984.
- Полозов P.O. Программный комплекс АР ACS основа интегрированной системы безопасности // Системы безопасности. — 1998. — № 1. — С. 86−87.
- Руководство по эксплуатации СКУД ELSYS-MB.- Ассоциация «Электронные системы», 2001.- 100 с.
- Раков И.А., Осипов А. В. Новая система контроля и управления доступом «ELSYS» // Алгоритм безопасности. 2002. — № 3. — С. 23.
- Рихтер Дж. Windows для профессионалов: программирование для Windows NT 4 на базе Win32 API. М: Издательский отдел «Русская редакция» ТОО «Channel Trading Ltd.» 1997.- 712 с.
- Рофэйл Э., Шохауд Я. СОМ и СОМ+. Полное руководство. М: Век.-560 с.
- Сайт Ассоциации «Электронные системы» ООО НИЦ «ФОРС». www.elsystems.ru.
- Сайт по системе Arena Rockwell Software. http://www.arenasimulation.com.
- Сайт по системе Simul8 Visual8 Corporation, http://www.simul8.com.
- Справочник по системе ОТРА, — ООО НИЦ «ФОРС», 2002.
- СигелДж. CORBA 3. М: Малип, 2002.- 412 с.
- Слама Д., Гарбис Дж., Рассел П. Корпоративные системы на основе CORBA. М: Вильяме, 2000.- 368 с.
- Советов Б.Я., Яковлев С. А. Моделирование систем. М: Высшая школа, 2001, — 343 с.
- Таха Хэдми А. Введение в исследование операций, т. 1. М: Мир, 1985.479 с.
- Таха Хэдми А. Введение в исследование операций, т.2. М: Мир, 1985.496 с.
- Фаулер М., Скотт К. UML в кратком изложении. Применение стандартного языка объектного моделирования. М: Мир, 1999.- 191 с.
- Харин Ю. С., Мамогин В. И., Кирлица В. П. Основы имитационного и статистического моделирования. Минск: Дизайн ПРО, 1997.- 288 с.
- Хоар Ч.Э. Р. Взаимодействующие последовательные процессы. М: Мир, 1989.- 264 с.
- Цвета сигнальные и знаки безопасности ГОСТ 12.4.026−76. М: 1976.
- Цифровая имитация автоматизированных систем. Под. ред. Овсеевич И. А. М: Наука, 1983, 264 с.
- Чепмен Д. Разработка Internet-приложений в Delphi 2. Киев: ДиаСофт, 1997.-640 с.
- Шеннон Р. Имитационное моделирование искусство и наука. — М. Мир, 1978.-418 с.
- Шоу А. Логическое проектирование операционных систем. М: Мир, 1981.-360 с.
- Шрайбер Т. Дж. Моделирование на GPSS. М: Машиностроение, 1980.591 с.
- AnyLogic 4.0 User’s manual.- Experimental Object Technologies, 2001.- 234 P
- ARGESIM comparisons on simulation technique and simulation software -ARGESIM, 1990−2001. http://argesim.tuwien.ac.at/comparisons/.
- AutoMod User’s Manual. Volume 1.- AutoSimulations, Inc., 1999.- 628 p.
- AutoMod User’s Manual. Volume 2.- AutoSimulations, Inc., 1999.- 516 p.
- Banks Jerry, Getting started with AutoMod.- AUTOSIMULATIONS, INC., 2000, — 512 p.
- Barnes Catherine Drury, K. Ronald Laughery Jr. Advanced uses for Micro Saint simulation software // In proceedings of the Winter Simulation Conference.- 1998. 271−274 pp.
- Bruno G., Harcheto G., Process tolerable Petri net for the rapid prototyping of process control systems // IEEE Transsoftware Eng. 1986. — Vol. SE-12. -346−357 pp.
- Crain Robert С., Henriksen James O. Simulation using GPSS/H // In proceedings of the 1999 Winter Simulation Conference.- 1999. 182−187 pp.
- Dijkstra E. W., Hierarchical Ordering of Sequential Processes // Acta Informatica. 1971. — Vol. 1(2). — 115−138 pp.
- Discrete-event simulation system Delsi. Programmer’s guide.- Softland, 1999,-35 p.
- Enterprise Building Integrator (R110). Specification data.- Honeywell Inc., 2000.
- Gilbert P., Chandler W., Interference between Communicating Processes // Communications of ACM. 1972. — Vol. 15(3). — 171−176 pp.
- Glover Fred, Kelly James P., Laguna Manuel, The OptQuest approach to Crystal Ball simulation optimization, 1997. http://www.decisioneering.com/optquest/optquest.exe.
- Glover Fred, Laguna Manuel. Tabu Search. Kluwer Academic Publishers, 1997,-382 pp.
- Glover Fred, Laguna Manuel, Marti Rafael, Scatter Search, In Handbook of Applied Optimization, Pardalos P.M., Resende M.G.C. (Eds.).- 2002, Oxford University Press, pp. 183−193.
- Harel D., Statecharts: a visual formalism for complex systems // Science Of Computer Programming. 1987. — Vol. 8. — 231−274 pp.
- Holland J.H. Adaptation in Natural and Artificial Systems. Ann Arbor: Michigan University Press, 1975.
- Honeywell Building Manager.- Honeywell Inc., 1999.- 12 p.
- Interbase Document Set.- Borland Software Corp., 2002.
- Karp R., Miller R., Parallel Program Schemata // Journal of Computer and Systems Science. 1969. — Vol. 3(4). — 167−195 pp.
- Keller R., Vector Replacement Systems: A Formalism for Modeling Asynchronous Systems. Technical Report 117: Computer Science Laboratory, Princenton University, Princeton, New Jersy, December 1974.- 38 pp.
- Laguna Manuel, Metaheuristic Optimization with Evolver, Genocop and OptQuest, 1997. http://www.decisioneering.com/optquest/metaheur.exe 10 c.
- Laguna Manuel, Optimization of Complex Systems with OptQuest, 1997. http://www.decisioneering.com/optquest/optimiz.exe 13 c.
- Laguna Manuel, Global Optimization and Meta-Heuristics Encyclopedia of Life Support Systems, Theme 6.5, Topic 2, 2002. http^/wwwbus.colorado.edu/faculty/laguna/articles/elss.html -17 c.
- Lamport L., The temporal logic of actions. // ACM Transactions on Programming Languages and Systems. 1994. — Vol. 16(3). — 872—923 pp.
- Lyons Andrew, UML for Real-Time Overview, 1998. www.rational.com -7 c.
- Maycher Nathan, Palisade’s Evolver Professional v.4.0.5. A Software Review Palisade Corporation, 2001. http://www.windowatch.com/200 l/december/evolver7 11 .html.
- Michalewicz Zbigniew, Genocop Optimization via Genetic Algorithms, 2001. http://www.cs.sunysb.edu/~algorith/implement/genocop/implement.shtml.
- Micro Saint tutorial.- Micro Analysis & Design Simulation Software Inc., 1992.
- Milner R. A Calculus of Communicating Systems. Lecture Notes in Computer Science. New York: Springer-Verlag, 1980.
- OMG Unified Modeling Language Specification.- Object Management Group, 2001.-566 p.
- OptQuest Help System.- Optimization Technologies, Inc., 1996.
- Ernest H. Page Jr., Simulation modeling methodolgy: principles and etiology of decision support. Dissertation for the degree of Doctor of Philosophy in Computer Science: Blacksburg, Virginia, 1994.
- Sadowski Deborah, Bapat Vivek. The Arena product family: enterprise modeling solutions // In proceedings of the 1999 Winter Simulation Conference.- 1999. 159−166 pp.
- Schriber Thomas J., Brunner Daniel T. Inside discrete-event simulation software: how it works and why it matters // In proceedings of the 2001 Winter Simulation Conference.- 2001. 158−168 pp.
- Schunk Daniel. Modeling with the Micro Saint simulation package // In proceedings of the 2000 Winter Simulation Conference.- 2000. 274−279 pp.
- SIMPROCESS User’s manual.- CACI Products Company, 2001.- 444 p.
- SIMPROCESS. Getting Started.- CACI Products Company, 1999, — 112 p.
- Stehl Ingolf. GPSS 40 years of development // In proceedings of the 2001 Winter Simulation Conference.- 2001. — 577−585 pp.
- Swain James J., Power tools for visualization and decision-making. Simulation software survey Lionheart Publishing, Inc., 2001. http://www.lionhrtpub.com/orms/survevs/Simulation/Simulation.html.
- Swegles Scott. Business process modeling with SIMPROCESS // In proceedings of the 1997 Winter Simulation Conference.- 1997. 606−610 pp.
- The Common Object Request Broker: Architecture and Specification.- OMG, 2002.- 1198 p.102. van Laarhoven P. J. M., Aarts E. H. L. Simulated Annealing: Theory and Practice. Dordrecht: Kluwer Academic Publishers, 1987.