12.07.2015 Views

Отсюда можно скачать отчет в формате PDF (670 Kb) - Кафедра ...

Отсюда можно скачать отчет в формате PDF (670 Kb) - Кафедра ...

Отсюда можно скачать отчет в формате PDF (670 Kb) - Кафедра ...

SHOW MORE
SHOW LESS
  • No tags were found...

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

14за<strong>в</strong>ершение работы а<strong>в</strong>томато<strong>в</strong>, <strong>в</strong>ыходные <strong>в</strong>оздейст<strong>в</strong>ия и <strong>в</strong>ремяначала <strong>в</strong>ыполнения каждого из них;− а<strong>в</strong>томатическое построение "короткого" протокола <strong>в</strong>дополнение к "полному", <strong>в</strong> котором фиксируются толькособытия и инициируемые ими <strong>в</strong>ыходные <strong>в</strong>оздейст<strong>в</strong>ия,интересующие Заказчика.Разрабаты<strong>в</strong>аемая технология поддержи<strong>в</strong>ает <strong>в</strong>се этапысоздания программного обеспечения: изучение предметнойобласти, анализ, проектиро<strong>в</strong>ание, реализация, отладка,сертификация и документиро<strong>в</strong>ание.Технология, описы<strong>в</strong>аемая <strong>в</strong> настоящей работе,применялась а<strong>в</strong>торами при создании программногообеспечения для ряда "реакти<strong>в</strong>ных" систем, что отражено <strong>в</strong>соот<strong>в</strong>етст<strong>в</strong>ующих разделах <strong>отчет</strong>а.1. Классификация задач, решаемых с использо<strong>в</strong>аниема<strong>в</strong>томатного подходаОпыт разработки и применения а<strong>в</strong>томатногопрограммиро<strong>в</strong>ания (SWITCH-технология) поз<strong>в</strong>олил <strong>в</strong>ыделитьтри класса задач, <strong>в</strong> которых может быть примененпредлагаемый подход:− системы логического упра<strong>в</strong>ления, характернойособенностью которых я<strong>в</strong>ляется д<strong>в</strong>оичная формапредста<strong>в</strong>ления <strong>в</strong>ходных и <strong>в</strong>ыходных <strong>в</strong>оздейст<strong>в</strong>ий и <strong>в</strong><strong>в</strong>од<strong>в</strong>ходных <strong>в</strong>оздейст<strong>в</strong>ий путем опроса;− "реакти<strong>в</strong>ные" системы, характерной особенностьюкоторых я<strong>в</strong>ляется наличие среди <strong>в</strong>ходных <strong>в</strong>оздейст<strong>в</strong>ийсобытий;− <strong>в</strong>ычислительные алгоритмы, такие как, например,алгоритмы сортиро<strong>в</strong>ки, поиска и т.п.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!