підходу до представлення даних при вирішенні ряду практично важливих завдань системного аналізу та синтезу безпеки для формалізації нечітко певних властивостей человекомашінная систем, більш коректного опису самих категорій небезпека, безпека і визначення їх кількісних характеристик. p> Під формалізацією розуміється впорядковане і спеціальним чином організоване уявлення досліджуваних людино-машинних систем, їх компонентів та процесів в техносфери. Під моделюванням розуміють використання створених в результаті формалізації штучних утворень (Моделей), які мають ідентичні оригіналу характеристики, з метою отримання нових даних або знань про нього. При цьому такі відомості можуть бути знайдені в процесі якісного та кількісного аналізу досліджених моделей.
Вибір необхідних способів формалізації і моделювання конкретних категорій визначається зазвичай природою об'єкта або процесу, метою їх вивчення і витікаючими з цього специфічними вимогами до мов представлення даних і опису моделей. Враховуючи різноманітність відомих нині методів формалізації та моделювання, обгрунтуємо вимоги до їх вибору і вкажемо на особливості реалізації таких методів для системного дослідження цікавлять процесів в техносфери.
Основна особливість формалізації та моделювання процесу виникнення пригод в техносфери взагалі і в человекомашінная системах зокрема полягає у поданні першого у вигляді подій і активностей (робіт), а других - у вигляді сукупності елементів і зв'язків між ними. У свою чергу, стан кожної такої модельованої категорії описується шляхом введення відповідних змінних параметрів, а також утворених ними векторів і просторів, а процес взаємодії (Функціонування) - зміною траєкторії в просторі відповідних станів або зображенням логічно пов'язаних наборів подій і активностей.
При формалізації і моделюванні зазвичай дотримуються ряду правил, головні з яких полягають у забезпеченні необхідної інформаційної достатності та раціонального використання фазового простору. p> З останніх тверджень випливає область застосування формалізації та моделювання. Ці методи неможливі або малоефективні при відсутності деякого мінімуму суттєвої інформації про досліджуваних категоріях і мало перспективні - в умовах її повної визначеності або можливості експериментального отримання.
При прогнозуванні рівня потенційної небезпеки техносфери найбільш часто формалізуються і моделюються процеси виникнення та попередження аварійності та травматизму. p> Однак, крім даних процесів, іноді використовується формалізоване зображення самих человекомашінная систем, умов забезпечення безпеки їх функціонування або вирішення інших стоять перед ними завдань. Вважається, що формальна модель об'єкта дослідження задана, якщо визначено мету та процедура його аналізу, показники і механізм корекції функціонування, обмеження і взаємозв'язку з оточенням.
Досвід дослідження свідчить, що моделювання і формалізація процесів в техносфери повинні супр...
