Теорія інтегрованих композиційно-номінативних моделей програм
Дослідження методів обчислюваності програм, які узагальнюють традиційні підходи до неї. Описання класів обчислюваних функцій і композицій над номінативними даними різних рівнів абстракції і загальності, побудування алгебраїчних представлень таких класів.
Подобные документы
Призначення і область застосування баз даних. Технології доступу до даних. Схема обміну даними при роботі. Використання архітектури клієнт-сервер. Реляційна модель даних. Засоби мови структурованих запитів. Структура таблиці та її зовнішні ключі.
реферат, добавлен 26.10.2012- 102. Розв’язання алгебраїчних та тригонометричних рівнянь методом ділення навпіл та методом ітерацій
Суть методів визначення коренів рівнянь. Обчислення коренів поліномів та власних чисел матриць. Побудова графіків розв'язку системи диференціальних рівнянь. Методика наближення функцій методом поліноміальної регресії та сплайнів за допомогою Mathcad.
лабораторная работа, добавлен 23.10.2020 Аналіз комп’ютерних інструментів програм динамічної математики, які використовуються під час розв’язування задач, а також інструментів, на які може спиратися вчитель у навчанні математики. Опис зауважень щодо застосування комп’ютерних інструментів.
статья, добавлен 28.08.2016Аналіз та обґрунтування методів і алгоритмів автоматизованого виділення окремого дерева в лісовому масиві за даними лідарної зйомки. Розрахунок морфоструктурних параметрів деревостану: кількості дерев на одиницю площі, середніх значень висоти дерев.
статья, добавлен 05.12.2018Описання предметної області "Телефонний довідник коледжу" та основні етапи: визначення сутностей та їх опис, визначення взаємозалежностей між ними, фізична структура таблиць бази даних, описання функцій користувача. Приклад роботи програми: лістинг.
практическая работа, добавлен 30.05.2014Опис предметної галузі застосування програмного забезпечення. Характеристика специфічних просторів імен, класів та функцій при роботі з системними процесами. Особливості демонстраційного інтерфейсу програмного забезпечення, значення програмного коду.
курсовая работа, добавлен 20.08.2017Роль і місце комп’ютерних графічних технологій у процесі підготовки майбутніх фахівців з дизайну. Необхідність педагогічної доцільності їх застосування як засобу навчання та об’єкту вивчення. Процес розробки системи графічних комп’ютерних програм.
автореферат, добавлен 27.08.2013- 108. Експертні системи
Дослідження експертних систем, програм, які пропонують рекомендації, проводять аналіз, виконують класифікацію, ставлять діагноз. Вивчення евристики, сукупності логічних прийомів і методологічних правил теоретичного дослідження, методики пошуку доведення.
реферат, добавлен 03.03.2011 Аналіз сучасних моделей і методів побудови та інтеграції автоматизованих систем життєвого циклу виробів промислових підприємств машинобудівної галузі. Програмні засоби аналітичного дослідження технологічних процесів підприємств та методи їх вдосконалення.
автореферат, добавлен 28.09.2015Процес передачі даних в комп’ютерній мережі, їх апаратна реалізація. Функції протоколів різних рівнів: фізичного, канального, мережевого, транспортного. Процес класифікації комп’ютерних мереж. Головні вимоги до сучасних технологій обміну даними.
курсовая работа, добавлен 09.12.2013Уточнення вимог до програмного продукту. Об’єктно-орієнтований аналіз, визначення класів та методів. Основні правила написання коду у середовищі Java. Проблематика визначення бажаного інтерфейсу користувача. Загальна схема функціонування системи.
курсовая работа, добавлен 05.01.2014Розробка методів бінарного розрідженого розподіленого представлення та обробки інформації про прецеденти і аналоги. Дослідження методу пошуку схожих бінарних розріджених розподілених представлень за допомогою нейромережевої авто-асоціативної пам'яті.
автореферат, добавлен 29.09.2014Розгляд основних можливостей проблемно-орієнтованих програм. Загальна характеристика табличного процесора MS Excel, визначення його призначення та принципів роботи. Аналіз базових функцій табличних процесорів. Опис засобів робочого вікна MS Excel.
реферат, добавлен 31.03.2014Аналіз сучасних soft-продуктів, позиціонованих у глобальній мережі Internet. Використання безкоштовно розповсюджуваних soft-продуктів із відкритими програмними кодами задля вирішення завдань самоосвіти згідно робочих навчальних програм за спеціальністю.
статья, добавлен 14.07.2016Комплексний розгляд програм для роботи з аудіоінформацією (звуком). Простір для комбінацій різноманітних задач в галузі синтезу звуку. Забезпечення можливості запису аудіо та збереження на диск. Способи створення різних звукових ефектів, фільтрація.
статья, добавлен 26.04.2024Дослідження правил розв’язання системи лінійних алгебраїчних рівнянь методом Гауса, який полягає в зведенні квадратної системи до трикутного вигляду з використанням алгоритму послідовного виключення невідомих. Триангуляція матриці. Обчислення розв’язку.
лабораторная работа, добавлен 18.01.2013Програмне забезпечення для проведення імітаційного моделювання телекомунікаційних мереж. Переваги застосування таких програм в порівнянні з побудовою мережі. Застосування програмного продукту Riberbed Modeler Academic Edition в навчальних закладах.
статья, добавлен 27.07.2016Виявлення особливостей і значення комунікативної спрямованості композиційно-графічного моделювання інтернет-медій. Обґрунтування поняття комунікативної спрямованості композиційно-графічного моделювання. Визначення її ролі, значення, мети й завдання.
статья, добавлен 05.03.2018Обчислення координати контрольних точок до сформованого зображення заданого геометричного перетворення. MATLAB як пакет прикладних програм для вирішення завдань технічних обчислень і однойменний мова програмування, що використовується в цьому пакеті.
курсовая работа, добавлен 14.12.2015Необхідність розробки інструментарія моделювання і оптимізації у вигляді науково-методологічних положень, математичних моделей, алгоритмів, програм. Системний аналіз рівня планування і управління підприємствами з багатоваріантними структурами виробництва.
автореферат, добавлен 18.11.2013Розробка класу Basic Calculator для обчислення арифметичних виразів, будування графіків функцій, виконання додавання та віднімання у виразі шляхом знаходження індексу. Функції калькулятора. Обчислення складних виразів, що передбачають використання дужок.
статья, добавлен 26.10.2020Дослідження функціональних можливостей розроблених методів моделювання багатовимірних залежностей на прикладі розв’язання складної задачі медичного діагностування (гіпотиреозу). Характеристика генетичного алгоритму для налаштування нечітких моделей.
автореферат, добавлен 27.08.2014Особливість можливостей застосування апарату автоматизованих систем багаторівневого перетворення інформації для моніторингу пожежної безпеки. Аналіз перевірки шансу використання системи залишкових класів для забезпечення швидкості розрахунку моделей.
статья, добавлен 26.07.2016Аналіз методів та засобів моделювання поведінки систем автоматичного керування. Дослідження моделі засобу, що реалізує процес моделювання, розробка його складових частин. Розробка обчислювальної схеми та програм моделювання систем автоматичного керування.
автореферат, добавлен 28.09.2015Порівняльний аналіз і класифікація методів формальних специфікацій щодо паралелізму за критеріями: класи задач, складність методів, ступінь автоматизації, зв’язок моделі з реальними програмами. Композиційно-номінативна мова, модель серверного середовища.
автореферат, добавлен 28.08.2014