A Quantum Algorithm for System Specifications Verification

Verifying system specifications is a crucial requirement in science and technology, as it improves accuracy and efficiency in systems engineering. However, traditional computers are time-consuming and cannot efficiently check the consistency of system specifications for classical and quantum systems...

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	IEEE internet of things journal Ročník 11; číslo 14; s. 24775 - 24794
Hlavní autoři:	Zidan, Mohammed, Eisa, Ahmed M., Qasymeh, Montasir, Shoman, Mahmoud A. Ismail
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Piscataway IEEE 15.07.2024 The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Témata:	Algorithms Complexity Computers Concurrence Efficiency entanglement Prediction algorithms Quantum algorithm quantum algorithms Quantum computing Quantum entanglement Quantum system Quantum theory Qubit sensors Specifications Systems engineering
ISSN:	2327-4662, 2327-4662
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!