Теорія інтегрованих композиційно-номінативних моделей програм
Дослідження методів обчислюваності програм, які узагальнюють традиційні підходи до неї. Описання класів обчислюваних функцій і композицій над номінативними даними різних рівнів абстракції і загальності, побудування алгебраїчних представлень таких класів.
Подобные документы
Характеристика існуючих когнітивних моделей сприйняття і уваги, які беруть участь в діалоговому процесі. Розробка інтегрованих об’єктно-орієнтованих моделей типу сприйняття-увага. Дослідження програмового прототипу когнітивної моделі діалогового агента.
автореферат, добавлен 07.08.2014Розгляд особливостей впровадження програмних продуктів Autodesk у процес підготовки інженерів-механіків на кафедрі електронного машинобудування. Описання процедури налаштування мережевої версії для комп’ютерних класів та домашнього комп’ютера студента.
статья, добавлен 26.01.2017Проблема процесу розробки графічної системи для різних мобільних пристроїв на базі операційної системи Android. Головні особливості середовища програмування Androidstudio. Опис основних методів і класів графічної системи і їх реалізація в проекті.
дипломная работа, добавлен 08.10.2015Особливості розробки програм в середовищі Delphi 7 на мові Object Pascal. Розробка програми для вводу, зберігання, опрацювання інформації. Стадії, етапи розробки програмного продукту, вимоги до нього. Розробка інструкції для оператора та програміста.
отчет по практике, добавлен 11.04.2018Розробка формалізованих алгоритмів автоматизованих кінематичних розрахунків просторових механізмів, створення операторних функцій їх реалізації. Комплекс програм для реалізації алгоритмів за допомогою операторних функцій. Ідентифікація кінематичних пар.
автореферат, добавлен 05.01.2014Роль професійних інтернет-сайтів, професійних співтовариств, соціальних мережевих сервісів, вебінарів, програм для миттєвого обміну повідомленнями, ігрових програм-симуляторів, курсів у формуванні умінь самоосвітньої діяльності майбутніх фахівців.
статья, добавлен 29.10.2020Виявлення особливостей застосування 3D-моделювання у сучасній дизайн-освіті. З’ясування переваг і недоліків комп’ютерних програм для тривимірного моделювання, які застосовуються в дизайн-освіті, проблеми, які можуть виникати під час освоєння програм.
статья, добавлен 30.03.2023Розгляд задачі оцінки часу виконання програм для спеціалізованих комп’ютерних систем. Модель роботи програми у вигляді поглинаючого марківського ланцюга із дискретними станами і дискретним часом. Блок-схема алгоритму програми та її інтерпретація графом.
статья, добавлен 28.02.2016BIOS як набір програм введення-виведення, взаємодія операційної системи і прикладних програм з різними пристроями як комп'ютера. Програма тестування при включенні живлення комп'ютера POST. Управління чіпсетом та компонентами і ресурсами системної плати.
курсовая работа, добавлен 04.06.2013Дослідження питання використання сучасних комп'ютерно-інтегрованих методів і алгоритмів в інтелектуальних системах підтримки прийняття рішень при управлінні складними слабко формалізованими технологічними процесами з використанням прогнозуючих моделей.
статья, добавлен 13.08.2016Система обробки наукових даних. Borland C++ Builder - засіб швидкої розробки програм. середовище розробки C++ Builder. Основні прийоми проектування користувацького інтерфейсу програми для обробки візитних карток з можливістю її графічної інтерпретації.
курсовая работа, добавлен 15.09.2008Пропозиція нових алгоритмів та програм для автоматизованого комп'ютерного проектування плоских обводів другого порядку гладкості. Структурно-параметричне конструювання та оптимізація складних геометричних об'єктів у літакобудуванні на прикладі фюзеляжу.
автореферат, добавлен 13.10.2013Недоліки неформального опису мов програмування. Синтаксис мови SIPL. Дерево синтаксичного виводу програми. Теорема про нерухому точку. Побудова семантичного терму. Визначення композиції циклу. Властивості програмних алгебр. Визначення класів функції.
шпаргалка, добавлен 19.01.2016Розробка структури веб-сайту, послідовність дій по його створенню. Підтримка та оновлення сайту. Опис професійних і спеціалізованих програм, що використовуються для виготовлення та роботи професійних сторінок. Функції персонального веб-сайту вчителя.
статья, добавлен 16.07.2017Аналіз можливостей здійснення фінансового обліку за допомогою програм автоматизації обліку витрат та калькулювання собівартості продукції агарних підприємств. Порівняння характеристик програм українських виробників за можливостями і галузевою специфікою.
статья, добавлен 24.04.2024Описання середовища мови програмування С++. Стандарт мови, інсталювання середовища та інтерфейс програми С++. Структура програми в середовищі С++, групи символів та поняття алгоритму. Використання прикладних програм. Робота із програмою Turbo C++.
курсовая работа, добавлен 08.06.2017- 92. Криві Без'є
Стандарт програмного інтерфейсу для апаратури, яка створює графіку. Криві Без'є як один з найголовніших інструментів систем проектування і програм комп'ютерної графіки. Розрахунок стикових функцій Без`є і генерація двовимірного кубічного сплайну.
контрольная работа, добавлен 01.02.2011 Загальні умови, що визначають практичну стійкість широкого класу геш-функцій, які базуються на регістрах зсуву, відносно атак, спрямованих на побудування колізій їх стискувальних функцій. Розв’язання автоматних рівнянь відносно двійкових невідомих.
статья, добавлен 25.03.2016Дослідження класів нечітких моделей шляхом введення означень. Формальний опис нечітких відповідностей і нечітких графів реальних процесів у системах управління літальними апаратами. Наведення основних формальних операцій над нечіткими відповідностями.
статья, добавлен 14.07.2016Підходи до моделювання технологічних процесів, етапи створення математичних моделей і комп'ютерне моделювання технологічних процесів. Стрибок в розробці моделей, їх верифікації, в створенні і використанні модельно-обгрунтованих методів дослідження.
статья, добавлен 05.02.2019Аналіз математичного підходу та особливостей використання нечітких моделей для опису об’єктів житлового середовища. Дослідження основних характеристик параметрів якості житлового середовища, типів шкал їх вимірювання і методів побудови функцій належності.
статья, добавлен 27.07.2016Варіантний аналіз сучасних методів та засобів проектування програмного забезпечення автоматизованих систем управління. Розробка алгоритмічного забезпечення. Аналіз результатів і дослідження ефективності програми. Інструкція програміста і користувача.
курсовая работа, добавлен 17.02.2010- 98. Моделі та методи автоматизації прийняття рішень з управління основною діяльністю страхової компанії
Розробка аналітичних моделей для прогнозу показників страхової діяльності. Ідентифікація параметрів моделей і перевірка їх адекватності. Аналіз алгоритмів і програм функціонування автоматизованої системи управління основною діяльністю страхової компанії.
автореферат, добавлен 25.02.2015 Головні завдання керівництва організації замовника і розробника. План постановки завдання замовником інформаційної системи. Стандартні пакети програм автоматизації бізнесу. П'ять типових рівнів рішень, пропонованих на ринку комп'ютерних технологій.
доклад, добавлен 09.07.2017Характеристика існуючих моделей надійності програмних систем. Розроблення алгоритмів та програм їх реалізації. Впровадження запропонованих підходів, моделей та методик інженерії тестування в проекти з розроблення програмних систем оброблення даних.
автореферат, добавлен 30.07.2014