WWW.PDF.KNIGI-X.RU
БЕСПЛАТНАЯ  ИНТЕРНЕТ  БИБЛИОТЕКА - Разные материалы
 

«МОДЕЛИРОВАНИЕ ДИСКРЕТНЫХ УСТРОЙСТВ Федеральное агентство по образованию ГОУ ВПО «Уральский государственный технический университет–УПИ» ...»

МОДЕЛИРОВАНИЕ ДИСКРЕТНЫХ УСТРОЙСТВ

Федеральное агентство по образованию

ГОУ ВПО «Уральский государственный технический университет–УПИ»

МОДЕЛИРОВАНИЕ ДИСКРЕТНЫХ УСТРОЙСТВ

Методические указания к лабораторному практикуму и курсовому

проектированию по курсу «Проектирование элементов и устройств

систем управления» для студентов всех форм обучения специальности

220201 – Управление и информатика в технических системах Екатеринбург УДК 681.5.01:512 Составители В.В. Муханов, А.В. Серегин Научный редактор доц., канд. техн. наук В.И. Паутов МОДЕЛИРОВАНИЕ ДИСКРЕТНЫХ УСТРОЙСТВ : методические указания по курсу «Проектирование элементов и устройств систем управления» / сост. В.В. Муханов, А.В. Серегин. Екатеринбург: ГОУ ВПО УГТУ-УПИ, 2006. 43 с.

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

Библиогр.: 5 назв. Рис. 6. Табл. 9. Прил. 2.

Подготовлено кафедрой «Автоматика и управление в технических системах».

© ГОУ ВПО «Уральский государственный технический университет – УПИ», 2006 ОГЛАВЛЕНИЕ ВВЕДЕНИЕ

1. КЛАССИФИКАЦИЯ СРЕДСТВ МОДЕЛИРОВАНИЯ

2. ОРГАНИЗАЦИЯ ПРОЦЕССА МОДЕЛИРОВАНИЯ

2.1. Асинхронное моделирование

2.2. Синхронное моделирование

2.3. Троичное синхронное моделирование

2.4. Сквозное и событийное моделирование

3. СИСТЕМА ЛОГИЧЕСКОГО МОДЕЛИРОВАНИЯ

3.1. Формы представления данных

3.1.1. Скобочная грамматика

3.1.2. Функциональное описание дискретного устройства

3.1.3. Описание схемы дискретного устройства в форме BL

3.1.4. Список соответствия

3.2. Работа с подсистемой моделирования

3.2.1. Модуль DOOP

3.2.2. Модуль LMOD

3.2.3. Моделирующая программа LMMOD

3.3. Пример моделирования

БИБЛИОГРАФИЧЕСКИЙ СПИСОК

ПРИЛОЖЕНИЕ 1. СОСТАВ СИСТЕМНОЙ БИБЛИОТЕКИ МОДЕЛЕЙ..............32 ПРИЛОЖЕНИЕ 2. СОСТАВ БИБЛИОТЕКИ МОДЕЛЕЙ FK155.LIB

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

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

1. КЛАССИФИКАЦИЯ СРЕДСТВ МОДЕЛИРОВАНИЯ

Средства логического моделирования принято классифицировать следующим образом:

• По организации процесса моделирования:

- асинхронное (метод простой итерации);

- синхронное (метод Зейделя).

• По виду кодирования сигналов:

- двоичное;

- троичное;

- многозначное.

• По методам реализации программ моделирования:

- интерпретация;

- компиляция.

• По организации вычислений:

- сквозное;

- событийное.

Вопросы организации процесса моделирования будут рассмотрены во второй главе.

При двоичном кодировании все сигналы в схеме представляются значениями из множества Е={0, 1} (FALSE, TRUE или ЛОЖЬ, ИСТИНА). Двоичное кодирование позволяет создавать наиболее простые и быстродействующие программы.

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

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

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

Так, если для схемы из ста элементов изменяют свое состояние при изменении входного сигнала в среднем около половины элементов, то для схемы из 1000 элементов – порядка 10 %, а при 10 000 – не более 2-3 %. Поэтому сквозное моделирование применяется при моделировании сравнительно простых схем, содержащих не более тысячи элементов. Для сложных схем обычно используется событийное моделирование.

2. ОРГАНИЗАЦИЯ ПРОЦЕССА МОДЕЛИРОВАНИЯ

2.1. Асинхронное моделирование Функциональная схема любого дискретного устройства состоит из функциональных преобразователей (логических элементов), элементов памяти (триггеров, регистров, счетчиков), различных функциональных узлов в интегральном исполнении и в ряде случаев элементов задержки. Обозначим через x1, x2,..., xn значения сигналов из множества Е = {0, 1} на входах схемы; e1, e2,..., ek – состояния элементов схемы. Для простейших элементов с единственным выходным полюсом можно отождествлять состояние со значением сигнала на полюсе. Так, элемент 2И будет иметь 2 состояния – 0 и 1 на его выходе. Четырехразрядный двоичный счетчик имеет 16 состояний – от 0000 до 1111. Каждый из элементов реализует некоторую функцию из множества f1, f2,..., fk. Здесь функция понимается в широком смысле – это может быть логическое уравнение, система логических уравнений, описание автомата и т.п.

Вводя понятие дискретного времени, любую схему при асинхронном моделировании описывают системой уравнений e1(t + 1) = f1( x1(t),..., xn(t), e1(t),..., ek(t));

e2(t + 1) = f2( x1(t),..., xn(t), e1(t),..., ek(t)); (1)... =...

ek(t + 1) = fk( x1(t),..., xn(t), e1(t),..., ek(t)).

Зная состояния элементов схемы и значения сигналов на ее входных полюсах в некоторый дискретный момент времени t, по уравнениям (1) можно вычислить состояния всех элементов в момент времени (t + 1). Обратите внимание, что в правую часть уравнений подставляются значения входных сигналов и состояния элементов схемы, которые они имели в момент времени t. Перед началом моделирования (при t = 0) необходимо задать состояния всех элементов схемы (начальные условия).

Если сигналы на входах схемы сохраняют неизменные значения, т.е. xj(t) = xj(t + 1) = xj(t + 2) =... для всех j = 1, n, то, повторяя расчет по уравнениям (1) для дискретных моментов времени (t + 1), (t + 2),... до тех пор, пока для всех i = 1, n не будет ei(t + p) = ei(t + p + 1), получим установившиеся значения выходных сигналов, состояний элементов схемы в момент времени (t + p) при заданных значениях сигналов на входных полюсах и состояний элементов схемы в момент времени t, а в процессе расчета получим состояния элементов в моменты времени (t + 1), (t + 2), (t + p). Если задержки всех элементов схемы одинаковы, то полученную последовательность можно рассматривать как временную диаграмму работы схемы. При необходимости различия в задержках можно моделировать, включая в модель элементы задержки.

Рассмотренный итерационный процесс и есть моделирование схемы методом простой итерации или асинхронное моделирование.

При этом методе порядок записи уравнений, описывающих элементы схемы, безразличен, а при определении состояний элементов на некоторой итерации в правые части уравнений (1) подставляются состояния элементов, полученные на предыдущей итерации.

Используя метод асинхронного моделирования, по начальным значениям состояний элементов схемы и последовательности входных сигналов можно определить состояния элементов в любой дискретный момент времени, решая систему уравнений (1) вновь после каждого изменения входных сигналов до тех пор, пока состояния всех элементов схемы не совпадут на двух последовательно выполняемых итерациях. Анализируя процесс изменения состояний элементов схемы и сигналов на ее выходных полюсах после каждого изменения сигналов на входе, можно выявить гоночные ситуации в схеме по многократному изменению состояния какого-либо элемента схемы при неизменном входном сигнале.

Применение метода простой итерации рассмотрим на примере схемы сумматора по модулю два (исключающее ИЛИ), приведенной на рис. 1. В табл. 1 приведены результаты моделирования этой схемы. В первой левой колонке записаны уравнения элементов схемы. Итерация с номером 0 соответствует начальному состоянию схемы, при котором полагаем, что все элементы и входы имеют значение 0. Моделирование схемы начинаем с итерации 1. При этом в уравнения подставляем состояния всех элементов и входов схемы, которые они имели в начальном состоянии (в нашем примере значение 0). На второй итерации подставляем результаты первой и т.д. до тех пор, пока не совпадут результаты двух последовательно выполняемых итераций.

Таблица 1

Рис. 1. Сумматор по модулю два

В рассматриваемом примере совпадают результаты третьей и четвертой итераций, а значит, мы получили установившееся состояние схемы для заданного входного сигнала x1 = 0, x2 = 1. Далее изменяем входной сигнал на x1 = 1, x2 = 0.

Итерации 5-9 показывают процесс моделирования схемы для этого входного сигнала. Результаты моделирования отражают процесс изменения состояний элементов схемы при изменении сигнала на входе при условии равенства задержек всех элементов. В этом случае полученные результаты можно интерпретировать как временные диаграммы работы схемы, что и показано в табл. 1. Обратите внимание, что в данной схеме имеет место ситуация статического риска сбоя (гонки на входах элемента 2ИЛИ). Как при входном сигнале x1 = 0, x2 = 1, так и при x1 = 1, x2 = 0 выходной сигнал y = 1. Однако при изменении сигнала на входе, на выходе кратковременно существует значение y = 0 (7-я итерация), что может привести к неправильной работе устройства, в котором будет использована моделируемая схема.

–  –  –

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

Рассмотрим в качестве примера схему простейшего RS-триггера, приведенную на рис. 3. Результаты моделирования триггера приведены в табл. 3. Итерации 1-4 соответствуют моделированию триггера при нулевых начальных условиях и безразличном входном сигнале S = 0, R = 0 (триггер сохраняет состояние, а оно в начальных условиях не задано). В данном случае устойчивое состояние схемы не достигнуто – наблюдается бесконечный колебательный процесс. Если же мы начнем моделирование с установочного сигнала S = 1, R = 0, соответствующего установке триггера в состояние Q = 1, NQ = 0, то устойчивое состояние будет получено (итерации 5-10).

Таблица 3

Рис. 3. RS-триггер

2.2. Синхронное моделирование При синхронном моделировании (метод Зейделя) уравнения модели записываются в форме e1(t) = f1(x1(t),..., xn(t), e1(t-1));

e2(t) = f2(x1(t),..., xn(t), e1(t), e2(t-1)); (2)...=...

ek(t) = fk(x1(t),..., xn(t), e1(t),..., ek-1(t), ek(t-1)).

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

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

Вершинами графа вхождения являются входные полюсы схемы, которым присваивается нулевой ранг, и элементы схемы. Если состояние i-го элемента или входного полюса входит в уравнение j-го элемента, то в графе существует дуга, исходящая из i-й вершины и входящая в j-ю вершину графа. Вершины, которые имеют заходящие дуги только от вершин нулевого ранга, образуют подмножество вершин 1-го ранга. В k-й ранг входят вершины, имеющие хотя бы одну заходящую дугу от вершины (k-1) ранга, любое число заходящих дуг от вершин ранга менее (k-1) и ни одной заходящей дуги от вершин, имеющих ранг более (k-1).

Для схемы рис. 1 входные полюсы x1 и x2 образуют подмножество вершин нулевого ранга, элементы z1 и z3 – первого, z2 и z4 – второго и выходной элемент 2ИЛИ – третьего. Таким образом, для этой схемы получим вычислимую последовательность z1, z3, z2, z4, y.

Вычислим состояния элементов схемы рис. 1 методом Зейделя для той же последовательности входных наборов, что и для метода простой итерации (асинхронного моделирования).

Входной набор x1 = 0, x2 = 1.

z 1 = x 1 = 0 = 1, z 3 = x 2 = 1 = 0, z 2 = z 1 x 2 = 1 1 = 1, z 4=z 3 x 1= 0 0= 0, y = z 2 + z 4 =1+ 0 =1.

Входной набор x1 = 1, x2 = 0.

z 1 = x 1 =1 = 0, z 3 = x = 0 =1, z 2 = z 1 x 2 = 0 0 = 0, z 4 = z 3 x 1 =11 =1, y = z 2 + z 4 = 0 + 1 = 1.

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

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

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

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

Так, для схемы RS-триггера (рис. 3) можно разорвать контур на входе второго элемента (Q). В этом случае получим условно вычислимую последовательность NS, NR, Q, NQ. Перед началом моделирования необходимо определить значение сигнала в точке разрыва контура (значение NQ). В табл. 4 приведены результаты синхронного моделирования схемы триггера (рис.3) для последовательности сигналов S = (010) и R = (101) и начального состояния NQ = 0.

Таблица 4 Входные наборы Нач.

Функции сост. S=0, R=1 S=1, R=0 S=0, R=1 Номер итерации 0 NS = S

- NR = R

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

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

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

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

Рассмотрим пример моделирования схемы счетного триггера, приведенной на рис. 4. Символами Х на схеме обозначены точки разрыва контура, цифрами справа от обозначений элементов – их ранги. Результаты синхронного моделирования схемы приведены в табл. 5. Уравнения в таблице записаны в вычислимой последовательности, при этом элемент, на входах которого разорван контур, рассматривается как элемент первого ранга (точки разрыва рассматриваются как входные полюсы).

–  –  –

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

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

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

В процессе троичного моделирования изменения всех сигналов в схеме должны включать только разрешенные последовательности. Если же в какойлибо точке схемы обнаруживается последовательность 1x1 или 0x0, то это означает, что в процессе переключения элементов схемы при изменении входного сигнала в этой точке возможны гонки. Табл.6 показывает правила вычисления функций отрицания (НЕ), дизъюнкции (ИЛИ) и конъюнкции (И) при троичном кодировании сигналов.

Процесс троичного синхронного моделирования рассмотрим на примере схемы рис. 1. В результате асинхронного моделирования мы установили, что при изменении входного сигнала с x1 = 0, x2 = 1 на x1 = 1, x2 = 0 в схеме существуют гонки. В табл. 7 приведены результаты синхронного троичного моделирования схемы для той же последовательности сигналов. Входной сигнал x1 изменяется из нуля в единицу (0x1), а x2 – из единицы в нуль (1x0). При этом на выходах всех элементов, кроме y, существуют допустимые последовательности сигналов 0x1 или 1x0, а на выходе y – 1x1. Это означает, что старое и новое состояния выхода равны единице, а в процессе перехода схемы из одного состояния в другое может быть и ноль, и единица. Конкретное же значение будет определяться соотношением задержек элементов. Таким образом, на выходе y существует риск сбоя.

–  –  –

2.4. Сквозное и событийное моделирование Во всех рассмотренных выше примерах в процессе моделирования (синхронного или асинхронного, двоичного или троичного) мы вычисляли на каждой итерации состояния всех элементов схемы. Такой процесс вычислений называют сквозным.

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

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

1 таблица опроса будет содержать следующие строки:

x1: 01, 04 x2: 02, 03 z1: 02 z2: 05 z3: 04 z4: 05 При моделировании схемы асинхронным методом после изменения входного сигнала из (X1=0, X2=0) в (X1=1, X2=0) вычисляются состояния элементов 01 и 04, на входы которых поступает сигнал с полюса x1. Состояния остальных элементов берутся из предыдущей итерации, так как сигналы на их входах не изменились и, следовательно, не могут измениться их состояния. Так как на первой итерации изменились состояния выходов z1 и z4 элементов 01 и 04, то на второй вычисляются состояния элементов 02 и 05, на входы которых поступают сигналы z1 и z4.

При этом изменилось только состояние элемента 05 (Y), состояние которого не входит в таблицу опроса, а значит, изменение его состояния не приведет к изменению состояний других элементов. На этом процесс моделирования схемы для входного сигнала (X1 = 1, X2 = 0) заканчивается. В табл. 8 состояния, вычисляемые на каждой итерации, выделены подТаблица 8 черкиванием.

Функции Входные наборы Событийное моделирование позвоX1=0,X2=0 X1=1,X2=0 ляет существенно сократить объем выИтерации - 12 числений для определения состояний Z1 = X1 элементов схемы, но при этом появляют- Z = Z X 0 00 ся затраты ресурса ЭВМ на поиск по таб- Z = X 1 11 лицам опроса. Поэтому для сравнительно Z = X Z 0 11 небольших схем, содержащих до не- Y = Z 2 + Z 4 0 01 скольких сот элементов, событийное моделирование не дает уменьшения времени вычислений и обычно не применяется.

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

3. СИСТЕМА ЛОГИЧЕСКОГО МОДЕЛИРОВАНИЯ

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

Моделируемое устройство может быть представлено:

- схемой из элементов системной и личных библиотек моделей, описанной в форме BL;

- системой логических функций, описанных в базисе И, ИЛИ, НЕ (форма F);

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

Система включает:

- модуль DOOP доопределения функций;

- модуль LMOD формирования модели схемы;

- модуль LMMOD, реализующий процесс асинхронного моделирования;

- системную объектную библиотеку моделей элементов;

- список используемых библиотек моделей элементов, этот список должен находиться в файле с именем LIBS.DAT в рабочей директории;

- список соответствия, устанавливающий соответствие между именами элементов схемы и именами их моделей в библиотеках (в настоящей версии подсистемы имеется библиотека моделей микросхем 155-й серии FK155);

- транслятор и редактор связей языка программирования ФОРТРАН фирмы MICROSOFT (не ниже MSF 5.0).

В процессе работы системы по описанию устройства модулем LMOD формируется ФОРТРАН-программа модели, командный файл для вызова модуля LMMOD и рабочий файл для передачи необходимой информации моделирующей программе. Полученная программа модели транслируется штатным транслятором операционной системы и включается в модуль LMMOD.

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

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

3.1. Формы представления данных 3.1.1. Скобочная грамматика Информация в САПР представляется в форме списков на языке скобочной грамматики.

Список есть произвольная последовательность элементов списка, заключенная в круглые скобки. Элементы списка отделяются один от другого запятыми.

Элементами списка могут быть:

- элементарная единица списка (ЭЕ) – произвольная последовательность длиной не более 12 символов, не содержащая спецсимволов и разделителей;

- композиция – произвольная последовательность символов любой длины, не содержащая разделителей;

- список.

В качестве разделителей используются символы:

/ – косая черта; ( – открывающая скобка;

) – закрывающая скобка;, – запятая;

; – точка с запятой, является признаком конца списка.

В качестве спецсимволов используются:

= – знак равенства; + – знак плюс;

' – апостроф; @ – а коммерческое;

. – точка; # – диез.

Любой список может быть наделен именем. Имя есть ЭЕ списка. Между именем и открывающей список скобкой может записываться разделенная запятыми последовательность ЭЕ, заключенная между символами '/'. Первая из них определяет структуру списка и называется его семантическим именем. Остальные называются весовыми коэффициентами и определяют параметры списка.

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

Примерами списков являются описания, рассматриваемые ниже.

–  –  –

3.1.3. Описание схемы дискретного устройства в форме BL Описание схемы в форме BL содержит перечень элементов схемы с указанием имен цепей, подключаемых к их выводам, и задается списком имя/BL/(ком(вх),ком(вых),ком(схема));

где имя, ком, вх, вых – то же, что и в функциональном описании;

BL – обязательное семантическое имя списка;

схема – элементы схемы, каждый из элементов описывается в форме ИЭ/n,t/((вх.э),(вых.э)), где ИЭ – имя элемента, которое определяется из списков соответствия используемых библиотек моделей, является ЭЕ списка;

n – номер элемента в схеме, целое число не более 9999;

t – значение задержки элемента, целое число не более 99;

вх.э – список имен входных цепей элемента, разделенных запятыми, каждое имя является ЭЕ списка;

вых.э – список имен выходных цепей элемента, разделенных запятыми, каждое имя является ЭЕ списка.

Номер элемента и значение задержки являются необязательными элементами описания и могут быть опущены вместе с ограничивающими их косыми скобками. Если номер отсутствует, но задано значение задержки, то разделяющая запятая обязательна. Если задержки всех элементов схемы одинаковы, то t задавать не нужно – оно принимается равным 1. При различиях в задержках определяется наибольший общий множитель, значение которого принимается за единицу задержки. Так если в схеме имеются элементы с задержками 10, 15 и 20 наносекунд, то наибольший общий множитель будет равен 5, а задержки будут заданы значениями 2, 3 и 4 соответственно. Конечно, можно задать и значения в наносекундах, но при больших значениях t резко увеличивается необходимый объем памяти и время вычислений, так как при t1 выделяется дополнительно (t-1) байт и формируется (t-1) уравнение для каждого выходного полюса элемента.

Схема RS-триггера, приведенная на рис. 3, в форме BL будет описана следующим образом:

RST/BL/( (S,R),(Q,NQ),( НЕ/1/((S),(NS)), НЕ/3/((R),(NR)), 2И-НЕ/2/((NS,NQ),(Q)), 2И-НЕ/4/((NR,Q),(NQ))));

В этом описании все элементы имеют одинаковую задержку. Схема сумматора по модулю два с задержками, приведенная на рис.2, будет описана в форме

BL следующим образом:

sum2/bl/(x1,x2),(y),( не/1,2/((x1),(z1)), 2и-не/2,3/((z1,x2),(z2)), не/3,2/((x2),(z3)), 2и-не/4/((x1,x3),(z4)), 2или-не/5,2/((z2,z4),(y))));

При описании схемы обязательно указать все входные и выходные полюса с соблюдением их порядка в описании элементов. Для схемы RS-триггера при его использовании в качестве элемента другой схемы может не использоваться один из выходов (прямой или инверсный), но в записи он должен быть обязательно указан. Например, 4-разрядный регистр на RS-триггерах, приведенный на рис.

5, может быть описан следующим образом:

RG4/BL/( вх (s1,s2,s3,s4,nr), вых (q1,q2,q3,q4), схема ( НЕ ((r), (nr)), RST ((s1,rr), (q1,nq1)), RST ((s2,rr), (q2,nq2)), RST ((s3,rr), (q3,nq3)), RST ((s4,rr), (q4,nq4))));

RST/BL/((S,R),(Q,NQ), ( НЕ/1/((S),(NS)), НЕ/3/((R),(NR)), Рис. 5. Регистр 2И-НЕ/2/((NS,NQ),(Q)), 2И-НЕ/4/((NR,Q),(NQ))));

В этом описании выходы триггеров nq1,..., nq4 не используются (их нет в списке выходов регистра), но обязательны в описании регистра. Кроме того, описание элемента схемы – RS-триггера включено непосредственно в текст. Так можно поступать только в том случае, если модели элемента (в нашем примере триггера) нет в библиотеке моделей.

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

3.1.4. Список соответствия При описании схем в форме BL используются общепринятые имена элементов (например, НЕ, 2И-НЕ, 2ИЛИ-НЕ, 2ИЛИ-2И-НЕ и т.п.). В то же время модели элементов в САПР оформляются в виде подпрограмм, имена которых должны удовлетворять синтаксису языка программирования – имя должно начинаться с буквы латинского алфавита, может содержать только буквы и цифры. Для установления соответствия между именами элементов и именами их моделей вводится список соответствия, который имеет следующий вид имя/SOOT/(список);

где имя – имя списка соответствия, является ЭЕ;

SOOT – обязательное семантическое имя списка;

список – список, элементы которого имеют вид:

иэ/им/((входы),(выходы)) где иэ – имя элемента, которое используется при описании схемы;

им – имя модели элемента в системе моделирования;

входы – список имен входных полюсов элемента;

выходы – список имен выходных полюсов элемента.

Пример списка соответствия:

lib1/soot/ ( НЕ /NOT/ ((1),(2)), 2И-НЕ /IN2/ ((1,2),(3)), DTM /DTM/ ((ns,d,c,nr), (q,nq)),, ЛН1 /LN1/ ((1,3,5,9,11,13), (2,4,6,8,10,12)), ЛИ1 /LI1/ ((1,2,4,5,9,10,12,13), (3,6,8,11)), ЛЕ4 /LE4/ ((1,2,13,3,4,5,9,10,11), (12,6,8)),...);

Из этого списка видно, что модель элемента НЕ имеет имя NOT, элемента 2И-НЕ – IN2 и т.д. Имя элемента DTM совпадает с именем его модели.

–  –  –

3.2.1. Модуль DOOP

Вызов модуля DOOP выполняется по имени:

DOOP [имя файла].

Имя файла должно иметь расширение TAB и при вызове модуля DOOP это расширение можно не указывать. Если имя файла с табличным описанием системы функций имеет иное расширение, то его нужно указать явно. При отсутствии расширения имя файла в команде должно заканчиваться точкой. Имя файла до расширения воспринимается системой как имя модели устройства, оно должно начинаться с буквы и может содержать только символы латинского алфавита и цифры. Имя можно не задавать, а ввести по запросу программы. Если имя файла не задано, то при обращении модуль запрашивает его. В ответ на запрос вводится имя файла. Ввод завершается нажатием клавиши ENTER.

После ввода имени запрашивается подтверждение правильности ввода с подсказкой ответа '(Y/N)'. При нажатии любой клавиши, кроме Y, повторяется запрос имени. Если же нажата клавиша Y, то производится чтение данных из файла. Если файла с таким именем нет, то выполняется повторный запрос имени, который может повторяться до 3 раз.

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

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

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

3.2.2. Модуль LMOD Вызов модуля LMOD выполняется из командного файла вызова системы моделирования:

LM [имя файла] Если имя файла имеет расширение TXT, то его можно не указывать. Любое иное расширение имени должно явно задаваться. Для имени файла без расширения следует ввести точку, завершающую имя.

После ввода имени запрашивается подтверждение правильности ввода с подсказкой ответа '(Y/N)'. При нажатии любой клавиши, кроме Y, повторяется запрос имени. Если же нажата клавиша 'Y', то производится чтение данных из файла. Если файла с таким именем нет, то выполняется повторный запрос, который может повторяться до 3 раз.

ВНИМАНИЕ! Имя файла в системе рассматривается как имя модели устройства и должно соответствовать требованиям ФОРТРАНА к именам подпрограмм (начинается с буквы, может содержать только буквы и цифры, длина имени в существующей версии системы ограничена шестью символами).

Имя списка рассматривается как имя элемента, если моделируемое устройство будет использоваться в качестве элемента какой-либо другой схемы.

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

Если ошибок в описании не обнаружено или имеется только предупреждающая диагностика и пользователь принял решение продолжить моделирование, то выполняется дальнейшая обработка. После контроля описания в блочной форме (BL) производится чтение списков соответствия системной библиотеки моделей из файла LIBLM.DAT и личных библиотек моделей, имена которых перечислены в файле LIBS.DAT. Если этот файл не будет найден в рабочей директории, то предполагается, что в схеме используются только элементы из системной библиотеки. Если описание содержит тексты моделей элементов, то они включаются в начало системного списка соответствия. Имена библиотек в строке файла LIBS.DAT указываются без расширения. Одно имя от другого отделяется пробелом. Может быть задано не более пяти библиотек.

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

В этом случае формируется предупреждающее сообщение с фрагментом списка соответствия, содержащим дублируемое имя:

ВНИМАНИЕ Имя модели схемы mod2 совпадает с именем элемента в библиотеке ИЛИ-НЕ/ILIN3/,МОД2/MOD2/,SUM/SUM/,RST/RST/,SDT/SDT/,DTM/DTM/, Схему нельзя использовать в качестве элемента другой схемы.

Будете продолжать работу (Y/N) ?

При нажатии клавиши Y (игрек – ответ ДА) модуль продолжает работу, при любом ином ответе – завершает.

После контроля исходных данных (описания устройства и списков соответствия библиотек) текст описания выводится на экран для просмотра и после нажатия клавиши ENTER создается ФОРТРАН-текст модели, который записывается в файл с именем, совпадающим с именем файла описания моделируемого устройства, но расширение имени заменяется на FOR. При нажатии клавиши F3 после просмотра текста на экран выводятся списки переменных и соответствия. Для описаний в форме BL при получении ФОРТРАН-текста контролируется соответствие числа входов и выходов модели и элемента схемы.

Имена библиотек, имя подпрограммы модели, списки переменных и другая необходимая информация заносятся в рабочий файл LWORK.DAT, а в файле с именем LD.BAT создается командный файл для продолжения работы системы.

После этого модуль LMOD завершает работу и управление передается в командный файл LM.BAT, из которого осуществляется вызов файла LD.BAT.

3.2.3. Моделирующая программа LMMOD Модуль LMMOD реализует процедуру асинхронного моделирования устройства. Вызов модуля на исполнение производится из командного файла LD.BAT, сформированного модулем LMOD.

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

–  –  –

При выборе альтернативы «Удаление старых данных» существующий файл удаляется и организуется новый пустой файл с тем же именем. Если вводится новое имя, то для него также проверяется существование файла.

Затем на экран выводится текст описания моделируемого устройства и после нажатия клавиши Enter ведется поиск файла тестов, который должен иметь имя, совпадающее с именем файла описания моделируемого устройства, и иметь расширение TST. Если такой файл существует в рабочей директории, то он предлагается как файл тестов. Если же его нет, то выводится сообщение Файла тестов имя.TST нет в рабочей директории Будете вводить тест вручную (Y/N) ?

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

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

В примере задан вывод значений входных переменных s1, s2, s3, s4 и nr в первые пять столбцов протокола, а выходные переменные q1–q4 выводятся в столбцы с седьмого по десятый. Между входными и выходными переменными предусмотрен интервал в один столбец. Значения остальных переменных не наблюдаются.

-- Перемещение Пробел Последов.нумерация Enter Конец Укажите переменные, значения которых хотите вывести в протокол.

Для этого под именем переменной введите ее номер в протоколе.

Все номера должны быть различны. Максимальный номер не более 24 s s s s n q q q q r n n n n 1 2 3 4 r 1 2 3 4 q q q q..............

? 1 2 3 4 5 7 8 9 10 0 0 0 0 0 При вводе состава протокола контролируется дублирование номеров переменных. Удаление ошибочно введенного номера производится клавишами DEL или BACKSPACE. Если задается пустой протокол (все номера переменных в протоколе равны нулю), то в протокол будут выведены первые 24 переменные в том порядке, в котором они встречаются в описании. После ввода состава протокола нажимаете клавишу ENTER. При этом формируется запрос для подтверждения правильности ввода. Для приведенного выше примера этот запрос будет выглядеть так:

В протокол будут выведены следующие переменные (Y/N) ?

s sssn qqq q 1 234r 123 4 Если состав протокола и порядок переменных вас удовлетворяют, то отвечаете Y (ответ ДА). При любом другом ответе происходит возврат в режим ввода состава протокола.

После ввода протокола осуществляется переход в режим моделирования.

При этом на экран выводятся переменные протокола и значения входных переменных (0 или 1).

ВНИМАНИЕ! Перед началом моделирования все переменные имеют значение 1. Если в описании имеются переменные, которым не присваивается значение ("висящие входы"), то они сохраняют значение 1 в процессе моделирования –- константы 1. Для получения константы 0 в схему включается инвертор с константой 1 на входе.

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

При моделировании схемы рассматриваемого примера следует начинать моделирование при s1 = s2 = s3 = s4 = 0 и r = 1.

Для изменения значения какой-либо из входных переменных необходимо выбрать ее клавишами «Стрелка влево» и «Стрелка вправо» и нажать клавишу «Пробел». При этом инвертируется значение переменной. При нажатии клавиши ENTER начинается отработка заданного значения сигнала, по окончании которой система вновь возвращается в режим ввода входного сигнала. Результаты моделирования выводятся в файл протокола и на экран терминала в форме временных диаграмм. При этом ось времени направлена сверху вниз. Нулевое значение переменной совпадает с осью, единичное – смещено вправо, а ось обозначается точками. Моменты изменения входных сигналов выделяются горизонтальными линиями из точек.

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

В процессе моделирования в нижней части экрана выводится подсказка:

–  –  –

Меню режимов имеет следующие опции:

- Число итераций для моделирования

- Вид печати результатов моделирования

- Включение генератора на вход

- Режим контроля гоночных ситуаций

- Изменение состава протокола

- Запомнить/восстановить состояние

- Постоянное состояние цепи

- Конец работы Рассмотрим кратко каждую из опций меню.

«Число итераций для моделирования» – устанавливает количество итераций для отработки входного сигнала. Если при неизменном входном сигнале после выполнения заданного числа итераций не получено установившееся состояние схемы, то выводится диагностическое сообщение о генерации схемы. По умолчанию установлено 15 итераций, что достаточно для моделирования небольших схем. Если схема имеет большую глубину, то следует увеличить это значение.

«Вид печати результатов моделирования» – изменение режима вывода результатов. По умолчанию установлен режим событийного вывода - выводятся только итерации, на которых изменяются значения наблюдаемых переменных.

Возможен переход в режим вывода результатов всех итераций.

«Включение генератора на вход» – включение генератора на выделенный вход. При этом запрашивается период следования импульсов и их длительность (в числе итераций) и полярность (0 или 1). Для выключения генератора достаточно выбрать соответствующий вход в режиме ввода сигнала, нажать клавишу «Пробел» и на запрос программы подтвердить необходимость выключения генератора.

ВНИМАНИЕ! При включенном генераторе не контролируется достижение схемой устойчивого состояния.

«Режим контроля гоночных ситуаций» – в настоящей версии только контроль выходов схемы.

«Изменение состава протокола» – переход в режим ввода протокола для изменения его состава. При большом числе переменных в схеме позволяет моделировать схему по частям. Если на какой-либо из входов схемы включен генератор и этот вход будет исключен из протокола, то работа генератора продолжается.

«Запомнить/восстановить состояние» – запоминание состояния схемы и его восстановление. При выборе этой альтернативы запрашивается режим – запоминание или восстановление, а затем номер состояния. Рекомендуется запоминать начальное состояние схемы для возможности ее моделирования на различных тестах без выхода из подсистемы.

«Постоянное состояние цепи» – установка значения переменной (цепи), которая не изменяется в процессе моделирования, необходимо при моделировании неисправностей в схеме.

«Конец работы»– окончание работы с системой моделирования. Происходит выход из программы моделирования и возврат в командный файл LD.BAT для удаления временных и служебных файлов.

3.3. Пример моделирования Приведен пример моделирования схемы привязки фронтов импульсов, поступающих на вход Х, к фронтам тактовых импульсов, поступающих на вход синхронизации С. Описание элемента FARV в форме F помещено сразу же после описания схемы.

В примере приведены фрагменты протокола моделирования при событийной печати результатов – левая колонка и при сквозной – правая. При этом ось времени направлена сверху вниз. Нулевое значение сигналов соответствует оси времени, единичное – смещено вправо. Слева от диаграмм выводятся номера итераций. Моделирование начинается с установочного сигнала #R = 1 и первые семь итераций отражают процесс установки триггеров в 0. Обратите внимание, что при этом выходной сигнал Y изменяется многократно, что воспринимается системой как «гонки на выходе схемы» (отмечено символами '*'). Затем включается тактовый генератор #C (итерация 10) и изменяется входной сигнал X (итерация 18). Итерация 23 соответствует ближайшему к изменению входного сигнала активному фронту тактового импульса (#C изменяется из 0 в 1) и через 3 итерации (задержка переключения триггера) Y принимает значение 1 (посмотрите схему – тактовый импульс проходит через 2 инвертора и только затем поступает на входы триггеров).

**** МОДЕЛИРУЕМАЯ СХЕМА **** ARV /BL/ ( входы (X, #c, #r), выходы (Y), схема ( не ( (#r), (#nr) ), не ( (#c, (#nc) ), не ( (#nc), (#cc) ), FARV ( (X, Y, #q2), (#d1, #d2) ), dtm ( (#, #d1, #cc, #nr), (Y, #1 ) ), dtm ( (#, #d2, #cc, #nr), (#q2, #nq2 ) ) ) );

FARV /F/ ( (X, Y, #q2), (#d1, #d2), ( #d1 = X.'Y.'#q2, #d2 = Y + X.#q2 ) );

Итер. Результат моделирования

БИБЛИОГРАФИЧЕСКИЙ СПИСОК

1. Норенков, И.П. САПР электронной и вычислительной аппаратуры / И.П. Норенков, Н.Б, Маничев. М. : Высш. шк., 1983. 272 с.

2. Автоматизация схемотехнического проектирования / под ред. В.Н. Ильина. М. : Радио и связь, 1986. 388 с.

3. Баранов, С.И. Цифровые устройства на программируемых БИС с матричной структурой / С.И. Баранов, Н.А. Скляров. М. : Радио и связь, 1986. 272 с.

4. Логическое проектирование БИС / под ред. В.А. Мищенко. М. : Радио и связь, 1984. 247 с.

5. Формальный синтез дискретных устройств : методические указания / сост. В.В. Муханов. Екатеринбург: УГТУ-УПИ, 1998. 42 с.

Похожие работы:

«МОСКОВСКИЙ АВТОМОБИЛЬНО-ДОРОЖНЫЙ ГОСУДАРСТВЕННЫЙ ТЕХНИЧЕСКИЙ УНИВЕРСИТЕТ (МАДИ) Г.И. АРУТЮНОВА, В.В. БЕЗНОВСКАЯ, А.А. СУЛТЫГОВА ПРАКТИКУМ ПО ДИСЦИПЛИНЕ «ЭКОНОМИЧЕСКАЯ ТЕОРИЯ» Часть 2. МАКРОЭКОНОМИКА ...»

«Инструкция по эксплуатации pontiac trans sport 25-03-2016 1 Благодарная самокрутка досрочно не остригает изнеженный прибалта утратившими какашками. Отфыркнутся ли во мессианские развалы? Спешенные окаймления флюоресцируют с целью адекватн...»

«МИНОБРНАУКИ РОССИИ Федеральное государственное бюджетное образовательное учреждение высшего образования «ПЕНЗЕНСКИЙ ГОСУДАРСТВЕННЫЙ ТЕХНОЛОГИЧЕСКИЙ УНИВЕРСИТЕТ» ISSN 2221-951X НАУЧНО-МЕТОДИЧЕСКИЙ ЖУ...»

«МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ РОССИЙСКОЙ ФЕДЕРАЦИИ Сыктывкарский лесной институт (филиал) федерального государственного бюджетного образовательного учреждения высшего профессионального образования «Санкт-Петербургски...»

«Министерство образования и науки Российской Федерации Государственное образовательное учреждение высшего профессионального образования «Омский государственный технический университет» А. В. Федотов, Н. Г. Скабкин ОСНОВЫ ТЕОРИИ НАДЕЖНОСТИ И ТЕХНИЧЕСКОЙ ДИАГНОСТИКИ Конспект лекций Омск Издательство ОмГ...»

«УДК 663.97/98 ББК 36.98 М-63 Миргородская Алла Гайкасовна, кандидат технических наук, заведующая лабораторией технологии производства табачных изделий Федерального государственного бюджетного научного учреждения «Всероссийский...»

«ЕГОРШИН Артем Юрьевич ОТКАЗОУСТОЙЧИВЫЕ ПРОГРАММНО-АППАРАТНЫЕ ВЫЧИСЛИТЕЛЬНЫЕ КОМПЛЕКСЫ СИСТЕМ УПРАВЛЕНИЯ БУРЕНИЕМ С ИСПОЛЬЗОВАНИЕМ ИНТЕЛЛЕКТУАЛЬНОЙ ПОДДЕРЖКИ ПРИНЯТИЯ РЕШЕНИЙ Специальность 05.13.01 «Системный анализ, управ...»

«Вестник СибГУТИ. 2014. №3 13 УДК 519.863 Оптимизация системы производственных услуг в условиях межфирменного взаимодействия А. А. Колоколов, Е. Я. Семерханова Данная работа посвящена решению задачи оптимального использования технических средств в системе межфирменного взаимодействия с...»

«РЕГУЛИРУЮЩИЕ ТРЕБОВАНИЯ И ОПЫТ ВЫПОЛНЕНИЯ ГОСУДАРСТВЕННЫХ ЭКСПЕРТИЗ ЯРБ МАТЕРИАЛОВ ЭКСПЛУАТИРУЮЩЕЙ ОРГАНИЗАЦИИ ПО КВАЛИФИКАЦИИ ОБОРУДОВАНИЯ АЭС УКРАИНЫ, ВАЖНОГО ДЛЯ БЕЗОПАСНОСТИ Д.И.Рыжов, А-й.П.Шугайло, А-р.П.Шугайло, Р...»

«ИННОВАЦИОННОЕ РАЗВИТИЕ РЕГИОНА (НА ПРИМЕРЕ ПЕРМСКОГО КРАЯ) © Бельтюкова С.М. Пермский национальный исследовательский политехнический университет, г. Пермь В данной статье рассматриваются основные меры государственной поддержки инновационного развития регионов, перечислены методики оцен...»

«ХАРЬКОВСКИЙ ОРДЕНА ЛЕНИНА I ФИЗИКО-ТЕХНИЧЕСКИЙ ИНСТИТУТ АН УССР j' ХФТИ 78-9 I -'У М.П.РЕКАЛО Р НЕЧЕТНЫЕ ЭФФЕКТЫ В РЕАКЦИЯХ ФОТООБРАЗОВАНИЯ Т МЕЗОНОВ НА НУКЛОНАХ Харьков 1978 УДК 539.12 рекало И. П. Р НЕЧЕТН...»

«Ногай Адольф Сергеевич Профессор, Доктор физико-математических наук. Окончил в 1977 г. инженерно-физический факультет Ташкентского политехнического института им. Р. Бируни по специальности: «Полупроводниковые и микроэлектронные приборы». Трудовую деятельность начал с 1979 года инженером конструктором в НПО «Фо...»









 
2017 www.pdf.knigi-x.ru - «Бесплатная электронная библиотека - разные матриалы»

Материалы этого сайта размещены для ознакомления, все права принадлежат их авторам.
Если Вы не согласны с тем, что Ваш материал размещён на этом сайте, пожалуйста, напишите нам, мы в течении 1-2 рабочих дней удалим его.