Метод и средство визуализации алгоритмов тестов диагностирования запоминающих устройств
Для синтеза алгоритмов и программ тестов диагностирования запоминающих устройств предложена система визуализации алгоритмов тестов, содержащая устройство управления, квадратную матрицу запоминающих ячеек и четыре головки записи (считывания). Приведен пример синтеза с помощью данной системы теста mar...
Saved in:
| Date: | 2010 |
|---|---|
| Main Authors: | , |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України
2010
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/12827 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Метод и средство визуализации алгоритмов тестов диагностирования запоминающих устройств / В.Г. Рябцев, Д.Н. Моамар // Электронное моделирование. — 2010. — Т. 32, № 3. — С. 43-52. — Бібліогр.: 6 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-12827 |
|---|---|
| record_format |
dspace |
| spelling |
Рябцев, В.Г. Моамар, Д.Н. 2010-10-22T14:39:54Z 2010-10-22T14:39:54Z 2010 Метод и средство визуализации алгоритмов тестов диагностирования запоминающих устройств / В.Г. Рябцев, Д.Н. Моамар // Электронное моделирование. — 2010. — Т. 32, № 3. — С. 43-52. — Бібліогр.: 6 назв. — рос. 0204-3572 https://nasplib.isofts.kiev.ua/handle/123456789/12827 681.327 Для синтеза алгоритмов и программ тестов диагностирования запоминающих устройств предложена система визуализации алгоритмов тестов, содержащая устройство управления, квадратную матрицу запоминающих ячеек и четыре головки записи (считывания). Приведен пример синтеза с помощью данной системы теста march С. Сокращение трудоемкости проектных работ обеспечивается динамической визуализацией последовательности выполняемых диагностических операций. Для синтезу алгоритмів і програм тестів діагностування запам’ятовуючих пристроїв запропоновано систему візуалізації алгоритмів тестів, що містить пристрій управління, квадратну матрицю запам’ятовуючих комірок і чотири головки запису (зчитування). Наведено приклад синтезу за допомогою даної системи тесту march С. Скорочення трудомісткості проектних робіт забезпечується динамічною візуалізацією послідовності виконуваних діагностичних операцій. For the synthesis of algorithms and software diagnostic tests storage the system for the visualization algorithms tests is proposed containing the control unit, a square matrix of memory cells and four heads write (read). The example of synthesis using this system testmarch C is given. Reducing the complexity of design work is provided by dynamic imaging sequence performed diagnostic operations. ru Інститут проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України Точность, надежность, диагностика Метод и средство визуализации алгоритмов тестов диагностирования запоминающих устройств Article published earlier |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| title |
Метод и средство визуализации алгоритмов тестов диагностирования запоминающих устройств |
| spellingShingle |
Метод и средство визуализации алгоритмов тестов диагностирования запоминающих устройств Рябцев, В.Г. Моамар, Д.Н. Точность, надежность, диагностика |
| title_short |
Метод и средство визуализации алгоритмов тестов диагностирования запоминающих устройств |
| title_full |
Метод и средство визуализации алгоритмов тестов диагностирования запоминающих устройств |
| title_fullStr |
Метод и средство визуализации алгоритмов тестов диагностирования запоминающих устройств |
| title_full_unstemmed |
Метод и средство визуализации алгоритмов тестов диагностирования запоминающих устройств |
| title_sort |
метод и средство визуализации алгоритмов тестов диагностирования запоминающих устройств |
| author |
Рябцев, В.Г. Моамар, Д.Н. |
| author_facet |
Рябцев, В.Г. Моамар, Д.Н. |
| topic |
Точность, надежность, диагностика |
| topic_facet |
Точность, надежность, диагностика |
| publishDate |
2010 |
| language |
Russian |
| publisher |
Інститут проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України |
| format |
Article |
| description |
Для синтеза алгоритмов и программ тестов диагностирования запоминающих устройств предложена система визуализации алгоритмов тестов, содержащая устройство управления, квадратную матрицу запоминающих ячеек и четыре головки записи (считывания). Приведен пример синтеза с помощью данной системы теста march С. Сокращение трудоемкости проектных работ обеспечивается динамической визуализацией последовательности выполняемых диагностических операций.
Для синтезу алгоритмів і програм тестів діагностування запам’ятовуючих пристроїв запропоновано систему візуалізації алгоритмів тестів, що містить пристрій управління, квадратну матрицю запам’ятовуючих комірок і чотири головки запису (зчитування). Наведено приклад синтезу за допомогою даної системи тесту march С. Скорочення трудомісткості проектних робіт забезпечується динамічною візуалізацією послідовності виконуваних діагностичних операцій.
For the synthesis of algorithms and software diagnostic tests storage the system for the visualization algorithms tests is proposed containing the control unit, a square matrix of memory cells and four heads write (read). The example of synthesis using this system testmarch C is given. Reducing the complexity of design work is provided by dynamic imaging sequence performed diagnostic operations.
|
| issn |
0204-3572 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/12827 |
| citation_txt |
Метод и средство визуализации алгоритмов тестов диагностирования запоминающих устройств / В.Г. Рябцев, Д.Н. Моамар // Электронное моделирование. — 2010. — Т. 32, № 3. — С. 43-52. — Бібліогр.: 6 назв. — рос. |
| work_keys_str_mv |
AT râbcevvg metodisredstvovizualizaciialgoritmovtestovdiagnostirovaniâzapominaûŝihustroistv AT moamardn metodisredstvovizualizaciialgoritmovtestovdiagnostirovaniâzapominaûŝihustroistv |
| first_indexed |
2025-11-27T08:36:06Z |
| last_indexed |
2025-11-27T08:36:06Z |
| _version_ |
1850809182562811904 |
| fulltext |
ÓÄÊ 681.327
Â. Ã. Ðÿáöåâ, ä-ð òåõí. íàóê
Åâðîïåéñêèé óíèâåðñèòåò
(Óêðàèíà, 18008, ×åðêàññû, óë. Ñìåëÿíñêàÿ, 83,
òåë. 0472630971, E-mail: volodja18@ukr.net),
Ä. Í. Ìîàìàð
×åðêàññêèé ãîñóäàðñòâåííûé òåõíîëîãè÷åñêèé óíèâåðñèòåò
(Óêðàèíà, 18006, ×åðêàññû, áóëüâàð Øåâ÷åíêî, 460,
òåë. 0472730271, E-mail: diaamoamar@yahoo.com)
Ìåòîä è ñðåäñòâî âèçóàëèçàöèè
àëãîðèòìîâ òåñòîâ äèàãíîñòèðîâàíèÿ
çàïîìèíàþùèõ óñòðîéñòâ
Äëÿ ñèíòåçà àëãîðèòìîâ è ïðîãðàìì òåñòîâ äèàãíîñòèðîâàíèÿ çàïîìèíàþùèõ óñòðîéñòâ
ïðåäëîæåíà ñèñòåìà âèçóàëèçàöèè àëãîðèòìîâ òåñòîâ, ñîäåðæàùàÿ óñòðîéñòâî óïðàâ-
ëåíèÿ, êâàäðàòíóþ ìàòðèöó çàïîìèíàþùèõ ÿ÷ååê è ÷åòûðå ãîëîâêè çàïèñè (ñ÷èòûâàíèÿ).
Ïðèâåäåí ïðèìåð ñèíòåçà ñ ïîìîùüþ äàííîé ñèñòåìû òåñòà march Ñ. Ñîêðàùåíèå òðó-
äîåìêîñòè ïðîåêòíûõ ðàáîò îáåñïå÷èâàåòñÿ äèíàìè÷åñêîé âèçóàëèçàöèåé ïîñëåäîâà-
òåëüíîñòè âûïîëíÿåìûõ äèàãíîñòè÷åñêèõ îïåðàöèé.
Äëÿ ñèíòåçó àëãîðèòì³â ³ ïðîãðàì òåñò³â ä³àãíîñòóâàííÿ çàïàì’ÿòîâóþ÷èõ ïðèñòðî¿â
çàïðîïîíîâàíî ñèñòåìó â³çóàë³çàö³¿ àëãîðèòì³â òåñò³â, ùî ì³ñòèòü ïðèñòð³é óïðàâë³ííÿ,
êâàäðàòíó ìàòðèöþ çàïàì’ÿòîâóþ÷èõ êîì³ðîê ³ ÷îòèðè ãîëîâêè çàïèñó (ç÷èòóâàííÿ).
Íàâåäåíî ïðèêëàä ñèíòåçó çà äîïîìîãîþ äàíî¿ ñèñòåìè òåñòó march Ñ. Ñêîðî÷åííÿ òðóäî-
ì³ñòêîñò³ ïðîåêòíèõ ðîá³ò çàáåçïå÷óºòüñÿ äèíàì³÷íîþ â³çóàë³çàö³ºþ ïîñë³äîâíîñò³ âèêî-
íóâàíèõ ä³àãíîñòè÷íèõ îïåðàö³é.
Ê ë þ ÷ å â û å ñ ë î â à: çàïîìèíàþùåå óñòðîéñòâî, ìàøèíà Òüþðèíãà, ñèñòåìà âèçóàëè-
çàöèè, òåñò.
Ïîñòàíîâêà çàäà÷è. Ñîâðåìåííûå ìèêðîñõåìû ïîëóïðîâîäíèêîâîé ïà-
ìÿòè òèïà DDR è QDR ìîãóò çà îäíó òðàíçàêöèþ ñîñ÷èòàòü èëè çàïèñàòü
ïàêåò äàííûõ, ñîäåðæàùèé íåñêîëüêî ñëîâ. Ïðè ñ÷èòûâàíèè òàêèå ìèêðî-
ñõåìû âûäàþò ñíà÷àëà ïåðâîå ñëîâî, çàòåì âòîðîå, òðåòüå è òàê äàëåå èëè
ìîãóò èçìåíèòü ïîñëåäîâàòåëüíîñòü âûäà÷è ñëîâ â ëþáîé èõ êîìáèíàöèè.
Äëÿ âûïîëíåíèÿ òåñòîâîãî äèàãíîñòèðîâàíèÿ ñîâðåìåííûõ áûñòðîäåéñò-
âóþùèõ ìèêðîñõåì ïàìÿòè öåëåñîîáðàçíî ïðèìåíÿòü òåñòåðû, èìåþùèå
ìóëüòèïðîöåññîðíóþ ñòðóêòóðó, ñîäåðæàùèå íåñêîëüêî ãðóïï îïåðàöèîí-
íûõ ïðîöåññîðîâ è îáåñïå÷èâàþùèå ïàðàëëåëüíîå ôîðìèðîâàíèå òåñòîâûõ
âîçäåéñòâèé äëÿ ñìåæíûõ òàêòîâ [1]. Íîâûå ôóíêöèîíàëüíûå âîçìîæíîñòè
ISSN 0204–3572. Ýëåêòðîí. ìîäåëèðîâàíèå. 2010. Ò. 32. ¹ 3 43
���������
�
��������
� �������
ñîâðåìåííûõ ìèêðîñõåì ïàìÿòè òðåáóþò ðàçðàáîòêè ñðåäñòâ ìîäåëèðîâàíèÿ
àëãîðèòìîâ, ñïîñîáíûõ ñîêðàòèòü òðóäîåìêîñòü ñèíòåçà ïðîãðàìì íîâûõ
òåñòîâ.
Äëÿ îáåñïå÷åíèÿ ôóíêöèîíèðîâàíèÿ óêàçàííûõ äèàãíîñòè÷åñêèõ óñò-
ðîéñòâ ðàñïàðàëëåëèâàíèå àëãîðèòìîâ òåñòîâ íåîáõîäèìî âûïîëíÿòü òàê,
÷òîáû îáåñïå÷èòü ñèíõðîííîå âçàèìîäåéñòâèå îòäåëüíûõ îïåðàöèîííûõ
ïðîöåññîðîâ. Äëÿ ðåøåíèÿ äàííîé çàäà÷è òðåáóåòñÿ ïðèìåíåíèå ñïåöèàëü-
íûõ ñðåäñòâ âèçóàëèçàöèè àëãîðèòìîâ òåñòîâ, ÷òî ïîçâîëèò ñóùåñòâåííî
ñíèçèòü òðóäîåìêîñòü ïðîåêòíûõ ðàáîò.
Äëÿ ôîðìàëèçàöèè ïîíÿòèÿ àëãîðèòìîâ èñïîëüçóþò ìàøèíû Òüþðèíãà è
Ïîñòà, ïîçâîëÿþùèå âûäåëèòü ýëåìåíòàðíûå îïåðàöèè. Ñòðîãî âûïîëíÿÿ ýòè
îïåðàöèè è íàáëþäàÿ ïðîöåññ èõ âûïîëíåíèÿ ñ ïîìîùüþ ýìóëÿòîðîâ äàííûõ
ìàøèí, ìîæíî ïîëó÷èòü îæèäàåìûé ðåçóëüòàò çà êîíå÷íîå ÷èñëî øàãîâ
[2, 3]. Îäíàêî ìàøèíû Òüþðèíãà è Ïîñòà èìåþò î÷åíü îãðàíè÷åííûé íàáîð
êîìàíä, îòñóòñòâóþò îñíîâíûå àðèôìåòè÷åñêèå îïåðàöèè è, êðîìå òîãî, îíè
ïðàêòè÷åñêè íåðåàëèçóåìû âñëåäñòâèå íàëè÷èÿ áåñêîíå÷íûõ ëåíò, òàê êàê
ïàìÿòü êîìïüþòåðîâ îãðàíè÷åíà.  ýòèõ ìàøèíàõ ãîëîâêó èëè êàðåòêó ìîæ-
íî ïåðåìåùàòü âëåâî èëè âïðàâî òîëüêî íà îäíó ïîçèöèþ, ÷òî óñëîæíÿåò
ìîäåëèðîâàíèå àëãîðèòìîâ òåñòîâ.
Ñóùåñòâóþò òàêæå ìíîãîëåíòî÷íûå ìàøèíû Òüþðèíãà, èìåþùèå íå-
ñêîëüêî ëåíò è íåñêîëüêî ãîëîâîê, êàæäàÿ èç êîòîðûõ îáîçðåâàåò òîëüêî
ñâîþ ëåíòó, íî ïðèìåíÿåìûå ëåíòû áåñêîíå÷íû âïðàâî, ïîýòîìó èõ íåâîç-
ìîæíî ðåàëèçîâàòü ïðàêòè÷åñêè.
Â. Ã. Ðÿáöåâ, Ä. Í. Ìîàìàð
44 ISSN 0204–3572. Electronic Modeling. 2010. V. 32. ¹ 3
ÓÓ
Ã0 Ã2 Ã3Ã1
224 225
240 241 242 243
227
244
228226
254
238
255
239
0
16
32
30 31
46 47
1 14 15
17
33
2
18
34
3
19
35
4
20
36
Ðèñ. 1. Ñòðóêòóðà ñèñòåìû ÂÀÒ
Ê íåäîñòàòêàì ïðîãðàììèðîâàíèÿ àëãîðèòìîâ íà âû÷èñëèòåëüíûõ ìà-
øèíàõ ñ àðõèòåêòóðîé ôîí Íåéìàíà ìîæíî îòíåñòè òîò ôàêò, ÷òî ñíà÷àëà
íåîáõîäèìî çàïðîãðàììèðîâàòü êîä àäðåñà, çàòåì êîä äàííûõ è êîä îïå-
ðàöèè äëÿ òåñòèðóåìîãî óñòðîéñòâà, ïðè ýòîì ÷àñòîòà îáðàùåíèÿ ê îáúåê-
òó óìåíüøàåòñÿ è ñíèæàåòñÿ ýôôåêòèâíîñòü òåñòèðîâàíèÿ.
Äëÿ ñîêðàùåíèÿ òðóäîåìêîñòè ñèíòåçà è îòëàäêè àëãîðèòìîâ è ïðîãðàìì
òåñòîâ äèàãíîñòèðîâàíèÿ ìèêðîñõåì ïîëóïðîâîäíèêîâîé ïàìÿòè ïðåäëàãàåò-
ñÿ ñèñòåìà âèçóàëèçàöèè àëãîðèòìîâ òåñòîâ (ÂÀÒ) (ðèñ. 1), êîòîðàÿ ñîäåðæèò
óñòðîéñòâî óïðàâëåíèÿ ÓÓ, êâàäðàòíóþ ìàòðèöó ÿ÷ååê ïàìÿòè ðàçìåðîì 16 �
� 16 è ÷åòûðå ãîëîâêè çàïèñè (ñ÷èòûâàíèÿ) Ã0—Ã3. Ãîëîâêè ìîãóò çàïèñû-
âàòü èëè ñ÷èòûâàòü èç ÿ÷ååê ñèìâîëû àëôàâèòà À è ïåðåìåùàòüñÿ ïî îñè Õ
èëè Ó, èëè ïî îñÿì Õ è Ó îäíîâðåìåííî âëåâî èëè âïðàâî íà 1, 2, ..., ð ïîçèöèé.
Ïåðåìåùåíèÿ ãîëîâîê íåçàâèñèìûå, îíè ìîãóò îáîçðåâàòü ðàçíûå ÿ÷åéêè èëè
îäíó è òó æå ÿ÷åéêó.
Ñèìâîëû, çàïèñûâàåìûå èëè ñ÷èòûâàåìûå èç ÿ÷ååê ïàìÿòè, ïðèíàä-
ëåæàò àëôàâèòó, êîòîðûé âûáèðàåò ïîëüçîâàòåëü. Äëÿ ìàòðèöû ÿ÷ååê ïà-
ìÿòè óñòàíîâëåíû íà÷àëüíûé ag = 0 è êîíå÷íûé an = 255 àäðåñà, ñ êîòîðûõ
îáû÷íî íà÷èíàåòñÿ òåñòèðîâàíèå è çàêàí÷èâàåòñÿ âûïîëíåíèå òåñòà. Óñò-
ðîéñòâî óïðàâëåíèÿ ñèñòåìû ÂÀÒ èìååò êîíå÷íîå ÷èñëî ñîñòîÿíèé, îïðå-
äåëÿåìîå ñëîæíîñòüþ ðåàëèçóåìîãî àëãîðèòìà.
Ôîðìàò êîìàíä ñèñòåìû ÂÀÒ ïðåäñòàâèì â ñëåäóþùåì âèäå:
Q S S C p Q
i r
i
r
j
r r j, , , ,� ,
ãäåQi — òåêóùåå ñîñòîÿíèå ñèñòåìû; S r
i — ñèìâîë õðàíèâøèéñÿ â ÿ÷åéêå,
êîòîðóþ îáîçðåâàåò r-ÿ ãîëîâêà â òåêóùèé ìîìåíò âðåìåíè; r l� �0 1, —
íîìåð ãîëîâêè; l — ÷èñëî ãîëîâîê çàïèñè (ñ÷èòûâàíèÿ); S r
j — íîâûé
ñèìâîë, çàïèñûâàåìûé â ÿ÷åéêó r-é ãîëîâêîé; C W R Ar r r r�{ , , } — êîäû
îïåðàöèé äëÿ êàæäîé ãîëîâêè; Wr è Rr — îïåðàöèè çàïèñè ñèìâîëà â
ÿ÷åéêó è ñ÷èòûâàíèÿ èç ÿ÷åéêè, ñêàíèðóåìîé r-é ãîëîâêîé; Ar — îïåðàöèÿ
ñðàâíåíèÿ ñèìâîëà, ñ÷èòàííîãî èç ÿ÷åéêè, ñ ýòàëîííûì çíà÷åíèåì; pr —
êîíñòàíòà èçìåíåíèÿ ïîçèöèè r-é ãîëîâêè; Q j — íîâîå ñîñòîÿíèå ñèñòåìû.
Àëôàâèò ìîæåò ñîäåðæàòü ëþáîé ñèìâîë ñ êëàâèàòóðû ñèìâîëîâ:
S S U X Zr
i
r
j� �{ , , , , ..., , }0 1 255 ,
ãäå U — íåîïðåäåëåííîå ñîñòîÿíèå; Õ — áåçðàçëè÷íîå ñîñòîÿíèå; Z —
ñèìâîë ñ êëàâèàòóðû, â ÿ÷åéêó ìàòðèöû çàíîñèòñÿ åãî ASCII-êîä.
Ïðè èçìåíåíèè ïîçèöèé ãîëîâêàìè ìîæåò âûïîëíÿòüñÿ îäíà ìèêðî-
îïåðàöèÿ èç ñëåäóþùåãî íàáîðà:
a a pr r:� � ; a a pr r:� � ; a ar g:� ; a ar n:� ,
ãäå p — êîíñòàíòà èçìåíåíèÿ êîäà àäðåñà. Òàêèì îáðàçîì, àäðåñ ÿ÷åéêè,
êîòîðóþ îáîçðåâàåò ãîëîâêà, ìîæåò óâåëè÷èâàòüñÿ èëè óìåíüøàòüñÿ íà ð
ïîçèöèé.
Ìåòîä è ñðåäñòâî âèçóàëèçàöèè àëãîðèòìîâ òåñòîâ
ISSN 0204–3572. Ýëåêòðîí. ìîäåëèðîâàíèå. 2010. Ò. 32. ¹ 3 45
Ñèíòåç ïðîãðàììû òåñòà march Ñ ñ ïîìîùüþ ñèñòåìû ÂÀÒ.
Ðàññìîòðèì ðåàëèçàöèþ àëãîðèòìà íàèáîëåå ðàñïðîñòðàíåííîãî òåñòà
march Ñ [4]. Âíà÷àëå âñå ãîëîâêè óñòàíàâëèâàåì â ïîëîæåíèå, êîãäà îíè
îáîçðåâàþò îäíó è òó æå ÿ÷åéêó ñ íà÷àëüíûì àäðåñîì, çàòåì ïåðåìåùàåì
ãîëîâêó ñ íîìåðîì 1 íà îäíó ïîçèöèþ âïðàâî, ñ íîìåðîì 2 — íà äâå
ïîçèöèè, ñ íîìåðîì 3 — íà òðè ïîçèöèè:
Q U r r a a Qr r g0 10 3, , , , ; ,� � � � ,
Q U a a a a a a Qr1 1 1 2 2 3 3 21 2 3, , { : , : , : },� � � � � � � .
Çàïèñûâàåì ôîí íóëåé âî âñå ÿ÷åéêè, êîòîðûå ñêàíèðóåì ñ âîçðàñòàíèåì
êîäà àäðåñà:
Q U r r
a a W a a Q
Wr
n r r r
2
3 2
0 3
0 4
, , , ,
( ), : ,
� � �
� �if then
else r r ra a Q( ), : ,0 4 3� �
�
�
�
�
�
�
�
�end if
.
Óñòàíàâëèâàåì âñå ãîëîâêè â èñõîäíîå ïîëîæåíèå è ïåðåìåùàåì äâå
ãîëîâêè íà îäíó ïîçèöèþ âïðàâî:
Q r r a a Qr r g3 40 0 3, , , , ; ,� � � � ,
Q a a a a Qr4 2 2 3 3 50 1 1, , { : , : },� � � � � .
Ñîãëàñíî àëãîðèòìó, ãîëîâêè, èìåþùèå íîìåðà 0 è 2, ñ÷èòûâàþò ñèìâîëû
èç ÿ÷ååê ìàòðèöû è ñðàâíèâàþò èõ ñ ýòàëîííûìè çíà÷åíèÿìè, à ãîëîâêè ñ
íîìåðàìè 1 è 3 çàïèñûâàþò â ÿ÷åéêè ÷èñëî 255. Çàòåì âñå ãîëîâêè ïåðå-
ìåùàþòñÿ âïðàâî íà äâå ïîçèöèè:
Q
a a F Q Q
F Q Qr
n
5
3 5 5 5
5 5 60
0
0, ,
( , ),
( , ),�
if then
else
end if
�
�
�
�
�
�
�
�
.
Ñîãëàñíî ôóíêöèè F Q5 5 0( , ) âûïîëíÿþòñÿ ñëåäóþùèå äåéñòâèÿ:
F Q
R S S a a
a a
5 5
0 0 0 0 0
0 0
0
0 2
2
( , )
( ); : ;
: ,
�
� � �
� �
if then
else Q
W a a
R S S a
stop ;
( ), : ;
( );
end if;
if then
1 1 1
2 2 2
255 2
0
� �
� 2 2
2 2
3 3 3
2
2
255
: ;
: , ;
( ), :
� �
� �
�
a
a a Q
W a a
stopelse
end if;
�
�
�
�
�
�
�
�
�
�
�
� 2.
Â. Ã. Ðÿáöåâ, Ä. Í. Ìîàìàð
46 ISSN 0204–3572. Electronic Modeling. 2010. V. 32. ¹ 3
Óñòàíàâëèâàåì âñå ãîëîâêè â ïîëîæåíèå, êîãäà îíè îáîçðåâàþò ÿ÷åé-
êó ñ íà÷àëüíûì àäðåñîì, çàòåì äâå ãîëîâêè ñ íîìåðàìè 2 è 3 ñìåùàåì íà
îäíó ïîçèöèþ âïðàâî:
Q r r a a Qr r g6 7255 0 3, , , , ; ,� � � � ,
Q a a a a Qr7 2 2 3 3 8255 1 1, , { : , : },� � � � � .
Ãîëîâêè âûïîëíÿþò äåéñòâèÿ ñîãëàñíî àëãîðèòìó òåñòà:
Q
a a F Q Q
F Qr
n
8
3 8 8 8
8 8255
255
255, ,
( , ),
( , ),�
if then
else Q9
end if
�
�
�
�
�
�
�
�
.
 ñîîòâåòñòâèè ñ ôóíêöèåé F Q8 8 255( , ) âûïîëíÿþòñÿ ñëåäóþùèå äåéñòâèÿ:
F Q
R S S a a
a a
8 8
0 0 0 0 0
0
255
255 2
( , )
( ); : ;
:
�
� � �
�
if then
else 0
1 1 1 2 2
2
2
0 2
255
�
� �
�
, ;
( ); : ; ( );
Q
W a a R S
S
stop
end if;
if then
else
end if;
a a
a a Q
W a
stop
2 2
2 2
3 3
2
2
0
: ;
: , ;
( ); :
� �
� �
� a3 2�
�
�
�
�
�
�
�
�
�
�
� .
Äëÿ ñêàíèðîâàíèÿ ÿ÷ååê ñ óìåíüøåíèåì êîäà àäðåñà óñòàíàâëèâàåì
ãîëîâêè â ïîçèöèè, êîãäà îíè îáîçðåâàþò ÿ÷åéêó ñ êîíå÷íûì àäðåñîì:
Q r r a a Qr r n9 100 0 3, , , , ; ,� � � � . .
Ñìåùàåì äâå ãîëîâêè ñ íîìåðàìè 2 è 3 íà îäíó ïîçèöèþ âëåâî:
Q a a a a Qr10 2 2 3 3 110 1 1, , { : , : },� � � � � .
Ãîëîâêè âûïîëíÿþò äåéñòâèÿ ñîãëàñíî àëãîðèòìó ñ óìåíüøåíèåì êîäà
àäðåñà:
Q
a a F Q Q
F Qr
g
11
3 11 11 11
11 110
0
0, ,
( , ),
( , ),�
if then
else Q12
end if
�
�
�
�
�
�
�
�
.
Ìåòîä è ñðåäñòâî âèçóàëèçàöèè àëãîðèòìîâ òåñòîâ
ISSN 0204–3572. Ýëåêòðîí. ìîäåëèðîâàíèå. 2010. Ò. 32. ¹ 3 47
 ñîîòâåòñòâèè ñ ôóíêöèåé F Q11 11 0( , )âûïîëíÿþòñÿ ñëåäóþùèå äåéñòâèÿ:
F Q
R S S a a
a a
11 11
0 0 0 0 0
0 0
0
0 2
( , )
( ); : ;
:
�
� � �
� �
if then
else 2
255 2
0
1 1 1
2 2 2
, ;
( ), : ;
( );
Q
W a a
R S S
stop
end if;
if then
� �
�
else
end if;
a a
a a Q
W a
stop
2 2
2 2
3 3
2
2
255
: ;
: , ;
( ), :
� �
� �
� a3 2�
�
�
�
�
�
�
�
�
�
�
� .
Ñíîâà óñòàíàâëèâàåì ãîëîâêè â ïîëîæåíèÿ, êîãäà âñå îíè îáîçðåâàþò
ÿ÷åéêó ñ êîíå÷íûì àäðåñîì, è ñìåùàåì ãîëîâêè ñ íîìåðàìè 2 è 3 íà îäíó
ïîçèöèþ âëåâî:
Q r r a a Qr r n12 13255 0 3, , , , ; ,� � � � ,
Q a a a a Qr13 2 2 3 3 14255 1 1, , { : , : },� � � � � .
Âûïîëíÿþòñÿ äåéñòâèÿ ñîãëàñíî àëãîðèòìó ñ óìåíüøåíèåì êîäà àäðåñà:
Q
a a F Q Q
F Qr
g
14
3 14 14 14
14 14255
255
, ,
( , ),
(�
if then
else , ),255 15Q
end if
�
�
�
�
�
�
�
�
.
Ñîãëàñíî ôóíêöèè F Q14 14 255( , ) âûïîëíÿþòñÿ ñëåäóþùèå äåéñòâèÿ:
F Q
R S S a a
a
14 14
0 0 0 0 0
0
255
255 2
( , )
( ); : ;
:
�
� � �if then
else � �
� �
�
a Q
W a a
R S S
stop0
1 1 1
2 2 2
2
0 2
255
, ;
( ), : ;
( );
end if;
if then
else
end if;
a a
a a Q
W a
stop
2 2
2 2
3 3
2
2
0
: ;
: , ;
( ),
� �
� �
: .� �
�
�
�
�
�
�
�
�
�
�
� a3 2
Â. Ã. Ðÿáöåâ, Ä. Í. Ìîàìàð
48 ISSN 0204–3572. Electronic Modeling. 2010. V. 32. ¹ 3
Óñòàíàâëèâàåì ãîëîâêè â ïîëîæåíèå, êîãäà îíè îáîçðåâàþò ÿ÷åéêó ñ
íà÷àëüíûì àäðåñîì:
Q r r a a Qr r g15 160 0 3, , , , ; ,� � � � . .
Ìåíÿåì ïîçèöèè òðåõ ãîëîâîê:
Q a a a a a a Qr16 1 1 2 2 3 3 170 1 2 3, , { : , : , : },� � � � � � � .
Ñ÷èòûâàåì äàííûå èç ÿ÷ååê ïàìÿòè ñ óâåëè÷åíèåì êîäà àäðåñà è ñðàâ-
íèâàåì ñ÷èòàííûå äàííûå ñ ýòàëîíîì:
Q
a a F Q Q
F Qr
g
17
3 17 17 17
17 170
0
0, ,
( , ),
( , ),�
if then
else Q19
end if
�
�
�
�
�
�
�
�
.
Ñîãëàñíî ôóíêöèè F Q17 17 0( , ) âûïîëíÿþòñÿ ñëåäóþùèå äåéñòâèÿ:
F Q r r
R S
S a a
r r
r r r
17 17 0 0 3
0 4
( , ) , ,
( );
: ;
�� �
� � �if then
else
end if ;
a a Qr r stop: , ;� �
�
�
�
�
�
4
 êîíöå ïðîãðàììû ñîäåðæàòñÿ êîìàíäû âûäà÷è ðåçóëüòàòîâ òåñòèðîâàíèÿ
â âèäå ñîîòâåòñòâóþùèõ ñîîáùåíèé: Q r19 0, !� , «Ok» èëè Q Xstop r, !�
«Error».
Èçëîæåííûå ñèíòàêñè÷åñêèå îñîáåííîñòè ÿçûêà ñèñòåìû ïîçâîëÿþò
âûäåëèòü ýëåìåíòàðíûå îïåðàöèè, íåîáõîäèìûå äëÿ ïðîåêòèðîâàíèÿ àëãî-
ðèòìîâ è ïðîãðàìì òåñòîâ.
Îñîáåííîñòè ïðèìåíåíèÿ ñèñòåìû âèçóàëèçàöèè àëãîðèòìîâ òåñòîâ.
Ïðè ðàçðàáîòêå àëãîðèòìîâ äèàãíîñòèðîâàíèÿ ñîâðåìåííûõ ìèêðîñõåì ïî-
ëóïðîâîäíèêîâîé ïàìÿòè áîëüøîå çíà÷åíèå èìåþò âèçóàëèçàòîðû àëãîðèò-
ìîâ, ïîçâîëÿþùèå â íàãëÿäíîé ôîðìå äèíàìè÷åñêè îòîáðàæàòü äåòàëè èõ
ðàáîòû [5, 6]. Ïîñêîëüêó ñèñòåìà ÂÀÒ èìååò âñåãî 256 ÿ÷ååê, èõ ñîñòîÿíèå
ìîæíî îäíîâðåìåííî âûâîäèòü íà ýêðàí ìîíèòîðà è äèíàìè÷åñêè äå-
ìîíñòðèðîâàòü âûïîëíÿåìûå îïåðàöèè. Ãëàâíîå ìåíþ ñèñòåìû ÂÀÒ ïðè-
âåäåíî íà ðèñ. 2.
Äëÿ ïðîñìîòðà ïîñëåäîâàòåëüíîñòè âûïîëíÿåìûõ îïåðàöèé ðåàëèçî-
âàí ïîøàãîâûé ðåæèì ðàáîòû ñèñòåìû, ïðè êîòîðîì íà ýêðàí ìîíèòîðà
îñóùåñòâëÿåòñÿ âûâîä ñòðîêè êîìàíäû è ìèêðîîïåðàöèé, âûïîëíÿåìûõ â
òåêóùèé ìîìåíò âðåìåíè.
Ìåòîä è ñðåäñòâî âèçóàëèçàöèè àëãîðèòìîâ òåñòîâ
ISSN 0204–3572. Ýëåêòðîí. ìîäåëèðîâàíèå. 2010. Ò. 32. ¹ 3 49
 àâòîìàòè÷åñêîì ðåæèìå ïðè âûïîëíåíèè êîìàíä çàïèñè è ñ÷èòû-
âàíèÿ íà ýêðàí âûäàåòñÿ èíôîðìàöèÿ îá àäðåñå ÿ÷åéêè, ñ êîòîðîé âûïîë-
íÿåòñÿ îïåðàöèÿ è ñèìâîë, õðàíÿùèéñÿ â äàííîé ÿ÷åéêå. Äëÿ óäîáñòâà
âîñïðèÿòèÿ èíôîðìàöèè ïîëüçîâàòåëü ìîæåò èçìåíèòü ñêîðîñòü çàïîëíå-
íèÿ ÿ÷åéêè ïðè çàïèñè èëè ñ÷èòûâàíèè. Ïðè äîñòèæåíèè êîìàíäû àíàëèçà
ðåçóëüòàòîâ äèàãíîñòèðîâàíèÿ íà äèñïëåé âûäàåòñÿ îäíî èç ñîîáùåíèé î
ïðèãîäíîñòè òåñòà: «ãîäåí» èëè «áðàê».
Ïðèìåíÿÿ ñèñòåìó ÂÀÒ, ìîæíî èñïîëüçîâàòü îáùóþ ìåòîäîëîãèþ
ïîñòðîåíèÿ àëãîðèòìîâ è ïðîãðàìì òåñòîâ, êîòîðàÿ âêëþ÷àåò ðåøåíèå
ñëåäóþùèõ çàäà÷:
âûáîð êîýôôèöèåíòà ðàñïàðàëëåëèâàíèÿ îïåðàöèé ôîðìèðîâàíèÿ
òåñòîâûõ ïîñëåäîâàòåëüíîñòåé â ñîîòâåòñòâèè ñ çàäàííûì áûñòðîäåéñò-
âèåì ìèêðîñõåì ïàìÿòè, ÷òî, â êîíå÷íîì ñ÷åòå, îïðåäåëÿåò ÷èñëî ãîëîâîê
ñèñòåìû;
àíàëèç àëãîðèòìà, ïðåäñòàâëåííîãî â îïåðàòîðíîì âèäå, è îïðåäåëå-
íèå êðàòíîñòè ÷èñëà îïåðàöèé â ôðàãìåíòàõ àëãîðèòìà ÷èñëó ãîëîâîê
ñèñòåìû;
âûïîëíåíèå ðåêîíôèãóðàöèè àëãîðèòìà, îáåñïå÷èâàþùåé êðàòíîñòü
÷èñëà îïåðàöèé îáðàùåíèÿ ê ïàìÿòè â öèêëè÷åñêè ïîâòîðÿåìûõ ôðàã-
ìåíòàõ àëãîðèòìà ÷èñëó ãîëîâîê ñèñòåìû;
Â. Ã. Ðÿáöåâ, Ä. Í. Ìîàìàð
50 ISSN 0204–3572. Electronic Modeling. 2010. V. 32. ¹ 3
Ðèñ. 2. Ãëàâíîå ìåíþ è ðåçóëüòàòû ðàáîòû ñèñòåìû ÂÀÒ
îïðåäåëåíèå ÷èñëà öèêëîâ ïîâòîðåíèÿ îòäåëüíûõ ôðàãìåíòîâ àëãîðèòìà
è ìèêðîîïåðàöèè èçìåíåíèÿ êîäîâ àäðåñà è äàííûõ äëÿ êàæäîãî öèêëà;
äåêîìïîçèöèÿ èñõîäíîé çàäà÷è íà çàäà÷ó ìåíüøåé ðàçìåðíîñòè, ò.å.
ïðîåêòèðîâàíèå è îòëàæèâàíèå àëãîðèòìà ñ ïîìîùüþ èíòåðïðåòèðóþùåé
ñèñòåìû ÂÀÒ äëÿ ìèêðîñõåìû ïàìÿòè áàçîâîãî îáúåìà åìêîñòüþ 256 áèò;
óñòàíîâëåíèå ôóíêöèîíàëüíîé çàâèñèìîñòè ïðîãðàììíûõ ïåðåìåí-
íûõ îò åìêîñòè òåñòèðóåìîé ìèêðîñõåìû;
ôîðìèðîâàíèå àëãîðèòìà äëÿ íîâîãî òèïà çàïîìèíàþùåãî óñòðîéñò-
âà, èìåþùåãî, çàäàííóþ åìêîñòü, çàìåíîé ïåðåìåííûõ, ôóíêöèîíàëüíî
çàâèñèìûõ îò åìêîñòè ïàìÿòè.
Ïîñêîëüêó äëÿ êàæäîãî íîâîãî òèïà óñòðîéñòâà íå òðåáóåòñÿ ïîâòî-
ðÿòü âåñü ïðîöåññ ïðîåêòèðîâàíèÿ, óìåíüøàþòñÿ çàòðàòû íà ðàçðàáîòêó
ïðîãðàìì. Êðîìå òîãî, òðóäîåìêîñòü ëîêàëèçàöèè è óñòðàíåíèÿ îøèáîê â
ïðîãðàììàõ, ïðåäíàçíà÷åííûõ äëÿ ìèêðîñõåìû ïàìÿòè åìêîñòüþ 256 áàéò,
çíà÷èòåëüíî íèæå, ÷åì òðóäîåìêîñòü îòëàäêè ïðîãðàìì äëÿ òåñòèðîâàíèÿ
çàïîìèíàþùèõ óñòðîéñòâ áîëüøîé åìêîñòè.
Âûâîäû. Ïðèâåäåííûé ôîðìàò êîìàíä ñèñòåìû ÂÀÒ îáåñïå÷èâàåò
ñèíõðîííîå óïðàâëåíèå ïåðåìåùåíèåì íåñêîëüêèõ ãîëîâîê, ÷òî îáåñïå-
÷èâàåò óâåëè÷åíèå áûñòðîäåéñòâèÿ ôèçè÷åñêè ðåàëèçîâàííîãî óñòðîéñòâà
äèàãíîñòèðîâàíèÿ ïðè ðàñïàðàëëåëèâàíèè ïðîöåññà ôîðìèðîâàíèÿ òåñòî-
âûõ âîçäåéñòâèé. Ðàçäåëåíèå âû÷èñëèòåëüíîãî ïðîöåññà íà ýëåìåíòàðíûå
äåéñòâèÿ ïîçâîëÿåò îïðåäåëèòü íàáîð ìèêðîîïåðàöèé äëÿ ïàðàëëåëüíî
âûïîëíÿåìûõ ïðîöåññîâ.
 ðåçóëüòàòå âûïîëíåííûõ èññëåäîâàíèé ïîëó÷åíî òåîðåòè÷åñêîå è
ïðàêòè÷åñêîå îáîñíîâàíèå óòâåðæäåíèÿ î òîì, ÷òî àëãîðèòìû âñåõ íàèáîëåå
ðàñïðîñòðàíåííûõ òåñòîâ äèàãíîñòèðîâàíèÿ çàïîìèíàþùèõ óñòðîéñòâ ìîãóò
áûòü ðàçðàáîòàíû ñ ïîìîùüþ ñèñòåìû ÂÀÒ è ïðàêòè÷åñêè ðåàëèçîâàíû
óñòðîéñòâîì äèàãíîñòèðîâàíèÿ, èìåþùèì ìóëüòèïðîöåññîðíóþ ñòðóêòóðó.
For the synthesis of algorithms and software diagnostic tests storage the system for the visualization al-
gorithms tests is proposed containing the control unit, a square matrix of memory cells and four heads
write (read). The example of synthesis using this system test march C is given. Reducing the complexity
of design work is provided by dynamic imaging sequence performed diagnostic operations.
1. Àëü Ìàäè Ì. Ê., Ìîàìàð Ä. Í., Ðÿáöåâ Â. Ã. Àëãîðèòìû òåñòîâîãî äèàãíîñòèðîâàíèÿ
ïîëóïðîâîäíèêîâûõ çàïîìèíàþùèõ óñòðîéñòâ. — Ê. : «Êîðí³é÷óê», 2008. — 220 ñ.
2. Ôàëåâè÷ Á. ß. Òåîðèÿ àëãîðèòìîâ: Ó÷åá. ïîñîáèå. — Ì. : Ìàøèíîñòðîåíèå, 2004. —
160 ñ.
3. Óñïåíñêèé Â. À. Ìàøèíà Ïîñòà. — Ì. : Íàóêà, 1988. — 96 ñ.
4. Ðÿáöåâ Â. Ã. Ïðîåêòóâàííÿ ìîá³ëüíèõ ïðîãðàì ä³àãíîñòóâàííÿ ñó÷àñíèõ ì³êðîñõåì
ïàì’ÿò³. // ³ñíèê ×ÄÒÓ. — 2002. — ¹ 2. — Ñ. 25—29.
Ìåòîä è ñðåäñòâî âèçóàëèçàöèè àëãîðèòìîâ òåñòîâ
ISSN 0204–3572. Ýëåêòðîí. ìîäåëèðîâàíèå. 2010. Ò. 32. ¹ 3 51
5. Àáó Àëü-Íààäæ Ì. Â., Ìîâ÷àí Þ. Â., Ðÿáöåâ Â. Ã. Ïðîãðàììíûå ñðåäñòâà âèçóàëèçà-
öèè ïðîöåññà ìîäåëèðîâàíèÿ ìèêðîñõåì ïàìÿòè. // Ìîäåëþâàííÿ òà ³íôîðìàö³éí³
òåõíîëî㳿. Çá. íàóê. ïðàöü ²ÏÌÅ ³ì. Ã.ª. Ïóõîâà ÍÀÍ Óêðà¿íè. — 2002. — Âèï. 12. —
Ñ. 85—90.
6. Êóäëàåíêî Â. Ì., Ìîàìàð Ä. Í., Ðÿáöåâ Â. Ã. Ïðèìåíåíèå ýìóëÿòîðà ìàøèíû Òüþðèíãà
äëÿ ïðèîáðåòåíèÿ íàâûêîâ ñèíòåçà àëãîðèòìîâ. // ³ñíèê ×ÄÒÓ. — 2006. — ¹ 4 —
C. 25—28.
Ïîñòóïèëà 01.12.09
ïîñëå äîðàáîòêè 04.02.10
ÐßÁÖÅ Âëàäèìèð Ãðèãîðüåâè÷, ä-ð òåõí. íàóê, ïðîôåññîð, çàâ. êàôåäðîé ìàòåìàòè÷åñêèõ è
êîìïüþòåðíûõ äèñöèïëèí ×åðêàññêîãî ôèëèàëà Åâðîïåéñêîãî óíèâåðñèòåòà (Óêðàèíà). Â
1969 ã. îêîí÷èë Õàðüêîâñêèé àâèàöèîííûé èí-ò. Îáëàñòü íàó÷íûõ èññëåäîâàíèé — äèàã-
íîñòèêà ìèêðîñõåì ïàìÿòè çàïîìèíàþùèõ óñòðîéñòâ.
ÌÎÀÌÀÐ Äèàà Íàäèì, àñïèðàíò ×åðêàññêîãî ãîñóäàðñòâåííîãî òåõíîëîãè÷åñêîãî óíèâåð-
ñèòåòà, êîòîðûé îêîí÷èë â 2006 ãîäó. Îáëàñòü íàó÷íûõ èññëåäîâàíèé — ìàòåìàòè÷åñêîå
ìîäåëèðîâàíèå.
Â. Ã. Ðÿáöåâ, Ä. Í. Ìîàìàð
52 ISSN 0204–3572. Electronic Modeling. 2010. V. 32. ¹ 3
<<
/ASCII85EncodePages false
/AllowTransparency false
/AutoPositionEPSFiles true
/AutoRotatePages /None
/Binding /Left
/CalGrayProfile (Dot Gain 20%)
/CalRGBProfile (sRGB IEC61966-2.1)
/CalCMYKProfile (U.S. Web Coated \050SWOP\051 v2)
/sRGBProfile (sRGB IEC61966-2.1)
/CannotEmbedFontPolicy /Error
/CompatibilityLevel 1.4
/CompressObjects /Tags
/CompressPages true
/ConvertImagesToIndexed true
/PassThroughJPEGImages true
/CreateJDFFile false
/CreateJobTicket false
/DefaultRenderingIntent /Default
/DetectBlends true
/DetectCurves 0.0000
/ColorConversionStrategy /CMYK
/DoThumbnails false
/EmbedAllFonts true
/EmbedOpenType false
/ParseICCProfilesInComments true
/EmbedJobOptions true
/DSCReportingLevel 0
/EmitDSCWarnings false
/EndPage -1
/ImageMemory 1048576
/LockDistillerParams false
/MaxSubsetPct 100
/Optimize true
/OPM 1
/ParseDSCComments true
/ParseDSCCommentsForDocInfo true
/PreserveCopyPage true
/PreserveDICMYKValues true
/PreserveEPSInfo true
/PreserveFlatness true
/PreserveHalftoneInfo false
/PreserveOPIComments true
/PreserveOverprintSettings true
/StartPage 1
/SubsetFonts true
/TransferFunctionInfo /Apply
/UCRandBGInfo /Preserve
/UsePrologue false
/ColorSettingsFile ()
/AlwaysEmbed [ true
]
/NeverEmbed [ true
]
/AntiAliasColorImages false
/CropColorImages true
/ColorImageMinResolution 300
/ColorImageMinResolutionPolicy /OK
/DownsampleColorImages true
/ColorImageDownsampleType /Bicubic
/ColorImageResolution 300
/ColorImageDepth -1
/ColorImageMinDownsampleDepth 1
/ColorImageDownsampleThreshold 1.50000
/EncodeColorImages true
/ColorImageFilter /DCTEncode
/AutoFilterColorImages true
/ColorImageAutoFilterStrategy /JPEG
/ColorACSImageDict <<
/QFactor 0.15
/HSamples [1 1 1 1] /VSamples [1 1 1 1]
>>
/ColorImageDict <<
/QFactor 0.15
/HSamples [1 1 1 1] /VSamples [1 1 1 1]
>>
/JPEG2000ColorACSImageDict <<
/TileWidth 256
/TileHeight 256
/Quality 30
>>
/JPEG2000ColorImageDict <<
/TileWidth 256
/TileHeight 256
/Quality 30
>>
/AntiAliasGrayImages false
/CropGrayImages true
/GrayImageMinResolution 300
/GrayImageMinResolutionPolicy /OK
/DownsampleGrayImages true
/GrayImageDownsampleType /Bicubic
/GrayImageResolution 300
/GrayImageDepth -1
/GrayImageMinDownsampleDepth 2
/GrayImageDownsampleThreshold 1.50000
/EncodeGrayImages true
/GrayImageFilter /DCTEncode
/AutoFilterGrayImages true
/GrayImageAutoFilterStrategy /JPEG
/GrayACSImageDict <<
/QFactor 0.15
/HSamples [1 1 1 1] /VSamples [1 1 1 1]
>>
/GrayImageDict <<
/QFactor 0.15
/HSamples [1 1 1 1] /VSamples [1 1 1 1]
>>
/JPEG2000GrayACSImageDict <<
/TileWidth 256
/TileHeight 256
/Quality 30
>>
/JPEG2000GrayImageDict <<
/TileWidth 256
/TileHeight 256
/Quality 30
>>
/AntiAliasMonoImages false
/CropMonoImages true
/MonoImageMinResolution 1200
/MonoImageMinResolutionPolicy /OK
/DownsampleMonoImages true
/MonoImageDownsampleType /Bicubic
/MonoImageResolution 1200
/MonoImageDepth -1
/MonoImageDownsampleThreshold 1.50000
/EncodeMonoImages true
/MonoImageFilter /CCITTFaxEncode
/MonoImageDict <<
/K -1
>>
/AllowPSXObjects false
/CheckCompliance [
/None
]
/PDFX1aCheck false
/PDFX3Check false
/PDFXCompliantPDFOnly false
/PDFXNoTrimBoxError true
/PDFXTrimBoxToMediaBoxOffset [
0.00000
0.00000
0.00000
0.00000
]
/PDFXSetBleedBoxToMediaBox true
/PDFXBleedBoxToTrimBoxOffset [
0.00000
0.00000
0.00000
0.00000
]
/PDFXOutputIntentProfile ()
/PDFXOutputConditionIdentifier ()
/PDFXOutputCondition ()
/PDFXRegistryName ()
/PDFXTrapped /False
/Description <<
/CHS <FEFF4f7f75288fd94e9b8bbe5b9a521b5efa7684002000410064006f006200650020005000440046002065876863900275284e8e9ad88d2891cf76845370524d53705237300260a853ef4ee54f7f75280020004100630072006f0062006100740020548c002000410064006f00620065002000520065006100640065007200200035002e003000204ee553ca66f49ad87248672c676562535f00521b5efa768400200050004400460020658768633002>
/CHT <FEFF4f7f752890194e9b8a2d7f6e5efa7acb7684002000410064006f006200650020005000440046002065874ef69069752865bc9ad854c18cea76845370524d5370523786557406300260a853ef4ee54f7f75280020004100630072006f0062006100740020548c002000410064006f00620065002000520065006100640065007200200035002e003000204ee553ca66f49ad87248672c4f86958b555f5df25efa7acb76840020005000440046002065874ef63002>
/DAN <FEFF004200720075006700200069006e0064007300740069006c006c0069006e006700650072006e0065002000740069006c0020006100740020006f007000720065007400740065002000410064006f006200650020005000440046002d0064006f006b0075006d0065006e007400650072002c0020006400650072002000620065006400730074002000650067006e006500720020007300690067002000740069006c002000700072006500700072006500730073002d007500640073006b007200690076006e0069006e00670020006100660020006800f8006a0020006b00760061006c0069007400650074002e0020004400650020006f007000720065007400740065006400650020005000440046002d0064006f006b0075006d0065006e0074006500720020006b0061006e002000e50062006e00650073002000690020004100630072006f00620061007400200065006c006c006500720020004100630072006f006200610074002000520065006100640065007200200035002e00300020006f00670020006e0079006500720065002e>
/DEU <FEFF00560065007200770065006e00640065006e0020005300690065002000640069006500730065002000450069006e007300740065006c006c0075006e00670065006e0020007a0075006d002000450072007300740065006c006c0065006e00200076006f006e002000410064006f006200650020005000440046002d0044006f006b0075006d0065006e00740065006e002c00200076006f006e002000640065006e0065006e002000530069006500200068006f006300680077006500720074006900670065002000500072006500700072006500730073002d0044007200750063006b0065002000650072007a0065007500670065006e0020006d00f60063006800740065006e002e002000450072007300740065006c006c007400650020005000440046002d0044006f006b0075006d0065006e007400650020006b00f6006e006e0065006e0020006d006900740020004100630072006f00620061007400200075006e0064002000410064006f00620065002000520065006100640065007200200035002e00300020006f0064006500720020006800f600680065007200200067006500f600660066006e00650074002000770065007200640065006e002e>
/ESP <FEFF005500740069006c0069006300650020006500730074006100200063006f006e0066006900670075007200610063006900f3006e0020007000610072006100200063007200650061007200200064006f00630075006d0065006e0074006f00730020005000440046002000640065002000410064006f0062006500200061006400650063007500610064006f00730020007000610072006100200069006d0070007200650073006900f3006e0020007000720065002d0065006400690074006f007200690061006c00200064006500200061006c00740061002000630061006c0069006400610064002e002000530065002000700075006500640065006e00200061006200720069007200200064006f00630075006d0065006e0074006f00730020005000440046002000630072006500610064006f007300200063006f006e0020004100630072006f006200610074002c002000410064006f00620065002000520065006100640065007200200035002e003000200079002000760065007200730069006f006e0065007300200070006f00730074006500720069006f007200650073002e>
/FRA <FEFF005500740069006c006900730065007a00200063006500730020006f007000740069006f006e00730020006100660069006e00200064006500200063007200e900650072002000640065007300200064006f00630075006d0065006e00740073002000410064006f00620065002000500044004600200070006f0075007200200075006e00650020007100750061006c0069007400e90020006400270069006d007000720065007300730069006f006e00200070007200e9007000720065007300730065002e0020004c0065007300200064006f00630075006d0065006e00740073002000500044004600200063007200e900e90073002000700065007500760065006e0074002000ea0074007200650020006f007500760065007200740073002000640061006e00730020004100630072006f006200610074002c002000610069006e00730069002000710075002700410064006f00620065002000520065006100640065007200200035002e0030002000650074002000760065007200730069006f006e007300200075006c007400e90072006900650075007200650073002e>
/ITA <FEFF005500740069006c0069007a007a006100720065002000710075006500730074006500200069006d0070006f007300740061007a0069006f006e00690020007000650072002000630072006500610072006500200064006f00630075006d0065006e00740069002000410064006f00620065002000500044004600200070006900f900200061006400610074007400690020006100200075006e00610020007000720065007300740061006d0070006100200064006900200061006c007400610020007100750061006c0069007400e0002e0020004900200064006f00630075006d0065006e007400690020005000440046002000630072006500610074006900200070006f00730073006f006e006f0020006500730073006500720065002000610070006500720074006900200063006f006e0020004100630072006f00620061007400200065002000410064006f00620065002000520065006100640065007200200035002e003000200065002000760065007200730069006f006e006900200073007500630063006500730073006900760065002e>
/JPN <FEFF9ad854c18cea306a30d730ea30d730ec30b951fa529b7528002000410064006f0062006500200050004400460020658766f8306e4f5c6210306b4f7f75283057307e305930023053306e8a2d5b9a30674f5c62103055308c305f0020005000440046002030d530a130a430eb306f3001004100630072006f0062006100740020304a30883073002000410064006f00620065002000520065006100640065007200200035002e003000204ee5964d3067958b304f30533068304c3067304d307e305930023053306e8a2d5b9a306b306f30d530a930f330c8306e57cb30818fbc307f304c5fc59808306730593002>
/KOR <FEFFc7740020c124c815c7440020c0acc6a9d558c5ec0020ace0d488c9c80020c2dcd5d80020c778c1c4c5d00020ac00c7a50020c801d569d55c002000410064006f0062006500200050004400460020bb38c11cb97c0020c791c131d569b2c8b2e4002e0020c774b807ac8c0020c791c131b41c00200050004400460020bb38c11cb2940020004100630072006f0062006100740020bc0f002000410064006f00620065002000520065006100640065007200200035002e00300020c774c0c1c5d0c11c0020c5f40020c2180020c788c2b5b2c8b2e4002e>
/NLD (Gebruik deze instellingen om Adobe PDF-documenten te maken die zijn geoptimaliseerd voor prepress-afdrukken van hoge kwaliteit. De gemaakte PDF-documenten kunnen worden geopend met Acrobat en Adobe Reader 5.0 en hoger.)
/NOR <FEFF004200720075006b00200064006900730073006500200069006e006e007300740069006c006c0069006e00670065006e0065002000740069006c002000e50020006f0070007000720065007400740065002000410064006f006200650020005000440046002d0064006f006b0075006d0065006e00740065007200200073006f006d00200065007200200062006500730074002000650067006e0065007400200066006f00720020006600f80072007400720079006b006b0073007500740073006b00720069006600740020006100760020006800f800790020006b00760061006c0069007400650074002e0020005000440046002d0064006f006b0075006d0065006e00740065006e00650020006b0061006e002000e50070006e00650073002000690020004100630072006f00620061007400200065006c006c00650072002000410064006f00620065002000520065006100640065007200200035002e003000200065006c006c00650072002000730065006e006500720065002e>
/PTB <FEFF005500740069006c0069007a006500200065007300730061007300200063006f006e00660069006700750072006100e700f50065007300200064006500200066006f0072006d00610020006100200063007200690061007200200064006f00630075006d0065006e0074006f0073002000410064006f0062006500200050004400460020006d00610069007300200061006400650071007500610064006f00730020007000610072006100200070007200e9002d0069006d0070007200650073007300f50065007300200064006500200061006c007400610020007100750061006c00690064006100640065002e0020004f007300200064006f00630075006d0065006e0074006f00730020005000440046002000630072006900610064006f007300200070006f00640065006d0020007300650072002000610062006500720074006f007300200063006f006d0020006f0020004100630072006f006200610074002000650020006f002000410064006f00620065002000520065006100640065007200200035002e0030002000650020007600650072007300f50065007300200070006f00730074006500720069006f007200650073002e>
/SUO <FEFF004b00e40079007400e40020006e00e40069007400e4002000610073006500740075006b007300690061002c0020006b0075006e0020006c0075006f00740020006c00e400680069006e006e00e4002000760061006100740069007600610061006e0020007000610069006e006100740075006b00730065006e002000760061006c006d0069007300740065006c00750074007900f6006800f6006e00200073006f00700069007600690061002000410064006f0062006500200050004400460020002d0064006f006b0075006d0065006e007400740065006a0061002e0020004c0075006f0064007500740020005000440046002d0064006f006b0075006d0065006e00740069007400200076006f0069006400610061006e0020006100760061007400610020004100630072006f0062006100740069006c006c00610020006a0061002000410064006f00620065002000520065006100640065007200200035002e0030003a006c006c00610020006a006100200075007500640065006d006d0069006c006c0061002e>
/SVE <FEFF0041006e007600e4006e00640020006400650020006800e4007200200069006e0073007400e4006c006c006e0069006e006700610072006e00610020006f006d002000640075002000760069006c006c00200073006b006100700061002000410064006f006200650020005000440046002d0064006f006b0075006d0065006e007400200073006f006d002000e400720020006c00e4006d0070006c0069006700610020006600f60072002000700072006500700072006500730073002d007500740073006b00720069006600740020006d006500640020006800f600670020006b00760061006c0069007400650074002e002000200053006b006100700061006400650020005000440046002d0064006f006b0075006d0065006e00740020006b0061006e002000f600700070006e00610073002000690020004100630072006f0062006100740020006f00630068002000410064006f00620065002000520065006100640065007200200035002e00300020006f00630068002000730065006e006100720065002e>
/ENU (Use these settings to create Adobe PDF documents best suited for high-quality prepress printing. Created PDF documents can be opened with Acrobat and Adobe Reader 5.0 and later.)
>>
/Namespace [
(Adobe)
(Common)
(1.0)
]
/OtherNamespaces [
<<
/AsReaderSpreads false
/CropImagesToFrames true
/ErrorControl /WarnAndContinue
/FlattenerIgnoreSpreadOverrides false
/IncludeGuidesGrids false
/IncludeNonPrinting false
/IncludeSlug false
/Namespace [
(Adobe)
(InDesign)
(4.0)
]
/OmitPlacedBitmaps false
/OmitPlacedEPS false
/OmitPlacedPDF false
/SimulateOverprint /Legacy
>>
<<
/AddBleedMarks false
/AddColorBars false
/AddCropMarks false
/AddPageInfo false
/AddRegMarks false
/ConvertColors /ConvertToCMYK
/DestinationProfileName ()
/DestinationProfileSelector /DocumentCMYK
/Downsample16BitImages true
/FlattenerPreset <<
/PresetSelector /MediumResolution
>>
/FormElements false
/GenerateStructure false
/IncludeBookmarks false
/IncludeHyperlinks false
/IncludeInteractive false
/IncludeLayers false
/IncludeProfiles false
/MultimediaHandling /UseObjectSettings
/Namespace [
(Adobe)
(CreativeSuite)
(2.0)
]
/PDFXOutputIntentProfileSelector /DocumentCMYK
/PreserveEditing true
/UntaggedCMYKHandling /LeaveUntagged
/UntaggedRGBHandling /UseDocumentProfile
/UseDocumentBleed false
>>
]
>> setdistillerparams
<<
/HWResolution [2400 2400]
/PageSize [612.000 792.000]
>> setpagedevice
|