Клэйтроника

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск

Клэйтро́ника — абстрактная концепция будущего, состоящая в объединении наномасштабных роботов и информатики с целью создания индивидуальных компьютеров атомных размеров, называемых клэйтронными атомами или к-атомами. Они могут вступать в контакт друг с другом и создавать материальные 3-D объекты, с которыми может взаимодействовать пользователь. Эта идея входит в более общую идею создания программируемой материи.[1] Многочисленные исследования и эксперименты с клэйтроникой проводятся группой учёных в университете Карнеги-Меллона в Питсбурге, штат Пенсильвания, которая состоит из профессоров Тодда Моури, Сета Голдштейна, аспирантов и студентов, а также исследовательской группой из лаборатории Интел в Питтсбурге.[2] Клэйтроника имеет потенциал значительного влияния на многие сферы повседневной жизни, такие как телекоммуникации, человеко-компьютерный интерфейс и индустрию развлечений.

Текущие исследования[править | править вики-текст]

Текущие исследования направлены на создание модульных реконфигурируемых роботов и разработку программных комплексов, необходимых для управления роботами с «изменяемой формой». Локально распределённые предикаты (ЛРП) — это распределённый язык программирования высокого уровня для проектирования систем модульных реконфигурируемых роботов (МРР). Есть много проблем, связанных с программированием и управлением большим числом дискретных модульных систем из-за множественности степеней свободы, которые соответствуют каждому модулю. Например, для перенастройки одной структуры в другую может потребоваться большой путь перемещений, управляемый сложной цепочкой команд, даже если эти две структуры незначительно отличаются друг от друга.[3]

В 2005 году усилия исследователей по разработке концепции аппаратного обеспечения в миллиметровом диапазоне размерной шкалы оказались успешными. Были созданы цилиндрические прототипы размером 44 мм в диаметре, взаимодействующие друг с другом посредством электромагнитного поля. Эти эксперименты помогли исследователям установить соотношение между массой и потенциальной силой связи между объектами, которое можно сформулировать так: «10-кратное уменьшение размера приводит к 100-кратному увеличению силы по отношению к массе».[1] Последними достижениями по разработке таких прототипов стали цилиндрические роботы диаметром около миллиметра, изготовленные по тонкоплёночной технологии методом фотолитографии. Они взаимодействуют друг с другом с помощью сложного программного обеспечения, которое управляет электромагнитным притяжением и отталкиванием между модулями.[4]

Аппаратура[править | править вики-текст]

Активизирующим стимулом по разработке программного обеспечения является наличие устройств, которые модифицируют сами себя в заданном направлении. Клэйтроника по определению — это набор отдельных компонентов, называемых клэйтронными атомами или к-атомами. Чтобы обладать живучестью, к-атомы должны удовлетворять ряду критериев. Во-первых, к-атомы должны уметь двигаться в трёхмерном пространстве друг относительно друга и быть способными соединяться друг с другом, образуя трёхмерные конструкции. Во-вторых, к-атомы должны уметь общаться друг с другом и иметь возможность обрабатывать информацию о структуре конструкции, возможно, с помощью друг друга. По сути, к-атомы состоят из процессоров, сетевых устройств связи, однопиксельного дисплея, нескольких датчиков, бортового аккумулятора и средств соединения друг с другом.[1]

Современные к-атомы[править | править вики-текст]

Исследователи Университета Карнеги-Меллона разработали различные прототипы к-атомов. Они варьируются от мелких кубиков до гигантских шаров, наполненных гелием.[5] Прототип, на который больше всего надеются разработчики как на будущий к-атом — это плоский к-атом. Он имеет форму цилиндра диаметром 44 мм, который оснащён 24 электромагнитами, расположенными по его окружности. Движение к-атомов осуществляется совместно включением и выключением электромагнитов для того, чтобы катиться по поверхности друг друга. В каждый момент времени только на один элетромагнит каждого к-атома подаётся энергия. Эти прототипы способны перенастроить себя довольно быстро. Разъединение двух блоков, передвижение к другой точке контакта и новое соединение занимает около 100 мс. Питание подаётся на к-атомы через специальные ножки на дне цилиндра. Проводящие ленты на столе подводят необходимую мощность.[6]

Направления разработок[править | править вики-текст]

Современные конструкции к-атомов обеспечивают движение только в двух измерениях относительно друг друга, но будущие к-атомы должны будут перемещаться в трёх измерениях. Целью учёных является разработка к-атомов миллиметрового размера без каких-либо движущихся частей, чтобы обеспечить высокую технологичность. Миллионы таких микророботов смогут излучать свет переменной интенсивности и разного цвета, позволяя использовать их для динамического физического рендеринга (создания картин). Для реализации таких конструкций локальная цель разработок была перенесена на создание достаточно простых к-атомов, которые функционируют только в составе ансамбля, и с ансамблем в целом способны к выполнению более сложных функций.[7]

Поскольку к-атомы уменьшаются в размере, бортовой аккумулятор, требуемый для его работы, скоро будет превосходить размер самого к-атома, поэтому для решения проблем энергетики потребуются альтернативные решения. В настоящее время проводятся исследования по питанию всех к-атомов в ансамбле, по использованию контакта к-атома с к-атомом в качестве способа транспортировки энергии. В одном из вариантов изучается возможность использования специального стола с положительным и отрицательным электродами и передача энергии к-атомам с помощью «виртуальных проводов».

Ещё одной важной задачей является разработка универсальных одинарных разъёмов для к-атомов, с тем чтобы время реконфигурации было на минимальном уровне. Нановолокна обеспечат возможное решение этой проблемы.[8] Нановолокна допускают большое сцепление при малых размерах и обеспечивают низкий уровень энергопотребления, когда к-атомы находятся в состоянии покоя.

Программное обеспечение[править | править вики-текст]

Организация всех связей и взаимодействий между миллионами к-атомов субмиллиметрового масштаба требует разработки новых алгоритмов и языков программирования. Исследователи и инженеры лаборатории клэйтроники Карнеги-Меллона-Интел начали широкий диапазон проектов по разработке программного обеспечения для облегчения разработок взаимодействия между к-атомами. К наиболее важным проектам относится разработка новых языков программирования, которые позволяют более эффективно использовать возможности клэйтроники. Целью клэйтронной матрицы является динамическое формирование трёхмерных объектов. Но огромное количество к-атомов в этой распределённой системе увеличивает сложность микро-управления каждым к-атомом. Каждый к-атом должен воспринимать точную информацию о своём местоположении и выполнять команды взаимодействия со своими соседями. В этой среде язык программирования для матричных операций должен содержать лаконичные утверждения для команд высокого уровня, чтобы они могли быстро распространяться по сети. Язык программирования матриц требует более краткого синтаксиса и стиля команд, чем обычные языки программирования, такие как C++ или Java.[9]

Лаборатория клэйтроники Карнеги-Меллона-Интел создала два новых языка программирования: Meld и локально распределенные предикаты (ЛРП).

Meld[править | править вики-текст]

Meld — это декларативный язык, язык логического программирования, первоначально предназначенный для программирования оверлейных сетей.[10] С помощью логического программирования код для ансамбля роботов может быть интерпретирован с глобальной точки зрения, что позволяет программисту сосредоточиться на общей производительности клэйтронной матрицы, а не писать отдельные инструкции для каждого из нескольких тысяч или миллионов к-атомов в ансамбле.[11] Это существенно упрощает процесс мышления при программировании движения клэйтронной матрицы.

Локально распределённые предикаты[править | править вики-текст]

ЛДП является реактивным языком программирования. Он использовался для отладки в более ранних исследованиях. В дополнение к языку, который позволяет программисту описывать операции при разработке матрицы формы, ЛДП может использоваться для анализа распределённых локальных условий.[12] Он может работать со связанной группой модулей фиксированного размера, обеспечивая различные функции по управлению состоянием конфигурации. Программы, нацеленные на модули фиксированного размера, а не на полную совокупность, позволяют программистам работать с клэйтронными матрицами чаще и эффективнее. В ЛДП предусмотрены также средства для согласования взаимодействия распределённых структур. Это даёт возможность программисту манипулировать более широким набором переменных булевой логики, что позволяет программе делать поиск более крупных объектов для активного взаимодействия и строить стратегию поведения среди групп модулей.[3]

Распределённые точки останова[править | править вики-текст]

Проявление ошибок среди тысяч и миллионов отдельных к-атомов трудно обнаружить и исправить, поэтому клэйтронные матричные операции требуют динамичной и самостоятельной процедуры выявления и отладки ошибок. Исследователи клэйтроники разработали распределенные точки останова, алгоритм на уровне подхода для обнаружения и фиксации ошибок, пропущенных традиционными методами отладки.[13] Этот алгоритм определяет узлы, за которыми устанавливается наблюдение для определения истинности распределённых состояний.[14] Такой подход обеспечивает простой и описательный набор правил для оценки распределённых состояний и оказывается эффективным при обнаружении ошибок.

Алгоритмы[править | править вики-текст]

Два важных класса алгоритмов клэйтроники относятся к алгоритмам создания и локализации формы. Конечная цель исследований клэйтроники состоит в создании движения в трёхмерном представлении. Все исследования перемещений к-атомов, коллективной активации и иерархического управления движением основаны на алгоритме создания формы для приведения к-атомов в необходимую структуру, которая обеспечит прочность и плавный переход к динамическому ансамблю. Алгоритмы локализации обеспечивают к-атомам возможность нахождения своих позиций в ансамбля.[15] Кроме того, алгоритмы локализации должны обеспечивать точное относительное знание к-атомами всей матрицы в целом, основанной на наблюдении полностью распределённой системы при наличии шумов.

Применения[править | править вики-текст]

Поскольку возможности по развитию роботизированных модулей будут исчерпаны, клэйтроника станет полезной во многих приложениях. Будущие применения клэйтроники относятся к новым методам коммуникаций. Клэйтроника может предложить реалистичное чувство связности на больших расстояниях, называемое «парио». Подобно тому, как аудио и видео информация создаёт слуховое и визуальное воздействие, парио обеспечивает слуховое, визуальное и физическое ощущения одновременно. Пользователь будет иметь возможность услышать, увидеть и потрогать объект общения вполне реалистичным способом. Парио может эффективно использоваться во многих профессиональных дисциплинах из инженерного проектирования, образования и охраны здоровья, развлечений и досуга, например, в видеоиграх.[16]

Воплощение достижений в области нанотехнологий и информатики, необходимые для клэйтроники, вполне реально, но для этого потребуется решить огромные проблемы и внедрить множество инноваций. В интервью в декабре 2008 г. Джейсон Кэмпбелл, руководитель группы исследователей из лаборатории Интел в Питтсбурге, сказал: «Мои оценки того, сколько времени займёт то или иное исследование, менялись в диапазоне от 50 лет вплоть до всего лишь пары лет. И это за каких-то четыре года, которые я работаю над проектом».[17]

Примечания[править | править вики-текст]

  1. 1 2 3 Goldstein (2005), p. 99-101
  2. Goldstein (2010b)
  3. 1 2 De Rosa (2009)
  4. Karagozler (2009)
  5. Karagozler (2006)
  6. Kirby (2005), p. 1730—1731
  7. Kirby (2007)
  8. Aksak (2007), p. 91
  9. Goldstein (2010a)
  10. Ashley-Rollman (2007b)
  11. Ashley-Rollman (2007a)
  12. De Rosa (2008)
  13. Rister (2007)
  14. De Rosa (2007)
  15. Funiak (2008)
  16. Goldstein (2009), p. 29-45
  17. Byrne (2008)

Литература[править | править вики-текст]

  • Ashley-Rollman, M. P., De Rosa, M., Srinivasa, S. S., Pillai, P., Goldstein, S. C., & Campbell, J. D. (2007a). Declarative Programming for Modular Robots. In Workshop on Self-Reconfigurable Robots/Systems and Applications at IROS '07.
  • Ashley-Rollman, M. P., Goldstein, S. C., Lee, P., Mowry, T. C., & Pillai, P. (2007b) Meld: A Declarative Approach to Programming Ensembles. In Proceedings of the IEEE International Conference on Intelligent Robots and Systems IROS '07.
  • Byrne, Seamus. (2008, December 22). Morphing Programmable Gadgets Could Soon Be a Reality. Retrieved February 20, 2010 from http://www.news.com.au/morphing-gadgets-could-soon-be-a-reality/story-0-1111118387380
  • De Rosa, M., Goldstein, S. C., Lee, P., Campbell, J. D., Pillai, P. & Mowry, T. C. (2007) Distributed Watchpoints: Debugging Large Multi-Robot Systems. In Proceedings of the IEEE International Conference on Robotics and Automation ICRA '07.
  • De Rosa, M., Goldstein, S. C., Lee, P., Campbell, J. D. & Pillai, P. (2008) Programming Modular Robots with Locally Distributed Predicates. In Proceedings of the IEEE International Conference on Robotics and Automation ICRA '08.
  • De Rosa, M., Goldstein, S. C., Lee, P., Pillai, P., & Campbell, J. (2009). A Tale of Two Planners: Modular Robotic Planning with LDP. 2009 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2009, October 11, 2009 — October 15.
  • Funiak, S., Pillai, P., Ashley-Rollman, M. P., Campbell, J. D., & Goldstein, S. C. (2008). Distributed Localization of Modular Robot Ensembles. In Proceedings of Robotics: Science and Systems.
  • Goldstein, S. C., Campbell, J. D., & Mowry, T. C. (2005). Programmable Matter. Computer, 38(6), 99-101.
  • Goldstein, S. C., Mowry, T. C., Campbell, J. D., Ashley-Rollman, M., De Rosa, M., Funiak, S. et al. (2009). Beyond Audio and Video: Using Claytronics to Enable Pario. AI Magazine, 30(2), 29-45.
  • Goldstein, Seth C. (2010a, January). Software Research. Retrieved March 2, 2010 from http://www.cs.cmu.edu/~claytronics/software/index.html
  • Goldstein, Seth C. (2010b, January). The Claytronics Team. Retrieved February 20, 2010 from http://www.cs.cmu.edu/~claytronics/people/index.html
  • Karagozler, M., Kirby, B., Goldstein, S. C., Lee, W., & Marinelli, E. (2006). Ultralight Modular Robotic Building Blocks for the Rapid Development of Planetary Outposts. Revolutionary Aerospace Systems Concepts Academic Linkage (RASC-AL).
  • Karagozler, M. E., Goldstein, S. C., & Reid, J. R. (2009). Stress-Driven MEMS Assembly + Electrostatic Forces = 1 mm Diameter Robot. 2009 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2009).
  • Kirby, B., Goldstein, S. C., Mowry, T., Aksak, B., & Hoburg, J. (2005). Catoms: Moving Robots Without Moving Parts. AAAI (Robot Exhibition), 1730—1731.
  • Kirby, B., Goldstein, S. C., Mowry, T., Aksak, B., & Hoburg, J. (2007). A Modular robotic System Using Magnetic Force Effectors. Proceedings of the IEEE International Conference on Intelligent Robots and Systems (IROS '07).
  • Rister, B. D., Campbell, J. D., Pillai, P., & Mowry, T. C. (2007). Integrated Debugging of Large Modular Robot Ensembles. In Proceedings of the IEEE International Conference on Robotics and Automation ICRA '07.

Ссылки[править | править вики-текст]