satisfiable

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

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

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

[ترجمه گوگل]در نتیجه، مقادیر درجه رضایت‌بخش روش‌های داده‌شده نیز تایتان 95 درصد بیشتر بود
[ترجمه ترگمان]در نتیجه، مقادیر درجه satisfiable روش های ارایه شده نیز از این مقدار بیشتر از ۹۵ % بود
[ترجمه شما] ترجمه صحیح تر را بنویسید

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 پیش‌بینی کرد و روش میانگین زمانی نیز می‌تواند نتیجه را با دقت مهندسی رضایت‌بخش ارائه دهد
[ترجمه ترگمان]نشان داده شد که ساخت دقیق جریان اغتشاش در راکت را می توان با les پیش بینی کرد و روش میانگین زمان نیز می تواند منجر به دقت مهندسی satisfiable شود
[ترجمه شما] ترجمه صحیح تر را بنویسید

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

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

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

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 F حداقل ناراضی است اگر F ناراضی باشد و فرمول حاصل که هر بند را از F حذف می کند راضی کننده است
[ترجمه ترگمان]یک فرمول CNF حداقل unsatisfiable است اگر F unsatisfiable باشد و فرمول ناشی از حذف هر عبارت از F [ F ] satisfiable باشد
[ترجمه شما] ترجمه صحیح تر را بنویسید

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

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

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

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

جمله های نمونه

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

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

بپرس