На головну

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

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

1) Предметна галузь "Об'єми тіл правильної форми".

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

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

Дано: безліч тіл і їх типів, значення характеристик тел.

Знайти: обсяг кожного тіла.

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

5) Систему понять предметної області утворюють такі поняття: "кулі", "радіус", "куби", "довжина ребра", "прямокутні паралелепіпеди", "ширина", "довжина", "висота", "тіла", "обсяг ". Обсяг поняття "кулі" складається з кінцевих підмножин структурних об'єктів, що мають одну і ту ж структуру, т. Е. Це поняття відповідає розрідженим безлічам. Атрибутами цих структурних об'єктів є "радіус" і "обсяг". Атрибут "радіус" є функцією, яка відображає куля в певний позитивний елемент замкнутої системи розмірних значень, що мають розмірність "м". Атрибут "обсяг" є функцією, яка відображає куля в певний позитивний елемент системи розмірних значень, що мають розмірність "м3". Обсяг поняття" куби "складається з кінцевих підмножин структурних об'єктів, що мають одну і ту ж структуру, т. Е. Це поняття відповідає розрідженим безлічам. Атрибутами цих структурних об'єктів є" довжина ребра "і" обсяг ". Атрибут" довжина ребра " є функцією, яка відображає куб в певний позитивний елемент системи розмірних значень, що мають розмірність "м". Атрибут "обсяг" є функцією, яка відображає куб в певний позитивний елемент системи розмірних значень, що мають розмірність "м3". Обсяг поняття" прямокутні паралелепіпеди "складається з кінцевих підмножин множини структурних об'єктів, т. Е. Це поняття відповідає розрідженим безлічам. Атрибутами цих структурних об'єктів є" довжина "," ширина "," висота "і" обсяг ". Атрибути" довжина "," ширина "," висота "є функціями, які відображають прямокутний паралелепіпед в певні позитивні елементи системи розмірних значень, що мають розмірність" м ". Атрибут" обсяг "є функцією, яка відображає прямокутний паралелепіпед в певний позитивний елемент системи розмірних значень, що мають розмірність "м3". Поняття" тіла "відповідає об'єднаної величиною, елементами якої є структурні об'єкти з різною структурою.

6) Прикладна логічна теорія має назву "Об'єми тіл правильної форми". При її побудові використовуються стандартне розширення ST і спеціалізоване розширення "Інтервали". Запишемо теорію на мові прикладної логіки.

Об'єми тіл правильної форми (ST, Інтервали)

6.1) pi ? 3.1415

пропозиція визначає значення терміна, позначеного "pi"

6.2) сорт кулі: {} N

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

6.3) сорт куби: {} N

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

6.4) сорт прямокутні паралелепіпеди: {} N

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

6.5) сорт радіус: (кулі ® R [0, ?])

атрибут "радіус" моделюється кінцевим відображенням, областю визначення якої є безліч - значення терміна "кулі", а областю значень - безліч невід'ємних дійсних чисел

6.6) сорт довжина ребра: (куби ® R [0, ?])

атрибут "довжина ребра" моделюється кінцевим відображенням, областю визначення якої є безліч - значення терміна "куби", а областю значень - безліч невід'ємних дійсних чисел

6.7) сорт ширина: (прямокутні паралелепіпеди ® R [0, ?])

атрибут "ширина" моделюється кінцевим відображенням, областю визначення якої є безліч - значення терміна "прямокутні паралелепіпеди", а областю значень - безліч невід'ємних дійсних чисел

6.8) сорт довжина: (прямокутні паралелепіпеди ® R [0, ?])

атрибут "довжина" моделюється кінцевим відображенням, областю визначення якої є безліч - значення терміна "прямокутні паралелепіпеди", а областю значень - безліч невід'ємних дійсних чисел

6.9) сорт висота: (прямокутні паралелепіпеди ® R [0, ?])

атрибут "висота" моделюється кінцевим відображенням, областю визначення якої є безліч - значення терміна "прямокутні паралелепіпеди", а областю значень - безліч невід'ємних дійсних чисел

6.10) тіла ? кулі E куби E прямокутні паралелепіпеди

моделлю обсягу поняття, позначеного терміном "тіла", є об'єднання множин обсягів понять, позначених термінами "кулі", "куби" і "прямокутні паралелепіпеди"

6.11) сорт обсяг: (тіла ® R [0, ?])

атрибут "обсяг" моделюється кінцевим відображенням, областю визначення якої є безліч - значення терміна "тіла", а областю значень - безліч невід'ємних дійсних чисел

6.12) (v: тіла) обсяг (v) = / (v I кулі ? 4/3 * (радіус (v) 3) * pi), (v I куби ? довжина ребра (v) 3), (v I прямокутні паралелепіпеди ? довжина (v) * ширина (v) * висота (v)) /

пропозиція задає зв'язок між атрибутами

6.13) (v: кулі) радіус (v)> 0

пропозиція уточнює область значень відображення, позначеного терміном "радіус"

6.14) (v: куби) довжина ребра (v)> 0

пропозиція уточнює область значень відображення, позначеного терміном "довжина ребра"

6.15) (v: прямокутні паралелепіпеди) довжина (v)> 0 & ширина (v)> 0 & висота (v)> 0

пропозиція уточнює область значень відображень, позначених термінами "довжина", "ширина" і "висота"

7) Запишемо програму на алгоритмічній мові програмування, який допускає безлічі елементів будь-якого типу даних

безліч (рядки): Кулі, куби, прямокутні паралелепіпеди;

введення : Кулі, куби, прямокутні паралелепіпеди;

масив[Кулі] вещ : Радіус;

введення : Радіус;

масив[Куби] вещ : Довжина ребра;

масив[Прямокутні паралелепіпеди] вещ : ширина довжина висота;

введення : Радіус, довжина ребра, ширина, висота, довжина;

об'єднання (кулі, куби, прямокутні паралелепіпеди): тіла;

для v I тіла виполнітьеслі v I кулі тоді обсяг [v] = 4/3 * (радіус [v] 3) * pi; якщо v I куби тоді обсяг [v] = довжина ребра [v] 3; якщо v I прямокутні паралелепіпеди тоді обсяг [v] довжина [v] * ширина [v] * висота [v];

для v I тіла виполнітьвивод: "Обсяг тіла", v, "дорівнює", обсяг;

Запишемо програму на алгоритмічній мові програмування Паскаль. Для моделювання структурних об'єктів будемо використовувати тип даних "запис з варіантами".

Program об'еми_тел;

Type

TBodyType = (кулі, куби, прям_парал);

TBody = record

ІмяТела: string [8];

ТіпТела: TBodyType;

Атрибути: record case BodyType: TBodyType of

кулі: (кулі: record радіус: Real; end);

куби: (куби: record дліна_ребра: Real; end);

прям_парал: (прям_парал:

record

ширина, довжина, висота: Real;

end);

end; end;

TbodySet = array [1..10] of TBody;

Var МножТел: TbodySet;

Numb: byte;

Об'емиТел: array [1..10] of real;

Procedure ввод_тела (var numb: byte);

Var name: string [8]; BodyType: byte;

Begin

Repeat

Writeln ( 'введіть назву тіла або *, якщо всі тіла');

Readln (name);

If name <> '*' then numb: = numb + 1;

Repeat

Writeln ( 'введіть тип тіла');

Writeln ( '1: куля');

Writeln ( '2: куб');

Writeln ( '3: прямокутний паралелепіпед');

Readn (BodyType);

Until not (BodyType in {1, 2, 3};

With МножТел [numb] do begin

ІмяТела: = name;

ТіпТела: = bodyType;

Case BodyType of

1: begin ТіпТела: = кулі;

writeln ( 'задайте радіус');

readln (Атрибути. кулі. радіус);

end;

2: begin ТіпТела: = куби;

writeln ( 'задайте довжину ребра');

readln (Атрибути. куби. дліна_ребра);

end;

1: begin ТіпТела: = прям_парал;

writeln ( 'задайте ширину,

висоту і довжину ');

readln (Атрибути. прям_парал. ширина,

Атрибути. прям_парал. висота,

Атрибути. прям_парал. довжина,);

end;

end;

end;

Until (name = '*');

End;

Begin

numb: = 0;

Ввод_тела (numb);

For i: = 1 to numb do

With МножТел [i] do begin

If ТіпТела = кулі then Об'емиТел [i]: = 4/3 * pi *

Атрибути. кулі. радіус * Атрибути. кулі. радіус * Атрибути. кулі. радіус;

If ТіпТела = куби then Об'емиТел [i]: =

Атрибути. куби. дліна_ребра *

Атрибути. куби. дліна_ребра *

Атрибути. куби. дліна_ребра;

If ТіпТела = прям_парал then Об'емиТел [i]: =

Атрибути. прям_парал. висота *

Атрибути. прям_парал. довжина *

Атрибути. прям_парал. ширина;

End;

End.

7. Тема "Послідовності". Обов'язковою для виконання є одне із завдань по даній темі. Ніяких обмежень на вибір завдання немає.

7.1. "Послідовності загального вигляду". План відповіді:

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

2) характеристика професійної діяльності в цій галузі;

3) постановка всіх класів завдань, що вирішуються в ході цієї професійної діяльності;

4) замкнуті системи величин послідовностей предметної області і їх обгрунтування;

5) система понять предметної області, відповідних послідовностей, і її обгрунтування;

6) прикладна логічна теорія, що моделює цю систему понять;

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

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

7.2. "Стеки". План відповіді:

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

2) характеристика професійної діяльності в цій галузі;

3) постановка всіх класів завдань, що вирішуються в ході цієї професійної діяльності;

4) замкнуті системи величин стеків предметної області і їх обгрунтування;

5) система понять предметної області, відповідних стека, і її обгрунтування;

6) прикладна логічна теорія, що моделює цю систему понять;

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

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

7.3. "Черги". План відповіді:

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

2) характеристика професійної діяльності в цій галузі;

3) постановка всіх класів завдань, що вирішуються в ході цієї професійної діяльності;

4) замкнуті системи величин черг предметної області і їх обгрунтування;

5) система понять предметної області, відповідних черг, і її обгрунтування;

6) прикладна логічна теорія, що моделює цю систему понять;

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

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

7.4. "Декі". План відповіді:

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

2) характеристика професійної діяльності в цій галузі;

3) постановка всіх класів завдань, що вирішуються в ході цієї професійної діяльності;

4) замкнуті системи величин деков предметної області і їх обгрунтування;

5) система понять предметної області, відповідних декам, і її обгрунтування;

6) прикладна логічна теорія, що моделює цю систему понять;

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

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



Тема "Структурні об'єкти". | Приклад 1. Стеки.

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

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