<<
>>

Гипотеза

Первый шаг состоит в построении гипотезы. По результатам тестовых запусков построенных автоматных программ была сформулирована гипотеза о том, что агенты реализуют модификацию алгоритма BUG-2[85] с учетом того, что поле клетчатое.

Основная идея алгоритма BUG-2состоит в следующем. Агенты двигаются по кратчайшей линии к цели, пока это возможно. Когда агент упирается в препятствие, имеются два варианта. Если возможно повернуть и продолжить движение по кратчайшей линии к цели (не натыкаясь на

препятствия), то агент может это сделать. Кроме того, он может перейти в режим обхода препятствия. Когда можно продолжить движение к цели (оторваться от препятствия), агент это делает. Условие, при котором можно продолжить движение к цели: агент ближе к цели, чем точка соприкосновения с препятствием и можно идти в сторону цели.

5.4.

<< | >>
Источник: Лукин Михаил Андреевич. Верификация автоматных программ. Диссертация на соискание ученой степени кандидата технических наук. Санкт-Петербург - 2014. 2014

Еще по теме Гипотеза:

  1. Деформативность железобетонных балок трапециевидного сечения
  2. О применяемых методиках расчета ширины раскрытия нормальных трещин
  3. Сущность электроэрозионного способа
  4. Ширина раскрытия трещин железобетонных конструкций трапециевидного поперечного сечения
  5. ИСТОЧНИКИ АДМИНИСТРАТИВНОГО ПРАВА.
  6. Сведения об авторах
  7. Некоторые вопросы реформирования административного правосудия в Кыргызской Республике
  8. Тема: ПРОИЗВОДСТВО В СУДЕ КАССАЦИОННОЙ ИНСТАНЦИИ
  9. О понятии финансового опциона
  10. § 2. Понятие и функции нотариата
  11. ГРИБОВСКАЯ Наталья Юрьевна. ЛЕКСИКА ТВЕРСКИХ ГОВОРОВ, ХАРАКТЕРИЗУЮЩАЯ ЧЕЛОВЕКА (СЕМАНТИКО-МОТИВАЦИОННЫЙ АСПЕКТ). Автореферат диссертации на соискание ученой степени кандидата филологических наук. Тверь - 2019, 2019
  12. 26. Возникновение гражданских правоотношений не предусмотренных в ГК
  13. П.2 Частотная зависимость условий существования объемных и эванес­центных волн TM- (ТЕ-) типа и соответствующих типов сечений ПВВ в коллинеарной фазе скомпенсированого ЛО АФМ с ЦАС. Полярная MOK
  14. 59 ВИДЫ И ФОРМЫ ДОГОВОРА.
  15. Микрополе «Речевая деятельность»
  16. Определение предела прочности при сжатии и при изгибе спеченных заготовок
  17. Смешивание исходных материалов
  18. Исследование микроструктуры и изломов закаленных низколегированных порошковых сталей