Содержание
- 2. История Проект ATMOS (Intas-(2001-2004)) Проекты РФФИ (6 проектов/10 лет) Атмосферная спектроскопия, атмосферная радиация, климат и погода,
- 3. Проект ATMOS Структура предметной области Атмосферная спектроскопия Атмосферный аэрозоль Атмосферная радиация Атмосферная химия Динамика атмосферы Климат
- 4. Модель процедурной предметной области Сеть задач Цепь задач Типы задач Вычислительные Измерительные
- 5. Задача (входные и выходные данные) Модель вычислительной задачи
- 6. Схема данных Ограничения (модель предметной области) Вычисления со значениями данных Данные – структура, ограничения и вычисления
- 7. Схемы данных (уровень энергии, квантовые числа (v1, v2, v3, J, ka, kc), функция потенциальной поверхности, ….)
- 8. Схема метаданных Ограничения на значения метаданных Вычисления, связанные со значениями метаданных В репозитариях метаданных схемы данных
- 9. Схемы метаданных (интенсионалы данных, экстремальные значения данных, нарушения ограничений, …) Ограничения на значения метаданных (нет) Вычисления,
- 10. Цепь прямых вычислительных задач (вычисление уровней энергии, вычисление частот переходов, вычисление параметров спектральных линий, вычисление спектральных
- 11. Молекула, атом, вакуум, излучение, уровень энергии, квантовое число, частота перехода, интенсивность, сдвиг линии, коэффициент поглощения, точность
- 12. Мin (max) значение уровня энергии (вакуумной частоты перехода, J, …), число уровней энергии (….), авторы, публикация,
- 13. Схема для баз знаний Ограничения на логику Логические выводы, семантический поиск, …. Явная спецификация разделяемой концептуализации
- 14. Схема для баз знаний (молекула-> уровень энергии -> квантовые числа) Ограничения на логику (SHOIQ) Автоматизированные логические
- 15. Схемы данных обеспечивают явную, но не автоматизируемую обработку семантики данных. Интеграция схем данных требует специальных усилий.
- 16. Информационно-вычислительная система Структура ИВС (слой данных и вычислений, информационный слой, слой знаний) Ограничения (программное обеспечение, модель
- 17. Проект WonderWeb Три поколения Web Ручная запись HTML Машинная генерация HTML Машинная генерация семантических аннотаций (Semantic
- 18. Проект WonderWeb Требование к библиотеке Минимальность Строгость (точность) Разделяемость
- 19. Проект WonderWeb FOL DOLCE – descriptive ontology for linguistic and cognitive engineering. Particular – сущность не
- 20. Проект WonderWeb Базовые категории DOLCE
- 21. Проект WonderWeb Endurants and Perdurants Endurants – сущности находящиеся во времени, но не имеющие зависящих от
- 22. Проект WonderWeb Qualities and quality regions Qualities являются Particulars, Properties являются Universals. OWL: Subject – Predicate
- 23. Проект WonderWeb Qualities and quality regions Два вида неотъемлемости качества: прямая и не прямая неотъемлемость. Perdurants
- 24. Проект WonderWeb Базисные аксиомы для примитивов
- 25. Категории верхнего уровня Решетка категорий
- 26. Описание физических сущностей Классификация ролей
- 27. Описание абстракций Категории форм
- 29. Скачать презентацию