zhChinese    enEnglish
  ПМ-ПУ  » Образование  » Программы курсов  » Дисциплины специализаций » Основы построения информационных систем

Основы построения информационных систем

Специальный курс

Составитель: к.т.н., доцент Карпов А.Г.

Введение в информационные системы
Понятие об информационной системе. Принципы построения информационных систем. Модели представления знаний. ПРОЛОГ как средство реализации информационных систем.

Логические системы как основа построения решающего модуля информационных систем
Аксиоматическая система исчисления высказываний. Правила вывода исчисления высказываний. Определение выводимости в исчислении высказываний. Эквивалентность формул в исчислении высказываний. Связь между формулами алгебры высказываний и исчисления высказываний. Полнота системы аксиом исчисления высказываний.
Логика предикатов. Основные понятия и обозначения. Приведенная форма. Аксиомы натурального ряда. Проблема разрешения, нормальная форма. Разрешающие формулы. Приведение формул к стандартной форме.

ПРОЛОГ
Форма записи дизъюнктов. Принцип резолюции. Хорновские дизъюнкты. Стратегия ПРОЛОГа для доказательства теорем. Списки, преобразование текстов. Отсечение. Объявление операторов. Функционирование системы ПРОЛОГа на прмере приведения формулы аксиомы полной индукции к стандартному виду.

Предварительная обработка изображений как универсальный элемент информационных систем
Источники изображений. Средства кодирования и регистрации изображений. Математические модели искажений изображений. Пример цифровой регистрации изображений.
Линейная обработка изображений. Обобщенный линейный оператор.
Подавление шумов. Фильтрация: анизотропная, рекуррентная, по К ближайшим соседям, пороговая. Медианная фильтрация: анализ свойств, быстрый алгоритм реализации.
Получение контурных препаратов как средство выделения особенностей и характеристик изображения. Линейный оператор. Оператор Собела. Оператор Робертса.

ОСНОВНАЯ ЛИТЕРАТУРА

  1. Крисевич В.С., Кузьмич Л.А., Шиф А.М. и др. Экспертные системы для персональных компьютеров. Минск: Выш. шк., 1990. 197 с.
  2. Клоксин У., Мелиш К. Программирование на языке Пролог. М.: Мир, 1987. 336 с.
  3. Новиков П.С. Элементы математичсекой логики. М.: Наука, 1973. 400 с.
  4. Хуамг Т.С., Эклунд Дж.-О., Нуссбаумер Г. Дж. и др. Быстрые алгоритмы в цифровой обработке изображений. М.: Радио и связь, 1984. 224 с.
  5. Прэт У. Цифровая обработка изображений. М.: Мир, 1982. Кн. 1. 312 с. Кн. 2. 480 с.
  6. Егоров Н.В., Карпов А.Г. Диагностические информационно-экспертные системы. СПб.: Изд-во С.-Петерб. ун-та,. 480 с.