انجمنصفحه اولجستجوی انجمن

[لهمشد]

با سلام:
اگه اشکالی نداره این بخش رو راه بندازیم برای ترجمه جملات و کلا بحث ترجمه متون کامپیوتری فقط یه طوری نباشه که از حالات رفع اشکال تبدیل بشه به رفع تکلیف (یعنی ید فعه ۱۰۰ صفحه نگذارید بگید ترجمه کنید) این بخش فقط برای این باشه که بتونیم قسمت هایی از متون رو که ترجمه‌ها مون ابهام داره با مشورت و همفکری بپرسیم . با تشکر
این جملات رو چی معنی میکنید:
۱-portability:the need for portability is high,because code tends to outlive hardware
۲-the ability to smoothly map primitives to hardware architectures.
۳-the large varitey of calls that allows each user to find subsets that are well-matched to their needs.
۴-it's orthogonality in terms of waht combination of features are allowed.

[ف.ش]

قابلیت حمل و نقل‌: ۱- نیاز به قابل حمل و نقل بودن زیاد است چون کد تمایل دارد بیشتر از سخت افزار زنده بماند!
۳- تنوع زیاد فراخوانی‌ها که به هر کاربر اجازه میده که زیرمجموعه هایی که بیشترین تطابق رو با نیازهاش داره انتخاب کنه.

[**sara**]

(۰۷ اردیبهشت ۱۳۹۰ ۰۹:۱۶ ب.ظ)لهمشد نوشته شده توسط:  1-portability:the need for portability is high,because code tends to outlive hardware

قابلیت حمل: نیاز به قابلیت حمل بالا است، چراکه کد تمایل دارد بیشتر از سخت افزار عمر کند.

[marjan2001]

the large variety of calls that allows each user to find subsets that are well-matched to their needs
تنوع زیاد فراخوانی‌ها که به هر کار بر اجازه میده زیرمجموعه ای را که با اون مچ هست پیدا کند برای نیازهاش

[parsaNA]

(۰۷ اردیبهشت ۱۳۹۰ ۰۹:۱۶ ب.ظ)لهمشد نوشته شده توسط:  4-it's orthogonality in terms of waht combination of features are allowed.

آن متعامدا بر حسب ترکیبی از ویژگی های مجاز است.

[polarisia]

(۰۷ اردیبهشت ۱۳۹۰ ۰۹:۱۶ ب.ظ)لهمشد نوشته شده توسط:  1-portability:the need for portability is high,because code tends to outlive hardware

قابلیت حمل: نیاز مبرمی به قابلیت حمل وجود دارد، چراکه کد می بایست بیشتر از سخت افزار عمر کند.

۲-the ability to smoothly map primitives to hardware architectures.

قابلیت نگاشت نیازهای اولیه به سادگی با معماری سخت افزار

۳-the large varitey of calls that allows each user to find subsets that are well-matched to their needs.

انواع متنوع فراخوانی‌ها که به هر کاربر اجازه میدهد زیرگروه های منطبق بر نیازهای خودش را پیدا کند

۴-it's orthogonality in terms of what combination of features are allowed.

این (نمیدونم به چی اشاره داره) نامربوط است در مورد ترکیب ویژگیهای مجاز

[لهمشد]

با سلام وتشکر از تک تک دوستان عزیزم یه چند تا سوال دیگه دارم:اگه ترجمه بهتری دارید ارائه کنید ممنون میشم

کد:

۱-in this applications system models occurring across a broad range of real-world applications --anywhere from chemical boilers to weather models -- are studied through simulations
ترجمه خودم:
در این مدل سیستمی کاربردی با طیف گستردهای از کاربردها در جهان واقعی مواجه هستیم .این طیف وسیع مانند شبیه سازی دیگ های بخار در مدل های هواشناسی از طریق شبیه سازی مورد مطا لعه قرار میگیرد.؟؟؟؟

[zr2358]

در این برنامه های کاربردی، مدل‌های سیستمی {که در کاربردهای جهان واقعی رخ می دهند اعم از هر کجا شامل دیگ‌های بخار تا مدل‌های هواشناسی} از طریق شبیه سازی مطالعه می شوند.

[polarisia]

(۰۸ اردیبهشت ۱۳۹۰ ۰۶:۵۸ ب.ظ)لهمشد نوشته شده توسط:  با سلام وتشکر از تک تک دوستان عزیزم یه چند تا سوال دیگه دارم:اگه ترجمه بهتری دارید ارائه کنید ممنون میشم

کد:

۱-in this applications system models occurring across a broad range of real-world applications --anywhere from chemical boilers to weather models -- are studied through simulations
ترجمه خودم:
در این مدل سیستمی کاربردی با طیف گستردهای از کاربردها در جهان واقعی مواجه هستیم .این طیف وسیع مانند شبیه سازی دیگ های بخار در مدل های هواشناسی از طریق شبیه سازی مورد مطا لعه قرار میگیرد.؟؟؟؟

در این برنامه‌های کاربردی، مدلهای سیستمی که در طیف وسیعی از کاربردهای دنیای حقیقی وجود دارند -- از دیگهای بخار شیمیایی گرفته تا مدلهای هواشناسی -- از طریق شبیه‌سازی مورد مطالعه قرار می‌گیرند.

[لهمشد]

نقل قول: in the context of directly model checking C/C++ programs.ours is belived to be the first realization of this idea for MPI(message passing interface)programs

نقل قول: their work ,a declarative formal specification for MPI has not been proposed

نقل قول: they employ traditional model checking using SPIN--not an in-situ approach,as we follow.THE similarities between these to efforts are in terms of both efforts aiming to impact a highly important area of concurrent programming

من in-situ رو بمعنی انی -یکجا- یا زمان اجرا معنی کردم و فکر میکنم درست باشه

[polarisia]

(۰۹ اردیبهشت ۱۳۹۰ ۱۲:۵۶ ب.ظ)لهمشد نوشته شده توسط:  

نقل قول: in the context of directly model checking C/C++ programs.ours is belived to be the first realization of this idea for MPI(message passing inteface)programs.

در مبحث بررسی مدل به صورت مستقیم در برنامه‌های C++/C .می‌توان گفت روش ما (راه حل ما) اولین تجربه در پیاده‎سازی (تحقق) این ایده به منظور استفاده‌ در برنامه‌های MPI محسوب می‌شود.

نقل قول: their work ,a declarative formal specification for MPI has not been proposed;

کار آنها، یک مشخصه رسمی و اظهاری برای MPI پیشنهاد نشده است! خودمم نفهمیدم چی گفتم.

نقل قول: they employ traditional model checking using SPIN--not an in-situ approch,as we follow.THE similarities between these to efforts are in terms of both efforts aiming to impact a highly important area of concurrent programming.

آنها روش سنتی بررسی مدل با استفاده از SPIN را اعمال می‌کنند - در حالیکه ما رهیافتی مناسب و درخور را دنبال می‌کنیم. شباهتهای بین این دو کوشش (روش) در اینست که هر دوی آنها سعی بر آن دارند که بر حوزه بسیار مهمی از برنامه‌نویسی همزمان تاثیر بگذارند .

[لهمشد]

کد:

it is well documented that even experienced programmers misunderstand complex libraries such as MPI .Unfortunately,none of the current resource they have to clarify their understanding are satisfactory: the mixture of natural language and semi-formal notations used in standard documents can be misinterpreted,the behavior they observe through "experiments" conducted on actual platform only reveal how someone else has implemented the API ,and formal specifications. as they are written and made available ,are of little direct help to practitioners.with the move to multicores and other novel platforms,API specification emphasize "what" and not "how" may lead to more efficient implementations. program analysis,verification,and platform testing of API implementations all can benefit from formal specifications.

من خودم ترجمه کردم ولی یه جاهایی مفهوم رو نمی فهمم چی می خواد بگه اگه میشه کمک کنید .

[**sara**]

کد:

it is well documented that even experienced programmers misunderstand complex libraries such as MPI .Unfortunately,none of the current resource they have to clarify their understanding are satisfactory: the mixture of natural language and semi-formal notations used in standard documents can be misinterpreted,the behavior they observe through "experiments" conducted on actual platform only reveal how someone else has implemented the API ,and formal specifications. as they are written and made available ,are of little direct help to practitioners.with the move to multicores and other novel platforms,API specification emphasize "what" and not "how" may lead to more efficient implementations. program analysis,verification,and platform testing of API implementations all can benefit from formal specifications.

این به خوبی اثبات شده است که حتی برنامه نویسان باتجربه نیز دچار اشکال در فهم کتابخانه های پیچیده ای مثل MPI می شوند. متاسفانه هیچ یک از منابع موجود برای روشن کردن درک آنها رضایت بخش نیست: ترکیب زبان طبیعی و نمادگذاری نیمه رسمی مورد استفاده در اسناد استاندارد می تواند اشتباه باشد، رفتاری که آنها از طریق آزمایشات انجام شده بر روی پلت فرم واقعی مشاهده کردند، تنها مشخص می کند که چگونه شخص دیگری API و ویژگی های رسمی را اجرا کرده است. همانطور که نوشته شده و در دسترس هستند، آنها کمی کمک مستقیم به کارکنان می باشند. با حرکت به سمت دیگر پلتفرم های چند هسته ای و جدید، مشخصات API تاکید می کند که چه چیز و نه چگونه منجر به پیاده سازی کارآمدتر می شود. تجزیه و تحلیل برنامه، بازبینی و تست پلت فرم، پیاده سازی API‌، همگی می توانند از مشخصات رسمی بهره مند شوند.

[لهمشد]

باور کنید منم همین طوری در اوردم ولی مفهومش رو درک نکردم یعنی concept رو نگرفتم.به هر حال ازتون ممنونم(رسما).

[**sara**]

(۰۹ اردیبهشت ۱۳۹۰ ۰۶:۳۱ ب.ظ)لهمشد نوشته شده توسط:  باور کنید منم همین طوری در اوردم ولی مفهومش رو درک نکردم یعنی concept رو نگرفتم.به هر حال ازتون ممنونم(رسما).

منم همچین نفهمیدم چی میگه. یه سری چیزا راجبه اینکه فهمیدن یک چیزی سخته و برای فهمیدنشون مشکل وجود داره ولی یه راه جدید هست که میگه چی باعث می شه همه چی حل شه.
خواهش می کنم