1 Тоффоли Т., Марголус Н. Машины клеточных автоматов. Пер. с англ. - М .: Мир, 1991;

2 Питерсон У., Уэлдон Э. Коды исправляющие ошибки. (Перевод с английского под редакцией Добрушина Р. Л. и Самойленко С.И.) - Изд-во `'Мир'', 1976.

3 Самофалов К.Г., Романкевич А.М. и др. Прикладная теория цифровых автоматов. - К.:Вища шк. Головное изд-во, 1987.

4 Варшавский В.И. , Мараховский В.Б. и др. Однородные структуры. Анализ. Синтез. Поведение. - М.: Энергия, 1973.

5 Савельев А.Я. Прикладная теория цифровых автоматов. - М.: Высш. шк., 1987.

6 Прангвишвили И.В., Бабичева Е.В., Игнатушенко В.В. Новые принципы реализации логических и вычислительных устройств на основе однородных микроэлектронных структур // Автоматика и телемеханика. - 1963.- N019.

7 Якубайтис Э.А. Логические автоматы и микромодули. Рига: Зинатне, 1975.

8 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.

12 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.

15 Тоценко В.Г., Кисилев И.М. Метод повышения эффективности диагностирования дискретных устройств с регулярной структурой // Управляющие системы и машины. - 1977. - N05. -С.97-102.

16 Kohavi Z. Switching and finite automata theory. - New York, Morgan Hill, 1970.

17 Dias F.J. Truth-table verification of an iterative logic array // IEEE Trans. Comput. - 1976. - c- 25. - N06. - p.605-613.

18 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.

19 Chatterjee A. And Abraham J.A. Test Generation for Arithmetic Units by Graph Labeling. - Proc. FTCS 17, pp. 284-289, Pittsburgh, Pa., July 1987.

20 Hong S.J. The Design of Testable Parallel Multiplier. - IEEE Trans. Computers, vol. 39, no. 3, pp. 411-416, Mar. 1990.

21 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.

23 ПУЭ. Правила устройства электроустановок. - М.: Энергоатомиздат.

24 ГОСТ 12.0.003-74. ССБТ. Опасные и вредные производственные факторы. Классификация. Введен 01.01.76.

25 ГОСТ 12.1.038-82 ССБТ. Электробезопасность. Предельно допустиме значения напряжения прикосновения и токов. - Введен 01.01.88.

26 ГОСТ 12.1.003-83. ССБТ. Шум. Общие требования безопасности. - Введён 01.07.89.

27 СНиП II-4-79. Естественное и искусственное освещение. Нормы проектирования. - М.: Стройиздат, 1980.

28 ДНАОП 0.00-1.31-99. Правила охраны труда при эксплуатации электронно-вычислительных машин. Действует с 01.01.00.

29 ГОСТ 12.1.005 - 88. ССБТ. Общие санитарно-гигиенические требования к воздуху рабочей зоны. Введен 01.01.89.

30 СНиП 2.04.05-91. Отопление, вентиляция и кондиционирование воздуха. -М.: Стройиздат, 1992 г.

31 ОНТП 24 - 86.Общесоюзные нормы технического проектирования. Определение категорій помещений и зданий по взрывопожарной и пожарной безопасности. М.: Стройиздат, 1986.

32 ДБН В 1.1 - 7 - 2002 Пожежна безпека об'єктів будівництва. - Діє з 01.01.03

33 ГОСТ 12.1.004 - 91. ССБТ. Пожарная безопасность. Общие требования. Введен 01.01.92.

34 ГОСТ 12.1.006-84. ССБТ. Электростатические поля. Допустимые уровни на рабочих местах и требования к проведению контроля. - Введен 01.01.86.\

35 РД 34.21.122 -87. Инструкция по устройству молниезащиты зданий и сооружений.

Приложение

Текст программы реализации клеточного автомата на языке dELPHI 7.0

UNIT ZASTAVKA;

interface

uses Windows, Messages, SysUtils, Variants, Classes, Graphics, Controls, Forms, Dialogs, StdCtrls, ExtCtrls;

type TFormAbout = class(TForm) ImageAbout: TImage; procedure FormKeyDown(Sender: TObject; var Key: Word; Shift: TShiftState); private { Private declarations } public { Public declarations } end;

var FormAbout: TFormAbout;

implementation

uses Vvodkolvokletok, Vvodpravila, Podshet;

{$R *.dfm}

procedure TFormAbout.FormKeyDown(Sender: TObject; var Key: Word; Shift: TShiftState);

begin

Vvod_kolvokletok.Show; //показать форму

FormAbout.hide; //скрыть форму

end;

end.

UNIT VVODKOLVOKLETOK;

interface

uses Windows, Messages, SysUtils, Variants, Classes, Graphics, Controls, Forms, Dialogs, StdCtrls;

type TVvod_kolvokletok = class(TForm) kolvokletok: TEdit; L1: TLabel; OK_kolvokletok: TButton; L2: TLabel; kolvowagov: TEdit; procedure OK_kolvokletokClick(Sender: TObject); private { Private declarations } public { Public declarations } end;

var Vvod_kolvokletok: TVvod_kolvokletok; kolvokl: integer; //переменная, содержащая количество клеток в клеточном автомате kolvwagov: integer; //переменная, содержащя количество шагов работы КА N_kl:integer;

//переменная, используемая для хранения номера клетки

implementation

uses Vvodpravila, zastavka;

{$R *.dfm}

procedure TVvod_kolvokletok.OK_kolvokletokClick(Sender: TObject);

var

i:integer;

//вспомогательная переменная для работы программы

begin

try

//попытка работы программы i:=StrToInt(kolvowagov.text); //преобразование строкового значения в поле ввода kolvokletok в целочисленный тип if (i>1) and (i<50) then

//проверка условия попадания введенного числа в допустимый диапазон begin kolvwagov:=i end else showmessage('Ошибка! Проверьте правильность записи. Число должно быть в диапазоне 2..50');

except

//в случае ошибки showmessage('Ошибка! Проверьте правильность записи. Число должно быть в диапазоне 2..50')

end;

try

//попытка работы программы i:=StrToInt(kolvokletok.text); //преобразование строкового значения в поле ввода kolvokletok в целочисленный тип if (i>1) and (i<21) then //проаерка условия попадания введенного числа в допустимый диапазон begin kolvokl:=i; Vvod_kolvokletok.visible:=false; for i:=1 to kolvokl do

//выполнять столько раз, сколько клеток в КА begin N_kl:=i; pravilokl.ShowModal; //модальный показ формы для ввода правил клеток end; Vvod_kolvokletok.Close; end else showmessage('Ошибка! Проверьте правильность записи. Число должно быть в диапазоне 2..20');

except

//в случае ошибки showmessage('Ошибка! Проверьте правильность записи. Число должно быть в диапазоне 2..20')

end

end;

end.

UNIT VVODPRAVILA;

interface

uses Windows, Messages, SysUtils, Variants, Classes, Graphics, Controls, Forms, Dialogs, StdCtrls, ExtCtrls;

type TPravilokl = class(TForm) Triada1: TPanel; L1: TLabel; L2: TLabel; L3: TLabel; L14: TLabel; L13: TLabel; Not11: TComboBox; Not12: TComboBox; Not13: TComboBox; Triada2: TPanel; L4: TLabel; L5: TLabel; L6: TLabel; L16: TLabel; L15: TLabel; Not21: TComboBox; Not22: TComboBox; Not23: TComboBox; Triada3: TPanel; L7: TLabel; L8: TLabel; L9: TLabel; L18: TLabel; L17: TLabel; Not31: TComboBox; Not32: TComboBox; Not33: TComboBox; Triada4: TPanel; L10: TLabel; L11: TLabel; L12: TLabel; L20: TLabel; L19: TLabel; Not41: TComboBox; Not42: TComboBox; Not43: TComboBox; BUTEWE: TButton; GOTOVO: TButton; Triada5: TPanel; L21: TLabel; L23: TLabel; L25: TLabel; L24: TLabel; L22: TLabel; Not51: TComboBox; Not52: TComboBox; Not53: TComboBox; Triada6: TPanel; L26: TLabel; L28: TLabel; L30: TLabel; L29: TLabel; L27: TLabel; Not61: TComboBox; Not62: TComboBox; Not63: TComboBox; Triada7: TPanel; L31: TLabel; L33: TLabel; L35: TLabel; L34: TLabel; L32: TLabel; Not71: TComboBox; Not72: TComboBox; Not73: TComboBox; Triada8: TPanel; L36: TLabel; L38: TLabel; L40: TLabel; L39: TLabel; L37: TLabel; Not81: TComboBox; Not82: TComboBox; Not83: TComboBox; LNZ1: TLabel; LNZ2: TLabel; LNZ3: TLabel; Nachsostoyaniekl: TComboBox; VVP1: TLabel; VVP2: TLabel; VVP3: TLabel; procedure BUTEWEClick(Sender: TObject); procedure FormShow(Sender: TObject); procedure GOTOVOClick(Sender: TObject); private { Private declarations } public procedure OPREDZNACHNOTN;//объявляем функциии в пределах этой формы { Public declarations } end;

var Pravilokl: TPravilokl; f: array [1..20] of boolean;

//массив, содержащий значения клетки fpred: array [1..20] of boolean;

//массив, содержащий предыдущие значения клетки NOTN: array [1..20,1..8,1..3,1..2] of integer;

//массив для хранения выбранных пользователем значений отрицаний kolvotriad: integer;

//переменная для хранения количества триад в функции возбуждения клетки znachf: boolean;

//переменная для временного хранеия значения функции возбуждения x:array [1..3] of boolean;

//массив для значений Xi-1, Xi, Xi+1

implementation

uses Vvodkolvokletok, Podshet, zastavka;

{$R *.dfm}

PROCEDURE Tpravilokl.OPREDZNACHNOTN;

//процедура для определения значений отрицаний, выбранных пользователем Var i,j: integer;

//вспомогательные переменные для организации цикла

begin NOTN[N_kl,1,1,1]:=Not11.Itemindex; NOTN[N_kl,1,2,1]:=Not12.Itemindex; NOTN[N_kl,1,3,1]:=Not13.Itemindex; NOTN[N_kl,2,1,1]:=Not21.Itemindex; NOTN[N_kl,2,2,1]:=Not22.Itemindex; NOTN[N_kl,2,3,1]:=Not23.Itemindex; NOTN[N_kl,3,1,1]:=Not31.Itemindex; NOTN[N_kl,3,2,1]:=Not32.Itemindex; NOTN[N_kl,3,3,1]:=Not33.Itemindex; NOTN[N_kl,4,1,1]:=Not41.Itemindex; NOTN[N_kl,4,2,1]:=Not42.Itemindex; NOTN[N_kl,4,3,1]:=Not43.Itemindex; NOTN[N_kl,5,1,1]:=Not51.Itemindex; NOTN[N_kl,5,2,1]:=Not52.Itemindex; NOTN[N_kl,5,3,1]:=Not53.Itemindex; NOTN[N_kl,6,1,1]:=Not61.Itemindex; NOTN[N_kl,6,2,1]:=Not62.Itemindex; NOTN[N_kl,6,3,1]:=Not63.Itemindex; NOTN[N_kl,7,1,1]:=Not71.Itemindex; NOTN[N_kl,7,2,1]:=Not72.Itemindex; NOTN[N_kl,7,3,1]:=Not73.Itemindex; NOTN[N_kl,8,1,1]:=Not81.Itemindex; NOTN[N_kl,8,2,1]:=Not82.Itemindex; NOTN[N_kl,8,3,1]:=Not83.Itemindex; For i:=1 to kolvotriad do

//блок, предназначенный для того, чтобы если не выбрано отрицание, атоматически для переменной устанавливался "режим" без отрицания begin For j:=1 to 3 do begin if NOTN[N_kl,i,j,1]=-1 then NOTN[N_kl,i,j,1]:=0 end end; //конец блока NOTN[N_kl,8,3,2]:=kolvotriad;

end;

procedure TPravilokl.BUTEWEClick(Sender: TObject);

begin kolvotriad:=kolvotriad+1;

//запоминаем, что пользователь отображает на экран ещё одну триаду case kolvotriad of //оператор выбора значения переменной, затем происходит отображение соответствующей панели с триадой 2: Triada2.Visible:=true; 3: Triada3.Visible:=true; 4: Triada4.Visible:=true; 5: Triada5.Visible:=true; 6: Triada6.Visible:=true; 7: Triada7.Visible:=true; 8: Triada8.Visible:=true; end; if kolvotriad=8 then

//если отображается последняя 8-я триада, то сделать недоступной кнопку ещё BUTEWE.Enabled:=false

end;

procedure TPravilokl.FormShow(Sender: TObject);

var s: string;

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

begin kolvotriad:=1;

//присваиваем начальное значение переменной, хранящей начальное количество триад triada2.Visible:=false; //скрываем от пользователя триады triada3.Visible:=false; triada4.Visible:=false; triada5.Visible:=false; triada6.Visible:=false; triada7.Visible:=false; triada8.Visible:=false; s:=IntToStr(N_kl); VVP3.Caption:='для '+s+'-й клетки';

end;

procedure TPravilokl.GOTOVOClick(Sender: TObject);

begin case Nachsostoyaniekl.ItemIndex of

//выбираем начальное значение -1: f[N_kl]:=false;

//заносим в массив для хранения значений функций, в данный момент тут будут содержатся начальные значения клеток 0: f[N_kl]:=false; 1: f[N_kl]:=true; end; OPREDZNACHNOTN; //определяются значения отрицаний при переменных if N_kl=kolvokl then begin Podschet.show; Pravilokl.close; end; pravilokl.close;

end;

end.

UNIT PODSCHET;

interface

uses Windows, Messages, SysUtils, Variants, Classes, Graphics, Controls, Forms, Dialogs, StdCtrls;

type TPodschet = class(TForm) Vivodresultatov: TListBox; procedure FormShow(Sender: TObject); procedure FormClose(Sender: TObject; var Action: TCloseAction); private { Private declarations } public procedure VICHISLENIEFKLETKI; { Public declarations } end;

var Podschet: TPodschet;

implementation

uses Vvodpravila, Vvodkolvokletok, zastavka;

{$R *.dfm}

PROCEDURE TPodschet.VICHISLENIEFKLETKI;

//процедура для вычисления функции возбуждения клетки

var triada: boolean;

//переменная для хранения промежуточных данных функции одной триады i,j,k: integer;

//вспомогательне переменные для счётчиков цикла

begin znachf:=false;

//присвоение для правильной работы программы kolvotriad:=NOTN[N_kl,8,3,2]; For i:=1 to kolvotriad do

//цикл для каждой триады begin For j:=1 to 3 do

//цикл для каждого элемента триады begin if j=1 then

//если это первый элемент в триаде begin case NOTN[N_kl,i,j,1] of

//выбираем значение из массива, 0 соответствует отсутствию отрицания, 1 - отрицанию 0: triada:=x[j]; //т.к. первый элемент, то присваиваем 1: triada:=not(x[j]); end //конец блока оператора выбора end;

//конец блока оператора условия отбора первого элемента триады if (j<>1) then //если это не первый элемент в триаде begin case NOTN[N_kl,i,j,1] of //выбираем значение из массива, 0 соответствует отсутствию отрицания, 1 - отрицанию 0: triada:=(triada)and(x[j]);

//т.к. не первый элемент, то используем операцию логического умножения 1: triada:=(triada)and(not(x[j])); end

//конец оператора выбора end

//конец блока оператора условия отбора не первого элемента триады end;

//конец цикла для каждого элемента триады znachf:=(znachf)or(triada); end //конец цикла для каждой триады

end;

procedure TPodschet.FormShow(Sender: TObject);

//процедура выполняется тогда, когда на экране появляется форма

Var

vivod: string;

//переменная для вывода результатов

jj: integer;

//вспомогательные переменные

N_kl: integer;

//переменная для вычисления числа клеток, как глобальная "не прокатила"

begin for jj:=1 to kolvwagov do

//цикл по количеству шагов КА begin vivod:='';

//обнуление для правильного вывода for N_kl:=1 to kolvokl do //для всех клеток begin if (N_kl=1) then

//если первая клетка с учётом нулевых граничных условий begin x[1]:=false; x[2]:=f[N_kl]; x[3]:=f[N_kl+1]; end; if (N_kl=kolvokl) then

//если последнняя клетка с учётом нулевых граничных условий begin x[1]:=fpred[N_kl-1]; x[2]:=f[N_kl]; x[3]:=false; end; if (N_kl<>1) and (N_kl<>kolvokl) then

//для всех остальных клеток begin x[1]:=fpred[N_kl-1]; x[2]:=f[N_kl]; x[3]:=f[N_kl+1]; end; VICHISLENIEFKLETKI;

//вызов процедуры вычисления значения клетки f[N_kl]:=znachf;

//занесение в массив значений клеток fpred[N_kl]:=f[N_kl];

//запоминаем предыдущее состояние клетки if f[N_kl]=false then

//вывод на экран vivod:=vivod+'0' else vivod:=vivod+'1' end; Vivodresultatov.Items.Add(vivod); //вывод на экран end

end;

procedure TPodschet.FormClose(Sender: TObject; var Action: TCloseAction);

begin FormAbout.close;

//закрыть главную форму, т.е. завершить работу программы

end;

end.

Размещено на Allbest.ru