• Гідрологія і Гідрометрія
• Господарське право
• Економіка будівництва
• Економіка природокористування
• Економічна теорія
• Земельне право
• Історія України
• Кримінально виконавче право
• Медична радіологія
• Методи аналізу
• Міжнародне приватне право
• Міжнародний маркетинг
• Основи екології
• Предмет Політологія
• Соціальне страхування
• Технічні засоби організації дорожнього руху
• Товарознавство продовольчих товарів

Проблема забезпечення сумісності типів даних при зборки КПВ

Це потребує сумісності програм і систем за даними, що передаються між ними. Ці дані описуються МП на основі теорії фундаментальних типів даних (ФТД). Вона базується на формалізованому підході до визначення структур і типів даних шляхом аксіоматизації та правил виконання операцій над їх значеннями. Основу теорії структурної організації даних [1–4] складають типи, операції над ними і форма їх представлення на комп’ютері. Тип – це математичне поняття, яке визначає множину значень елементів. Базовий тип – це елементарний тип (наприклад, ціле, дійсне та ін.), значення якого обумовлюється апаратурою, компіляторами програм з МП та ін. Тип присвоюється змінній, обумовлюючій клас значень, кожне з яких належить одному й тільки одному типу. Операції над значеннями типу – це аксіоми. Кожне визначення типу “будується” за допомогою кінцевого числа операцій (наприклад, операція «+» має різну семантику для змінної, матриць і т.п..) і в пам'яті машини це значення – кінцеве.

Операції над типом – це операції перетворення для відображення значень одного типу в значення іншого типу. Зворотнім для функції перетворення є селектор, тобто функція, що забезпечує вибір компонентів зі структурного або складного типу.

Аксіоматична система включає типи даних (прості, структурні й складні), множину операцій і значень типів даних, їх властивості та зв'язки з іншими типами даних. Прості типи – це перелічувальні типи даних, структурні – це масиви й записи, складні типи – множини, списки, послідовності тощо [7–12].

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

Читайте також:

1. I етап. Аналіз впливу типів ринку на цінову політику.
2. I. Введення в розробку програмного забезпечення
3. II.1 Програмне забезпечення
4. III. Етапи розробки програмного забезпечення
5. IV. Проблема антропогенних змін клімату або «парниковий ефект».
6. Аборт как центральная проблема биоэтики
7. Авалювання векселів. Видача гарантій на забезпечення оплати векселів
8. Автоматизований банк даних (АБД).
9. Адвокатура — неодмінний складовий елемент механізму забезпечення прав людини.
10. Адміністративно-правові методи забезпечення економічного механізму управління охороною довкілля
11. Аксіоматика простих типів даних
12. Аксіоматика структурних і складних типів даних. Структурні типи даних.

Переглядів: 649