Cтраница 2
Пространство состояний - это направленный граф, вершины которого соответствуют про - блемиым ситуациям, а дуги - возможным хода. Конкретная задача определяется стартовой вершиной и целевым условием. Решению задачи соответствует путь в графе. Таким образом, решение задачи сводится к поиску пути - в графе. [16]
Предположим, что имеется некоторая система, поведение которой зависит от управляющих воздействий. Требуется построить мозг этой системы так, чтобы формируемые им управляющие воздействия приводили к выполнению заданного целевого условия ( ЦУ), состоящего, как правило, в том, чтобы некоторые характеристики системы лежали в определенных пределах, зависящих от характеристик среды. Предположим, что неизвестны заранее условия, при которых должна функционировать система, а также, возможно, неизвестны некоторые параметры среды, системы или ЦУ. [17]
Признание субсидий, относящихся к доходу возможно либо в том отчетном периоде, в котором они получены, либо путем сопоставления признаваемых доходов с понесенными расходами. Применение обоих методов правомерно, но не всегда возможно. Например, получение правительственной субсидии без четких целевых условий ее использования может рассматриваться как получение общей финансовой помощи. Вполне возможно, что определить конкретно учитываемые расходы за счет такой субсидии невозможно. Всю полученную сумму следует признать в качестве дохода того отчетного периода, в котором она фактически получена. Правительственная субсидия получена на проведение научных исследований в определенной области знаний. Довольно точно можно определить сумму расходов на эти исследования в каждом отчетном периоде. Следовательно, субсидия признается доходом тех отчетных периодов, в которых были понесены соответствующие расходы. [18]
Признание субсидий, относящихся к доходу, возможно либо в том отчетном периоде, в котором они получены, либо путем сопоставления признаваемых доходов с понесенными расходами. Применение обоих методов правомерно, но не всегда возможно. Например, получение правительственной субсидии без четких целевых условий ее использования может рассматриваться как получение общей финансовой помощи. Вполне возможно, что определить конкретно учитываемые расходы за счет такой субсидии невозможно. Всю полученную сумму следует признать в качестве дохода того отчетного периода, в котором она фактически получена. Правительственная субсидия получена на проведение научных исследований в определенной области знаний. Довольно точно можно определить сумму расходов на эти исследования в каждом отчетном периоде. Следовательно, субсидия признается доходом тех отчетных периодов, в которых были понесены соответствующие расходы. [19]
В § § 11.3 и 11.4 рассматриваются задачи адаптивной оптимальной стабилизации для линейных управляемых систем ядерной ( зарядной) кинетики с интегральными функционалами A.M. Ляпунова и Н.Н. Красовского в детерминированном и стохастическом ( по быстродействию) вариантах. При синтезе регулируемых ядерных устройств в атомной энергетике крайне важно обеспечить надежное и точное функционирование оптимально-стабилизационных систем управления в условиях параметрической неопределенности и при наличии случайных возмущений. Материал двух последних параграфов посвящен определению точных аналитических законов управления и алгоритмов оценивания неизвестных параметров, гарантирующих обеспечение системой управления целевых условий с заданной степенью точности и на конечном промежутке времени. [20]
Робототехнические СТЗ работают в двух режимах: обучения и распознавания. В режиме обучения СТЗ предъявляет объекты разных классов ( например, детали и инструмент) в характерных рабочих ракурсах. По этим данным автоматически строятся описания классов и решающие правила, которые хранятся в базе знаний. В режиме распознавания осуществляется ( в зависимости от целевых условий) идентификация нужного объекта, классификация видимых объектов или анализ, описание и интерпретация рабочей обстановки. Полученная таким образом информация используется далее для адаптивного управления роботами и технологическим оборудованием ГАП. [21]
Как только системе заданы исходная модель и множество операторов, перед ней можно поставить задачу в форме целевого предложения. При этом система STRIPS должна найти последовательность операторов, преобразующих исходную модель ( или состояние) в конечное состояние, в котором верно ( доказуемо) целевое предложение. STRIPS начинает с того, что пытается доказать правильность целевого предложения в исходной модели. Если доказательство не удается завершить, программа выделяет различие между начальной моделью и целевым условием, указывая множество предложений, которые могут помочь завершить доказательство. Если подходящий оператор выбран, то его условия применимости образуют подцели, которые должны быть достигнуты, и аналогичный процесс решения задачи может быть применен теперь уже к ним. Если можно доказать, что условия применимости оператора соблюдаются в рассматриваемом состоянии среды, то подцели тем самым оказываются достигнутыми, и описание результатов действия оператора используется для порождения нового состояния. Процесс формирования новых подцелей и новых состояний продолжается до тех пор, пока не будет получено такое состояние, в котором может быть доказана истинность целевого условия. Последовательность операторов, порождающая это состояние, является искомым решением. [22]
Как только системе заданы исходная модель и множество операторов, перед ней можно поставить задачу в форме целевого предложения. При этом система STRIPS должна найти последовательность операторов, преобразующих исходную модель ( или состояние) в конечное состояние, в котором верно ( доказуемо) целевое предложение. STRIPS начинает с того, что пытается доказать правильность целевого предложения в исходной модели. Если доказательство не удается завершить, программа выделяет различие между начальной моделью и целевым условием, указывая множество предложений, которые могут помочь завершить доказательство. Если подходящий оператор выбран, то его условия применимости образуют подцели, которые должны быть достигнуты, и аналогичный процесс решения задачи может быть применен теперь уже к ним. Если можно доказать, что условия применимости оператора соблюдаются в рассматриваемом состоянии среды, то подцели тем самым оказываются достигнутыми, и описание результатов действия оператора используется для порождения нового состояния. Процесс формирования новых подцелей и новых состояний продолжается до тех пор, пока не будет получено такое состояние, в котором может быть доказана истинность целевого условия. Последовательность операторов, порождающая это состояние, является искомым решением. [23]