Метод синтеза генераторов детерминированных тестов на сетях клеточных автоматов (СКА)
Дипломная работа - Компьютеры, программирование
Другие дипломы по предмету Компьютеры, программирование
евод с английского под редакцией Добрушина Р.Л. и Самойленко С. И.) - Изд-во Мир, 1976.
.Самофалов К.Г., Романкевич А.М. и др. Прикладная теория цифровых автоматов. - К.: Вища шк. Головное изд-во, 1987.
.Варшавский В.И., Мараховский В.Б. и др. Однородные структуры. Анализ. Синтез. Поведение. - М.: Энергия, 1973.
.Савельев А.Я. Прикладная теория цифровых автоматов. - М.: Высш. шк., 1987.
.Прангвишвили И.В., Бабичева Е.В., Игнатушенко В.В. Новые принципы реализации логических и вычислительных устройств на основе однородных микроэлектронных структур // Автоматика и телемеханика. - 1963. - N019.
.Якубайтис Э.А. Логические автоматы и микромодули. Рига: Зинатне, 1975.
.Agrawal V. D., Lin C. J., Rutkowski P., Wu S. and Zorian Y. Built-In Self-Test for Digital Integrated Circuits. - AT&T Technical J., pp 30-39, Mar. /Apr. 1994.
9.Margolus N. CAM-8: a computer architecture based on cellular automata. In: Pattern Formation and Lattice-Gas Automata. - Addison-Wesley. - 1996;
10.Тоценко В.Г. Алгоритмы технического диагностирования дискретных устройств. - М.: Радио и связь, 1983.
11.Gonets G. A. A method for the design of fault detection experiments // IEEE Trans.comput. - 1970. - c-19. - N06. - p.551-558.
.Hennie F. C. Fault detection experiments for sequential circuits. - Proceeding of Fifth Symposium on Switching Circuit Theory and Logical Design, 1964, p.95-110.
13.Халчев В.Ф. Повышение контролепригодности дискретных устройств. Состояние проблемы // Измерения, контроль, автоматизация. - 1980. - N01. - с.189-197.
14.Пархоменко П.П. Основы технической диагностики. - М.: Энергия, 1976.
.Тоценко В.Г., Кисилев И.М. Метод повышения эффективности диагностирования дискретных устройств с регулярной структурой // Управляющие системы и машины. - 1977. - N05. - С.97-102.
16.Kohavi Z. Switching and finite automata theory. - New York, Morgan Hill, 1970.
.Dias F. J. Truth-table verification of an iterative logic array // IEEE Trans.comput. - 1976. - c - 25. - N06. - p.605-613.
.Shen J. P. and Ferguson F. J. The Design of Easily Testable VLSI Array Multipliers. - IEEE Trans.computers, vol.33, no.6, pp.554-560, June 1984.
.Chatterjee A. And Abraham J. A. Test Generation for Arithmetic Units by Graph Labeling. - Proc. FTCS 17, pp.284-289, Pittsburgh, Pa., July 1987.
.Hong S. J. The Design of Testable Parallel Multiplier. - IEEE Trans.computers, vol.39, no.3, pp.411-416, Mar. 1990.
.Takach A. R. and Jha N. K. Easily Testable Gate Level and DCVS Multipliers. - IEEE Trans.computer-Aided Design, vol.10, no.7, pp.932-942, July 1991.
22.Закон Украины об охране труда - 21.11.02.
.ПУЭ. Правила устройства электроустановок. - М.: Энергоатомиздат.
.ГОСТ 12.0.003-74. ССБТ. Опасные и вредные производственные факторы. Классификация. Введен 01.01.76.
25.ГОСТ 12.1.038-82 ССБТ. Электробезопасность. Предельно допустиме значения напряжения прикосновения и токов. - Введен 01.01.88.
26.ГОСТ 12.1.003-83. ССБТ. Шум. Общие требования безопасности. - Введён 01.07.89.
.СНиП II-4-79. Естественное и искусственное освещение. Нормы проектирования. - М.: Стройиздат, 1980.
.ДНАОП 0.00-1.31-99. Правила охраны труда при эксплуатации электронно-вычислительных машин. Действует с 01.01.00.
.ГОСТ 12.1.005 - 88. ССБТ. Общие санитарно-гигиенические требования к воздуху рабочей зоны. Введен 01.01.89.
.СНиП 2.04.05-91. Отопление, вентиляция и кондиционирование воздуха. - М.: Стройиздат, 1992 г.
31.ОНТП 24 - 86. Общесоюзные нормы технического проектирования. Определение категорій помещений и зданий по взрывопожарной и пожарной безопасности. М.: Стройиздат, 1986.
32.ДБН В 1.1 - 7 - 2002 Пожежна безпека обєктів будівництва. - Діє з 01.01.03
.ГОСТ 12.1.004 - 91. ССБТ. Пожарная безопасность. Общие требования. Введен 01.01.92.
.ГОСТ 12.1.006-84. ССБТ. Электростатические поля. Допустимые уровни на рабочих местах и требования к проведению контроля. - Введен 01.01.86. \
.РД 34.21.122 - 87. Инструкция по устройству молниезащиты зданий и сооружений.
Приложение А
Текст программы РЕАЛИЗАЦИИ КЛЕТОЧНОГО АВТОМАТА на языке dELPHI 7.0
UNIT ZASTAVKA;, Messages, SysUtils, Variants, Classes, Graphics, Controls, Forms,, StdCtrls, ExtCtrls;= class (TForm): TImage;FormKeyDown (Sender: TObject; var Key: Word;: TShiftState);
{ Private declarations }
{ Public declarations };: TFormAbout;Vvodkolvokletok, Vvodpravila, Podshet;
{$R *. dfm}TFormAbout. FormKeyDown (Sender: TObject; var Key: Word;: TShiftState);_kolvokletok. Show; // показать форму. hide; // скрыть форму;.
UNIT VVODKOLVOKLETOK;, Messages, SysUtils, Variants, Classes, Graphics, Controls, Forms,, StdCtrls;_kolvokletok = class (TForm): TEdit;: TLabel;_kolvokletok: TButton;: TLabel;: TEdit;OK_kolvokletokClick (Sender: TObject);
{ Private declarations }
{ Public declarations };_kolvokletok: TVvod_kolvokletok;
kolvokl: integer;
// переменная, содержащая количество клеток в клеточном автомате: integer;
// переменная, содержащя количество шагов работы КА_kl: integer;
// переменная, используемая для хранения номера клетки
implementation Vvodpravila, zastavka;
{$R *. dfm}TVvod_kolvokletok. OK_kolvokletokClick (Sender: TObject);
var: integer;
// вспомогательная переменная для работы программы
// попытка работы программы: =StrToInt (kolvowagov. text);
// преобразование строкового значения в поле ввода kolvokletok в целочисленный тип(i>1) and (i<50) then
// проверка условия попадания введенного числа в допустимый диапазон
begin
kolvwagov: =i
end
else
showmessage ('Ошибка! Проверьте правильность записи. Число должно быть в диапазоне 2.50');
// в случае ошибки('Ошибка! Проверьте правильность записи. Число должно быть в диапазоне 2.50');
try
// попытка работы программы: =StrToInt (kolvokletok. text); // преобразование строкового значения в поле ввода kolvokletok в целочисленный тип(i>1) and (i<21) then // проаерка условия попадания введенного числа в допустимый диапазон
begin: =i;_kolvokletok. visible: =false;
for i: =1 to kolvokl do
// выполнять столько раз, сколько клеток в КА_kl: =i;. ShowModal;
// модальный показ формы для ввода правил клеток
end;_kolvokletok. Close;
else('Ошибка! Проверьте правильность записи. Число должно быть в диапазоне 2.20');
// в случае ошибки('Ошибка! Проверьте правильность записи. Число должно быть в диапазоне 2.20') ; .
UNIT VVODPRAVILA;, Messages, SysUtils, Variants, Classes, Graphics, Controls, Forms,, StdCtrls, ExtCtrls;= class (TForm): TPanel;: TLabel;: TLabel;: TLabel;: TLabel;: TLabel;: TComboBox;: TComboBox;: TComboBox;: TPanel;: TLabel;: TLabel;: TLabel;: TLabel;: TLabel;: TComboBox;: TComboBox;: TComboBox;: TPanel;: TLabel;: TLabel;: TLabel;: TLabel;: TLabel;: TComboBox;: TComboBox;: TComboBox;: TPanel;: TLabel;: TLabel;: TLabel;: TLabel;: TLabel;: TComboBox;: TComboBox;: TComboBox;: TButton;: TButton;: TPanel;: TLabel;: TLabel;: TLabel;: T