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

Шмелев В. В., Аванесов М. Ю.

Читать статью полностью

  Концепция интеллектуального мониторинга технических систем с компенсацией негативных факторов процесса передачи и приема информации(1,49 MB)

Аннотация

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

Ключевые слова:

теория вычислений – theory of calculations; функционально-логическое программирование – functional-logic programming; потоковые вычисления – stream calculations.

Список литературы

1. Концепция создания и применения перспективной АСУ подготовкой и пуском ракеты космического назначения «Союз-2»: новые подходы к интеграции, интеллектуализации, управлению / Р.Н. Ахметов [и др] // Авиакосмическое приборостроение. – 2015. – № 4. – С. 3–54.

2. Концепция информатизации Роскосмоса (2010–2015 гг.). Федеральное космическое агентство [Электронный ресурс]. – Режим доступа: http://www.federalspace.ru/2158, свободный. – Загл. с экрана.

3.Комплексная автоматизация мониторинга состояния космических средств на основе интеллектуальных информационных технологий / О.В. Майданович [и др.] // Информационные технологии. Приложение. – 2011. – № 10. – 32 с.

4. Peterson, James L. Petri Net Theory And The Modeling Of Systems / J.L. Peterson. – Prentice-hall, inc., Englewood Cliffs, N.Y., 1981.

5. Охтилев, М. Ю. Основы теории автоматизированного анализа измерительной информации в реальном времени. Синтез системы анализа: монография / М.Ю. Охтилев. – СПб.: ВКА им. А. Ф. Можайского, 1999. – 162 c.

6. Kalman, R. E. Topics in Mathematical System Theory / R.E. Kalman, P.L. Falb, M.A. Arbib – N. Y.: McGraw-Hill, 1969. – 358 p.

7.Парийская, Е. Ю. Сравнительный анализ математических моделей и подходов к моделированию и анализу непрерывнодискретных систем [Электронный ресурс] / Е.Ю. Парийская // Дифференциальные уравнения и процессы управления. – 1997. – № 1. – Режим доступа: http://www.meta.math.spbu. ru/diffjournal/pdf/j004.pdf, свободный. – Загл. с экрана.

8. Игошин, В. И. Математическая логика и теория алгоритмов / В.И. Игошин. – 2-е изд. – М.: ИЦ «Академия», 2008. – 448 с.

9. Усталов, Д. А. Коллективные потоковые вычисления: реляционные модели и алгоритмы / Д.А. Усталов // Моделирование и анализ информационных систем. – 2016. – № 23(2). – С. 195–210. DOI:10.18255/1818-1015-2016-2-195-210.

10. Лацис, А. О. Параллельная обработка данных / А.О. Лацис. – М.: Академия. 2010. – 336 с.

11. Левин, В. К. Тенденции развития суперкомпьютеров / В.К. Левин // Computational nanotechnology. – 2014. – № 1. – С. 35–38.

12. Анализ перспективных подходов к решению задач комплексного моделирования технологий самоуправляемых вычислений в критических приложениях / А.И. Лектауэрс [и др.] // Труды СПИИРАН. – 2013. – Вып. 6(29). – С. 144–169.

13. Шмелев, В. В. Модели технологических процессов функционирования космических средств / В.В. Шмелев // Авиакосмическое приборостроение. – 2015. – № 4. – С. 78–93.

14. Лескин, А. А. Сети Петри в моделировании и управлении / А.А. Лескин, П.А. Мальцев, А.М. Спириднов. – Л.: Наука, 1989. – 133 с.

15. Westergaard, M. The Access/CPN Framework: A Tool for Interacting with the CPN Tools Simulator / M. Westergaard, L.M. Kristensen // Proc. of 30th International Conference on Applications and Theory of Petri Nets (Petri Nets 2009). Lecture Notes in Computer Science 5606. – P. 313–322.

16. Jensen, K. Coloured Petri Nets and CPN Tools for Modelling and Validation of Concurrent Systems / K. Jensen, L.M. Kristensen, L. Wells // International Journal on Software Tools for Technology Transfer (STTT)9(3–4). – 2007. – P. 213–254.

17. CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets / A.V. Ratzer [et al.] // Proc. of 24th International Conference on Applications and Theory of Petri Nets (Petri Nets 2003). Lecture Notes in Computer Science 2679. – P. 450–462.