satisfiable

1. As a result, the satisfiable degree values of the given Methods: Were also greater titan 95 %.

[ترجمه ترگمان]در نتیجه، مقادیر درجه satisfiable روش های ارایه شده: همچنین این میزان از ۹۵ درصد هم بیشتر بود
[ترجمه گوگل]در نتیجه، مقادیر رضایت بخش از روشهای داده شده، همچنین 95٪ تیتان بیشتر بود

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

[ترجمه ترگمان]در نتیجه، مقادیر درجه satisfiable روش های ارایه شده نیز از این مقدار بیشتر از ۹۵ % بود
[ترجمه گوگل]در نتیجه، مقادیر درجه رضایت از روش های داده شده نیز بیشترین مقدار titan 95٪ بود

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

[ترجمه ترگمان]تابع درجه satisfiable برای ارزیابی میزان رضایت پرسنل ارایه شد
[ترجمه گوگل]عملکرد درجه ای رضایت بخش برای ارزیابی درجه کارکنان ارائه شد

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

[ترجمه ترگمان]توسعه یک ابزار تست satisfiable دشوار است اغلب ابزارها فقط برای یک یا چند زبان برنامه کار می کنند
[ترجمه گوگل]یک ابزار تست رضایتبخش دشوار است اکثر ابزار فقط برای یک یا چند زبان برنامه کار می کنند

5. 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.

[ترجمه ترگمان]نشان داده شد که ساخت دقیق جریان اغتشاش در راکت را می توان با les پیش بینی کرد و روش میانگین زمان نیز می تواند منجر به دقت مهندسی satisfiable شود
[ترجمه گوگل]نشان داده شده است که ایجاد جزئیات آشفتگی در موشک می تواند توسط LES پیش بینی شود، و همچنین روش متوسط زمان می تواند نتیجه را با دقت مهندسی رضایت بخش ارائه دهد

6. In this latter case, we would say that the function is unsatisfiable; otherwise it is satisfiable .

[ترجمه ترگمان]در این مورد اخیر، می گوییم که تابع unsatisfiable است؛ در غیر این صورت it است
[ترجمه گوگل]در این مورد اخیر، می توان گفت که عملکرد غیرقابل تحمل است؛ در غیر این صورت رضایت بخش است

7. 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 در زمان محدود satisfiable است یا نه الگوریتم DPLL و رد قطعنامه دو روش کلیدی برای حل مشکلات SAT هستند
[ترجمه گوگل]یک الگوریتم SAT می تواند تعیین کند که آیا هر فرمول داده شده در CNF در زمان محدود رضایت بخش است الگوریتم DPLL و تقلید قطعنامه دو روش کلیدی برای حل مشکلات SAT هستند

8. But after over ten years development, the whole performance of the listed companies of Chongqing is not satisfiable .

[ترجمه ترگمان]اما بعد از ده سال توسعه، کل عملکرد شرکت های فهرست شده در Chongqing satisfiable نمی باشد
[ترجمه گوگل]اما پس از بیش از ده سال توسعه، تمام عملکرد شرکت های ذکر شده در Chongqing رضایت بخش نیست

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

[ترجمه ترگمان]این مقاله به طور عمده بر پایه تیوری تحلیل و آزمایش داده های بازسازی طرح، پارامترهای منطقی اقتصادی و اقتصادی را انتخاب می کند
[ترجمه گوگل]این مقاله به طور عمده نظریه تجزیه و تحلیل تئوری و داده های تست از بازسازی طراحی برای مخلوط، انتخاب پارامترهای منطقی اقتصادی و رضایت بخش

10. When number of variables is not big, computing result of the satisfiable probability is consistent with the previous facts.

[ترجمه ترگمان]هنگامی که تعداد متغیرها زیاد نیست، محاسبه احتمال the با حقایق قبلی سازگار است
[ترجمه گوگل]وقتی تعداد متغیرها بزرگ نیست، نتیجه محاسبات احتمال رضایت با واقعیت های قبلی سازگار است

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

[ترجمه ترگمان]یک فرمول CNF حداقل unsatisfiable است اگر F unsatisfiable باشد و فرمول ناشی از حذف هر عبارت از F [ F ] satisfiable باشد
[ترجمه گوگل]یک فرمول FF CN کمتر مطلوب است اگر F غیر قابل قبول باشد و فرمول حاصل هر کس را از F حذف کند قابل رفع است

12. Inspired by this fact, we introduce a new SAT solver based on finding satisfiable 2-SAT sub problem.

[ترجمه ترگمان]با الهام از این حقیقت، ما یک حل کننده SAT جدید مبتنی بر یافتن مساله فرعی ۲ - SAT را معرفی می کنیم
[ترجمه گوگل]با الهام از این واقعیت، ما یک حل کننده SAT جدید را بر اساس پیدا کردن مشکل رفاهی 2-SAT معرفی می کنیم

13. 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 در زمان محدود satisfiable است یا نه الگوریتم DPLL و رد قطعنامه دو روش کلیدی برای حل مشکلات SAT هستند
[ترجمه گوگل]الگوریتم SAT می تواند تعیین کند که آیا هر فرمول داده شده در CNF در زمان محدود قابل رفع است الگوریتم DPLL و تقلید قطعنامه دو روش کلیدی برای حل مشکلات SAT هستند

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

[ترجمه ترگمان]احتمال رویداد پیش بینی شده را می توان به مدل مارکوف داده شد این دقت satisfiable است
[ترجمه گوگل]احتمال وقوع رویداد پیش بینی شده توسط مدل مارکف می تواند باشد دقت رضایت بخش است

انگلیسی به فارسی

انگلیسی به انگلیسی

جملات نمونه

پیشنهاد کاربران