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

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

کلیدواژه ها:

تحلیلهای شبکه ، منطق مکانی ، وب معنایی ، نظریه گراف