информация, язык, интеллект № 3 (77) 2011

С. В Кузьменко
на основании визуальных представлений объектов
Obi этой системы, то есть их планов отображения
l k f
По = { По, По, По}
, а проверка правильности комплексирования
– на основании совместимости
j j j
их функций преобразования F : X → Y , то есть
l k f
планов содержания Пc = { Пc, Пc, Пc}
Теорема 8. Пороги вычисления уровней идеографического
элемента Igi (структурного или
l k f
функционального) одинаковы: p = p = p .
Доказательство. Так как каждый уровень
идеографического элемента Igi (структурного или
функционального) представляет одну и ту же функ-
j j j
ции преобразования Y = F ( X ), но в разном виде
(логическом, концептуальном и физическом), пороги
вычисления уровней идеографического элемента
Igi (структурного или функционального) не
могут быть не одинаковы.
Теорема 9. Между входными переменными
уровней идеографического элемента Igi (струк-
l k f
турного или функционального) X = { X , X , X }
l k f
и выходными результатами Y = { Y , Y , Y } существует
взаимно однозначное соответствие.
Доказательство. Так как каждый уровень
идеографического элемента Igi (структурного
или функционального) представляет одну и ту же
j j j
функцию преобразования Y = F ( X ), но в разном
виде (логическом, концептуальном и физическом),
между входными переменными уровней
идеографического элемента Igi (структурного или
l k f
функционального) X = { X , X , X } и выходны-
l k f
ми результатами Y = { Y , Y , Y } не может не существовать
взаимно однозначное соответствие.
Теорема 10. Множество идеографических элементов
Igi (структурных и функциональных), которые
описывают идеографическую модель Mg
системы S , не содержит двух идеографических
элементов, которые имеют одинаковые планы ото-
l k f
бражения По = { По, По, По}
, планы содержания
l k f
Пc = { Пc, Пc, Пc}
и множества переменных X, Y ,
то есть:
∀i ∈n∃! Ig ,
68
( Igi )≠ ( Ig( −i)
)∨ ( Igi )≠ ( Ig(
−i)
)∨
AIgiA( Ig(
−i)
)∨ B( Igi )≠ B( Ig(
−i)
).
П П П П
о о c c
∨ ( )≠
Доказательство. Согласно определению 4
идеографический элемент Igi описывает только
один определенный объект Obi реальной системы,
то есть Igi ≡ Оbi
. Поэтому если предположить, что
имеется больше одного идеографического элемента
Igi , которые имеют одинаковые планы ото-
l k f
бражения По = { По, По, По}
, планы содержания
l k f
Пc = { Пc, Пc, Пc}
и множества переменных X, Y ,
то это означало бы, что нарушено определения 4 и
неправильно сформирован состав идеографических
элементов Igi идеографической модели Mg
системы S .
i
3. Информационная технология идеографического
описания систем
Представленные в работе теоретические основы
идеографического метода позволяют реализовать
информационную технологию описания широкого
класса систем на основе идеограмм (рис. 2).
Основными объектами этой технологии являются:
– пользователь (а) идеографического описания
системы;
– проектировщик (в) идеографических элементов
описания системы;
– идеографическая модель системы (с);
– инструментальное средство (d), используемое
при создании идеографических элементов;
– реестр идеографических элементов (е).
Рис. 2 . Контекстная схема информационной
технологии идеографического моделирования систем
Информационная технология реализуется
следующим образом: пользователь (а) и проектировщик
(в), используя язык спецификаций Я с ,
определяют требования к идеографическому моделированию
(описанию) той предметной области
(системы), в которой работает пользователь. Проектировщик
(в), используя язык проектирования
Я пр и инструментальное средство (d), выполняет
создание идеографических элементов описания
системы и размещает их в реестре (е). Проектировщик
(в) при отладке идеографических элементов
описания системы использует язык Я и создания
идеографической модели системы (с) и язык команд
Я к для управления процессом использования
идеографической модели системы (с).
Пользователь (а), используя язык идеографического
описания Я ио , имеет возможность анализировать
состав реестра идеографических элементов
(е) и, используя язык описания идеографической
модели Я и системы (с), создает идеографическую
модель (с), а используя язык команд Я к управляет
процессом использования идеографической модели
системы (с).
Выводы
Разработанные теоретические основы идеографического
описания систем позволяют оперировать
с системой на основе образов (плана отобра-