Файл: Садовников, В. И. Потоки информации в системах управления.pdf

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

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

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

(табл. 3-57).

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

219

Т а б л и ц а 3 - 5 8

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

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

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

220

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

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

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

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

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

Iх

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

■?

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

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

221

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

участвует в записи функционалы-ю-экивалентной формулы для ком­ поненты 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