Алгебраїчні методи верифікації асинхронних паралельних систем
Створення програмного комплексу для статичної перевірки властивостей формальних моделей та визначення досяжності станів, в яких знайдено недоліки. Основні формальні моделі асинхронних паралельних систем та статичні методи перевірки властивостей.
Подобные документы
Розробка методів, моделей, інформаційної технології розробки інформаційних систем при зміні вимог та організаційної структури об’єктів автоматизації. Конфігурація функціональної структури, виявлення та усунення невідповідностей між елементами метамоделі.
автореферат, добавлен 28.08.2015Моделі подання і обробки візуальної інформації на основі інформаційного підходу, на підставі яких сконструйовано базис гіперболічного вейвлет-перетворення (ГВП). Методи виділення контурів і бінаризації з регульованою деталізацією у просторі ГВП.
автореферат, добавлен 29.07.2014Розробка моделей та методів оптимального керування життєвим циклом інноваційних продуктів в умовах невизначеності та побудова на їх основі прикладної системи підтримки прийняття рішень. Реалізація програмного комплексу системи підтримки прийняття рішень.
автореферат, добавлен 06.09.2013Створення системи автоматизації проектування мікроелектронної апаратури. Моделювання програмного комплексу, призначеного для ідентифікації параметрів бази МЕА з додатковими можливостями розширення математичного та інформаційного забезпечення САПР.
автореферат, добавлен 23.11.2013Характеристика методики, за якою мінімальні перерізи визначаються не з дерева відмов об’єкта дослідження, а з його моделі у вигляді графу станів та переходів. Особливості перевірки достовірності оцінок безпечності програмно-технічних комплексів.
статья, добавлен 06.02.2017Побудова моделі централізації, управління ресурсами розподілених систем і визначення оптимального розподілу витрат згідно з даними моделями. Оцінка кордонів використання різного ступеня децентралізації управління залежно від нестабільності використання.
автореферат, добавлен 07.08.2014Збільшення ефективності роботи комп’ютерної системи розрахунку надійності відмовостійких багатопроцесорних систем з використання GL-моделей поведінки. Вдосконалення методу мінімізації, а також зменшення перебору під час пошуку оптимальної моделі.
автореферат, добавлен 28.08.2015Розроблення математичних моделей та моделей циркуляції даних (інформаційних моделей), методів і відповідних засобів моделювання зображень хімічних виразів для комп’ютерно-видавничих систем. Принцип конвертування інформаційних моделей хімічного редактора.
автореферат, добавлен 05.08.2014Історія виникнення, сучасний стан розробки автоматизованих систем управління (АСУ), їх особливості та недоліки. Характеристика функціонального, організаційного, інформаційного, програмного аспектів інтеграції в АСУ. Функції інформаційно-пошукових систем.
контрольная работа, добавлен 22.09.2009Розробка формальної моделі системи електронної контент-комерції та формальних моделей опрацювання інформаційних ресурсів. Опис архітектури систем електронної контент-комерції для полегшення етапів реалізації життєвого циклу комерційного контенту.
статья, добавлен 29.07.2016Вивчення структури, базових перетворень та режимів застосування перспективного криптографічного алгоритму симетричного блокового перетворення "Калина". Дослідження математичних та програмних моделей криптоалгоритму для перевірки правильності реалізації.
статья, добавлен 27.07.2016Підходи до моделювання технологічних процесів, етапи створення математичних моделей і комп'ютерне моделювання технологічних процесів. Стрибок в розробці моделей, їх верифікації, в створенні і використанні модельно-обгрунтованих методів дослідження.
статья, добавлен 05.02.2019- 113. Таблиці стилів
Сутність, значення та принципи таблиць стилів, методи їх визначення. Способи включення стилів у веб-документ. Атрибут зміни властивостей одного-двох конкретних елементів. Створення спеціальних класів. Елемент поділу усього веб-документа на секції.
методичка, добавлен 19.07.2017 Дослідження процесу передачі інформації у мережі АСУ МВС України. Вирішення актуальної науково-технічної задачі розробки моделей і методів автоматизованого управління вхідним навантаженням мережних систем. Здійснення контролю поточної топології.
автореферат, добавлен 29.07.2014Розробка програмних систем адаптивного навчання, які використовують методи штучного інтелекту. Дослідження методів і засобів, які застосовуються в інтелектуальних системах обробки інформації і управління. Розроблення моделі процесу прийняття рішень.
автореферат, добавлен 29.09.2014- 116. Комплексна методика проектування моделей інтелектуальних систем діагностики та методи оцінки якості
Розгляд процесу технології проектування інтелектуальних систем, що дає нові можливості для управління даним процесом. Комплексна методика проектування довідкових систем, заснована на семантичній технології комп'ютерних систем різного рівня інтелекту.
статья, добавлен 21.06.2016 Методи розробки систем електронного цифрового підпису, реалізація схеми ЕЦП. Створення програмного коду для алгоритму ЕЦП по Ель Гамалю і DSS/DSА. Оцінка криптографічної стійкості даних алгоритмів, їх порівняльний аналіз та перевірка на коректність.
курсовая работа, добавлен 20.11.2016Розгляд етапів становлення дистанційних методів дослідження. Ознайомлення з сучасними методами дешифрування космознімків. Характеристика програмного забезпечення для обробки космічних знімків. Вивчення різноманітності і властивостей космічних знімків.
курсовая работа, добавлен 07.04.2015Аналіз сучасних медичних інформаційних систем, будова конфігурації інформаційної системи медичної установи. Методи і засоби проектування інформаційних систем для підтримки діяльності лікувально-профілактичних установ в частині медичного документообігу.
автореферат, добавлен 26.08.2015Визначення витрат на створення телекомунікації. Етапи розвитку засобів зв’язку. Протокол, як набір правил, дотримання яких забезпечує сумісність програмного та апаратного забезпечення. Базові моделі протоколів та програмні засоби шифрування інформації.
контрольная работа, добавлен 26.08.2014Визначення поняття "інформація" як форми наукового знання, характеристика її властивостей. Основні види операцій з інформаційними даними, принципи їх типології. Види електронних ресурсів, методи та проблеми їх класифікації та віднесення до певного типу.
курсовая работа, добавлен 28.05.2010Методологія розроби математичних моделей та комп’ютерних технологій вирішення задач оптимального розподілу ресурсів логістичних систем. Створення алгоритмів та елементів інформаційної розробки теоретико-категорійних і множинних математичних моделей.
автореферат, добавлен 22.04.2014Методологія об'єктно-орієнтованого аналізу і проектування великих програмних систем. UML як уніфікована мова моделювання. Характеристика робіт проектної групи на стадіях проектування, реалізації, кодування і впровадження програмного забезпечення.
реферат, добавлен 19.07.2017Поняття і класифікація віртуальних магазинів, їх переваги і недоліки для покупців у порівнянні з традиційною торгівлею. Організація діяльності віртуальних магазинів: вибір програмного забезпечення, технології відстежування споживачів, обробка замовлення.
реферат, добавлен 01.11.2012Вибір обчислювальних методів для створення паралельних програмних комплексів аналізу перехідних режимів роботи електронних систем. Процес адаптації існуючих діакоптичних методів аналізу динамічних режимів електронних кіл до їх алгоритмічної реалізації.
автореферат, добавлен 07.03.2014