يك چارچوب منطقي براي تحليل هاي شبكه در محيط اينترنت مطاله موردي: شبكه برق كشور

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