prover

1. This is an automated theorem prover for first-order and equational logic, used to support inference in language processing.

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

2. In order for a Prover to retrieve a U-Prove token from an Issuer, the two parties must engage in an instance of the U-Prove issuance protocol.

[ترجمه گوگل]برای اینکه یک Prover یک توکن U-Prove را از یک صادرکننده بازیابی کند، دو طرف باید در یک نمونه از پروتکل صدور U-Prove شرکت کنند
[ترجمه ترگمان]به منظور بازیابی یک نشانه U - ثابت از صادر کننده، طرفین باید در یک نمونه از پروتکل انتشار U - ثابت درگیر شوند
[ترجمه شما] ترجمه صحیح تر را بنویسید

3. Prover:Wangjida, General Manager in Anhui Risheng Real Estate Co. now.

[ترجمه گوگل]ارائه دهنده: وانگیدا، مدیر کل در شرکت املاک و مستغلات آنهویی ریشنگ در حال حاضر
[ترجمه ترگمان]Prover: Wangjida، مدیر کل شرکت املاک Real Anhui در حال حاضر
[ترجمه شما] ترجمه صحیح تر را بنویسید

4. The Prover randomly generates it during the issuance protocol, together with a corresponding private key for the U-Prove token.

[ترجمه گوگل]Prover به طور تصادفی آن را در طول پروتکل صدور به همراه یک کلید خصوصی مربوط به توکن U-Prove تولید می کند
[ترجمه ترگمان]The به طور تصادفی آن را در طول پروتکل صدور به همراه کلید خصوصی مربوطه برای یک نشانه زیر تولید می کند
[ترجمه شما] ترجمه صحیح تر را بنویسید

5. Prover: Zgonghualai, a General Manager in Huainan Kaiyuan Real Estate Co.

[ترجمه گوگل]ارائه دهنده: Zgonghualai، مدیر کل شرکت Huainan Kaiyuan Real Estate
[ترجمه ترگمان]Prover: Zgonghualai، مدیر کل شرکت املاک Huainan Kaiyuan
[ترجمه شما] ترجمه صحیح تر را بنویسید

6. To compute this response the Prover applies the private key for the U-Prove token to a presentation challenge of the Verifier.

[ترجمه گوگل]برای محاسبه این پاسخ، Prover کلید خصوصی را برای نشانه U-Prove به چالش ارائه Verifier اعمال می کند
[ترجمه ترگمان]برای محاسبه این پاسخ، Prover کلید خصوصی برای یک نشانه ویژه U - ثابت را به چالش ارائه of اعمال می کند
[ترجمه شما] ترجمه صحیح تر را بنویسید

7. The ownership prover insert the watermark into the host signal using symmetric watermark technology based on spread spectrum.

[ترجمه گوگل]اثبات مالکیت با استفاده از فناوری واترمارک متقارن بر اساس طیف گسترده، واترمارک را در سیگنال میزبان قرار می دهد
[ترجمه ترگمان]The مالکیت، نشانه را در سیگنال میزبان با استفاده از فن آوری watermark متقارن براساس طیف گسترده قرار می دهد
[ترجمه شما] ترجمه صحیح تر را بنویسید

8. Effective use of a theorem prover requires a solid understanding of the internal operations of the tool and a familiarity with the mathematical proof process.

[ترجمه گوگل]استفاده موثر از یک اثبات قضیه مستلزم درک کاملی از عملیات داخلی ابزار و آشنایی با فرآیند اثبات ریاضی است
[ترجمه ترگمان]استفاده موثر از یک قضیه prover نیازمند درک درست عملیات داخلی ابزار و آشنایی با فرآیند اثبات ریاضی است
[ترجمه شما] ترجمه صحیح تر را بنویسید

9. When the Prover wants a token, he contacts the Issuer through the Issuance Protocol presenting his attributes in a cryptic form.

[ترجمه گوگل]هنگامی که Prover یک توکن می‌خواهد، از طریق پروتکل صدور با صادرکننده تماس می‌گیرد و ویژگی‌های خود را به شکلی مرموز ارائه می‌کند
[ترجمه ترگمان]هنگامی که the به یک نشانه نیاز دارد، او با صادر کننده از طریق پروتکل Issuance که ویژگی های خود را به شکل مرموزی به نمایش می گذارد، با صادر کننده تماس می گیرد
[ترجمه شما] ترجمه صحیح تر را بنویسید

10. If shales prover non - reactive, allow Lime content to deplete.

[ترجمه گوگل]اگر شیل ها غیر واکنشی هستند، اجازه دهید محتوای آهک کاهش یابد
[ترجمه ترگمان]اگر shales prover غیر فعال باشد، به Lime اجازه تخلیه را می دهد
[ترجمه شما] ترجمه صحیح تر را بنویسید

11. The Issuer may use various means to authenticate the Prover including accessing information contained in U-Prove tokens generated by other Issuers.

[ترجمه گوگل]صادرکننده ممکن است از ابزارهای مختلفی برای احراز هویت Prover استفاده کند، از جمله دسترسی به اطلاعات موجود در توکن‌های U-Prove تولید شده توسط سایر صادرکنندگان
[ترجمه ترگمان]صادر کننده ممکن است از ابزارهای مختلفی برای اعتبارسنجی the از جمله دسترسی به اطلاعات موجود در tokens U - ثابت تولید شده توسط سایر issuers استفاده کند
[ترجمه شما] ترجمه صحیح تر را بنویسید

12. This paper proposes an automatic calibration system of bell prover gas calibration facility.

[ترجمه گوگل]این مقاله یک سیستم کالیبراسیون خودکار تاسیسات کالیبراسیون گاز پروور بل را پیشنهاد می‌کند
[ترجمه ترگمان]این مقاله یک سیستم کالیبراسیون خودکار برای تسهیلات کالیبراسیون گاز prover پیشنهاد می کند
[ترجمه شما] ترجمه صحیح تر را بنویسید

13. Testification of investigational practice is composed of the person be proved, prover, method of proving, which are the three fundamental elements.

[ترجمه گوگل]شهادت عمل تحقیقی مرکب از شخص قابل اثبات، اثبات، روش اثبات است که سه عنصر اساسی هستند
[ترجمه ترگمان]Testification، روش اثبات، که سه عنصر اساسی هستند، از آن فرد ساخته شده است
[ترجمه شما] ترجمه صحیح تر را بنویسید

14. Or else, the abstraction may throw away so much information that the theorem prover may yield results that are correct for the abstraction, but incorrect for the program being analysed.

[ترجمه گوگل]یا در غیر این صورت، انتزاع ممکن است اطلاعات زیادی را دور بریزد که اثبات قضیه ممکن است نتایجی را به دست دهد که برای انتزاع صحیح است، اما برای برنامه مورد تجزیه و تحلیل نادرست است
[ترجمه ترگمان]در غیر این صورت ممکن است انتزاع به قدری اطلاعات را دور بیاندازد که قضیه prover ممکن است نتایجی را به دست آورد که برای انتزاع درست هستند، اما برای برنامه آنالیز شده اشتباه هستند
[ترجمه شما] ترجمه صحیح تر را بنویسید

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

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

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

بپرس