Концептуальна модель технології семантико-числової верифікації часопараметризованих мультипаралельних програм
Підвищення ефективності обчислювальної техніки. Використання методів статичної й динамічної верифікації у системах проектування паралельних програм. Побудова графа за допомогою засобів автоматичної візуалізації. Перевірка семантичної коректності структур.
Подобные документы
Структура та принципи роботи Web-додатків, огляд програм. Поява та розвиток, технології Web 2.0. Загальні відомості про Web–технології. Переваги та недоліки Ajax. Об'єктна модель документа. Створення та розробка сайтів як інформаційного ресурсу.
контрольная работа, добавлен 23.11.2016Практичне застосування методів концептуального проектування реляційних баз даних. Побудова концептуальної моделі "сутність-зв'язок". Побудова даталогічної моделі та нормалізація бази даних. Реалізація даталогічної моделі бази даних засобами SQL.
курсовая работа, добавлен 29.10.2020Архітектура і процес проектування системи баз даних. Концептуальна модель як представлення всієї інформації БД в абстрактній формі в порівнянні з фізичним способом зберігання інформації. Процес концептуального проектування, конкретизація і узагальнення.
реферат, добавлен 20.06.2010Аналіз існуючих програм впровадження інформації в звукові файли, виявлення їх переваг та недоліків. Визначення можливих областей застосування стеганографії. Застосування цифрової стеганографії для захисту від копіювання і несанкціонованого використання.
статья, добавлен 28.09.2016- 105. Метод відстежування об’єктів у відеопотоці та його реалізація на паралельних комп’ютерних системах
Напрямки підвищення швидкості виявлення та відстежування множини об’єктів. Підвищення точності методів моделювання фону за наявності великої кількості об’єктів у кадрі. Програмна підсистема автоматичного виявлення і відстежування людей у відеопотоці.
автореферат, добавлен 11.08.2015 Ознайомлення з процесом розвитку комп’ютерної техніки і сучасних засобів комунікацій. Розгляд питання впровадження сучасних інформаційно-комунікаційних технологій у навчально-виховному процесі з метою підвищення ефективності педагогічного контролю.
статья, добавлен 14.07.2016Генерація зображень у реальному часі як одне із завдань машинної графіки. Візуалізація тренажерів транспортних засобів. Моделювання динамічних сцен віртуального простору. Обробка зображень і розпізнавання образів. Системи автоматизованого проектування.
автореферат, добавлен 19.04.2014Поняття інформації, її носії та методи нанесення. Призначення та принципи дії маніпулятора "миша". Кодування та зберігання даних, використання програм для архівування, їх види та режими роботи. Розрахунки у середовищі електронної таблиці Microsoft Excel.
контрольная работа, добавлен 14.11.2010Розробка методу синтезу формальних моделей комп’ютерних програм на основі семантичних анотацій їх елементів. Розробка методу навчання інтелектуальної системи синтезу семантичних моделей програм. Структура онтології для системи синтезу моделей програм.
автореферат, добавлен 26.08.2015Використання способу числової стійкості для створення методики розрахунку високочастотних синтетичних сейсмограм. Перехід до матриць вищого порядку. Обчислення хвильових полів для горизонтально-шаруватого напівпростору на основі матричного методу.
статья, добавлен 30.10.2016Характеристика рекордерів цифрового аудіо. Аналіз функцій та інтерфейсу програм для написання музики. Опис принципу роботи програм-аналізаторів та реставраторів аудіо. Характеристика трекерів та програм для копіювання цифрового звуку з компакт-дисків.
реферат, добавлен 11.01.2017Основна методика використання типу String. Головна характеристика процедур і функцій обробки строкових змінних. Особливість визначення на множинному типі найбільш поширених теоретико-множинних операцій і відношень. Аналіз прикладу написання програм.
лабораторная работа, добавлен 25.11.2014- 113. Інтернет-технології: оцінка пріоритетності маніпулювання свідомістю за допомогою методів ранжування
Основні сучасні інформаційні технології маніпуляції свідомістю. Кількісні оцінки пріоритетів зазначених сугестивних технологій. Порівняльний аналіз методів ранжування та оцінок пріоритетності способів маніпулювання свідомістю за допомогою різних методів.
статья, добавлен 11.07.2018 Аналіз підходів створення мережних засобів систем автоматичного проектування. Розробка підходів для перепроектування та надання віддаленого доступу. Вивчення інструментарію розподілених комплексів. Підвищення ефективності протоколів транспортного рівня.
автореферат, добавлен 28.07.2014Розробка аксіоматичного підходу до проектування лінгвістичних трансляторів в системах логічного програмування, що базується на традиційних логічних численнях, реалізації фаз синтаксичного аналізу і перекладу мов проектування за допомогою методу резолюцій.
автореферат, добавлен 11.10.2011Підвищення ефективності процесів представлення динамічної обстановки на екранах аеронавігаційних геоінформаційних систем реального часу. Розробка моделі побудови зорових образів динамічних сцен, що відображуються на екрані аеронавігаційних систем.
автореферат, добавлен 29.06.2018Обчислювальна техніка як найважливіший компонент процесу обчислення та обробки даних. Значення спроб людини полегшити великі об'єми обчислень для розвитку обчислювальної техніки. Перші електронно-обчислювальні машини. Роль комп'ютера в житті людини.
реферат, добавлен 02.04.2013Інформаційні процеси і системи. Особливості зберігання, передачі і захисту повідомлення. Інформаційні технології та сфери їх застосування. Поняття про архітектуру та принципи функціонування комп’ютеру. Види пам’яті. Етапи розвитку обчислювальної техніки.
учебное пособие, добавлен 11.04.2013Аналіз можливостей здійснення фінансового обліку за допомогою програм автоматизації обліку витрат та калькулювання собівартості продукції агарних підприємств. Порівняння характеристик програм українських виробників за можливостями і галузевою специфікою.
статья, добавлен 24.04.2024Вплив на людей стрімкого розвитку обчислювальної техніки. Розробка системної утиліти з основною функцією об'єднання будь-яких файлів. Уточнення параметрів стандартних функцій та методів їх використання. Аналіз програмної реалізації алгоритму задачі.
реферат, добавлен 21.07.2011Розробка обліково-аналітичної класифікації програм, що забезпечує необхідні передумови для формування дійової методики бухгалтерського відображення та економічного аналізу процесу їх створення. Облікове відображення виділених видів комп'ютерних програм.
статья, добавлен 31.01.2018Дослідження методів та шляхів розробки інформаційних технологій підтримки прийняття рішень по управлінню перерозподілом обчислювальних ресурсів медичних приладово-комп'ютерних систем підвищення ефективності використання наявних обчислювальних ресурсів.
автореферат, добавлен 27.08.2015Основні характеристики мережевої технології ТokenRing. Принцип маркерного доступу. Колізії у TokenRing. Проектування локальної обчислювальної мережі. Розрахунок витрат на мережеве обладнання і програмне забезпечення. Номенклатура використаного обладнання.
курсовая работа, добавлен 07.08.2013Тенденції розвитку сучасних інформаційних технологій. Об'єднання зусиль окремих виконавців у єдиний процес проектування шляхом використання поділюваної бази даних. Автоматизація структурного аналізу й інтеграції підтримуючих засобів програмування.
реферат, добавлен 17.05.2012Аналіз швидких алгоритмів сортування. Побудова алгоритмів обчислення зворотньої підстановки при розв’язанні задач. Методи сортування: деревом, пірамідальний, швидкий та цифровий. Нові інформаційні технології, їх значення та ефективність в роботі програм.
научная работа, добавлен 13.12.2011