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.

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

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.

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

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

[ترجمه ترگمان]Prover: Zgonghualai، مدیر کل شرکت املاک Huainan Kaiyuan
[ترجمه گوگل]گواهینامه 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 - ثابت را به چالش ارائه of اعمال می کند
[ترجمه گوگل]برای محاسبه این پاسخ، Prover کلید خصوصی برای نشان نشان U-Prove را به یک چالش ارائه کننده Verifier اعمال می کند

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.

[ترجمه ترگمان]هنگامی که 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.

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

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

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

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

جملات نمونه

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