+
Действующая цена700 499 руб.
Товаров:
На сумму:

Электронная библиотека диссертаций

Доставка любой диссертации в формате PDF и WORD за 499 руб. на e-mail - 20 мин. 800 000 наименований диссертаций и авторефератов. Все авторефераты диссертаций - БЕСПЛАТНО

Расширенный поиск

Разработка аппарата формализации измерительных знаний

  • Автор:

    Станкевич, Лариса Станиславовна

  • Шифр специальности:

    05.11.16

  • Научная степень:

    Докторская

  • Год защиты:

    1998

  • Место защиты:

    Санкт-Петербург

  • Количество страниц:

    326 с. : ил.

  • Стоимость:

    700 р.

    499 руб.

до окончания действия скидки
00
00
00
00
+
Наш сайт выгодно отличается тем что при покупке, кроме PDF версии Вы в подарок получаете работу преобразованную в WORD - документ и это предоставляет качественно другие возможности при работе с документом
Страницы оглавления работы

ОГЛАВЛЕНИЕ
ВВЕДЕНИЕ
1. СОВРЕМЕННОЕ СОСТОЯНИЕ ИССЛЕДОВАНИЙ В ОБЛАСТИ ИНТЕЛЛЕКТУАЛЬНЫХ ИЗМЕРИТЕЛЬНЫХ СИСТЕМ
1.1 .Терминологические пояснения
Е2.Оценка возможности и оправданности создания
интеллектуального измерительного средства
1.3.Интеллектуальные системы в области метрологии
1 АКлассификация интеллектуальных систем в области метрологии по кругу решаемых задач
1.5.Классификация интеллектуальных систем в области метрологии
по группе используемых методов
1.6.Классификация интеллектуальных систем в области метрологии
по моделям представления знаний
1.7.Постановка задачи
1.8.Основные результаты, полученные в главе
2. БАЗОВЫЕ ФОРМАЛИЗМЫ ИЗМЕРИТЕЛЬНОГО
МАТЕМАТИЧЕСКОГО ОБЕСПЕЧЕНИЯ ИНТЕЛЛЕКТУАЛЬНЫХ ИЗМЕРИТЕЛЬНЫХ СИСТЕМ
2.1 .Формализмы для представления измерительной цепи
2.1.1 .Использование -исчисления для описания измерительной цепи
2.1 .Использование алгоритмических описаний измерительной
цепи
2.2.Базовые формализмы расчетного оценивания погрешностей
2.2.1 .Исходные положения
2.2.2.Расчетное оценивание характеристик погрешностей
2.2.2.1.Вывод расчетного соотношения на основе представления погрешности в виде суммы компонент
2.2.2.2.Расчетное оценивание характеристик
погрешностей без разделения на компоненты
2.2.3.Постановка задачи разработки измерительного математического обеспечения интеллектуальной измерительной
системы
2.3.Основные результаты, полученные в главе
3. МЕТОДЫ МЕТРОЛОГИЧЕСКОГО АНАЛИЗА В СОСТАВЕ ИЗМЕРИТЕЛЬНОГО МАТЕМАТИЧЕСКОГО ОБЕСПЕЧЕНИЯ
ИНТЕЛЛЕКТУАЛЬНОЙ ИЗМЕРИТЕЛЬНОЙ СИСТЕМЫ
3.1 .Метрологический анализ описаний измерительной цепи с использованием типового -исчисления
3.2.Использование аппарата прослеживания тер-семантики для оценивания характеристик погрешностей
3.3.Постановка задачи прослеживания слабейшего предусловия для выполнения метрологического анализа в интеллектуальных измерительных системах
3.3.1.Особенности описаний измерительных цепей в области
ИнИС
3.3.2.Определение объекта спецификации
3.3.3.Оценка существующих средств составления спецификаций
3.3.4.Обзор существующих средств составления спецификаций
3.3.4.1.Обзор методов описания временных
характеристик
3.3.4.2.Обоснование необходимости применения фреймовых описаний

3.3.4.3.Описание измерительных цепей на разных уровнях абстракции
3.3.5.Постановка метрологического анализа алгоритмического описания измерительной цепи как задачи прослеживания слабейшего предусловия
3.4.Основные результаты, полученные в главе
4. МЕТОД ПАРАЛЛЕЛЬНОГО ПРОСЛЕЖИВАНИЯ СЛАБЕЙШЕГО ПРЕДУСЛОВИЯ - П-МЕТОД КАК МЕТОД МЕТРОЛОГИЧЕСКОГО АНАЛИЗА
4.1 .Преобразование алгоритмических описаний измерительных цепей к виду сети фреймов
4.2.Вычисление слабейшего предусловия для фреймовых описаний
4.3.П-метод прослеживания слабейшего предусловия фреймовых описаний
4.4.Оптимизация базы измерительных знаний
4.5.Прослеживание семантики слабейшего предусловия для описаний с использованием циклических конструкций
4.5.1.Способ вычисления слабейшего предусловия для оператора цикла
4.5.2.Вычисление слабейшего предусловия для циклов с неопределенным числом повторений
4.5.3.Вычисление слабейшего предусловия для бесконечных циклов
4.6.Основные результаты, полученные в главе
5. МЕТРОЛОГИЧЕСКИЙ АНАЛИЗ ОПИСАНИЙ ИЗМЕРИТЕЛЬНЫХ ЦЕПЕЙ С ИСПОЛЬЗОВАНИЕМ СТАНДАРТНЫХ ЭЛЕМЕНТОВ И АНАЛИЗ ПРОЦЕССОРНЫХ ДИНАМИЧЕСКИХ ПОГРЕШНОСТЕЙ

Алабама SESSA (Statistical Expert System for Simulation Analysis) -статистическая экспертная система предназначенная для решения задач моделирования [51,195].
АПСМС - [43] апостериорная прогнозирующая система
метрологического автосопровождения для решения задач метрологической аттестации и сопровождения программ статистической обработки результатов измерений [44]. АПСМС присущи элементы консультирующих систем. В процессе работы система решает задачу выбора оптимального сочетания структуры и метода оценивания параметров интерпретирующей модели для заданной совокупности результатов.
ПЛАНЭКС - система консультации и обучения планирования и анализа эксперимента [51].
DEXTER - [157] система консультации, частично использующая статистические методы. Предназначена для работы в области планирования эксперимента.
SASS - [160] система, обеспечивающая применение статистических методов в области методологии моделирования.
В настоящей работе рассматриваются проблемы, связанные с созданием ИнИС, предназначенных для проведения измерительного эксперимента. Для решения этой задачи ИнИС необходимо решать задачи проектирования, отладки и интерпретации. Кроме того, для обеспечения функционирования ИнИС необходимо решать целый ряд других задач.
1.5.Классификация интеллектуальных систем в области метрологии по
группе используемых методов
В области метрологии основное место занимают так называемые методо-ориентированные статистические экспертные системы. В 1983г

Рекомендуемые диссертации данного раздела

Время генерации: 0.111, запросов: 967