От партнеров

Заказать работу

От партнёров


Счетчики
    Желаете получить информацию о том, где можно найти и СКАЧАТЬ не отходя от своего компьютера бесплатные журналы, обзоры, научные и аналитические статьи, статистические данные, книги, учебники, официальные документы государственных органов? Тогда воспользуйтесь нашим новым сервисом "Полезная ссылка"!

    Как это работает? Очень просто! Вы получаете полезную ссылку, нажав на которую, скачиваете документ с первоисточника в электронном виде.

Поиск рефератов на Linksdir.com.ua!
Раздел

Научные статьи и авторефераты диссертаций по электронике и ЭВМ

Название

Доказове проектування алгоритмів функціонування реактивних систем

Доказове проектування алгоритмів функціонування реактивних систем : Автореф. дис... д-ра техн. наук: 05.13.13 / А.М. Чеботарьов; НАН України. Ін-т кібернетики ім. В.М.Глушкова. — К., 2002. — 32 с. — укp.
Описание         Розроблено теоретично обгрунтований підхід до побудови синтаксису та семантики мов специфікацій, який дає змогу розробити ефективні процедури проектування. Запропоновано семантику використовуваних мов специфікацій та враховано специфіку предметної області, що дозволяє удосконалити резолюційні методи перевірки несуперечності специфікацій, що суттєво підвищує їх ефективність. Сфомульовано проблему аналізу коректності взаємодії двох процесів та розроблено математичний апарат, з використанням якого одержано більш прості та ефективні методи її розв'язання у порівнянні з використовуваними методами на основі теоретико-ігрового підходу. На базі доведеної теореми про специфікацію побудовано методи синтезу автоматів, суттєво більш ефективних, ніж метод семантичного табло. В області верифікації алгоритмів запропоновано метод синтезу автомата-розпізнавача за формулою лінійної темпоральної логіки, який дає значно кращі результати за кількістю станів автомата у порівнянні з іншими методами. Розроблено метод редукції алгоритму, що верифікується. У процесі розв'язання задач доказового проектування реактивних алгоритмів одержано нові результати в теорії автоматів над нескінченними послідовностями.
Добавлено2008-10-26 18:54:22

Также Вы можете заказать реферат или курсовую работу на тему «Доказове проектування алгоритмів функціонування реактивних систем

Заказать новый реферат на тему «Доказове проектування алгоритмів функціонування реактивних систем»

Смотревшие данный материал также интересовались рефератами и курсовыми работами:

    © 2007-2019 vbs.com.ua