МАРК РЕГНЕРУС ДОСЛІДЖЕННЯ: Наскільки відрізняються діти, які виросли в одностатевих союзах
РЕЗОЛЮЦІЯ: Громадського обговорення навчальної програми статевого виховання ЧОМУ ФОНД ОЛЕНИ ПІНЧУК І МОЗ УКРАЇНИ ПРОПАГУЮТЬ "СЕКСУАЛЬНІ УРОКИ" ЕКЗИСТЕНЦІЙНО-ПСИХОЛОГІЧНІ ОСНОВИ ПОРУШЕННЯ СТАТЕВОЇ ІДЕНТИЧНОСТІ ПІДЛІТКІВ Батьківський, громадянський рух в Україні закликає МОН зупинити тотальну сексуалізацію дітей і підлітків Відкрите звернення Міністру освіти й науки України - Гриневич Лілії Михайлівні Представництво українського жіноцтва в ООН: низький рівень культури спілкування в соціальних мережах Гендерна антидискримінаційна експертиза може зробити нас моральними рабами ЛІВИЙ МАРКСИЗМ У НОВИХ ПІДРУЧНИКАХ ДЛЯ ШКОЛЯРІВ ВІДКРИТА ЗАЯВА на підтримку позиції Ганни Турчинової та права кожної людини на свободу думки, світогляду та вираження поглядів Контакти
Тлумачний словник |
|
|||||||
Перебудова загальних типів даних до фундаментальних для МПСутність проблеми. Поняття «тип даних» виник ще в 70-роках 20 сторіччя, як формальний механізм опису і тлумачення даних, з якими працює кожна програма. Сформувалась аксіоматика фундаментальних типів даних, яка використовується і зараз. Програмування в МП пов’язано з типами даних, які необхідні для вирішення задач і отримання результатів. Тип – це математичне поняття, що позначає множину значень елементів. Тип даних – це набір різних значень з певними властивостями та виконуваними над цими значеннями операціями. Базовий тип даних є елементарним типом (ціле, дійсне, символьне та ін.), значення якого визначається апаратурою, компіляторами з МП та ін. Тип присвоюється змінній у програмі в МП для завдання класу значень, кожне з яких належить одному і тільки одному типу. Операції над значеннями типу є аксіоми, що виконують функції відображення значень одного типу в значення іншого типу [3, 4]. Кожне значення типу будується за допомогою кінцевого числа операцій (наприклад, операція «+» має різну семантику для змінної, матриць і т.п.) і в пам'яті машини це значення – кінцеве. Типи призначені для опису функцій і програм в МП, реалізуються системами програмування на різних платформах комп'ютерів у вихідному коді, який служить джерелом не лише для виконання програми на цій МП, але і для забезпечення інтераперабельності в різноманітних сучасних середовищах, що відрізняються між собою. Кожна реалізована програма відображає використовуваний тип даних конкретної МП, значення якого може передаватися іншій програмі за допомогою апарату виклику (звернень, повідомлень) і використовується при обчисленні програми [1]. Операції над типом – це операції перетворення чи відображення значень одного типу в значення іншого типу за допомогою функцій селектора, яка забезпечує вибір елементів даних із структурного або складного типу. Головним питанням даної проблеми є теоретичні і прикладні аспекти використання даних у МП і необхідного перетворення фундаментальних типів даних (Fundamentals data types – FDT) нееквівалентних між собою даних в МП (вирішених міжмовним і між модульним інтерфейсом у [4]) та генерації загальних типів даних (General Data Types – GDT) нового стандарту ISO/IEC 11404 –2007 до типів даних FDT в МП, а саме: – аналіз властивостей FDT, що широко використовуються у всіх мовах програмування (МП) для їх оброблення у відповідному середовищі; – розгляд особливостей загальних типів даних GDT стандарту ISO/IEC 11404 та механізмів генерації примітивних і складних типів даних (портфель, контейнер тощо); – розроблення підходу до перебудови GDT <=> FDT, – співставлення загальних типів даних з ФДТ МП С++, Java і побудови примітивів чи функцій перетворення несумісних типів даних цих мов для сучасних середовищ; – розробка посередника на прикладі програм в С++ та Java для перебудови не релевантних типів даних, що можуть передаватися між цими програмами. Поряд з теорією FDT виникло поняття загальних типів даних для опис даних у різних сферах інформаційній обробки. Розроблено стандарт ISO/IEC 11404 –2007 (перша версія 1996), який запропонував не тільки нові загальні типи даних, але і засоби генерації їх до фундаментальних і зовсім нових. Підхід до реалізації засобів стандарту для генерації GDT<=>FDT.З практичної точки зору загальні типи даних GDT можливо генерувати до фундаментальних типів даних FDT за допомогою спеціального набору процедур (функцій), який специфічний для різних комп’ютерних систем. Запропонована схема генерації GDT<=>FDT (рис.1) [6].
Рис.1.. Загальна схема перебудови ФДТ <=> GDT Основні функції для генерації типів даних GDTВідповідно спроектованої нами схеми генерації необхідно розробити набір бібліотек функцій (процедур) у загально прийнятій мові Java, XML для застосування їх при відображенні різних типів даних у програмах в сучасних або в майбутніх МП. Це такі функції: – перебудови типів даних МП1, …, МП n; – подання типів даних FDT; – представлення GDT для оброблення з апробованої схеми ФДТ; – відображення GDT<=>FDT. Теорія подання ФДТ була нами розроблена і реалізована у вигляді бібліотеки функцій перебудови між собою типів даних FDT для класу МП 4GL [4, 5]. Для реалізації даного набору функцій для ФДТ <=> GDT і GDT<=>FDT необхідно провести: 1) створення бібліотеки функцій для перетворення типів даних GDT (примітивних, агрегатних і генерованих) до FDT типів даних (простим, структурним і складним) МП, як необхідних елементів середовища взаємодії різномовних компонентів, підсистем і системи Grid; 2) специфікацію зовнішніх типів даних компонентів, підсистем і систем в МП засобами мови GDT із накопиченням їх в одному з репозитарієв середовища розроблення програмних продуктів (наприклад, на деякої фабрики); 3) розробка формату нових посередників подібно stub з операціями звертання до відповідних функцій GDT<=>FDT з метою передачі даних взаємодіючому компонентові й зворотно перебудованих типів даних до висхідного вигляду.. Таким чином, проблема збирання різнорідних компонентів у нових МП з урахуванням архітектур платформ і середовищ в майбутньому, на наш погляд, буде вирішуватися на знову розроблених інструментах і засобах із перебудови типів даних GDT<=>FDT. Проведена апробація набору примітивних функцій трансформації складних типів даних (масив, черга, стек, комплексне число, вектор) до простих FDT на технологічної лінії інструментально-технологічного комплексу (ІТК) веб-сайта (http://sestudy.edu-ua.net). та на студентської фабрики програм КНУ (http://programsfactory.univ.kiev.ua), що підтримує концепцію зборочного конвеєра академіка Глушкова і сучасних фахівців (Дж.Грінфілда, Г.Ленца, І.Бейю, М.Фаулера і др.) [7]. Приклади трасфломації типів даних містяться у ІТК, які можна дивитися у розділі 4. Читайте також:
|
||||||||
|