Разработка алгоритма построения дерева достижимости.
Разработка алгоритма построения дерева достижимости. - раздел Промышленность, Стратегия создания конкурентных преимуществ Основными Методами Анализа Достижимости Являются: Метод Построения Дерева Дос...
Основными методами анализа достижимости являются: метод построения дерева достижимости и матричный метод исследования достижимости.
Основные понятия, связанные с деревом достижимости. Идея построения дерева достижимости достаточно проста. В качестве корня дерева принимается вершина графа, соответствующая начальной маркировке . Далее выявляются все разрешенные при этой маркировке переходы и определяются получаемые при их запуске маркировки, каждой из которых сопоставляется вершина дерева, непосредственно достижимая из . Затем та же процедура повторяется для каждой из этих вершин. Таким образом, на каждом шаге появляются новые вершины, называемые граничными вершинами. Каждая граничная вершина, породившая другие вершины, становится внутренней вершиной.
В процессе указанного движения по дереву могут достигаться такие граничные вершины, которым соответствует маркировка, тупиковая по отношению ко всем переходам (при этой маркировке не существует разрешенных переходов). Данные вершины называются терминальными вершинами. Очевидно, терминальные вершины являются концевыми (висячими) вершинами дерева.
Наряду с терминальными вершинами при построении дерева достижимости фиксируется появление так называемых дублирующих вершин. Это такие вершины, в которые повторяется маркировка, полученная ранее для других вершин дерева (дублирующая вершина может в частном случае оказаться также терминальной). Из дублирующих вершин нет смысла продолжать далее построение дерева, поскольку соответствующий фрагмент дерева фактически уже получен ранее. Заметим при этом, что если вершина является дублирующей по отношению к некоторой вершине дерева, из которой существует путь в дублирующую вершину, то тем самым определяется некоторый циклический процесс в сети Петри. Терминальные и дублирующие вершины в литературе называют также листами сети Петри.
Если на некотором шаге процедуры построения дерева достижимости все вершины оказываются либо внутренними, либо терминальными, либо дублирующими, то это означает, что сеть Петри имеет дерево достижимости с конечным числом маркировок, с помощью которого проблема достижимости полностью разрешается. Именно такое положение имеет место в ограниченных сетях Петри, для которых число маркеров в позициях не может нарастать до бесконечности.
Общий алгоритм построения дерева достижимости (для ограниченных и неограниченных сетей Петри).
Шаг 0. Внести в список нерассмотренных (граничных) вершин вершину с начальной маркировкой , перейти к шагу 1.
Шаг 1. Извлечь из списка нерассмотренных вершин некоторую вершину с маркировкой и выполнить следующие операции:
а) если для не один переход не разрешен, объявить терминальной вершиной;
б) если среди рассмотренных вершин дерева находится такая вершина , для которой , объявить дублирующей вершиной;
в) если пункты "а" или "б" выполнены, перейти к шагу 3, в противном случае объявить внутренней вершиной и перейти к шагу 2.
Шаг 2. Определить для каждого разрешенного при перехода новую вершину с маркировкой , руководствуясь следующим правилом для каждой позиции :
а) если , то ;
б) если для внутренней вершины имеет место , то для тех позиций , для которых это неравенство строгое, принимается ;
в) во всех остальных случаях принимается .
Каждую такую вершину с маркировкой вносим в список нерассмотренных вершин и переходим к шагу 1.
Шаг 3. Если список нерассмотренных вершин не пуст, перейти к шагу 1; если он пуст, остановить алгоритм. В последнем случае каждая вершина оказывается внутренней, терминальной или дублирующей.
Миссия современной авиакомпании в РФ.
Миссия – это суть деятельности, специфика бизнеса и путь развития компании. Миссия должна быть сформулирована предельно ясно для того, чтобы она была легко понятна всем, взаимодействующим с организ
Анализ внешней среды.
Внешняя среда в стратегическом планировании рассматривается как совокупность двух относительно самостоятельных подсистем: макроокружения и непосредственного окружения.
Макр
1.4. Управленческий анализ функционирования авиапредприятия.
В условиях рыночной экономики стало особенно важным определять финансовую устойчивость предприятия, то есть состояние финансовых ресурсов, при которых предприятие может свободно ман
Рис.3 Страны регистрации ВС ДА, принадлежащих россиянам.
Но если сложить 350 ВС, зарегистрированных за рубежом и 200, зарегистрированных в России, то получится, что российский парк самолетов, ДА на данный момент составляет более 18 % все
1.7 Цели и задачи авиапредприятия.
Классический менеджмент определяет цель как желаемое состояние системы или результат ее деятельности, достижимый в пределах некоторого интервала времени. В целях дол
Система функциональных стратегий.
В зависимости от выбранной генеральной стратегии предприятия формируется система (набор), обеспечивающих ее реализацию функциональных стратегий.
Целью коммерческой стратегии или стратег
Рис 6. Выбор оптимальной точки.
Определив вектор, имеющий наименьший угол расхождения с вектором центра координат, мы найдем искомое решение.
Таблица 5.
Интенсивность относительной важности
Определение
Объяснение
Несравнимы
Эксперт затрудняет
Миссия и общая характеристика предприятия.
· «Ютэйр» входит в четверку крупнейших мировых вертолетных компаний.
· «Ютэйр» входит в пятерку ведущих авиакомпаний России по числу перевезенных пассажиров на рынке пассажирских перевозок
Среднесрочные цели ОАО « Ютэйр».
Вертолетные работы
Вертолетные работы за рубежом
Пассажирские перевозки
Разработка новых технологий применения вертолетов при выпол
Продолжение таблицы 7.
Мобильная система базирования по месту выполнения вертолетных работ
Заслуженная репутация надежной, современной, безопасной авиакомпании
Собствен
Рис. 16
· время внедрения;
· время обучения персонала;
· стоимость модернизации;
· показатель качества обслуживания клиентов;
· гибкость сотрудников;
· надежнос
Микроклимат рабочего помещения.
Работа пользователя ЭВМ производится сидя и не требует систематического напряжения или поднятия и переноски тяжестей, поэтому классифицируется как легкая первой категории с энергоза
Таблица 23.
Период года
Температура,
Относительная влажность
Выбор системы вентиляции.
Эффективным средством нормализации воздушной среды в помещениях является вентиляция. Поскольку в помещении отсутствует выделение вредных веществ и влаги, целесообразно применить общ
Обоснование системы освещения.
Правильно спроектированное и выполненное производственное освещение улучшает условия зрительной работы, снижает утомляемость, способствует повышению производительности труда, благот
Нормы вибрации.
Среднегеометрические частоты октавных полос, Гц
Допустимые значения оси X, Y
по виброускорению
по виброскорости
Таблица 27.
Наименование параметра
Допустимые значения
Напряженность электромагнитного поля на расстоянии 50 см вокруг ВДТ по электрической составляющей долж
5.6 Электробезопасность.
ПЭВМ является источником опасности поражения электрическим током, поэтому необходимо определить технические мероприятия и средства, обеспечивающие защиту пользователя от опасности в
Обеспечение пожарной безопасности.
Основными причинами пожара от электроустановок является короткое замыкание, перегрузка, большое переходное сопротивление, искрение и электрическая дуга.
Эфф
Расположение пожарных извещателей.
Высота установки извещателя, м
Максимальная площадь, контролируемая одним извещателем, м2
Максимальное расстояние, м
Выводы по разделу.
В данной работе изложены требования к рабочему месту пользователя ПЭВМ, которые призваны обеспечить безопасную и комфортную работу. На основании СанПиН 2.2.2.542-96, указаны оптимал
Хотите получать на электронную почту самые свежие новости?
Подпишитесь на Нашу рассылку
Наша политика приватности обеспечивает 100% безопасность и анонимность Ваших E-Mail
Новости и инфо для студентов