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


Полезное:

Как сделать разговор полезным и приятным Как сделать объемную звезду своими руками Как сделать то, что делать не хочется? Как сделать погремушку Как сделать так чтобы женщины сами знакомились с вами Как сделать идею коммерческой Как сделать хорошую растяжку ног? Как сделать наш разум здоровым? Как сделать, чтобы люди обманывали меньше Вопрос 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 для связи [email protected], [email protected]
Дисциплина Теория вычислительных процессов
Семестр  
Отчетность Контрольная работа, экзамен

 

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

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

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

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

Date: 2016-05-15; view: 419; Нарушение авторских прав; Помощь в написании работы --> СЮДА...



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