A new algorithm,HTPN based Hierarchically Timed Tree(HTT),was presented to implement the analysis and verification of static and dynamic availability.
英
美
释义
在时间方面,提出了基于层次时间Petri网工作流模型的层次时间树算法,并给出了时间可达性的静态和动态分析与验证方法。
把海词放在桌面上,查词最方便
触屏版
|
电脑版
©2003 - 2025 海词词典(Dict.cn)
立即下载