CIVILICA We Respect the Science
(ناشر تخصصی کنفرانسهای کشور / شماره مجوز انتشارات از وزارت فرهنگ و ارشاد اسلامی: ۸۹۷۱)

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

عنوان مقاله: یک چارچوب منطقی برای تحلیلهای شبکه در محیط اینترنت مطاله موردی: شبکه برق کشور
شناسه (COI) مقاله: GEO89_180
منتشر شده در همایش ژئوماتیک 89 در سال ۱۳۸۹
مشخصات نویسندگان مقاله:

محمدرضا ملک - گروه GIS دانشکده مهندسی نقشه برداری دانشگاه صنعتی خواجه نصیرالدین طوس
شمس الملوک علی ابادی - سازمان نقشه برداری کشور – مدیریت سیستمهای اطلاعات مکانی

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

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

صفحه اختصاصی مقاله و دریافت فایل کامل: http://www.civilica.com/Paper-GEO89-GEO89_180.html