...化验证;高阶运算;定理证明 [gap=1703]Key words: synchronous dataflow language; formal verification; high-order operation; theorem proving ...
基于1个网页-相关网页
Comprehensive monitoring and control system of Qingzang railway is put forward to be built in order to guarantee the safety operation for the high-class tableland railway.
为了保障青藏铁路一流的高原铁路安全运营,提出了建设青藏铁路综合监控中心系统。
In order to solve this problem, we must study how to build model for high-speed train group during operation.
为解决这个问题,必须要研究如何对高速列车群运行过程建立模型。
In order to manage high accuracy for stock availability, supply chain and logistic operation has to best and aligned with overall business strategy.
为了提高管理库存可用率的精度,供应链和物流操作水平已达到最好,且与总体业务战略相结合。
应用推荐