期刊名称：Advances in Science and Technology Research Journal
印刷版ISSN：2080-4075
电子版ISSN：2299-8624
出版年度：2011
卷号：5
期号：9
页码：52-67
语种：Polish
出版社：Society of Polish Mechanical Engineers and Technicians
摘要：Rozważany problem doboru, alokacji i planowania działań grupy robotówmobilnych w środowisku pomieszczeń zamkniętych sformułowany został w modeludeklaratywnym języka OZ Mozart. Dla zadanego zbioru zmiennych decyzyjnychcharakteryzujących środowisko pomieszczeń zamkniętych i przemieszczające się w nimroboty oraz zbioru ograniczeń wiążących te zmienne, poszukiwana jest strategiaplanowania struktury i alokacji elementów umożliwiająca w określonym horyzoncie czasuinspekcję zadanej liczby pomieszczeń. Proponowane podejście zilustrowane zostało nazałączonych przykładach.
其他摘要：Declarative modeling provides attractive perspective for integrated approach to selection,docking and routing planning of multi mobile robot inspection system problemformulation. For given set decision variables describing indoor environment and actingrobots as well as the set of constraints limiting these variables robots’ navigation strategyis sought out. The solution should respond to the question: what kind and how many andin which way initially docked robots enable to inspect a given indoor environment withina given time horizon? The approach proposed is illustrated on multiple examples.
关键词：system robotów mobilnych;inspekcja pomieszczeń;programowanie z graniczeniami
其他关键词：multi mobile robot system;indoor inspection;constraints programming
