دانلود مقالات کامپیوتر

انفجار حالت يكي از مشكلات بنيادي در درستي يابي مدل هاي صوري است و تكنيك هاي متنوعي براي تخفيف آن پيشنهاد شده است. گروهي از اين تكنيك ها سعي در توزيع حالات سيستم به منظور جلوگيري از انباشته شدن آنها در يك نود محاسبه گر مي كنند كه خود دشواري هايي در پياده سازي و كارايي را به دنبال دارد. در اين مقاله ما روشي براي توليد نيمه توزيع شده حالات مدل هاي مبتني بر شي ارايه كرده ايم كه در عين توزيع حالات بين چندين نود، ارجاعي سبك وزن از تمامي حالات را بصورت متمركز نگهداري مي كند. بدين ترتيب با بدست آمدن بسياري از مزاياي توزيع شده گي، تمامي مزاياي الگوريتم هاي درستي يابي متمركز مانند كاهش ها و انتزاع ها هم قابل استفاده است. نتايج آماري بدست آمده از اعمال اين روش حاكي از افزايش ميانگين كارايي سيستم به همراه قابليت پشتيباني از مدل هايي به مراتب بزرگتر از قبل است.