Cтраница 4
Хг, которая начинается с XQ: вырожденного слоя первоначального семейства с разрешенной особой точкой, Xi... Xr i изоморфны У х Р1 и пересекаются трансверсально по кривой, изоморфной У, а Хг или имеет такой же вид, или является рациональной поверхностью с рациональными двойными точками - в этом случае процесс построения цепочки заканчивается. [46]
Каждая ветвь графа может входить только один раз в одну цепочку. Если при построении цепочки встретилось разветвление, то выбирается та ветвь, которая соответствует минимальному модулю индекса образовавшегося продолжения. Полученные цепочки либо сами являются фразами, либо могут быть разбиты на более мелкие цепочки, являющиеся фразами. [47]
Дополнительное исследование подтверждает ее принадлежность спектру CaGe03, а столь высокая частота vos ( GeOGe) может указывать на значительное распрямление одного из мостиков Ge-О - Ge в цепи. В спектре низкотемпературной формы SrGe03 такой полосы нет и, в отличие от CaGe03, три полосы vs ( GeOGe) очень близки по частоте. Можно предполагать, что построению цепочки CaGeO3 ближе к бустамиту, чем к р-волластониту ( распрямление одного из углов GeOGe), хотя полная аналогия кристаллических структур едва ли возможна: в бустамите имеется 2 сорта катионов ( Саа и Мп2), которые расположены упорядоченно. Этот вопрос будет рассмотрен подробнее в последующих сообщениях. [48]
В связи с тем, что G2 ориентирована на динамические приложения, работающие в реальном времени, машина вывода должна иметь средства для сокращения перебора, реакции на непредвиденные события и т.п. Главным недостатком традиционно используемого в статических ЭС прямого и обратного вывода является непредсказуемость затрат времени на их выполнение. Следующая образная интерпретация позволяет понять недостаток традиционных методов построения цепочек логического вывода и необходимость выхода на метауровень ( focus и invoke) в динамических системах. [49]
N - s интегралов - сложному, вообще говоря, процессу, особенно в тех случаях, когда рассматривается термодинамический предел. Будем исходить из соображений, аналогичных применявшимся при построении цепочки ББГКИ ( см. разд. Если функции, определенные выражением (7.1.12), подставить в цепочку уравнений (3.4.7), то получается цепочка уравнений для функций n s, мы, однако, выведем несколько более удобную систему уравнений. [50]
Изучение хороших программных примеров дает, как. В данной книге такой научной областью, стоящей за большинством примеров, является искусственный интеллект. Читатель узнает о таких идеях в области автоматического решения задач, как сведение задач к подзадачам, прямое и обратное построение цепочки рассуждений, ответы на вопросы как и почему, а также разнообразные методы поиска. [51]
Иногда необходимо провести четкую границу между направленностью цепочки и направленностью действительных рассуждений. Эти две операции представляют разные уровни анализа. Очевидно, что цепочка является реализацией рассуждений, а не наоборот, но стратегия рассуждений управляет процессом построения цепочки, что в данном случае выполняется манипулированием лексемами цели. [52]
Программы обслуживания библиотек обеспечивают по директивам пользователей запись, чтение или удаление разделов библиотеки, печать и реорганизацию каталога, построение специальных цепочек библиотечных программ, употребляемых наиболее часто. Эти же программы собирают статистические сведения о частоте обращения к отдельным объектам библиотеки и на основе этих сведений очищают библиотеки от неиспользуемых программ и массивов пользователей, относительно которых нет указаний о сохранении объектов. [53]
Ei ( k, o) 2, то, сопоставляя ( 20), ( 21) с ( 7), ( 8), нетрудно убедиться, что соответствующие разложения не вполне идентичны, хотя и весьма сходны между собой. Так как метод корреляционных функций опирается на меньшее число допущений, то ему, по-видимому, следует отдать предпочтение. Впрочем, для выяснения структуры более высоких членов разложения большим преимуществом может обладать метод Винера в силу более простой схемы построения цепочек. [54]
Доказать теорему означает, пользуясь логическими и математическими аксиомами, построить цепочку логических выводов так, чтобы последнее звено совпадало с утверждением теоремы. Если построить такую цепочку удается, то говорят, что теорема полностью доказана. Лишь очень небольшое число математических теорем обладает полными доказательствами. Обычно построение цепочки - занятие настолько канительное, что авторы любого, даже самого подробного трактата по основаниям математики ( такого, как, например, Основания математики Расселла и Уайтхеда) оставляют на долю читателя множество логических шагов, а сами предпочитают передвигаться скачками, - перепрыгивая через отдельные части доказательства. Математики тщательно следят за тем, чтобы восстановление пропущенных шагов в: доказательстве не требовало от читателя особых усилий. В противном случае говорят, что в доказательстве имеются пробелы и теорема не считается полностью доказанной. [55]