Концептуальна модель технології семантико-числової верифікації часопараметризованих мультипаралельних програм
Підвищення ефективності обчислювальної техніки. Використання методів статичної й динамічної верифікації у системах проектування паралельних програм. Побудова графа за допомогою засобів автоматичної візуалізації. Перевірка семантичної коректності структур.
Подобные документы
Підвищення оперативності та обґрунтованості управлінських рішень в складних організаційних ієрархічних системах критичного застосування в результаті автоматизації процесів підготовки управлінських рішень за допомогою стратифікованої семантичної мережі.
автореферат, добавлен 27.09.2014Розгляд методу формування інформаційних елементів і підвищення ефективності діяльності оператора за рахунок методу екологічного проектування. Розробка елементів і порівняння їх з аналогічними, що використовувалися в автоматизованих системах управління.
статья, добавлен 14.07.2016Уніфікований життєвий цикл, що базується на інтерактивній моделі проектування. Створення програмного забезпечення, орієнтованого на інтелектуальну підтримку CASE-засобів. Алгоритм оцінки складності об’єктно-орієнтованих програм в складі підсистеми.
автореферат, добавлен 25.04.2014Процеси, пов’язані зі створенням комп’ютерних програм. Вироблення навиків практичного використання інтегрованих середовищ програмування з метою створення, виконання та відлагодження програм на мові Cі. Визначення інженерії програмного забезпечення.
лабораторная работа, добавлен 12.11.2022Розгляд поняття програмних вірусів та аналіз загроз, які вони несуть для обчислювальної мережі. Вивчення класифікації шкідливих програм та особливостей алгоритму їх дії. Характеристика файлових, резидентних, макро-вірусів та засобів боротьби з ними.
реферат, добавлен 29.12.2013Пропозиція нових алгоритмів та програм для автоматизованого комп'ютерного проектування плоских обводів другого порядку гладкості. Структурно-параметричне конструювання та оптимізація складних геометричних об'єктів у літакобудуванні на прикладі фюзеляжу.
автореферат, добавлен 13.10.2013Виявлення та систематизація факторів, що впливають на продуктивність мережних процесорів. Розробка методики і системи моделювання процесорів, які враховують різноманіття структур мережних програм, що на них виконуються. Процес обробки потоків даних.
автореферат, добавлен 30.07.2015Обґрунтування необхідності підвищення ефективності методів та моделей розпізнавання електронно-оптичних зображень. Здійснення синтезу методу автоматичної класифікації чорно-білих зображень для самонастроювання електронно-оптичних систем розпізнавання.
автореферат, добавлен 28.09.2015Аналіз відомих методів і апаратно-програмних засобів підвищення продуктивності обчислювальних систем. Розробка нових методів паралельних обчислень спеціальних функцій, рішення систем рівнянь для навігаційних задач. Обробка навігаційної інформації.
автореферат, добавлен 29.09.2015Дослідження методів проектування мікросмужкових фільтрів НВЧ. Розробка алгоритмів проектування допусків в залежності від технології виготовлення підсистеми мікросмужкових фільтрів з можливістю аналізу та синтезу допусків на основних етапах технології.
автореферат, добавлен 26.08.2014Особливості тривимірного моделювання одягу на основі графічних редакторів 3D графіки. Використання спеціалізованих програм для створення 3D моделей одягу. Ознайомлення з інтерфейсом та програмними можливостями програм Tailotnova та Marvelous designer.
статья, добавлен 30.07.2024Застосування ЕОМ для автоматизації проектування і технологічної підготовки виробництва. Структура систем автоматизованого синтезу пристроїв. Побудова елементів по розрізах і моделювання деталей у системі КОМПАС. Особливості використання системи AutoCAD.
методичка, добавлен 16.10.2012Дослідження методів обчислюваності програм, які узагальнюють традиційні підходи до неї. Описання класів обчислюваних функцій і композицій над номінативними даними різних рівнів абстракції і загальності, побудування алгебраїчних представлень таких класів.
автореферат, добавлен 19.04.2014Аналіз нормативно-методичних основ класифікації загроз інформаційної безпеки, пов’язаних із застосуванням шкідливих програм щодо інформаційних систем. Характеристика основних загрози впливу на інформаційні системи окремих типів шкідливих програм.
статья, добавлен 06.11.2020Визначення поняття віруси та їх класифікація. Розгляд принципу дії антивірусних програм і вимоги до них. Аналіз видів антивірусів та функцій сканування. Вивчення методів протидії комп’ютерним вірусам. Короткий огляд та список антивірусних програм.
реферат, добавлен 20.05.2014Характеристика шляхів інноваційного розвитку проектування, місця медіадизайну в системі сучасних інтернет-технологій. Дослідження методів і програмно-технічних засобів, способів розширення меж використання медіадизайну в інформаційному просторі.
статья, добавлен 06.02.2019Розвинені можливості Microsoft Excel для роботи з табличною інформацією. Введення даних, роздрукування робочих листів. Розширення можливостей спеціалізованих систем:програми-бухгалтерії, прикладних програм які працюють з базами даних, текстові редактори.
курсовая работа, добавлен 27.12.2010- 93. Бази даних
Побудова, технології, архітектура та етапи розвитку баз даних. Переваги і недоліки застосування системи управління базами даних. Моделі даних, програмні і мовні засоби баз даних. Аналіз вимог до бази даних, їх планування та підходи до проектування.
реферат, добавлен 09.06.2013 Аналіз сучасного стану технологій програмування та графічний інтерфейс в програмному забезпеченні. Створення програмної оболонки для пошуку двох трикутників з найменшими тупими кутами, її структура даних та функцій. Модульність в реалізації програм.
контрольная работа, добавлен 25.03.2010Дослідження використання у навчальному процесі підготовки бакалаврів та магістрів з маркетингу пакету прикладних програм на основі мови програмування Object Pascal в системі Delphi - для розв’язання комплексу типових задач маркетингового управління.
статья, добавлен 29.09.2012Розгляд процесу створення універсального програмного забезпечення дистанційного керування робочими станціями локальної обчислювальної мережі. Розгляд функції управління віддаленим робочим столом на прикладі таких програм, як: NetOp, pcAnywhere і Radmin.
статья, добавлен 26.01.2018Сучасні високопродуктивні обчислювальні системи і паралельні методи розв’язання динамічних задач із зосередженими параметрами. Паралельні неявні однокрокові методи чисельного розв’язання жорстких задач та їх реалізація в багатопроцесорних структурах.
автореферат, добавлен 29.08.2015Основний вплив кластерного програмного забезпечення на прикладні програмні засоби. Розроблення основних методів підвищення якості проектування та перевірки розрахунків адресного простору обчислювальних мереж для використання в обчислювальному кластері.
автореферат, добавлен 29.09.2015Особливості проектування засобів інтеграції зовнішніх даних у сховище. Характеристики вхідних даних в задачах індуктивного моделювання за різними параметрами. Аналіз типових структур вхідних даних. Первинна обробка даних в системах інтеграції даних.
статья, добавлен 02.10.2018Система обробки наукових даних. Borland C++ Builder - засіб швидкої розробки програм. середовище розробки C++ Builder. Основні прийоми проектування користувацького інтерфейсу програми для обробки візитних карток з можливістю її графічної інтерпретації.
курсовая работа, добавлен 15.09.2008