Элементы формальной теории измерительных информационных систем и ее применение к программированию измерительных процедур

• Автор: Муравьев, Сергей Васильевич
• Шифр специальности: 05.11.05
• Научная степень: Докторская
• Год защиты: 1998
• Место защиты: Томск
• Количество страниц: 303 с. : ил.

ОГЛАВЛЕНИЕ
Введение
Часть 1. Формальная теория ИИС
Г лава 1. Репрезентационный подход в теории измерений
1.1. Основные исходные термины и определения
1.2. Краткая история развития теории измерений и измерительных систем
1.2.1, Этапы развития технической базы ИИС
1.2.2. Развитие теории ИИС
1.3. Исходные математические понятия
1.3.1. Отношения
1.3.2. Отображения
1.4. Основные черты репрезентационного подхода
1.4.1. Репрезентационное определение измерения
1.4.2. Основные типы гикал
1.5. Критический неформальный анализ мнений о репрезентацион-
ном подходе
1.5.1. Крайнее неприятие
1.5.2. Частичное принятие
1.5.3. Нейтральное отношение
1.5.4. Условное принятие I
1.5.5. Условное принятие II
1.5.6. Полное принятие
1.6. Необходимость развития репрезентационного подхода
1.7. Выводы
Г лава 2. Общая задача измерения
2.1. Общая модель измерения
2.2. Объект измерения
2.2.1. Объекты п их свойства
2.2.2. Число уровней описания объекта
2.2.3. Относительный смысл описаний объектов
2.2.4. Введение указания на объект в структуре С-терминов
2.2.5. Формальное описание объекта
2.3. Обоснование выбора типа шкалы, адекватной структуре измеряемых свойств
2.3.1. Выявление, отношения эквивалентности
2.3.2. Выявление отношений частичного и линейного порядков
2.4. Шкала = опорный объект + числовой объект + набор правил
2.4.1. Структура шкалы отношений

2.4.2. Структура шкалы порядка
2.4.3. Структура шкалы наименований
2.5. Общая постановка Задачи Измерения
2.5.1. Постановка задачи
2.5.2. Этапы измерения
2.6. Субъект измерения
2.7. Выводы
Г лава 3. Семантический аспект измерения
3.1. Модель семантики измерения
3.2. Пример объекта измерения
3.3. Семантика измерения в шкале отношений
3.3.1. Состояние знания
3.3.2. Иллюстративный пример
3.3.3. Оценка количества семантической измерительной информации
3.4. Семантика измерения в порядковой шкале
3.4.1. Состояние знания
3.4.2. Иллюстративные примеры
3.4.3. Оценка количества семантической измерительной информации
3.5. Номинальная шкала
3.5.1 Состояние знания
3.5.2. Иллюстративные примеры
3.5.3. Оценка количества семантической измерительной информации
3.6. Количество информации, приносимой результатами измерений в различных шкалах
3.6.1. Формальный анализ
3.6.2. Неформальный анализ
3.7. Выводы
Глава 4. Процедурный аспект измерения
4.1. Формальная модель измерительной процедуры
4.1.1. Шкета отношений
4.1.2. Шкала порядка
4.1.3. Шкала наименований
4.1.4. Сравнительный анализ измерительных процедур
4.2. Практические алгоритмы выполнения измерений
4.2.1. Структурные свойства модели измерительной процедуры
для шкалы отношений
4.2.2. Модель измерительной процедуры второго порядка
для шкалы отношений
4.2.3. Алгоритмы измерения в шкете порядка
4.2.4. Алгоритмы измерения в шкале наименований

4.3. Выводы
Часть 2. Принципы измерительного программирования
Глава 5. Измерительное программное окружение
5.1. Примеры систем измерительного программирования
5.1.1. Системы конца 80-х- начала 90-х годов
5.2.2. Современные системы
5.2. Формирование обобщенной архитектуры измерительного программного окружения
5.2.1. Агенты измерительной процедуры
5.2.2. Архитектура измерительного программного окружения
5.3. Основные методологические принципы измерительного программирования
5.3.1. Графический подход
5.3.2. Объектно-ориентированный подход
5.4. Основные принципы реализации элементов измерительного программного окружения
5.4.1. Генератор записей
5.4.2. Генератор панелей
5.4.3. Генератор драйверов
5.5. Выводы
Г лава 6. Построение языка описания измерительных процедур
6.1. Основные требования к языкам измерительного программирования и их типы
6.2. Текстовый язык, определяемый пользователем
6.3. Графический язык
6.3.1. Схематический вариант графического языка
6.3.2. Иконический вариант графического языка
6.4. Генерация измерительных процедур
6.5. Интерпретация измерительных процедур
6.6. Библиотека типовых программных модулей
6.6.1. Менеджер
6.6.2. Информатор
6. б. 3. Регистратор
6.6.4. Аналитик
6.7. Выводы
Заключение
Литература
Приложение. Акты о внедрении результатов диссертационной работы

im/ = Jf(a) и ker/ = Jrb).
a eA b dm
Таким образом, ядро отображения кег/ это разбиение множества А, индуцированное отношением эквивалентности а~а' таким, что fUty-jla'X а,а'єА.
Существуют различные классы отображений, порождаемые различными соотношениями между мощностями А и В, а также видами отношений на А и В (табл. 1.4).
Таблица
Классы отображений
Класс отображений Обозначе- ние Определение Условие или следствие
Сюръекция (наложение) Sm(A,B) ш/ = В А> В
Инъекция 1 (вложение) щ(АЯ) кег/= 0, т.е. а ф а' <=> Ка) Ф$аг) А < В
Биекция (взаимно однозначный) в ц(а;в) ш / = В и кег / = 0, Т.е. сюръсктивное и инъективное ИИ в
Монотонность ! ! Mon (А В) а < а' <=> Да) 1 Г омоморфизм (на I или в) 1 Нот (А,В) монотонное сюръек-тивное или монотонное инъективное А и В - частично упорядоченные множества
Изоморфизм (взаимно однозначный) Is о(А,В) монотонное биективное А и В — частично упорядоченные множества
Автоморфизм (изо- 1 ; морфизм на себя) и АиХ(А ) Да) = а для всех аеЛ Понятия сюръек-ции, инъекции И ! биекции совпадают
Любое отображение всегда однозначно, то есть не существует элемента ае,4, которому соответствует более одного элемента /(а). При вложении различные элементы множества А переходят в различные элементы множества В. При наложении каждый элемент из В имеет хо-