퍼지 프로세스와 동시성 연산의 새로운 시각

초록

본 논문은 장치와 환경 사이의 퍼지 접촉을 형식화한 ‘퍼지 프로세스’ 개념을 제시하고, 절대적·상대적 정확성을 정의한다. 또한 동시성을 다루기 위해 여러 인터랙티브 프로세스를 하나의 프로세스로 결합하는 방법을 제안하고, 그 결과 행동을 분석한다.

상세 분석

논문은 먼저 기존의 프로세스 이론이 이산적이고 명확한 전이만을 다루는 한계를 지적한다. 실제 시스템에서는 장치와 환경 사이의 상호작용이 불확실성과 부분적 일치를 포함하는 경우가 많아, 이를 모델링하기 위해 ‘퍼지 집합’ 개념을 프로세스 전이와 결합한 퍼지 프로세스를 도입한다. 퍼지 프로세스는 각 전이가 발생할 가능성을 0과 1 사이의 값으로 표현하며, 이는 전이의 신뢰도 혹은 실행 가능성을 정량화한다.

절대적 정확성은 퍼지 프로세스가 목표 사양과 완전히 일치하는 경우를 의미하고, 상대적 정확성은 허용 오차 범위 내에서 목표와 유사한 동작을 보이는 경우로 정의된다. 이러한 정의는 시스템 검증 단계에서 정형적 방법과 퍼지 논리를 연결하는 교량 역할을 한다.

동시성 측면에서는 여러 퍼지 프로세스를 병렬로 실행할 때 발생하는 상호작용을 하나의 복합 퍼지 프로세스로 통합한다. 저자는 합성 연산자를 도입해 각각의 프로세스가 독립적으로 진행되는 동안 발생할 수 있는 충돌, 자원 경쟁, 동기화 문제를 퍼지 전이의 결합 규칙으로 모델링한다. 이때 전이 결합은 최소값, 최대값, 평균값 등 다양한 퍼지 연산을 적용해 구현 가능하며, 선택된 연산에 따라 시스템 전체의 정확도와 안정성이 달라진다.

실험에서는 간단한 생산 라인 제어와 네트워크 프로토콜 교환 사례를 통해 제안된 모델의 적용 가능성을 검증한다. 결과는 퍼지 전이 결합이 기존의 이산적 동시성 모델보다 더 유연한 오류 허용 범위를 제공하면서도, 절대적 정확성을 유지하거나 상대적 정확성을 정량적으로 평가할 수 있음을 보여준다.

이 논문은 퍼지 논리를 프로세스 이론에 통합함으로써, 불확실성을 내재한 시스템의 설계·검증·동시성 관리에 새로운 패러다임을 제시한다는 점에서 학술적·실용적 의의가 크다.