موضوع فارسی :کنونیکال ماشین متناهی برای سیستم های توزیع
موضوع انگلیسی :Canonical finite state machines for distributed systems
تعداد صفحه :15
فرمت فایل :PDF
سال انتشار :2010
زبان مقاله : انگلیسی
علاقه زیادی در تست از ماشین متناهی (FSMS) به عنوان یک نتیجه از وجود دارد
مناسب بودن آنها برای مدل سازی و یا تعیین سیستم های مبتنی بر دولت است. که در آن متعدد وجود دارد
پورت / رابط FSM چند پورت استفاده می شود و در آزمایش، یک تست کننده است که در هر یک از پورت قرار داده است. اگر
تست نمی تواند با یک دیگر به طور مستقیم ارتباط برقرار است و هیچ ساعت جهانی وجود دارد پس از آن ما
در حال آزمایش در معماری آزمون توزیع شده است. مشخص شده است که استفاده از توزیع
معماری آزمون می توانید قدرت تست و اخیر کار را تحت تاثیر قرار این در مشخص است
از نظر محلی S-هم ارزی: در معماری آزمون توزیع ما می توانیم دو تشخیص
FSM ها، مانند یک پیاده سازی و مشخصه، اگر و تنها اگر آنها منطقی معادل نیست.
با این حال، ممکن است بسیاری از FSM ها که به صورت محلی S-معادل یک FSM داده شده وجود دارد
و ماهیت این FSM ها است کشف نشده است. این مقاله به بررسی مجموعه ای از FSM ها
که به صورت محلی ی s-معادل یک FSM M. با توجه به آن نشان می دهد که کوچکترین FSM منحصر به فرد وجود دارد
؟ min.M / و بزرگترین FSM منحصر به فرد؟ max.M / که به صورت محلی ها معادل تام. در اینجا کوچکترین
و بزرگترین اشاره به مجموعه ای از آثار تعریف شده توسط یک FSM و در نتیجه به معانی آن است. ما همچنین
نشان می دهد که برای یک FSM داده M مجموعه ای از FSM ها که به صورت محلی ها معادل به تعریف M
یک شبکه محدود. در نهایت، یک FSM که، در میان تمام FSM ها به صورت محلی ها معادل تعریف می کنیم
به M است، بدترین کشورهای. ما به این ترتیب سه تا FSM متعارف جایگزین که به صورت محلی sequivalent را
به FSM M: یکی که کوچکترین مجموعه ای از آثار را تعریف می کند، که تعریف
بزرگترین مجموعه ای از آثار، و یکی با کمترین ایالات. هر سه ارائه اطلاعات با ارزش و
در دو مورد اول می توان در زمان است که از نظر تعداد حالات چند جمله ای تولید
M. ما ثابت کند که مشکل پیدا کردن FSM S-معادل با بدترین کشورهای NP-hard است
به طور کلی اما می تواند در زمان چند جمله ای برای مورد خاص که در آن دو وجود دارد حل
پورت.