equational

1. Equational Programming Language (EP) is a novel intelligence language.

[ترجمه گوگل]زبان برنامه نویسی معادله (EP) یک زبان هوشمند جدید است
[ترجمه ترگمان]زبان برنامه نویسی equational (EP)یک زبان اطلاعاتی نوین است
[ترجمه شما] ترجمه صحیح تر را بنویسید

2. These equational laws are similar to those used in mathematics to show that two expressions are equivalent.

[ترجمه ساعی رضایی] این قواعدِ معادله ای شبیه آنهایی هستند که در ریاضی استفاده میشوند برای نشان دادن اینکه دو عبارت معادل هستند

1|0

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

3. The Equational Sentence and the Equative sentence are similar in form, but are quite different if analyzed semantically.

[ترجمه ساعی رضایی] جمله معادله ای و جمله مساوی از نظر فرم ظاهری شبیه هم عستند ولی کاملا متفاوت هستند اگر از نظر معنایی تجزیه و تحلیل بشوند

1|0

[ترجمه گوگل]جمله معادله و جمله معادله از نظر شکل مشابه هستند، اما اگر از نظر معنایی تحلیل شوند کاملاً متفاوت هستند
[ترجمه ترگمان]جمله equational و جمله حبس به شکل مشابه هستند، اما اگر به لحاظ معنایی آنالیز شوند کاملا متفاوت هستند
[ترجمه شما] ترجمه صحیح تر را بنویسید

4. Problems of equational realizations of separable functions and nonseparable functions are discussed by using this method in this paper.

[ترجمه گوگل]مشکلات تحقق معادله توابع تفکیک پذیر و توابع غیرقابل تفکیک با استفاده از این روش در این مقاله مورد بحث قرار گرفته است
[ترجمه ترگمان]مشکلات ناشی از تحقق کارکرده ای قابل تفکیک تابعی و توابع nonseparable با استفاده از این روش در این مقاله مورد بحث قرار می گیرند
[ترجمه شما] ترجمه صحیح تر را بنویسید

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

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

6. A new arithmetic using relativity to judge array ambiguity is introduced. The shortage of equational arithmetic when array is complex and arithmetic of searching the spectrum peaks is conquered.

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

7. Cooperated now on market multifarious, dimension no longer onefold books, broke the fixed frame of traditional bookshelf, the limitation with equational space, use rise convenient freely.

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

8. Induced a kind of convenient procedure for the solution of the linearity equational group.

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

9. It can be proved that MRRC yields asymptotic stability through theoretical analysis and equational results. At last the effective result is proved by the simulation curves.

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

10. In this paper, an explicit induction method in rewriting systems is proposed, and a new algorithm based on it is designed to prove inductive theorems of equational systems.

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

11. The similarity method of mass flow, as it is called in this paper, is different from the methods of equational analysis and the dimensional analysis.

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

12. By means of constructional iterative equation, this paper presents a way to give out the existence and singularity of a type of equational root with gradual approach method.

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

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

تخصصی

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

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

بپرس