Главная Случайная страница


Полезное:

Как сделать разговор полезным и приятным Как сделать объемную звезду своими руками Как сделать то, что делать не хочется? Как сделать погремушку Как сделать неотразимый комплимент Как противостоять манипуляциям мужчин? Как сделать так чтобы женщины сами знакомились с вами Как сделать идею коммерческой Как сделать хорошую растяжку ног? Как сделать наш разум здоровым? Как сделать, чтобы люди обманывали меньше Вопрос 4. Как сделать так, чтобы вас уважали и ценили? Как сделать лучше себе и другим людям Как сделать свидание интересным?

Категории:

АрхитектураАстрономияБиологияГеографияГеологияИнформатикаИскусствоИсторияКулинарияКультураМаркетингМатематикаМедицинаМенеджментОхрана трудаПравоПроизводствоПсихологияРелигияСоциологияСпортТехникаФизикаФилософияХимияЭкологияЭкономикаЭлектроника






Для матрицы AM´N найти наибольшую сумму элементов столбцов





Часть 2. Тема

«Основные понятия сетей Петри. Анализ сетей Петри»

Для предлагаемой сети Петри, заданной в виде двудольного ориентированного мультиграфа, выполнить следующее:

1) определить сеть Петри в виде C = (P, T, I, O);

2) определить расширенные входную и выходную функцию;

3) определить мультиграф в виде G = (V, A);

4) нарисовать граф инверсной сети Петри и описать ее как C = (P, T, I, O);

5) нарисовать граф двойственной сети Петри и описать ее как C = (P, T, I, O);

6) выполнить сеть Петри, записав последовательность переходов s = tj1, …, tjk и последовательность маркировок m0, …, mk ;

7) построить дерево достижимости и определить тип всех его вершин;

8) по дереву достижимости проверить свойства сети Петри: является ли она

а) безопасной, б) ограниченной, в) активной, г) строго сохраняющей;

9) для матричного представления сети Петри определить

матрицы D, D+, D и вектор запусков последовательности f(s) для s из п.6.

Вычислить µ΄= µ0 + f (σ)·D.

 

 


Информация для ЗФ-827 по ТВП

 

Специальность
Группа ЗФ-827
Преподаватель доц. каф. Автоматики, к.т.н. Веретельникова Евгения Леонидовна (VII-416)
E-mail для связи janever@mail.ru, verjane@ngs.ru
Дисциплина Теория вычислительных процессов
Семестр
Отчетность Контрольная работа, экзамен

 

Задание для КОНТРОЛЬНОЙ РАБОТЫ Вариант № 5

Часть 1. Тема
«Доказательство правильности методом индуктивных утверждений»

1. Для данной задачи составить блок-схему и доказать ее правильность методом индуктивных утверждений.

2. Для данной задачи написать программу на языке высокого уровня и доказать ее правильность. Доказательство проводить методом индуктивных утверждений, включая индуктивные утверждения в текст программы в виде комментариев.








Date: 2016-05-15; view: 91; Нарушение авторских прав

mydocx.ru - 2015-2018 year. (0.017 sec.) Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав - Пожаловаться на публикацию