satisfiable

satisfiable

1. It is known that the problem of extending a Horn formula into a MU(1) formula is solvable in polynomial time. But for a general satisfiable CNF formula F,the extension problem is still open.

Horn公式到MU(1)公式的扩张问题可在多项式时间内解决,但对一般CNF公式F的扩张问题,至今尚未解决。

2. A CNF formula F is minimal unsatisfiable (MU) if F is unsatisfiable and deleting an arbitrary clause results a satisfiable formula.

一个CNF公式F称为极小不可满足的(MU)，如果F是不可满足，并且在F中删去任意一个子句后所得到的公式是可满足的。

3. A SAT algorithm can determine whether any given CNF formula is satisfiable in limited time. DPLL algorithm and resolution refutation are two key methods resolving SAT problems.

一个SAT算法能在有限时间内判定任意给定的CNF公式是否可满足，DPLL算法和消解反驳法是判定SAT问题的两个重要方法。

4. 6.A CNF formula F is minimal unsatisfiable if F is unsatisfiable and the resulting formula deleting anyone clause from F is satisfiable.

一个公式是极小不可满足的是指公式不可满足而且从中删去任一个子句后得到的公式可满足。

5. A CNF formula F is minimally unsatisfiable if F is unsatisfiable and the resulting formula deleting any one clause from F is satisfiable.

一个公式是极小不可满足的是指该公式本身不可满足,而且从中删去任意一个子句后得到的公式可满足.

6. It is proved that model reference fuzzy adaptive controller is a controller satisfiable to the control of oil pump loading system.

从控制效果来看，所设计的控制器基本能满足抽油机加载系统的控制要求，对抽油机加载系统的控制是比较合适的解决方案。

7. And the dietitians announced that we Chinese people still don't ingest satisfiable amount of fruit.

可是，这水果该什么时候吃好呢？

8. satisfiable formulas

可满足公式

9. The satisfiable degree function was presented to evaluate to personnel satisfied degree.

对于问题二，给出了满意度函数用来评价公众满意程度。

10. It is difficult to develop a satisfiable testing tool.Most tools only work for one or several program language.

摘要软件测试工具很难达到通用的目标，大多数该类工具都是具体针对某一种或几种程序语言的。

11. For the hardest problems, the probability of being satisfiable is approximately 0.5.

更为有趣的是，几乎所有的难解实例都位于可满足概率突然转变的区域内，最难解的实例可满足的概率大约是0.5。

12. In the end of my paper, I provide a realizable EIHDR system scheme based on J2EE and achieve a comparatively satisfiable effect in the cource of practical enterprise applications.

最后给出了基于J2EE架构的系统设计与实现方案，并成功地运行于实际的企业应用中，取得了较好效果。

13. This paper mainly analysis theory base and testing data of design rebuild for agitator, select rational parameters economical and satisfiable.

本文主要分析混合槽设计改造的理论基础及试验数据，与生产实践相结合，选择既经济又能满足生产要求的合理化参数。

14. 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的约束容易满足时，该模型表现出非平凡的渐进行为（既不是平凡有解的也不是平凡无解的）。

15. In application, this system has been used to process a large numbers of page images, and has shown efficient and satisfiable performance.

本系统采用了自顶向下方法与自底向上方法相结合、自动处理与人工修正相结合的设计思想。

16. maximal satisfiable subformula

极大可满足子式

17. Due to exerting prestress, the structure has satisfiable self-centering capability.

此外由于施加了预应力，使得该结构具有良好的恢复力特性。

18. Besides, by choosing a suitable and deterministic Gossip code as inner code, our construction attains the satisfiable code length.

此外，通过选择合适的GOSSIP码作为内码，级联码可以获得理想的码长。

19. The probability of the event predicted can be given by Markov Model.The precision is satisfiable.

经检验，两模型可预测流域旱涝灾害发生的时间及其概率，并具有较高的精度。

20. The underwater blurry images based on the measured MTF by using the Wiener filter and Kalman filter are restored and the results are satisfi ctory.The b...

结果表明 ,利用计算机采用一定的算法对散射性质已知的水体造成的图象模糊可以进行有效的复原 ,且良好效果。

21. It was shown that the detail construction of turbulence in rocket can be predicted by LES,and the time-averaged method also can give the result with satisfiable engineering precision.

结果表明:大涡模拟技术可以得到发动机内湍流流场中详细拟序结构,时均湍流模拟对于火箭发动机内流场时均量的模拟仍有较好的工程精度。

22. As a result, the satisfiable degree values of the given methods were also greater titan 95%.

结果表明两种预报方法公众的满意度都在95%以上。

23. satisfiable needs and desires.

能够满足的需要和愿望

24. By means of the momentbalance both a centroid and a neutral axis are closed up,and from that the satisfiable result of avoiding bendof a thread will be obtained.

通过力矩平衡关系，使异形孔截面上形心轴向中性轴逼近，从而获得满意的削减细流弯曲的结果。

25. Extraordinarily, the effect of air speed is move apparent.By choosing resonable condition of quench air, satisfiable evenness of PET POY will be obtained.

通过选择更合理的侧吹风条件获得较为良好的条干不匀率。

26. It is a very feasible operation with relatively invasive procedure and satisfiable functional recovery. It is effective treatment we strongly recommend.

闭合穿钉内固定治疗不稳定性胫骨骨折,其手术方法简便易行,手术损伤小,功能恢复满意,是一个效果确实值得推广的方法.