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

Вид материала

Содержание

Упражнения и вопросы для самоконтроля
Список литературы

Подобный материал:

1 ... 20 21 22 23 24 25 26 27 28

8.5. Исследование временных свойств системы.

Выполнить исчерпывающий анализ временных свойств процесса интерактивного проектирования РБД на базе существующей ИТВ без реализации необходимых методов, алгоритмов и средств невозможно. Однако, вполне реально выполнить предварительные оценки временных характеристик динамической модели, тем более, что отдельные средства преобразования таблиц уже реализованы в инструментальных СУБД, а также имеются экспертные оценки выполнения большинства алгоритмов, которые предполагается задействовать.

Модели, разработанные на базе сетей Петри, позволили исследовать структурные особенности интерактивного взаимодействия разработчика и системы в процессе проектирования РБД. Динамические свойства процесса интерактивного проектирования в разрабатываемых моделях отражены посредством последовательности возможных маркировок сети Петри. Однако в моделях предполагалось, что переходы срабатывают мгновенно, что исключает возможность временного анализа интерактивных процессов. Обеспечение возможности получения предварительных оценок производительности разрабатываемой системы на ранних этапах ее разработки с целью выявления критических с точки зрения приемлемого времени реакции процессов позволили сократить сроки создания системы, улучшить ее характеристики. Для реализации такой возможности воспользуемся аппаратом временных сетей Петри, разработанных для моделирования асинхронных конкурирующих систем [18].

Временная сеть Петри – это пара Р, , где Р – сеть Петри Р, Т, М, а  - функция, которая каждому переходу t_i в сети приписывает действительное неотрицательное число _i. Число _I =  (t_i) соответствует времени срабатывания перехода. Напомним, что срабатывание перехода возможно, если во входном положении содержится знак. При инициировании перехода из входных положений удаляется знак, фаза выполнения продолжается _I единиц времени, в конце этого промежутка времени переход срабатывает и знак перемещается в выходное положение перехода. При этом должно выполняться следующее условие, называемое балансом знаков:

М(0, Р) + Т(,t_i₁) + …, + Т((,t_in) = М(, Р) +(,t_j₁) + …, + Т(,t_jm),

где Т(,t) – число терминаций перехода t;

(,t) – число инициаций перехода t, включая время ;

М(0, Р) – число знаков в положении в начальный момент времени;

М(, Р) – число знаков в положении в момент времени .

Использование аппарата временных сетей Петри оправданно, если считается, что _i (продолжительность i – й деятельности) постоянна по времени, несмотря на то, что, _i не остается неизменной в процессе функционирования человеко-машинной системы. Для предварительного анализа временных характеристик могут быть использованы некоторые усредненные ожидаемые задержки. Поэтому под _i – времени срабатывания перехода t_i далее будем понимать ожидаемое время реакции решающих систем при выполнении i- ой человеко-машинной процедуры. Здесь в качестве решающих систем выступает разработчик и средства автоматизированного преобразования ИТВ. Поэтому _i включает в себя две составляющие:

_i₌_iр +_iс,

где _iр – время реакции разработчика;

_iс – время реакции системы.

В соответствии с методами оценки времени выполнения работ [20] ожидаемое время реакции оценивается следующим выражением:

_i = (а_i + 4m_i + b_i) / 6,

где а_i – оптимистическая оценка, указывающая время выполнения работы при наиболее благоприятно сложившихся условиях;

b_i – пессимистическая оценка, задающая время выполнения работ при наиболее неблагоприятно сложившихся условиях;

m_i – наиболее вероятная продолжительность работы.

При этом дисперсия ожидаемой оценки рассчитывается следующим образом:

_i² = (b_i - a_i)² / 36

Из выражений следует:

_i = (а_i_р + а_i_с + 4(m_i_р + m_i_с )+ b_i_р + b_i_с) / 6,

где а_i_р, а_i_с – оптимистические оценки времен реакции соответственно разработчика и системы в i – ом состоянии процесса проектирования;

b_i_р, b_i_с – пессимистические оценки времен реакции соответственно разработчика и системы в i – Ом состоянии процесса проектирования;

m_i_р, m_i_с – соответствующие вероятностные оценки.

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

Кроме того, в соответствии с использованием комплексного метода разработки программных систем (сверху виз, снизу вверх и расширения от ядра) отдельные модули системы, обладающие малой связностью с другими модулями, могут быть реализованы на этапе уточнения проекта системы. Опытная эксплуатация этих модулей позволила получить их временные характеристики. Для эффективного использования интерактивных средств проектирования необходимо обеспечить время реакции проектных процедур системы, не превышающее общепринятых норм (10 ÷ 15 секунд) [20]. Время реакции разработчика на различные ситуации, возникающие в процессе преобразования ИТВ к РБД, существенно зависят от его индивидуальных особенностей, опыта, квалификации. Оценки этого времени могут быть получены экспертным путем, а также посредством анализа опыта эксплуатации существующих средств.

Для моделей интерактивного взаимодействия в виде временных сетей Петри пастулировано существование действительной временной оси, на которой могут быть отмечены моменты срабатывания переходов [18]. Переходы, разрешенные для ”зажигания”, и времена, в которые происходят ”зажигания”, записываются в “таблицу зажиганий”, называемую ”расписанием зажиганий” [18]. Срабатывание перехода будем считать осуществимым, если переход был возможен, когда его ”зажигание” было инициировано.

Выполним анализ типичного фрагмента сети, а затем выполним оценку временных характеристик сети в целом. Анализ выполняется с целью предварительной оценки производительности системы, отыскания резервов ее повышения. В качестве фрагмента выбрана подсеть с положениями Р1, Р2, Р7 и переходами t1, t6, t11.

На рис. 8.5.1 продемонстрировано перемещение маркеров в фрагменте сети.

а б в

г д е

ж з и

Рис. 8.5.1. Пример перемещения маркеров в фрагменте сети

Начальная маркировка приведена на рис. 8.5.1,а, после срабатывания перехода маркеры занимают положения Р1 и Р7 (рис. 8.5.1,б), срабатывание перехода t1 позволяет переместить маркер в положение Р2 (рис. 8.5.1,в), после срабатывания перехода t11 маркеры перемещаются из положения Р7 в положения Р1 и Р7 (рис. 8.5.1,г). После этого сформируется такая разметка сети, что может сработать переход t6 - на всех его входных положениях имеются маркеры. Срабатывание этого перехода приведет к разметке сети, показанной на рис. 8.5.1,д. После срабатывания перехода t1 маркер переместится в положение Р2 (рис. 8.5.1,е). Пользователь моделируемой системы имеет возможность принудительно поместить маркер в положение Р7. Физически положению Р7 соответствует состоянию ИТВ (информация табличного вида). Разработчик БД всегда может инициировать это состояние системы. Такая ситуация отражена на рис. 8.4.1,ж. После срабатывания перехода t11 маркер переместится в положение Р1 и Р7 (рис. 8.5.1,з). После срабатывания перехода t11 повторно сформировалась маркировка сети, позволяющая “зажечь” переход t6. Срабатывание перехода t6 приведет сеть к маркировке рис. 8.5.1,и.

Как следует из рис. 8.4.1, маркировки сети повторяются, т.е. через несколько итераций перемещения маркеров осуществляется возврат в исходное состояние. Совпадают маркировки сети на рис. 8.5.1,в и рис. 8.5.1,ж, на рис. 8.5.1,г и рис 8.5.1,з, на рис. 8.5.1,д и рис 8.5.1,и.

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

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

Рис. 8.4.2. Граф переходов, соответствующий динамике функционирования сети рис. 2.5.2

Для переходов t1, t6 и t11 в соответствии с методикой изложенной в [28] выполнены предварительные оценки времен их срабатывания в секундах, соответственно ₁ = 200, ₆ = 10, ₁₁ = 10, ₀ = 20. Оценки выполнялись для одной таблицы с числом атрибутов 20 и числом записей 1000, т.е. ИТВ представлено всего одной таблицей среднего объема. Задержки срабатывания перехода, как показали предварительные экспериментальные исследования, линейно зависят от суммарного объема таблиц. Данные задержки приписаны соответствующим переходам на дереве переходов. Исходя из анализа дерева переходов, сформирована таблица осуществимого расписания срабатывания переходов сети табл. 8.5.1.

Расписание становится неосуществимым, если, например, первая инициация перехода t6 наступит до 230 секунд после начала функционирования системы. Это справедливо в связи с тем, что инициация перехода t6 не может быть выполнена до терминации перехода t1, который в свою очередь не может быть инициирован раньше 30 секунд после начала функционирования системы.

Т а б л и ц а 8.5.1

Номер срабатывания перехода Идентификатор перехода	1	2	3	4	5	6	7
t0	0,20	20, 40	40, 60	60, 80	80, 100
t11	20, 30	30, 40	40, 50	60, 70	70, 80	80, 90	100, 110
t1	30, 230	240, 440	440, 640	640, 840
t6	230, 240	440, 450	640, 650	840, 850

Из таблицы видно, что при определенной последовательности “зажиганий” инициации переходов происходят через равные интервалы времени. Например, в установившемся режиме все ”зажигания” t0 осуществляются через 20 секунд, ”зажигания” 2÷3 перехода t1 осуществляются через 200 секунд, ”зажигания” 2÷3 перехода t6 осуществляются через 200 секунд. Особый период ”зажигания” зависит от времени срабатывания перехода t0, поэтому он составляет то 0, то 20 секунд.

Из-за особенностей сети переход t11, как видно из таблицы, может срабатывать 7 раз, в то время как переходы t1 и t6 успевают сработать 4 раза.

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

t0 – (100 - 20) / 4, t1 – (840 - 440) / 2, t6 – (850 - 450) / 2

Возникает естественный вопрос, можно ли увеличить продолжительность отдельной компоненты интерактивной системы, а следовательно и производительность системы в целом? В соответствии с [4] оценка скорости выполнения к – го перехода определяется по формуле:

Uk = n_k / П_к,

где n_k – знаковое содержание контура, включающего к –й переход;

П_к – период “зажигания” к-го перехода.

Реализуемой границей скорости вычисления для временной сети Петри в целом является значение:

min (n₁ / П₁, n₂ / П₂, …, n_m / П_m),

где m – число переходов в сети.

Таким образом, для повышения производительности временной сети Петри необходимо увеличить знаковое содержание контура или уменьшить периоды зажигания переходов. Знаковое содержание контуров в сети соответствует в системе числу процессов, протекающих одновременно в данном режиме. Периоду зажигания соответствует интервал времени от окончания какого-либо процесса до его повторной инициации, который зависит от времени реакции разработчика и используемых средств преобразования ИТВ в РБД в различных состояниях этого процесса.

Увеличить знаковое содержание рассматриваемого контура сети не удается, т.к. все переходы и положения в данном случае взаимозависимы и распараллелить процесс преобразования таблиц ИТВ в реляционные таблицы не удается.

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

Увеличить знаковое содержание сети или распараллелить отдельные процессы возможно удастся при анализе оставшихся контуров сети. Такую надежду внушает то, что в процессе нормализации реляционных таблиц обычно формируются и связи между ними. В то же время предусмотрены специальные мероприятия по формированию связей между реляционными таблицами. И при разработке метода нормализации реляционных таблиц, и при разработке метода формирования связей между реляционными таблицами рассматриваются по 4-е случая. Таким совпадением вероятно удастся воспользоваться.

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

Рис. 8.5.3. Граф переходов (часть 1)

Вторая часть графа приведена на рис. 8.5.4.

Рис. 8.5.4. Граф переходов (часть 2)

Граф построен, исходя из анализа сети Петри (рис. 2.3.3 ). Он построен таким образом, чтобы сработали все переходы сети с учетом правил их срабатывания. При этом граф формировался таким образом, чтобы при достижении всех положений был пройден минимальный путь. Таким образом, на основании анализа построенного графа можно оценить минимальное время срабатывания всех переходов и достижения всех положений. Это позволит выполнить предварительную оценку времени, необходимого для проектирования БД на основе использования ИТВ, представленной одной таблицей средней сложности.

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

Учитывая задержки срабатывания переходов и правила их срабатывания, сформируем таблицу зажиганий переходов (табл. 8.5.2).

Т а б л и ц а 8.5.2

Кратко поясним принцип формирования таблицы зажиганий переходов.

Очередное срабатывание особых переходов t0 и t00, переходов, срабатывание которых инициирует положения, соответствующие ИТВ и РБД, могут срабатывать в произвольные моменты времени, но с интервалом в 20 секунд. Поэтому первое срабатывание перехода t0 возможно через 20 секунд, а третье – через 60 секунд. Переход срабатывает только тогда, когда сработали все переходы, над ним расположенные. Поэтому из всех поддеревьев, входящих в переход, выбирается дерево с максимальной суммарной задержкой срабатывания. После чего к этой задержке приплюсовывается время срабатывания перехода. Так, например, в переход t7 входят 3 – и поддерева:

t00, P8, t14, P9; t0, P7 и

t00, P8, t10, t0, P7, t12, P9, t9, P10

Время срабатывания перехода t7 вычисляется следующим образом

max ((₀₀ + ₁₄), ₀, (max ((₀₀ + ₁₄), ₀) + ₁₂ + ₉))+ ₇ или

max ((20 + 10), 20, (max ((40 + 10), 20) + 10 + 200)) + 10 = 270

В соответствии с этим правилом рассчитаны времена срабатывания всех переходов.

Кажущимся исключением из сформулированного правила является переход t10 (N27). Он срабатывает через 1310 секунд, хотя видимых причин для этого нет. Причина в том, что в соответствии с методикой преобразования ИТВ в РБД нельзя начать выполнение действий, связанных с каким-либо этапом преобразования ИТВ, до завершения предыдущего этапа. Поэтому время срабатывания перехода t7 складывается из задержки его срабатывания 200 и времени срабатывания перехода t5 (последнего перехода предыдущего этапа преобразования).

В качестве предварительной оценки времени выполнения одной итерации преобразования таблицы ИТВ в таблицу или таблицы РБД может быть использовано время прохождения деревьев рис. *, рис.**, а также дерева рис. …

t итерации = 240 + 1350 = 1590 секунд.

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

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

Рассмотрим возможность совмещения этих процессов с использованием динамической и сетевой моделей методики преобразования ИТВ к РБД. Из сравнения фрагмента операторной модели, соответствующего процессу формирования связей между таблицами СОс, ОПРс, СПс, ОПс и фрагмента операторной модели, соответствующего процессу нормализации таблиц СОн, ОПРн, СПн, ОПн, можно сделать вывод о том, что схожи составы их компонент. Более того, связи между компонентами практически идентичны: СОс связан с ОПРс, подобно тому как СОн связан с ОПРн; ОПРс связан с СПс, подобно тому как ОПРн связан с СПн; СПс связана с ОПс, подобно тому как СПн связана с ОПн; ОПс связана двунаправленной связью с СОс, подобно тому как ОПн связан двунаправленной связью с СОн; ОПС связан двунаправленной связью с РБД, подобно тому как ОПн связан двунаправленной связью с РБД. Но есть одно отличие: ОПк связан с СОс, но не связан с СОн.

С учетом сказанного сделан вывод, что рассмотренные фрагменты операторных моделей можно совместить, при этом необходимо обеспечить связь между ОПк и СОс.

Результат совмещения фрагментов операторных моделей представлен на рис.8.5.5. При этом использованы новые обозначения ОПн,с  ОПн, ОПс; СПн,с  СПн, СПс; ОПРн,с  ОПРн, ОПРс; СОн,с  СОн, СОс.

Рис. 8.5.5. Результат совмещения фрагментов операторных моделей

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

На основе модифицированной операторной модели и последнего варианта сети Петри построена модификация сети, учитывающая возможность протекания параллельных процессов. Эта сеть представлена на 8.5.6.

Рис. 8.5.6. Сеть Петри соответствующая результату совмещения фрагментов операторных моделей

Следует отметить, что так как на сетевой модели появилась новая входная связь в положение (Р11, Р3), то для сохранения баланса потоков для этого положения необходима выходная связь. И, действительно, исходя из логики функционирования параллельных процессов и специфики новых итерационных последовательностей, необходима обратная связь с ОСОн (рис. 8.5.7,а). Есть и другая причина формирования этой связи – коль скоро РБД связана двунаправленной связью с ОСОн, то естественно предположить, что будет полезной двунаправленная связь между ОСОн и СОн,с. На рис.8.5.7,б эта связь отображена как обратная связь с переходом t13. При такой схеме связей для положения (Р11, ЗР) баланс потоков не нарушается.

Принципиальным отличием полученного фрагмента сети является то, что у него удвоилась маркерная загрузка, и в связи с этим изменились его временные характеристики.

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

а б

Рис. 8.5.7. Фрагмент операторной модели и соответствующая сеть описывающие параллельные процессы

Выполним процедуру перемещения маркеров в сети.

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

На рис. 8.5.8 проиллюстрирована начальная загрузка подсети – два маркера размещены в положении Р8. После срабатывания перехода t13 маркеры переместятся в положение Р11 и и по обратной связи в положение Р8 (рис. 8.5.8,б). Срабатывание перехода (t10, t4) позволит переместиться маркерам в положение Р4, соответствующая маркировка подсети представлена на рис.. 8.5.8,в. Повторное срабатывание перехода t13 приведет к загрузке сети рис. 8.5.8,г. После этого появится принципиальная возможность срабатывания перехода (t8, t2) – во всех входных положениях этого перехода имеются маркеры. После срабатывания перехода (t8, t2) один маркер может переместиться в положение Р5, а другой – в Р8 (рис. 8.5.8,д). В положении Р5 возможно нахождение лишь одного маркера в связи с тем, что в этом положении не предусмотрена возможность параллельных процессов. Срабатывание перехода t5 позволит маркеру переместится в положение Р6 (рис. 8.5.8,е).

На рис. 8.5.9,а отображена ситуация, когда разработчик повторно инициировал процесс и сработал переход t13. Далее процесс перемещения маркеров осуществляется по аналогии с рассмотренным процессом.

Рис. 8.5.9,б соответствует рис. 8.5.8,б, рис. 8.5.9,в соответствует рис. 8.5.8,в, рис. 2.5.9,г соответствует рис. 8.5.8,г, рис. 8.5.9,д соответствует рис. 8.5.8,д.

Но следует обратить внимание на то, что в процессе выполнения 4-х последних переходов в положении Р6, в отличии от предыдущего случая, находился маркер. После срабатывания перехода (t8, t2) (рис. 8.5.9,д) в подсети сформируется ситуация, когда может сработать переход t3 (все входные положения перехода t3 промаркированы). После срабатывания перехода t3 сеть примет вид рис. 8.5.9,е.

а б

в г

д е

Рис. 8.5.8. Иллюстрация динамики перемещения маркеров в подсети с двойной маркерной загрузкой (часть 1).

а б

в г

д е

Рис. 8.5.9. Иллюстрация динамики перемещения маркеров в подсети с двойной маркерной загрузкой (часть 2).

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

₃ = 10; ₅ = 200; ₈, ₂ = 10; ₁₃ = 10; ₁₀; ₄ = 200; ₀ = 20

Т а б л и ц а 8.5.3

N	Переход	Время срабатывания	N	Переход	Время срабатывания	N	Переход	Время срабатывания
1	t0	20	5	t8, t2	250	9	t10, t4	680
2	t13	30	6	t5	450	10	t13	690
3	t10, t11	230	7	t0	470	11	t8, t2	700
4	t13	240	8	t13	480	12	t3	710

Таким образом, время прохождения подсети для выполнения одной итерации по нормализации, формированию связей и формированию ключевых полей – 710 секунд.

Для оценки суммарного времени прохождении сети при распараллеливании рассмотренных процессов необходимы времена срабатывания подсетей

{P1, t1,P2,t6,P7,t11} и {P9,t9,P10,t7,P7,t12}.

Для первой подсети оценка минимального времени ее срабатывания уже выполнена и равна 240 сек. (см, табл. 8.5.1) _ . Для второй подсети оценку времени ее срабатывания нетрудно выполнить посредством анализа графа переходов (рис. 8.5.4). Время срабатывания этой подсети 250 сек.

Таким образом, суммарное время срабатывания сети при распараллеливании процессов нормализации и формирования связей между таблицами составляет: 710 + 240 + 250 = 1200 сек. В то время как без распараллеливания процессов минимальное время прохождения сети составляет 1590 сек. (табл. 8.5.1 и табл. 8.5.2.). Эффект распараллеливания процессов очевиден. Однако следует иметь в виду, что предложенное распараллеливание возможно не всегда. Процесс формирования связей между таблицами нередко не связан напрямую с процессом нормализации таблиц.

Упражнения и вопросы для самоконтроля

1. Что позволит выполнить разработка методики до полной реализации методов в нее включаемых.

2. Что обеспечивает детализация информационных моделей ИТВ и РБД.

3. Что обеспечивает операторная модель человеко-машинной системы.

4. Что позволяет модель методики в виде сети Петри.

5. Какие характеристики методики проектирования РБД позволяют оценить деревья достижимости.

6. Что может быть использовано в качестве исходной формализации для разработки и реализации методов, алгоритмов, средств, методик, ориентированных на решение общих и частных задач проектирования РБД на основе использования ИТВ.

СПИСОК ЛИТЕРАТУРЫ

Дейт К., Дж. Введение в системы баз данных. М.: Наука, 1980.
Гэри Хансен, Джеймс Хансен. Базы данных: разработка и управление: Пер с англ. М.:ЗАО Издательство БИНОМ, 1999.
Григорьев Ю.А., Ревунков Г.И. Банки данных. Учебник для вузов. М.: Изд-во МГТУ им. Н.Э. Баумана, 2002.
Райан Стивенс, Рональд Плю. SQL: Пер с англ. М.:ЗАО Издательство БИНОМ, 1998.
Харитонова И.А., Михеева В.Д. Access 2000. СПб.:БХВ-Санкт-Петербург, 1999.
Тихомиров Ю.В. Microsoft SQL Server 7.0. СПб.:БХВ-Санкт-Петербург, 1999.
Брешенков А.В., Бараков Д.Д. Неформальная постановка проблемы преобразования информации табличного вида в файлы баз данных. Сборник трудов АУ МВД России "Актуальные вопросы использования информационных технологий в деятельности органов внутренних дел. М.,2004.
Брешенков А.В., Бараков Д.Д. Вопросы преобразования электронных таблиц в таблицы реляционных баз данных. Современные информационные технологии: Cб. трудов каф. ИУ-6, посвященный 175-летию МГТУ им. Н.Э. Баумана. М.: Эликс+, 2004.
Брешенков А.В., Бараков Д.Д. Методика назначения ключевых полей в заполненных реляционных таблицах. Современные информационные технологии: Cб. трудов каф. ИУ-6, посвященный 175-летию МГТУ. им. Н.Э. Баумана. М.: Эликс+, 2005.
Брешенков А.В. избавление от сложных атрибутов в заполненных нереляционных таблицах. Cб. трудов каф. ИУ-6.
Брешенков А.В. Оперативная разработка баз данных средствами системы Clarion. М.:, Машиностроение, 1995.
Брешенков А.В., Бондарь М.Л. Построение системы репликации баз данных на основе протоколирования изменений (алгоритмы синхронизации и односторонней репликации). Cб. трудов каф. ИУ-6, посвященный 175-летию МГТУ им. Н.Э. Баумана. М.: Эликс+,2004.
Брешенков А.В., Бондарь М.Л. Поддержка целостности данных в алгоритмах оптимистической репликации. Современные информационные технологии: Cб. трудов каф. ИУ-6, посвященный 175-летию МГТУ им. Н.Э. Баумана. М.: Эликс+, 2005.
Брешенков А.В., Губарь А.М. Проектирование баз данных в среде Access: Учебное пособие для вузов. М.: Изд-во МГТУ имени Н.Э. Баумана. 2006.
Норенков И.П. Основы автоматизированного проектирования: Учеб. для вузов. 2-е изд., переработ. и доп.-М.:Изд-во МГТУ им. Н.Э.Баумана,2002.-336с.
Балл Г.А. Система понятий для описания приложений интеллекта // Кибернетика. – 1979. - №2. – С 109-113.
Денниг В., Эссиг Г., Маас С. Диалоговые системы ”человек-ЭВМ”. Адаптация к требованиям пользователя. – М.: Мир, 1984 – 112 с.
Rumchandany C. Analys of asynchronous concurrent systems by Petry nets. – NAC TR – 120. project MAC, M.I.T. Cumbridge(MASS). 1974-p.218
Дубинин В.Н. Комплекс программ "ПЕТРИС" для построения и исследования сетей Петри. // ссылка скрыта
Питерсон Дж. Теория сетей Петри и моделирования систем: Пер. с англ. -М.: Мир, 1984. -264 с., ил.

Blog

Содержание

8.5. Исследование временных свойств системы.

Упражнения и вопросы для самоконтроля

СПИСОК ЛИТЕРАТУРЫ