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