로그인
통찰 - Timed Discrete-Event Systems
시간 제약 이산 이벤트 시스템은 동기식 곱 구조이다
시간 제약 이산 이벤트 시스템(TDES)은 본질적으로 동기식 곱 구조이며, 활동 오토마타와 타이머 오토마타의 모델 변환 후 일반화된 동기식 곱 규칙을 통해 생성될 수 있다.
時間制約付き離散事象システムは同期積構造である
時間制約付き離散事象システム（TDES）は、本質的に同期積構造であり、アクティビティオートマトンとタイマーオートマトンから構築できる。
Constructing Timed Discrete-Event Systems Using Synchronous Product Structures
Timed discrete-event systems (TDES) can be constructed as synchronous product structures from their constituent components: the activity automaton and timer automata, providing a structured and modular approach to TDES modeling.
© 2024 by Linnk AI