Tararenko: /* Генерация ГСА */

2013-12-21T13:49:35Z

‎Генерация ГСА

Tararenko: Новая страница: «= Генерация ГСА = == Введение == Микропрограмма представляет собой направленный граф и быв…»

2013-12-21T13:19:07Z

Новая страница: «= Генерация ГСА = == Введение == Микропрограмма представляет собой направленный граф и быв…»

Новая страница

= Генерация ГСА =
== Введение ==
Микропрограмма представляет собой направленный граф и бывает трех типов:
# содержательная граф-схема алгоритма (ГСА);
# закодированная ГСА;
# отмеченная ГСА.
Содержательная ГСА содержит описания микроопераций в терминах устройств ОБ. В каждом ОБ указывается непосредственно содержание выполняемой микрооперации. 
Содержательные алгоритмы строятся на начальном этапе проектирования, имеет хорошую наглядность, однако имеет громоздкое описание и занимают значительное место, поэтому в дальнейшем она преобразуется в закодированную схему алгоритма. Переход от содержательной ГСА к закодированной весьма прост. Каждой операции присваивается свой символ по порядку, в виде y1, y2,…
Основной задачей работы служит разработалка алгоритма для генерации ГСА. Далее написать программу для рисования по данному алгоритму ГСА.
== Основные понятия и определения теории булевых функций ==

Переменная <m>x</m> , принимающая значения из множества <m>{0,1}</m>, называется булевой (логической, двоичной) переменной. 
Функция <m>F</m>, зависящая от булевых переменных <m>x_1,x_2..x_n</m> , и принимающая значения из множества <m>{0,1}</m>, называется булевой (логической, двоичной, переключательной) функцией (или функцией алгебры логики). Такая функция обозначается, как <m>F=F(x_1,x_2..x_n)</m>. 

Наиболее распространенными способами задания булевых функций являются табличный и аналитический.
При табличном способе задания булева функция <m>F=F(x_1,x_2..x_n)</m> представляется в виде таблицы, в левой части которой располагаются наборы значений булевых переменных <m>x_1,x_2..x_n</m> в порядке возрастания их десятичного эквивалента, начиная с набора <m>0,0,..,0</m> , а в правой ее части – соответствующие значения функции <m>F</m>. Такая таблица называется таблицей истинности булевой функции <m>F=F(x_1,x_2..x_n)</m>. 

{| cellspacing="0" cellpadding="10" border="1" class=standard
|+Общий вид таблицы истинности
! x1
! x2
! .....
! xn-1
! xn
! F

|-
| 0
| 0
| .....
| 0
| 0
| F(00...00)

|-
| 0
| 0
| .....
| 0
| 1
| F(00...01)

|-
| 0
| 0
| .....
| 1
| 0
| F(00...10)

|-
| 0
| 0
| .....
| 1
| 1
| F(00...11)

|-
| ...
| ...
| ...
| ...
| ...
| ...

|-
| 1
| 1
| .....
| 1
| 1
| F(11...11)
|}

← Предыдущая		Версия 13:49, 21 декабря 2013
Строка 74:		Строка 74:
	\|}		\|}
	<br />		<br />
		+	Среди функций одной переменной <m>F=F(x)</m> наибольший интерес представляет функция <m>F(x)=¬x</m> – '''''отрицание (инверсия)''''' переменной. Такая функция называется '''''элементарной''''' булевой функцией одной переменной.
		+	Кроме функции <m>F(x)=¬x</m> к числу элементарных относится 7 булевых функций, зависящих от двух переменных <m>x_1</m> и <m>x_2</m> :
		+	* функция <m>F(x_1,x_2)=x_1 x_2</m> называется '''''конъюнкцией''''' (или логическим умножением);
		+	* функция <m>F(x_1,x_2)=x_1 \oplus x_2</m> называется '''''сложение по модулю два''''';
		+	* функция <m>F(x_1,x_2)=x_1 \lor x_2</m> называется '''''дизъюнкцией''''' (или логическим сложением);
		+	* функция <m>F(x_1,x_2)=x_1 \downarrow x_2</m> называется '''''стрелкой Пирса''''' (или функцией Вебба);
		+	* функция <m>F(x_1,x_2)=x_1 \sim x_2</m> называется '''''эквивалентностью''''';
		+	* функция <m>F(x_1,x_2)=x_1 \rightarrow x_2</m> называется '''''импликацией''''' ( <m>x_1</m> посылка (основание), <m>x_2</m> заключение (следствие));
		+	* функция <m>F(x_1,x_2)=x_1 \setminus x_2</m> называется '''''штрих Шеффера'''''.
		+	<br />
		+
		+	<graph >
		+	digraph "Граф задания на дипломную работу" {
		+	"Разработка алгоритма генерации матрицы смежности" [shape=box]
		+	"Разработка программной модели" [shape=box]
		+	"Тестирование" [shape=box]
		+	"Оформить дипломную работу"[shape=box]
		+	"Оформить дипломную работу" [shape=diamond]
		+	"Изучить микропрограммные автоматы" -> "Изучить ГСА" -> "Разработка алгоритма генерации матрицы смежности" -> "Разработка программной модели" -> "Тестирование" -> "Оформить дипломную работу";
		+	}
		+	</graph>
		+
		+	== Заключение ==
		+
		+	Был разработан алгоритм в результате которого генерировалась матрица смежности. Так же в программной среде Qt была написана программа для рисования по полученной матрице смежности псевдослучайной ГСА.
		+
		+	<br />
		+	==Список литературы==
		+	# Баранов С.И. Синтез микропрограммных автоматов. – Л. Энергия, 1979.
		+	# Скляров В.А., Баранов С.И., Синтез автоматов на матричных БИС. – Наука и техника, 1984.
		+	# Жмакин А.П., Архитектура ЭВМ. Уч.пособие. Санкт Петербург, БХВ-Петербург, 2006.
		+	# Цилькер Б.Я. ,Орлов С.А.. Организация ЭВМ и систем: Учебник для вузов. – СПб: Питер,2004.
		+
		+	# [[Лабораторные работы (MediaWiki)]]

Вариант 13 - История изменений

Tararenko: /* Генерация ГСА */

Tararenko: Новая страница: «= Генерация ГСА = == Введение == Микропрограмма представляет собой направленный граф и быв…»