Теорія інтегрованих композиційно-номінативних моделей програм
Дослідження методів обчислюваності програм, які узагальнюють традиційні підходи до неї. Описання класів обчислюваних функцій і композицій над номінативними даними різних рівнів абстракції і загальності, побудування алгебраїчних представлень таких класів.
Подобные документы
Описання архітектури практичної реалізації обчислювальних схем функцій ризику розладнання на основі запропонованої моделі у програмному пакеті. Дослідження програмного пакету, який працює по принципу клієнт-сервер. Аналіз класів модуля управління даними.
статья, добавлен 28.01.2017Систематичний дескриптивний, алгоритмічний та метричний аналіз комбинаторно-алгебраїчних моделей автоматного типу деяких класів ін’єктивних дискретних перетворювачів інформації. Дослідження класу лінійних автоматів з позиції модельних задач криптографії.
автореферат, добавлен 14.08.2015Процеси, пов’язані зі створенням комп’ютерних програм. Вироблення навиків практичного використання інтегрованих середовищ програмування з метою створення, виконання та відлагодження програм на мові Cі. Визначення інженерії програмного забезпечення.
лабораторная работа, добавлен 12.11.2022- 4. Розробка інтегрованих алгебро-алгоритмічних моделей: елементи теорії, інструментарій, застосування
Огляд багатопоточних засобів мов програмування. Аналіз інтегрованого інструментарію синтезу алгоритмів і програм на основі алгебро-алгоритмічних моделей. Створення алгебро-алгоритмічних моделей програм для розв’язання задач символьної мультиобробки.
автореферат, добавлен 23.08.2014 Розробка декількох програм на мові C++ на базі класів з різними типами конструкторів. Дослідження основних питань передачі об'єктів з головної функції в підпрограми-функції і навпаки. Приведення та опис кодів запропонованих програмних розробок.
статья, добавлен 30.10.2020Розробка методу синтезу формальних моделей комп’ютерних програм на основі семантичних анотацій їх елементів. Розробка методу навчання інтелектуальної системи синтезу семантичних моделей програм. Структура онтології для системи синтезу моделей програм.
автореферат, добавлен 26.08.2015Вивчення основних понять об'єктно-орієнтованого програмування. Методика створення об'єктів і побудови програм. Опис класів, конструкторів, деструкторів і метод-процедур у Delphi та Object Pascal у складі інтерфейсного та реалізаційного розділів модуля.
лабораторная работа, добавлен 19.03.2011Існуючі підходи до моделювання інтелектуальної діяльності: символьний та нейромережевий. Дослідження методів формування бінарних розріджених розподілених представлень інформації та методів її обробки. Характеристика методу грубого кодування Prager.
автореферат, добавлен 29.08.2014Виконання програми на стороні сервера. Пакування – модифікація збірки таким чином, що на виході одержується WinAPI додаток, що містить в собі модуль для розпаковування і запакований IL-код. Суть процесу обфускації. Перейменування класів та методів.
статья, добавлен 30.01.2017Визначення поняття віруси та їх класифікація. Розгляд принципу дії антивірусних програм і вимоги до них. Аналіз видів антивірусів та функцій сканування. Вивчення методів протидії комп’ютерним вірусам. Короткий огляд та список антивірусних програм.
реферат, добавлен 20.05.2014Дослідження головних першопорядкових композиційно-номінативних логік часткових однозначних, тотальних неоднозначних та часткових неоднозначних квазіарних предикатів. Розробка та аналіз основних методів розширення цих логік узагальненими реномінаціями.
статья, добавлен 28.02.2016Можливості використання наявних чисельних методів аналізу моделей. Розробка алгоритмів адаптації методів для типових класів моделей заданої предметної області. Дослідження працездатності розроблених симуляторів та алгоритмів їхнього функціонування.
автореферат, добавлен 30.08.2014Характеристика рекордерів цифрового аудіо. Аналіз функцій та інтерфейсу програм для написання музики. Опис принципу роботи програм-аналізаторів та реставраторів аудіо. Характеристика трекерів та програм для копіювання цифрового звуку з компакт-дисків.
реферат, добавлен 11.01.2017- 14. Адаптивна інформаційна технологія діагностування комп'ютерних систем на наявність троянських програм
Розробка поведінкових моделей троянських програм шляхом урахування їхнього функціонального навантаження. Розробка адаптивної інформаційної технології діагностування комп'ютерних систем на наявність троянських програм та дослідження її ефективності.
автореферат, добавлен 12.07.2015 Аналіз дослідження апаратно-програмних моделей комп'ютерного алгоритму - SH-моделей алгоритму. Основні принципи побудови псевдо SH-моделі комп'ютерного алгоритму та її застосування для дослідження програм сортування та вузлів асоціативної пам'яті.
автореферат, добавлен 29.09.2015Характеристика класу як це спеціальної конструкції, яка використовується для групування пов'язаних змінних та функцій. Основні принципи об’єктно-орієнтованого програмування. Класи та екземпляри класів. Інтерфейс та реалізація, спадкування реалізації.
реферат, добавлен 22.12.2019Характеристика основних класів алгоритмів компонування й розміщення, використання поняття теорії графів для опису моделей конструкції електронної обчислювальної апаратури, вирішення основних завдань конструювання з використанням прикладних програм.
контрольная работа, добавлен 25.11.2010Вивчення принципів к упорядкування даних за певною ознакою. Дослідження умов сортування. З’ясування сутності його видів: методів бульбашки та Шелла, швидкого, вибором і вставками. Розгляд алгоритмів, створення програм мовою Microsoft Visual C++.
курсовая работа, добавлен 20.08.2017Основна методика використання типу String. Головна характеристика процедур і функцій обробки строкових змінних. Особливість визначення на множинному типі найбільш поширених теоретико-множинних операцій і відношень. Аналіз прикладу написання програм.
лабораторная работа, добавлен 25.11.2014Ефективність застосування відновлювальних засобів із використанням мультимедійних релаксаційних програм у фізичному вихованні студентів спеціальної медичної групи. Огляд методів відновлення працездатності. Аналіз комп’ютерних програм для релаксації.
статья, добавлен 29.01.2016Аналіз сучасного стану технологій програмування та графічний інтерфейс в програмному забезпеченні. Створення програмної оболонки для пошуку двох трикутників з найменшими тупими кутами, її структура даних та функцій. Модульність в реалізації програм.
контрольная работа, добавлен 25.03.2010Методологія формування бази даних еталонних шаблонів SQL-запитів різних класів, що використовує метод ієрархічної кластеризації і транзакції стандартів ради засобів обробки транзакцій — Transaction Processing Council. Програмний модуль класифікації.
статья, добавлен 30.07.2016Призначення програм-архіваторів як програмного забезпечення, що використовується для стиснення інформації. Загальна характеристика по використанню програм-архіваторів. Приклади використання програм. Приклади результатів архівування даних різного формату.
реферат, добавлен 13.11.2013Аналіз блок–схем програм сортування. Визначення недоліків використання моделей абстрактних алгоритмів в умовах бурхливого розвитку комп’ютерної техніки. Дослідження взаємозалежності характеристик складності варіантів побудови вузлів асоціативної пам’яті.
автореферат, добавлен 25.02.2015Методологія вирішення проблем комп'ютерної переробки інформації на основі теоретико-категорних представлень, алгебраїчних теорій та розробка методів розв'язання проблем, які виникають при перетворенні інформації, представленої за допомогою формальних мов.
автореферат, добавлен 25.07.2014