Пример выполнения задания. 1) Предметная область "Вычисление массы тела"

1) Предметная область "Вычисление массы тела".

2) Профессиональная деятельность в этой предметной области состоит в решении задачи вычисления массы тел, изготовленных из разных материалов. Характеристикой материала является химическое вещество.

3) В предметной области решается задачи одного класса. Приведем постановку задач данного класса.

Дано: объем тела и вещество, из которого оно сделано

Найти: массу тела

4) В данной предметной области используется замкнутая система скалярных значений "железо", "медь", "серебро", "золото", простые системы размерных значений, имеющие размерности "см³", "г".

5) Размерными понятиями данной предметной области являются "объем" и "масса". Объем понятия "объем" состоит из положительных размерных значений, имеющих размерность "см³". Объем понятия "масса" состоит из положительных размерных значений, имеющих размерность "г". Скалярным понятием данной предметной области является "вещество"; его объем есть множество скалярных значений {железо, медь, серебро, золото}.

6) Прикладная логическая теория имеет название "Массы тел". При ее построении используются стандартное расширение ST и специализированное расширение "Интервалы". Запишем теорию на языке прикладной логики.

Массы тел(ST, Интервалы)

6.1) сорт объем: R[0,¥]

моделью объема понятия, обозначенного термином "объем", является множество неотрицательных целых чисел; значением этого термина в логической модели является элемент этого множества

6.2) сорт масса: R[0,¥]

моделью объема понятия, обозначенного термином "масса", является множество неотрицательных целых чисел; значением этого термина в логической модели является элемент этого множества

6.3) сорт вещество: {железо, медь, серебро, золото}

моделью объема понятия, обозначенного термином "вещество", является множеством скалярных значений: железо, медь, серебро, золото; значением этого термина в логической модели является элемент этого множества

6.4) масса = объем * / (вещество = железо => 7.9), (вещество = медь => 8.1), (вещество = серебро => 10.5), (вещество = золото => 19.3) /

предложение задает связь между значениями терминов

6.5) объем > 0

объем не может иметь значение, равное 0

6.6) масса > 0

масса не может иметь значение, равное 0

7) Запишем программу на языке Паскаль для решения задач предметной области. Все размерные понятия моделируются в программе переменными вещественного типа, а скалярные – переменными, имеющими тип "перечисление".

Program Массы;

var объем, масса: real;

вещество: (железо, медь, серебро, золото);

pl: real; (* вспомогательная переменная *)

{ описание процедуры ввода значения вещества }

procedure ввод_значения_вещества;

{ в данном языке элементы типа "перечисление" }

{ не имеют внешнего представления }

{ поэтому ввод скалярного значения заменяется }

{ вводом строки или числа }

var vv: byte;

begin

{ ввод исходных данных до тех пор, пока не будут заданы правильные значения}

repeat

writeln('введите вещество: 1- железо, 2 – медь, 3 – серебро,

4 – золото');

readln (vv);

if (vv < 1) or (vv > 4) then writeln("неправильное задание вещества");

until (vv >= 1) and (vv<=4);

case vv of

1: вещество:= железо;

2: вещество:= медь;

3: вещество:=серебро;

4: вещество:= золото;

end;

end;

{ основная программа }

begin

repeat

writeln('введите значение объема');

readln (объем);

if объем <= 0 then writeln("объем задан не правильно");

until объем > 0;

ввод_значения_вещества;

{ в данном языке нет условных выражений, }

{ но есть условные операторы }

{ вычислим значение вспомогательной переменной }

if вещество = железо then pl:= 7.9;

if вещество = медь then pl:= 8.4;

if вещество = серебро then pl:= 10.5;

if вещество = золото then pl:= 19.3;

{ вычисление массы тела }

масса:= объем * pl;

writeln ("масса = ", масса);

end.

9) Ситуация предметной области имеет вид: объем 1 см³, вещество медь, масса 8.4 г

Логическая модель представляется с использованием предложений-описаний значений имен языка прикладной логики:

объем º 1

вещество º медь

масса º 8.4

Память имеет несколько состояний: в начальный момент до выполнения ввода значения всех идентификаторов не определены, после выполнения ввода неопределенным остается значение идентификатора "масса" и "pl", при правильных исходных данных в конце работы программы состояние памяти имеет вид: pl: 5, объем: 1, вещество: медь, масса: 8.4

3. Тема "Множества"

3.1. "Конечные множества". План ответа:

1) название и характеристика предметной области;

2) характеристика профессиональной деятельности в этой предметной области;

3) постановка всех классов задач, решаемых в ходе этой профессиональной деятельности;

4) замкнутые системы конечных множеств предметной области и их обоснование;

5) система понятий предметной области, соответствующих конечным множествам, и ее обоснование;

6) прикладная логическая теория, моделирующая эту систему понятий;

7) программы (на любом языке программирования, но с комментариями!) решения всех классов задач профессиональной деятельности

8) привести пример ситуации предметной области, записать логическую модель, описать состояния памяти.

3.2. "Разрежённые множества". План ответа:

1) название и характеристика предметной области;

2) характеристика профессиональной деятельности в этой предметной области;

3) постановка всех классов задач, решаемых в ходе этой профессиональной деятельности;

4) замкнутые системы разреженных множеств предметной области и их обоснование;

5) система понятий предметной области, соответствующих разреженным множествам, и ее обоснование;

6) прикладная логическая теория, моделирующая эту систему понятий;

7) программы (на любом языке программирования, но с комментариями!) решения всех классов задач, указанных в п.3.

8) привести пример ситуации предметной области, записать логическую модель, описать состояния памяти.