Высказывания совместные

А. П. Семенов, обобщая различные высказывания о природе схватывания , выдвинул энергетическую гипотезу образования металлических связей при трении [27]. Придерживаясь в вопросах трения молекулярно-механической теории, А. П. Семенов считает Характер взаимодействия поверхностных слоев металла при трении, являющемся, в сущности, процессом совместного деформирования поверхностных слоев трущихся тел, ничем принципиально не отличается от характера взаимодействия при любых видах совместного деформирования металлов, лежащих в основе процессов соединения металлов в твердом состоянии . [c.126]

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

Лемма. Последовательность Р попарно непересекающихся высказываний образует совместное множество наблюдаемых. [c.92]

Теорема 12. Для того чтобы два высказывания Р и Q были совместными, необходимо и достаточно, чтобы существовали три [c.92]

Доказательство. Достаточность следует из предыдущей леммы. Действительно, предположим, что такое разложение существует. Поскольку P°Q = R, множество Q) совпадает с множеством (/ , Р, Q ). Последнее же, как мы только что установили, ассоциативно. Таким образом, Р и Q — одновременно наблюдаемые и, согласно 8-й аксиоме о структуре, совместны. Необходимость следует из построения. В самом деле, предположим, что высказывания Р и Q совместны. Мы знаем (теорема 8), что множество Р, Q) ассоциативно. Следовательно, мы можем построить элементы R = P°Q, 1 = Р — Я и Ql = = Q — R, которые все принадлежат множеству (Р, Q). Из ассоциативности же последнего следует, что построенные высказывания действительно являются непересекающимися и, таким образом, удовлетворяют условию теоремы. [c.93]

Примечание. Условия этой теоремы представляются настолько естественными, что иногда ее принимают за определение совместности двух высказываний [424]. Кроме того, из теоремы 12 можно вывести одно следствие [c.93]

Возвращаясь к понятию совместных высказываний, докажем теперь следующую теорему [c.94]

Теорема 13. Необходимое и достаточное условие совместности двух высказываний Р и Q состоит в том, что Р, А, Q = О для всех Л е Щ. [c.94]

Высказывания, попарно не пересекающиеся (ортогональные) 70, 92 ---, необходимое и достаточное условие существования 93 —, необходимое и достаточное условие совместности 94 [c.416]

Совместность двух наблюдаемых 52 Соотношения между топологиями 151 Совместные высказывания 92 Состояния аксиомы 54 [c.419]

Один из способов преодоления консерватизма комитета экспертов состоит в умышленном стимулировании более радикального, нестандартного мышления. Этого можно достичь при так называемой мозговой атаке , суть которой в проведении совместных заседаний экспертов по определенным правилам, направленным на создание обстановки свободного высказывания суждений. Этот метод с начала 50-х годов широко используется в США и в некоторых странах Западной Европы для стимулирования творческого мышления отдельных специалистов и групп экспертов с целью открытия оригинальных новых идей на основе интуитивного мышления и достижения единой точки зрения по исследуемой проблеме. Метод применяется в крупных корпорациях, например Lo kheed , o a- ola . При Министерстве почт Англии образована группа думающих для использования и развития метода творческого мышления . [c.71]

Здесь уместно напомнить высказывание отца кибернетики выдающегося ученого и замечательного писателя Норберта Винера Отдайте же человеку — человеческое, а вычислительной машине — машинное. В этом и должна, по-видимому, заключаться разумная линия поведения при организации совместных действий людей и машин. Линия эта в равной мере далека и от устремления машинопоклонников, и от воззрений тех, кто во всяком использовании механических помощников в умственной деятельности усматривает кощунство и прини-л<ение человека. В наше время мы остро нуждаемся в объективном изучении систем, включающих и биологические, и механические элементы , [c.9]

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

И равенство Л (Р) ( ) = О, заключаем, что Р и Р — идем-потенты. Кроме того, P == 2Q° Q°P) — Q°P 2Q°P —Q°P= = Qo Р. Следовательно, мы можем написать равенства Р = Q ° Р, Pl = P — Q°P и Q,=Q —Qop, которые и дают разложение высказываний Р и С , удовлетворяющие условиям теоремы 12. Итак, мы приходим к заключению, что Р и Q совместны. Теорема 13 доказана. [c.95]

Неассоцнативность симметризованного произведения 52 Невырожденное представление 222 Необходимое и достаточное условие полной Т)-абелевости 236 ----совместности двух высказываний 94 [c.417]

Ключевой проблемой прц построении экспертных систем [1] является проблема представления и использования знаний, которыми обладают эксперты, т.е. люди, имеющие существенный и положительный опыт при решении задач определенного класса. Это справедливо, естественно, и для экспертных систем в САПР. Исходя из анализа классов решаемых задач, а ими являются задачи выбора параметров проектирования, определения вариантов проектирования и обнаружения аналогов проектируемому изделию, в качестве моделей представления знаний предлагаются системы условных нечетких высказываний, с помощью которых экспертами описываются характеристические признаки проектируемого изделия. Совместно с методами дедуктивного и индуктивного нечеткого логического вывода, применяемого для решения поставленных задач, фактически приходим к модели, удачно сочетающей в себе как декларативное, так и процедурное представление знаний. Кроме того, использование нечеткости при построении условных высказьтаний позволяет формально включать в них значения экспертов, выраженные вербальными категориями типа много , средне , мало , часто , вероятно , приблизительно столько-то и т.п. [c.3]

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

Энциклопедия по машиностроению XXL

Оборудование, материаловедение, механика и ...