Моделирование при исследовании технических систем: использование некоторых расширений теории графов
Ключевые слова:
Техническая система, граф, теория графов, эшграф, теория эшграфов, моделирование, исследование технических систем, эффективность, потенциал, рискАннотация
Показана практическая необходимость расширения теории графов, в частности — для моделирования и исследования технических систем. Введено понятие «эшграф», расширяющее понятие граф и, таким образом, расширяющее теорию графов. Приведены примеры использования эшграфа при моделировании ТС.Литература
Белоусов А.И., Пастуховский А.В Ориентированные гиперграфы и системы подстановок//Фундамент. И прикл. Матем. 1996. № 2, Вып. 4. С. 1163–1186
Берж К Теория графов и еѐ применения. Пер. с фр. М., Иностранная литература, 1962. 319 c
Бурбаки Н Часть 1. Основные структуры анализа. Книга 1. Теория множеств. М., Мир. 1965. 456 С
Гейда А.С., Лысенко И. В., Юсупова О.А Использование расширенных графовых моделей при автоматизации решения задач исследования потенциала, эффективности и риска при функционировании социально-экономических систем // Доклады международной научно-технической конференции "Региональная информатика-2010". СПб, 2011. С. 47–59
Гейда А.С Метод сквозного использования универсальных языков моделирования в задачах стратегического аудита проектов. В книге: Новое в государственном управлении. Вып. 2. Методы и модели информационно-аналитического обеспече-ния системного аудита использования национальных ресурсов и управления по ре-зультата / Под ред. А.А. Пискунова. Ростов-на-Дону: ЮРИФКА, 2007. С. 98–116
Гейда А.С Оценивание эффектов функционирования организационно-технических систем: концепция автоматизации // Труды СПИИРАН. СПб. Наука, 2009. Вып. 11. С. 63–80
Гейда А.С., Лысенко И.В Алгоритм оценивания качества обслуживания техниче-ской системы // Известия ВУЗов. Приборостроение. СПб. 1992. № 3–4, С. 3–8
Гейда А.С., Лысенко И.В Базовые модели оценки системных рисков на примере показателей финансово-кредитной сферы//Роль ключевых национальных показа-телей в оценке стратегий развития: коллективная монография / [Е.И. Иванова и др.]; [отв. ред. Е.И. Иванова] Гос. НИИ СП РФ. М.: Воентехиниздат, 2010. 216 с
Гейда А.С., Лысенко И.В Задачи исследования потенциала социально-экономи-ческих систем // Труды СПИИРАН. 2009. Вып. 10. СПб, Наука, 2009. С. 63–84
Гейда А.С., Лысенко И.В., Нехорошкин Н.И, Тремасов А.Д Оценивание социально-экономических потенциалов для аудита отраслевых и региональных стратегий раз-вития // Гос. аудит. Право. Экономика. 2010. № 5, C. 47–55
Гейда А.С., Лысенко И.В., Силла Е.П Задачи исследования качества и потенциала систем реализации целевых программ // Информационно-управляющие системы. 2011. № 4. С. 77–83
Гранкин Б.К., Козлов В.В., Лысенко И.В Принципы декомпозиции сложных объек-тов в проектных исследованиях // Мехатроника, автоматизация, управление. 2008. № 6. С. 2–6
Гранкин Б.К., Козлов В.В., Лысенко И.В., Петров Г.Д Метод контроля технического состояния уникальных механических объектов при длительной их эксплуата-ции//Мехатроника, автоматизация, управление. 2008. № 3. С. 20–24
Емеличев В.А., Мельников О.И., Сарванов В.И., Тышкевич Р.И Лекции по теории графов. М.: Наука, 1990. 384 С
Захаров В.К., Михалев А.В О концепции математической системы// Фундамент. и прикл. матем. 1998. № 4, вып. 3. С. 927–935
Зыков А.А Гиперграфы. // Успехи матем. Наук. 1974. №6. С. 89–154
Иващенко А.В., Карсаев О.В., Скобелев П.О., Царев А.В., Юсупов Р.М Мультиагентные технологии для разработки сетецентрических систем управления // Извес-тия ЮФУ. Технические науки. 2011. №116, Вып.3. С. 12–23
Кант И Трактаты. С.-Пб., Наука, 1996. 552 С
Калинин В.Н., Резников Б.А Теория систем и управления (структурно-математический подход). Л., 1978. 417 с
Кононенко А.А., Кучкаров 3.А., Никаноров С.П., Никитина Н.К Технология кон-цептуального проектирования-2004. М.: Концепт, 2008. 580 C
Лысенко И.В, Птушкин А.И., Соколов Б.В Синтез комплекта ЗИП сложных технических объектов с позиций головного разработчика // Вестник университета ЮФО. Технические науки. 2001. № 104, вып. 3. C. 149–153
Лысенко И.В Оценивание качества технологических процессов: использование ап-проксимирующих вероятностных моделей // Труды СПИИРАН. 2006. № 3, вып. 2., С. 207–216
Петрошенко А.В Структурно-математический анализ гиперсетевых моделей представления знаний // Проблемы автоматизированного управления космическими средствами. СПб., 2001. С. 29–31.
Петрошенко А.В., Петрошенко В.В Некоторые обобщения в теории множеств, от-ношений и графов и их применение в современных информационных технологи-ях // Региональная информатика – 2000. СПб., 2001. С. 32
Петрошенко А.В., Петрошенко В.В Структурно-математический анализ и синтез гиперсетевых моделей представления знаний //Региональная информатика – 2000. 2001, СПб., С. 32
Пономарёв И.Н Введение в математическую логику и роды структур. М.: МФТИ, 2007. 241 с
Соколов Б.В., Юсупов Р.М Полимодельное описание и анализ структурной дина-мики систем управления космическими средствами // Труды СПИИРАН. 2010. № 15., вып. 1. С. 7–53
Соколов Б.В., Юсупов Р.М Концептуальные и методические основы квалиметрии моделей и полимодельных комплексов // Труды СПИИРАН. 2004. № 2, вып.1. С. 10–35
Yang H Advances in UML and XML-based software evolution. Idea Group Publishing. Hershey, PA., 2005, 362 p
Geida A.S., Lysenko I.V Varying the availability of engineering system in the course of its maintenance // Engineering Simulation. 1993. Vol. 11, no. 2. Рp. 317–323
Poulovassilis A., Hild S.G Hyperlog: A Graph-Based System for Database Browsing, Querying, and Update // IEEE Transactions on Knowledge and Data Engineering. 2001. Vol. 13, No. 2. Pp. 316–332
Basu A., Blanning R.W Metagraphs and Their Applications // Integrated Series in Information Systems, Springer, 2007, Vol. 15. No. VIII. 172 p
Iordanov B HyperGraphDB: A Generalized Graph Database // Web-Age Information Management, WAAIM International Workshop. LNCS. 2010, Vol. 6185. 25–36 p.p
Harel D On visual formalisms // Communications of the ACM. 1988. Vol. 31, No.5. Pp 514–530
Börger E., Staerk R Abstract State Machines: A Method for High-Level System Design and Analysis. Berlin: Springer-Verlag, 2003. 448 p
Corella F., Zhou Z., Song X, Langevin M.,Cerny E Multiway Decision Graphs for Auto-mated Hardware Verification // Formal Methods in System Design. 1997. Volume 10, is-sue 1. Springer Netherlands. Pp. 7–46
Frank Drewes, Berthold Hoffmann, Detlef Plump Hierarchical Graph Transformation // Journal of Computer and System Sciences. 2002. Vol 64, No. 2. Pp. 249–283
Gallo G.,Longo G, Pallottino S., Nguyen S Directed hypergraphs and applications // Discrete Applied Mathematics. 1993. Vol. 42, no. 2–3. Pp. 177–201
Ehrig H., Kreowski H.-J., Montanari U., Rozenberg G Handbook of graph grammars and computing by graph transformation. Vol.1–3, Eds. World Scientific. 1997–1999
Hruby P Model-Driven Design Using Business Patterns // Springer. New York, 2009, 386 p
Kratochvil M., Carlson C Growing modular: Mass customization of complex products, Services and Software. Berlin: Springer, 2005. 172 Pp
Minas M Concepts and realization of a diagram editor generator based on hypergraph transformation // Science of Computer Programming. 2002. Vol 44, No. 2. 180 p
Aczel P Non well-founded sets. Center for the study of language and Information Lec-ture Notes. 1988. No. 14. 159 p
Molyneux R., Sazonov V Hyperset approach to semi-structured databases // Dataspace: The final frontier, Proceedings of the 26th British National Conference on databases. Ber-lin: Springer, 2009. Pp. 78–90
Anderson S., Power J, Tourlas K Zooming-out on Higraph-based diagrams: Syntaсtic and Semantic Issues // Electronic Notes in Theoretical Computer Science. 2002. Vol. 61. Pp. 201–211
Akman V., Pakkan M Nonstandard Set Theories and Information Management // Journal of Intelligent Information Systems. 1996. Vol. 6, No. 1. Pp. 5–31
Gurevich Y The sequential ASM thesis. Microsoft Research technical report MSR-TR-99-09, Redmond, WA. 33p
Берж К Теория графов и еѐ применения. Пер. с фр. М., Иностранная литература, 1962. 319 c
Бурбаки Н Часть 1. Основные структуры анализа. Книга 1. Теория множеств. М., Мир. 1965. 456 С
Гейда А.С., Лысенко И. В., Юсупова О.А Использование расширенных графовых моделей при автоматизации решения задач исследования потенциала, эффективности и риска при функционировании социально-экономических систем // Доклады международной научно-технической конференции "Региональная информатика-2010". СПб, 2011. С. 47–59
Гейда А.С Метод сквозного использования универсальных языков моделирования в задачах стратегического аудита проектов. В книге: Новое в государственном управлении. Вып. 2. Методы и модели информационно-аналитического обеспече-ния системного аудита использования национальных ресурсов и управления по ре-зультата / Под ред. А.А. Пискунова. Ростов-на-Дону: ЮРИФКА, 2007. С. 98–116
Гейда А.С Оценивание эффектов функционирования организационно-технических систем: концепция автоматизации // Труды СПИИРАН. СПб. Наука, 2009. Вып. 11. С. 63–80
Гейда А.С., Лысенко И.В Алгоритм оценивания качества обслуживания техниче-ской системы // Известия ВУЗов. Приборостроение. СПб. 1992. № 3–4, С. 3–8
Гейда А.С., Лысенко И.В Базовые модели оценки системных рисков на примере показателей финансово-кредитной сферы//Роль ключевых национальных показа-телей в оценке стратегий развития: коллективная монография / [Е.И. Иванова и др.]; [отв. ред. Е.И. Иванова] Гос. НИИ СП РФ. М.: Воентехиниздат, 2010. 216 с
Гейда А.С., Лысенко И.В Задачи исследования потенциала социально-экономи-ческих систем // Труды СПИИРАН. 2009. Вып. 10. СПб, Наука, 2009. С. 63–84
Гейда А.С., Лысенко И.В., Нехорошкин Н.И, Тремасов А.Д Оценивание социально-экономических потенциалов для аудита отраслевых и региональных стратегий раз-вития // Гос. аудит. Право. Экономика. 2010. № 5, C. 47–55
Гейда А.С., Лысенко И.В., Силла Е.П Задачи исследования качества и потенциала систем реализации целевых программ // Информационно-управляющие системы. 2011. № 4. С. 77–83
Гранкин Б.К., Козлов В.В., Лысенко И.В Принципы декомпозиции сложных объек-тов в проектных исследованиях // Мехатроника, автоматизация, управление. 2008. № 6. С. 2–6
Гранкин Б.К., Козлов В.В., Лысенко И.В., Петров Г.Д Метод контроля технического состояния уникальных механических объектов при длительной их эксплуата-ции//Мехатроника, автоматизация, управление. 2008. № 3. С. 20–24
Емеличев В.А., Мельников О.И., Сарванов В.И., Тышкевич Р.И Лекции по теории графов. М.: Наука, 1990. 384 С
Захаров В.К., Михалев А.В О концепции математической системы// Фундамент. и прикл. матем. 1998. № 4, вып. 3. С. 927–935
Зыков А.А Гиперграфы. // Успехи матем. Наук. 1974. №6. С. 89–154
Иващенко А.В., Карсаев О.В., Скобелев П.О., Царев А.В., Юсупов Р.М Мультиагентные технологии для разработки сетецентрических систем управления // Извес-тия ЮФУ. Технические науки. 2011. №116, Вып.3. С. 12–23
Кант И Трактаты. С.-Пб., Наука, 1996. 552 С
Калинин В.Н., Резников Б.А Теория систем и управления (структурно-математический подход). Л., 1978. 417 с
Кононенко А.А., Кучкаров 3.А., Никаноров С.П., Никитина Н.К Технология кон-цептуального проектирования-2004. М.: Концепт, 2008. 580 C
Лысенко И.В, Птушкин А.И., Соколов Б.В Синтез комплекта ЗИП сложных технических объектов с позиций головного разработчика // Вестник университета ЮФО. Технические науки. 2001. № 104, вып. 3. C. 149–153
Лысенко И.В Оценивание качества технологических процессов: использование ап-проксимирующих вероятностных моделей // Труды СПИИРАН. 2006. № 3, вып. 2., С. 207–216
Петрошенко А.В Структурно-математический анализ гиперсетевых моделей представления знаний // Проблемы автоматизированного управления космическими средствами. СПб., 2001. С. 29–31.
Петрошенко А.В., Петрошенко В.В Некоторые обобщения в теории множеств, от-ношений и графов и их применение в современных информационных технологи-ях // Региональная информатика – 2000. СПб., 2001. С. 32
Петрошенко А.В., Петрошенко В.В Структурно-математический анализ и синтез гиперсетевых моделей представления знаний //Региональная информатика – 2000. 2001, СПб., С. 32
Пономарёв И.Н Введение в математическую логику и роды структур. М.: МФТИ, 2007. 241 с
Соколов Б.В., Юсупов Р.М Полимодельное описание и анализ структурной дина-мики систем управления космическими средствами // Труды СПИИРАН. 2010. № 15., вып. 1. С. 7–53
Соколов Б.В., Юсупов Р.М Концептуальные и методические основы квалиметрии моделей и полимодельных комплексов // Труды СПИИРАН. 2004. № 2, вып.1. С. 10–35
Yang H Advances in UML and XML-based software evolution. Idea Group Publishing. Hershey, PA., 2005, 362 p
Geida A.S., Lysenko I.V Varying the availability of engineering system in the course of its maintenance // Engineering Simulation. 1993. Vol. 11, no. 2. Рp. 317–323
Poulovassilis A., Hild S.G Hyperlog: A Graph-Based System for Database Browsing, Querying, and Update // IEEE Transactions on Knowledge and Data Engineering. 2001. Vol. 13, No. 2. Pp. 316–332
Basu A., Blanning R.W Metagraphs and Their Applications // Integrated Series in Information Systems, Springer, 2007, Vol. 15. No. VIII. 172 p
Iordanov B HyperGraphDB: A Generalized Graph Database // Web-Age Information Management, WAAIM International Workshop. LNCS. 2010, Vol. 6185. 25–36 p.p
Harel D On visual formalisms // Communications of the ACM. 1988. Vol. 31, No.5. Pp 514–530
Börger E., Staerk R Abstract State Machines: A Method for High-Level System Design and Analysis. Berlin: Springer-Verlag, 2003. 448 p
Corella F., Zhou Z., Song X, Langevin M.,Cerny E Multiway Decision Graphs for Auto-mated Hardware Verification // Formal Methods in System Design. 1997. Volume 10, is-sue 1. Springer Netherlands. Pp. 7–46
Frank Drewes, Berthold Hoffmann, Detlef Plump Hierarchical Graph Transformation // Journal of Computer and System Sciences. 2002. Vol 64, No. 2. Pp. 249–283
Gallo G.,Longo G, Pallottino S., Nguyen S Directed hypergraphs and applications // Discrete Applied Mathematics. 1993. Vol. 42, no. 2–3. Pp. 177–201
Ehrig H., Kreowski H.-J., Montanari U., Rozenberg G Handbook of graph grammars and computing by graph transformation. Vol.1–3, Eds. World Scientific. 1997–1999
Hruby P Model-Driven Design Using Business Patterns // Springer. New York, 2009, 386 p
Kratochvil M., Carlson C Growing modular: Mass customization of complex products, Services and Software. Berlin: Springer, 2005. 172 Pp
Minas M Concepts and realization of a diagram editor generator based on hypergraph transformation // Science of Computer Programming. 2002. Vol 44, No. 2. 180 p
Aczel P Non well-founded sets. Center for the study of language and Information Lec-ture Notes. 1988. No. 14. 159 p
Molyneux R., Sazonov V Hyperset approach to semi-structured databases // Dataspace: The final frontier, Proceedings of the 26th British National Conference on databases. Ber-lin: Springer, 2009. Pp. 78–90
Anderson S., Power J, Tourlas K Zooming-out on Higraph-based diagrams: Syntaсtic and Semantic Issues // Electronic Notes in Theoretical Computer Science. 2002. Vol. 61. Pp. 201–211
Akman V., Pakkan M Nonstandard Set Theories and Information Management // Journal of Intelligent Information Systems. 1996. Vol. 6, No. 1. Pp. 5–31
Gurevich Y The sequential ASM thesis. Microsoft Research technical report MSR-TR-99-09, Redmond, WA. 33p
Опубликован
2011-06-01
Как цитировать
Гейда, А. С. (2011). Моделирование при исследовании технических систем: использование некоторых расширений теории графов. Труды СПИИРАН, 2(17), 234-245. https://doi.org/10.15622/sp.17.12
Раздел
Статьи
Авторы, которые публикуются в данном журнале, соглашаются со следующими условиями:
Авторы сохраняют за собой авторские права на работу и передают журналу право первой публикации вместе с работой, одновременно лицензируя ее на условиях Creative Commons Attribution License, которая позволяет другим распространять данную работу с обязательным указанием авторства данной работы и ссылкой на оригинальную публикацию в этом журнале.
Авторы сохраняют право заключать отдельные, дополнительные контрактные соглашения на неэксклюзивное распространение версии работы, опубликованной этим журналом (например, разместить ее в университетском хранилище или опубликовать ее в книге), со ссылкой на оригинальную публикацию в этом журнале.
Авторам разрешается размещать их работу в сети Интернет (например, в университетском хранилище или на их персональном веб-сайте) до и во время процесса рассмотрения ее данным журналом, так как это может привести к продуктивному обсуждению, а также к большему количеству ссылок на данную опубликованную работу (Смотри The Effect of Open Access).
