Выбор и спецификация выбора числа

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

Выбор и спецификация выбора числа [c.45]

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

Б. Переходим теперь к определению р в ра. Каждая предпосылка состоит из трех частей спецификации выбора числа, спецификации требования полноты и спецификации требования различения. [c.51]

Будем говорить, что лексическая спецификация и обозначаемая ею абстрактная спецификация выбора числа соотнесены с (36) и (37). [c.52]

Во-вторых, будем говорить, что предпосылка р санкционирует выбор (31), если длина выбора р лежит в пределах, устанавливаемых спецификацией выбора числа предпосылки р. Иначе говоря, если р имеет вид ( с й), то требуется, чтобы (кроме того случая, когда и есть тире в [c.53]

Можно было бы точнее представить спецификации выбора числа, если под и понимать наименьшее кардинальное число недопустимых альтернатив, так чтобы при трансфинитных обобщениях до некоторой мощности можно было бы писать вместо тире просто Ца- Однако такую систему обозначений, хотя и необходимую при трансфинитных обобщениях, в конечных случаях значительно труднее запомнить. [c.53]

Обозначив через Р (х) выражение х — простое число между 10 и 20ъ, можно представить вопросы (26) и (27) в форме ( с й) (х — целое число // Р (х)), использующей одно-альтернативную спецификацию выбора числа. Эти вопросы, следовательно, санкционируют выборы Р 1), Р(6) и т. д., но не Р(17) Р(19) (неправильный выбор числа, не санкционируемый предпосылкой), а также не Р(3/4) (выбор, санкционируемый предпосылкой, но не субъектом — неправильная категория). [c.54]

Эти вопросы сходны друг с другом во всех отношениях, кроме одного оба имеют одинаковые субъекты и одинаковые, почти неограниченные спецификации выбора числа, однако первый вопрос в отличие от второго требует полноты ответа. Задавая вопрос (28), конечно, неуместно требовать сверх выбора (43) еще и выполнения какой-либо разновидности полноты ответа. Ответом на (28) служат примеры чисел, и наложение требования полноты привело бы к тому, что Б ответе будет больше информации, чем требуется в вопросе, точно как в той истории с отцом из города Литл-Рок. [c.57]

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

Чтобы лучше понять, как работают понятия спецификации выбора числа и требования полноты, полезно произ- [c.64]

Спецификация выбора числа [c.65]

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

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

В предыдущем примере мы рассмотрели вопрос о выборе числа параллельных определений для случая, когда в спецификации указан верхний предел содержания вещества в пробе. Точно так же решается задача о выборе числа параллельных определений для случая, когда в спецификациях указан нижний предел для определяемого компонента. При этом только формула (9.2) заменяется аналогичной формулой для определения нижней границы [c.333]

Рассмотрим автоматизированную систему составления проектно-заказной документации на трубопроводы (СТРУНА), разработанную в Центре САПР-Хим. Сформулируем принципы и требования, лежащие в основе системы. Главное требование, предъявляемое к системе автоматизированного составления спецификаций по трубопроводам,— универсальность (что отражено и в обозначении системы СТРУНА есть аббревиатура, составленная из начальных букв полного наименования Система проектной документации по трубопроводам универсального назначения). Необходимо обеспечить полный объем выпуска документации на трубопроводы, в том числе и на технологические трубопроводы, межцеховые коммуникации, системы водоснабжения и канализации, паропроводы и теплотрассы. Должна иметься возможность включать в состав трубопровода любое изделие из любого материала. В системе СТРУНА универсальность обеспечивается многоуровневым выбором элементов трубопровода, который рассмотрен ниже. [c.46]

Поскольку подсистема МС одновременно может вести обработку любого числа линий и заранее неизвестно, в какой линии требуется автоматизированный выбор, все элементы трубопровода проходят обработку в обеих частях подсистемы. Функции системы АВД подробно описаны в гл. II. Здесь важно подчеркнуть, что в результате обработки в АВД элементы трубопровода с автоматическим выбором преобразуются в стандартные элементы трубопровода (см. ниже) и только после этого обрабатываются второй частью МС, наряду с остальными элементами линии. Кроме того, в задачу этой подсистемы входит распознавание вида элемента трубопровода (арматура, материалы, опора и т. д.), анализ синтаксических и семантических, т. е. содержательных ощибок, размещение обработанных элементов трубопровода в ХЗЛ и, наконец, выдача, формирование и печать документа — монтажных спецификаций по обработанным линиям. [c.49]

Известно, что значительная часть арматуры поставляется вместе с фланцами и уплотнительным комплектом (прокладки, детали крепежа). Эти элементы могут быть выбраны системой автоматически специальным модулем АРФА. Модуль АРФА формирует задание на стандартный фланец (или два фланца в зависимости от числа комплектов) с автоматическим выбором уплотнительного комплекта к нему и передает это задание (или задания) в модули обработки автоматизированных стандартных элементов. Работа этих модулей рассмотрена ниже. На практике встречаются случаи, когда поставляемый комплект к арматуре не пригоден или не нужен. Для избежания подобного рода неприятностей в СТРУНЕ предусмотрен единый принцип полной или частичной отмены автоматизации. Рассмотрим его на примере арматуры. Наличие символа в конце поля шифр означает для арматуры, что комплект фланцев и крепежа не требуется. Система исключает в этом случае работу блока АРФА, и в монтажную спецификацию включается только арматура. [c.54]

Далее выполняют расчеты оборудования. Первоначальный выбор оборудования производится при разработке схемы производства. По данным материальных расчетов определяют число единиц, размеры и производительность устанавливаемого оборудования, уточняют его тип и корректируют схему производства. Расчет заканчивают составлением спецификации оборудования. [c.52]

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

Первая часть предпосылки — s — есть спецификация выбора числа, которая в нашем анализе устанавливает верхний и нижний пределы числа выборов. На наш взгляд, более удобной для за110минания будет запись этих пределов в виде следующей вертикально расположенной пары чисел верхнее число указывает на верхнюю границу выбора числа, а нижнее — на нижнюю ( ). v, вообще говоря, может принимать значения О, i, 2,. . ., но, чтобы избежать пустых Быбороз, мы потребуем, чтобы на место v подставлялись натуральные числа 1, 2, 3,. . ., за исключением числа 0. Верхнее число должно быть больше или равно нижнему. Если понадобится показать, что верхний предел не установлен, будем вместо и писать тире ( ,). Например, запись I означает, что спецификация выбора числа между 3 и 5 , а запись показывает, что число выбранных альтернатив во всяком прямом ответе должно быть по крайней мере 3 и ке иметь верхнего преде. 1а. Одно-альтернативная спецификация выбора числа обозначается как 1, а почти неограниченная спецификация — как I. [c.52]

Мы будем говорить, что такая запись является лексической спецификацией выбора числа и что она обозначает соответствующую абстрактную спецификацию, которую с свою очередь можно представить в виде упорядоченной пары кардинальных чисел (или тире), подчиняющейся ограничениям типа изложенных выше. Подставляя вместо s в (34), получим запись для предпосылок (36) и соответственно для интеррогативов (37) [c.52]

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

С другой стороны, вопросы (22) и (28) будут иметь запись, использующую почти неограниченную спецификацию выбора числа, а именно ( 1 с и) х — целое число // Р (х)), и тем самым санкционируют каждый из перечисленных выше выборов, а также выборы типа Р(17) Р(19). Однако выбор Р(3/4) будет по-прежнему категорной ошибкой. Помимо [c.54]

Ввиду того что, как мы указывали выше, для естественного языка вопрос о различении в явном виде обычно не встает, классификация вопросов, построенная на допущении, что спецификация требования различения может варьироваться независимо от спецификаций выбора числа и требования полноты, не будет иметь той объяснительной силы, что имеет классификация вопросов, представленная в таблице (разд. 1.3.2). Однако ради сохранения единообразия в терминологии мы предлагаем добавлять или не добавлять прилагательное различающий к ранее установленным типам вопросов в зависимости от того, какая спецификация требования различения используется в вопросе — непустая или пустая. Далее, поскольку требование различения избыточно, когда вопрос использует одно-альтернативпзто спецификацию выбора числа, единственными интересными дополнениями к табл. из разд. 1.3.2 будут различающий вопрос, исчерпывающий список, и различающий вопрос с несколькими примерами. Оба типа вопросов накладывают требование различения. Отсутствие слова различающий будет указывать на то, что требование различения не наложено. Сказанное следует понимать как то, что сущест- [c.70]

Итак, последовательностный выбор, санкционированный интеррогативом I в М, есть последовательность , быть может бесконечная, реальных альтернатив, предоставляемых I в М, мощность которой заключена между экстремальными значениями, устанавливаемыми спецификацией выбора числа интеррогатива I (прим, 3). Реальный ответ на I в М — это упорядоченная пара, первый член которой есть I, а второй — последовательностный выбор, санкционированный I в М. Пусть S есть последовательностный выбор, санкционированный I в М. Тогда будем говорить, что реальный ответ истинен в М, если выполняются следующие условия 1) каждый элемент из S истинен в М 2) в случае если I устанавливает требование максимальной полноты, то каждая истинная реальная альтернатива, задаваемая I в М, лежит в S и 3) в случае если / устанавли- [c.78]

Спецификации выбора числа остаются, конечно, такими же, как и раньше требованиям различения также мсжко придать абсолютно точный смысл, поскольку в исчислении предикатов первого порядка у нас имеется естественное понятие различения для дескрипторов они раз- личны, если не применимы в точности к одним и тем же вещам. Например, если выбор имеет вид Нф Нф, то соответствующее требование различения выглядит как Vx HgX=H.x). Обобщить требование различения на случай выборов произвольного числа достаточно просто, и мы предоставляем это читателю. Гораздо более неприятную проблему ставят перед нами требования полноты. Хотя вполне разумно задать вопрос, отсутствуют ли в выборе какие-нибудь из предоставленных истинных альтернатив, у нас кет, вообще говоря, способа выразить это на языке исчисления предикатов первого порядка. Требование полноты содержит переменные, пробегающие по свойствам, и тем самым оно поднимает нас до онтологического уровня. Мы вполне могли бы остановиться на одном частном случае, когда множество связанных с данным определителем дескрипторов конечное и, следовательно, область также конечна. В этом случае требование полноты можно будет выразить через конечную конъюнкцию. Детали этой логической конструкций Еосстанзвлйзат-стся без особого труда. [c.87]

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

Рассмотреппый выше пример интересен тем, что он дает возможность наглядно представить себе ту сложную ситуацию, с которой приходится сталкиваться аналитику при выборе числа параллельных Определений. Для разумного выбора верхнего предела содержания примеси необходимо, чтобы между допустимым содержанием веш,ества, указанным в спецификации, и верхним пределом содержания примеси, предусмотренным технологической инструкцией, был разрыв, величина которого обусловливается тем элементом неопределенности, который вносится неточностью анализа. Чтобы рассмотренная выше схема была вполне приемлемой для завода-изготовителя, нужно, чтобы технология ведения мартеновского процесса обеспечивала получение подавляюш его большинства плавок с содержанием серы не более 0,045%. Если же технология ведения мартеновского процесса отработана так, что значительное количество плавок в интервале 0,045—0,050%, то, конечно, предложенная выше система контроля даже при п==1 становится неэффективной, а дальнейшее увеличение параллельных определений, конечно, уже практически невозможно. [c.333]

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

На стадии проекта единственная полностью рутинная работа это гидравли-ческие расчеты. Остальные этапы работы предварительная трассировка, "принятие основных решений об используемых материалах и даже оформление спецификаций и смет не могут быть полностью формализованы, так как выполняются в условиях значительной неопределенности и неполноты информации. На стадии рабочих чертежей число рутинных этапов работы и общий объем рутинных работ значительно выше. К ним полностью относятся выполнение расчетов трубопроводов на прочность и жесткость, оформление монтажных и сводных спецификаций на материалы и арматуру трубопроводов, выпуск смет, оформление заказных спецификаций на пусковой комплекс, проект тепловой изоляции трубопроводов. Большой объем рутинных работ содержится также в процессе принятия решений о выборе материалов, стандартов и типоразмеров труб и деталей трубопроводов. Поэтому в дальнейшем рассматриваются вопросы автоматизации проекти-рования трубопроводов, ji р( .новцому-4<а..-с,та и 1рабрчи . чертежей, [c.8]

После выбора и разработки унифицированных конструкций выполняют их нормализацию по типоразмерам. Основные элементы пресс-форм нормализованы (МН 1451—61—МН1513— 61, МН1514-61-МН1535-61). Сущность процесса нормализации заключается в разработке ряда чертежей на определенное число стандартных деталей. Чертежи снабжают таблицами исполнительных размеров этих деталей. При наличии чертежей-нормалей процесс проектирования сводится к вычерчиванию общего вида с указанием в спецификации номеров применяемых нормализованных деталей. Трудно поддаются нормализации детали, непосредственно соприкасающиеся с перерабатываемым материалом. Однако в некоторых случаях они также могут быть нормализованы (прямоугольные пуансоны, обоймы пресс-форм полузакрытого типа, резьбовые знаки и некоторые другие детали). Помимо нормализации деталей целесообразно создавать нормали на их отдельные элементы, характер сопряжений, способы закрепления и т. д. [c.391]

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

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