Головна

Приклад виконання завдання

  1. B. Приклад аналізу.
  2. I частина завдання
  3. I. Завдання для самостійної роботи
  4. I. Методичні вказівки для виконання контрольних робіт
  5. I. Цілі і завдання виконання контрольної роботи
  6. II частина завдання
  7. II. ПОРЯДОК ВИКОНАННЯ ДИПЛОМНОГО ПРОЕКТУ

1) Предметна галузь "Обчислення маси тіла".

2) Професійна діяльність в цій предметній області полягає у вирішенні завдання обчислення маси тіл, виготовлених з різних матеріалів. Характеристикою матеріалу є хімічна речовина.

3) У предметної області вирішується завдання одного класу. Наведемо постановку завдань даного класу.

Дано: об'єм тіла і речовина, з якого вона зроблена

Знайти: масу тіла

4) У даній галузі використовується замкнута система скалярних значень "залізо", "мідь", "срібло", "золото", прості системи розмірних значень, що мають розмірності "см3"," Г ".

5) розмірності поняттями даної предметної області є "обсяг" і "маса". Обсяг поняття "обсяг" складається з позитивних розмірних значень, що мають розмірність "см3". Обсяг поняття" маса "складається з позитивних розмірних значень, що мають розмірність" г ". Скалярним поняттям даної предметної області є" речовина "; його обсяг є безліч скалярних значень {залізо, мідь, срібло, золото}.

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 см3, Речовина мідь, маса 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) привести приклад ситуації предметної області, записати логічну модель, описати стан телефону.

Приклад виконання завдання | Приклад виконання завдання.


ОСНОВИ АНАЛІЗУ І ФОРМАЛІЗАЦІЇ ІНФОРМАЦІЇ | ВСТУП | Приклад виконання завдання по темі "Обробка інформації". | Приклад виконання завдання | Тема "Структурні об'єкти". | Приклад виконання завдання | Приклад 1. Стеки. | Приклад 2. Декі. |

© 2016-2022  um.co.ua - учбові матеріали та реферати