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

[لهمشد]

(۱۶ اردیبهشت ۱۳۹۰ ۰۷:۲۸ ب.ظ)**sara** نوشته شده توسط:  

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

کد:

this allows the scheduler to march the processes of a given MPI program according to one arbitrary interleaving ,till all processes hit MPI_finalize.

اینکار به زمانبند اجازه میدهد تا پروسسهای یک MPI را مطابق با یک interleave( معادل فارسی خوبی نداره: در هم چینی یا همون برگ برگ سازی) تصادفی پیش ببرد تا زمانیکه همه‌ی پروسسها به پایان برسند.

برای معادل فارسی interleave کلمه "جایگذاری" خوبه؟

---

کد:

for model checking to be successful in practice :(I) designer must have modestly expensive techniques to create models of the protocols to be verified.(I)they must be able to examine a fraction of the interleaving in  concurrent system and be able to claim that the remaining interleaving are equivalent and hence need not be examined ,using a suitable partial order reduction algorithm

برای موفقیت بررسی مدل در عمل:
(I) طراح باید تکنیک های نسبتاً گران قیمتی داشته باشد، تا مدل پروتکل هایی را بسازد که تائید شوند. (II) آنها باید قادر به بررسی بخشی از جایگذاری در سیستم همزمان باشند و بتوانند ادعا کنند که با اثر باقیمانده از جایگذاری معادلند و از این رو با استفاده از یک الگوریتم مناسب جهت کاهش جزئی، نیازی به بررسی ندارند.

مفهو مش رو نمی گیرم متا سفانه

[**sara**]

برای موفقیت بررسی مدل (Model checking احتمالاً از خود کلمه استفاده بشه بهتره) در عمل:
(I) طراح باید تکنیک های نسبتاً گران قیمتی داشته باشد، تا مدل پروتکل هایی را بسازد که تائید شوند. (II) آنها باید قادر به بررسی بخشی از جایگذاری در سیستم همروند باشند و بتوانند ادعا کنند که با بقیه قسمتهای جایگذاری (یعنی با بخش های دیگر جایگذاری که بررسی نشده اند) معادلند و از این رو با استفاده از یک الگوریتم مناسب جهت کاهش جزئی، نیازی به بررسی ندارند.

یعنی قسمتی از جایگذاری سیستم همروند رو بررسی می کنه و به کمک یک الگوریتم اون رو برای بقیه قسمتهای جایگذاری تعمیم می ده و بتونه ادعا کنه که بقیه قسمتهای جایگذاری نیازی به بررسی ندارند.

این‌ها رو مطالعه کنید تا با اصطلاحات آشنا بشین:
Model checking:

مهمان عزیز شما قادر به مشاهده پیوندهای انجمن مانشت نمی‌باشید. جهت مشاهده پیوندها ثبت نام کنید.


همروندی:
در سیستم‌های عامل معمولاً چند وظیفه همزمان انجام می‌شوند. اگر این وظایف مستقل از هم باشند اجرای آن‌ها ساده است اما درصورتی‌که درگیر باشند، مثلا نوشتن همروند بر روی یک فایل، در این صورت برای انجام درست وظایف نیاز به کنترل همروندی است وگرنه ممکن است منجر به نتایج ناخواسته شوند.

interleaving:

مهمان عزیز شما قادر به مشاهده پیوندهای انجمن مانشت نمی‌باشید. جهت مشاهده پیوندها ثبت نام کنید.


partial order reduction algorithm:

مهمان عزیز شما قادر به مشاهده پیوندهای انجمن مانشت نمی‌باشید. جهت مشاهده پیوندها ثبت نام کنید.

[لهمشد]

ممنون عالی بود فهمیدم .

---

مفهوم این کلمه چه چیزی هستش:
scalability=مقیاس پذیری.
کلا مقیاس پذیری یعنی چه.

[لهمشد]

مفهوم مقیاس پذیری رو هم اگه کسی بلده تو ضییح بده ممنون

[luna]

مقیاس پذیری یعنی بررسی قابلیت گسترش و رشد سیستم. یعنی نشان می دهد که اگر از سیستم کار بیشتری را بخواهیم ایا سیستم قادر به مدیریت آن هست یا خیر یا آیا می توان سیستم را گسترش داد و سیستم چنین قابلیتی رو داره یا نه.

[لهمشد]

با سلام ممکنه این دو پاراگراف رو بررسی کنید:

کد:

developing static analysis support for enhancing the efficacy of model checking

کد:

SPIN is an efficient verification system for models of distributed software systems. It has been used to detect design
errors in applications ranging from high-level descriptions of distributed algorithms to detailed code for controlling telephone
exchanges.

[**sara**]

کد:

developing static analysis support for enhancing the efficacy of model checking

این یک عبارته؟

پشتیبانی از تجزیه و تحلیل استاتیکی (آنالیز ایستا) در حال توسعه برای افزایش اثر بخشی Model checking

Static Analysis
Static analysis means analyzing the program without executing to check whether it comply with the safety critical properties specified. For example, the system software should constrain themselves to rules such as "check user permissions before writing to kernel data structures", "referencing null pointer without check", "overflowing buffer size" etc. Using the traditional testing process (dynamic execution) requires writing many testcases to exercise these paths and drive the system in to error states. This process can take a long time and effort and is not a practical solution. Another approach is manual inspection but the code size is in millions of lines of code and too complex to be analyzed by humans

.
تجزیه و تحلیل استاتیک به معنای تجزیه و تحلیل برنامه بدون اجرای آن می باشد تا بررسی کند که آیا با خواص ایمنی مهم مشخص شده مطابقت دارد یا خیر.

---

کد:

SPIN is an efficient verification system for models of distributed software systems. It has been used to detect design
errors in applications ranging from high-level descriptions of distributed algorithms to detailed code for controlling telephone
exchanges.

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

[لهمشد]

کد:

the mixture of natural language and semi-formal notation used in standard documents can be misinterpreted

ترکیب زبان طبیعی و نماد های نیمه رسمی استفاده شده در اسناد استاندارد می تواند باعث سر در گمی و گمراهی شود.


------------------------------
فکر کنم بهترین ترجمه که میشه براش ارائه داد باشه . ولی من معنی اش رو نمی گیرم .یعنی چه؟

کد:

TLA (the Temporal Logic of Actions) is a logic for specifying and reasoning about concurrent and reactive systems

tla منطقی برای مشخص کردن و استدلال کردن درباره سیستم های همزمان و واکنش پذیر می باشد.

[لهمشد]

کد:

also ,those primitives requiring us to formalize the underlying operating system have been omitted

ممکنه بگید چه مفهومی می تونه داشته باشه

[**sara**]

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

کد:

the mixture of natural language and semi-formal notation used in standard documents can be misinterpreted

ترکیب زبان طبیعی و نماد های نیمه رسمی استفاده شده در اسناد استاندارد می تواند باعث سر در گمی و گمراهی شود.

------------------------------
فکر کنم بهترین ترجمه که میشه براش ارائه داد باشه . ولی من معنی اش رو نمی گیرم .یعنی چه؟

به نظر من هم این ترجمه خوبه.
مفهومش بستگی به کل متن و موضوعش داره.

---

کد:

also ,those primitives requiring us to formalize the underlying operating system have been omitted

همچنین آن نیازهای پیشین ما به قانونمند کردن(؟) سیستم عامل های (underlying نمی دونم معنیشو) از بین رفته.

[لهمشد]

با سلام‌ :
ممکنه بفر مایید بگید چه مفهو می رو دنبال می کنه ؟

کد:

before MPI_finilaize ,how about re-initializing  the user level state
variables followed by "go to "
in each process to the label immediately following MPI_init?
the resulting execution will resemble a chines postman tour.
preliminary experiments show that the execution time of MC reduce from 15.52 minutes to 63 seconds,finding the deadlocks. for trap the time reduce from 8.94 seconds to 0.347 seconds.

[maryam...]

سلام. مترجما میشه نگاه کنید ببینید این جمله رو درست ترجمیدم یا نه؟؟
the electronic control unit then takes the necessary control action which is described in the next section- speed control
.واحد کنترل الکترونیکی پس از گرفتن فعالیت کنترل لازم که شرح داده شده است در بخش بعدی کنترل سرعت
به نظر خودم که درست نیست
میشه فوری جواب بدین

[Somayeh_Y]

اگه جمله رو کامل نوشتید، بنظرم اون کنترل سرعت را اینطوری باید ترجمه کنید.

سپس واحد کنترل الکترونیکی فعالیت کنترلی لازم را که در بخش بعدی ،(یعنی بخش کنترل سرعت) شرح داده شده انجام می دهد.

[maryam...]

خیلی خیلی ممنون
بله speed control اخر جمله است....
جمله قبلیش اینه: the modulated tag code is demodulated in the reader
میشه یه راهنمایی دیگه هم بکنید این جمله ای که نوشتم معنیش چی میشه؟؟؟ مخصوصا کلمه demodulated

---

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

---

میشه بگید این modulates یعنی چی؟؟

[Somayeh_Y]

میشه گفت پیشوند de به نحوی معکوس کننده هست. مثلا
form : شکل دادن deform : تغییر شکل دادن
code : رمز کردن decode : رمز گشایی کردن.
اینجا هم demodulated عملیاتی هست عکس عملیات modulates
و اما modulates به تغییر دادن فرکانس و نوسانات امواج الکتریکی میگن.توی گوگل سرچ کنی اطلاعات بیشتری بدست میاری. ولی من اگه بخوام جمله رو ترجمه کنم اینطوری می نویسم


کد تگ مدوله در قرائتگر دمدوله شده است.

حالا اگه بخوای کامل تر باشه می تونی رفرنس بدی و به صورت پاورقی در مورد عملیات مدولاسیون توضیح بدی.
اگه من باشم حتی برای قرائتگر هم پاورقی میزنم. برای یک کامپیوتری واژه reader ملموس تر هست.