查询词典 satisfiable

The measuring instrument designed successfully has been applied to attain the characteristic of commercial MO discs. The result of the measurement indicates that the measuring system is satisfiable for science research and teaching experiment.

研制成功的测试设备已应用于商用光盘和实验室制备的磁光薄膜的测量，从测量结果来看，所研制的磁光记录介质特性测试系统完全满足科学研究与教学实验的要求。

The circuit board for roll angle determination is used to test and the result shows that its precision is satisfiable and can meet the need of attitude determination for TCP.

最后设计了两种姿态角标定方法，并利用滚转角辨识系统电路板进行了实验验证，结果表明其精度较高，可以满足弹道修正弹姿态角探测的需要。

Since 2002, Chinas aviation industry began to implement this management mode. Despite a great deal of work, and tens of millions of dollars of being invested, the results are not satisfiable.

目前中国很多企业也已经开展了6σ规划，中国航空工业自2002年就开始推行这一管理模式，目前已经取得显著效果。

Under normal conditions,one cooling water pump and one heat exchanger of closed-circuit cooling water is satisfiable for the requirements of the overall system.

正常情况下一台冷却水泵和一台闭式循环冷却水热交换器可满足整个系统所需的冷却水量，夏季需投运2台冷却水换热器满足机组运行要求。

We proved that in the case where each constraint is easy to satisfy, Model GB exhibits non-trivial behavior (not trivially satisfiable or unsatisfiable).

本文证明了当模型 GB 的约束容易满足时，该模型表现出非平凡的渐进行为（既不是平凡有解的也不是平凡无解的）。

Two subsystems have been unitarily tested and debugged, the result of testing is satisfiable: work stably, well display and playback effect.

所设计的两个子系统已经过联合调试，工作稳定，并且取得了良好的显示和播放效果。

Secondly, the paper puts forward a model to the structure of manufacturing strategy elements, which match manufacturing strategic elements and manufacturing executive elements can achieve competitive advantage. Then their components in this model have been analyzed, the factors which influence the structure of manufacturing strategy elements been discussed. After this, data for empirical research have been extracted and checked from database of IMSS, and examined their reliability and validity. It is satisfiable from the results of CFA for competitive priority.

其次，提出了制造战略要素之间关系结构模型，即制造的战略层次要素和执行层次要素之间的匹配以获得制造竞争优势，并分析了模型中制造的战略层次要素与执行层次要素的内容，讨论了影响制造战略要素关系模型结构的因素，并对模型实证所需的数据进行了考查和析取，对数据的信度和效度进行了分析，特别是从竞争优先权的验证性因子分析的结果来看是比较令人满意的。

The propositional satisfiability problem, which decides whether a given propositional formula is satisfiable, is of central importance in various areas of computer science, including theoretical computer science, algorithmics, artificial intelligence, hardware design, electronic design automation, and verification.

该命题可满足性问题，决定是否给定的命题公式是满足，是至关重要的各个领域的计算机科学，计算机科学等理论， Algorithmics公司，人工智能，硬件设计，电子设计自动化，以及核查。

In the condition of definitive structural parameter and part of operative parameter of impulse engine, the effect of controlling force of impulse engine on correct trajectory is analysed. The number of total layer, impulse of each impulse engine and fire interval are determined when the correct ability and flight stability are satisfiable.

在确定了脉冲发动机的结构参数和部分工作参数的情况下，分析了脉冲发动机控制力对修正弹道的影响能力，确定了在满足修正能力及飞行稳定性的条件下脉冲发动机的总层数、单冲和点火间隔。

We mainly investigate the influence of different covariant representations on the satisfiable extent of the Hugenholtz-Van Hove theorem in the nuclear medium in the framework of DBHF.

结果表明：不同的协变表示对核子自能各分量的动量相关性和密度依赖性均有重要影响，进而对核介质中HVH定理的满足程度产生重要影响。

In the negative and interrogative forms, of course, this is identical to the non-emphatic forms.

。但是，在否定句或疑问句里，这种带有"do"的方法表达的效果却没有什么强调的意思。

Go down on one's knees;kneel down

屈膝跪下。。。下跪祈祷