After several months of research and prototype, I finally found 2 research articles describing the usage of SAT solvers in very similar situations.
经过几个月的研究和原型搭建，我们发现了两篇研究论文不异而同地谈到了SAT求解程序在类似情况下的使用。
Listing 2 shows how to define a resource with a prototype (per-request) life cycle.
清单2展示了如何使用原型(每个请求)生命周期定义资源。
The driving forces of some typical trajectories are analyzed. The difference between the numerical simulation result of the virtual prototype and those in ADAMS is less than 2%.
对几个典型轨迹下激励器所需的驱动力进行了数值计算分析，计算结果与基于ADAMS建立的虚拟样机仿真结果相比不超过2%。
A Ho 2-29 prototype made a successful test flight just before Christmas 1944.
就在1944年圣诞节前Ho 2 - 29原型完成了一次成功试飞。
Listing 1 and Listing 2 show really basic examples of these two requests (using the Prototype framework).
清单1和清单2显示的是这两个请求的基本样例(使用Prototype框架)。
Based on available frequency standards: one prototype laboratory model of cesium clock, three hydrogen clocks and several (2-6) rubidium clocks, the SO atomic time scale has been established.
利用我们现有的标准，一台试验型实验室铯束标准，三台氢原子钟以及若干台(2 -6)铷气泡标准来建立原子时尺度。
In Chapter 2, based on the analysis of the functional object of the ACR prototype system, a whole hardware scheme of ACR prototype system is presented.
第二章在对ACR原型系统的功能目标进行具体分析和细化的基础上，给出了ACR原型系统的整体硬件结构设计方案。
The predictor-corrector methods to determine Manning coefficient in the 2-D tidal wave movement equation is put up through the regression theory of numerical model and prototype.
通过数学模型和原型的相关理论推导了二维潮波运动方程中曼宁系数的预估校正法。
Normally, this result should be defuzzified to obtain a real value, but in this case it still remains fuzzy to indicate the score given to the prototype(Table 2).
通常，该结果应通过解模糊化才能获得其真值。但是，在这种情况下，它仍旧保持模糊化，以表示该原形得到的分值（表2）。
Y-5 cargo-transport plane, the first cargo plane produced by P. R. China. The prototype is An-2, a biplane designed in 1940s' in USSR. Y-5 is produced by Nanchang Airplane Company.
运- 5运输机是我国第一种自行制造的运输机，由南昌飞机制造公司负责，其原型为苏联40年代设计的安- 2运输机。
Y-5 cargo-transport plane, the first cargo plane produced by P. R. China. The prototype is An-2, a biplane designed in 1940s' in USSR. Y-5 is produced by Nanchang Airplane Company.
运- 5运输机是我国第一种自行制造的运输机，由南昌飞机制造公司负责，其原型为苏联40年代设计的安- 2运输机。
应用推荐