Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
db.docx
Скачиваний:
5
Добавлен:
01.03.2025
Размер:
1.16 Mб
Скачать

Метод, позволяющий определить сериализуемость расписания.

Строится ориентированный граф , который называется графом предшествований, узлы которого соответствуют транзакциям. Определим дуги графа:

Пусть , где действие вида : LOCK (1)

или : UNLOCK (2),

и указывает транзакцию, к которой относится данный шаг.

Для , имеющего вид (2) ищем действие вида: : LOCK . Если оно существует, то строим дугу из в . Интуитивный смысл этой дуги заключается в том, что в любом последовательном расписании, эквивалентном , должно предшествовать . Если в графе имеется цикл, то не сериализуемо.

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

Транзакции, в которых все операции блокирования предшествуют всем операциям разблокирования, называются двухфазными. Первая фаза называется фазой блокировки, а вторая – фазой разблокирования.

Теорема: Любое расписание двухфазных транзакций является сериализуемым.

Алгоритм проверки сериализуемости расписания.

Алгоритм построения последовательности транзакций начинается с создания узла в графе для каждой транзакции.

Пусть и – транзакции, которые блокируют один и тот же элемент (в разное время). Пусть FIRST( ) – первый из элементов, блокируемых транзакцией . При независимости FIRST( ) и FIRST( ) (ни один не является потомком другого), протокол для дерева гарантирует, что и не блокируют общего узла и и .

Если FIRST( ) является предком FIRST( ), то: если блокирует FIRST( ) перед тем как это делает , строим ; в противном случае .

Билет 45. Экспертные системы. Основные понятия и определения.

ИИ – область информатики, кот. Занимается разработкой интеллектуальных программных систем, которые могут выполнять функции, присущие человеческому разуму. Это понимание речи, моделирование человеческого мышления при решении различных задач.

Периоды исследование ИИ:

  1. Классический – сер 50х – сер 60х – период игр и доказательства теории. Любая проблема рассматривалась через 3 составляющих:

  1. Исходное состояние проблемы

  2. Проверка, получено решение или нет

  3. Множество операций, позволяющих получать новое состояние проблемы

Пространство состояний мб представлено в виде графа.

Пример – составление анаграмм (из a, c, t: a –ac, ca – tca ,cta…) поиск решения: в глубину, в ширину.

Эвристика помогает судить, какое из состояний на данном шаге лучше.

  1. Сер 60х – сер 70х – романтический период. Человек хочет разговаривать с машиной. Сформирована система представления знаний в виде порождающих правил, которая легла в основу ЭС.

  2. Сер 70х – сер 80х исследования, посвященные ЭС. Данные системы должны принимать решения в некоторой предметной области на основе накопленного человеком опыта

  3. Сер 80х – наст вр статистический и вероятностный подходы выбора информации

Экспертные системы – это наиболее распространенный класс интеллектуальных систем, ориентированный на тиражирование опыта высококвалифицированных специалистов в областях, где качество решения зависит от уровня экспертизы (медицина, АСУ, исследование ископаемых)

С хема:

Решатель

Инт-с польз-ля БЗ Редактор БЗ

Подсистема

Пользователь объяснений Эксперт Инженер по знаниям

Интерфейс пользователя – это набор программ, который позволяет ему общаться с экспертной системой

Пользователь – недостаточно квалифицированный специалист некоторой предметной области

Решатель (машина вывода) – это правило, которое определяет выводы и действия, основываясь на знаниях, хранящихся в базе знаний

Подсистема объяснений позволяет объяснить рекомендованное решение

База знаний – часть системы, в которой знания представлены на языке представления знаний, приближенном к естественному

Редактор БЗ – набор программ, который позволяет инженеру по знаниям заполнить БЗ

Эксперт может общаться с редактором, чтобы убедиться в правильности зависимостей в предметной области

Инженер по знаниям (аналитик) – это специалист в области ИИ

Эксперт – это высококвалифицированный специалист в рассматриваемой предметной области.

Билет 46. Экспертные системы. Классификация ЭС.

  1. По решаемой задаче выделяют:

  • Интерпретация данных – это процесс, определяющий смысл даны, результаты которого должны быть согласованными и корректными;

  • Диагностика – соотнесение объекта к некоторому классу объектов или определение неисправности (неисправность трактуется как отклонение от нормы);

  • Мониторинг – это непрерывная интерпретация данных в реальном времени и сигнализация о выходе параметров за допустимые пределы

  • Проектирование – понимается подготовка спецификаций на создание объекта с заранее определенными свойствами

  • Планирование – определение последовательности действий для некоторого объекта в соответствии с его функциональностью

  • Прогнозирование – в зависимости от данных определяется последствие и поведение объектов; данная модель основывается на длинах параметр модели, в которых значения параметров подгоняются под ту или иную ситуацию

  • Обучение – это система, которая позволяет с помощью ЭВМ обучить той или иной дисциплине;

  • Управление- функция системы, позволяющая поддерживать определенную деятельность;

  • Поддержка принятия решений – это совокупность процедур, которая обеспечивает необходимой информацией принимающего решение.

Обычно такие системы включают подсистемы объяснений, которые позволяют мотивировать то или иное решение задачи синтеза.

  1. По связи с реальным временем:

  • Статистические – в таких системах данные постоянны во времени

  • Квазидинамические – данные меняются с некоторым интервалом во времени

  • Динамические – непрерывно изменяются в реальном времени

  1. По типу используемой ЭВМ

  • Применение сетевой ЭВМ

  • ЭВМ средней производительности

  • Символические процессоры и рабочие станции

  • Обычные ПК

  1. По интеграции с другимипрограммными средствами

  • Автономные

  • Гибридные – в них применяются статистические программные пакеты, системы БД, информационные системы

Билет 47. Представление знаний. Продукционные модели.

Знания – данные + связи между ними

Знания – совокупность закономерностей и связей между объектами, полученных в результате мыслительной деятельности человека, осуществляющего некоторую практическую деятельность.

Этапы обработки знаний:

  1. хранение в памяти человека;

  2. на материальных носителях – формирование поля знаний

  3. представление знаний на языке представления знаний и базы знаний

Знания: глубинные и поверхностные

Глубинные – абстрактная структура, которая позволяет представить процессы, протекающие в некоторой предметной области

Поверхностные – знания о видимых взаимосвязях и взаимоотношениях между объектами

ЭС опираются на поверхностные знания

Знания: процедурные и декларативные

Процедурные – в коде для изменения надо изменить процедуру, декларативные – хранить отдельно в БЗ

Модели представления знаний

Продукционные модель – в ее основе лежат порождающие правила вида если <условие>то<действие>

80% ЭС основаны на этой модели

Для поиска решения может использоваться прямой и обратный ход

Прямой ход на основании имеющихся фактов получается решение

Обратный – предполагается, что данный вариант явное решение и ищутся факты, подтверждающие это

Билет 48. Представление знаний в ЭС. Семантические сети.

Граф, вершинами которого являются понятия, а дугами – связи или отношения между ними. Классифицировать данную модель можно

  1. по типу использования отношений

  • бинарное

  • N-арное

  1. По числу исп. Отношений

  • Однородное

  • Неоднородное

В качестве отношений могут применяться:

  • Элемент класса

  • Имеет свойство

  • Значение свойства

  • Часть целого

  • Функциональное отношение

Такая модель наиболее близка организации памяти человека

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]