На головну

ГЛАВА 1

  1. I. ГЛАВА. Фактори, що сприяють становленню сучасного Єгипту.
  2. XXVI. ГЛАВА Про брахманів
  3. Б. р - 14 глава
  4. Біологія поведінки ». Глава з книги
  5. Верховне керівництво збройними силами здійснюють вищі представницькі органи державної влади, глава держави або глава уряду.
  6. Другий розділ
  7. глава 01-06

1) Вид продукції характеризується її призначенням, конструкцією, показниками якості.

2) Кількість продукції визначається обсягом її випуску в рік і серією - кол-вом виробів, що випускаються по незмінним кресленнями.

3) Якість ПП характеризується точністю виробів, одержуваних в результаті обробки і збірки, точністю забезпечення необхідних властивостей матеріалів.

4) Продуктивність ПП визначається числом виробів, що випускаються в одиницю часу за умови повного завантаження устаткування. У поточному пр-ве продуктивність П вимірюється величиною, зворотної такту випуску

5) Ступінь автоматизації ПП оцінюється відношенням часу автоматичної роботи до розглянутого періоду часу. Розрізняють цикловую (до часу циклу), робочу (до штучному часу) і експлуатаційну (до розрахункового часу) ступеня автоматизації.

6) Гнучкість ПП або обладнання - це їх здатність до переналагодження, наприклад, якщо змінився об'єкта виробництва. Одним із способів комплексної оцінки гнучкості є спосіб економічної оцінки за формулою, де П - витрати на переналагодження, руб .; А - амортизаційні відрахування. Якщо П = 0, то Г = 100% т. Е. Ідеально гнучке пр-во не вимагає витрат на переналагодження. Якщо П = А, то Г = 0. Гнучкість досягається застосуванням універсального бистропереналажіваемой обладнання.

7) Ефективність ПП відображає ступінь зменшення витрат на виробництво вироби. Є результуючим показником, що залежать від продуктивності, гнучкості і ступеня автоматизації ПП.

1.3. Стандарти управління якістю промислової продукції

Міжнародні стандарти ISO 9000 розроблено для управління якістю продукції, їх доповнюють стандарти серії ISO 14000, що відображають екологічні вимоги до виробництва та промислової продукції.

Існує 2 підходи до контролю якості:

1) Традиційний - вимірювання показників якості в ВТК і вибракування непридатних виробів.

2) Контроль не самих виробів, а проектних процедур і ТП, використовуваних при створенні виробів. Такий підхід більш ефективний: менше витрат на контроль і завдяки попередженню появи браку знижує виробничі витрати. Цей підхід покладено в основу стандартів ISO 9000, приємний ISO в 1987 р і проходять коригування приблизно кожні п'ять років.

Визначення якості ISO 9000 (ГОСТ 15467-79): якість продукції - це сукупність властивостей продукції, що обумовлюють її придатність задовольняти певні потреби відповідно до її призначення.

В ISO 9000 вводиться поняття системи якості (QS - Quality System) під якою розуміють документальну систему з настановами та описами процедур досягнення якості. Система якості являє сукупність трьох шарів документів:

1) опис політики управління для кожного системного елемента;

2) опис процедур управління якістю (що, де, ким і коли повинно бути зроблено);

3) тести, плани, інструкції і т. П.

Стандарти серії ISO 9000 діляться на первинні, вторинні і підтримують.

1) Первинні стандарти діляться на внутрішні і зовнішні.

Внутрішні стандарти описують заходи з управління якістю всередині підприємства.

Зовнішні стандарти описують вимоги, дотримання яких гарантує якість при виконанні контрактів з зовнішніми замовниками. Містять 20 основних вимог до якості, розділених на групи, що відносяться до виробництва, транспортування, постпроізводственним операціями, документації, маркетингу.

ISO 9001 (ДСТУ ISO 9001-96) - модель якості, що досягається при проектуванні, виробництві, обслуговуванні;

ISO 9002 (ДСТУ ISO 9002-96) - скорочена модель ISO 9001 (без процесів проектування);

ISO 9003 (ДСТУ ISO 9003-96) - модель якості при фінальному тестуванні продукції.

2) Вторинні стандарти включають в себе:

ISO 9000 - основні поняття, керівництво по застосуванню ISO 9001;

ISO 9004 - елементи систем управління якістю.

3) Підтримують стандарти призначені для розвитку і установки систем якості:

ISO 10011 - аудит, критерії для аудиту систем якості;

ISO 10012 - вимоги для вимірювального обладнання;

ISO 10013 - посібник для розвитку посібників з управління якістю.

В даний час розроблена нова серія стандартів ISO 9000: 2000 (Системи управління якістю).

Сертифікація підприємств за стандартами ISO 9001-9003 виконується уповноваженою зовнішньої організацією. Наявність сертифікату якості - одне з важливих умов для успіху комерційної діяльності підприємств.

1.5. Сучасна концепція автоматизованих систем управління виробництвом

Інтегрована система автоматизації підприємства може бути представлена ??у вигляді 5-рівневої піраміди [СТА, 97 №1].

4. Управління підприємством (АСУП) (MRP, MRPII, ERP, CSRP)

3. Управління виробництвом (цехом) (MES)

2. Диспетчерське управління (SCADA)

1. Безпосереднє управління (Control)

0. Введення / висновок (I / O)

Мал. 1.1. Інтегрована структура АСУ ТП

Цю модель можна спрощувати, об'єднуючи будь-які два суміжних рівня. Відповідно до сучасної ідеологією децентралізації завдання оперативного управління вирішуються на нижніх рівнях системи, що дозволяє підвищити швидкодію системи і розвантажити ЛВС. На верхні рівні управління покладаються завдання стратегічного планування виробництва, збір і обробка інформації про технологічний процес, підготовка звітної документації.

0. Рівень введення / виведення (I / O). Включає набір датчиків і виконавчих пристроїв, вбудованих в конструктивні вузли технологічного обладнання і призначених для збору первинної інформації та реалізації керуючих впливів.

1. Рівень безпосереднього управління технологічними процесами (Control). вимоги:

1) гранично високу швидкодію / режим реального часу (з тактами від 10 мс до 1с);

2) гранична надійність (на рівні технологічного обладнання);

3) можливість вбудовування в обладнання;

4) можливість автономної роботи при відмові комплексів управління верхніх рівнів;

5) можливість функціонування в цехових умовах.

Реалізується за допомогою ПЛК, УСО, РС-контролерів і промислових мереж.

2. Рівень диспетчерського управління (SCADA). Призначений для відображення даних про ТП і оперативного управління за участю диспетчера. функції:

1) обмін даними з контролерами (типовий такт обміну 1 с);

2) виконання алгоритмів "повільного" управління (з тактом понад 1 с);

3) диспетчерське спостереження за ТП по його графічного відображення (мнемосхемі або віртуальному пульту управління) на екрані в реальному масштабі часу;

4) зберігання та дистанційна завантаження керуючих програм в контролери;

5) синхронізація і групове управління технологічним обладнанням;

6) ведення єдиної бази даних ТП в реальному часі;

7) контроль працездатності обладнання першого рівня, реконфігурація АСУТП для різних режимів, в т. Ч. Перехід на резервну схему в разі відмови основної;

Реалізується за допомогою промислових або персональних комп'ютерів і SCADA-систем, об'єднаних в ЛВС типу Ethernet (див. Курс испу).

3. Рівень управління виробництвом (MES - Manufacturing Execution Systems).

Забезпечує оптимізацію управління ресурсами цеху як єдиного організаційно-технологічного об'єкта за завданнями, що надходять з верхнього рівня.

функції:

1) обробка даних про хід виготовлення продукції в різних цехах,

2) управління виробничими і людськими ресурсами в рамках ТП,

3) планування і контроль послідовності операцій ТП,

4) управління якістю продукції,

5) зберігання даних про матеріали і продукції по технологічним підрозділам,

6) технічне обслуговування виробничого устаткування,

Реалізується серверами в ЛВС підприємства. Приклад: BASEstar (DEC).

4. Рівень управління підприємством (АСУП) (планування) (MRP, ERP). Призначений для автоматизації планування виробництва, фінансової діяльності, постачання, продаж, аналізу, прогнозування та створення єдиної моделі даних в рамках підприємства.

Реалізується серверами в ЛВС підприємства з виходом в Internet.

Класифікація АСУП

1) MRP (Materials Resource Planning - планування матеріальних ресурсів), включає тільки планування матеріалів для виробництва.

Метою MRP є мінімізація витрат, пов'язані зі складськими запасами (в тому числі і на різних ділянках у виробництві). На підставі плану випуску продукції, специфікації вироби і технологічного ланцюжка здійснюється розрахунок потреб в матеріалах, прив'язаний до конкретних термінів.

Існує два типи матеріалів - з залежним попитом (для випуску десяти автомобілів потрібно п'ятдесят коліс - не більше і не менше - на певний термін) і з незалежним попитом (запасами товарів для торгівлі).

Приклад: БОС-Корпорація, М-2, АС +.

Недоліком MRP є відсутність обліку виробничих потужностей, їх завантаження, вартості робочої сили і т. Д.

2) MRP II (Manufacturing Resource Planing - планування виробничих ресурсів). MRP II дозволяє планувати всі виробничі ресурси підприємства (сировина, матеріали, обладнання, персонал і т. Д.). Приклад: 1С: Підприємство, Парус 8. х, БЕСТ ПРО.

16 функцій MRPII:

1) Sales and Operation Planning - планування продажів і виробництва;

2) Demand Management - управління попитом;

3) Master Production Scheduling - складання плану виробництва;

4) Material Requirement Planning - планування потреб у сировині і матеріалах;

5) Bill of Materials - специфікації продукції;

6) Inventory Transaction Subsystem - складська підсистема;

7) Scheduled Receipts Subsystem - відвантаження готової продукції;

8) Shop Flow Control - управління виробництвом на цеховому рівні;

9) Capacity Requirement Planning - планування виробничих потужностей;

10) Input / output control - контроль входу / виходу;

11) Purchasing - матеріально-технічне постачання;

12) Distribution Resource Planning - планування запасів збутової мережі;

13) Tooling Planning and Control - планування і управління інструментальними засобами;

14) Financial Planning - фінансове планування;

15) Simulation - моделювання;

16) Performance Measurement - оцінка результатів діяльності.

3) ERP (Enterprise Resource Planning - планування ресурсів підприємства). Об'єднує всі інформаційні ресурси підприємства, в тому числі ділову і фінансову інформацію. Це усуває необхідність в передачі даних від системи до системи.

Зараз практично всі сучасні західні виробничі системи і основні системи управління виробництвом базуються на концепції ERP. Приклади: SAP R / 3, Baan, Oracle Applications, Галактика.

4) CSRP (Customer Synchronized Resource Planning) Последіній стандарт охоплює також і взаємодія з клієнтами: оформлення наряд-замовлення, техзавдання, підтримка замовника на місцях та ін. Таким чином, якщо MRP, MRP-II, ERP орієнтувалися на внутрішню організацію підприємства, то CSRP включив в себе повний цикл від проектування майбутнього виробу до гарантійного і сервісного обслуговування після продажу. Основна суть концепції CSRP в тому, щоб інтегрувати Замовника (Клієнта, Покупця та ін.) В систему управління підприємством. Приклад: SyteLine.

На світовому ринку зараз пропонується понад 500 систем класу MRP II-ERP. Ринок бурхливо зростає - на 35% - 40% щороку.

1.6. Поняття про CALS-технологіяx

CALS-технологіями (Continuous Acquisition and Lifecycle Support) Називають технології комплексної комп'ютеризації сфер промислового виробництва, мета яких - уніфікація і стандартизація специфікацій промислової продукції на всіх етапах її життєвого циклу. Основні специфікації представлені проектної, технологічної, виробничої, маркетингової та експлуатаційної документації. У російській мові поняття CALS відповідає ИПИ (інформаційна підтримка виробів) або КСПІ (комп'ютерне супровід та підтримка виробів).

Застосування CALS дозволяє істотно скоротити обсяги проектних робіт, так як опису складових частин обладнання, машин і систем, проектировавшихся раніше, зберігаються в уніфікованих форматах даних.

Розвиток CALS-технологій має привести до появи так званих віртуальних виробництв, В яких процес створення специфікацій з інформацією для програмно керованого технологічного устаткування може бути розподілений в часі і просторі між багатьма організаційно автономними проектними студіями.

Побудова відкритих розподілених автоматизованих систем для проектування та управління в промисловості складає основу сучасних CALS-технологій. Головне завдання їх впровадження - забезпечення однакового опису та інтерпретації даних, незалежно від місця і часу їх отримання в загальній системі, що має масштаби аж до глобальних. Тому в основу CALS-технологій покладено ряд стандартів, що забезпечують інформаційну інтеграцію:

1) ISO 10303 STEP (Standard for Exchange of Product data - стандарт обміну даними про промислових виробах). Є основним CALS-стандартом. Складається з ряду документів (томів), які позначаються ISO 10303-N, де N - номер тому.

N = 1: Вступний стандарт, що описує основний принципи і визначення

N = 11-14: Опис мови Express, що є основою для створення єдиного інформаційного середовища і інваріантного до додатків.

N = 201-236: Прикладні протоколи АР (Application Protocol). приклади протоколів

АР201: Явна креслення.

АР210: Компонування і проектування з'єднань в електронній апаратурі.

АР212: Проектування і монтаж електротехнічних виробів.

2) ISO 13584 Parts Library (P_Lib). Містять огляд і основні принципи побудови бібліотек з даними про стандартні компонентах промислових виробів. Представлені відомості про сімейства типових компонентів виробів (болти, підшипники, електронні компоненти і ін.) З метою використання цих даних в САПР.

3) ISO 14959 Parametrics. Уніфікація способів обміну параметрами виробів, широко використовуються сучасними САПР.

4) ISO 15531 Manufacturing Management Data (Mandate). Стандарти представлення даних, що відносяться до функціонування підприємств, управління розподіленими виробничими системами, обміну даними про виробництво з зовнішнім середовищем. Наприклад, те ISO 15531-41 містить огляд і основні принципи управління потоками виробничих даних.

5) ISO 18876 IIDEAS. Забезпечення взаємодії додатків і організацій, що використовують різні стандарти. Передбачається можливість узгодження моделей, виражених за допомогою різних мов моделювання та форматів (SGML, XML, Express).

Оформлення текстової документації на створювані вироби в CALS-технологіях виконується за допомогою мов розмітки SGML або XML.

1) ISO 8879 Мова SGML. Встановлює правила надання інформації, які дозволяють різним системам правильно розпізнавати та ідентифікувати цю інформацію. Є метамовою для сімейства конкретних мов розмітки.

2) Мова XML. Спрощений SGML, пристосований для використання в Web-браузерах. Для конкретних додатків створюються свої варіанти (словники) XML. Для CALS-технологій варіант PDX (Product Definition exchange), присвячених обміну даними.

ГЛАВА 2. СИСТЕМИ МАСОВОГО ОБСЛУГОВУВАННЯ

2.1. Основні відомості теорії масового обслуговування

Теорія масового обслуговування використовується при вирішенні задач аналізу процесів функціонування ДПС, транспортних систем, обчислювальної техніки та інших процесів, пов'язаних з проходженням через систему потоку заявок (вимог або транзактов).

Параметри заявок є випадковими величинами і при проектуванні можуть бути відомі тільки закони їх розподілу і чисельні характеристики. Вихідними параметрами в СМО є час обслуговування заявок в системі, довжини черг заявок, час очікування в чергах, завантаження пристроїв системи і т. Д.

У найпростішому випадку СМО являє собою обслуговуючий апарат (ОА) з чергою заявок на вході. Складні СМО складаються з декількох взаємопов'язаних ОА. ОА називають статичними об'єктами або ресурсами, а заявки динамічними. Стану ОА виражаються булеві величинами true (зайнято) і false (вільно) і довжинами черг. Змінні СМО називають змінними стану або фазовими змінними.

Правило, згідно з яким заявки вибираються з черг на обслуговування, називають дисципліною обслуговування, А величину, яка має переважне право на обслуговування, - пріоритетом.

Безпріорітетна дисципліни:

1) FIFO (First In First Out) - перша заявка обслуговується першої;

2) LIFO (Last In First Out) - остання заявка обслуговується першої;

3) З випадковим вибором заявок з черг.

У пріоритетних дисциплінах для заявок кожного пріоритету виділяється своя черга. Заявка з черги з низьким пріоритетом надходить на обслуговування, якщо порожні черги з більш високими пріоритетами. Пріоритети бувають:

1) Абсолютні, коли заявка з черги вищого пріоритету перериває розпочату обслуговування заявки нижчого пріоритету;

2) Відносні, коли більш високопріоритетних заявка чекає закінчення розпочатого обслуговування попередньої;

3) Динамічні - можуть змінюватися під час перебування заявки в СМО.

Дослідження СМО ведуть аналітично або методом імітаційного моделювання, т. Е. Шляхом відтворення подій в модельному часу. під подією розуміють факт зміни значення будь-якої змінної стану.

2.2. Аналітичні моделі СМО

Аналітичні моделі застосовують тільки для окремих випадків щодо простих СМО. Для складних систем необхідний ряд припущень, що знижує адекватність моделі:

1) використовується дисципліна FIFO;

2) час обслуговування заявок вибирається відповідно до експоненціальним законом розподілу;

3) вхідні потоки повинні бути стаціонарними, простими (неможливість одночасного вступу двох заявок на вхід) і з відсутністю післядії.

марковскими ланцюгами називають процеси з кінцевим безліччю станів і з відсутністю післядії. Вони підходять для опису більшості СМО. Характеризуються великою кількістю станів S, матрицею ймовірності переходів з одного стану в інший і початковим станом. Подають як графа, в якому вершини відповідають станам ланцюга, дуги - переходам, ваги дуг - можливостям переходу, якщо час дискретно або интенсивностям, якщо час безперервно.

Інтенсивністю переходу називають величину, де - ймовірність переходу зі стану в стан за час. Зазвичай використовують умова, де N - число станів.

Мал. 2.1. Приклад марковської ланцюга

Таблиця матриці інтенсивностей переходів для прикладу

 стан  S1  S2  S3  S4
 S1  -V12-V13-V14  V12  V13  V14
 S2  V21  -V21
 S3  -V34  V34
 S4  V42  -V42

Основою опису СМО в термінах ймовірностей знаходження системи в різних станах є рівняння Колмогорова, які можна отримати наступним чином:

Зміна ймовірності знаходження системи в стані за час є ймовірність переходу системи в стан з будь-яких інших станів за вирахуванням ймовірності переходу зі стану в інші стани за час, т. Е.

,

де і - ймовірності знаходження системи в станах і відповідно в момент часу t, а й - ймовірності зміни станів протягом часу; J і К - безлічі індексів інцідентних вершин по відношенню до вершини по вхідних і вихідних дуг на графі станів відповідно.

Розділивши вираз на і перейшовши до межі при, отримаємо рівняння Колмогорова

.

У стаціонарному стані і рівняння Колмогорова представляють систему алгебраїчних рівнянь, в якій -й вузол представлений рівнянням. Перетворюючи отримуємо, де - фінальні ймовірності.

Формули розрахунку параметрів аналітичної моделі

Розглянемо одноканальний СМО з найпростішим вхідним потоком інтенсивністю і тривалістю обслуговування, що підкоряється експоненціальному закону інтенсивністю. Потрібно знайти:

 - Середнє число заявок, що знаходяться в системі;

 - Середня довжина черги до ОА;

 - Час перебування заявки в системі;

 - Час очікування в черзі.

Введемо позначення, причому - умова сталого режиму, тоді

 ; .

Часи перебування в системі і в черзі визначаються співвідношеннями, які називають формулами Літтла:

;

2.3. Імітаційне моделювання СМО

Імітаційні моделі, створені в традиційних мовах виходять громіздкими, тому використовують спеціальні мови програмування на системному рівні. Розрізняють мови орієнтовані на опис подій, засобів обслуговування або маршрутів руху заявок (процесів). Вибір мови визначає структуру моделі і методику її побудови.

Мови орієнтовані на засоби обслуговування використовуються при функціонально-логічному і більш детальних рівнях опису об'єктів. Для опису СМО на системному рівні (іноді їх називають мережевими імітаційними моделями - СІМ) частіше використовують мови, орієнтовані на події (Сімскріпт, SMPL, Stateflow) або процеси (Симула, SOL, GPSS).

У програмах імітаційного моделювання СМО переважно реалізується подієвий метод організації обчислень, який полягає у відстеженні на моделі послідовності подій в тому ж порядку, в якому вони відбувалися б у реальній системі. Обчислення виконують тільки для тих моментів часу і тих частин (процедур) моделі, до яких відносяться здійснюються події. Оскільки зміни станів на кожному такті зазвичай спостерігається лише у малої частки ОА, подієвий метод може істотно прискорити моделювання в порівнянні з інкрементного методом, В якому на кожному такті аналізуються стану всіх елементів ланцюга.

2.4. мережі Петрі

мережі Петрі - Апарат для моделювання динамічних дискретних систем (переважно асинхронних паралельних процесів). Запропоновано Карлом Адамом Петрі в 1962 році. Визначається кінцевими множинами позицій і переходів P і Т, множинами вхідних і вихідних функцій I і O і являє собою двочастковий орієнтований граф, в якому позиції зображуються кружками, а переходи потовщеними рисками; функцій I відповідають дуги, спрямовані від позицій до переходів, а функцій О - від переходів до позицій.

Як і в СМО, в мережах Петрі вводяться об'єкти двох типів: динамічні - зображуються мітками (маркерами) всередині позицій і статичні - їм відповідають вершини мережі Петрі. Розподіл маркерів по позиціях називають маркуванням. Маркери можуть переміщатися по мережі. Кожна зміна маркування називають подією. Здійсненню події відповідає спрацьовування переходу, при якому маркери з вхідних позицій цього переходу переміщаються в вихідні позиції. Події відбуваються миттєво і різночасно при виконанні деяких умов. Послідовність подій утворює моделюється.

Правило спрацьовування переходів: перехід спрацьовує, якщо для кожної з його вхідних позицій виконується умова, де - число маркерів в i-й вхідний позиції, - число дуг, що ведуть від i-й позиції до переходу; при спрацьовуванні переходу число маркерів в i-й позиції зменшується на, а в j-й вихідний позиції збільшується на, де - число дуг, що пов'язують перехід з j-й позицією.

Мал. 2.2. Фрагмент мережі Петрі.

До спрацьовування переходу маркування (2,2,3,1), після спрацювання (1,0,1,4).

Можна вводити ряд додаткових правил і умов в алгоритми моделювання. Ставлячи тривалість (затримку) спрацьовування переходу, можна моделювати не тільки послідовність подій, але і прив'язку до часу. Отриману модель називаю тимчасової мережею Петрі.

Якщо затримки є випадковими величинами, то мережу називають стохастичною. В стохастичних мережах можливе введення ймовірностей спрацювання переходів і імовірнісний вибір спрацьовує переходу в конфліктних ситуаціях. На рис. 2.3. показаний фрагмент мережі Петрі, з конфліктною ситуацією - маркер р може запустити перехід або.

Мал. 2.3. Конфліктна ситуація

Якщо затримки визначаються як функції деяких аргументів, якими можуть бути кількості маркерів в будь-якої позиції, стану деяких переходів і т. П., То мережу називають функціональної.

У багатьох задачах динамічні об'єкти можуть бути декількох типів з різними алгоритмами поведінки. Їх ідентифікують різними кольорами маркерів, при цьому мережа Петрі називається кольоровий.

В інгібіторних мережах Петрі можливі забороняють (інгібіторні) дуги. Наявність маркера у вхідній позиції, пов'язаної з переходом ингибиторной дугою, означає заборону спрацьовування переходу.

Приклад 1. Потрібно описати за допомогою мережі Петрі роботу групи користувачів на одному комп'ютері.

Мал. 2.4. Мережа Петрі (до прикладу 1)

Переходи пов'язані з наступними подіями: t1 - надходження запиту на використання комп'ютера; t2 - заняття комп'ютера; t3 - звільнення комп'ютера; t4 - вихід обслужених заявки; позиція р4 використовується для відображення стану комп'ютера: якщо в p4 є мітка, то комп'ютер вільний і прийшла заявка викликає спрацьовування переходу t2; поки ця заявка не буде обслужена, мітки в р4 не буде, і прийшли в р1 запити змушені очікувати спрацьовування переходу t3.

Приклад 2. Потрібно описати за допомогою мережі Петрі процеси виникнення і усунення несправностей в деякій технічній системі, що складається з М однотипних блоків; в запасі є один справний блок; відомі статистичні дані про інтенсивності виникнення відмов і длительностях операцій пошуку несправностей, заміна і ремонт відмовив блоку.

Мал. 2.5. Мережа Петрі (до прикладу 2)

значення М в позиції р2 відповідає числу наявних в системі блоків. Переходи відображають наступні події: t1 - відмова блоку; t2 - пошук несправного блоку; t3 - його заміна; t4 - закінчення ремонту.

При непорожній позиції р2 перехід t1 спрацьовує із затримкою, рівною обчисленому випадковому значенню моделируемого відрізка часу між відмовами. Після виходу маркера з t1 він потрапляє через р1 в t2, якщо є мітка в позиції Р6. Це означає, що обслуговує систему бригада фахівців вільна і може приступити до пошуку виниклої несправності. У переході t2 мітка затримується на час, що дорівнює випадковому значенню тривалості пошуку несправності. Далі маркер виявляється в р3 і, якщо є запасний блок (маркер в р4), то запускається перехід t3, з якого маркери вийдуть в р2, Р5 і Р6 через відрізок часу, необхідний для заміни блоку. Після цього в t4 імітується відновлення несправного блоку.

Вже згадана модель описує функціонування системи в умовах, коли відмови можуть виникати і в робочому, і в несправному станах системи. Тому не виключені ситуації, при яких більш ніж один маркер виявиться в позиції р1.

2.5. Аналіз мереж Петрі

Аналіз складних систем на базі мереж Петрі виконується за допомогою імітаційного моделювання СМО, представлених моделями мереж Петрі. При цьому задають вхідні потоки заявок і визначають відповідну реакцію системи. Вихідні параметри СМО розраховують шляхом обробки накопиченого при моделюванні статистичного матеріалу.

Можливий інший підхід до використання мереж Петрі для аналізу СМО, досліджуваних на системному рівні, не пов'язаний з імітацією процесів. Він заснований на наступних властивостях мереж:

1) обмеженість (Або K-обмеженість) має місце, якщо число міток в будь-якій позиції мережі не може перевищити значення К. При проектуванні автоматизованих систем визначення До дозволяє обґрунтовано вибирати ємності накопичувачів.

2) Безпека - Окремий випадок обмеженості при K = 1.

3) збереженість характеризується постійністю завантаження ресурсів, т. е., де - число маркерів в i-й позиції, - ваговий коефіцієнт.

4) досяжність характеризується можливістю досягнення маркування зі стану мережі, з маркуванням.

5) жвавість визначається можливістю спрацьовування будь-якого переходу при функціонуванні об'єкта, що моделюється. Відсутність жвавості свідчить про надмірності апаратури в проектованої системі, або про можливість зациклення, тупиків, блокувань.

В основі дослідження властивостей мережі Петрі лежить аналіз досяжності. Один з методів аналізу досяжності будь-маркування зі стану - побудова графа досяжності. Початкова вершина графа відображає, а решта вершини відповідають маркувань. Дуга означає подія і відповідає спрацьовування переходу t. При побудові графа складної мережі можна не відображати всі вершини, так як багато хто з них є дублями (від маркування завжди породжується один і той же підграф, незалежно від того, з якого стану система прийшла в). Тупики виявляються по відсутності переходів з будь-якої вершини, т. Е. За наявністю листя - термінальних вершин. Необмежене зростання числа маркерів в будь-якої позиції свідчить про порушення обмеженості.

Приклади аналізу досяжності.

У прикладі 1 мережа є необмеженою, т. К. Мітки можуть накопичуватися в позиції Р5, і живий, т. К. Спрацьовують всі переходи, тупики відсутні.

У прикладі 2 мережу, що моделює двухпроцессорную обчислювальну систему із загальною пам'яттю, є безпечною, живий, все маркування досяжні.

ГЛАВА 1



Основні характеристики виробничого процесу | Органічна хімія може бути визначена як наука, що вивчає сполуки вуглецю або вуглеводні і їх похідні.

У молекулах сполук існує певний порядок зв'язку атомів, який і носить назву будова. | Основні сировинні джерела органічних сполук | Класифікація органічних сполук | раціональна номенклатура | Номенклатура ІЮПАК для аліфатичних вуглеводнів. |

© um.co.ua - учбові матеріали та реферати