شماره ركورد كنفرانس :
4819
عنوان مقاله :
تحليل ديناميكي شبكه هاي بولي با استفاده از روشهاي كاهش مدل
پديدآورندگان :
مرادپور پيام payam.moradpour@modares.ac.ir دانشجوي كارشناسي ارشد گروه رياضي كاربردي دانشگاه تربيت مدرس , ميرزائي مهدي عضو هيئت علمي گروه رياضي كاربردي دانشگاه تربيت مدرس
تعداد صفحه :
16
كليدواژه :
شبكه هاي بولي , مدلهاي منطقي , كاهش مدل , شبكه اپران لك
سال انتشار :
1397
عنوان كنفرانس :
سومين همايش بين المللي تركيبيات، رمزنگاري و محاسبات
زبان مدرك :
فارسي
چكيده فارسي :
امروزه شبكههاي بولي در مدلسازي سيستمهايي كه از متغيرهاي دودويي استفاده ميكنند، بسيار مورد استفاده قرار ميگيرند. بهخصوص تجزيه و تحليل جاذبهاي اين شبكهها از اهميت بسيار بالايي برخوردار است، زيرا ميتواند ديد ارزشمندي از رفتارهاي دراز مدت به ما بدهد. با اين حال اندازه گراف انتقال حالت اين نوع شبكهها بسيار بزرگ، و تجزيه و تحليل آنها با استفاده از شبيهسازي بسيار سخت است. بنابراين استفاده از روشهاي كاهش ضروري به نظر ميرسد. در اين مقاله ما به دو روش كاهشي براي مدل سازي ديناميكي شبكه هاي بولي ميپردازيم. اين روشها اندازه اين شبكهها را كاهش ميدهند در حالي كه خواص ديناميكي و ويژگيهاي توپولوژيكي آنها را حفظ ميكنند. دراينصورت ميتوان بحث را روي شبكه كاهش يافته انجام داد و خواص و نقش توپولوژي شبكه را در ديناميك شبكه اصلي بدست آورد. در اينجا اين دو روش را باهم مقايسه، و از اين روشها براي سادهسازي شبكه اپران لك استفاده ميكنيم
كشور :
ايران
لينک به اين مدرک :
بازگشت