Фазлиев А.З.

Содержание

Слайд 2

История

Проект ATMOS (Intas-(2001-2004))
Проекты РФФИ (6 проектов/10 лет)
Атмосферная спектроскопия, атмосферная радиация, климат и

История Проект ATMOS (Intas-(2001-2004)) Проекты РФФИ (6 проектов/10 лет) Атмосферная спектроскопия, атмосферная
погода, атмосферная химия

Атмосферный аэрозоль

Слайд 3

Проект ATMOS

Структура предметной области

Атмосферная спектроскопия

Атмосферный
аэрозоль

Атмосферная
радиация

Атмосферная
химия

Динамика
атмосферы

Климат и погода

Проект ATMOS Структура предметной области Атмосферная спектроскопия Атмосферный аэрозоль Атмосферная радиация Атмосферная

Слайд 4

Модель процедурной предметной области

Сеть задач
Цепь задач
Типы задач
Вычислительные
Измерительные

Модель процедурной предметной области Сеть задач Цепь задач Типы задач Вычислительные Измерительные

Слайд 5

Задача
(входные и выходные данные)

Модель вычислительной задачи

Задача (входные и выходные данные) Модель вычислительной задачи

Слайд 6

Схема данных
Ограничения (модель предметной области)
Вычисления со значениями данных
Данные – структура, ограничения

Схема данных Ограничения (модель предметной области) Вычисления со значениями данных Данные –
и вычисления

Данные задачи предметной области

Слайд 7

Схемы данных (уровень энергии, квантовые числа (v1, v2, v3, J, ka, kc),

Схемы данных (уровень энергии, квантовые числа (v1, v2, v3, J, ka, kc),
функция потенциальной поверхности, ….)
Ограничения (w<45000 cm-1, ka+kc=J \/ J+1, симметрия молекулы, …)
Вычисления со значениями данных (интегро-дифференциальные, алгебраические и т.д.)

Данные задачи нахождения уровней энергии

Слайд 8

Схема метаданных
Ограничения на значения метаданных
Вычисления, связанные со значениями метаданных
В репозитариях метаданных

Схема метаданных Ограничения на значения метаданных Вычисления, связанные со значениями метаданных В
схемы данных являются данными.

Метаданные задачи

Слайд 9

Схемы метаданных (интенсионалы данных, экстремальные значения данных, нарушения ограничений, …)
Ограничения на значения

Схемы метаданных (интенсионалы данных, экстремальные значения данных, нарушения ограничений, …) Ограничения на
метаданных (нет)
Вычисления, связанные со значениями метаданных (нахождение min, max значений, проверка ограничений, …)

Метаданные задачи нахождения уровней энергии

Слайд 10

Цепь прямых вычислительных задач (вычисление уровней энергии, вычисление частот переходов, вычисление параметров спектральных

Цепь прямых вычислительных задач (вычисление уровней энергии, вычисление частот переходов, вычисление параметров
линий, вычисление спектральных функций)
Цепь обратных вычислительных задач (вычисление параметров спектральных линий, вычисление частот переходов, приписывание квантовых чисел, вычисление уровней энергии)

Модель молекулярной спектроскопии

Слайд 11

Молекула, атом, вакуум, излучение, уровень энергии, квантовое число, частота перехода, интенсивность, сдвиг

Молекула, атом, вакуум, излучение, уровень энергии, квантовое число, частота перехода, интенсивность, сдвиг
линии, коэффициент поглощения, точность измерения частоты перехода, …
Иметь уровень энергии, иметь частоту перехода, ….

Концептуализация молекулярной спектроскопии Глобальные задачи

Слайд 12

Мin (max) значение уровня энергии (вакуумной частоты перехода, J, …), число уровней

Мin (max) значение уровня энергии (вакуумной частоты перехода, J, …), число уровней
энергии (….), авторы, публикация, ….
Иметь Jmax, иметь автора, …..

Концептуализация молекулярной спектроскопии Локальные задачи

Слайд 13

Схема для баз знаний
Ограничения на логику
Логические выводы, семантический поиск, ….
Явная спецификация

Схема для баз знаний Ограничения на логику Логические выводы, семантический поиск, ….
разделяемой концептуализации

Онтологии задач

Слайд 14

Схема для баз знаний (молекула-> уровень энергии -> квантовые числа)
Ограничения на логику

Схема для баз знаний (молекула-> уровень энергии -> квантовые числа) Ограничения на
(SHOIQ)
Автоматизированные логические выводы и семантический поиск

Онтология задачи нахождения уровней энергии

Слайд 15

Схемы данных обеспечивают явную, но не автоматизируемую обработку семантики данных. Интеграция схем

Схемы данных обеспечивают явную, но не автоматизируемую обработку семантики данных. Интеграция схем
данных требует специальных усилий.
Онтологии являются логическими системами, включающими в себя семантику.
Онтологии более часто используются по сравнению со схемами данных
Онтологии децентрализованы по своей природе

Различия (WonderWeb)

Слайд 16

Информационно-вычислительная система

Структура ИВС (слой данных и вычислений, информационный слой, слой знаний)
Ограничения (программное

Информационно-вычислительная система Структура ИВС (слой данных и вычислений, информационный слой, слой знаний)
обеспечение, модель пользователя, …)
Сбор, хранение, доставка и предоставление информационных ресурсов и сервисов

Слайд 17

Проект WonderWeb

Три поколения Web
Ручная запись HTML
Машинная генерация HTML
Машинная генерация семантических аннотаций (Semantic

Проект WonderWeb Три поколения Web Ручная запись HTML Машинная генерация HTML Машинная
Web)

Слайд 18

Проект WonderWeb

Требование к библиотеке
Минимальность
Строгость (точность)
Разделяемость

Проект WonderWeb Требование к библиотеке Минимальность Строгость (точность) Разделяемость

Слайд 19

Проект WonderWeb FOL

DOLCE – descriptive ontology for linguistic and cognitive engineering.
Particular – сущность

Проект WonderWeb FOL DOLCE – descriptive ontology for linguistic and cognitive engineering.
не имеющая индивидов
Universal - сущность имеющая индивиды

Слайд 20

Проект WonderWeb Базовые категории DOLCE

Проект WonderWeb Базовые категории DOLCE

Слайд 21

Проект WonderWeb Endurants and Perdurants

Endurants – сущности находящиеся во времени, но не имеющие

Проект WonderWeb Endurants and Perdurants Endurants – сущности находящиеся во времени, но
зависящих от времени частей.
OWL: Индивид количественные значения свойств которого не изменяются во времени
Perdurants - сущности находящиеся во времени и имеющие зависящие от времени части
OWL: Индивид количественные значения свойств которого изменяются во времени

Слайд 22

Проект WonderWeb Qualities and quality regions

Qualities являются Particulars, Properties являются Universals.
OWL: Subject –

Проект WonderWeb Qualities and quality regions Qualities являются Particulars, Properties являются Universals.
Predicate - Object.
Пример: Predicate = Quality, Predicate-Object = Property
OWL: Quality region = Range
Пример: Цвет
Пространство и время – специальные качества (!?)

Слайд 23

Проект WonderWeb Qualities and quality regions

Два вида неотъемлемости качества: прямая и не прямая

Проект WonderWeb Qualities and quality regions Два вида неотъемлемости качества: прямая и
неотъемлемость.
Perdurants имеют определенную локализацию во времени, но их пространственная локализация определяется не прямым образом.
Endurants (физические) имеют явную локализацию в пространстве, а локализация во времени определяется неявно в зависимости от Perdurants в который они входят.
В онтологии DOLCE для качеств не определено отношение части.

Слайд 24

Проект WonderWeb Базисные аксиомы для примитивов


Проект WonderWeb Базисные аксиомы для примитивов

Слайд 25

Категории верхнего уровня

Решетка категорий

Категории верхнего уровня Решетка категорий

Слайд 26

Описание физических сущностей

Классификация ролей

Описание физических сущностей Классификация ролей

Слайд 27

Описание абстракций

Категории форм

Описание абстракций Категории форм
Имя файла: Фазлиев-А.З..pptx
Количество просмотров: 66
Количество скачиваний: 0