Теорія інтегрованих композиційно-номінативних моделей програм
Дослідження методів обчислюваності програм, які узагальнюють традиційні підходи до неї. Описання класів обчислюваних функцій і композицій над номінативними даними різних рівнів абстракції і загальності, побудування алгебраїчних представлень таких класів.
Подобные документы
Дослідження проблеми розпаралелювання послідовних програм, побудова алгебраїчної моделі і доведення її дедуктивної еквівалентності. Реалізація системи автоматизованого розпаралелювання delta, що транслює програму розширеною мовою C у MPI-програму мовою C.
автореферат, добавлен 11.10.2011- 52. Інструментальні засоби для дослідження та застосування методів моделювання за статистичними даними
Розроблення рекурентних алгоритмів оцінювання методів створення за статистичними даними. Порівняльне тестування видів конструювання та їх компонентів за допомогою системного комплексу. Програмні способи для розв’язання практичних задач моделювання.
автореферат, добавлен 25.08.2015 Оцінка функціональних можливостей прикладних програм, особливо програми CARAT, яка офіційно застосовується в Україні. Визначення необхідності подальшого впровадження новітніх автоматизованих технологій в процес дослідження дорожньо-транспортної пригоди.
статья, добавлен 24.11.2016Аналіз методів захисту он-лайн спілкування на прикладі програм та програмних комплексів для обміну повідомленнями. Основні технології захисту особистої інформації в мережі Інтернет. Аналіз проблеми надмірного поширення персональних даних користувачами.
статья, добавлен 21.07.2018Досліджено часові затрати під час програмної реалізації операції множення у трьохмодульній системі класів та її модифікованій досконалій формі. Показано, що використання модифікованої форми дає можливість зменшити час обчислення арифметичних операцій.
статья, добавлен 27.07.2021Аналіз еволюції підходів до побудови теоретико-множинних моделей лямбда-числення. Вивчення оригінальних теоретико-порядкових характеризацій відповідних класів неперервних функцій, порівняльний аналіз цих понять неперервності функції з їх аналогами.
автореферат, добавлен 26.08.2015Операційна система як середовище для "співіснування" багатьох програм, які взаємодіють між собою та використовують спільні ресурси. Загальна характеристика операційної системи Windows, розгляд головних службових програм. Аналіз способів перевірки диску.
лабораторная работа, добавлен 21.07.2017Аналіз питання структуризації програм інформатизації вищих навчальних закладів. Дослідження проектів інформатизації вищих навчальних закладів, виявлення їх особливостей. Напрямки побудови систем управління програмами інформатизації ВНЗ України.
статья, добавлен 21.06.2016Класи ітераційних методів рішення систем лінійних алгебраїчних рівнянь. Критерій оцінки швидкості збіжності різних ітераційних методів. Класифікація паралельних ітераційних алгоритмів та їх переваги асинхронних ітераційних методів, їхні види і критерій.
статья, добавлен 29.07.2016Дослідження важливих класів задач теорії конфліктно-керованих процесів. Аналіз методу пропорційної навігації для задачі зближення за участю двох гравців. Вивчення його зв’язку з методом розв’язуючих функцій і правилом екстремального прицілювання.
автореферат, добавлен 26.08.2014Поняття інформації, її носії та методи нанесення. Призначення та принципи дії маніпулятора "миша". Кодування та зберігання даних, використання програм для архівування, їх види та режими роботи. Розрахунки у середовищі електронної таблиці Microsoft Excel.
контрольная работа, добавлен 14.11.2010Впровадження в освіту інформаційних та комунікаційних технологій, розробка програм для автоматизації робочого процесу навчальних закладів. Реалізація програм для роботи з документацією, розписом занять та ведення обліку при дистанційному навчанні.
статья, добавлен 14.01.2017Типи шкідливого програмного забезпечення: троянські коні, віруси, черв'яки. Механізм дії антивірусів: детекторів, полифагів, ревізорів, вакцин. Традиційні методи "вилову" файлових вірусів. Огляд антивірусних програм. Правила "виживання" для користувача.
реферат, добавлен 21.02.2011Розробка загальної методології вирішення проблем комп'ютерної переробки інформації на основі теоретико-категорних представлень, алгебраїчних теорій. Розв'язання проблем, що виникають при перетворенні інформації, представленої за допомогою формальних мов.
автореферат, добавлен 29.08.2015Аналіз нормативно-методичних основ класифікації загроз інформаційної безпеки, пов’язаних із застосуванням шкідливих програм щодо інформаційних систем. Характеристика основних загрози впливу на інформаційні системи окремих типів шкідливих програм.
статья, добавлен 06.11.2020Розгляд процесу програмування засобів комп'ютерного програмного забезпечення, призначеного за для використання інформації з баз даних і програм для роботи з мережевими протоколами через Інтернет. Огляд програм для електронної пошти і обміну файлами.
дипломная работа, добавлен 30.09.2013В якій саме формі треба охороняти алгоритм та програму для електронної обчислювальної машини. Правова охорона інтелектуальної власності. Зміст авторського права. Незаконне відтворення, розповсюдження виконань, фонограм, відеограм і програм мовлення.
реферат, добавлен 26.08.2013Методи рекурсивного аналізу операційних моделей динамічних систем на основі апроксимуючих імпульсних спектрів. Оцінювання втрат інформації при апроксимації. Алгоритмізація розроблених методів. Шляхи використання програм електронного моделювання.
автореферат, добавлен 05.01.2014Аналіз особливостей UML. Вивчення середи IBM Rational Rose. Розробка UML діаграм. Створення діаграми прецедентів кооперації послідовності логічної діаграми класів. Розробка моделі даних та генерація SQL-коду. Характеристика фізичної діаграми класів.
курсовая работа, добавлен 14.07.2015Інтегрована інформаційно-телекомунікаційна система спеціального призначення, що розробляється, ще на етапі проектування. Побудова моделей послідовностей повідомлень програмних об’єктів, синтезу логічних і тестових моделей станів та діяльностей класів.
статья, добавлен 26.07.2016Розвинені можливості Microsoft Excel для роботи з табличною інформацією. Введення даних, роздрукування робочих листів. Розширення можливостей спеціалізованих систем:програми-бухгалтерії, прикладних програм які працюють з базами даних, текстові редактори.
курсовая работа, добавлен 27.12.2010Об’єктно-орієнтований аналіз і процес робочого проектування. Структура даних за стосунку та розробка класів. Тестування працездатності системи класів та процес обґрунтування вибору алгоритмів. Розробка програми у вигляді гри для розважальних цілей.
контрольная работа, добавлен 08.11.2012Дослідження інформаційних технологій, призначених для керування залізничною автоматизацією. Оцінка недоліків при реалізації логічних функцій. Рекомендації, щодо концепції вдосконаленої мови програмування керування та трансляції програм контролера.
автореферат, добавлен 29.10.2013Дослідження основних варіантів порівняння запитів в процесі аналізу і експлуатації автоматизованих комп'ютерних систем. Розробка моделі інкрементального оновлення матеріалізованих представлень, заснованої на лічильнику дублікатів записів типу SPJ.
автореферат, добавлен 02.08.2014Розробка структури та моделі підсистеми, а також аналіз засобів контролю знань комп'ютеризованої системи навчання. Характеристика основних методів практичної реалізації розроблених моделей, алгоритмів і програм у комп'ютеризованих системах навчання.
автореферат, добавлен 27.07.2014