Связки

В качестве связующих применяют также вещества, придающие исходной массе пластичность. Это свойство позволяет придать массе определенную форму. На последующих стадиях обработки носителя эти вещества могут удаляться тем или иным способом. К такому типу удаляемых связующих относится парафин (до 20%), стеариновая кислота, стеарат алюминия, декстриновый и крахмальный клеи (7—15%). При использовании крахмала в качестве связки его обрабатывают молочной кислотой и нагревают до температуры 100—200° С. [c.29]

Оказывается, стоит только потребовать, чтобы конъюнкция и дизъюнкция были связаны друг с другом некоторым отношением минимальности, как каждая клетка будет определена однозначно. Здесь можно пойти несколькими возможными путями. Мы выберем путь, равноправный со всеми другими, согласно которому ограничения, стандартно устанавливаемые связками и V, одни и те же. [c.219]

Следствие и вывод четырехзначная логика. Чего же мы все-таки достигли Мы еще не получили логику, поскольку еще не имеем правил для порождения и оценки выводов. (В нашем случае мы действительно хотим построить некоторые правила, которые компьютер сможет использовать для порождения того, что он знает неявно, из того, что ему известно явно.) Все, что у нас пока есть,— это четыре интересных значения с указаниями относительно того, как дружественный компьютер должен ими пользоваться, а также три прекрасные связки с полными и обоснованными таблицами для каждой из них. Как известно, множество других связок может быть выражено посредством уже определенных, так что для наших целей этих трех связок вполне достаточно. [c.223]

Предположим теперь, что имеется высказывание, содержащее наши связки. Вопрос состоит в том, когда его [c.223]

Катализатор получают пропитыванием носителя в водном растворе нитрата никеля. Носитель получают смешением 90—99 мас.% окиси алюминия с 0,2—3 мас.% связки, состоящей из 0,1—2,8 мас.% крахмала (предварительно обработанного кислотой и затем нагретого до температуры 100—200° С), 0,05—2,0 мас.% карбонатов щелочных металлов 0,5—2,5 мас.% фосфатов металлов (А1, 81, Ре, 2г, Мо). Гомогенную смесь формуют, сушат в формах и прокаливают при 1250—1350° С. Затем пропитывают в водном растворе нитрата никеля и снова прокаливают [c.73]

В течение некоторого времени мы занимались такого рода логической деятельностью, хотя вначале возникла теория доказательств и лишь впоследствии — семантика. История вопроса примерно такова. Довольно давно, в 1962 г., А. Андерсон и я предложили рассмотреть группу выводов, которые мы назвали тавтологическими следствиями, т. е. группу, включающую в себя все разумные выводы (содержащие связки , V. ). которые всякий психически нормальный и достаточно тренированный логик хотел бы сделать. Мы построили различные формализации этих выводов в виде теории доказательств и показали, что восьмизначная матрица достаточна для того, чтобы охарактеризовать эти выводы семантически. [c.225]

Уго.мь. ..... 2. Воздух. ..... 3. Водяной пар. ... 100,0 336,0 29,3 1. Генераторный газ. . 2. Зола. ..... 3. 1 (связки баланса. . 460,5 4,3 0,5 [c.283]

Прокалка гранул смешанного катализатора превращает полупродукт в готовое изделие. На этой стадии происходит окончательное упрочнение катализатора и завершается формование его пористой структуры. Прокалку катализатора осуществляют при температурах 650—1500° С в течение 1—8 ч. Чаще всего температура прокалки составляет 1300° С. Лишь при получении катализаторов с применением такой связки, как цемент, принято прокаливать катализатор при более низкой температуре (650—870° С). [c.23]

Носитель готовят смешением 57—68 мас.% глинозема с 15—25 мас.% алюминиевой пудры и 17—18 мас.% парафина (связка) [c.89]

В качестве основного компонента выбирается тривиальное название наибольшей подходящей структурной единицы, приведенной в табл. 5.2 (если таких единиц две, то выбирается та, которая помещена в таблице позднее). В выбранной структуре, начиная от связи 1,2 все грани по периметру обозначаются строчными (малыми) курсивными буквами латинского алфавита а, Ь, с и т. д., как это показано в (15). Полное название составляется подстановкой названия причлененной структуры (со связкой о ) перед названием основы. В квадратных скобках обозначается порядок сочленения для этого указывают локанты атомов причлененной структуры, участвующих в конденсировании, и буквенное обозначение грани основной структуры. Затем, если это необходимо, формула может быть переориентирована в соответствии с правилами (1) — (3), описанными на с. 100, и пе- [c.105]

В исчислении предикатов, в отличие от исчисления высказываний, заданы правила оперирования не только с логическими связками, но и с кванторами. В исчислении предикатов высших порядков кванторы употребляют как с предметными переменными, так и с предикатными символами и функциональными переменными. Каждому предикатному символу соответствует некоторое имя, представляющее собой название отношения, отображаемого этим предикатом. В общем случае отношение — это совокупность <р упорядоченных наборов из п элементов данного множества в каждом наборе элементов. Элементы, входящие в один набор, находятся в отношении <р между собой, и его обозначают формулой У (й1,-, ) [c.50]

Для объяснения межатомных и межмолекулярных взаимодействий в кристаллах, жидкостях и газах достаточно ознакомиться с пятью типами химической связки ковалентной связью в неметаллах, металлической связью, ионной связью, водородной связью и вандерваальсовым взаимодействием. Каждый из этих типов связи определяет ту или иную прочность взаимодействия между атомами. Рассмотрим их подробнее. [c.601]

В настоящее время успешно проводятся исследования по разработке моделей ОЕЯ (русского и английского языков) химиков-технологов, которые используют МПЗ в виде ИП, ПП и СГ [58, 59]. При помощи ИП можно в стандартном виде отобразить многие сложные предложения ОЕЯ. При этом можно избежать двусмысленности таких предложений, записанных в виде логических формул ИП, удобных для обработки с помощью ЭВМ. Такие преобразования предложений ОЕЯ в виде логических формул возможны благодаря тому, что одни логические связки ИП могут быть эквивалентно выражены через другие. [c.146]

При конструировании сложных высказываний из элементарных выполняемые кванторами и логическими связками функции под- [c.146]

Теперь квантор е распространяет свое действие на все выражение, и, следовательно, знак квантора можно опустить. Главная трудность преодолена. Далее включают связку импликация с помощью правила А- В = A V В. [c.158]

Эта логическая функция на самом деле содержит две разные логические функции со связкой ИЛИ [c.158]

Исходя из законов алгебры логики, два последовательно установленных в линии контакта выполняют роль связки [c.146]

И(Х1-Х2), два контакта, установленные параллельно (так, что срабатывание любого из контактов делает линию токопроводящей), выполняют роль связки ИЛИ ( 1 + Ха) контакт, работающий па размыкание, осуществляет логическую операцию ОТРИЦАНИЕ (инверсия). [c.146]

Дслокализованная л-связь. Рассмотрим химические связи в кар-бона1-ионе СО3. Этот ион имеет треугольное строение. Атом углерода за счет электронов. чр -гибридных орбиталей образует три ст-связк, лежащие в плоскости под углом 120°. Четвертый электрон углерода образует я-связь. Валентное насыщение одного атома кислорода достигается за счет образования л-связи, двух других — за счет присоединения электрона. Строение такого иона изображают следующей формулой [c.77]

В тех особых ситуациях, когда понадобится иметь, к примеру, четное число альтернатив, можно ожидать, что глубинный ассерторический язык будет достаточно сильным, чтобы выразить этот факт, представив его как часть субъекта. В наши предпосылки вопрооон мы включаем только те спецификации, которые, подобно связкам и кванторам ассерторической логики, являются нейтральными по своей теме . [c.48]

В описанном нами языке исчисления предикатов первого порядка есть шесть основных частей речи открытые и замкнутые формулы, открытые и замкнутые термы, функционально-истинностные связки и кванторы. Какой-вопрос представляет собой открытую формулу (матрицу), которую требуется заполнить замкнутыми термами (именами). Про эту формулу будем говорить, что она лежит в основании /са/соы-вопроса, а про термы — что они являются ее дезидератами. Конкретный вид альтернативы устанавливается обычным способом путем соединения открытой формулы с именами, т. е. применяется подста- [c.84]

Второе замечание касается того, что наши четыре значения были предложены только в связи с выводами и мы, безусловно, не предполагали использовать их для определе-НИЯ.Т0Г0, какие формулы со связками , V и рассматриваются в качестве, так сказать, логических истин. Фактически ни одна формула не принимает всегда значение Т, и, следовательно, это свойство не может служить семантиче- [c.228]

Во всяком случае, семантика, приданная связкам, распространяется на кванторы общности и существования очевидным образом, и я буду предполагать, что это уже сделано. Оказывается, что различные альтернативные возможности не требуют каких-либо различий в отношении логики (за исключением, очевидно, случая, когда область конечна и все объекты имеют имена) общезначимые следования первой степени из работы Ан)1ерсона и Белнапа [19651 также годятся (дополненные для конечного случая законом, в соответствии с которым конъюнкция, пробегающая по всей области, влечет соответствующее универсальное утверждение). [c.234]

В [11 A. Андерсон и H. Белнап рассмотрели логику следования первого порядка, являющуюся фрагментом релевантной логики. Следованиями первого порядка являются формулы вида /4 -> , где Л, суть формулы, не содержащие вхождений связки следования - . Указанный фрагмент релевантной логики называется логикой тавтологических следований и обозначается посредством Е ,. [c.281]

Легковесную глину смешивают с измельченным фар( ром и измельчают до получения частиц диаметром около 0,04 мм. Затем 100 частей этой смеси соединяют с 2—6 частями 0,8% -ной карбоксиметилцеллю-лозы, экструдируют в гранулы размером 0,5 мм, которые покрываются 1—2 частями порошка органического вещества (древесные опилки с диаметром частиц 0,04—0,15 мм). Затем медленно смешивают 75— 67 частей гранул с 5—7 частями вещества (диаметр частиц 0,07—0,15 мм), образующего микропоры, и покрывают 5—6 частями глины с 3—5 частями связки. Смешивают 85—70 частей гранул с 7—15 частями порообра-зующего вещества (имеющего диаметр частиц 0,25—2,4 ми) 6—10 [c.90]

Изоляционная конструкция из оштукатуренных ми-нераловатных скорлуп применяется при диаметре изолируемого объекта в пределах й от 57 до 273 мм, а из минерального войлока на битумной связке — при О от 57 до 89 мм. [c.207]

Н. Н. Абрамовым [21] показано, что авария участка с равнозначным показателем надежности может оказывать совершенно различное влияние на характер снижения подачи воды в зависимости от места расположения расчетного участка и его роли. Например, в водопроводной линии, состоящей из п последовательно соединенных участков сети с одинаковыми характеристиками надежности (см. схему распределения подачи воды, приведенную на рис. 36, а, авария на участке 5—6 лишает подачи воды лишь одного потребител.я из пяти (снижение подачи воды на 20%), тогда как а вария на "участке 1—2 полностью прекращает подачу воды. Рассматривая другие конфигурации распределительной сети (см. рис. 36,6 и 36, в), нетрудно убедиться, что надежность существенно зависит от трассировки водопроводной сети. На рнс. 37 изображена схема повышения надежности разветвленной сети, из которой следует, что наиболее высокую надежность имеет сеть, приведенная на рис. 37, д. Надежность тупиковой водопроводной сети (рис. 37, а, б, в, г) с шестью вершинами может быть повышена введением в нее резервных элементов, т. е. включением дополнительных связок, превращающих тупиковые линии в кольцевую сеть. Это мероприятие приводит к увеличению протяженности сети, а следовательно, и ее стоимости. Поэтому необходимо знать наименьшее число связо-к для превращения разветвленной сети в кольцевую. Из рассмотренных примеров нетрудно установить, что минимальное число связок, необходимое для превращения разветвленной сети, имеющей К вершин первой степени, при нечетном значении К составляет (/<+1) 2 связок и при четном значении К — К12, т. е. для примера (рис. 37) (7 + 1) 2 = 4 связки. [c.72]

Если по тем или иным условиям нельзя предусмотреть устройство кольцевой сети или прокладку водоводов в несколько ниток со связками, предусматривают другие мероприятия, обеспечивающие требуемую надежность системы водоснабжения. Так, например, если водопроводная линия проложена в одну нитку, то предусматривают запас воды из расчета требуемой подачи на тушение пожара при условии возможности снижения расхода воды на произ-водственно-питьевые нужды в размере 50% от расчетных на время ликвидации аварии. [c.77]

Для тонкой обработки различных твердых материалов большое значение имеет также алмазный порошок (мелко раздробленные кусочки алмаза). Для этого из стали (или меди) изготовляют алмазные круги, в поверхность которых втирается алмазный порошок на специальной цемснтирующ,ей связке. Алмазный порошок применяют такл е для резки оптического стекла и для высверливания в нем мал.ых отверстий. [c.354]

Язык ПРОЛОГ (РКОШС — PROgrantming т ЬОСк) — это язык интеллектуального программирования высокого уровня, основанный на исчислении предикатов 1-го порядка (см. разд. 5.1 и 5.4). Программы на ПРОЛОГе представляют собой совокупность фактов (утверждений) и правил. Утверждения (факты) отображаются предикатами, логическими связками и константами, образующими БД. Правила отображаются дизъюнктами Хорна (см. разд. 5.4). Выполнение программы на ПРОЛОГе инициируется запросом, состоящим из предикатов, логических связок, констант и переменных. [c.217]

Справочник химика 21

Химия и химическая технология