Cтраница 4
Но в исходной модели поведения потенциального нарушителя мы условились, что нарушитель будет в единственном числе и ему известны прочность преграды и сложность пути ее обхода. [46]
Постепенно усложняя исходную модель приближают ее к реальному кабелю или проводу. [47]
Постепенно усложняя исходную модель приближают ее к реальному кабелю или проводу. [48]
В теории Слетера исходная модель молекулы представляет собой механическую систему, состоящую из связанных между собой частиц, совершающих гармонические колебания вокруг некоторого положения равновесия. Частоты колебания частиц различны, но обмен энергиями между ними невозможен без внешнего воздействия. Изменение суммарной энергии молекулы и перераспределение энергии между отдельными колеблющимися частицами происходит только при столкновении. Активной, способной к мономолекулярному распаду, становится такая молекула, в которой на вполне определенном осцилляторе сосредоточивается некоторая критическая энергия в. Далее необходимо, чтобы мономолекулярное превращение произошло до очередного столкновения, в результате которого может произойти дезактивирующее перераспределение колебательной энергии. [49]
В теории Слетера исходная модель молекулы представляет собой механическую систему, состоящую из связанных между собой частиц, совершающих гармонические колебания вокруг некоторого положения равновесия. [50]
Сокращают число подсистем исходной модели. [51]
Несмотря на примитивность исходной модели, этот подход дает возможность понять физическую сущность различных приближений в теории и сделать грубые, но реалистические оценки порядка величины вероятности переноса энергии. В первой главе излагается также теория Ферстера, сыгравшая, как уже отмечалось, важнейшую роль в развитии всей проблемы переноса энергии. [52]
Следовательно, надежность исходной модели и всех манипуляций с ней должны быть идеальными. Не секрет, что нередко исследователи торопятся получить результат вообще, не задумываясь над тем, насколько он будет отвечать природным условиям. В итоге появляются карты, количественные оценки и прочие результаты, ничего общего с реальной природой не имеющие, но весьма щедро представленные в литературе. С этих позиций никакая скрупулезность в построении математических моделей, определении круга условий их применимости и оценках точности результатов не может быть излишней. [53]
Пользуясь ограниченным числом основных исходных моделей, можно построить любой из типоразмеров. [54]
По сравнению с исходной моделью, описанной в работе [123], здесь учитываются также: наличие в системе нескольких источников снабжения, рельеф местности, множество индивидуальных характеристик ветвей и узлов PC. Множественность источников снабжения отражается с помощью знака у величин расходов: полагается xt 0, когда соответствующая ветвь хотя бы частично снабжается от источника, выбранного в качестве главного ( т.е. корня дерева, характеризующего оптимизируемую PC); задается х - 0, если снабжение ветви i полностью осуществляется от любых других источников. [55]
ЭВМ, являющаяся начальной, исходной моделью в серии ЭВМ данного типа. [56]
Как только системе заданы исходная модель и множество операторов, перед ней можно поставить задачу в форме целевого предложения. При этом система STRIPS должна найти последовательность операторов, преобразующих исходную модель ( или состояние) в конечное состояние, в котором верно ( доказуемо) целевое предложение. STRIPS начинает с того, что пытается доказать правильность целевого предложения в исходной модели. Если доказательство не удается завершить, программа выделяет различие между начальной моделью и целевым условием, указывая множество предложений, которые могут помочь завершить доказательство. Если подходящий оператор выбран, то его условия применимости образуют подцели, которые должны быть достигнуты, и аналогичный процесс решения задачи может быть применен теперь уже к ним. Если можно доказать, что условия применимости оператора соблюдаются в рассматриваемом состоянии среды, то подцели тем самым оказываются достигнутыми, и описание результатов действия оператора используется для порождения нового состояния. Процесс формирования новых подцелей и новых состояний продолжается до тех пор, пока не будет получено такое состояние, в котором может быть доказана истинность целевого условия. Последовательность операторов, порождающая это состояние, является искомым решением. [57]