Гилмора
Cтраница 1
Гилмора хорошо согласуется с точной теорией всюду, за исключением последних стадий схлопывания пустой или почти пустой каверны. Заметим, что в случае газовых каверн расчеты дают конечное, а не нулевое минимальное значение радиуса. Повышение внешнего давления р, от 1 до 10 атм оказывает заметное влияние на скорости ( фиг. [1]
Исследования Ван Хао и Гилмора в большой степени относятся к новой ветви прикладной логики, впервые изложенной Ван Хао. Ожидается, что результаты инференциального анализа приведут к машинной проверке новых математических результатов, а в конце концов приведут к получению машинных доказательств новых и трудных теорем. Нам думается, что инферен-циальный анализ имеет отношение также и к проблеме разумного поведения машин. Однако автомат будущего, столкнувшись с реальным миром, будет, безусловно, вынужден в основном опираться на эвристики, так как для необычных формальных систем, которыми будет описываться его окружение, традиционные методы математической логики будут, вероятно, неприменимы. [2]
В своей реализация этого метода Гилмор основывался на том, что дизъюнкт логически непротиворечив ( см. Определение 2.5.19) тогда и только тогда, когда его отрицание невыполнимо в некоторой интерпретации. Программа Гилмора была, однако, не способна анализировать слишком сложные формулы логики предикатов. [3]
В главе 15 все - новое и целиком принадлежит Бобу Гилмору и Лоренцо Нардуччи. [4]
В нижнедевоиских песчаниках на глубине 3600 - 3780 м установлена залежь газа на месторождении Гилмор в грабене Эйдавейл. [5]
Бассейн Эдейвл связан с небольшой впадиной на Восточно-Австралийской плите. К пиж-недевонской свите лог-крик ( горизонт Д-4) приурочено единственное в бассейне месторождение Гилмор. Оно связано с осложненной дизъюнктивами брахиантикли-налыо. [6]
 |
Распределение двулучепреломления в изделиях из атактического полистирола, изготовленных литьем под давлением. [7] |
Разработка технологии литья под давлением для атактического полистирола являлась предметом многих исследований, однако подобные работы для цикло-полиолефинов практически отсутствуют. Исследования трансформации структуры атактического полистирола в процессе литья под давлением начались с работы Спенсера и Гилмора [40], опубликованной полвека назад: при анализе поперечных срезов изделий на них были обнаружены сложные картины двулу-чепреломления, изменение которых зависело от параметров технологического процесса. Вторая волна исследований была инициирована Боллменом с соавторами [74, 75] в 1960 - х гг. Авторами также исследовалось двулучепреломление в сечениях отлитых изделий. [8]
При движении в соплах давление и температура пара, переносящего взвешенные в нем капли жидкости, изменяется в направлении расхода. Возникает вопрос, насколько температура поверхности капелек отстает от температуры окружающего их пара при тех темпах изменения параметров, которые характерны для течения в соплах, а также, с какой скоростью происходит выравнивание температур в пределах самой капли. Гилмора, согласно которым наибольшая разность температур в пределах капли радиуса до 10 - 5 мм менее 0 02 град. Таким образом, в масштабе времени прохождения сопла можно считать, что температуры в центре капли и на ее поверхности практически оди каковы. [9]
Гилмора хорошо согласуется с точной теорией всюду, за исключением последних стадий схлопывания пустой или почти пустой каверны. Заметим, что в случае газовых каверн расчеты дают конечное, а не нулевое минимальное значение радиуса. Повышение внешнего давления р, от 1 до 10 атм оказывает заметное влияние на скорости ( фиг. Последнее означает, что конечный радиус будет меньше, если сжатый газ отдаст часть тепла жидкости, в результате чего давление будет большим. Гилмора дает значение показателя 0 5, когда R мало, а U велико. [10]
Страницы: 1