Cтраница 3
Результаты работы Тьюринга были обобщены и переформулированы различным образом. Интересным обобщением является понятие А - вычислимости. Оно относится к классу таких машин Тьюринга, которые имеют ту дополнительную особенность, что они могут на какой-то стадии расчета задать вопрос второму устройству-оракулу и использовать его ответы для дальнейших вычислений. Оракул может дать ответы на некоторые вопросы, которые не в состоянии решать обычная машина Тьюринга, и, следовательно, его введение позволяет решать гораздо более широкий класс задач. [31]
Получены интересные обобщения, основанные на представлениях о связях между растворимостью участников сложной системы в каждом из ее компонентов, с одной стороны, и эффектами всаливания и высаливания, - с другой. [32]
Получены интересные обобщения, основанные на представлениях о связях между растворимостью участников сложной системы в каждом из ее компонентов, с одной стороны, и эффектами всаливания и высаливания, - с другой. [33]
Развивая взгляд о натяжении углеродных связей, высказанный в магистерской диссертации, пишет: В частицах органических соединений нужно признать существование натяжения связей между углеродными атомами, приближающее их к диссоциации. Далее приводятся интересные обобщения, в частности о том, что натяжение связей достигает наибольшей величины при простой связи и особенно при циклических группировках, еще более повышенное при наличии в цикле кратных связей. [34]
Полезно найти особые ограничения или обобщения Г - графов языка. Одно из интересных обобщений связано с заданием некоторых функций длины на дугах графа. В начальный момент длины всех дуг одинаковы. По мере последовательного использования дуг значения их функции длины возрастают. Альтернативные варианты путей выбираются всегда с учетом длины. Таким образом, накапливая опыт, машина улучшает качество своей работы. Если такую взвешивающую схему встроить, например, в транслятор с ФОРТРАНа, то транслятор сможет в некотором смысле обучиться распознаванию стиля и почерка отдельных программистов. [35]
Однако для больших деформаций последнее может привести к упругой неустойчивости ( выпучиванию) и соотношения между напряжением и деформацией будут по форме, но не по масштабу деформаций напоминать соотношения, имеющие место при асимптотических условиях течения. Гипо-упругая среда представляет интересное обобщение классической упругой среды; поэтому она не имеет ничего общего с пластической средой, механизм рассеивания которой, обусловленный движением дислокаций, не зависит от допущения больших деформаций. [36]
Большую серию работ, в которых исследовалось оптическое вращение в гомологических рядах углеводородов, спиртов, кислот, нитрилов, альдегидов, аминов, выполнил Левин с сотрудниками. Остановимся на одном интересном обобщении, явившемся результатом работ школы Левина, так называемой таблице Маркера. [37]
В результате проведенных работ появляется возможность перехода к оптимизации уровней изученности, геологического строения залежи. В последние годы были получены интересные обобщения, позволяющие обоснованно подходить к формулированию критерия оптимальной изученности или нормативных уровней изученности на различных стадиях освоения нефтяных ( А. Я. Фурсов, Р. А. Егоров и др.) и газовых ( Н. Р. Коваль-чук, А. Н. Лапердин) месторождений. [38]
К ним относятся течения в вертикальных факел ах / возникающие в результате сосредоточенного стационарного подвода энергии, и течения в невосходящих и восходящих струях, образующиеся при стационарном воздействии импульса и выталкивающей силы. Рассмотрение термиков включено в книгу в качестве содержательного и интересного обобщения часто возникающих течений. Эти аналитические формулы основаны на - очень малом количестве сведений, но на хорошей интуиции. [39]
К ним относятся течения в вертикальных факелах, возникающие в результате сосредоточенного стационарного подвода энергии, и течения в невосходящих и восходящих струях, образующиеся при стационарном воздействии импульса и выталкивающей силы. Рассмотрение термиков включено в книгу в качестве содержательного и интересного обобщения часто возникающих течений. Эти аналитические формулы основаны на очень малом количестве сведений, но на хорошей интуиции. [40]
Знаменитая асимптотическая теорема Браудера о неподвижной точке утверждает, что для существования неподвижной точки отображения Т достаточно, чтобы оно было вполне непрерывным и существовали множества SoSSiSS2, такие как это указано выше. Используя методы, применяемые нами в этой главе, можно доказать следующее интересное обобщение этого езультата. [41]
Разработка и проверка этой эвристической программы была осуществлена на трех задачах: на И-элементной задаче, заимствованной у Джексона [510], на 21-элементной задаче, использованной в качестве иллюстрации в данной статье и рассмотренной Митчеллом [74], и на 70-элементной реальной промышленной задаче. Хотя число примеров недостаточно, чтобы сделать обоснованные выводы об эффективности этого методаi, можно все же сделать несколько интересных обобщений. [42]
Вместе с тем развитие исследований в области систем, где растворителем является пар, представляет значительный интерес и для общей теории растворов. Исследование влияния физико-химических свойств растворителя данного химического состава в очень широком диапазоне его постепенного изменения от холодной жидкости до высокоперегретого пара дает возможность сделать очень интересные обобщения. [43]
Сравнительно недавно появилась работа Ковеса [64] о промышленных пластмассовых деталях высокой точности, отражающая опыт Испании. В этой работе рассмотрены технологические факторы, определяющие точность деталей, и оценено влияние эксплуатационных условий на изменение размеров деталей за счет теплового расширения, влагонасыщения и действия внешних нагрузок. Интересное обобщение работ по размерной точности деталей из термореактивных пластмасс дается в статье Валлхойзера [65], где подробно исследуются причины изменения размеров. Особый интерес представляет методика расчета усадочных напряжений, которые приводят к существенным изменениям размеров и форм деталей из пластмасс. [44]
Уже для уравнений второго порядка этот метод, в применении ко второй краевой задаче, дает решения для любых контуров, освобождая от ограничений, которые налагает на область метод Куранта. Метод проекций применим к эллиптическим уравнениям любого порядка и даст доказательство существования не только для задач типа Дирихле, но и, например, для выделенных автором задач, являющихся аналогами задачи Неймана. Автором получаются интересные обобщения на уравнения высшего порядка теории периодов многозначных решений этих уравнений. [45]