查询词典 automated programming

The only transmission offered is the six-speed manual with Synchro RevMatch, Nissan's brilliant automated heel-and-toe programming that blips the throttle to match revs on downshifts.

唯一的传输提供的是6速手动与同步RevMatch ，日产的光辉自动化竞走节目blips油门转速相匹配的downshifts 。

Using abstract programming language, such as Apia, the specification and derivation of the algorithmic program in six typical trees, graph problem is described. The standard proof and formal derivation is implemented by two above new strategies for developing loop invariants. The algorithm in Apia is transformed into corresponding program in Delphi and C++ by the automated algorithmic transformation system that Partition-and-Recur method provided and correct result is received. These improve reliability and developing efficiency of the kind of complex algorithm.

利用抽象程序设计语言Apla精确描述了6个典型树、图等问题的程序规约和求解算法程序，用上述提出的两种新策略开发了循环不变式，实现了严格的形式化推导或证明，并用PAR方法提供的算法程序自动转换系统将得到的Apla算法程序转换成对应的Delphi和C~程序，均得到了正确的运行结果，大幅度地提高了这类复杂算法程序的可靠性和开发效率。

Chrysanthemum of 10 thousand birthday is lax to edaphic requirement, with the arenaceous qualitative loam with fecund, good drainage had better.

万寿菊对土壤要求不严，以肥沃。排水良好的砂质壤土为好。

He unstepped the mast and furled the sail and tied it.

他拔下桅杆，把帆卷起，系住。