Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

книги из ГПНТБ / Садовников, В. И. Потоки информации в системах управления

.pdf
Скачиваний:
9
Добавлен:
19.10.2023
Размер:
7.2 Mб
Скачать

В ТСК записываются коды документов, количество заполняе­ мых экземпляров, номера СК, которые входят в состав этих доку­ ментов, наименования СК в кодах ОИЯ и формулы вычисления значений компонент, принятые в существующей системе.

г) Формирование Генеральной спецификации структурных компонент

Целью данного этапа является формирование Генеральной спе­ цификации структурных компонент (табл. 3-58), которая использу­ ется на всех последующих этапах проектирования автоматизиро­ ванной системы, а также в процессе отладки и эксплуатации систе­ мы. Исходной информацией для ее формирования является ТСК

(табл. 3-57).

« и

é s

^ m«

§ 1

js « Я

о >.

44 ta с

Ій

1

2

21005

2

21027

1

 

 

 

 

 

 

Т а б л и ц а 3-57

Таблица структурных компонентов

 

Е-

Наименования компонент на ОИЯ

 

35

 

 

 

 

 

 

 

cLg

Харак-

 

Признаки

 

 

 

Формулы

ä g

 

 

 

 

О g

терис-

временные

 

прочие

 

 

нЦu:

тики

 

 

 

3

4

5

 

 

6

 

7

11333

044,

222,

211, 217, 207, 215

и с х .

13572

005,

222,

211,

217,

207

И С Х .

10334

047,

222,

211,

230,

231,

и с х .

 

 

 

216,

220,

207,

 

10667

015,

222,

210,

201

10334X13212

211,

230,

231,

 

 

 

216,

220,

207,

 

10715

054,

222,

210,

201

 

211,

230,

231,

и с х .

 

 

 

216,

220,

204,

 

10716

030,

222,

207,

210,

201

 

211,

230,

231,

и с х .

 

 

 

216,

220,

204,

 

13234

015,

222,

207,

210,

201

S 10667

 

201

 

13235

047,

222,

 

201

 

а 10334

13236

030,

222,

 

201

 

S 10716

На основании данных Генеральной спецификации формируется упорядоченный перечень СК (табл. 3-59). СК, которые были запи­ саны в Генеральной спецификации в кодах ОИЯ, упорядочиваются следующим образом. Весь массив разбивается на группы компонент, содержащих одни и те же характеристики. Полученные группы рас­ полагаются относительно друг друга в порядке возрастания кодов характеристик. В пределах каждой группы компоненты располага­ ются в порядке убывания числа кодов признаков, входящих в состав каждой компоненты.

219

Т а б л и ц а 3 - 5 8

 

Г е н е р а л ь н а я с п е ц и ф и к а ц и я с т р у к т у р н ы х к о м п о н е н т

;

Наименования компонент на ОИЯ

 

 

докуКодыментов

Номеракомпонент

 

 

Харак­

ные

Признаки

Существую­

Эквива­

 

 

вре­

 

щие формулы

лентные

 

 

терис­

прочие

 

формулы

 

 

тики

мен­

 

 

I

2

3

4

5

6

7

Номер правила

8

2166І

04454

027,

222

 

 

 

 

S 4452

1 '

21661

04457

154,

000

 

 

 

 

исх.

 

21027

10334

047,

222,

211,

217,

207,

исх.

 

 

10667

 

 

 

215

 

 

 

 

21027

015,

222,

211,

230,

231,

исх.

 

 

 

 

 

216,

220,

207,

 

 

 

 

 

 

210,

201

 

 

21027

10715

054,

222,

211,

230,

231,

исх.

 

 

 

 

 

216,

220,

204,

 

 

 

 

 

 

207,

210,

201

 

 

21027

10716

030,

222,

211,

230,

231,

исх.

 

 

 

 

 

216,

220,

204,

 

 

 

 

044,

 

207,

210,

201

 

 

21005

11333

222,

211,

217,

207,

исх.

 

21005

13572

005,

 

 

215

 

 

 

 

222,

211,

217,

207

исх.

 

21661

13561

0 6 І,

222,

 

20 і

 

 

4452— 4456

5"

21661

13562

061.

222

 

 

 

 

4454— 4457 S 13561

5 ", 1

Данный перечень является вспомогательным и используется для получения функционально-эквивалентных формул вычисления зна­ чений СК (алгоритм получения функционально-эквивалентных фор­ мул, § 1-4, п. «з»). Полученные формулы записываются в Генераль­ ную спецификацию (табл. 3-58).

Генеральная спецификация содержит упорядоченный список номеров СК (без повторений) с указанием кодов всех документов, в которые входят данные компоненты; наименования СК на ОИЯ; принятые в существующей системе формулы вычисления значений СК; эквивалентные формулы, полученные в результате формализо­ ванного вывода, и номера правил, с помощью которых получены существующие формулы и осуществлен вывод эквивалентных.

Номер правила, с помощью которого получена существующая формула, отмечается в графе 9 табл. 3-58 двойными кавычками. Например, 5" или 1", или 2" и т. д. Если значения компоненты вы­ числяются с помощью комбинаций правил, то номера правил этой комбинации записываются в скобках, после которых ставятся двой­ ные кавычки, например (1 и 5)". Номера правил, с помощью кото­ рых получены эквивалентные формулы, не отмечаются никакими

220

 

 

 

 

 

 

 

Т а б л и ц а

3-59

У п о р я д о ч е н н ы й п е р е ч е н ь с т р у к т у р н ы х к о м п о н е н т

 

Номер

 

 

Наименование компоненты на ОИЯ

 

 

 

компоненты

 

 

 

 

 

1

 

 

 

 

2

 

 

 

 

 

‘10667

015,

222,

201,

207,

210,* 2*1 Г,

216,

220,

230,

231

 

13234

015,

222,

201

 

 

 

 

 

 

 

04452

027,

222,

201

 

 

 

 

 

 

 

04454

027,

222

 

 

 

 

 

 

 

 

04453

027,

223,

201

 

 

 

 

 

 

 

04455

027,

223

 

 

 

 

 

 

 

 

*10716

030,

222,

211,

230,

231,’ 216,

220,

204,

207,

210,

201

13654

030,

222,

201,

206

 

 

 

 

 

 

13236

030,

222,

201

 

 

 

 

 

 

 

13714

030,

222,

206

 

 

 

 

 

 

 

04243

030,

222

 

 

 

 

 

 

 

 

13675

030,

223,

201,

206

 

 

 

 

 

 

13503

030,

223,

201

 

 

 

 

 

 

 

13734

030,

223,

206

 

 

 

 

 

 

 

04244

030,

223

 

 

 

 

 

 

 

 

*13561

061,

222,

201

 

 

 

 

 

 

 

13562

061,

222

 

 

 

 

 

 

 

 

04462

061,

223,

201

 

 

 

 

 

 

 

04463

061,

223

 

 

 

 

 

 

 

 

дополнительными знаками, например 5. Номера правил, по которым получены существующие и эквивалентные формулы, отделяются друг от друга запятой, например (1 и 5)", 1.

В графе 8 табл. 3-58 записана, например, функционально-экви­ валентная формула для компоненты 13562. Процесс получения этой

формулы в

соответствии с приведенным

выше

алгоритмом состоит

в следующем:

(1.4.1)

(fe= l).

<1. К СК

13562 применяется правило

2.В наименовании этой компоненты на ОИЯ выделяется харак­ теристика 061.

3.В списке {(!} тезауруса ОИЯ (табл. 3-56) в графе 2 (под­

список {<р^} осуществляется поиск выделенной характеристики 061.

4. В списке {р.} тезауруса ОИЯ в графе 3 (подсписок {Ф^})

■?

осуществляется поиск отношения, соответствующего выделенной ха­ рактеристике 061. Это отношение имеет вид 061-027—154 (отношение

типа р-з = РпЯр-г). В соответствии с алгоритмом это отношение до­ пускает применение правила преобразования (1.4.1) к СК 13562.

221

 

Т а б л иц а 3-60

Список аргументов

Номер аргумента

Аргумент

1

2

1

201

2

202

3

204

4

205

5

206

6

207

7

210

8

211

9

212

10

215

11

216

12

217

13

220

14

222

15

223

16

230

17

231

18

233

5. В массиве СК (табл. 3-59)

осуществляется поиск очередной

компоненты, содержащей характеристику 061, признак 222 и неко­

торые

другие признаки.

Такой компонентой

является

13561-(061,

222, 201) .

является входом

компоненты

13562 и

6.

Компонента 13561

участвует в записи функционалы-ю-экивалентной формулы для ком­ поненты 13562. Запись формулы (графа 7 табл. 3-58) производится в соответствии с правилами (1.4.1) —(1.4.5).

7. В табл. 3-59 осуществляется поиск очередных компонент, удов­ летворяющих требованиям правила (1.4.1). Этот поиск не дает по­ ложительного результата.

8. К компоненте 13562 последовательно применяются правила

(1.4.2) —(1.4.5). Правила (1.4.2) —(1.4.4) не позволяют записать для этой компоненты функционально-эквивалентную формулу. С помощью правила (1.4.5) уже записана существующая формула (графа 6

табл. 3-58).

д) Выявление структуры информационного массива

Цель данного этапа — выявление структуры информационного массива, элементами которого являются структурные компоненты потока информации, записанные на ОИЯПри этом формируются следующие таблицы: список аргументов (табл. 3-60); список векто­ ров аргументов (табл. 3-61); упорядоченный список векторов аргу­ ментов (табл. 3-62); список вектор-функций (табл. 3-63); список аргументов с устойчивыми сочетаниями (табл. 3-64); список векто­ ров аргументов с устойчивыми сочетаниями (табл. 3-65); список вектор-функций с устойчивыми сочетаниями аргументов (табл. 3-663.

222

Т а б л и ц а 3-61

 

Список векторов аргументов

Номер

Вектор аргументов

вектора

1

2

1206

2215

3222

4222, 201

5222, 201, 202

6

222,

201,

204,

205,

207,

210,

211,

212,

216,

220,

7

230,

231

204,

207,

210,

211,

216,

220,

230,

231

 

222,

201,

231

8

222,

201,

205,

207,

210,

211,

212,

216,

220,

230,

9

222,

201,

206

210,

211,

216,

220,

230,

231

 

 

10

222,

201,

207,

 

 

11222, 206

12222, 206, 217

13222, 207, 211

14 222, 207, 211, 215, 217

15222, 207, 211, 217

16222, 217

17223

18223, 201

19223, 201, 206

20223, 206

21223, 206, 217

22223, 217

23233, 207, 211

24233, 207, 211, 215

Таблицы 3-61, 3-62, 3-65 — промежуточные и используются на данном этапе при формировании результирующих таблиц. Таблицы 3-60, 3-63, 3-64, 3-66 — результирующие и используются для разра­ ботки представления информации и организации памяти автомати­ зированной системы.

Для формирования табл. 3-60, 3-61, 3-62, 3-63 используются данные Генеральной спецификации (табл. 3-58). Таблица 3-64 фор­

мируется на основании данных списка аргументов

(табл. 3-60) и

упорядоченного списка векторов аргументов (табл.

3-62). Таблица

3-62 является исходной для выделения устойчивых сочетаний аргу­ ментов, которое производится в соответствии с алгоритмом, приве­ денным в § 1-4, п. «и». На первом шаге алгоритма отмечаются ар­

гументы упорядоченного

списка

векторов аргументов (массив (1)].

В результате

от

неотмеченных

аргументов формируется массив:

204,................................................................................

205 (207],

210,

[211], 212, 216,

220,

( 1 )

230, 231

205,

[207],

210, [211], 212,

216,

220, 230,

231

223

204,

[207],

210,

 

{211],

216,

220,

230,

231

 

 

 

 

 

 

 

 

[207J,

210,

[211],

216,

220,

230,

231

 

 

 

 

 

 

 

 

 

 

[207,

211]

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(2)

[207,

211]

 

233

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

[207,

211],

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

[207, 211]

 

233

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

[207,

211],

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

В массиве (2) выделяется устойчивое сочетание

207,

211,

а из

неотмеченных аргументов формируется

массив

 

 

 

 

 

204, 205,

[210],

 

212,

[216,

220,

 

230,

231]

 

 

 

 

 

 

 

 

205,

[210], 212,

 

[216,

 

220,

230,

 

231]

 

 

 

 

 

 

 

 

 

 

204,

[210,

 

216,

220,

 

230,

231]

 

 

 

 

 

 

 

 

 

 

 

(3)

[210,

216,

 

220,

 

230,

231]

 

 

 

 

 

 

 

 

 

 

 

 

 

(233)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(233)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

В

массиве

 

(3)

 

выделяется

устойчивое сочетание 210, 216, 220,

230, 231, а из неотмеченных аргументов формируется массив

 

(204),

[205, 212]

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

[205,

212j

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(4)

(204)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

В массиве (4)

выделяется устойчивое сочетание 205, 212 и работа

алгоритма прекращается.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Т а б л и ц а

3-62

 

 

 

Упорядоченный список векторов аргументов

 

 

Номер

 

 

 

 

 

 

 

 

 

 

 

 

Вектор аргументов

 

 

 

 

вектора

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

1

 

201,

204,

 

205,

 

207,

210,

211,

212,

216,

220,

222,

 

 

 

 

230,

231

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

201,

205,

207,

210,

211,

212,

216,

220,

222,

230,

231

 

3

 

 

201,

204,

207,

210,

211,

216,

220,

222,

230,

231

 

 

4

 

 

201,

207,

210,

211,

216,

220,

222,

230,

231

 

 

 

5

 

 

207,

211,

215,

217,

222

 

 

 

 

 

 

 

 

 

6

 

 

207,

211,

217,

222

 

 

 

 

 

 

 

 

 

 

 

7

 

 

207,

211,

215,

233

 

 

 

 

 

 

 

 

 

 

 

8

 

 

201,

202,

222

 

 

 

 

 

 

 

 

 

 

 

 

9201, 206, 222

10201, 206, 223 11 206, 217, 222

12206, 217, 223

13207, 211, 222 14 207, 211, 233

15201, 222

16201, 223

17206, 222

18206, 223

224

 

П р о д о л ж е н и е т а б л . 3 -6 2

Номер

Вектор аргуменюв

вектора

I

2

19217, 222

20217, 223

21206

22215

23222

24223

 

 

 

 

 

 

 

 

 

 

 

 

 

Т а б л и ц а

3-63

 

 

 

Список вектор-функций

 

 

 

 

 

 

Номер

 

 

 

 

 

Вектор-функция

 

 

 

 

 

 

вектор-

 

 

 

 

 

 

 

 

 

 

 

функции

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

4

04211,

04213,

04223,

 

04225,

04227,

04237,

04241,

 

04250,

04252,

04254,

 

04353,

04452,

13234,

13235,

 

13236,

13237,

13240,

 

13241,

13443,

13445,

13451,

 

13455,

13457,

13461,

 

13463,

13501,

13505,

13507,

 

13515,

13517,

13557,

 

13561,

13563,

13671,

13672,

 

13673,

13674,

13755,

 

13762,

13766,

13773,

13777,

 

14013,

14017,

14025,

 

14031,

14035,

14041,

14045,

 

14051,

14055,

14063,

 

14064,

14067,

14073,

14077,

 

14103,

14107,

14113,

 

14117

 

(222,

201)

 

 

 

7

10715,

10716

(222,

201,

204,

207,

210,

211,

216,

220,

 

230,

231)

 

 

 

 

 

 

 

 

 

 

 

 

 

10

10334,

10667

(222,

201,

207,

210,

211,

216,

220,

230,

 

231)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

14

04773,

11333

(222,

207,

211,

215,

217)

 

 

 

 

15

13572

 

(222,

207

211,

217)

 

 

 

 

 

 

 

 

20

13603,

13734,

13735,

 

13736,

 

13737,

13741,

13742,

 

13743,

13745,

13747,

 

13750,

 

13752,

13753

(223,

206)

2113577 (223, 206, 217)

2213605 (223, 217)

. . .

15193

225

Т а б л и ц а 3-64

Список аргументов с устойчивыми сочетаниями

Номер

Аргумент

аргумента

1

2

1 201

2202

3204

4206

5215

6217

7222

8223

9233

10205, 212

11207, 211

12210, 216, 220, 230, 231

Т а б л и ц а 3-65

Список векторов аргументов с устойчивыми сочетаниями аргументов

Номер вектора Вектор аргументов

аргументов

1

2

1 206

2215

3222

4222, 201

5222, 201, 202

6

222,

201,

204 X 205,

212 XX 207, 211 XX 210, 216,

7

220,

230,

231

X

211 XX 210, 216, 220, 230, 231 X

222,

201,

204

X 207,

8222, 201 X 205, 212, XX 207, 211 XX 210, 216, 220, 230, 231 X

9222, 201, 206

10 222, 201 X 207, 211 XX 210, 216, 220, 230, 231 X

11222, 206

12222, 206, 217

13222 X 207, 211 X

14222 X 207, 211 X 215, 217

15222 X 207, 211 X 217

16222, 217

17223

2 2 6

П р о д о л ж е н и е т а б л . 3 -6 5

Номер

вектора Вектор аргументов аргументов

I

2

18223, 201

19223, 201, 206

20223, 206

21223, 206, 217

22223, 217

23233 X 207, 211 X

24233 X 207, 211 X 215

Т а б л и ц а 3-66

 

Список вектор-функций с устойчивыми

 

 

 

 

сочетаниями

аргументов

 

 

 

 

Номер

 

 

 

Вектор-функция

 

 

 

 

вектор-

 

 

 

 

 

 

 

функции

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

4

04211,

04213,

04223,

04225,

04227,

04237,

04241,

 

04250,

04252,

04254,

04353,

04452,

13234,

13235,

 

13236,

13237,

13240,

13241,

13443,

13445,

13451,

 

13455,

13457,

13461,

13463,

13501,

13505,

13507,

 

13515,

13517,

13557,

13563,

13671,

13672,

13673,

 

13674,

13755,

13762,

13766,

13773,

13777,

14013,

 

14017,

14025,

14031,

14035,

14041,

14045,

14051,

 

14055,

14063,

14064,

14067,

14073,

14077,

14103,

 

14107,

14113,

14117

(222,

201)

 

 

 

 

 

7

10715,

10716

(222, 201, 204 X 207,

21

XX 21С ,

216,

 

220, 230, 231

X)

 

 

 

 

 

 

 

 

10

10334,

10667 (222, 201

X 207,

211

XX

210, 216,

220,

 

230, 231 X)

 

 

 

 

 

 

 

 

 

14

04773,

11333 (222 X 207, 211 XX 215, 217)

 

 

15

13572

(222 X 207, 211

X 217)

 

 

 

 

 

20 13603, 13734, 13735, 13736, 13737, 13741, 13742 13743 13745, 13747, 13750, 13752, 13753 (223, 206)

21413577 (223, 206, 217)

2213605 (223, 217)

15

227

П р и л о ж е н и е 1

Упорядочение данных методом сортировки

по основанию системы счисления

В настоящем приложении рассматривается метод сортировки по основанию системы счисления [Л. 48, 103], который применяется для упорядочения наименований СК, записанных на ОИЯ искусственного уровня (например, § 3-8). Возможен случай, когда наименование компоненты (код компоненты) занимает несколько ячеек памяти. В результате сортировки коды упорядочиваются по величине. Сор­ тировка может производиться как по всей длине кода, так и по выделенной группе старших разрядов. Для этого с каждым кодом массива, подлежащего сортировке, задаются две константы: п, и I}. Константа п, задает общую длину кода kj, константа /,• определяет число старших разрядов кода, по которым выполняется сортировка. Под kj здесь будем понимать не только код компоненты на ОИЯ искусственного уровня, но и ту информацию, которую может нести с собой данная компонента, например код документа, в котором она записывается, порядковый номер этой компоненты внутри докумен­ та и др. Сортировка производится по основанию 8. В оперативной памяти отводится 8 групп (карманов) ячеек. На внешнем ЗУ также отводится 8 карманов магнитной ленты (МЛ), причем каждая лен­ та-карман делится на два участка. Запись рассортированных компо­ нент производится попеременно на первый и второй участок лентыкармана. Например, при сортировке по нечетным разрядам запись ведется на первый участок, а при сортировке по четным разрядам — на второй.

В каждом коде исходного массива выделяется младший вось­ меричный разряд, подлежащий сортировке. В зависимости от вели­ чины разряда весь код компоненты вместе с относящейся к нему информацией записывается в соответствующий карман в МОЗУ. После того как все коды распределены по карманам МЛ, произво­ дится сортировка содержимого каждого кармана по следующему разряду и т. д.

Перед сортировкой очередного /-го кода по г разряду проверя­ ется соотношение r>lj. Если это соотношение выполняется, то /-й код записывается в массив, отведенный для записи отсортированных кодов, и в последующей сортировке не участвует.

В, зависимости от дальнейшего использования отсортированные коды могут быть записаны одним из двух рассмотренных ниже способов.

Пусть исходная информация, подлежащая сортировке, представ­ лена табл. П1-І. В ячейке, предшествующей каждому коду kj, запи­ сываются константы П] и Ц. Сортировка выполняется по части кода,

Соседние файлы в папке книги из ГПНТБ