Концептуальна модель технології семантико-числової верифікації часопараметризованих мультипаралельних програм
Підвищення ефективності обчислювальної техніки. Використання методів статичної й динамічної верифікації у системах проектування паралельних програм. Побудова графа за допомогою засобів автоматичної візуалізації. Перевірка семантичної коректності структур.
Подобные документы
Аналіз методів розв’язання динамічних задач із зосередженими параметрами для систем звичайних диференційних рівнянь. Пошук шляхів підвищення ефективності паралельного розв’язання лінійних задач Коші з контролем похибки на кожному кроці інтегрування.
автореферат, добавлен 25.07.2014Розробка моделей та методів алгоструктурної організації паралельних обчислювальних процесів задля підвищення ефективності роботи комп'ютерних систем. Особливості методу перетворень алгоструктурних моделей та розпаралелення обчислень в алгоструктурах.
автореферат, добавлен 29.08.2015- 28. Проектування тестів для послiдовносних функціональних схем, що реалізованi у програмованiй логіці
Розробка та загальний опис структурно-функціональних моделей послiдовних схем і удосконалення методів генерації тестів для зменшення часу верифікації цифрових систем на стадіях їхнього автоматизованого проектування й імплементації в кристалах ПЛIС.
автореферат, добавлен 25.06.2014 Загальні теоретичні відомості про зміст програмного середовища Borland С++ Builder. Моделювання блок-схеми алгоритму для обчислення об’єму умовного усіченого циліндра. Особливості виконання на комп’ютері найпростіших програм на мові програмування С+.
лабораторная работа, добавлен 06.11.2014Порівняльний огляд існуючих програм для створення Web-сторінок. Еволюція та переваги використання HTML-редактора DreamWeaver. Приклад створення Web-сторінки з допомогою програми для автоматичної верстки Macromedia Dreamweaver CS4, її програмний код.
реферат, добавлен 01.11.2012- 31. Метод накопичення верифікаційної інформації при виконанні верифікації в розподілених базах знань
Теорема, яка показує, що для отримання результату верифікації з високою достовірністю необхідно, щоб результати перевірок накопичувалися тільки в коректних модулях. Результати досліджень у сфері теорії діагностування розподілених обчислювальних систем.
статья, добавлен 29.06.2016 Розробка моделі рельєфу, орієнтованої на метод зворотного трасування для використання в системах візуалізації. Алгоритми роботи спецпроцесорів у реальному часі (структурні і функціональні схеми). Перевірка моделей і алгоритмів шляхом моделювання.
автореферат, добавлен 27.04.2014Порівняльний аналіз і класифікація методів формальних специфікацій щодо паралелізму за критеріями: класи задач, складність методів, ступінь автоматизації, зв’язок моделі з реальними програмами. Композиційно-номінативна мова, модель серверного середовища.
автореферат, добавлен 28.08.2014- 34. Адаптивна інформаційна технологія діагностування комп'ютерних систем на наявність троянських програм
Розробка поведінкових моделей троянських програм шляхом урахування їхнього функціонального навантаження. Розробка адаптивної інформаційної технології діагностування комп'ютерних систем на наявність троянських програм та дослідження її ефективності.
автореферат, добавлен 12.07.2015 Варіантний аналіз сучасних методів та засобів проектування програмного забезпечення автоматизованих систем управління. Розробка алгоритмічного забезпечення. Аналіз результатів і дослідження ефективності програми. Інструкція програміста і користувача.
курсовая работа, добавлен 17.02.2010Висвітленння питання використання сучасних тестових програм. Аналіз роботи декількох програм-оболонок. Основний набір визначень та термінів з питань охорони навколишнього середовища. Проведення контролю знань та тренінгів учнів. Складання бази даних.
статья, добавлен 30.09.2018Інформаційні технології як сукупність методів, виробничих і програмно-технологічних засобів, об'єднаних у технологічний ланцюжок, що забезпечує збирання, зберігання, висновок і поширення інформації. Характеристика основних видів комп'ютерних програм.
реферат, добавлен 21.11.2011- 38. Інформатика
Нові можливості в освіті завдяки інформатиці. Роль учітелів в освітньому процесі. Нові інформаційні технології. Навчальні засоби обчислювальної техніки. Технічні засоби обчислювальної техніки. Введення та виведення інформації. Програмні засоби.
реферат, добавлен 10.01.2009 Рефакторинг – процес зміни програмної системи, за якої не змінюється зовнішня поведінка коду але покращується його внутрішня структура. Діаграма класів — метод статичного представлення структури моделі. Особливості застосування шаблону проектування.
курсовая работа, добавлен 19.11.2020Аналіз особливостей організації обчислювальних процесів у кластерних системах з мультиядерною архітектурою, які пов’язані з ускладненням структурної організації системи. Класифікація та характеристика методів організації взаємодії паралельних процесів.
автореферат, добавлен 27.08.2015Наведення формальної мови для подання математичних текстів. Побудова системи комп’ютерних засобів автоматичної перевірки їх коректності. Розробка процедури пошуку виведення, оригінальної дворівневої архітектури процедури автоматичного доведення.
автореферат, добавлен 05.08.2014Ефективність застосування відновлювальних засобів із використанням мультимедійних релаксаційних програм у фізичному вихованні студентів спеціальної медичної групи. Огляд методів відновлення працездатності. Аналіз комп’ютерних програм для релаксації.
статья, добавлен 29.01.2016Оперативна оцінка ефективності функціонування цукрового підприємства за допомогою інтелектуальної системи. Комплекс алгоритмів та програм, розроблених на основі сучасних мереж (Internet–технології). Автоматизована система управління цукровим заводом.
автореферат, добавлен 28.07.2014Розгляд проблеми дослідження та розроблення методів верифікації інформаційного наповнення користувачів віртуальних спільнот. Перевірка достовірності персональних даних і формування та дослідження інформаційного сліду учасника віртуальної спільноти.
статья, добавлен 21.06.2016Розробка методів та апаратних засобів нанесення текстур з усуненням ефекту аліасинга для синтезу зображень методом зворотного трасування в системах візуалізації реального часу. Огляд методу анізотропної фільтрації в площині текстури для синтезу зображень.
автореферат, добавлен 30.07.2015Проектування системи баз даних, вхідні та вихідні дані, звіти. Універсальна таблиця, виявлення аномалій. Встановлення структурних зв’язків. Побудова граф-схеми інфологічної моделі та перевірка її коректності. Середовище розробки інтерфейсу на його опис.
курсовая работа, добавлен 08.06.2017Підтримання у валідному стані баз знань модулів розподіленої системи, їх динамічна верифікація під час застосування. Метод тестової верифікація системи, визначений характером організації верифікаційного ядра. Основна особливість тестової верифікації.
статья, добавлен 14.07.2016Аналіз методів та засобів моделювання поведінки систем автоматичного керування. Дослідження моделі засобу, що реалізує процес моделювання, розробка його складових частин. Розробка обчислювальної схеми та програм моделювання систем автоматичного керування.
автореферат, добавлен 28.09.2015Основні етапи розвитку обчислювальної техніки. Винахід рахункової машини-арифмометра німецьким вченим Лейбніцем. Заснування Г. Холлеритом фірми Сomputing tabulation company. Створення першої вітчизняної ЕОМ (малої електронної обчислювальної машини).
презентация, добавлен 09.10.2013Розробка автоматизованого розрахункового модулю для обліку основних засобів. Використання програм VFP6 для проектування автоматизованого розрахункового модулю по обліку основних засобів. Приклади його використання, індексне поле, таблиця "надходжень".
контрольная работа, добавлен 15.09.2009