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