Cтраница 1
Контрмодели, штампы и приспособления простые - изготовление и реставрация моделей. [1]
Контрмодели, штампы, приспособления сложные и особо сложные - изготовление и реставрация моделей. [2]
Технологический процесс изготовления штампов с пластмассовой облицовкой может быть выполнен по гипсовой контрмодели, а также по эталонной металлической детали. [3]
Покажем, что каждая выполнимая формула имеет связную модель или, что то же, что каждая необщезначимая формула имеет связную контрмодель. [4]
Металлическую плиту, предварительно нагретую до температуры 180 - 200, устанавливают на подвижной стол пневматического цилиндра, расположенного под пескодувной головкой. На модельную плиту устанавливается контрмодель и п оджимается к пескодувной плите. В зазор между подмодельной плитой и контрмоделью вдувается стержневая смесь. [5]
Покажите, что интуиционистское исчисление высказываний разрешимо: существует алгоритм, который по произвольной формуле определяет, выводима ли она в интуиционистском исчислении высказываний. Указание: оцените мощность контрмодели Крипке; можно обойтись и без этого, заметив, что и множество выводимых формул, и множество формул, имеющих конечные контрмодели, перечислимы. [6]
Модель называется связной, если она определена на связной модельной структуре. Модель Ф является моделью формулы А тогда и только тогда, когда А истинна в Ф, в противном случае Ф является контрмоделью для А. [7]
Покажите, что интуиционистское исчисление высказываний разрешимо: существует алгоритм, который по произвольной формуле определяет, выводима ли она в интуиционистском исчислении высказываний. Указание: оцените мощность контрмодели Крипке; можно обойтись и без этого, заметив, что и множество выводимых формул, и множество формул, имеющих конечные контрмодели, перечислимы. [8]
Металлическую плиту, предварительно нагретую до температуры 180 - 200, устанавливают на подвижной стол пневматического цилиндра, расположенного под пескодувной головкой. На модельную плиту устанавливается контрмодель и п оджимается к пескодувной плите. В зазор между подмодельной плитой и контрмоделью вдувается стержневая смесь. [9]
На основе проведенных исследований была разработана технология изготовления пластмассовых штампов. Первоначально изготовляют чугунные основания пуансона и матрицы. Основания пуансона и матрицы представляют собой их приближенную конфигурацию с учетом того, что на основание будет наноситься слой пластмассы толщиной 10 - 15 мм. Затем на отливке обрабатывается базовая плоскость и сверлятся заливочные отверстия диаметром 20 - 30 мм, которые служат одновременно для выхода воздуха при заливке. Расстояния между заливочными окнами составляют 150 - 250 мм. Чугунную отливку подвергают термической обработке для снятия внутренних напряжений. Для формирования рабочих поверхностей штампа используют деревянные мастер-модели. По размерам мастер-модели изготовляют деревянный ящик для заливки гипсовой контрмодели. [10]