Теорія інтегрованих композиційно-номінативних моделей програм
Дослідження методів обчислюваності програм, які узагальнюють традиційні підходи до неї. Описання класів обчислюваних функцій і композицій над номінативними даними різних рівнів абстракції і загальності, побудування алгебраїчних представлень таких класів.
Подобные документы
Аналіз блок–схем програм сортування. Визначення недоліків використання моделей абстрактних алгоритмів в умовах бурхливого розвитку комп’ютерної техніки. Дослідження взаємозалежності характеристик складності варіантів побудови вузлів асоціативної пам’яті.
автореферат, добавлен 25.02.2015Адміністративні засади використання міжнародної технічної допомоги в Україні. Аналіз позиції українських вчених і підходи міжнародних донорських організацій до визначення змісту поняття сталості результатів роботи міжнародних програм технічної допомоги.
статья, добавлен 02.10.2022Вибір та систематизація методів аналітичного перетворення математичних моделей динамічних об’єктів. Сутність, реалізація методів аналітичного та апроксимаційного перетворення, створення структури пакету комп’ютерних програм, їх специфіка та використання.
автореферат, добавлен 28.08.2015Підвищення ефективності обчислювальної техніки. Використання методів статичної й динамічної верифікації у системах проектування паралельних програм. Побудова графа за допомогою засобів автоматичної візуалізації. Перевірка семантичної коректності структур.
статья, добавлен 10.06.2024Аналіз ефекту від програм-архіваторів. Розгляд основ роботи з програмою WinRAR, складу її меню, панелі інструментів, рядку стану та робочої області. Вивчення програм PKZIP та PKUNZIP, можливостей використання програм-архіваторів та режимів їх роботи.
реферат, добавлен 20.05.2014Висвітленння питання використання сучасних тестових програм. Аналіз роботи декількох програм-оболонок. Основний набір визначень та термінів з питань охорони навколишнього середовища. Проведення контролю знань та тренінгів учнів. Складання бази даних.
статья, добавлен 30.09.2018Особливості тривимірного моделювання одягу на основі графічних редакторів 3D графіки. Використання спеціалізованих програм для створення 3D моделей одягу. Ознайомлення з інтерфейсом та програмними можливостями програм Tailotnova та Marvelous designer.
статья, добавлен 30.07.2024Тенденції розвитку сучасних СППРЕБ, інтеграція прикладних програм і основні особливості типових програмних реалізацій математичних моделей СППРЕБ. Розробка спеціалізованої мови програмування для формалізації різних аспектів інтеграції моделей у СППРЕБ.
автореферат, добавлен 07.11.2013Рефакторинг – процес зміни програмної системи, за якої не змінюється зовнішня поведінка коду але покращується його внутрішня структура. Діаграма класів — метод статичного представлення структури моделі. Особливості застосування шаблону проектування.
курсовая работа, добавлен 19.11.2020Загальні теоретичні відомості про зміст програмного середовища Borland С++ Builder. Моделювання блок-схеми алгоритму для обчислення об’єму умовного усіченого циліндра. Особливості виконання на комп’ютері найпростіших програм на мові програмування С+.
лабораторная работа, добавлен 06.11.2014Розробка обліково-аналітичної класифікації програм, що забезпечує необхідні передумови для формування дійової методики бухгалтерського відображення та економічного аналізу процесу їх створення. Облікове відображення виділених видів комп'ютерних програм.
статья, добавлен 31.01.2018- 37. Розробка методів та програмного інструментарію створення прикладних програм для мобільних систем
Прикладні програми для мобільних систем, які враховують особливості апаратно-програмних платформ і спеціалізованих систем на їх основі. Побудова моделі прикладних програм. Перевірка її несуперечності на області програмного каркаса операційної системи.
автореферат, добавлен 29.08.2014 Утиліта для обчислення арифметичних дій та тригонометричних функцій. Інтерфейс користувача. Характеристика роботи програми. Використання вбудованих функцій. Опис всіх розроблених класів та функцій. Код програми. Програмування С++ із використанням WinApi.
курсовая работа, добавлен 30.05.2018Розгляд ознак при яких необхідно проводити рефакторинг баз даних. Особливість зміни структур однієї чи декількох таблиць або представлень. Модифікація збережених процедур, функцій та тригерів направлених на оптимізацію та покращення якості їх виконання.
статья, добавлен 09.10.2018Обґрунтування гіпотез теорії алгебраїчних кривих і геометрії чисел, проведення їх дослідження, порівняльний аналіз із відомими методами. Основи автоматизації обґрунтування гіпотез, застосування розроблених методів, алгоритмів, комп’ютерних систем.
автореферат, добавлен 29.07.2014Порядок використання точок відновлення системи для збереження комп'ютера від негативних наслідків різних програм-твикеров, невдалої деінсталяції програм. Створення контрольної точки відновлення. Скасування змін, внесених під час відновлення системи.
доклад, добавлен 28.01.2014Аналіз існуючих методів та алгоритмів відновлення та доповнення втраченої інформації в інтегрованих автоматизованих системах управління (ІАСУ). Розробка універсальної інтелектуальної компоненти для всіх рівнів ІАСУ та адаптація її для задач енергетики.
статья, добавлен 14.09.2016Розробка та рекомендації з практичної реалізації моделей, алгоритмів управління матеріальними, інвестиційними, інформаційними, трудовими та інтелектуальними потоками. Вдосконалення ресурсного забезпечення науково-дослідних програм моніторингу довкілля.
автореферат, добавлен 14.09.2014Розробка ігрових програм для мобільних платформ. Дослідження інструментарію реалізації ігрових програм для ОС Android з використанням Android Studio на прикладі розробки програми "Скарби нації". Можливості Android Studio для розробки ігрових додатків.
статья, добавлен 22.07.2024Основні особливості роботи в середовищі Turbo Pascal, загальні прийоми роботи з текстовим редактором. Аналіз методів налагоджування програм отримання навичок зі складання простих програм. Технологія отримання навичок по складанню найпростіших блок-схем.
контрольная работа, добавлен 10.11.2011Дослідження методів і алгоритмів оптимального розподілення потоків різних класів сервісу. Вибір пропускних спроможностей каналів зв'язку в мережах з технологією MPLS. Розробка комплексу підвищення ефективності використання комунікаційних ресурсів мереж.
автореферат, добавлен 29.08.2014Аналіз тенденцій розвитку сучасних СППРЕБ, методи інтеграції прикладних програм і основні особливості типових програмних реалізацій математичних моделей СППРЕБ. Розробка спеціалізованої мови програмування для формалізації різних аспектів інтеграції.
автореферат, добавлен 21.11.2013Порядок и методика розробки програм, які використовують взаємодію програмних модулів на різних мовах програмування: низького рівня (Асемблер) та високого (С та Паскаль). Розробка структури програми, вибір змінних, особливості взаємодії мов програмування.
реферат, добавлен 14.02.2009Вивчення будови персональної електронно-обчислювальної машини. Написання програм з використанням умовних та циклічних операторів. Рішення алгебраїчних і трансцендентних рівнянь в середовищі Matlab. Загальні відомості про програмний комплекс Simulink.
методичка, добавлен 15.09.2017Дослідження використання у навчальному процесі підготовки бакалаврів та магістрів з маркетингу пакету прикладних програм на основі мови програмування Object Pascal в системі Delphi - для розв’язання комплексу типових задач маркетингового управління.
статья, добавлен 29.09.2012