Core Concepts
부울 네트워크 동적 시스템 모델링을 위해 과거 구성 정보를 활용하는 새로운 업데이트 모드를 제안하고, 이를 기존 모드와 비교 분석한다.
Abstract
부울 네트워크는 복잡한 동적 시스템을 모델링하는 데 널리 사용되며, 구성 요소의 상태 변화에 대한 인과 관계와 동기화를 포착하는 것이 핵심이다.
부울 네트워크 동적은 부울 매핑과 업데이트 모드에 의해 결정된다. 업데이트 모드는 네트워크 구성의 가능한 전이를 지정한다.
이 논문에서는 과거 구성에 대한 메모리를 가진 업데이트 모드를 탐구하고 일반적인 프레임워크를 제공한다.
최근 도입된 가장 허용적 및 간격 모드와 같은 모드를 이 프레임워크에서 자연스럽게 표현할 수 있다.
새로운 히스토리 기반 및 트래핑 모드를 제안하고 이들을 기존 모드와 포괄적으로 비교한다.
트래핑 동적이 전이 동적과 관련된 풍부한 네트워크 클래스를 나타내며 교환 네트워크를 포함한다는 것을 보여준다.
최소 및 주요 트랩 공간의 구조에 대한 심층적인 특성화를 제공한다.
Stats
구성 x에서 구성 y로의 전이 x →* y는 y가 x의 주요 트랩 공간 Tf(x)에 포함되는 경우에만 가능하다.
트래핑 동적과 가장 허용적 동적은 최소 트랩 공간에 대한 도달 가능성에서 일치한다.
Quotes
"트래핑 동적은 전이 동적과 관련된 풍부한 네트워크 클래스를 나타내며 교환 네트워크를 포함한다."
"최소 및 주요 트랩 공간의 구조에 대한 심층적인 특성화를 제공한다."