2015-05-06
1029
Для описания ПФ ЧМС введены следующие типовые функциональные единицы:
1. Функционеры, описывающие любой вид действий (операций), фактически реализуемых в ПФ ЧМС с использованием определенных ресурсов (времени, затрат и т. д.).
2. Композиционеры,описывающие логико-функциональные взаимосвязи между функционерами и представляющие собой “фиктивные действия (операции)”, не требующие для своей реализации расходования ресурсов (временных, материальных и др.).
В свою очередь функционеры подразделяются на основные (рабочие, логические, задержки) и вспомогательные (функционального контроля правильности выполнения предыдущих единиц деятельности, диагностического контроля работоспособности технических средств, организационного контроля хода ПФ ЧМС).
Рабочие функционеры - это действия (операции), направленные на достижение некоторого конкретного результата: включение, выключение, восприятие сигнала, считывание информации, запоминание, вычисление и др.
Логические (альтернативные) функционеры - это действия (операции), заключающиеся в проверке соблюдения некоторого условия, в выборе дальнейшего пути реализации ПФ и др.
Функционеры задержки - это приостановление на некоторое время (детерминированное или случайное) дальнейшей реализации ПФ.
В табл. 4.1 представлены условные обозначения так называемых атомарных функционеров, у которых проявление отказа техники, сбоя программы, ошибок персонала не определяются в процессе выполнения алгоритма внутри данных функционеров.
Если же отказы, сбои, ошибки выявляются в самом процессе выполнения рабочего функционера, но без привлечения для этого специальных средств, то такой функционер называют составным. В табл. 4.2 представлены условные обозначения составных функционеров.
Как уже было сказано, композиционеры не отражают реальных действий (операций), реализуемых человеком-оператором во взаимодействии с техническими и/или программно-информационными средствами. Для общности подхода предполагается, что композиционеры реализуются безошибочно, а время их выполнения практически стремится к нулю, хотя это допущение снижает общность решаемых задач. Использование графического наглядного аппарата, которым являются композиционеры, позволяет весьма адекватно описывать структуры достаточно сложных алгоритмов функционирования различных АСОИУ.
Таблица 4.1
Условные обозначения атомарных функционеров
| Виды функционеров | Наименование | Условное обозначение |
| Рабочий | 
| |
| Основные | Логический (альтернативный) | 
|
| Задержки | 
| |
| Функциональный контроль | 
| |
| Вспомогательные | Диагностический контроль | 
|
| Организационный контроль | 
|
Таблица 4.2
Условные обозначения составных функционеров
| Наименование | Условное обозначение |
| Рабочий с одновременным контролем результатов функционирования | 
|
| Рабочий с одновременной диагностикой техники | 
|
| Рабочий с одновременным контролем результатов функционирования и диагностикой техники | 
|
В состав композиционеров входят стартеры, финишеры, соединители различных типов и ограничители циклов.
1. Стартер 
, обозначающий начало некоторой совокупности действий (операций), части алгоритма или алгоритма в целом.
2. Финишер 
, обозначающий конец некоторой совокупности действий (операций), части алгоритма или алгоритма в целом.
3. Соединители “И”, когда обе параллельно выполняемые единицы функционирования:
- начинаются одновременно 
;
- закончены одновременно 
.
4. Соединители “ИЛИ включающее”:
- когда из двух функционально возможных единиц функционирования может начаться любая или обе вместе 
;
- когда из двух параллельно выполняемых единиц функционирования законченахотя бы одна 
.
5. Соединители “ИЛИ исключающее”:
- когда из двух единиц функционирования может начаться только одна 
;
- когда из двух параллельно выполняемых единиц функционирования закончена только одна 
.
6. Ограничитель циклов 
, имеющий один вход и два выхода, контролирует число циклических повторений единицы (или блоков единиц) функционирования и прекращает выполнение при достижении заданного числа циклов m.
