Существование - тип
Cтраница 1
Существование необщих системных типов позволяет аппаратуре определять разнообразные типы ошибок доступа к объектам, которые происходят, если операнд команды отображается на объект с системным типом, несоответствующим семантике данной команды. Например, попытка выполнить команду RECEIVE, операнд которой не задает объект порт, приведет к ошибке на уровне процесса. Существует большое число ошибок такого рода, определяемых аппаратно. [1]
Доказательства теорем существования типа только что сформулированной слишком сложны, чтобы их можно было здесь изложить. [2]
В этом параграфе мы докажем существование максимального орбитного типа для локально гладкого действия на связном многообразии и обсудим некоторые следствия этого. Подобно большинству результатов этой главы, данный результат может быть доказан и без предположения о локальной гладкости ( см. Монтгомери [6]), однако сделать это значительно труднее. В этом параграфе G обозначает компактную группу Ли, действующую на - мерном многообразии М локально гладко и так, что М - M / G связно. [3]
Отсюда он заключает, что существование установившегося типа волн, вплоть до высоких волн Митчела, следует рассматривать практически, если не теоретически, как вполне достоверное. Наконец, существование указанных волн было строго установлено исследованием проф. [4]
Рассмотрение различных точек зрения по вопросу существования пневматолитового типа необходимо было сделать, чтобы показать сложность вопроса, а также еще недостаточную его разработанность. Для мощных интрузий, длительное время существующих в виде расплава, вынос рудных веществ летучими компонентами магмы может быть значительным и достаточным для образования месторождения. Малые по массе интрузии и их быстрое остывание неблагоприятны для образования значительных отложений рудных минералов. [5]
Но главное, что было высказано Дюма в сообщении об открытии трихлоруксусной кислоты - это новые представления о существовании типов органических веществ. В данный момент - писал он - из превращения уксусной кислоты в хлоруксусную, альдегида в хлораль, из того факта, что весь водород этих тел может замещаться равными объемами хлора без изменения основного характера их - необходимо сделать вывод, что в органической химии существуют определенные типы соединений, которые сохраняются даже в том случае, когда содержащийся в них водород замещается равным объемом хлора, брома или иода. [6]
Изучение Терениным и Роевым ( 1959) адсорбции окиси азота на окисях никеля, хрома и алюминия позволило установить существование независимых типов центров на поверхности этих материалов. [7]
Каждый конкретный логический тип определяет множество последовательностей двоичных знаков 0 и 1, не превышающих определенную длину в пределах от 1 до 250 знаков. Логические типы системы ИНЕС подразумевают неявное существование типов: двоичный с двумя значениями 0 и 1 и шестнадцатиричный с шестнадцатью значениями, соответствующими шестнадцатиричным цифрам. [8]
В этих молекулах ( СЬ, СС14, С2Н4 и С2Н2) электронная пара для каждой одинарной связи обеспечивается двумя соединяющимися атомами, каждый из которых отдает по одному электрону. Перкинс ( 1921 г.) постулировал существование похожего типа связи, в котором оба электрона для связывающей пары принадлежат только одному из двух соединяющихся атомов. [9]
Анализ показывает, что информация, содержащаяся в усредненных ответах каждого из этих двух локальных клеточных ансамблей, достаточна для различения двух периферических сигналов. Ансамбль из многочисленных реагирующих клеток обнаруживает поразительную стабильность в ответах, говорящую о существовании неизменного типа разрядов в ответ на каждый отдельный стимул. Напротив, активность одиночной клетки в высшей степени вариативна, проявляясь в виде разнообразных типов ответов при действии тех же самых стимулов. [10]
Итак, если исключить неск. Существование нск-рых типов переменных звезд связано с развитием подобных локальных неустойчивостей. [11]
 |
Распределение эрозии внутри навигационной зоны. [12] |
Одновременно происходит и перемещение области, подверженной наиболее интенсивному износу. В тех случаях, когда кавитационная зона замыкается за пределами рассматриваемой поверхности, интенсивность ее разрушения резко уменьшается. Это, в частности, указывает на возможность существования суперкави-тирующих типов гидромашин и таких режимов их работы, при которых развивавшаяся кавитация, снижая энергетические показатели гидромашин, не будет сопровождаться значительным износом деталей проточной части. [13]
Тот факт, что задача разрешения и ее дополнение могут быть неодинаковой сложности, противоречит нашему интуитивному представлению. Трудность здесь проистекает из необычной природы недетерминированного вычисления: ответ да должен соответствовать оператору успех; мы не можем просто взять дополнение к выходу недетерминированного алгоритма, поменяв местами успех и неудача, поскольку окончательный успех требует только одного успешного пути вычислений, в то время как окончательная неудача требует, чтобы все пути вычисления вели к неудаче. Таким образом, оказывается, что недетерминированное вычисление более приспособлено для задачи существования типа существует ли элемент х, такой, что некоторое свойство для него выполняется. [14]
В нашей литературе имеет место тенденция к отождествлению принципа причинности и принципа детерминизма. При таком отождествлении причинности и детерминизма само использование термина детерминизм оказывается излишним. Более логично в таком случае для обозначения учения о регулярной обусловленности использовать термин каузализм. Кроме того, такое отождествление ведет к исключению самой возможности существования непричинных типов и видов обусловливания, а значит, и к исключению возможности существования непричинных законов, что противоречит реальной практике науки. [15]
Страницы: 1 2