English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Tools annual

Global: Zendy Free Plan

Global: Zendy Tools monthly

Global: Zendy Plus monthly

Firstly,the model of nondeterministic quantum programs constituted by quantum walks was proposed in 。 and .Secondly,the sets of reachable states·terminating states and diverging states of nondeterministic quantum pro— grams starting in initial states under different measurement operators were discussed.It shows that the termination,di— verging,the sets of reachable states and diverging states of nondeterrninistic quantum programs depend closely on the selection of measurement operators.The nondeterministic quantum programs starting in common initial states under dif— ferent measurement operators is possible to terminate or diverge and the terminating states and diverging states of non— determ inistic quantum programs coexist in the sets of reachable states starting in common initial states.

两类量子游走组成的非确定型量子程序的终止验证 (Verification of Termination for Nondeterministic Quantum Programs Constituted by Two Kinds of Quantum Walks).