https://virgool.io/feed/@alikhorasani2002 fa 2026-06-18 02:19:59 https://static.virgool.io/images/default-avatar.jpg https://virgool.io/@alikhorasani2002 https://virgool.io/@alikhorasani2002/%DA%86%D9%86%D8%AF-%D8%AE%D8%B7-%D8%AF%D8%B1%D8%A8%D8%A7%D8%B1%D9%87-%D8%AA%DA%A9%D9%86%DB%8C%DA%A9%E2%80%8E-%D9%87%D8%A7%DB%8C-%D9%85%D8%AF%D8%B1%D9%86-%D9%85%D8%B9%D9%85%D8%A7%D8%B1%DB%8C-%D9%86%D8%B1%D9%85-%D8%A7%D9%81%D8%B2%D8%A7%D8%B1-c8ovbd27ohu0 1- مهندسی آشوب - Chaos Engineeringمهندسی آشوب یک رویکرد جذاب و در عین حال عجیب در توسعه نرم‌افزار است. درواقع ما می‌آییم و به جای اینکه صبر کنیم تا سیستم در دنیای واقعی خراب شود، خودمان به صورت عمدی و کنترل‌شده در سیستم خرابی ایجاد می‌کنیم. هدف این است که نقاط ضعف سیستم را قبل از اینکه در محیط عملیاتی و برای کاربران نهایی مشکل‌ساز شوند، کشف کنیم.برای مثال فرض کنید شرکتی مثل نتفلیکس برای اطمینان از اینکه قطع شدن یک سرور باعث توقف پخش فیلم‌ها نمی‌شود، ابزاری می‌سازد که به صورت تصادفی سرورهایش را خاموش می‌کند. این کار به تیم‌ها کمک می‌کند تا سیستم‌هایی تاب‌آورتر یا به اصطلاح Resilient بسازند. اگر بخواهیم تشبیه کنیم در واقع مهندسی آشوب شبیه به واکسن زدن است؛ ما یک ویروس ضعیف‌شده را به سیستم تزریق می‌کنیم تا سیستم ایمنی آن در برابر حملات و قطعی‌های بزرگ‌تر مقاوم شود. 2- بک‌اند برای فرانت‌اند - Backend for Frontend – BFFدر معماری‌های جدید، کلاینت‌ها و کاربران مختلفی مثل اپلیکیشن موبایل، وب‌سایت و ساعت‌های هوشمند داریم. هر کدام از این رابط‌های کاربری، نیازهای متفاوتی به داده‌ها دارند. الگوی BFF پیشنهاد می‌دهد که به جای داشتن یک بک‌اند غول‌پیکر و عمومی برای همه، برای هر فرانت‌اند یک بک‌اند اختصاصی و کوچک بسازیم. این بک‌اند که بهش بک‌اند واسط هم میگن، دقیقا همان داده‌هایی را جمع‌آوری و بهینه‌سازی می‌کند که فرانت‌اند مربوطه‌اش نیاز دارد. این کار باعث می‌شود کدهای سمت فرانت‌اند سبک‌تر بمانند، ترافیک شبکه بهینه شود و تیم‌های توسعه‌دهنده بتوانند با استقلال بیشتری روی برخی محصولات خود مثل اندروید کار کنند، بدون اینکه تغییراتشان روی نسخه وب تاثیر منفی بگذارد. 3- هوش مصنوعی برای مهندسی نرم‌افزار - AI4SEاین مفهوم به معنای استفاده از ابزارهای هوش مصنوعی برای بهبود، سریعتر کردن و بهینه‌سازی فرآیند مهندسی نرم‌افزار است. اینروزا هوش مصنوعی دیگه فقط یک محصول نهایی نیست، بلکه تبدیل به دستیار برنامه‌نویسان شده. ابزارهایی مثل GitHub Copilot یا سیستم‌های تولید خودکار تست نرم‌افزار، نمونه‌های بارز AI4SE هستند. با استفاده از این رویکرد، کارهای تکراری مثل نوشتن کدهای پایه، کشف باگ‌ها، و حتی مستندسازی کدها به هوش مصنوعی سپرده می‌شود. در نتیجه، برنامه‌نویسان می‌توانند تمرکز خود را روی حل مسائل پیچیده‌تر و طراحی معماری‌های بهینه‌تر بگذارند. این فناوری نه‌تنها سرعت توسعه را بالا می‌برد، بلکه با شناسایی زودهنگام خطاها، کیفیت نهایی نرم‌افزار را نیز به شکل چشمگیری افزایش می‌دهد. 4- مهندسی نرم‌افزار برای هوش مصنوعی - SE4AIدر بخش قبل گفتیم که AI4SE درباره کمک هوش مصنوعی به برنامه‌نویسی است، SE4AI دقیقاً برعکس آن عمل می‌کند؛ یعنی چگونه از اصول مهندسی نرم‌افزار برای ساخت و مدیریت سیستم‌های هوش مصنوعی استفاده کنیم.مدل‌های یادگیری ماشین به خودی خود فقط مدل‌های ریاضی و آماری هستند، اما برای اینکه این مدل‌ها به یک محصول قابل اعتماد تجاری تبدیل شوند، نیاز به معماری درست، تست‌پذیری، کنترل نسخه و نگهداری مداوم دارند. در برنامه‌نویسی سنتی، رفتار سیستم قطعی است، اما در هوش مصنوعی رفتار سیستم بر اساس داده‌ها تغییر می‌کند. پس SE4AI تلاش می‌کند با ارائه چارچوب‌ها و استانداردهای مهندسی، توسعه سیستم‌های مبتنی بر هوش مصنوعی را قابل پیش‌بینی، امن و پایدارتر کند. 5- عملیات یادگیری ماشین - MLOpsکلمه MLOps از ترکیب دو کلمه Machine Learning و DevOps بوجود آمده است. وقتی یک مهندس داده مدل هوش مصنوعی خوبی روی کامپیوتر خودش می‌سازد، کار تمام نشده است؛ این مدل باید روی سرورها قرار بگیرد، به صورت مداوم با داده‌های جدید آموزش ببیند و عملکرد آن بررسی بشود. MLOps مجموعه‌ای از روندها و ابزارهاست که هدف آن استقرار و نگهداری یکپارچه و خودکار مدل‌های یادگیری ماشین در محیط عملیاتی است.این رویکرد کمک می‌کند تا فاصله بین تیم‌های هوش مصنوعی و تیم‌های زیرساخت از بین برود. با MLOps، مدل‌ها سریع‌تر به دست کاربر نهایی می‌رسند، به‌روزرسانی آن‌ها خودکار می‌شود و در صورت افت دقت مدل، سیستم بلافاصله هشدار می‌دهد.6- زیرساخت به عنوان کد - Infrastructure as Code - IaCدر گذشته، برای راه‌اندازی یک سرور جدید، مهندسان شبکه باید به صورت دستی سیستم‌عامل نصب می‌کردند، پورت‌ها را باز می‌کردند و نرم‌افزارها را پیکربندی می‌کردند. این کار بسیار زمان‌بر و دارای خطای انسانی بود. زیرساخت به عنوان کد یا همان IaC راهکاری است که در آن تمام نیازمندی‌های زیرساختی مثل سرورها، شبکه‌ها و دیتابیس‌ها در قالب کدهای متنی قابل خواندن نوشته می‌شوند. ابزارهایی مثل Terraform این کدها را می‌خوانند و زیرساخت را به صورت کاملاً خودکار در سرورهای ابری می‌سازند.بزرگترین مزیت IaC این است که می‌توانیم تنظیمات سرور خود را مانند کدهای برنامه‌نویسی، کنترل نسخه کنیم و بارها آن را بدون تغییر و با اطمینان در محیط‌های مختلف اجرا کنیم. 7- درگاه API و شبکه سرویس - API Gateway & Service Meshدر معماری مایکروسرویس، سیستم از ده‌ها یا صدها سرویس کوچک و مستقل تشکیل شده است.API Gateway مثل یک دربان یا پذیرشگر یک هتل عمل می‌کند؛ تمام درخواست‌های کاربران خارجی اول به این درگاه می‌رسند و بعد درگاه تصمیم می‌گیره که هر درخواست را به کدام سرویس داخلی بفرسته و همچنین کارهایی مثل احراز هویت را هم انجام می‌دهد.اما Service Mesh بیشتر شبیه سیستم ارتباطی داخلی کارمندان هتل است. وقتی سرویس‌های داخلی می‌خواهند با هم صحبت کنند، شبکه سرویس ارتباطات بین آن‌ها را مدیریت، رمزنگاری و مانیتور می‌کند. ترکیب این دو مفهوم به مهندسان کمک می‌کند تا ترافیک خارجی و داخلی سیستم را با بالاترین امنیت و بدون پیچیده کردن کدهای اصلی مدیریت کنند. 8- جداسازی مسئولیت خواندن و نوشتن - CQRSالگوی CQRS یک ایده ساده اما بسیار قدرتمند را بیان می‌کند و آن این است که در بسیاری از سیستم‌های نرم‌افزاری، تعداد دفعاتی که اطلاعات را می‌خوانیم بسیار بیشتر از دفعاتی است که اطلاعات را تغییر می‌دهیم یا اضافه می‌کنیم. پس چرا باید هر دو کار توسط یک دیتابیس یا یک مدل پردازشی انجام شود؟در این معماری، مسیر خواندن داده‌ها یا همان کوئری از مسیر نوشتن آن‌ها یا همان کامند، کاملاً جدا می‌شود. ما می‌توانیم برای نوشتن اطلاعات از یک دیتابیس ایمن با قفل‌های قوی استفاده کنیم، اما برای خواندن، داده‌ها را در یک دیتابیس فوق‌سریع و کش‌شده قرار دهیم. این کار عملکرد سیستم‌هایی با ترافیک خواندن بالا مثل شبکه‌های اجتماعی یا فروشگاه‌ها را به شدت بهبود می‌بخشه. 9- معماری رویدادمحور - Event-Driven Architecture - EDAمعماری رویدادمحور، سبکی از طراحی سیستم است که در آن اجزای نرم‌افزار بر اساس زمان وقوع رویدادها با هم تعامل می‌کنند، نه بر اساس درخواست‌های مستقیم و همگام.برای مثال فرض کنید در یک فروشگاه اینترنتی خرید می‌کنید؛ به جای اینکه سیستم ثبت سفارش منتظر بماند تا با سیستم انبارداری هماهنگ کند، صرفاً یک پیام صادر می‌کند که یک سفارش جدید ثبت شد. حالا هر سرویسی که به این موضوع نیاز داشته باشد مثل سرویس انبارداری، صدور فاکتور یا درگاه پرداخت، این پیام را دریافت کرده و کار خودش را مستقل انجام می‌دهد. این معماری وابستگی سیستم‌ها به یکدیگر را کاهش داده و آن‌ها را در برابر ترافیک‌های ناگهانی، مقیاس‌پذیرتر می‌کند. 10- معماری بدون سرور - Serverless Architectureمعماری بدون سرور به این معنی نیست که اصلاً سخت‌افزار یا سروری وجود ندارد، بلکه به این معناست که برنامه‌نویس دیگر هیچ دغدغه‌ای بابت مدیریت، نگهداری، آپدیت سیستم‌عامل یا افزایش منابع سرورها ندارد و تمام این وظایف بر عهده یک ارائه‌دهنده خدمات ابری مثل AWS یا برخی سرویس‌های ابری داخلی است. توسعه‌دهنده فقط کدهای منطقی خود را می‌نویسد و روی پلتفرم آپلود می‌کند.جذاب‌ترین ویژگی Serverless مدل قیمت‌گذاری آن است؛ ما فقط به همان اندازه که کدمان در حال اجراست هزینه پرداخت می‌کنیم، نه برای سروری که ۲۴ ساعته روشن است. این روش هزینه‌های استارتاپ‌ها را به شدت کاهش داده و سرعت استقرار نرم‌افزار را بالا می‌برد. 11- رویکرد API-firstرویکرد API-first یک تغییر تفکر اساسی در روند توسعه محصول است. به طور سنتی، تیم‌ها اول دیتابیس و منطق برنامه را می‌نوشتند و در آخر، برای وصل کردن آن به رابط کاربری، یک API طراحی می‌کردند. اما در رویکرد API-first، قبل از نوشتن حتی یک خط کد، اول قرارداد و ظاهر APIها با دقت طراحی و مستند می‌شود.این کار باعث می‌شود تیم‌های فرانت‌اند و بک‌اند بتوانند به صورت کاملاً موازی کار خودشون را شروع کنند. این رویکرد باعث می‌شود نرم‌افزار از همان روز اول مقیاس‌پذیرتر طراحی شود و قابلیت اتصال به سرویس‌های شخص ثالث در آن بسیار ساده‌تر باشد. 12- طراحی دامنه محور - Domain Driven Design - DDDطراحی دامنه محور یا DDD، رویکردی است که تلاش می‌کند زبان، ساختار و کد نرم‌افزار را دقیقاً با زبان و منطق کسب‌وکار واقعی مشتری هماهنگ کند.مشکل بسیاری از پروژه‌هایی که شکست‌خورده‌اند، این است که برنامه‌نویسان با اصطلاحات فنی صحبت می‌کنند، در حالی که مدیران کسب‌وکار ادبیات خودشان را دارند. DDD مفهومی به نام زبان همه‌جا حاضر) را معرفی می‌کند که همه افراد پروژه باید از آن استفاده کنند.در این رویکرد، معماری برنامه بر اساس بخش‌های مختلف کسب‌وکار مدل‌سازی می‌شود نه صرفا بر اساس جدول‌های دیتابیس. این روش برای توسعه سیستم‌های بزرگ، پیچیده و سازمانی که منطق تجاری سنگینی دارند، یک ضرورت حیاتی محسوب می‌شود. 13- معماری شش ضلعی - Hexagonal Architectureمعماری شش ضلعی که به عنوان معماری پورت‌ها و آداپتورها نیز شناخته می‌شود، معرفی شد تا گره خوردن منطق اصلی نرم‌افزار با تکنولوژی‌های بیرونی را حل کند. در این معماری، هسته اصلی کسب‌وکار در مرکز سیستم و مثل یک شش ضلعی قرار می‌گیرد و کاملاً مستقل از دیتابیس‌ها، رابط‌های کاربری وب یا فریم‌ورک‌ها نوشته می‌شود.هر چیزی در دنیای بیرون، صرفاً از طریق پورت‌ها یا رابط‌های تعریف شده و آداپتورها یا همان کدهای تبدیل‌کننده، با این هسته ارتباط برقرار می‌کنند. این یعنی اگر روزی بخواهیم دیتابیس خودمان را تغییر دهیم یا نرم‌افزار را از بستر وب به بستر موبایل ببریم، کدهای مرکزی دست‌نخورده باقی می‌مانند و فقط آداپتورهای بیرونی تغییر می‌کنند. 14- منبع‌سنجی رویداد - Event Sourcingدر دیتابیس‌های قدیمی، ما معمولاً فقط آخرین وضعیت یک رکورد را ذخیره می‌کنیم؛ مثلاً موجودی حساب بانکی ما الان ۵ میلیون تومان است. اما در رویکرد Event Sourcing، به جای ذخیره وضعیت فعلی، تمام اتفاقاتی که باعث رسیدن به این وضعیت شده‌اند را به صورت یک زنجیره متوالی ذخیره می‌کنیم مثل مثل دفتر کل حسابداری.یعنی برای مثال ثبت می‌کنیم: ۱۰ میلیون واریز شد، ۳ میلیون برداشت شد و ۲ میلیون دیگر برداشت شد. با پردازش این رویدادها از اول تا آخر، موجودی حال حاضر محاسبه می‌شود. این روش امکانات بی‌نظیری مثل قابلیت بازگشت دقیق به وضعیت سیستم در هر زمان از گذشته، حسابرسی صددرصدی و کشف ریشه‌ای باگ‌های پیچیده را فراهم می‌کند.15- پلتفرم‌های Low-code و No-codeپلتفرم‌های Low-code یا No-code، ابزارهایی هستند که به کاربران اجازه می‌دهند با حداقل برنامه‌نویسی یا حتی بدون نوشتن یک خط کد، و صرفاً با استفاده از رابط‌های گرافیکی و کشیدن و رها کردن، نرم‌افزار بسازند.پلتفرم‌های No-code بیشتر برای مدیران و کاربران تجاری مناسب‌اند تا فرآیندهای ساده خود را خودکار کنند. در مقابل، پلتفرم‌های Low-code علاوه بر ابزارهای بصری، امکان نوشتن کدهای سفارشی را به توسعه‌دهندگان می‌دهند تا پروژه‌های پیچیده‌تری خلق کنند. این ابزارها روند تولید نمونه‌های اولیه و دیجیتالی شدن سازمان‌ها را به شدت تسریع کرده و وابستگی مدوام کسب‌وکارها به برنامه‌نویسان ارشد را برای کارهای تکراری کاهش داده‌اند.16- سیستم‌های مدیریت فرآیند کسب‌وکار - BPMSسیستم‌های مدیریت فرآیندهای کسب‌وکار نرم‌افزارهایی هستند که برای طراحی، اجرا، پایش و بهینه‌سازی فرآیندهای روزمره یک سازمان استفاده می‌شوند. فرض کنید فرآیند تایید قرارداد در یک شرکت شامل چندین مرحله تاییدیه توسط واحدهای حقوقی، مالی و مدیریت است. به جای اینکه این کارها با کاغذ یا تماس تلفنی انجام شود، یک سیستم BPMS این جریان کاری را به صورت خودکار هدایت و پیگیری می‌کند.این ابزارها با استفاده از استانداردهای گرافیکی به مدیران اجازه می‌دهند فرآیندها را رسم کنند. اجرایBPMS باعث شفافیت بیشتر وظایف، کاهش خطاهای انسانی، شناسایی گلوگاه‌های اتلاف وقت و افزایش راندمان کلی کارمندان در یک سازمان می‌شود. 17- صف پیام - Message Queueصف پیام یا Message Queue زیرساختی است که سرویس‌های مختلف نرم‌افزاری می‌توانند پیام‌های خود را به صورت غیرهمزمان در آن قرار دهند تا سرویس‌های دیگر، به نوبت آن‌ها را پردازش کنند. ابزارهایی مثل RabbitMQ یا Kafka دقیقاً همین کار را می‌کنند. برای مثال فکر کنید در یک وب‌سایت شلوغ ثبت‌نام می‌کنید؛ سیستم ثبت‌نام، پیام "ارسال پیامک تایید" را داخل صف می‌اندازد و بلافاصله صفحه خوش‌آمدگویی را به شما نشان می‌دهد.حالا سرور پیامک هر زمان که منابع آزاد داشت، پیام را از صف برداشته و ارسال می‌کند. این معماری تضمین می‌کند که کند شدن یک بخش از سیستم، باعث توقف کل برنامه نشود و سیستم بتواند فشارهای ناگهانی کاربران را تحمل کند. 18- کانتینرها و ارکستراسیون - Containers & Container orchestrationکانتینرها مانند Docker فناوری‌هایی هستند که کد برنامه و تمام پیش‌نیازهای اجرایی آن را در یک بسته مستقل، سبک و قابل حمل قرار می‌دهند. کانتینرها مشکل معروف این برنامه روی کامپیوتر من کار می‌کند اما روی سرور خراب می‌شود را برای همیشه حل میکنند. اما وقتی یک برنامه بزرگ می‌شود و تعداد این کانتینرها به صدها عدد می‌رسد، مدیریت دستی آن‌ها غیرممکن است.اینجاست که ابزارهای ارکستراسیون مثل Kubernetes وارد عمل می‌شوند. کوبرنتیز مانند یک رهبر ارکستر عمل می‌کند؛ مراقب است کانتینرهای خراب را ری‌استارت کند، ترافیک را بین آن‌ها تقسیم کند و در ساعات شلوغی، تعداد آن‌ها را به صورت خودکار افزایش دهد. 19- معماری چندمستاجره - Multi-Tenancy Architectureمعماری چندمستاجره یا همان Multi-Tenancy مدلی است که در آن یک نسخه واحد از نرم‌افزار روی سرور اجرا می‌شود، اما همزمان به چندین مشتری یا سازمان مختلف یا به اصطلاح مستاجرها، خدمات مستقل می‌دهد.اکثر سیستم‌های نرم‌افزار به عنوان سرویس (SaaS) مثل جی‌میل، ترلو یا سرویس‌های حسابداری آنلاین ابری، از این مدل استفاده می‌کنند.در این معماری، به جای اختصاص دادن یک دیتابیس و سرور مجزا به هر مشتری، همه از یک زیرساخت مشترک قدرت می‌گیرند، اما داده‌های هر سازمان از طریق شناسه‌های خاص کاملاً ایزوله و امن می‌ماند. این رویکرد به‌روزرسانی سیستم را به شدت آسان کرده و هزینه‌های زیرساختی ارائه‌دهنده خدمات را به طرز چشمگیری کاهش می‌دهد. 20- مهاجرت داده‌ها - Data Migrationدر واقع به فرآیند حساس و پیچیده انتقال اطلاعات از یک سیستم، دیتابیس یا فضای ذخیره‌سازی قدیمی به یک زیرساخت جدید، مهاجرت داده‌ها گفته می‌شود. این اتفاق معمولاً زمانی رخ می‌دهد که یک شرکت قصد دارد نرم‌افزارهای فرسوده خود را به‌روز کند یا سرورهای فیزیکی خود را به فضاهای ابری مدرن منتقل کند.با اینکه مفهوم آن ساده به نظر می‌رسد، اما Data Migration یکی از پرریسک‌ترین عملیات‌های فناوری اطلاعات است. مسائلی مانند تغییر فرمت داده‌ها در حین انتقال، حفظ جامعیت و امنیت اطلاعات، و جلوگیری از قطع شدن دسترسی کاربران به سیستم در طول فرآیند، نیازمند برنامه‌ریزی بسیار دقیق، بک‌آپ‌گیری‌های چندلایه و تست‌های مکرر پیش از اجرای نهایی است. منابع و مراجع1- مقالات آموزشی وب‌سایت GeeksforGeeks:آشنایی با درگاه API (API Gateway)معرفی کانتینرها و داکر (Containers & Docker)آشنایی با صف پیام (Message Queues)معماری بدون سرور (Serverless Architecture)2- مستندات معماری مایکروسافت و آمازون:الگوی بک‌اند برای فرانت‌اند (BFF) - مستندات مایکروسافت.الگوی جداسازی مسئولیت خواندن و نوشتن (CQRS) - مستندات مایکروسافتالگوی منبع‌سنجی رویداد (Event Sourcing) - مستندات مایکروسافتمعماری رویدادمحور (Event-Driven Architecture) - مستندات آمازون (AWS)3- مقالات IBM و Red Hat:زیرساخت به عنوان کد (IaC) - مقالات آموزشی Red Hatعملیات یادگیری ماشین (MLOps) - مقالات آموزشی IBMمعماری چندمستاجره (Multi-Tenancy) - مقالات آموزشی IBM4- دانشنامه ویکی‌پدیا Wikipedia:مهندسی آشوب (Chaos Engineering)طراحی دامنه‌محور (Domain-Driven Design)معماری شش‌ضلعی (Hexagonal Architecture)5- گفتگو با ابزارهای هوش مصنوعی:Google Gemini: برای خلاصه‌سازی مقالات تخصصی، درک تفاوت‌های ظریف بین مفاهیمی مانند AI4SE و SE4AI.ChatGPT: برای همفکری جهت پیدا کردن مثال‌های ملموس و دنیای واقعی مانند تشبیه مهندسی آشوب به واکسن یا مثال هتل برای درگاه API. سید علی سادات خراسانی سید علی سادات خراسانی Mon, 25 May 2026 13:10:21 +0330 https://virgool.io/@alikhorasani2002/%D8%A8%D8%B1%D8%B1%D8%B3%DB%8C-%D9%88-%D8%AA%D8%AD%D9%84%DB%8C%D9%84-%D9%85%D8%B9%DB%8C%D8%A7%D8%B1%D9%87%D8%A7%DB%8C-%D9%85%D8%B1%DA%A9%D8%B2%DB%8C%D8%AA-%D8%A8%D8%B1%D8%A7%DB%8C-%D8%B4%D9%86%D8%A7%D8%B3%D8%A7%DB%8C%DB%8C-%D8%A7%D9%81%D8%B1%D8%A7%D8%AF-%D9%85%D9%87%D9%85-%D8%AF%D8%B1-%D8%B4%D8%A8%DA%A9%D9%87-%D9%87%D8%A7%DB%8C-%D9%BE%DB%8C%DA%86%DB%8C%D8%AF%D9%87-ou6pklnofbec گزارش نهایی مقاله درس شبکه‌های پیچیده و پویارشته‌ مهندسی کامپيوتر گرايش نرم‌افزار عنوانبررسی و تحلیل معیارهای مرکزیت برای شناسایی افراد مهم در شبکه‌های پیچیدهاستاد:دکتر علی‌اکبری پژوهشگر:سیدعلی سادات خراسانی بهمن 1404چکيده:شناسایی گره‌های تأثیرگذار و حیاتی در شبکه‌های پیچیده، یکی از چالش‌برانگیزترین مسائل در علم شبکه است که کاربردهای گسترده‌ای از مدیریت جریان اطلاعات تا کنترل شیوع بیماری‌ها دارد. ادبیات کلاسیک این حوزه، با محوریت پژوهش‌های فریمن، مرکزیت را عمدتاً بر اساس ویژگی‌های ساختاری محلی و ایستا مثل درجه، بینابینی و نزدیکی تعریف کرده است. این معیارها فرض می‌کنند که ارزش تمام اتصالات یکسان است. پس از آن بوناسیچ با نقد این دیدگاه، مدل‌های بازگشتی را معرفی کرد که در آن قدرت یک گره تابعی از قدرت همسایگانش است و با پارامتر β، ماهیت تعاملات مثل همکاری یا رقابت را مدل‌سازی می‌کند. این رویکرد بعدها در الگوریتم PageRank برای رتبه‌بندی صفحات وب با استفاده از مدل گردشگر تصادفی توسعه یافت. علیرغم این پیشرفت‌ها، یک چالش بنیادین باقی مانده است، اکثر معیارهای سنتی، شبکه را ساختاری همگن درنظر می‌گیرند و از ساختارهای مزوسکوپیک مثل انجمن‌های همپوشان غافل هستند. پژوهش حاضر با مرور انتقادی سیر تحول معیارهای مرکزیت، نشان می‌دهد که نادیده گرفتن ساختار انجمنی منجر به خطای قابل‌توجه در شناسایی گره‌های پل‌زننده و رهبران محلی می‌شود. در نهایت، این مقاله یک چارچوب پیشنهادی نوین را ارائه می‌دهد که با ترکیب منطق بازگشتی بوناسیچ و مفهوم مرکزیت ماژولار، نفوذ گره‌ها را در دو سطح محلی و جهانی تفکیک کرده و دقت تحلیل را در شبکه‌های واقعی بهبود می‌بخشد.واژگان کليدي: شبکه‌های پیچیده، مرکزیت، بوناسیچ، PageRank، ساختار انجمنی، نفوذ محلی و جهانی. فهرست مطالبفصل اول مقدمه. 71-1- بیان مسئله و اهمیت موضوع. 71-2 – سیر تحول تاریخی.. 71-3 -ظهور مدل‌های بازگشتی و مبتنی بر جریان. 81-4 -چالش ساختارهای انجمنی همپوشان. 81-5 -نوآوری و ساختار مقاله. 9فصل دوم مبانی نظری و مرور ادبیات.. 102-1- مقدمه. 102-2- شفاف‌سازی مفهومی فریمن.. 102-3- خانواده معیارهای بوناسیچ. 122-4- پیج‌رنک: انقلابی در گراف‌های جهت‌دار وب.. 12فصل سوم چالش ساختار انجمنی.. 133-1- مقدمه. 143-2- کوری ساختاری در معیارهای کلاسیک... 143-3- چالش انجمن‌های همپوشان. 153-4- نارسایی معیارهای جهانی در شبکه‌های پویا 153-5- تفکیک نفوذ محلی و جهانی.. 16فصل چهارم روش پیشنهادی.. 174-1- مقدمه. 174-2- مدلسازی ریاضی فضا و تعاریف پایه. 174-3- تجزیه بردار نفوذ محلی.. 184-4- تجزیه بردار نفوذ جهانی.. 184-5- تلفیق بازگشتی.. 194-5-1- تشریح اجزاء و پارامترها 194-6- تحلیل همگرایی و پیچیدگی الگوریتم. 204-6-1- پیچیدگی زمانی.. 204-7- مقایسه کیفی با روش‌های پیشین.. 21فصل پنجم روش تحلیل و آزمایش... 225-1- مقدمه. 225-2- مجموعه داده مورد استفاده 225-3- سناریوی مقایسه و نتایج مورد انتظار 225-3-1- تحلیل تطبیقی.. 235-4- تحلیل نتایج حاصل از اجرا 235-5- تحلیل حساسیت پارامتر α. 25فصل ششم روش نتیجه‌گیری و پیشنهادات.. 266-1- مقدمه. 266-2- محدودیت‌ها و مسیرهای پژوهشی آینده 26فصل هفتم منابع. 28فصل اولمقدمه1-1- بیان مسئله و اهمیت موضوعشبکه‌های پیچیده، زبان مشترک بسیاری از سیستم‌های طبیعی و مصنوعی هستند؛ از شبکه‌های تعاملات پروتئینی و عصبی گرفته تا زیرساخت‌های اینترنت و شبکه‌های اجتماعی آنلاین. در تحلیل این گراف‌های عظیم، یکی از بنیادی‌ترین سوالات، شناسایی مهم‌ترین گره‌است. پاسخ به این پرسش که کدام گره مرکزی است، بسته به کاربرد متفاوت است. در یک شبکه مخابراتی، مرکزی‌ترین گره ممکن است گره‌ای باشد که بیشترین ترافیک را عبور می‌دهد، در حالی که در یک شبکه اجتماعی، فردی مرکزی است که بیشترین نفوذ کلام را دارد. با این حال، فقدان یک تعریف واحد و جامع از مرکزیت، همواره چالش‌برانگیز بوده است. همان‌طور که فریمن اشاره می‌کند، ابهام در مفهوم مرکزیت منجر به ارائه شاخص‌های متعددی شده که گاهی نتایج متناقضی تولید می‌کنند. 1-2 – سیر تحول تاریخیتلاش‌های اولیه برای کمی‌سازی اهمیت گره‌ها، با دسته‌بندی کلاسیک لینتون فریمن در سال ۱۹۷۹ به بلوغ رسید. او نشان داد که مرکزیت یک مفهوم سه‌وجهی است:1. مرکزیت درجه: نشان‌دهنده فعالیت ارتباطی است.2. مرکزیت بینابینی: بر پتانسیل کنترل جریان اطلاعات دلالت دارد.3. مرکزیت نزدیکی: که شاخصی از استقلال و کارایی دسترسی است. این معیارها، اگرچه بنیادین هستند، اما از یک ضعف بزرگ رنج می‌برند و آنهم این است که آن‌ها کور محتوا[1] هستند و فرض می‌کنند اتصال به یک گره مهم، تفاوتی با اتصال به یک گره حاشیه‌ای ندارد.1-3 -ظهور مدل‌های بازگشتی و مبتنی بر جریانبرای رفع نقص مدل‌های قبلی، فیلیپ بوناسیچ در سال ۱۹۸۷ یک تغییر پارادایم ایجاد کرد. او استدلال کرد که مرکزیت یک ویژگی مطلق نیست، بلکه حاصل تعاملات بازگشتی در شبکه است. در مدل او، مرکزیت هر گره متناسب با مجموع مرکزیت همسایگانش است. بوناسیچ با معرفی پارامتر β نشان داد که در شبکه‌های مبادله‌ای، قدرت ناشی از اتصال به افراد ضعیف و وابسته است (β < 0)، در حالی که در شبکه‌های ارتباطی، اتصال به افراد قدرتمند باعث افزایش نفوذ می‌شود (β > 0).این دیدگاه بازگشتی، پایه و اساس انقلاب موتورهای جستجو در دهه ۹۰ میلادی شد. سرگی برین و لری پیج با معرفی الگوریتم PageRank، ایده بوناسیچ را برای گراف جهت‌دار وب توسعه دادند. آن‌ها با مدل‌سازی رفتار یک گردشگر تصادفی[2] و حل مشکل بن‌بست‌های گراف از طریق بردار منبع E، معیاری ارائه دادند که اهمیت جهانی یک صفحه را بر اساس کیفیت لینک‌های ورودی می‌سنجید، نه صرفاً تعداد آن‌ها. 1-4 -چالش ساختارهای انجمنی همپوشانعلیرغم تکامل معیارهای قبل، اکثر پژوهش‌های کلاسیک شبکه را به صورت یک ساختار یکپارچه و بدون مرز در نظر می‌گیرند. اما مطالعات مدرن نشان می‌دهد که شبکه‌های واقعی دارای ساختار مزوسکوپیک[3] نظیر انجمن‌ها هستند. نکته مهم‌تر آن است که در بسیاری از شبکه‌های اجتماعی و زیستی، این انجمن‌ها همپوشان هستند؛ یعنی یک گره می‌تواند همزمان عضو چندین گروه باشد. مثل فردی که همزمان در شبکه خانواده، همکاران و دوستان خودش عضویت دارد.معیارهای کلاسیک مثل PageRank و بینابینی امکان تفکیک نقش گره‌ها در این لایه‌های مختلف را ندارند. آن‌ها نمی‌توانند تمایز قائل شوند میان یک رهبر محلی که فقط در انجمن خودش نفوذ دارد و یک پل جهانی که انجمن‌های مختلف را به هم وصل می‌کند. غلمان و همکاران در سال ۲۰۱۹ نشان دادند که نادیده گرفتن این ساختار، منجر به درک ناقص از داینامیک شبکه می‌شود و پیشنهاد دادند که مرکزیت باید ترکیبی از نفوذ محلی و نفوذ جهانی باشد. 1-5 -نوآوری و ساختار مقالهاین مقاله تلاش می‌کند تا شکاف میان مدل‌های بازگشتی و مدل‌های مبتنی بر انجمن را پر کند. فرضیه اصلی ما این است که با وزن‌دهی به معیارهای ماژولار بر اساس منطق بازگشتی، می‌توان دقت شناسایی گره‌های حیاتی را افزایش داد. ساختار مقاله بدین شرح است: بخش دوم به مرور عمیق ادبیات و فرمول‌بندی ریاضی معیارهای کلاسیک می‌پردازد. بخش سوم، چالش‌های ساختار انجمنی را تشریح می‌کند. بخش چهارم، روش پیشنهادی و فرمولاسیون نوین ما را ارائه می‌دهد و بخش پنجم به نتیجه‌گیری اختصاص دارد.فصل دوممبانی نظری و مرور ادبیات2-1- مقدمهتحلیل مرکزیت در شبکه‌های پیچیده، مسیری طولانی را از تحلیل‌های جامعه‌شناختی گروه‌های کوچک تا الگوریتم‌های عظیم وب پیموده است. در این بخش، سه جریان اصلی فکری که زیربنای مدل پیشنهادی ما هستند، با جزئیات دقیق بررسی می‌شوند.2-2- شفاف‌سازی مفهومی فریمنلینتون فریمن در مقاله مرجع خود با عنوان (مرکزیت در شبکه‌های اجتماعی: شفاف‌سازی مفهومی)، به آشفتگی موجود در ادبیات آن زمان پایان داد. او با استفاده از گراف ستاره به عنوان نقطه مرجع، استدلال کرد که هر معیار معتبر مرکزیت باید برای گره مرکزی یک گراف ستاره، بیشترین مقدار ممکن را تولید کند. فریمن سه مفهوم متمایز را تفکیک کرد[1]:الف) مرکزیت درجه: فعالیت و قابلیت رویتاین معیار بر پایه ایده فعالیت ارتباطی[1] بنا شده است. گره‌هایی که درجه بالایی دارند، احتمالاً در کانون اتفاقات هستند.برای یک گراف با مشخصات G = (V , E) با n گره، درجه گره pk برابر است با تعداد یال‌های متصل به آن:این شاخص برای سنجش محبوبیت یا پتانسیل جذب جریان‌های تصادفی در شبکه بسیار کارآمد است، اما از درک ساختار کلی شبکه ناتوان است.ب) مرکزیت بینابینی: کنترل و دروازه‌بانیفریمن استدلال کرد که جریان اطلاعات همیشه از مسیرهای مستقیم عبور نمی‌کند. گره‌ای که بین گره‌های دیگر قرار گرفته، پتانسیل کنترل یا قطع جریان را دارد. اگر gij تعداد کل کوتاه‌ترین مسیرها بین گره i و j باشد و gij(pk) تعداد آن مسیرهایی باشد که دقیقاً از گره pk عبور می‌کنند، احتمال اینکه گره k واسطه ارتباط آن دو باشد، برابر است با مرکزیت بینابینی گره k مجموع این احتمالات برای تمام جفت‌گره‌هاست: ماکزیمم مقدار ممکن برای این شاخص در یک گراف ستاره رخ می‌دهد که برابر است با بنابراین فرمول نرمال شده آن عبارت است از: این معیار در شناسایی نقاط شکست[2] و گلوگاه‌های شبکه بسیار حیاتی است. ب) مرکزیت نزدیکی: استقلال و کاراییسومین مفهوم، به حداقل رساندن فاصله تا دیگران است. گره‌ای که به بقیه نزدیک است، مستقل است زیرا برای ارسال پیام به واسطه‌های کمتری نیاز دارد. سابیدوسی (۱۹۶۶) این مفهوم را با دوری تعریف کرد که مجموع فواصل ژئودزیک است: همچنین برای مقایسه بین شبکه‌ها، فریمن فرمول زیر را ارایه داد: این شاخص نشان‌دهنده سرعت انتشار اطلاعات از یک گره به کل شبکه است. 2-3- خانواده معیارهای بوناسیچفیلیپ بوناسیچ با نقد رویکرد فریمن، بیان کرد که در نظر گرفتن تنها ساختار محلی کافی نیست. او استدلال کرد که قدرت و مرکزیت دو روی یک سکه هستند و قدرت یک فرد وابسته به قدرت کسانی است که با آن‌ها در ارتباط است. مدل بوناسیچ بر مبنای یک تعریف بازگشتی است. که در آن یک فاکتور مقیاس‌دهی است و پارامتر وزن‌دهی به مرکزیت همسایگان است. این رابطه را می‌توان به صورت ماتریسی بازنویسی کرد که منجر به یک معادله جبری خطی می‌شود: که در اینجا R ماتریس مجاورت و I ماتریس همانی است.تحلیل پارامتر :بوناسیچ نشان داد که علامت و اندازه تفسیر قدرت را تغییر می‌دهد [2]:1. شبکه‌های ارتباطی ( > 0): در اینجا، اتصال به افراد قدرتمند باعث افزایش قدرت می‌شود. این مدل با مفهوم وضعیت (Status) سازگار است. هرچه همسایگان شما مرکزی‌تر باشند، شما نیز مرکزی‌تر خواهید بود.2. شبکه‌های مبادله‌ای ( < 0): بر اساس تئوری مبادله کوک (1983)، قدرت در چانه‌زنی ناشی از وابستگی دیگران است. اگر شما به گره‌هایی متصل باشید که ارتباطات کمی دارند، قدرت شما افزایش می‌یابد. بنابراین، داشتن همسایگان ضعیف با درجه پایین باعث افزایش قدرت شما می‌شود.این مدل نشان داد که مرکزیت یک ویژگی مطلق نیست، بلکه تابعی از دینامیک حاکم بر شبکه است. 2-4- پیج‌رنک: انقلابی در گراف‌های جهت‌دار وبدر اواخر دهه ۹۰، پیج و برین الگوریتم PageRank را برای حل مشکل رتبه‌بندی در وب ارائه دادند. این الگوریتم در واقع بسطی از ایده مرکزیت بردار ویژه [3]بود، اما با یک نوآوری حیاتی برای مدیریت گراف‌های جهت‌دار و گسسته. فرمول پایه مشابه بوناسیچ با استفاده از معیار > 0 بود: اما این مدل در مواجهه با دو پدیده وب شکست می‌خورد:Rank Sinks: صفحاتی که لینک ورودی دارند اما لینک خروجی ندارند یا به خودشان لینک می‌دهند، باعث می‌شوند امتیاز در آن‌ها انباشته شود.گراف‌های ناهمبند: وب یک گراف یکپارچه نیست.راه‌حل: مدل گردشگر تصادفی[4]پیج‌رنک فرض می‌کند کاربر با احتمال d روی لینک‌ها کلیک می‌کند و با احتمال 1-d خسته شده و به صورت تصادفی به یک صفحه دیگر می‌پرد که به آن Teleportation می‌گویند بنابراین فرمول اصلاح شده آن عبارت است از [3]: معمولاً 0.85 = dدر نظر گرفته می‌شود. از دیدگاه جبر خطی، بردارPageRank بردار ویژه اصلی ماتریس انتقال احتمالاتی[5] شبکه است. این مدل توانست با موفقیت مفهوم کیفیت لینک را کمی‌سازی کند؛ لینکی که از یک صفحه معتبر مثلYahoo می‌آید، وزن بسیار بیشتری نسبت به لینکی از یک صفحه شخصی دارد. فصل سومچالش ساختار انجمنی3-1- مقدمهدر بخش‌های پیشین، سیر تکامل معیارهای مرکزیت از شاخص‌های توپولوژیک محلی فریمن به مدل‌های طیفی و بازگشتی بوناسیچ و PageRank بررسی شدند. با این حال، یک نقد بنیادین بر تمامی این رویکردها وارد است و آنهم فرض همگنی ساختاری[1] است. در این بخش، با استناد به یافته‌های اخیر غلمان و همکاران، نشان می‌دهیم که چگونه نادیده گرفتن ساختارهای مزوسکوپیک و پدیده‌ی همپوشانی انجمن‌ها، اعتبار معیارهای کلاسیک را در شبکه‌های پیچیده واقعی زیر سوال می‌برد. 3-2- کوری ساختاری در معیارهای کلاسیکمعیارهای سنتی مرکزیت، شبکه را به صورت یک توده یکپارچه و مسطح می‌بینند. در این دیدگاه، یک یال تنها یک یال است و تفاوت کیفی میان یال‌های مختلف قائل نمی‌شوند. اما در واقعیت، شبکه‌های پیچیده نظیر شبکه‌های اجتماعی، استنادی و بیولوژیک دارای ساختار انجمنی هستند؛ یعنی نواحی متراکمی که در آن‌ها گره‌ها اتصالات داخلی فراوانی دارند، در حالی که اتصالات بین این نواحی یعنی یال‌های میان‌بر اندک است [4].این کوری ساختاری منجر به خطای سیستماتیک در ارزیابی اهمیت گره‌ها می‌شود. برای تشریح این خطا، دو نوع گره متمایز را در نظر بگیرید:هاب‌های استانی: گره‌هایی که درجه بالایی دارند اما تمام اتصالاتشان محدود به یک انجمن خاص است. این گره‌ها در حفظ انسجام داخلی گروه خود حیاتی هستند اما در انتشار سراسری اطلاعات[2] نقش محدودی دارند.پل‌های ارتباطی: گره‌هایی که ممکن است درجه کمتری داشته باشند، اما اتصالاتشان بین چندین انجمن مختلف توزیع شده است.معیارهای کلاسیک نظیر PageRank یا بردار ویژه، تمایل دارند امتیاز را در نواحی متراکم شبکه هاب‌های استانی انباشته کنند و اغلب ارزش استراتژیک پل‌های ارتباطی را نادیده می‌گیرند. غلمان نشان می‌دهد که در فرآیندهای انتشار اپیدمی یا شایعه، گره‌های پل‌زننده حتی با درجه پایین بسیار خطرناک‌تر و مؤثرتر از هاب‌های ایزوله هستند، زیرا دسترسی سریع به بخش‌های بکر شبکه را فراهم می‌کنند. معیارهای کلاسیک قادر به تمایز میان این دو نقش نیستند [4]. 3-3- چالش انجمن‌های همپوشانپیچیدگی مسئله فراتر از وجود انجمن‌های مجزاست. در اکثر شبکه‌های اجتماعی واقعی، انجمن‌ها دارای مرزهای صلب نیستند، بلکه همپوشان[3] هستند. یک کاربر در توییتر یا فیس‌بوک، همزمان عضو کلاستر همکاران، دوستان دوران تحصیل و علاقه‌مندان به تکنولوژی است. غلمان و همکاران استدلال می‌کنند که معیارهای سنتی که برای هر گره تنها یک عدد اسکالر مثل یک عدد PageRank تولید می‌کنند، ذاتاً برای توصیف این واقعیت چندبعدی ناتوان هستند. وقتی یک گره عضو k انجمن مختلف است، نفوذ او ماهیت برداری پیدا می‌کند. یک گره ممکن است در انجمن A یک رهبر فکری باشد و دارای نفوذ محلی بالا باشد، اما در انجمن B تنها یک عضو حاشیه‌ای باشد. مدل‌های تک‌بعدی[4] با میانگین‌گیری از این نقش‌ها، اطلاعات حیاتی درباره موقعیت استراتژیک گره را از بین می‌برند. 3-4- نارسایی معیارهای جهانی در شبکه‌های پویایکی دیگر از ابعاد نقد ما، مسئله پویایی است. در شبکه‌های پویا که یال‌ها مدام اضافه یا حذف می‌شوند، تأثیر یک تغییر توپولوژیک بر مرکزیت گره‌ها یکسان نیست.اضافه شدن یک یال در داخل یک انجمن متراکم، تأثیر کمی بر ساختار کلان شبکه و طول مسیرها دارد.اما اضافه شدن یک یال میان دو انجمن جدا افتاده، می‌تواند قطر شبکه را به شدت کاهش دهد و الگوی جریان اطلاعات را دگرگون کند.معیارهای کلاسیک مثل Closeness یا PageRank که کل گراف را یک ماتریس واحد می‌بینند، برای به‌روزرسانی نیاز به محاسبات سنگین دارند و نمی‌توانند به سرعت تشخیص دهند که آیا یال جدید یک لینک محلی است یا یک لینک جهانی. این عدم تفکیک پذیری باعث می‌شود در کاربردهای Real-time، شناسایی تغییرات ناگهانی در ساختار قدرت با تأخیر یا خطا همراه باشد. 3-5- تفکیک نفوذ محلی و جهانیبا توجه به نقد‌های فوق، این مقاله همگام با پژوهش‌های غلمان، پیشنهاد می‌کند که مفهوم مرکزیت باید از یک کمیت اسکالر به یک مفهوم دو‌بعدی ارتقا یابد. ما نیازمند چارچوبی هستیم که بتواند برای هر گره u، دو مؤلفه متعامد را محاسبه کند:نفوذ محلی (CL – Local Influence): معیاری که نشان دهد گره u چقدر در داخل انجمن‌های خودش (یک یا چند انجمن) محوریت دارد. این معیار باید نسبت به اندازه انجمن نرمال‌سازی شود تا انجمن‌های بزرگ‌تر به طور ناعادلانه بر انجمن‌های کوچک‌تر سایه نندازند.نفوذ جهانی (CG – Global Influence): معیاری که بر اساس تنوع[5] اتصالات سنجیده می‌شود. این شاخص نباید صرفاً تعداد لینک‌های بیرونی را بشمارد، بلکه باید بسنجد که این لینک‌ها چقدر در سطح شبکه پخش شده‌اند.این تفکیک مفهومی، زیربنای مدل پیشنهادی ما در بخش بعدی است؛ جایی که ما فرمولاسیون ریاضی دقیق این دو مؤلفه را با منطق بازگشتی بوناسیچ ترکیب می‌کنیم تا معیاری ارائه دهیم که هم به ساختار انجمنی حساس باشد و هم پویایی قدرت را لحاظ کند. فصل چهارمروش پیشنهادی4-1- مقدمهدر بخش‌های پیشین، نشان دادیم که معیارهای کلاسیک مثل درجه، بینابینی و غیره، به دلیل نادیده گرفتن ساختار انجمنی، و معیارهای ماژولار موجود مثل کارهای اولیه غلمان به دلیل نادیده گرفتن ماهیت بازگشتی قدرت، دارای نقص هستند. در این بخش، ما یک مدل ریاضی نوین با عنوان مرکزیت ماژولار بازگشتی پویا (Dynamic Recursive Modular Centrality - DRMC) را توسعه می‌دهیم. این مدل بر مبنای یک فرضیه اصلی بنا شده است و آنهم این است که اهمیت یک گره، حاصل‌ضرب موقعیت استراتژیک آن در ساختار انجمنی (توپولوژی) و کیفیت همسایگان آن (جریان) است.در ادامه، اجزای این مدل را به صورت گام‌به‌گام فرمول‌بندی می‌کنیم. 4-2- مدلسازی ریاضی فضا و تعاریف پایهفرض کنید شبکه مورد مطالعه به صورت گراف G = (V, E) مدل‌سازی شود که در آن V مجموعه شامل N گره و E مجموعه شامل M یال است. ماتریس مجاورت شبکه را با A نشان می‌دهیم که در آن Aij=1 اگر ارتباطی وجود داشته باشد و در غیر این صورت صفر است.برخلاف رویکردهای سنتی که یک افراز[1] سخت برای شبکه در نظر می‌گیرند، ما فرض می‌کنیم شبکه دارای K انجمن همپوشان است. برای مدل‌سازی ریاضی این همپوشانی، برای هر گره u یک بردار عضویت به شکل زیر تعریف می‌کنیم: 4-3- تجزیه بردار نفوذ محلینخستین مؤلفه مدل پیشنهادی، سنجیدن قدرت گره در قلمرو خودی است. ما این مؤلفه را می‌نامیم. چالش اصلی در اینجا، تفاوت اندازه انجمن‌هاست. یک گره با ۵ اتصال در یک انجمن ۶ نفره، قدرتمندتر از یک گره با ۵ اتصال در یک انجمن ۱۰۰ نفره است. معیارهای کلاسیک این تفاوت نسبی را درک نمی‌کنند.برای حل این مشکل، ما از فرمول درجه نرمال‌سازی شده درون‌انجمنی استفاده می‌کنیم که مستقیماً از منطق غلمان استخراج شده اما برای مدیریت همپوشانی تعمیم یافته است:تحلیل فرمول:عبارت نشان می‌دهد گره u چه کسری از همسایگان ممکن در انجمن c را تسخیر کرده است و به آن چگالی اتصال می‌گویند.عبارت نشان می‌دهد از آنجا که گره ممکن است در چندین انجمن عضو باشد، ما میانگین نفوذ او را در تمام انجمن‌هایش محاسبه می‌کنیم.بنابراین اگر به عدد 1 میل کند، گره u یک هاب استانی مطلق است که تمام اعضای گروه‌هایش را می‌شناسد و رهبری می‌کند و در همه انجمن‌هایش مهم‌ترین گره است. 4-4- تجزیه بردار نفوذ جهانیدومین مؤلفه یعنی ، نشان‌دهنده توانایی گره در ایفای نقش پل ارتباطی بین کلاسترهای متفاوت است. گره‌هایی که این ویژگی را دارند، گلوگاه‌های انتقال اطلاعات هستند. معیارهایی مثل Betweenness برای محاسبه این ویژگی بسیار پرهزینه هستند و از پیچیدگی هستند.بنابراین ما برای محاسبه سریع و کارآمد نفوذ جهانی، از مفهوم آنتروپی اتصالات یا ضریب مشارکت[2] استفاده می‌کنیم. این شاخص بر اساس تنوع سیمپسون[3] طراحی شده است: اثبات رفتار ریاضی:حالت ایزوله: اگر تمام اتصالات گره u فقط در یک انجمن باشد (مثلاً c = 1)، آنگاه مقدار کسر برابر ۱ شده و این یعنی گره هیچ نفوذ جهانی ندارد.حالت پل ایده‌آل: اگر اتصالات گره u به طور مساوی بین K انجمن توزیع شده باشد، مقدار داخل سیگما مینیمم شده و به مقدار حداکثر خود یعنی نزدیک می‌شود.این فرمول تضمین می‌کند که ما گره‌هایی را که صرفاً لینک‌های بیرونی زیادی دارند اما همه به یک انجمن خاص می‌روند با گره‌هایی که واقعاً به انجمن‌های متنوع متصل‌اند، اشتباه نگیریم. 4-5- تلفیق بازگشتیتا این مرحله ما 2 بردار ایستا ( CL و CG) را داریم. نوآوری اصلی استفاده شده این مقاله این است که طبق استدلال ما: یک پل ارتباطی تنها زمانی ارزشمند است که به گره‌های با ارزش دیگری متصل باشد.این منطق، ما را به سمت استفاده از مدل بازگشتی بوناسیچ و PageRank سوق می‌دهد. ما مدل خطی غلمان را به یک مدل غیرخطی و تکراری تبدیل می‌کنیم. فرض کنیم امتیاز مرکزیت گره u در تکرار tام باشد. فرمول پیشنهادی ما عبارت است از: 4-5-1- تشریح اجزاء و پارامترها1. ارزش ذاتی: بخش اول فرمول یعنی نشان‌دهنده قدرتی است که گره به تنهایی و به واسطه جایگاهش در انجمن دارد. این مقدار ثابت است و تضمین می‌کند که حتی اگر گره به همسایگان ضعیفی متصل باشد، به دلیل رهبری محلی‌اش، امتیاز صفر نگیرد.2. ارزش اکتسابی: بخش دوم، قدرت جریان‌یافته از سمت شبکه است.· ما مجموع امتیاز همسایگان یعنی را محاسبه می‌کنیم مثل PageRank.· ضریب فیلترینگ: نکته مهم اینجاست که ما این مجموع را در ضرب می‌کنیم. این یعنی گره u تنها به اندازه‌ای می‌تواند از قدرت همسایگانش بهره‌مند شود که توانایی توزیع جهانی داشته باشد. یک گره با (کاملاً محلی)، هیچ قدرتی از شبکه جهانی دریافت نمی‌کند و فقط به قدرت محلی خود متکی است.3. پارامتر تنظیم (α): ضریب نقش یک نوار لغزنده را بازی می‌کند:اگر α به 0 میل کند آنگاه مدل بر حفظ انسجام انجمن‌ها و رهبران محلی تمرکز می‌کند.اگر α به 1 میل کند آنگاه مدل بر جریان اطلاعات و پل‌های میان‌گروهی تمرکز می‌کند. 4-6- تحلیل همگرایی و پیچیدگی الگوریتمیرای پیاده‌سازی این مدل، ما از روش Power Iteration Method استفاده می‌کنیم. این فرمول را می‌توان به صورت ماتریسی و به شکل زیر بازنویسی کرد: که در آن L بردار نفوذ محلی، G ماتریس قطری نفوذ جهانی و W ماتریس انتقال تصادفی است.4-6-1- پیچیدگی زمانی1. محاسبه و : با فرض استفاده از لیست مجاورت، پیچیدگی محاسبه این بخش برای هر گره برابر و برای کل شبکه برابر O(M) است (که M برابر تعداد یال‌هاست).2. حلقه تکرار: در هر تکرار، یک ضرب ماتریس- بردار اسپارس انجام می‌شود که هزینه آن O(M) است. اگر تعداد تکرارها برای همگرایی برابر T باشد، کل پیچیدگی برابر است با: از آنجا که T معمولاً عدد کوچکی است (حدود ۲۰ تا ۵۰ برای دقت بالا)، این الگوریتم بسیار سریع‌تر از روش‌هایی مثل Betweenness با پیچیدگی است و قابلیت اجرا روی شبکه‌های عظیم را دارد. 4-7- مقایسه کیفی با روش‌های پیشینجدول زیر تمایز نظری روش پیشنهادی ما یعنی (DRMC) با روش‌های گفته شده را نشان می‌دهد:جدول 4-1: مقایسه روش‌های سابق و روش پیشنهادیویژگیمرکزیت درجهپیج رنکماژولار استاتیکDRMCدرک ساختار انجمتیخیرخیربلهبلههم‌پوشانی انجمن‌هاخیرخیربلهبلهاثر بازگشتی (قدرت همسایه)خیربلهخیربلهتفکیک محلی و جهانیخیرخیربلهبله این جدول به وضوح نشان می‌دهد که روش پیشنهادی، مدل ریاضی جامعی است که سعی کرده است تمام ویژگی‌های مثبت روش‌های قبلی را تجمیع کرده است. فصل پنجمروش تحلیل و آزمایش5-1- مقدمهبرای ارزیابی کارایی چارچوب پیشنهادی (DRMC)، ما یک سناریوی تجربی را بر روی داده‌های استاندارد طراحی می‌کنیم تا نشان دهیم چگونه ترکیب ساختار انجمنی و منطق بازگشتی می‌تواند گره‌های پنهان اما حیاتی را آشکار سازد که روش‌های کلاسیک از دیدن آن‌ها عاجز هستند. 5-2- مجموعه داده مورد استفادهبه عنوان اثبات مفهوم، از شبکه اجتماعی باشگاه کاراته زاخاری[1] استفاده می‌شود. این شبکه شامل ۳۴ گره (اعضای باشگاه) و ۷۸ یال (ارتباطات دوستی) است.چرا این دیتاست؟ این شبکه دارای یک ساختار انجمنی ذاتی است که پس از اختلاف میان مربی (گره 0) و مدیر (گره ۳3)، باشگاه به دو گروه مجزا تقسیم می‌شود. این ویژگی به ما اجازه می‌دهد تا رفتار معیار DRMC را در شناسایی رهبران محلی و پل‌های ارتباطی بین دو گروه بررسی کنیم. 5-3- سناریوی مقایسه و نتایج مورد انتظارما سه معیار را بر روی این شبکه اعمال و ۱۰ گره برتر را استخراج می‌کنیم:1. مرکزیت درجه: به عنوان نماینده روش‌های محلی سنتی.2. پیج‌رنک: به عنوان نماینده روش‌های بازگشتی.3. روش پیشنهادی (DRMC): با تنظیم پارامتر 0.5 = α تعادل میان نفوذ محلی و جهانی را برقرار می‌کند. 5-3-1- تحلیل تطبیقیتشخیص رهبران (Hubs): انتظار می‌رود که هر سه روش، گره‌ ۱ یعنی مربی و گره ۳۴ یعنی مدیر را به عنوان مهم‌ترین گره‌ها شناسایی کنند. این گره‌ها هم درجه بالا دارند و هم در مرکز انجمن‌های خود هستند. در اینجا (نفوذ محلی) در فرمول ما نقش اصلی را بازی می‌کند.تشخیص پل‌های ارتباطی(Bridges) - :نقطه تمایز اصلی در گره‌هایی مانند گره ۹ یا گره ۲۰ ظاهر می‌شود. این گره‌ها ممکن است درجه بالایی نداشته باشند، اما نقش حیاتی در اتصال دو گروه دارند.شکست PageRank: پیج‌رنک ممکن است به این گره‌ها امتیاز متوسطی بدهد، چون جریان احتمالاتی در داخل کلاسترهای متراکم حبس می‌شود.موفقیت DRMC: در مدل پیشنهادی ما، این گره‌ها دارای نفوذ جهانی یعنی بالایی هستند. فرمول بازگشتی ما، وزن همسایگان قدرتمند آن‌ها را در ضریب ضرب می‌کند. بنابراین، گره‌ای که پلی میان دو رهبر قدرتمند باشد، جهش رتبه قابل توجهی در DRMC خواهد داشت که در روش‌های دیگر دیده نمی‌شود. 5-4- تحلیل نتایج حاصل از اجرابه منظور سنجش کارایی و اثربخشی چارچوب پیشنهادی مرکزیت ماژولار بازگشتی پویا و مقایسه آن با روش‌های کلاسیک، یک سناریوی آزمایشی بر روی مجموعه داده استاندارد باشگاه کاراته زاخاری طراحی شده است.در این آزمایش، ۱۰ گره برتر شبکه بر اساس سه معیار مرکزیت درجه، PageRank و DRMC با پارامتر 0.5 = α برای ایجاد تعادل رتبه‌بندی شده‌اند.نتایج کمی حاصل از این مقایسه در جدول زیر ارائه شده است: جدول 5-1: مقایسه امتیازدهی روش‌های نامبرده شدهرتبهشناسه گرهمرکزیت درجهPageRankDRMCنفوذ محلینفوذ جهانی100.480.0880.0830.850.592330.510.0960.0800.870.30310.270.0570.0690.750.494320.360.0750.0620.680.15520.300.0620.0580.620.58630.180.0370.0560.620.27750.120.0330.0500.570.00860.120.0310.0500.570.009100.090.0200.0380.420.001040.090.0200.0380.420.00 همان‌طور که در جدول بالا مشاهده می‌شود، اگرچه همپوشانی کلی میان گره‌های برتر در سه روش وجود دارد، اما جابجایی‌های معناداری در رتبه‌بندی رخ داده است که برتری مدل DRMC را در شناسایی موقعیت‌های استراتژیک اثبات می‌کند.الف) تقابل کمیت و کیفیت (تحلیل گره ۳۳ در برابر گره ۰):مهم‌ترین یافته این آزمایش در دو ردیف اول جدول نهفته است.در دیدگاه کلاسیک معیارهای درجه و پیج‌رنک، گره ۳۳ (مدیر) را به عنوان مهم‌ترین گره شناسایی کرده‌اند (با درجه ۰.۵۱). دلیل این امر، تعداد بالای اتصالات مستقیم اوست. اما با نگاهی به ستون نفوذ جهانی درمی‌یابیم که نفوذ جهانی این گره تنها ۰.۳۰ است؛ به این معنا که اکثر اتصالات او محدود به انجمن خودش است و او نقش یک هاب محلی را بازی می‌کند.در دیدگاه پیشنهادی یعنی DRMC در مقابل، گره ۰ (مربی) اگرچه درجه کمتری دارد (۰.۴۸)، اما دارای نفوذ جهانی بسیار بالاتری ۰.۵۹ است. این یعنی اتصالات او بین انجمن‌های مختلف توزیع شده است. مدل پیشنهادی ما با تشخیص این ویژگی و اعمال اثر بازگشتی، گره ۰ را به رتبه نخست ارتقا داده است. این نتیجه نشان می‌دهد که DRMC برای گره‌هایی که نقش پل ارتباطی را دارند و جریان اطلاعات را بین گروه‌ها ممکن می‌سازند، ارزش بیشتری قائل است. ب) شناسایی ظرفیت‌های پنهان (گره ۲):گره ۲ مثال بارز دیگری از دقت مدل است. این گره درجه نسبتاً پایینی دارد (۰.۳۰) و در پیج‌رنک نیز امتیاز متوسطی گرفته است. اما به دلیل اینکه نفوذ جهانی آن بسیار بالاست ۰.۵۸، مدل DRMC جایگاه آن را تثبیت کرده است. این نشان می‌دهد گره‌هایی که شاید مشهور نباشند (درجه پایین) اما بانفوذ هستند (اتصال‌دهنده گروه‌ها)، در مدل ما بهتر دیده می‌شوند.بنابراینآزمایش فوق نشان می‌دهد که چارچوب DRMC با موفقیت توانسته است بر ضعف اصلی پیج‌رنک یعنی گیر افتادن در تله‌های رتبه داخل انجمن‌ها غلبه کند و معیاری ترکیبی ارائه دهد که هم رهبران محلی و هم میانجی‌های جهانی را با دقت بالا شناسایی می‌کند. 5-5- تحلیل حساسیت پارامتر αیکی از ویژگی‌های برجسته مدل ما، قابلیت تنظیم‌پذیری با پارامتر α استدر کاربردهایی که هدف حفظ انسجام داخلی است مثل تیم‌سازی، مقدار α به 0 میل داده می‌شود تا وزن پارامتر CL بالا رود.در کاربردهایی که هدف انتشار سریع اطلاعات یا «یروس‌شناسی است، مقدار α به 1 میل داده می‌شود تا گره‌هایی با CG بالا که توانایی پخش بین گروه‌ها را دارند، در صدر لیست قرار گیرند. فصل ششمروش نتیجه‌گیری و پیشنهادات6-1- مقدمهمسئله شناسایی گره‌های مرکزی در شبکه‌های پیچیده، همواره با چالش تعریف اهمیت روبرو بوده است. در این پژوهش، ما سیر تکاملی این مفهوم را از معیارهای ایستا و ساختار کور فریمن به سوی مدل‌های بازگشتی بوناسیچ و پیج‌رنک مرور کردیم. استدلال اصلی ما این بود که رویکردهای موجود، یا ساختار مزوسکوپیک انجمن‌ها را نادیده می‌گیرند و یا مانند کارهای اولیه در مرکزیت ماژولار از دینامیک بازگشتی جریان غافل‌اند.مقاله حاضر با معرفی چارچوب مرکزیت ماژولار بازگشتی پویا، یک راهکار ترکیبی ارائه داد. این مدل با تفکیک نفوذ گره به دو مؤلفه متعامد محلی و جهانی و تزریق آن‌ها در یک فرآیند تکراری مشابه PageRank، توانست:1. ماهیت همپوشان انجمن‌ها را در فرمولاسیون ریاضی لحاظ کند.2. گره‌هایی را شناسایی کند که شاید درجه بالایی نداشته باشند، اما به دلیل اتصال استراتژیک به انجمن‌های متنوع، شاه‌راه‌های جریان اطلاعات محسوب می‌شوند. 6-2- محدودیت‌ها و مسیرهای پژوهشی آیندهاگرچه مدل پیشنهادی گامی رو به جلو محسوب می‌شود، اما مسیرهای نویی را برای پژوهش‌های آینده می‌گشاید که با توجه به فایل موضوعات پیشنهادی، می‌توانند شامل موارد زیر باشند:یادگیری پارامتر α با هوش مصنوعی: در مدل فعلی، α یک عدد ثابت دستی است. در کارهای آتی می‌توان با استفاده از شبکه‌های عصبی گراف (GNN)، مقدار بهینه α را برای هر شبکه به صورت خودکار و بر اساس ویژگی‌های توپولوژیک یاد گرفت.شبکه‌های زمانی: فرمول فعلی برای شبکه‌های ایستا (یا اسنپ‌شات‌های ثابت) طراحی شده است. تعمیم این فرمول برای شبکه‌هایی که یال‌های آن دارای برچسب زمانی (t) هستند، می‌تواند پروژه‌ای چالش‌برانگیز و نوآورانه باشد.پیاده‌سازی مقیاس‌پذیر: برای گراف‌های میلیاردی (مثل وب یا توییتر)، محاسبه ضریب مشارکت می‌تواند پرهزینه باشد. استفاده از الگوریتم‌های تقریبی یا پردازش توزیع‌شده Spark GraphX برای پیاده‌سازی این مدل پیشنهاد می‌شود. فصل هفتممنابع[1] L. C. Freeman, "Centrality in social networks: Conceptual clarification," Social Networks, vol. 1, no. 3, pp. 215-239, 1979.[2] P. Bonacich, "Power and Centrality: A Family of Measures," American Journal of Sociology, vol. 92, no. 5, pp. 1170-1182, 1987.[3] L. Page, S. Brin, R. Motwani, and T. Winograd, "The PageRank Citation Ranking: Bringing Order to the Web," Technical Report, Stanford InfoLab, 1998.[4] Z. Ghalmane, C. Cherifi, H. Cherifi, and M. El Hassouni, "Centrality in Complex Networks with Overlapping Community Structure," Scientific Reports, vol. 9, no. 1, p. 10133, 2019. سید علی سادات خراسانی سید علی سادات خراسانی Mon, 09 Feb 2026 21:36:00 +0330