Cтраница 3
В некоторых специальных диагностических задачах, связанных с управлением режимом разряда на основе полученной информации, более удобной в прикладном отношении может быть несколько иная трактовка условий корректности, отвечающая современным понятиям кибернетики. В этих случаях исходными являются термины множества переходов для множества операндов, которые определяют преобразование. Преобразование может быть задано не указанием физической причины изменений, а конкретизацией начальных и конечных состояний операндов данного множества. При таком подходе к проблеме корректности в условиях абстрагирования от рассмотрения совокупности реальных физических факторов возникают определенные модификации адамаровских условий корректности. [31]
Обмен допускает перенос с изменением спиновой мультиплетности каждого иона на 0, 2, спиновая мультиплетность пары не меняется. Это важно в связи с тем, что множество переходов в парах происходит именно с изменением спина. [32]
Выходные сигналы при этом определяются так же, как и в предыдущем случае. Очевидно, что все множество переходов между произвольными отметками zs и г, определяет множество переходов между состояниями zs и zr автомата Мили. Как видно из рис. 311, а, переход из состояния zl в г2 соответствует пустому множеству микроопераций, а переходы из г2 в za и из zg в z4 вызываются только синхронизирующими сигналами. [33]
Аналогично, записи О ( /)) и / ( / -) суть обозначения множеств переходов, или событий, являющихся соответственно выходом и входом данной позиции. [34]
Пример свободной сети показан на рис. 4.6 а. В свободной сети каждое конфликтное место ( место, из которого выходит более чем одна дуга) является входным для такого множества переходов, в котором при любой разметке любой ( но один) из переходов может сработать или все переходы не могут сработать. Эта сеть не является свободной. [35]
Автоматизированное проектирование технологии обработки изделий машиностроения прежде всего базируется на архиве ранее спроектированных типовых технологических процессов. В режиме взаимодействия с ЭВМ технолог осуществляет выбор вариантов технологии обработки деталей, определяет виды обработки поверхностей, типовые планы, этапы и множества переходов обработки поверхностей деталей. Выбранные переходы ЭВМ распределяет по видам обработки, затем производит выбор заготовок и расчет режимов обработки. На следующем этапе САПР реализует задачу определения технологических маршрутов обработки деталей и технологических операций внутри видов обработки. Обычно эта задача в САПР решается как многовариантная. [36]
Особенностью блок-сополимера является то, что оба блока, составляющие молекулу, способны к кристаллизации. Для выявления всех возможных температурных переходов в БСУ в интервале от - 120 до 200 С были исследованы его аморфизированные, образцы, на термограммах которых видно множество переходов, Из термограмм следует также, что размеры блоков достаточны для проявления ими индивидуальных свойств после введения их в БСУ. Наблюдаемый в области от - 75 до - 65 С перегиб соответствует процессу расстекло-вывания блоков ОТГ, а следующий за ним экзотермический максимум при - 58 С - процессу их кристаллизации. Эндотермический минимум при 17 С соответствует плавлению кристаллической фазы, образованной блоками ОТГ в ходе нагревания БСУ. Предшествующий ему перегиб при - 19 С относится к процессу рас-стекловывания блоков ОУ, кристаллизация которых характеризуется экзотермическим пиком при 27 С. Как видно из термограммы, при плавлении кристаллической фазы, образованной блоками ОТГ, начинается кристаллизация блоков ОУ, поэтому температурные области этих процессов трудно выделить. [37]
Многие из первых исследователей не давали формального определения своих моделей, а описывали неформально относящиеся к их работе компоненты, такие, как позиции, переходы, фишки и правило запуска. Одно из первых формальных определений было дано Патилом [231] в его докторской диссертации, в которой сеть Петри определялась в виде четверки ( Т, Р, Л, В), где Т - множество переходов, А - множество дуг, Р - множество позиций и В - начальная маркировка. [38]
Однако вследствие близкой генетической связи хинонов с ароматическими соединениями кажется более целесообразным рассмотреть их в этом разделе. Существует множество переходов от хино-идных соединений к бензоидным и обратно, и для многих сложно построенных производных хинонов ( например, для некоторых красителей) еще остается спорным вопрос, какая формула, хиноидная или бензоидная, больше соответствует их свойствам. [39]
Однако вследствие близкой генетической связи хинопов с ароматическими соединениями кажется более целесообразным рас - CMOipCTb их в этткм разделе. Существует множество переходов от хино-н 1 пых соединен и ii к бепзопдным и обратно, и для многих сложно построенных производных хинонов ( например, для некоторых красителей) еще остается спорным вопрос, какая формула, хппоидпая или бензоидная, больше соответствует их свойствам. [40]
Со второй частью данного предположения дело обстоит сложнее. Ошибки случаются редко, поэтому в большинстве случаев подобные переходы не происходят. Естественно, существует множество переходов вперед, не связанных с ошибками, поэтому процент успеха здесь не так высок, как в переходах назад. [41]
При распределении ресурсов между параллельными процессами системы могут возникать тупики. Особенно остро эта проблема проявляется в области вычислительной техники. Тупик в сети Петри - это множество переходов, которые не могут быть запущены. Выявление таких тупиков можно назвать исследованием сети Петри на активность. [42]
![]() |
Таблицы, построенные по обобщенному описанию автомата 8 т. [43] |
Из рассмотренных примеров видно также, что разные обобщенные описания могут иметь разную степень неопределенности, с которой они задают описываемый объект. Одно из них точно задает описываемый триггер, т.е. эквивалентно полному перечислению его переходов. Второе, напротив, позволяет построить большое количество вариантов множества переходов. Это число вариантов ( или какая-либо функция от него) и может служить оценкой степени неопределенности обобщенного описания. [44]
Следующим важным правилом является правило суммы / - ряда2), являющееся расширением правила, доказанного в разделе 3 гл. Мы называем / - рядом, относящимся к данному уровню, такую совокупность линий в множестве переходов, которая связывает один данный уровень одной конфигурации со всеми уровнями другой конфигурации. [45]