Korean 양자 알고리듬 Cited by user Kobmuiv on 21 Feb 2023 양자 계산에서 양자 알고리듬은 양자 계산의 실제 모델에서 실행되는 알고리듬이며 가장 일반적으로 사용되는 모델은 계산의 양자 회로 모델이다. 고전적(또는 비양자적) 알고리듬은 유한한 명령 열 또는 문제를 해결하기 위한 단계별 절차로, 각 단계 또는 명령은 기존 컴퓨터에서 수행할 수 있다.
English Petri net Cited by user InternetArchiveBot on 13 Feb 2020 A Petri net, also known as a place/transition (PT) net, is one of several mathematical modeling languages for the description of distributed systems.
English Metric interval temporal logic Cited by user Arthur MILCHIOR on 10 Mar 2019 In model checking, the Metric Interval Temporal Logic (MITL) is a fragment of Metric Temporal Logic (MTL).
English Metric temporal logic Cited by user Arthur MILCHIOR on 10 Mar 2019 Metric temporal logic (MTL) is a special case of temporal logic. It is an extension of temporal logic in which temporal operators are replaced by time-constrained…