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