...机领域,文献[ 10 ]提出了价格时间自 动机(priced timed automata) ,文献[ 11 ]提出了权重 时间自动机( weighted timed automata) , 这些扩展 的自动机为位置和边联系一个priceΠweight 参数, 表示所占用的系统资源的价格,用于描述和求解与 成本相关的可达性问...
基于12个网页-相关网页
weighted timed automata
加权定时自动机
以上为机器翻译结果,长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动