Моделирование при исследовании технических систем: использование некоторых расширений теории графов
Ключевые слова:
Техническая система, граф, теория графов, эшграф, теория эшграфов, моделирование, исследование технических систем, эффективность, потенциал, рискАннотация
Показана практическая необходимость расширения теории графов, в частности — для моделирования и исследования технических систем. Введено понятие «эшграф», расширяющее понятие граф и, таким образом, расширяющее теорию графов. Приведены примеры использования эшграфа при моделировании ТС.Литература
Белоусов А.И., Пастуховский А.В Ориентированные гиперграфы и системы подстановок//Фундамент. И прикл. Матем. 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
The modeling in the course of technical systems investigation: some expansions of the graph theory usage
Abstract
Practical necessity of the graph theory expansion is shown, in particular — for the modeling and technical systems investigation. Eshgraph term is suggested. It expands ―graph‖ term. Thus it expands graph theory. Examples of the eshgraph and geometric eshgraph usage are presentedОпубликован
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).
