Detekce úzkých hrdel
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21230%2F18%3A00329772" target="_blank" >RIV/68407700:21230/18:00329772 - isvavai.cz</a>
Výsledek na webu
<a href="https://github.com/master-keying/mks" target="_blank" >https://github.com/master-keying/mks</a>
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
čeština
Název v původním jazyce
Detekce úzkých hrdel
Popis výsledku v původním jazyce
Řešení systému generálního a hlavních klíčů (SGHK) je problém nalezení uzávěrů mechanických klíčů a komponent cylindrických vložek tak, aby byly respektovány zákazníkem definované přístupy klíčů do vložek. Software se zaměřuje na systémy, které nemají řešení nebo jejichž řešení je těžko nalezitelné a dovoluje odhalit skupinu omezujících podmínek, které mají největší vliv na nesplnitelnost úlohy.
Název v anglickém jazyce
Bottleneck Detection
Popis výsledku anglicky
Lock-chart solving aka master-key system (MKS) solving is the discipline of finding mechanical key cuttings and lock components that match user-specified access rights. This project focuses on lock-charts, which do not have a solution or where the solution is hard to find. It finds a group of constraints that have the greatest impact on the calculation.
Klasifikace
Druh
R - Software
CEP obor
—
OECD FORD obor
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Návaznosti výsledku
Projekt
<a href="/cs/project/TH02010824" target="_blank" >TH02010824: Návrh velkých zámkových systémů pomocí umělé inteligence (CyberCalc)</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Ostatní
Rok uplatnění
2018
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Interní identifikační kód produktu
012019
Technické parametry
Algoritmus dostane na vstupu skupiny omezujících podmínek. Prochází jednu skupinu po druhé a pro každou z nich počítá počet vlastních klíčů, který je v SGHK možno dopočíst. Tento výpočet je obecně velmi složitý, kvůli čemuž se využívá překlad úlohy na #SAT a efektivní kódování pseudo-boolovských podmínek pomocí binárních sčítaček. Upočitatelnosti je doaženo použitím jazyka C++ a využitím knihoven pblib a sharpSAT.
Ekonomické parametry
Zákazníkem pro popsaný software je společnost na výrobu klíčů a zámků. Protože počítání těchto systémů ručně či polo-automaticky je stále běžnou průmyslovou praxí, největší předpokládáný benefit pro zákazníka je úspora nákladů za lidskou práci. Implementované algoritmy jsou obecné a musí být přizpůsobeny konkrétnímu zákazníkovy a jeho mechanickému řešení SGHK. Pro odhad nákladů je klíčová právě míra přizpůsobení.
IČO vlastníka výsledku
68407700
Název vlastníka
České vysoké učení technické v Praze