1. Тип объекта - должен иметь уникальное имя и все объекты предметной области могут быть отнесены к одному или нескольким типам.
t0 - тип объекта;
t0t - множество объектов типа t в момент времени t;
Эти множества могут пересекаться, если объект имеет несколько типов.
Тип объекта может сообщаться системе при первом упоминании этого объекта.
Тип объекта может определяться системой на основании свойств объекта с помощью классифицирующих процедур.
Тип объекта может быть автоматически изменен при изменении состояния объекта.
2. Концептуальная схема предметной области - множество типов, снабженное некоторой структурой. Структура на множестве типов задается множеством отношений и операций, определенными на множестве типов.
Обозначим j конечные множества объектов предметной области.
Для некоторого момента времени t можно выделить множество объектов типа (t1)obt и (t2)obt, имеющих определенные соотношения, например:
(t1)obt Ì (t2)obt
(t1)obt Ç (t2)obt = 0
Если такие соотношения являются устойчивыми (не меняются во времени), то эти свойства состояния семантической предметной области.
Соотношения:
1. Родовидовое отношение SUP
t1 sup t2 - t1 является подтипом t2 ((вид) является подтипом (род))
Это соотношение задается между типами объектов. Оно верно, если
" t (t1)obt £ (t2)obt
Эти отношения принято задавать графически. Типы объектов представляются вершинами, а отношения между ними - ребрами.
Например:
sup Помещение sup
Учебное Служебное
помещение помещение
sup sup sup sup
аудитория лаборатория помещение помещение
кафедры деканата
рис.5
Следующая диаграмма описывает набор базовых типов объектов для любой концептуальной модели (См. рис. 6).
Объект
sup sup
Неопределенный Определенный
объект sup объект
sup
Материальный Нематериальный
объект объект
sup sup sup sup sup
имя время понятие ситуация пространство
sup sup
статическая динамическая
sup sup
пост. сит. сост.
sup sup
рис.6 уст. сост. врем. сост.
Тип объекта является общим для всех предметных областей.
2. Отношение частичного порядка PART OF. Модель времени строится на основании конечного множества типов временных интервалов, на которых определено отношение PART OF.
ti PART OF tj
явл. частью
Каждый интервал типа ti является частью одназначно определенного интервала tj.
Время
sup sup
год неделя
PART OF PART OF
месяц
PART OF
сутки
PART OF
час
PART OF
минута
PART OF
секунда
рис. 7
Модель пространства строится на конкретном множестве, так же, как и времени, но по отношению к части окрестности.
(См. рис.8)
пространство
sup sup
страна континент
PART OF PART OF
область регион
PART OF PART OF
населенный
пункт
PART OF PART OF
город деревня
рис.8
... . Комбинированные методы дают дополняющую друг друга информацию, позволяющую произвести правильную идентификации веществ, которые не могут быть опознаны с помощью какого- либо одного метода.[11-12] Глава 3. Примеры применения хроматографии в анализе объектов окружающей среды Анализ состояния водной среды с помощью метода газовой хроматографии[13-15] Метод газовой хроматографии для анализа ...
... Возможность проведения дифференцированного титрования смесей электролитов, что невозможно при титровании с визуальной индикацией конечной точки титрования.[1–3] 2. Примеры использования кондуктометрии в анализе объектов окружающей среды Экспресс методы контроля качества сырья, параметров технологических процессов и готовой продукции в сыроделии [4–8] В сыродельной промышленности, ...
... , что только этих страниц статьи уже достаточно для того, чтобы стала ясна потенциальная научная, научно-практическая и научно-организационная польза рассмотренной нами концептуальной основы современных знаний о природе Мирового океана. Каковы же причины, до сих пор препятствующие превращению этой пользы из потенциальной в реальную? Переходя к ответу на этот вопрос, необходимо учесть следующее: ...
... и ценности являют общий смысл бытия. Поэтому философия в целом – наука о познании, сущности и ценности бытия. При этом человек постигает всю многосложность мира и это отражается на структуре философского знания, где его сердцевиной выступает собственно философия, или общая философия, а частные философские науки предстают как переходные от нее к прочим, частным наукам, изучающим отдельные области, ...
0 комментариев