Различия моделей ИТВ и РБД закладывают в методику преобразо-
вания ИТВ в РБД, определяют необходимый состав методов и средств
решения частных задач преобразования.
Автором разработаны модели РБД и ИТВ и доказана их адекват-
ность. Модели позволили построить целевые функции, одна из них
имеет вид:
((min(
j
)
∧
. . .
∧
min(
i
)
∧
. . .
∧
min(
t
))
. . .
∧
. . .
. . .
∧
. . .
((min(
m
)
∧
. . .
∧
min(
k
)
∧
. . .
∧
min(
r
))
,
где
j
— число подзаголовков 1-го уровня первого заголовка;
t
— число
подзаголовков 1-го уровня последнего заголовка;
m
— число подзаго-
ловков 2-го уровня первого подзаголовка заголовка 1-го уровня;
r
—
число подзаголовков 2-го уровня последнего подзаголовка заголовка
1-го уровня.
Другими словами, число подзаголовков 1-го и 2-го уровней нужно
минимизировать или совсем от них избавиться. Тогда будет реали-
зована первая нормальная форма — атрибуты реляционной таблицы
должны быть атомарными.
Реализована следующая процедура построения модели методики
проектирования РБД на основе использования ИТВ.
На первом этапе по аналогии с описанием процесса взаимодей-
ствия решающих систем, используя отличительные особенности ИТВ
и РБД, в операторной форме описываются отдельные шаги преобра-
зования ИТВ в РБД, формируются связи между ними, определяются
правила и порядок их использования [2]. Такое описание разработано
в целях выявления основных компонентов разрабатываемой человеко-
машинной системы, основных связей между ними, построения моде-
ли методики их использования. В дальнейшем оно будет использовано
для разработки формальных моделей интерактивных процессов про-
ектирования РБД на основе ИТВ. Под оператором, согласно опреде-
лению, понимается отображение ОР: X
→
Y, в котором множества X
и Y являются множествами функций с элементами
x
(
t
)
и
y
(
t
)
. Фор-
мально факт преобразования функции
x
(
t
)
в функцию
y
(
t
)
посред-
ством выполнения оператора ОР записывается следующим образом:
y
(
t
) =
ОР
(
x
(
t
))
[3].
На втором этапе операторная модель используется в качестве ис-
ходной формализации для разработки модели методики, построенной
на основе аппарата сетей Петри, и формируется соответствующая сеть.
На третьем этапе с помощью аппарата сетей Петри выявляются и
исключаются дефекты модели, а следовательно, исключаются дефекты
объекта моделирования. В конечном итоге строится сетевая модель
56 ISSN 0236-3933. Вестник МГТУ им. Н.Э. Баумана. Сер. “Приборостроение”. 2007. № 4
