-Поиск по дневнику

Поиск сообщений в zhurnalist

 -Подписка по e-mail

 

 -Статистика

Статистика LiveInternet.ru: показано количество хитов и посетителей
Создан: 26.11.2010
Записей:
Комментариев:
Написано: 18


СОВМЕЩЕНИЕ ПРОЦЕССОВ СЕПАРАЦИИ И ПРЕДВАРИТЕЛЬНОГО СБРОСА ВОДЫ

Воскресенье, 16 Января 2011 г. 12:32 + в цитатник
Поскольку эксплуатация КДФ в режиме совмещенного устройства по сепарации и предварительному сбросу воды предопределяет потребность в еще одной ступени сепарации, были выполнены исследования влияния новой ступени на выход и качество Целевых продуктов (нефти и газа) в конечной точке перед комплексной установкой подготовки нефти, т.е. в резервуарах предварительного сброса воды.

Рассматривался вариант двухступенчатой сепарации на ЦПС с расположением КДФ перед первой ступенью и после нее - перед второй ступенью сепарации.

Давление в КДФ при его установке перед первой ступенью принималось равным 0,37 МПа (абс), перед второй ступенью -0,30 МПа (абс), что характерно для сепарационных объектов девонской нефти с использованием КДФ.

По сравнению с базовым вариантом двухступенчатой сепарации использование КДФ перед первой её ступенью позволяет повысить выход нефти на 0,05%, а перед второй - на 0,13%. Однако, увеличение объема выхода нефти в 126 схеме с использованием КДФ происходит, в основном, за счет некоторого сохранения в ней компонентов от пропана до пентанов включительно. При этом содержание компонентов в газе, выделившихся в резервуарах предварительного сброса, несколько возрастает, а в смеси газов сепарации - незначительно уменьшается.

Метки:  

ВЛИЯНИЕ НЕКОТОРЫХ ФАКТОРОВ НА СЕПАРАЦИОННЫЕ СВОЙСТВА ЭМУЛЬСИЙ

Воскресенье, 16 Января 2011 г. 12:31 + в цитатник
Объем пены с увеличением обводненности заметно снижается, что связано как с меньшим содержанием нефти в объеме эмульсии, так и с удерживанием части газа в объеме жидкости за счет повышения ее вязкости, так как время коалесценции и всплытия в объеме системы мельчайших пузырьков газа значительно возрастает из-за аномально-вязких граничных слоев «газ-жидкость».

Анализ свойств эмульсий Матросовского и Чегодаевского месторождений показал, что с увеличением обводненности нефти сепарационные характеристики нефтей существенно ухудшаются.
В частности, с увеличением водной фазы в нефти Матросовского месторождения до 60% стойкость пены повысилась более чем в 4,1 раза по сравнению с безводной нефтью, хотя кратность пены, характеризующая ее объем, уменьшилась в 10 раз, скорость разрушения пенной системы понизилась в 6,5 раз, т.е. с увеличением обводненности объем получаемой пены оказывается меньше, а время ее разрушения больше, чем безводной нефти.

Подобная закономерность характерна для эмульсий Чегодаевского месторождения.

При исследовании сепарационных свойств 50%-ой эмульсии этого месторождения наблюдалось незначительное увеличение объема нефтяной системы, при этом стойкость пены повысилась почти в 2,7 раза, кратность уменьшилась в 40 раз, а скорость разрушения пенной системы уменьшилась почти в 5,0 раз по сравнению с безводной нефтью.

Для определения влияния газосодержания эмульсий на процесс сепарации обводненных нефтей во время исследования в широком диапазоне изменяли расход барбатирующего газа через слой газоводонефтяной смеси, что создавало условия различной интенсивности разгазирования исследуемых эмульсий.

При увеличении газосодержания и интенсивности выделения газа из жидкости объем пены существенно увеличивается, причем этот показатель у эмульсий легких нефтей несколько выше, чем у более вязких нефтяных эмульсий Чегодаевского месторождения. Здесь для одной и той же нефти при одинаковом газосодержании объем пены незначительно снижается с увеличением обводненности нефти, причем в интервале обводненности от 10% до 30% объем полученной пенистой системы при больших расходах газа оказался почти одинаковым. В диапазоне приведенной скорости газа 2,5-3,5 см3/ссм2 объем пены для всех исследуемых эмульсий близок и составляет 40-50 см3 (кроме 40%-ой эмульсии Чегодаевского месторождения).

Метки:  

Кодирование состояний асинхронного автомата

Вторник, 04 Января 2011 г. 20:28 + в цитатник
Рассмотрим процесс перехода из состояния в состояние для асинхронного автомата, поведение которого представлено в табл. 22.1 с выделенными устойчивыми состояниями, где крайний правый столбец представляет произвольно выполненное кодирование состояний. Переход из одного состояния в другое в реальной схеме реализуется как смена набора состояний элементов памяти. Пусть сначала действует входной сигнал а1 и автомат находится в устойчивом состоянии q1 (код 000). Затем входной сигнал меняется на а3, и автомат согласно заданному поведению должен пойти в состояние q4 (код 011). В зависимости от того, какой из двух элементов памяти, z2 или z3, меняет свое состояние первым, автомат может оказаться на какое-то время в промежуточном состоянии, представленном набором состояний элементов памяти 010 либо 001. Если первым меняет свое состояние элемент z3, то автомат окажется в состоянии q2 (код 001), которое является устойчивым для входного сигнала а3, т. е. вместо того, чтобы идти в состояние q4, автомат остается в состоянии q2.

Таблица 22.1
Таблица переходов асинхронного автомата
а1 а2 а3 z1 z2 z3
q1 q1 q3 q4 0 0 0
q2 q1 q3 q2 0 0 1
q3 q1 q3 0 1 0
q4 q5 – q4 0 1 1
q5 q5 q3 q2 1 0 0

Рассмотренное явление носит название состязаний или гонок элементов памяти. Принято называть состязания неопасными, если все промежуточные состояния, в которых автомат может оказаться при переходе из одного состояния в другое под воздействием некоторого входного сигнала а, являются неустойчивыми для сигнала а, т. е. при любом порядке переключений элементов памяти автомат из некоторого состояния qi под воздействием входного сигнала а переходит всегда в состояние qj (a, qi). Если же при этом автомат может оказаться в некотором устойчивом состоянии qk, отличном от qj, то состязания называются опасными.

Метки:  

Явление состязаний элементов памяти

Вторник, 04 Января 2011 г. 20:26 + в цитатник
Асинхронный автомат отличается от синхронного тем, что промежуток между моментами времени, когда автомат меняет свое состояние, у него не фиксирован, а определяется изменением входного сигнала. В связи с этим на функцию переходов  накладывается следующее ограничение: если (a, qi)  qj для некоторых а  А и qi  Q, то (a, qj)  qj, т. е. всякий переход должен всегда вести в некоторое состояние, устойчивое при действующем в данный момент входном сигнале а. Естественно, что входной сигнал не должен меняться до тех пор, пока автомат не придет в устойчивое состояние. Без этих ограничений невозможно построить автомат, реализующий заданное поведение.

В реальных схемах не может быть одновременного изменения различных сигналов, допускаемого в абстрактной модели синхронного автомата. Реальные логические элементы обладают инерционностью, приводящей к некоторым задержкам их «срабатывания», причем разброс этих задержек для различных элементов носит случайный характер. Кроме того, сигналы, переключающие различные элементы памяти, могут проходить цепочки логических элементов, имеющие различную длину. Задержки на элементах в цепочках суммируются. Сами элементы памяти имеют различное время переключения. В схемах, работающих в синхронном режиме, такими задержками можно пренебречь, поскольку там процесс переключения элементов памяти и процесс формирования переключающих сигналов разделены во времени. В асинхронных схемах эти процессы происходят одновременно и указанное свойство реальных элементов должно учитываться.

Метки:  

Сборка гиперкубов и ДНФ

Вторник, 04 Января 2011 г. 20:25 + в цитатник
Для окончательного решения нашего примера выбран вариант сборки с максимальной суммой весов добавляемых ребер, равной 4. Этот гиперкуб показан отдельно на рис. 21.5, где возле каждой вершины представлен код соответствующего состояния.
Булев автомат, соответствующий данному варианту кодирования, представим тремя картами Карно, которые задают не полностью определенные функции z1+, z2+ и z3+ и строкам которых соответствуют состояния заданного автомата (рис. 21.6).

q1 • • q6 q6 • • q1 q7 • • q1 q8 • • q6
q2 • •q3 q2 • •q3 q2 • •q3 q2 • •q3
q7• • q8 q8• • q7 q8• • q6 q7• • q1
q5 • • q4 q5 • • q4 q5 • • q4 q5 • • q4
2 3 1 0

q7 • • q8 q8 • • q7 q1 • • q7 q6 • • q8
q2 • •q3 q2 • •q3 q2 • •q3 q2 • •q3
q1• • q6 q6• • q1 q6• • q8 q1• • q7
q5 • • q4 q5 • • q4 q5 • • q4 q5 • • q4
0 2 4 2
Рис. 21.4. Варианты сборки трехмерного гиперкуба

q6(101) q8
• •
q5(001) q4(011)
• •

q1(100) q7
• •
q2(000)
• • q3(010)
Рис. 21.5. Результат сборки гиперкуба с кодами состояний

х1 х2 х1 х2 х1 х2
0 1 0 1 0 0 0 0 0 q2
0
1 1 0 1 1 0 0 1 1 q5
0 0 0 1 0 0 1 0 1 q4
0 0 0 0 0 1 0 1 0 q3


0 0 0 1 1 0 0 1 0 q6
1 1 0 0 0 0 0 1 0 q1
z1 z2 z3 z1 z2 z3 z1 z2 z3
z1+ z2+ z1+

Рис. 21.6. Представление функций z1+, z2+ и z3+ с помощью карт Карно

Минимизированная система булевых функций, описывающая заданное поведение, представляется следующими матрицами:

U = , V = .
Для сравнения приведем минимизированную систему булевых функций, получаемую при произвольном кодировании, например, путем приписывания состояниям чисел от 0 до 5 в двоичной системе счисления согласно порядку номеров состояний. Матрица кодирования и матрицы, представляющие данную систему булевых функций, имеют следующий вид:

С = , U = , V = .

Последняя система ДНФ оказалась сложнее – число различных элементарных конъюнкций в ней на две больше, чем в предыдущей системе.

Метки:  

Сборка гиперкуба

Вторник, 04 Января 2011 г. 20:24 + в цитатник
На первом шаге получаем четыре одномерных гиперкуба, изображенных на рис. 21.1. Максимальное значение имеет вес w23 = 3. Поэтому в первую очередь ребром соединяются вершины q2 и q3. Затем ребрами соединяются вершины q1 с q6, q4 с q5 и q7 с q8.


• q2 • q1 • q4 • q7

q3 • q6 • q5 • q8 •
Рис. 21.1. Результат первого шага построения гиперкуба

Чтобы из четырех одномерных гиперкубов получить два двухмерных, надо добавить четыре ребра. Для этого выбираются такие ребра, чтобы сумма их весов была максимальна. Сначала строится один гиперкуб, для которого выбираются два ребра с максимальной суммой весов. Затем точно так же собирается второй гиперкуб. На рис. 21.2 показаны варианты выбора ребер для получения первого двухмерного гиперкуба.
q2 • • q3 q2 • • q3 q2 • • q3 q2 • • q3

q1 • • q6 q6 • • q1 q4 • • q5 q5 • • q4
w12  w36 = 2 w26  w13 = 3 w24  w35 = 2 w25  w34 = 4

q1 • • q6 q1 • • q6

q4 • • q5 q5 • • q4
w14  w56 = 2 w15  w46 = 0
Рис. 21.2. Варианты сборки двухмерного гиперкуба
Вершины q7 и q8 здесь не участвуют, так как все инцидентные им ребра имеют нулевой вес и сумма их весов заведомо не максимальна. Максимальной суммой весов обладает четвертый вариант. Для второго гиперкуба все варианты одинаковы.

На рис. 21.3 изображены два двумерных гиперкуба, из которых надо собрать один трехмерный гиперкуб, добавив четыре ребра. Варианты такой сборки представлены на рис. 21.4. Сумма весов ребер показана ниже каждого изображения варианта сборки.

Метки:  

Метод «желательных соседств». Продолжение.

Вторник, 04 Января 2011 г. 20:23 + в цитатник
Исходными данными для построения k-мерного гиперкуба являются величины wij и число состояний автомата . Предполагается, что это число минимально или по каким-то причинам не подлежит минимизации. Если  не представляет собой целой степени двойки, то оно увеличивается до  = 2k и считается, что wrs = 0, если хотя бы одно из qr и qs является дополнительно введенным таким образом состоянием.

Построение k-мерного гиперкуба представляется как последовательность k шагов. На p-м шаге рассматривается множество (p – 1) мерных гиперкубов, они объединяются в пары, и из каждой пары получается один p-мерный гиперкуб путем соответствующего добавления ребер. При этом по возможности для соединения ребрами выбираются те вершины, которым соответствуют наибольшие из оставшихся значения wij. Вершинам полученного гиперкуба приписываем k компонентные булевы векторы с соблюдением отношения соседства, представленного ребрами гиперкуба.

На первом шаге из  изолированных вершин, или 0-мерных гиперкубов, строятся одномерные гиперкубы в виде  / 2 попарно несмежных ребер. На последнем k-м шаге из двух (k – 1)-мерных гиперкубов собирается один k-мерный гиперкуб путем добавления 2k 1 ребер.

Продемонстрируем этот процесс на примере автомата, таблицей переходов которого является табл. 21.3. Введем два фиктивных состояния q7 и q8, чтобы довести число состояний до 8 = 23. Значения wij удобно задать в виде табл. 21.5, где строки и столбцы соответствуют состояниям автомата.

Метки:  

Правило желательных соседств

Вторник, 04 Января 2011 г. 20:22 + в цитатник
Здесь отражена ситуация, которая учитывается при подсчете значения wij. Пара вектор-строк (xs1, xs2, … , xsn, zp1, zp2, … , zpk) и (zi1, zi2, … , zik) матриц U и V представляет переход автомата из состояния qp в состояние qi при входном символе as, выражаемый формулой (as, qp)  qi. Точно так же пара строк (xt1, xt2, … , xtn, zp1, zp2, … , zpk), (zj1, zj2, … , zjk) представляет переход, выражаемый формулой (at, qp)  qj. Отсюда видно, что чем больше одноименных компонент векторов (zi1, zi2, … , zik) и (zj1, zj2, … , zjk), являющихся кодами состояний qi и qj, совпадают и равны единице, тем больше, возможно, будет условий для простого склеивания элементарных конъюнкций в получаемой системе ДНФ.

Ситуация, учитываемая при подсчете значения wij, представляется следующими матрицами:

U  , V  .

Здесь пары строк (xu1, xu2, … , xun, zi1, zi2, … , zik), (zv1, zv2, … , zvk) и (xu1, xu2, … , xun, zj1, zj2, … , zjk), (zv1, zv2, … , zvk) представляют переходы в одно и то же состояние qv при одном и том же значении au переменной а, т. е. (au, qi)  (au, qj)  qv. Ясно, что желательно иметь соседними коды тех состояний qi и qj, для которых переменная а принимает много значений аи, удовлетворяющих (au, qi)  (au, qj). Тогда возможно простое склеивание элементарных конъюнкций, представленных показанными строками матрицы U.
Одна из реализаций метода «желательных соседств» представляется как процесс построение k-мерного гиперкуба, напоминающий сборку некоторой простой механической конструкции. При этом вершины гиперкуба, являющиеся первоначально вершинами некоторого пустого графа (без ребер), заранее поставлены в соответствие состояниям автомата и на парах этих вершин заданы величины wij.

Метки:  

Автомат Мура и Мили. Описание

Среда, 22 Декабря 2010 г. 21:16 + в цитатник
Если заменить внутреннюю переменную q на соответствующий булев вектор z (z1, z2, … , zk), то получится система уравнений, в которой все переменные и все функции оказываются булевыми:

z1+ = 1х1, х2, … , хп; z1, z2, … , zk;
z2+ = 2х1, х2, … , хп; z1, z2, … , zk;

zk+ = kх1, х2, … , хп; z1, z2, … , zk;
y1 = 1х1, х2, … , хп; z1, z2, … , zk;
y2 = 2х1, х2, … , хп; z1, z2, … , zk;

ym = mх1, х2, … , хп; z1, z2, … , zk.

Эта модель называется булевым автоматом. Ее также можно представить в компактной векторной форме:

z+ = х, z;
y = х, z.

Булев автомат в определенном смысле ближе к реальным дискретным устройствам, поскольку его переменные непосредственно реализуются физическими переменными устройства, в частности, на типичных для современной техники элементах с двумя устойчивыми состояниями. Векторы х, у и z показывают структуру абстрактных символов а и b и состояния q. Приведенная выше система функций соответствует структуре, изображенной на рис. 18.2, где КС – комбинационная схема, реализующая приведенную выше систему, а П – блок памяти, осуществляющий задержку на период между соседними моментами времени.
Переменная zi представляет состояние i-го двоичного элемента памяти, а выражение

zi+ = iх1, х2, … , хп; z1, z2, … , zk

Метки:  

Автомат с абстрактным состоянием. Булев автомат

Среда, 22 Декабря 2010 г. 21:08 + в цитатник
Широко распространенным типом автомата является модель, описываемая одной многозначной внутренней переменной q и многими входными и выходными булевыми переменными х1, х2, … , хп и у1, у2, … , ут. Поведение такого автомата задается системой уравнений

q+ = х1, х2, … , хп; q;
y1 = 1х1, х2, … , хп; q;
y2 = 2х1, х2, … , хп; q;

ym = mх1, х2, … , хп; q,

более компактно представляемой в векторной форме

q+ = х, q;
y = х, q.

Функции отличаются от введенных ранее только тем, что многозначные входная и выходная переменные оказались замененными на соответствующие булевы векторы, но внутренняя переменная осталась многозначной.

Описанная модель называется автоматом с абстрактным состоянием. Ею удобно пользоваться на начальных этапах логического проектирования дискретных устройств, когда вход и выход устройства описываются как некоторые множества булевых переменных, имеющих конкретную техническую интерпретацию, в то время как множество внутренних переменных представляется пока в простейшей форме, в виде одной многозначной переменной q. Число значений переменной q полагается равным числу различных состояний автомата, при котором он может реализовать заданное функциональное отношение между входом и выходом.

Метки:  

Связь между моделями Мили и Мура. Продолжение

Среда, 22 Декабря 2010 г. 21:06 + в цитатник
Если автомат имеет состояние, в которое он никогда не переходит (это может быть начальное состояние), то всякому такому состоянию ставится в соответствие состояние автомата Мура, переходы из него определяются аналогично, а выходной символ при нем не определен.
Если автомат является частичным, то достаточно ввести новое состояние, соответствующее неопределенному состоянию, и новый выходной символ, соответствующий неопределенному выходному символу, и после описанных преобразований вернуться к неопределенному состоянию и неопределенному выходному символу. Переходы из такого состояния не определены. Автомат Мили и эквивалентный ему автомат Мура представлены в табл. 18.8 и 18.9 соответственно.

Таблица 18.8 Таблица 18.9
a1 a2 a3 a4 a1 a2 a3 a4
q1 ,b1 q2,b1 , q2,b1 q1 q1 q6 q2 q2
q2 q3,b1 ,b2 q3, q2,b1 q2,b1 q2 q3 q7 q5 q2 b1
q3 q3,b2 , q2,b1 q2,b1 q3,b1 q3 q4 q2 q2 b1
q3,b2 q4 q4 q2 q2 b2
q3, q5 q4 q2 q2
,b1 q6 b1
,b2 q7 b2

Метки:  

Связь между моделями Мили и Мура

Среда, 22 Декабря 2010 г. 21:04 + в цитатник
Всякое отображение входных последовательностей в выходные может быть реализовано как с помощью модели Мили, так и с помощью модели Мура. Определим преобразование, переводящее любой автомат Мили в эквивалентный ему автомат Мура, а также преобразование, переводящее любой автомат Мура в эквивалентный ему автомат Мили.
Пусть задан автомат Мура М = (A, B, Q, , ) и требуется получить эквивалентный ему автомат Мили М = (A, B, Q, , ).
Очевидно, А = А и В = В. Положим Q = Q и = , а определим следующим образом. Пусть (a, q) q и (q) b, где q, q Q, a А и b В. Это означает, что автомат, будучи в состоянии q, отвечает на входной символ а выходным символом b, который выдается в следующий момент времени, когда автомат окажется в состоянии q. Следовательно, можно считать, что (а, q) b. Автомат Мура и эквивалентный ему автомат Мили представлены в табл. 18.6 и 18.7 соответственно.
Пусть теперь задан автомат Мили М = (A, B, Q, , ) и требуется получить эквивалентный ему автомат Мура М = (A, B, Q, , ). Как и в предыдущем случае, имеем А = А и В = В. Определим Q следующим образом. Рассмотрим все такие пары вида (q, b), где q Q, b B, что для каждой (q, b) имеется такая пара (a, q), что (a, q) q и (a, q) b (a A, q Q). Каждой паре (q, b) поставим в соответствие состояние q Q и определим функции и следующим образом:

(a, q) (a, (q, b)) ((a, q), (a, q)); (q) ((q, b)) b.

Метки:  

Представление автоматов Мили и мура

Среда, 22 Декабря 2010 г. 21:03 + в цитатник
Еще одним способом представления автомата является матрица поведения, представляющая собой квадратную матрицу, строки и столбцы которой помечаются состояниями автомата. В случае автомата Мура на пересечении строки qi и столбца qj матрицы поведения записываются входные символы, переводящие автомат из состояния qi в состояние qj, а строки помечаются также и выходными символами. В случае автомата Мили элементы матрицы поведения, кроме входных символов, вызывающих соответствующие переходы, содержат выходные символы, которые сопровождают эти переходы. Если из состояния qi нет перехода в состояние qj, то на пересечении строки qi и столбца qj ставится прочерк. Для рассмотренных автоматов ниже представлены матрицы поведения, причем первая из них – матрица поведения автомата Мура, вторая – матрица поведения автомата Мили.

,

.

Метки:  

Автоматы мили и мура

Среда, 22 Декабря 2010 г. 20:57 + в цитатник
Автомат Мура представляется одной таблицей переходов, к которой добавлен один столбец со значениями функции выходов (табл. 18.4).

Можно свести таблицу переходов и таблицу выходов автомата Мили в одну таблицу, которую называют таблицей переходов и выходов. Такая таблица для автомата, заданного в виде табл. 18.2 и табл. 18.3, имеет вид табл. 18.5.

Более наглядным при небольшом числе состояний является представление автомата в виде графа поведения автомата, который представляет собой ориентированный граф. Его вершины соответствуют состояниям автомата, а дуги – переходам между состояниями. При этом дуга помечается всеми входными символами, которые вызывают соответствующий переход, и выходными символами, сопровождающими данный переход (в случае автомата Мили). В случае автомата Мура выходными символами помечаются вершины, соответствующие состояниям, в которых находится автомат при выдаче данных символов. На рис. 18.1 изображены графы переходов автоматов, заданных табл. 18.4 и 18.5.
Таблица 18.4 Таблица 18.5
Таблица переходов автомата Мура Таблица переходов и выходов
автомата Мили
a1 a2 a3 a4  a1 a2 a3 a4
q1 q1 q2 q1 q2 b1 q1 q1,b1 q2,b1 q1,b2 q2,b1
q2 q3 q1 q3 q1 b1 q2 q3,b1 q1,b2 q3,b2 q1,b1
q3 q3 q1 q1 q1 b2 q3 q3,b2 q1,b2 q1,b1 q1,b1


a1, a3 a1/b1, a3/b2

q1, b1
a2/b1, a4/b1 q1 a2/b2, a3/b1, a4/b1

a2, a4 a2, a3, a4
a2, a4 a2/b2, a4/b1 a1/b2
a1

q2, b1 a1, а3 q3, b2 q2 a1/b1, а3/b2 q3
а) б)
Рис. 18.1. Примеры графов поведения: а) автомата Мура; б) автомата Мили

Метки:  

Представление автомата

Среда, 22 Декабря 2010 г. 20:56 + в цитатник
Конечный автомат удобно представлять таблицей переходов и таблицей выходов. Строкам этих таблиц соответствуют состояния автомата, столбцам – входные символы. На пересечении строки, соответствующей состоянию q, и столбца, соответствующего входному символу а, в таблице переходов записывается значение (a, q), а в таблице выходов – значение (a, q). Другими словами, в первом случае в клетке таблицы указывается состояние, в которое автомат переходит из состояния q при поступлении на его вход символа а, а во втором случае – выходной символ, который при этом выдает автомат. Табл.18.2 и табл.18.3 представляют собой пример описанного представления автомата Мили, у которого А = {a1, a2, a3, a4}, В = {b1, b2} и Q {q1, q2, q3}.
Таблица 18.2 Таблица 18.3
Функция Функция
a1 a2 a3 a4 a1 a2 a3 a4
q1 q1 q2 q1 q2 q1 b1 b1 b2 b1
q2 q3 q1 q3 q1 q2 b1 b2 b2 b1
q3 q3 q1 q1 q1 q3 b2 b2 b1 b1

Зная начальное состояние автомата и входную последовательность, нетрудно получить по этим таблицам соответствующую последовательность выходных символов. Приведем пример такого соответствия для автомата, заданного табл. 18.2 и 18.3, на вход которого поступила последовательность символов а1, а2, а2, а1, а3, а4, а1, а4 при начальном состоянии q1. Покажем также состояния, которые проходит автомат:

а1 а2 а2 а1 а3 а4 а1 а4
q1 q1 q2 q1 q1 q1 q2 q3
b1 b1 b2 b1 b2 b1 b1 b1.

Метки:  

Автомат с памятью. продолжение

Среда, 22 Декабря 2010 г. 20:55 + в цитатник
Конечный автомат является абстрактной математической моделью дискретного устройства. Поведение, описанное данной моделью, может быть по-разному реализовано в дискретном устройстве. При синхронной реализации моменты времени, когда определяется состояние, в которое переходит устройство, а в случае автомата Мили и выходной символ, зафиксированы. Технически это осуществляется введением генератора синхронизирующих сигналов, которые инициируют соответствующие действия. Период следования таких сигналов не должен быть меньше чем время, необходимое для завершения переходных процессов в устройстве. Реализованный таким образом конечный автомат называется синхронным автоматом.
При асинхронной реализации указанные моменты времени не фиксированы. Они связаны с моментами, в которые происходит изменение входного сигнала. Реализованный таким образом автомат называется асинхронным автоматом. Если синхронный автомат различает последовательности разной длины из одинаковых входных символов, т. е. может реагировать на них различными выходными последовательностями, то асинхронный автомат воспринимает последовательность одинаковых входных символов любой длины как один символ. В схеме такого устройства генератор синхронизирующих сигналов отсутствует.

Метки:  

Автомат с памятью

Среда, 22 Декабря 2010 г. 20:55 + в цитатник
Таблица 18.1
Пример задания комбинационного автомата
Вход Выход
а1

а2


… …

а


Моделью описанного устройства является конечный автомат, представляющий собой совокупность следующих объектов:
А = {a1, a2, … , a} – множество входных символов, или входной алфавит;
В = {b1, b2, … , b} – множество выходных символов, или выходной алфавит;
Q  {q1, q2, … , q} – множество состояний, или внутренний алфавит;
 : A  Q  Q – функция переходов;
 : A  Q  В – функция выходов.

Для конечного автомата используется обозначение (A, B, Q,  ). Слово «конечный» подчеркивает, что все три множества, входящие в состав данной модели, конечны. В том виде, в каком эта модель здесь представлена, она носит название «автомат Мили». Другой разновидностью данной модели является автомат Мура, отличающийся от автомата Мили только тем, что функция выходов не зависит от входного символа, т. е. представляет собой отображение  : Q  В.

Значением функции (a, q) является состояние q+, в которое переходит автомат из состояния q, если на вход его подан символ а. Значением функции (a, q) является выходной символ, выдаваемый автоматом в состоянии q при поступлении на его вход символа а, а значением функции (q) автомата Мура – выходной символ b, который выдает автомат, находясь в состоянии q. Если значения функций (a, q) и (a, q) определены для любой пары значений аргументов а и q, а в модели Мура функция (q) определена для всех значений q, то автомат является полностью определенным, или полным автоматом. Иногда приходится иметь дело с не полностью определенным, или частичным автоматом, у которого эти функции могут быть определены не везде.

Метки:  

Немного скомкано...

Пятница, 26 Ноября 2010 г. 16:04 + в цитатник
Немного скомкано, но все же немного расскажу о себе. Моё призвание - это журналистика,этим я готов заниматься всю жизнь. Этим же хочу заняться на своем личном блоге.

Писать новости статьи и обзоры обо всем, что происходит и обо всем, о чем я считаю нужным рассказать.

Метки:  

Дневник zhurnalist

Пятница, 26 Ноября 2010 г. 16:01 + в цитатник
Дневник о повседневной жизни, о происшествиях, о людях, о новостях, о сайтах и компаниях


Поиск сообщений в zhurnalist
Страницы: [1] Календарь