فا   |   En
ورود به سایت
عنوان مقاله نویسنده (ها) مربوط به کنفرانس چکیده
راهکارهای ارتقاء اثربخشی ساب‌پرتال‌های شهرداری تهران ( از دیدگاه راهبران ساب‌پرتال‌ها) فریبا باصری
عظیمه شیخ حسینی
کنفرانس فناوری اطلاعات در مدیریت شهری
امروزه استفاده اثربخش از فضای مجازی در راستای ارائه خدمات بهتر و بیشتر،‌ توسط دولت و سایر نهادها از جمله شهرداری‌‌ها یکی از ابزارهایی است که به شدت مورد توجه ... مشاهده کامل
امروزه استفاده اثربخش از فضای مجازی در راستای ارائه خدمات بهتر و بیشتر،‌ توسط دولت و سایر نهادها از جمله شهرداری‌‌ها یکی از ابزارهایی است که به شدت مورد توجه قراردارد. شهرداری تهران یکی از نهادهایی است که از سال 1386 در این حوزه فعالیت می‌نماید و خدمات الکترونیکی خود را در بستر ساب‌پرتال‌ها به مردم عرضه می‌نماید. به همین دلیل مقاله حاضر به ارائه راهکارهای ارتقاء اثربخشی ساب‌پرتال‌های شهرداری تهران پرداخته است. برای رسیدن به هدف اصلی مقاله، از تکنیک مصاحبه عمیق استفاده شده است. در این راستا، با انجام ده مصاحبه با راهبران ساب‌پرتال‌ها، داده‌های لازم گردآوری شده است. یافته‌های این پژوهش نشان می‌دهد که نبود سیاست‌گذاری‌ و برنامه‌ریزی‌های یکپارچه در حوزه ساب‌پرتال‌ها، محدودیت‌های آموزشی در استفاده از ابزارهای فنی، نبود آموزش‌های ضمن خدمت و محدود بودن اختیارات راهبران و نداشتن قدرت انجار کار متناسب با وظیفه اجرایی، مشخص نبودن جایگاه این ساب‌پرتال‌ها در بین مخاطبان، از جمله موانع رشد و اثربخشی این ساب‌پرتال‌ها بوده است و در صورت رفع این موانع، شاهد ارتقاء اثربخشی و خدمت‌رسانی بیشتر و بهتر این ساب‌پرتال‌ها به شهروندان خواهیم بود. عدم مشاهده کامل
امروزه استفاده اثربخش از فضای مجازی در راستای ارائه خدمات بهتر و بیشتر،‌ توسط دولت و سایر نهادها از جمله شهرداری‌‌ها یکی از ابزارهایی است که به شدت مورد توجه ... مشاهده کامل
خرید مقاله
بهبود سیستم‌های توصیه‌گر با بهره‌گیری از روابط اعتماد وابسته به زمینه فائزه سادات گوهری
فریدون شمس علیئی
حسن حقیقی
بیست و سومین کنفرانس ملی سالانه انجمن کامپیوتر ایران
با گسترش سریع و مداوم اینترنت، ضرورت وجود سیستم‌های توصیه‌گر به طرز چشمگیری افزایش یافته است. سیستم‌های توصیه‌گر مبتنی بر اعتماد، گونه‌ای از سیستم‌های توصیه‌گر هستند که با بکارگیری روابط ... مشاهده کامل
با گسترش سریع و مداوم اینترنت، ضرورت وجود سیستم‌های توصیه‌گر به طرز چشمگیری افزایش یافته است. سیستم‌های توصیه‌گر مبتنی بر اعتماد، گونه‌ای از سیستم‌های توصیه‌گر هستند که با بکارگیری روابط اعتماد میان کاربران سعی در بهبود کیفیت پیشنهادات دارند. منطق پشت این سیستم‌ها این است که کاربران تمایل به پذیرش اقلامی دارند که به جای افراد غریبه توسط اشخاص قابل اعتماد توصیه شده باشند. یکی از مهم‌ترین ویژگی‌های اعتماد، وابستگی به زمینه می‌باشد. این بدان معناست که کاربرانی که در یک زمینه خاص قابل اعتماد هستند، لزوماً در یک زمینه دیگر قابل اعتماد نیستند. علی‌رغم اهمیت اطلاعات زمینه‌ای، این ویژگی در رویکردهای کنونی عمدتاً مورد غفلت واقع شده است. در این مقاله، رویکرد جدیدی پیشنهاد می‌گردد که با در نظر داشتن زمینه معنایی اقلام، روابط اعتماد میان کاربران را مورد استنتاج قرار می‌دهد. با استفاده از این رویکرد، سطح اعتماد میان دو کاربر بسته به زمینه‌‌های مختلف متغیر است. بنابراین، برای اقلام هدف مختلف، همسایگان قابل اعتماد کاربر جاری متفاوت خواهند بود و این همسایگان بر اساس زمینه‌ای که قلم هدف متعلق بدان است، تعیین می‌شوند. نتایج آزمایشات بر روی یک مجموعه داده واقعی، نشان‌گر دقت بالاتر و کارایی رویکرد پیشنهادی در برابر همتایان خود می‌باشد. عدم مشاهده کامل
با گسترش سریع و مداوم اینترنت، ضرورت وجود سیستم‌های توصیه‌گر به طرز چشمگیری افزایش یافته است. سیستم‌های توصیه‌گر مبتنی بر اعتماد، گونه‌ای از سیستم‌های توصیه‌گر هستند که با بکارگیری روابط ... مشاهده کامل
خرید مقاله
ارائه روشی برای تولید مجموعه خط مشی کنترل دسترسی XACML در برنامه‌های کاربردی تحت وب شایان احمدی
محمد نصیری
محسن رضوانی
بیست و سومین کنفرانس ملی سالانه انجمن کامپیوتر ایران
روش‌های کنترل دسترسی از مؤلفه‌های امنیتی لازم و حیاتی در برنامه‌های کاربردی به حساب می‌آیند. استاندارد XACML زبانی اعلانی برای تعیین خط مشی کنترل دسترسی تعریف می‌کند. برای ارزیابی کارایی ... مشاهده کامل
روش‌های کنترل دسترسی از مؤلفه‌های امنیتی لازم و حیاتی در برنامه‌های کاربردی به حساب می‌آیند. استاندارد XACML زبانی اعلانی برای تعیین خط مشی کنترل دسترسی تعریف می‌کند. برای ارزیابی کارایی و عملکرد برنامه‌های کاربردی تحت وب که از XACML برای کنترل دسترسی به منابع استفاده می‌کنند، نیاز حیاتی به تولید دادگان متنوع از انواع خط مشی وجود دارد. دسترسی به مجموعه خط مشی‌های موجود در برنامه‌های کاربردی تحت وب فعلی بسیار محدود است. به دلیل موارد امنیتی و رعایت محرمانگی، مجموعه خط مشی‌های در دسترس بسیار اندک می‌باشند. از طرف دیگر، این مجموعه خط مشی‌ها به مرور زمان ایجاد می‌شوند؛ در نتیجه دسترسی به تعداد زیادی مجموعه خط مشی در مدت زمان کوتاه امری دشوار است. برای این منظور، ابتدا ویژگی‌های آماری یک خط مشی XACML براساس چندین خط مشی واقعی موجود استخراج، مدل‌سازی و عمومی‌سازی می‌شود. این مدل‌سازی آماری کمک می‌کند که بتوان دادگان خط مشی را به نحوی ساخت که ویژگی‌های آماری مشابه با یک خط مشی واقعی داشته باشد. در نهایت ۱۰ ویژگی آماری برای یک خط مشی XACML استخراج شده است و مبتنی بر این ویژگی‌ها ابزاری برای تولید خط مشی ساختگی توسعه داده شده است. ابزار توسعه داده شده در این تحقیق مبتنی بر جاوا بوده و به صورت متن باز در اختیار محققین XACML قرار داده شده است. عدم مشاهده کامل
روش‌های کنترل دسترسی از مؤلفه‌های امنیتی لازم و حیاتی در برنامه‌های کاربردی به حساب می‌آیند. استاندارد XACML زبانی اعلانی برای تعیین خط مشی کنترل دسترسی تعریف می‌کند. برای ارزیابی کارایی ... مشاهده کامل
خرید مقاله
ارائه راهکارهایی برای بهبود عملکرد شبکه‌های خودرویی محتوا محور با هدف در نظرگیری چند نوع کاربرد و کاهش اثر طوفان همه پخشی روژین تیزور
مقصود عباسپور
بیست و سومین کنفرانس ملی سالانه انجمن کامپیوتر ایران
هوشمندسازی وسائط نقلیه و بهره‌گیری از فناوری‌های موجود در شبکه‌های خودرویی می‌تواند راه مناسبی برای بهبود سیستم‌های حمل‌ونقل باشد که علاوه بر کاهش حوادث و تلفات ناشی از خطای انسانی ... مشاهده کامل
هوشمندسازی وسائط نقلیه و بهره‌گیری از فناوری‌های موجود در شبکه‌های خودرویی می‌تواند راه مناسبی برای بهبود سیستم‌های حمل‌ونقل باشد که علاوه بر کاهش حوادث و تلفات ناشی از خطای انسانی سبب بهبود امنیت، کاهش اتلاف وقت و مصرف مناسب سوخت شود. بهره‌گیری از معماری شبکه‌های محتوا محور به سبب نوع ساختار آن‌ مزایای زیادی برای شبکه‌های خودرویی به همراه دارد به‌طوری‌که می‌توان با چالش‌های موجود در این شبکه‌ها مانند تغییر دائمی توپولوژی شبکه، حرکت سریع خودروها و لینک‌های ارتباطی ناپایدار مقابله نمود. اغلب کارهای انجام‌شده در این حوزه، کاربردهایی را مدنظر قرار داده‌اند که با مدل مبنایی شبکه‌های محتوا محور کاملاً همخوانی دارند. در این مقاله راهکاری ارائه شده است تا با اعمال تغییراتی در مدل مبنایی بتوان از انواع کاربردها پشتیبانی نمود. از سوی دیگر در چنین شبکه‌ای که مبنای ارسال‌ها به‌صورت سیلابی و همه‌پخشی است، راهکاری برای مقابله با پدیده‌ی طوفان همه‌پخشی پیشنهاد شده است. در انتها راهکارهای ارائه شده از طریق شبیه‌سازی مورد ارزیابی قرار می‌گیرند. عدم مشاهده کامل
هوشمندسازی وسائط نقلیه و بهره‌گیری از فناوری‌های موجود در شبکه‌های خودرویی می‌تواند راه مناسبی برای بهبود سیستم‌های حمل‌ونقل باشد که علاوه بر کاهش حوادث و تلفات ناشی از خطای انسانی ... مشاهده کامل
خرید مقاله
بهبود مصالحه هزینه-کارایی در شبکه‌های تحویل محتوا با استفاده از الگوریتم کلونی زنبورعسل حمید قاسمی
مهدی جعفری سیاوشانی
بیست و سومین کنفرانس ملی سالانه انجمن کامپیوتر ایران
امروزه یکی از راهکارهای اصلی افزایش کارایی سیستم‌های غیرمتمرکز، استفاده از چندین سرویس‌دهنده و پخش بار میان آن‌ها است. با استفاده از این روش، نه تنها میزان کارایی سیستم افزایش ... مشاهده کامل
امروزه یکی از راهکارهای اصلی افزایش کارایی سیستم‌های غیرمتمرکز، استفاده از چندین سرویس‌دهنده و پخش بار میان آن‌ها است. با استفاده از این روش، نه تنها میزان کارایی سیستم افزایش می‌یابد، بلکه دسترس‌پذیری سیستم نیز به طور قابل توجهی افزایش خواهد‌یافت. در حال حاضر الگوریتم‌ها و روش‌های زیادی به منظور پیاده‌سازی یک پخش‌کننده بار ارائه شده‌است که هریک بر بخشی از نیازمندی‌ها غلبه کرده‌است. نکته‌ای که در میان روش‌های ارائه شده دور از چشم مانده‌است، هزینه‌ انتقالی است که سیستم (یا کاربر انتهایی) به ازای افزایش کارایی متحمل می‌شود. همانطور که در [1] اشاره شده‌است، همواره مصالحه‌ای1 میان هزینه و کارایی سیستم وجود دارد. در این مقاله از الگوریتم کلونی زنبور عسل [2] به منظور پخش بار استفاده می‌کنیم. در الگوریتم ارائه شده علاوه بر توزیع بار، پارامتر هزینه نیز در نظر گرفته‌شده و در انتها نشان می‌دهیم که به منظور کاهش هزینه و کارایی به صورت هم‌زمان، استفاده از این الگوریتم نسبت به الگوریتم‌های ارائه شده در [1] نتایج بهتری داشته و هم چنین سربار کنترلی کم‌تری به سیستم تحمیل خواهد‌کرد. عدم مشاهده کامل
امروزه یکی از راهکارهای اصلی افزایش کارایی سیستم‌های غیرمتمرکز، استفاده از چندین سرویس‌دهنده و پخش بار میان آن‌ها است. با استفاده از این روش، نه تنها میزان کارایی سیستم افزایش ... مشاهده کامل
خرید مقاله
یک پروتکل مسیریابی انرژی‌کارا و آگاه از کیفیت سرویس در شبکه حسگر چندرسانه‌ای بی‌سیم با استفاده از بازی دیکتاتور روح اله اسدی
محمدرضا خیام‌باشی
ناصر موحدی‌نیا
بیست و سومین کنفرانس ملی سالانه انجمن کامپیوتر ایران
انتقال چندرسانه‌ای در شبکه‌های حسگر چندرسانه‌ای بی‌سیم به ‌شدت به پروتکل‌های مسیریابی وابسته است تا علاوه بر ایجاد یک مسیر پایدار و کارآمد از نظر انرژی، سطوح مختلف کیفیت ... مشاهده کامل
انتقال چندرسانه‌ای در شبکه‌های حسگر چندرسانه‌ای بی‌سیم به ‌شدت به پروتکل‌های مسیریابی وابسته است تا علاوه بر ایجاد یک مسیر پایدار و کارآمد از نظر انرژی، سطوح مختلف کیفیت سرویس بر مبنای نیازمندی‌های مختلف داده‌های چندرسانه‌ای به‌خصوص داده‌های ویدئویی فراهم گردد. داده‌های ویدئویی به شدت نسبت به پارامترهای کیفی تاخیر و تغییرات تاخیر حساس هستند و این داده‌ها بایستی با کمترین تاخیر و بیشترین کیفیت مخابره شوند. برای رسیدن به این هدف پروتکل‌های مسیریابی زیادی مطرح شد که هر کدام از این پروتکل‌ها به نوعی از تکنیک بافرینگ در گره‌های میانی یا مقصد به منظور کاهش تغییرات تاخیر استفاده می‌کنند؛ اما این تکنیک‌ها موجب افزایش تاخیر در کاربردهای حساس به تاخیر می‌شود. این مقاله با استفاده از نظریه بازی‌ها و به‌طور خاص بازی دیکتاتور، با متعادل نمودن بار ترافیکی و کنترل ازدحام در گره‌های میانی یک مدل بهبود یافته برای مسیریابی دراین نوع شبکه‌ها ارائه و با سنجش شاخص‌های کیفی بر محوریت نیازهای پروتکل، در نهایت منجر به کشف مسیری پایدار با قابلیت اطمینان بالا می-گردد که این مهم بر اساس تعادل نش اثبات می‌گردد. نمایش عملکرد پروتکل معرفی شده در قبال پشتیبانی از کیفیت داده‌های چندرسانه‌ای حاکی از برتری مسیر به‌دست آمده توسط پروتکل پیشنهادی از نظر کاهش تاخیر انتها به انتها، کاهش تغییرات تاخیر، بهبود نرخ گذردهی و افزایش طول عمر شبکه نسبت به مقاله‌های مشابه خود می‌باشد. عدم مشاهده کامل
انتقال چندرسانه‌ای در شبکه‌های حسگر چندرسانه‌ای بی‌سیم به ‌شدت به پروتکل‌های مسیریابی وابسته است تا علاوه بر ایجاد یک مسیر پایدار و کارآمد از نظر انرژی، سطوح مختلف کیفیت ... مشاهده کامل
خرید مقاله
روشی مؤثر برای جایابی مناسب بسته کاوش نرخ با هدف بهبود کارایی مکانیسم تجمیع فریم در شبکه‌های بی‌سیم پرسرعت محمدحسن داعی
علی قالی‌باف
محمد نصیری
بیست و سومین کنفرانس ملی سالانه انجمن کامپیوتر ایران
در شبکه‌های بی‌سیم، رسانه ارتباطی دارای نوسان‌های زیادی است. استفاده از فناوری MIMO نیز این نوسان‌ها را دوچندان کرده است. از سوی دیگر، در استانداردهای جدید، پیکربندی‌های متفاوتی فراهم شده ... مشاهده کامل
در شبکه‌های بی‌سیم، رسانه ارتباطی دارای نوسان‌های زیادی است. استفاده از فناوری MIMO نیز این نوسان‌ها را دوچندان کرده است. از سوی دیگر، در استانداردهای جدید، پیکربندی‌های متفاوتی فراهم شده است؛ در نتیجه تعداد نرخ‌های قابل انتخاب از تعدادی انگشت شمار به 128 در 802.11n و 466 در 802.11ac رسیده است. در این شرایط، استفاده از یک روش تطبیق نرخ مناسب اهمیت بسیاری پیدا می‌کند. اغلب پیاده‌سازی‌های انجام شده فعلی و به طور مثال تنها روش مورداستفاده در هسته لینوکس برای تطبیق نرخ، از ارسال بسته کاوش نرخ استفاده می‌کنند. ارسال بسته کاوش با توجه به احتمال خطای بالا و عدم تجمیع، سربار زیادی به همراه دارد. نکته‌ای که کمتر به آن توجه شده، آن است که بسته کاوش ممکن است بر تجمیع سایر بسته‌ها نیز تأثیرگذار باشد. این پژوهش با استفاده از روش پیشنهادی خود، سعی در کاهش سربار بسته کاوش و تأثیرات منفی آن دارد. روش پیشنهادی در هسته لینوکس پیاده‌سازی شده و بر روی یک بسترآزمایشی با شرایط واقعی، ارزیابی شده است. نتایج ارزیابی، بیان‌گر آن است که روش پیشنهادی تا حدود 26% توانسته متوسط گذرداد را افزایش دهد. تکرار آزمایش‌ها در محیط دارای تداخل نیز، این موضوع را تصدیق می‌کند. عدم مشاهده کامل
در شبکه‌های بی‌سیم، رسانه ارتباطی دارای نوسان‌های زیادی است. استفاده از فناوری MIMO نیز این نوسان‌ها را دوچندان کرده است. از سوی دیگر، در استانداردهای جدید، پیکربندی‌های متفاوتی فراهم شده ... مشاهده کامل
خرید مقاله
انتخاب ویژگی‌های بهینه براساس بهره‌وری انرژی با استفاده از الگوریتم ژنتیک در شبکه‌های حسگر پوشیدنی صاعده قاسم‌زاده
وحید ستاری‌نائینی
مهدی افتخاری
حسن قاسم‌زاده
بهنام قوامی
بیست و سومین کنفرانس ملی سالانه انجمن کامپیوتر ایران
دستگاه‌های حسگر پوشیدنی برای بسیاری از برنامه‌های کاربردی در بهداشت و درمان استفاده می‌شود. ویژگی‌های آماری استخراج شده از سیگنال‌های فیزیولوژیکی توسط افراد، ممکن است منجر به تخلیه باتری شود ... مشاهده کامل
دستگاه‌های حسگر پوشیدنی برای بسیاری از برنامه‌های کاربردی در بهداشت و درمان استفاده می‌شود. ویژگی‌های آماری استخراج شده از سیگنال‌های فیزیولوژیکی توسط افراد، ممکن است منجر به تخلیه باتری شود که در این صورت باید ویژگی‌های بهینه انتخاب شوند. در این مقاله مفهوم انتخاب ویژگی با هدف به حداقل رساندن مصرف انرژی برنامه های کاربردی طبقه بندی شده معرفی می‌شود. مسئله با استفاده از الگوریتم ژنتیک برای انتخاب ویژگی به شیوه‌ای توان کارآمد و استفاده از دو معیار ارتباط و افزونگی به عنوان معیار ارزش‌گذاری ویژگی‌ها ارائه شده است. نتایج آزمایشی بر روی سی کانال داده فعالیت جمع‌آوری شده از افراد واقعی نشان می‌دهد که روش پیشنهادی به طور قابل توجهی می‌تواند باعث کاهش مصرف انرژی سنسورها گردد، در نتیجه باعث ذخیره بیش از 30% انرژی شود در حالی که دقت طبقه‌بندی به 95% می‌رسد. عدم مشاهده کامل
دستگاه‌های حسگر پوشیدنی برای بسیاری از برنامه‌های کاربردی در بهداشت و درمان استفاده می‌شود. ویژگی‌های آماری استخراج شده از سیگنال‌های فیزیولوژیکی توسط افراد، ممکن است منجر به تخلیه باتری شود ... مشاهده کامل
خرید مقاله
ارائه یک پروتکل مسیریابی فرصت‌طلبانه آگاه از انرژی در شبکه‌های حسگر بی‌سیم رادیو شناختگر ریبوار کریمی
بهروز شاهقلی قهفرخی
بیست و سومین کنفرانس ملی سالانه انجمن کامپیوتر ایران
محدودیت انرژی و ازدحام بالای گره‌ها بر سر تصاحب کانال فرکانسی، دو مشکل عمده شبکه‌های حسگر بی‌سیم است. محدودیت طیف بدون مجوز باعث گردیده تا فناوری رادیوی شناختگر به منظور ... مشاهده کامل
محدودیت انرژی و ازدحام بالای گره‌ها بر سر تصاحب کانال فرکانسی، دو مشکل عمده شبکه‌های حسگر بی‌سیم است. محدودیت طیف بدون مجوز باعث گردیده تا فناوری رادیوی شناختگر به منظور استفاده از طیف مجوزدار در شبکه‌های حسگر بی‌سیم مطرح شود. از سوی دیگر مسیریابی فرصت‌طلبانه در شبکه‌های حسگر بی‌سیم مورد توجه قرار گرفته است تا با استفاده از ذات همه‌پخشی رسانه‌های بی‌سیم، گذردهی بالاتر با مصرف انرژی کمتر را به ارمغان آورد. در این مقاله با ترکیب دو تکنولوژی مسیریابی فرصت‌طلبانه و رادیو شناختگر تلاش شده است تا یک پروتکل مسیریابی آگاه از انرژی با هدف بهبود نرخ تحویل و تعدیل مصرف انرژی در شبکه‌های حسگر بی‌سیم ارائه شود. عملکرد پروتکل پیشنهادی با یک پروتکل پیشین مقایسه شده و نتایج آن در محیط شبیه‌سازی شده، حاکی از کاهش متوسط و واریانس مصرف انرژی شبکه در عین بهبود نرخ هدایت بسته‌ها نسبت به راهکار پیشین است. عدم مشاهده کامل
محدودیت انرژی و ازدحام بالای گره‌ها بر سر تصاحب کانال فرکانسی، دو مشکل عمده شبکه‌های حسگر بی‌سیم است. محدودیت طیف بدون مجوز باعث گردیده تا فناوری رادیوی شناختگر به منظور ... مشاهده کامل
خرید مقاله
ارائه راهکار فرامکاشفه‌ای برای مقابله با مشکل انفجار فضای حالت در تکنیک وارسی مدل ناهید رضایی
بیست و سومین کنفرانس ملی سالانه انجمن کامپیوتر ایران
هدف از انجام این تحقیق ارائه راهکاری جهت مقابله با مشکل انفجار فضای حالت در وارسی مدل سیستم‌های مدل‌شده توسط سیستم تبدیل گراف است. سیستم تبدیل گراف یکی از روش‌های ... مشاهده کامل
هدف از انجام این تحقیق ارائه راهکاری جهت مقابله با مشکل انفجار فضای حالت در وارسی مدل سیستم‌های مدل‌شده توسط سیستم تبدیل گراف است. سیستم تبدیل گراف یکی از روش‌های پرکاربرد فرمال و مبتنی بر پایه ریاضی برای مدلسازی سیستم‌ها است که از گراف‌ها برای تشریح و مدل‌کردن ساختار سیستم‌های پیچیده استفاده می‌کند. در روش ارائه‌شده از الگوریتم‌های فرامکاشفه‌ای استفاده کرده‌ایم تا به‌جای تولید کامل فضای حالت، بخشی از آن را ساخته و مورد بررسی قرار دهیم و در‌این راستا از تکنیک تکذیب برای بررسی نقض یک ویژگی به‌جای اثبات آن استفاده کرده‌ایم؛ ما به بررسی ویژگی ایمنی پرداخته‌ایم و به‌دنبال کشف‌کردن مسیر‌های منتهی به بن‌بست به‌عنوان مثال نقض ویژگی ایمنی هستیم. راهکار ارائه‌شده را در Groove که ابزاری متن‌باز و مبتنی‌بر گراف، برای ویرایش، تولید فضای حالت و وارسی مدل مبتنی‌بر گراف می‌باشد، پیاده‌سازی کرده‌ایم. در این تحقیق از ترکیب الگوریتم کلونی زنبور‌عسل مصنوعی و تبرید شبیه‌سازی‌شده، الگوریتم جدیدی به‌نام ABC-SA را پیاده‌سازی کردیم. عدم مشاهده کامل
هدف از انجام این تحقیق ارائه راهکاری جهت مقابله با مشکل انفجار فضای حالت در وارسی مدل سیستم‌های مدل‌شده توسط سیستم تبدیل گراف است. سیستم تبدیل گراف یکی از روش‌های ... مشاهده کامل
خرید مقاله
کنفرانس‌ها و رخدادها





عضویت در انجمن کامپیوتر ایران
جستجوی مقالات