انجمن کامپیوتر ایران

شبکه روی تراشه به عنوان راه حلی کارآمد و مؤثر برای حذف گذرگاه‌ها و ایجاد یک بستر مناسب برای ارتباط بین پردازنده‌ها معرفی شده است. با کاهش ابعاد ترانزیستورها و افزایش پیچیدگی مدارها، تراشه‌های سه بعدی به عنوان یک راه حل برای طراحی مدارها ارائه شده‌اند. از طرف دیگر این کاهش ابعاد ترانزیستور، احتمال بروز اشکال در تراشه ها را افزایش می‌دهد. بنابراین تحمل پذیری اشکال یکی از مهم ترین چالش‌های موجود در طراحی مدارهای دیجیتال است. در این مقاله یک الگوریتم مسیریابی (SM) با هدف افزایش تحمل‌پذیری اشکال در اتصالات شبکه بویژه اتصالات عمودی شبکه روی تراشه سه بعدی پیشنهاد شده است. مسیریابی ارائه شده با استفاده از یک جدول مسیریابی درون لایه‌ای و دو جدول اشکال اتصالات میان لایه ای (TSV) و اتصالات درون لایه‌ای بهبود قابل توجهی در پارامترهای تأخیر، قابلیت اطمینان و گذردهی شبکه در ازای افزایش ناچیز میزان حافظه اشکال شده در هر راهگزین بوجود آورده است. نتایج شبیه‌سازی‌ها بر روی یک شبکه مش سه بعدی با ابعاد 7×7×7 نشان می‌دهد که با تزریق اشکال در 12% اتصالات شبکه، برای ترافیک واقعی و ترافیک ساختگی تأخیر شبکه به طور میانگین به ترتیب 67/42% و با 61/46% کاهش می‌یابد و قابلیت اطمینان شبکه نیز به‌طور میانگین به میزان 9/16% بهبود یافته است.

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

یکی از جدی‌ترین چالش‌های امنیت در سامانه‌های تعبیه‌شده، حملات تحلیل توانی است که اساس کارکرد این دسته از حملات بر استخراج مشخصه‌های سخت‌افزاری جهت کشف رمز بنا نهاده شده است. در حملات تحلیل توانی، مهاجم با استخراج الگوی مصرف توان در سامانه رمزنگاری و مطابقت دادن آن با توان مصرفی از پیش اندازه‌گیری شده از سامانه، می‌تواند به اطلاعات محرمانه دسترسی پیدا کند. روش پوشش جانشانی چرخشی یکی از آخرین روش‌هایی است که سعی دارد در سطح کاربرد به مقابله با حملات تحلیل توانی بپردازد و ادعا شده است که الگوریتم‌هایی که با استفاده از این روش مقاوم شده‌اند، در مقابل حملات تحلیل توان مرتبه اول و مرتبه دوم با میزان انحراف صفر مقاوم هستند. در این مقاله پس از بررسی نقاط ضعف روش پوشش جانشانی چرخشی، حمله‌ای طراحی و پیاده‌سازی کرده‌ایم که نشان می‌دهد روش مذکور در مقابل حملات تحلیل توانی مرتبه دوم با میزان انحراف صفر بهبود امنیتی به دست نمی‌دهد. برای این منظور کد الگوریتم رمزنگاری AES که به این روش مقاوم‌سازی مجهز شده است را بر روی خانواده میکروکنترلر PIC اجرا کرده و بر نقطه‌ای از الگوریتم حملات را انجام دادیم. نتایج به دست آمده موید کشف کلید و شکسته شدن الگوریتم رمزنگاری هستند.

در این مقاله سعی شده است با استفاده از روش‌های کاهش توان در لایه ترانزیستور لچی طراحی گردد که علاوه بر مقاومت در برابر خطا به لحاظ مصرف توان در سطح بسیار مطلوبی باشد و به همین جهت از آن می‌توان برای طراحی سیستم ها با کاربرد بحرانی استفاده کرد. امروزه افزایش فرکانس کاری مدارات و استفاده از افزونگی جهت مقاوم‌سازی آنها در برابر خطا سبب شده است توان مصرفی مدارات به شدت افزایش یابد. این مقاله با استفاده از روشی موسوم به بایاس انطباقی بدنه (Adaptive body bias) سعی در کاهش موثر توان لچ کرده است به گونه ای که آنرا برای استفاده در سیستم‌های با توان پایین مهیا ساخته است. بکارگیری پنج عنصر C-Element در لچ مذکور، آنرا در برابر واژگونی بیت نه فقط برای رخداد خطا در یک نقطه بلکه در چند نقطه مقاوم سازی کرده است. لچ طراحی شده با استفاده از نرم افزار Hspice و با تکنولوژی nm90 ارزیابی شده است. مصرف توان لچ ارائه شده نسبت به لچ بدون افزونگی 153% سربار دارد هرچند که با اعمال روش کاهش توان، افزونگی سربار آن را تا 106% کاهش داده‌ایم. این بدین معناست که لچ طراحی شده با حضور افزونگی مصرف توانی برابر با uW93/1 داشته که در مقایسه با مقدار مصرف توان، بدون اعمال روش‌های کاهش توان 42% کاهش نشان می‌دهد. تمام اینها در شرایطی حاصل شده است که مدار لچ در برابر خطاهای تک رخدادی و چند رخدادی گذرا 100% پوشش را نشان می‌دهد.

از چالش‌هاي مهندسي نرم افزار مبتني بر عامل مدل‌سازي عامل‌ها، پياده‌سازي آن‌ها و همچنين ارزیابی سيستم‌هاي عامل‌گرا به طور صحيح، درست و بدون ابهام است. از آنجاکه روش‌هاي صوری بر پايه رياضي هستند چارچوبي را براي "سيستم¬هاي مبتني بر عامل" فراهم مي‌کنند که بتوان سيستم عامل‌گرا را به طور صحيح مدل‌سازي، پياده‌سازي و ارزیابی کرد. در متدولوژي MaSE، در هفت مرحله با گذر از مراحل مختلف تحليل و طراحي، مستندات گوناگوني تهيه مي‌گردد که اين مستندات بيشتر به صورت گرافيكي ارائه مي‌شوند. در این رهیافت این مستندات را مي‌توان با روش‌هاي صوری مانند "سيستم تبديل گراف" صوری کرد و امکانی را فراهم کرد که بتوان به صورت خودکار، دقیق و سریع نحو مدل و هم‌خوانی بین نمودار‌های متدولوژي MaSE را بررسی کرد و در نتیجه هزینه‌های طراحی و پیاده‌سازی را کاهش داد.

امروزه با محیط‌های متغییر سیستم‌های نرم‌افزاری، نظارت مناسب و دقیق برای ادامه عملیات، امری اجتناب ناپذیر است. عیب‌یابی و نگهداری در زمان اجرا،پرهزینه و وقت‌گیر بوده و از طرف دیگر، نیاز بسیاری برای کاهش پیچیدگی مدیریت و دستیابی به تمام الزامات موردنظر با هزینه مناسب در طول عملیات وجود دارد. نرم‌افزار خود تطبیق پاسخی به این نیازمندی‌هاست. نظارت مداوم و کسب اطلاعات دقيق در مورد حالت سلامت دروني سيستم (خود-آگاهی) و محيط سيستم (محيط-آگاهي)، نیازی ضروری در سيستم‌هاي خود‌ تطبيق مي‌باشد و بایستی شرايط تضمین تطبیق را تشخيص دهد. اطلاع از حالت نرمال سيستم، سيستم را قادر مي‌سازد تا به طور خودکار در هنگام شکست و خطاي اجزاء سيستم، از طريق راه‌اندازي مجدد يا پيکربندي مجدد، بازيابي شود. بررسی راهکارهای نظارت موجود بسیار ارزشمند خواهد بود، از اینرو، این مقاله مروری کلی از مدل‌ها و چارچوب‌های ارائه شده برای نظارت سیستم‌های نرم‌افزاری خود تطبیق، مقایسه آنها، و فضای پژوهشی پیش رو ارائه می‌نماید.

پروتکل‌های رای‌گیری گام‌هایی را مشخص می‌کنند که افراد با پیمودن آن می‌توانند در رای‌گیری شرکت کرده و رای خود را به ثبت برسانند و در عین حال از صحت انتخابات نیز مطمئن باشند. بنابراین این پروتکل‌ها بایستی خواسته‌های امنیتی خاصی را برآورده کنند. در این مقاله سعی داریم با مدلسازی پروتکل F.O.O با ابزارهای صوری، برخی از ویژگی‌های امنیتی آن را تحلیل کنیم. همچنین نشان می‌دهیم که برخلاف ادعای [2] این پروتکل در محیط‌هایی با مقیاس وسیع تنها در شرایط ایده‌آل (و در برخی موارد نزدیک به ایده‌آل) قابل استفاده است، اما در حالت کلی برای محیطی که مقیاس وسیعی را دربرمی‌گیرد، قابل استفاده نخواهد بود.

در این مقاله روشی جدید برای بهبود کیفیت تصاویر آندسکوپی به وسیلۀ توزیع ناهمسانگرد کنتراست و تعدیل هیستوگرام ارائه می‌شود. تصاویر آندسکوپی موجود در کشورمان از لحاظ نور و کیفیت وضعیت مناسبی ندارند و همین موضوع تبدیل به چالشی جهت تشخیص انواع بیماری‌های دستگاه گوارش شده است. برای غلبه بر این مشکلات و کمک به پزشکان برای تشخیص بهتر، در این مقاله یک روش وفقی با استفاده از توزیع کنتراست و تعدیل هیستوگرام ارائه می‌شود. همچنین در روش پیشنهادی مفهوم جدیدی از توزیع کنتراست بر اساس آنالیز محلی تصاویر آندسکوپی معرفی می‌شود. سپس به وسیلۀ انتخاب وفقی پارامتر هدایت که نقشی مهم در توزیع ایفا می‌کند، توزیع کنتراست به منظور بهبود کیفیت تصاویر آندسکوپی به تصویر اعمال می‌شود و در نهایت بعد از انتقال به سه فضای رنگ XYZ، YIQ و HSI به کمک روش تعدیل هیستوگرام ،تغییرات نامحسوس رنگ نمایان‌تر می‌شود. نتایج تجربی نشان می‌دهد که روش ارائه شده عملکرد قابل توجهی در افزایش قابلیت دیداری تصاویر آندسکوپی از خود نشان می‌دهد.

در سال‌های اخیر، توجه محققان به طراحی مدارهایی با هدف کاهش اتلاف انرژی، بهینه‌سازی مصرف توان، کاهش مساحت مدار تا مقیاس نانو، و حداقل‌سازی حرارت تولیدی توسط مدار جلب شده است. منطق برگشت‌پذیر نقش مهمی در طراحی مدارهای دیجیتالی ایفا می‌کند، به طوری‌که در سیستم‌های مبتنی بر نانو تکنولوژی، پردازش کوانتومی، و طراحی مدارهای CMOS با توان مصرفی کم کاربرد گسترده‌ای از خود نشان داده است. در این مقاله، یک گیت برگشت‌پذیر جدید 4×4 به نام MR معرفی شده است که به تنهایی قادر است به عنوان مدارهای جمع‌کننده و تفریق‌گر تک بیتی مورد استفاده قرار گیرد. پیاده‌سازی ترانزیستوری گیت پیشنهادی با استفاده از تکنولوژی CMOS و هم چنین نمایش کوانتومی این گیت ارائه شده است. با بهره‌گیری از گیت MR مدار تمام جمع‌کننده/ تفریق‌گر تک بیتی و سپس تمام جمع‌کننده/ تفریق‌گر هشت بیتی موازی ارائه می‌شود. مدارهای پیشنهادی از نظر تعداد ترانزیستور مورد استفاده، تعداد ورودی‌های ثابت، تعداد خروجی‌های بلا استفاده، تعداد گیت برگشت پذیر مورد نیاز و هزینه کوانتومی در مقایسه با مدارهای نظیر پیش از خود بهبود یافته است. سیگنال‌های خروجی حاصل از پیاده‌سازی ترانزیستوری گیت MR با استفاده از نرم‌افزار H-Spice بیان‌گر صحت عملکرد مدار ارائه شده می‌باشد.

ابرهای محاسباتی یک فناوری جدید است که به‌دلیل استفاده از روش‌های خاص مانند مجازی‏سازی، روز‏به‏روز در حال مشهورتر شدن می‌باشد. این فناوری خدمات مختلف سخت‏افزاری، نرم‏افزاری و سکو را به کاربران سرتاسر جهان بر‏مبنای پرداخت به اندازه استفاده ارائه می‌دهد. یکی از مسائل مهمی که در ابرهای محاسباتی مطرح است، مسئله زمانبندی برنامه‌های کاربردی مختلف بر روی منابع موجود است، به‏طوری که نیازهای کیفیت سرویس مورد‏نظر کاربر مانند حداقل شدن زمان اجرا و هزینه نیز تامین شود. از‏جمله این برنامه‌های کاربردی می‏توان به برنامه‏های موازی با جفت‏شدگی شل یا همان برنامه‌های جریان کاری اشاره کرد. از‏این‏رو در این پژوهش الگوریتمی برای زمانبندی چند هدفه برنامه‌های جریان کاری در ابرهای محاسباتی ارائه شده ‏است که در آن از ترکیب الگوریتم‌های کلونی زنبور عسل، Min-Min و توابع آشوب استفاده شده‏است. این الگوریتم زمان اجرا را با درنظر گرفتن محدودیت بودجه، حداقل می‌کند. نتایج بدست‏آمده از اجرای الگوریتم پیشنهادی و الگوریتم کلونی زنبور عسل استاندارد بر روی داده‌های یکسان، نشان می‌دهد که الگوریتم پیشنهادی دارای کارآیی بالاتری نسبت به الگوریتم کلونی زنبور عسل استاندارد می‏باشد.

تخمین حرکت قسمت بسیار مهم عملیات فشرده سازی ویدئو می‌باشد. برای تخمین حرکت نیاز به مقایسه بلاک‌های فریم مرجع و اصلی می‌باشد. معمولا تمامی پیکسل‌های دو بلاک با استفاده از معیار SAD مقایسه می‌شوند. با توجه به شباهت پیکسل‌های مجاور در یک فریم می‌توان تعداد مقایسه بین پیکسل‌ها را در SAD کاهش داد. در این مقاله چهار معیار جدید برای مقایسه بلاک‌ها پیشنهاد شده است و عملکرد آنها هم از نظر سرعت اجرا و هم از نظر کیفیت ویدئو با معیار SAD مقایسه شده است. دو معیار عملکرد بسیار مناسبی داشته اند که باعث افزایش سرعت عملیات فشرده سازی ویدئو می‌شود.

مبهم سازی در مفهوم کلی، تکنیکی است که باعث می‌شود تا خواندن و تحلیل کدهای یک برنامه سخت‌تر شود که باهدف امنیت نرم‌افزار موردنظر صورت می‌گیرد. برای مهندسی معکوس به‌طورمعمول از گراف جریان کنترلی استفاده می‌شود. درنتیجه می‌بایست این گراف جریان کنترلی را به طریقی مبهم نمود. در این مقاله گراف جریان کنترلی با استفاده از شبکه‌های پتری و چند نخی مبهم می‌شود. بحث اصلی بر سر تقسیم کدها به قسمت‌هایی می‌باشد به‌طوری‌که برنامه در نخ‌های جداگانه اجرا شود. این نخ‌ها می‌بایست توسط مدیر نخ، مدیریت شوند تا در اجرای آن‌ها مشکلی پیش نیاید. هر چه شبکه پتری که برای مدل‌سازی برنامه استفاده می‌شود پیچیده‌تر باشد، مهندسی معکوس آن نیز دشوارتر می‌شود.

تئوري مجموعه‌هاي فازي در برنامه‌هاي متفاوتي از کنترل گرفته تا مديريت پايگاه داده‌ها استفاده مي‌شود. در پايگاه داده‌هاي فعالي که از همگام سازي همزمان براي انتشار تغييرات از منبع به مقصد استفاده مي‌کنند اگر تعداد رويدادهايي که سبب انتشار مي‌شوند افزايش يابد آنگاه مجموع تاخيرات برنامه ممکن است افزايش يابد که غير قابل قبول است. در اين مقاله همتاسازي فازي را پيشنهاد مي‌کنيم که تاخير برنامه را کاهش مي‌دهد و از روش ماشه‌چکاني فازي استفاده مي‌كند. اين روش پياده‌سازي و ارزيابي شده است و در قياس با دو روش همتاسازي مشتاق و تنبل بهتر عمل مي‌کند.

در این مقاله یک روش جدید بر پایه ی ورونوی جهت تعیین معیار دوری و نزدیکی در خوشه بندی انواع داده پیشنهاد شده است. این روش برای تخمین فواصل دور یا نزدیک بطور کاملا خودکار قابل پیاده سازی است و در حوزه ی طبقه بندی داده ها و خوشه بندی بکار گرفته شده است. این امر یک روش خوشه بندی جدید را منجر شده که با تعیین تخمین هایی کاربردی، مفاهیم دوری و نزدیکی طبق خصوصیات محلی هر داده را بیان نموده و وابستگی الگوریتم های خوشه بندی را به پارامتر های ورودی از جمله تعداد خوشه، اندازه شعاعی و شکل آنها حذف کرده است. همچنین با داشتن مقاومت بالا در انواع داده، مزایای روش های مختلف خوشه بندی را به همراه دارد. نتایج حاصله از آزمایشهای مورد نیاز، کاربردی بودن آن را در داده های واقعی نشان می دهد.

اهمیت قابلیت اطمینان مدارها و خصوصاً اثر تشعشعات کیهانی و اشکالات ناشی از برخورد این ذرات به مدارات، با کاهش روزافزون ابعاد تکنولوژی و نیز ولتاژهای عملیاتی، به صورت چشمگیری افزایش یافته است. لذا امروزه، بکارگیری روش‌هایی جهت افزایش مقاومت کلی مدار نسبت به برخورد ذرات پرانرژی به یکی از چالش‌برانگیزترین مباحث مربوط به طراحی مدارهای دیجیتال تبدیل شده است. در این مقاله، یک لچ مقاوم در برابر خطای نرمِ ناشی از برخورد ذرات پرانرژی به سطح تراشه، جهت کاربرد در مدارهای با قابلیت اطمینان بالا معرفی می‌گردد. اساس روش پیشنهادی، استفاده از فیدبک‌های چندگانه به هنگام قرارگیری لچ در وضعیت نگهداری از داده است. شبیه‌سازی‌های انجام‌شده با نرم افزار HSPICE در تکنولوژی 65 نانومتر نشان می‌دهد، ساختار پیشنهادی قادر به حذف اثرات تک‌رخداد و نیز چندرخداد واژگونی بوده و در مقایسه با سایر مدارات مشابه، حداقل دارای کاهش حدود 13 درصدی پارامترهای تأخیر و توان مصرفی می‌باشد.

امروزه برنامه‌های کاربردی مبتنی بر سرویس به‌منظور کاهش تأثیر تغییرات محیطی نیازمند تطبیق در زمان اجرا هستند تا بدین ترتیب قادر به حفظ ویژگی‌های کیفی عملکردهای پایه باشند. این نیاز در برنامه‌های کاربردی تطبیق‌پذیر مبتنی بر سرویس، از طریق ایجاد سازوکارهای مناسب برای اعمال استراتژی‌های تطبیق مرتفع می‌شود. اما در این حوزه جداسازی دغدغه تطبیق‌پذیری از منطق برنامه‌ها و ایجاد خودتطبیقی در یک لایه مستقل از کاربردها و سرویس‌دهنده‌ها چالش مهمی محسوب می‌شود. این مقاله راهکاری را برای ایجاد سازوکار خودتطبیقی در برنامه‌های کاربردی مبتنی بر سرویس بر اساس مدل‌های معماری زمان اجرای مستقل از منطق برنامه‌ها ارائه می‌دهد. در این روش مدل‌های معماری زمان اجرا فضایی برای نمایش وظایف و نیازمندی‌های کیفی سیستم در سطح فرایند به همراه خصوصیات زمان اجرای سیستم فراهم می‌آورد. در این راستا، برای تعریف مدل‌های معماری زمان اجرا متامدلی ارائه شده است که بر اساس آن نحوه تبدیل استراتژی‌های تطبیق به مدل‌های زمان اجرا و نحوه اعمال آن بر سیستم تعریف می‌شود. بررسی روش ارائه شده بر روی یک نمونه موردی نشان می‌دهد که این روش می‌تواند امکان فراهم آوردن خودتطبیقی را بر اساس مدل‌های زمان اجرا و جدا از منطق برنامه‌ها فراهم سازد.

توصیف داده‌ها به کمک بردارهای پشتیبان (SVDD) روشی است مبتنی بر حقه هسته (kernel) که به جهت کسب نتایج مناسب در زمینه‌هایی از قبیل تشخیص داده‌های نویزی و پرت، دسته‌بندی تک کلاسه، طبقه‌بندی داده‌های نامتوازن در سال‌های اخیر مورد توجه قرار گرفته است. صحت و دقت طبقه‌بندهای مبتنی بر بردارهای پیشتیبان از تأثیر مخرب داده‌های نویزی و پرت رنج می‌برند. یکی از کارآمدترین روش‌های مقاوم‌سازی طبقه‌بندها حساس‌سازی آن‌ها به داده‌های ارزش‌مند‌تر است. از آنجایی که مجموعه فازی سخت (Rough fuzzy set) از پتانسیل مناسب جهت تشخیص داده‌های مرزی برخوردار می‌باشد. توصیف داده‌ها به کمک بردارهای پشتیبان مبتنی بر این مجموعه فازی به صحت و دقت بیشتری در طبقه‌بندی داده‌ها دست پیدا می‌کند. در آزمایشات از روش اعتبار سنجی ضرب‌دری k-folded cross validation استفاده شده‌است. نتایج آزمایشات نشان‌دهنده برتری روش پیشنهادی است.

گرافولوژی، علم مطالعه و بررسی شخصیت و خصوصیات فردی بر اساس نوشتن است. آگاهی از این علم می‌تواند موارد استفاده زیادی در جامعه داشته باشد. در این مقاله، یک پایگاه داده دست نوشته‌های فارسی برای گرافولوژی معرفی می‌شود. داده‌های جمع آوری شده شامل 140 نمونه دستخط از دو گروه دانشجویان دانشگاه جامع علمی کاربردی و مددجویان زندان شهر سمنان می‌باشد. ضمن اخذ دستخط، افراد شرکت کننده در این تحقیق، پرسشنامه شخصیتی MMPI 71 سوالی راتکمیل نمودند و 11 پارامتر روانشناختی استخراج شده از پرسشنامه مذکور در کنار دستخط هر فرد ارایه شده است. داده های این پایگاه داده در تحقیقات گرافولوژی دست نوشته‌های فارسی قابل استفاده می‌باشد.

کاوش مجموعه اقلام نقش مهمی در تمام زمینه‌‌های تحقیقاتی داده کاوی مانند: قوانین انجمنی، خوشه‌‌بندی و طبقه‌‌بندی ایفا می‌‌کند. کاوش تمام مجموعه اقلام مکرر منجر به تعداد گسترده‌‌ای از اقلام می‌‌گردد. این مسئله می‌‌تواند به مسئله یافتن مجموعه اقلام مکرر ماکسیمال (MFI) تبدیل شود. در این مقاله یک روش جدید برای کاوش تمام MFIها مبتنی بر تئوری گراف و بهبود سرعت آن به وسیله تئوری درخت پیشنهاد شده است. در روش ارائه شده ابتدا یک ماتریس مربعی وابسته به عناصر تراکنش‌‌های پایگاه داده ساخته می‌‌شود. سپس گراف ماتریس در نظر گرفته می‌‌شود و زیرگراف‌‌های کامل ماکسیمال (کیلیک بیشینه) که یک به یک متناظر با MFIها هستند پیدا می‌‌شوند. در این روش ابتدا فرض می‌‌شود گراف اولیه کامل است و در هر مرحله گراف شکسته می‌‌شود تا به تمامی زیرگراف‌‌های ماکسیمال برسیم. در این بین هر زیرگرافی که شکسته می‌‌شود در یک درخت نگهداری می‌‌شود. این درخت با مکانیزم خاصی برای بالابردن سرعت جستجو استفاده شده است. نتایج آزمایشات مزایای روش پیشنهادی شامل راندمان، سادگی، دقت، و حافظه مصرفی را تایید می‌‌کند. علاوه بر این روش پیشنهادی کارایی خوبی در پایگاه‌‌داده‌‌های بزرگ دارد.

سلول‌های سفید خون از اجزا مهم خون انسان هستند و شاخصی برای تشخیص برخی از بیماریها محسوب می‌شوند. قطعه‌ بندی سلول‌های سفید خون از روی تصاویر میکروسکوپی، گامی بسیار مهم در تجزیه و تحلیل دقیق اطلاعات مربوط به بیمارهای خون است. تمرکز ما در این مقاله بر روی قطعه بندی هسته ی سلول های سفید خون است. در روش پیشنهادی ما، برای قطعه بندی از ترکیبِ تجزیه فضاهای رنگ مختلف و خوشه بندی k-means استفاده شده است. برای ارزیابی روش قطعه‌ بندی پیشنهادی دو پایگاه داده از تصاویر میکروسکوپی خون مورد استفاده قرار گرفته و در نهایت عملکرد روش پیشنهادی با دو روش دیگر مقایسه شده است. در پایگاه داده اول دقتی برابر با 33/96 درصد و در پایگاه داده دوم نیز دقتی برابر با 84/95 درصد به‎دست آمده‌ است. نتایج به‌ دست آمده عملکرد بهتر روش پیشنهادی را در پایگاه‌های داده‌ی موجود نشان می‌دهد. همچنین نتایج به‌ دست آمده هم‌ تراز با نتایج پایگاه‌های داده‌ی است که در دسترس نبوده‌اند.