网站首页
词典首页
请输入您要查询的英文单词或汉字:
词汇
timed automation
释义
timed automation
基本
例句
时间自动机
This paper solves a reachability problem in priced probabilistic timed automata, which is minimal cost ensuring a probabilistic lower bound.
摘要着重解决代价和概率时间自动机模型的可达性问题,即满足一定概率要求的最小代价问题。
随便看
Neurologic Disorders
Neurologic Disorders,Degenerative
Neurologic Dysfunction
Neurologic Dysfunctions
Neurologic dysphonia
Neurologic Effect
Neurologic Effects
neurologic examination
Neurologic Examination
Neurologic Examinations
neurologic expertise
Neurologic Finding
Neurologic Findings
Neurologic form of cretinism
neurologic function
neurologic function score
Neurologic Gait Disorder
Neurologic Gait Disorders
Neurologic Gait Dysfunction
Neurologic Gait Dysfunctions
Neurologic hoarseness
neurologic impairment
Neurologic impairment score
neurologic integration
neurologic law
英汉汉英双解词典包含9999994条英汉翻译词条,涵盖了常用英语单词及词组短语的翻译及用法,是英语学习的必备工具。
Copyright © 2000-2024 tbdmj.com All Rights Reserved
更新时间:2025/5/11 19:43:29