Cтраница 4
Советы министров республик и исполнительные комитеты областных ( краевых) Советов депутатов трудящихся обязаны обеспечивать выделение колхозами почтальонов, возчиков, а также транспортных средств для перевозки и доставки почты и осуществлять контроль за правильным заключением соответствующих договоров между колхозами и предприятиями связи. [46]
При использовании логических способов контроля исправности схем [7] естественным образом вводится и затем используется понятие проверяющего теста как множества входных наборов ( значений переменных), которые можно последовательно подать на входы схемы, чтобы затем по наблюдаемым значениям на выходе схемы сделать правильное заключение об исправности схемы. Важнейшей характеристикой теста является число наборов в нем, которое принято называть длиной теста. В связи с этим возникает необходимость разработки методов синтеза легкотестируемых схем, которые при известном характере неисправностей элементов допускают тесты по возможности меньшей длины. [47]
Это требует тщательного и систематического изучения всей площади образца: надо выяснить, во-первых, нет ли следов второй фазы и, во-вторых, там, где встречаются редкие частицы второй фазы - распределены ли они достаточно однородно, чтобы по их количеству сделать правильное заключение о состоянии всего образца. В большинстве случаев для такого исследования достаточно использовать подвижной предметный столик микроскопа; это - позволит просмотреть ряд мест на поверхности образца и оценить неравномерность распределения второй фазы. [48]
Используя рациональные формулы Жерара, Лоран вывел закон четности атомов в молекуле, сформулированный им следующим образом: Во всяком органическом соединении сумма атомов водорода, азота, фосфора, мышьяка, металлов и галоидов должна быть четным числом [7], Этот закон позволил разобраться в большом количестве разнообразных органических соединений и привел к правильному заключению об их составе. [49]
Типичное контекстное дерево в системе MYCIN ( Buchanan and Shortliffe, 1984У. [50] |
В данном случае мы приходим к заключению, что микроорганизм, описанный в узле ОРГАНИЗМ-1, относится к классу энтеробактерий со степенью уверенности, равной 0.6 х 0.8 0.48. Сомножитель 0.6 - это степень уверенности в выполнении совокупности условий, перечисленных в правиле, а 0.8 - степень уверенности в том, что правило дает правильное заключение, когда все означенные в нем условия гарантированно удовлетворяются. [51]