පර්යේෂණ පත්‍රිකා අධීක්ෂණය

John S. H. Baxter සහ Pierre Jannin, arXiv පූර්ව මුද්‍රණය (preprint), 2026 අගෝස්තු 10; සම මට්ටම් සමාලෝචනයට (peer review) ලක් කර නොමැත.

ගැටලුව: අදියර-හඳුනාගැනීමේ ආකෘති (phase-recognition models) සංඛ්‍යානමය වශයෙන් සාධාරණ නමුත් ටොපොලෝජික වශයෙන් (topologically) කළ නොහැකි සංක්‍රමණ ජනනය කළ හැකිය. මෙම දායකත්වය කාල-තර්ක ප්‍රකාශ (temporal-logic predicates) සහ සම්භාවිතා ආකෘතිකරණය (probabilistic modelling) මගින් දෝෂ ප්‍රමාණාත්මකව මැනීම සහ පාලනය කරයි. එය වැඩප්‍රවාහ-දැනුවත් වූ වෛද්‍ය පද්ධති (workflow-aware medical systems) සඳහා විධිමත් සීමා-සහතික ස්ථරයක් (formal constraint-assurance layer) ලෙස සේවය කළ හැකිය. සීමාවන්: සිමියුලේෂනය පමණි, එකම ශල්‍යකර්ම වැඩප්‍රවාහයක්, කර්තෘ වාර්තා කළ අතර, ස්වාධීන ප්‍රතිනිෂ්පාදනයක් හෝ සායනික-යෙදීමේ සාක්ෂි නොමැත.