Аннотация:
В рамках исследований бионаноробототехники актуальной является разработка
методологических подходов, интегрирующих междисциплинарные знания. С этой целью предложена
архитектурная модель когнитивной инфокоммуникационной системы (КИКС), основанной на
принципах доменного моделирования. В работе анализируются возможности применения теории
категорий и интуиционистской логики для формализованного описания и предсказания характеристик
биоинтегрированных киберфизических систем и сред с интеллектуальным управлением. Предложен
метод представления топологической структуры КИКС посредством концепции «предпучка». Для
повышения точности и эффективности моделирования рекомендовано использование современных
инструментальных средств, таких как гомотопическая теория типов, помощники по доказательству
теорем, языки функционального и логического программирования, дискретно-событийные
имитационные модели.
Ключевые слова:
бионаноробототехника, мягкая робототехника, многоклеточные инженерные
живые системы, теория категорий, интуиционистская логика, предпучок, интеллектуальное
управление, когнитивная инфокоммуникационная система, киберфизические системы и среды,
проектирование
Полный текст:
PDF файл (579 kB)