- •Информационная модель предметной области
- •Моделирование задач на эвм
- •Преобразование информации при решении задачи на эвм
- •Понятие о данных
- •Абстрактные структуры данных
- •Классификация структур данных
- •14101954
- •Абстракция
- •Лекция 6. Види та методи абстракції в програмуванні. Абстракция через параметризацию
- •Абстракция через спецификацию
- •Виды абстракций
- •Лекция 7. Процедурна абстракція. Специфікація процедурної абстракції. Процедурная абстракция
- •Спецификации
- •Спецификации процедурных абстракций
- •Реализация процедур
- •Более обобщенные процедуры
- •Создание процедурных абстракций
- •Заключение
- •Лекция 8. Абстракція даних Абстракции данных
- •Спецификации для абстракций данных
- •Реализация на языке clu
- •Замечания по поводу операций up и down
- •Использование абстракций данных
- •Лекция 9. Реалізація абстракції даних. Функція абстракції. Функція інваріант подання.
- •Функция абстракции
- •Инвариант представления
- •Сохранение инварианта представления
- •Изменяемые представления
- •Параметризованные абстракции данных
- •Будем искать решение нашей задачи в виде цикла, имеющего следующий вид:
Преобразование информации при решении задачи на эвм
-
Материальный мир
Область информации
Область логических данных
Область физических данных
О п и с а н и е
Предметная область (ПО)
Объекты и их свойства.
Информационная модель предметной области (ИМ)
Описание (изображение) предметной области на некотором языке с информационной точки зрения.
Экземпляры информационной модели, атрибуты и их значения.
Абстрактная структура данных
Погрузить информационную модель в абстрактную структуру данных.
Логические записи и элементы данных.
Конкретные структуры данных в языке программирования
Реализация структуры данных в языке программирования.
Физические записи и способы их хранения в оперативной памяти.
П р и м е р ы
масса
ускорение
сила
цвет
…
ІІ Закон Ньютона
цвет - красный
F=m*a
(обозначение и способ интерпретации)
Информационное сообщение: цвет шарика - красный
F := massa *
* uskor
или
massa:= F / uskor
cvet := red
0
0
0
0
0
0
1
1
(1) (3)
(2)
1)Изучение (этап преобразования из ПО в ИМ)
Результат: постановка задачи.
2)Проектировка ( этап преобразования из ИМ в область логич. данных)
Результат: проект (алгоритм + структура данных).
3) Реализация Результат: программа.
Материальный мир Область информации Область логических данных Область физических данных
Предметная область Информационная модель Совокупность логических записей Совокупность физических записей
Объекты и их свойства Описание предметной Логическая запись представляет Физическая запись представляет собой
области на некотором собой совокупность взаимосвязанных совокупность взаимосвязанных данных,
языке элементов данных хранящихся определенным образом
на физическом носителе
Терминология
Объект экземпляр модели логическая запись физическая запись
Свойство атрибут элемент данных поле носитеся
Пример 1
Второй закон Hьютона
( ) F=m*a, F := Massa*Uskor, Hа физическом уровне мы
I--- масса должны расположить эти переменные
I--- сила т.е. для записи отноше- т.е. мы можем на основе на некотором носителе и выбрать способ
I--- ускорение ний между массой, силой этого закона предсказывать представления их зачений (систему
и ускорением здесь ис- изменение силы на основе кодировки)
Второй закон Hьютона пользован язык математики. знаний о массе и ускорении.
утверждает, что сила Свойства объекта заменены Здесь F, Massa и Uskor -
пропорциональна обозначениями атрибутов и это переменные, используемые
массе и ускорению задана интерпретация этих в алгоритме. Этот закон можно
обозначений использовать и в другом виде.
Пример 1,
Massa := F/Uskor
Пример 2
Шарик
( )
I--- цвет
Состояние шарика - Информационное сообщение: Последовательность символов на Состояние поля носителя информации:
он красный шарик красный логическом уровне: Red 00000011
Возникает необходимость связать значения этих атрибутов с устойчивыми состояниями некоторой среды хранения. Так мы приходим к понятию «данные»