عنوان مقاله | نویسنده(ها) | مربوط به کنفرانس | چکیده | خرید مقاله |
---|---|---|---|---|
سعید گرگین, لیلی میرمقتدایی
|
بیست و یکمین کنفرانس ملی سالانه انجمن کامپیوتر
|
در سيستم هاي كامپيوتري عمل جمع جزء اصلي كلية پردازش ها و پايه تمام عمليات حسابي است؛ به طوري كه افزايش سرعت در عمل جمع بر كارآيي كل سيستم تاثير شگرفي دارد. در نظام هاي عددي متعارف، انتشار نقلي باعث وابستگي زمان جمع به طول عملوندها مي شود كه اين مسئله در عمليات با دقت بالا مشكل آفرين است و تاخير زيادي را تحميل خواهد كرد. حال آنكه با به کارگیری نظام هاي عددي نامتعارف افزونه اي، عمل جمع بدون انتشار نقلي و در زمان ثابت قابل انجام است. در اين مقاله، با توجه به اهمیت روزافزون سیستم های محاسباتی مبنای ده، با استفاده از الگوریتم افراز بیت های وزن دار و خاصیت افزونگی ذاتی موجود در ارقام دهدهی، تقسیم بندی جدیدی برای جمع اعداد دهدهی افزونه ای ارائه شده است که با حفظ سرعت، توان مصرفي و مساحت روی تراشه را نسبت به روش هاي پیشین کاهش می دهد. هم چنین خروجی الگوریتم ارائه شده به شکل ارقام علامت دار متقارن و بازه [-7,7] است اما امکان استفاده از تمام فضای کدینگ (بازه نامتقارن [-8,7]) در ورودی وجود دارد.
|
||
لیلا برادران هروی, کاوان صدیقیانی, فریدون شمس علیئی
|
بیست و یکمین کنفرانس ملی سالانه انجمن کامپیوتر
|
برنامه های کاربردی مبتنی بر سرویس برای مواجهه با پویایی و پیچیدگی محیط اجرای فرآیندهای خود، نیاز به پشتیبانی از تطبیق پذیری دارند. طراحی تطبیق پذیر فرآیندهای اجرایی به گونه ای که در مواجهه با رخدادهای غیرمنتظره حین اجرا، قادر به تحقق ویژگی های کیفی و نیازهای تطبیق پذیری شوند، این نیاز را رفع می کند. مطالعاتی که در حوزه طراحی تطبیق پذیر فرآیندها صورت گرفته است، به طور خاص منظوره و محدود از دغدغه های تطبیق پشتیبانی می کنند و ارائه روشی که با رویکردی جامع در طراحی فرآیند، مهم ترین دغدغه های تطبیق را پوشش دهد، بدون پاسخ مانده است. در این مقاله روشی برای طراحی تطبیق پذیر فرآیندها در برنامه های کاربردی مبتنی بر سرویس ارائه می شود. کلیات این روش بر اساس یک چرخه حیات استاندارد تطبیق پذیری برنامه های کاربردی مبتنی بر سرویس طراحی گردیده است و دغدغه های تطبیق پذیری در بخش-های مختلف این چرخه حیات را پوشش می دهد. در این روش، طراحی فرآیند به گونه ای صورت می گیرد که فرآیند در حین اجرا، قادر به ارزیابی نیازمندی های پایش، شناسایی رخدادهای پایش، اجرای راهبردهای تطبیق مناسب و در نهایت تحقق نیازمندی های تطبیق است. اجرای راهبردهای تطبیق پذیری، منجر به پیکربندی جدید نمونه های فرآیند در حال اجرا خواهد شد. به منظور ارزیابی یک مطالعه موردی از فرآیند تطبیق پذیر پیاده سازی گردید و ارتقای ویژگی های کیفی زمان پاسخ و قابلیت اطمینان مشاهده شد.
|
||
زینب مهدوی, زهرا شیرمحمدی, سيد قاسم ميرعمادي
|
بیست و یکمین کنفرانس ملی سالانه انجمن کامپیوتر
|
بروز الگوهای گذار در طی انتقال دادههای متوالی بر روی سیمهای کانالهای مابین هستههای پردازشی، می تواند منجر به اشکال همشنوایی در شبکه های روی تراشه گردد. با کاهش اندازه ی فناوری و نزدیک شدن سیمها، نرخ رخداد اشکال همشنوایی افزایش مییابد و منجر به کاهش قابلیت اطمینان و کارایی سیستم و همچنین افزایش توان مصرفی در سیستمهای مبتنی بر شبکه های روی تراشه می شود. یکی از راههای مقابله با اشکال همشنوایی استفاده از کدگذاری های اجتناب از همشنوایی مبتنی بر سیستم های عددی دودویی است که در آن از رخداد الگوهای انتقال مشخص در تولید کلمه کد جلوگیری می شود. اما مشکل این سیستم های عددی دودویی، سربار سیم های اضافی است که به کانالهای ارتباطی تحمیل می شود. رشد عرض کانال را می توان با نمایش تعداد بیشتری کلمه داده با استفاده از سیستم های عددی سه مقداره کاهش داد. این مقاله یک روش کدگذاری مبتنی بر سیستم عددی سه مقداره با نام 3V-CAC را ارائه می کند که قابلیت سیستم عددی را در نمایش کلمه کد افزایش می دهد. این روش، با کاهش سیم های اضافی موردنیاز برای کدگذاری، موجب کاهش سربار تحمیلی کدگذاری اجتناب از همشنوایی پیشنهادی می شود. ارزیابی های انجام شده نشان میدهد، کد 3V-CAC، تعداد سیم های اضافی کانال های ارتباطی را 30 درصد نسبت به کدهای مبتنی برسیستم عددی دودویی فیبوناچی کاهش می دهد.
|
||
محمود دی پیر
|
بیست و یکمین کنفرانس ملی سالانه انجمن کامپیوتر
|
برای کاوش مجموعه اقلام تکراری مدل های مختلفی مطرح شده اند. مدل پنجره لغزان حساس به زمان یکی از بهترین این مدل هاست چون به کمک آن هم تغییر مفهوم و هم سرعت متغییر جریان داده ورودی را می توان در نظر گرفت. در این مقاله روشی جدید به منظور تخمین میزان تکرار مجموعه اقلام جدید ارائه شده است که از مفاهیم احتمالی استفاده می کند. بر اساس این روش، الگوریتمی سریع ارائه شده است که قادر است در پنجره های حساس به زمان، با میزان حافظه ای قابل قبول، مجموعه اقلام تکراری را کاوش کند. آزمایش های صورت گرفته نشان دهنده کارایی این الگوریتم نسبت به الگوریتم های ارائه شده قبلی است.
|
||
محمد امین جانی, محمد عسگری
|
بیست و یکمین کنفرانس ملی سالانه انجمن کامپیوتر
|
گفتار طبیعی ترین و سریع ترین راه برقراری ارتباط میان انسانها است از این رو انگیزه ای در محققان ایجاد کرده است که با استفاده از این روش به تعامل سریع و مؤثر بین انسان و ماشین فکر نمایند. برخلاف پیشرفت هایی که در حوزه بازشناسی گفتار صورت گرفته است، ما هنوز از یک تعامل طبیعی میان انسان و ماشین دور هستیم زیرا ماشین قادر به تشخیص حس گفتار و تولید بازخورد متناسب با احساس درک شده نیست. در طراحی سامانه های تشخیص احساس از گفتار دو مرحله اساسی وجود دارد: 1- انتخاب ویژگی مناسب برای نمایش سیگنال گفتار 2- آموزش مدل دستهبند با داده های آموزشی. از آنجا که بسیاری از سامانه های پیشنهاد شده دارای یک مدل دستهبند می باشند ما در این مقاله، با استفاده از تئوری احساسات دوبعدی و نمودار مدور ترکیبی احساسات، سامانه ای با ترکیب دو مدل دستهبند مدل مخفی مارکوف و بردارتکیه گاه ماشین پیشنهاد کرده ایم. در مرحله اول از ویژگی های عروضی و در مرحله دوم از ویژگی های کپسترال استفاده شده است. درصد دقت بازشناسی در سامانه یپیشنهادی برای ارزیابی مستقل و وابسته به گوینده به ترتیب 67/81 و 35/87 به دست آمده است.
|
||
مصیب حاجیمقصودی, شهرام غربا, سید مجید نور حسینی
|
بیست و دومین کنفرانس ملی سالانه انجمن کامپیوتر ایران
|
توسعه روزافزون دستگاههای رایانهای قابل حمل و ارتباطات بیسیم، امکانات مناسبی را جهت جریان سازی ویدئو بر روی شبکههای موردی سیار فراهم آورده است. همچنین با توسعه شبکههای اجتماعی و ایجاد شبکههای پوشان در لایههای انتقال یا برنامه کاربردی، شبکههای نظیر به نظیر بهعنوان مفهومی جدید در جریان سازی ویدئو معرفی گردیده است. بااینحال جریان سازی نظیر به نظیر ویدئو بر روی شبکههای موردی سیار با چالشهای فراوانی روبرو است. بهعنوانمثال توپولوژی شبکه، کیفیت ویدئو دریافتی و زمان شروع پخش ویدئو از مهمترین چالشها هستند. همچنین با توجه به وابستگی بین فریمهای ویدئو در کدگذاری ویدئو اهمیت بستههای ویدئویی یکسان نیست.
در اين مقاله، با استفاده از شبکه پوشان ترکیبی درخت-توری و تقسیم جریان ویدئو ارسالی به دو جریان و ارسال بستههای ویدئویی بر اساس اهمیت، روشی جهت افزایش کیفیت ویدئو دریافتی و کاهش زمان شروع پخش ویدئو ارائهشده است. در این طرح سعی شده است تا با استفاده از یک ساختار توری مبتنی بر Pull و سپس ساختار درخت مبتنی بر Push عدالت و قابلیت اطمینان همراه با تأخیر کم شروع پخش ویدئو به دست آید. نتایج این تحقیق نشاندهنده بهبود مؤثری در کیفیت ویدئو دریافتی و کاهش زمان شروع پخش ویدئو نسبت به روش های رایج میباشند.
|
||
مریم خدابخش
|
بیست و دومین کنفرانس ملی سالانه انجمن کامپیوتر ایران
|
حجم بالا و رو به رشد دادههای پیوندی منتشر شده در وب، بر اهمیت موتورهای جستجوی وب معنایی برای بازیابی اطلاعات مورد نیاز کاربران افزوده است. کاربران معمولاً از بین نتایج بازگردانده شده، تنها چند نتیجهی اول مورد بررسی قرار میدهند. لذا، ترتیب نمایش نتایج و انتخاب الگوریتم رتبهبندی مناسب، تاثیر زیادی در رضایت کاربران از موتور جستجو دارد. با توجه به گسترش حجم دادههای معنایی، مقیاسپذیر بودن تنیکهای بکار رفته در موتورهای جستجو معنایی از جمله رتبهبندی یک امر ضروری به شمار میآید. مدل برنامهنویسی نگاشت-کاهش جهت پردازش مجموعه دادههای بزرگ در فضای توزیعی بکار میرود. در این مقاله، با استفاده از مدل برنامهنویسی نگاشت-کاهش، میزان ارزشمند بودن هر پاسخ را بر اساس ترکیب رتبههای محبوبیت و مرتبط بودن اندازهگیری میشود. رتبه محبوبیت از طریق تعمیم الگوریتم رتبهبندی PageRank روی گراف دو لایه از منابع داده و اسناد معنایی و تخصیص خودکار وزن به پیوندهای معنایی مختلف، محاسبه میشود. رتبه مرتبط بودن، از طریق تحلیل محتوای اسناد معنایی و پرسشهای SPAQL اندازهگیری میشود. نتایج حاصل از ارزیابی نشان میدهد که استفاده از مدل برنامهنویسی نگاشت-کاهش باعث بهبود کارایی و سرعت رتبهبندی میشود
|
||
آرمان نامدار اصیل عثماوندانی, محمود امیری
|
بیست و دومین کنفرانس ملی سالانه انجمن کامپیوتر ایران
|
این پژوهش یک روش تشخیص چهره مبتنی بر تئوری ماشین حالت مایع ارائه میدهد که قادر است با تعداد محدودی از ورودیها در فاز آموزش، ورودیها را در فاز آزمون با دقت بالایی بازشناسی کند. ماشین حالت مایع که یکی از کلاسهای شبکههای عصبی اسپایکی به شمار میرود، توانایی پشتیبانی محاسبات بلادرنگ را با به بکارگیری یک سیستم دینامیکی همگن بعد بالا، که بوسیله ورودیهای متغیر با زمان آشفته شده است را دارد. یکی از مهمترین کاربردهای ماشین حالت مایع بازشناسی الگو میباشد. ما در این پژوهش، یک مدل ساده از قشر بینایی انسان را بوسیله ماشین حالت مایع مدل کرده و با استفاده از این شبکه به بازشناسی چهره پرداختهایم. برای مدلسازی ماشین حالت مایع، از ساختار و نحوه اتصالات لایههای مختلف قشر بینایی انسان الهام گرفتیم، بطوریکه ساختار و اتصالات آن را مانند قشر بینایی انسان در نظر گرفتیم، که این کار منجر به بهبود قابل ملاحظهای در دقت بازشناسی شد. مهمترین ویژگی روش ارائه شده، بالا بودن دقت بازشناسی چهره با توجه به تعداد نمونههای اندک ورودی در فاز آموزش است بطوریکه این شبکه قادر است پس از اتمام فرایند آموزش الگوهای جدید را با دقت بالایی بازشناسی کند.
|
||
مرتضی مرادی, نسیم ولیپور خنکداری, حمید نوری
|
بیست و دومین کنفرانس ملی سالانه انجمن کامپیوتر ایران
|
امروزه زمانبند ربایش کار به صورت گسترده در زمانبندی اجرای وظایف در زبان برنامه نویسی موازی حافظه اشتراکی مانند OpenMP، TBB وCilk++ مورد استفاده قرار میگیرد. این در حالی است که در زمانبند ربایش کار کسر بالایی از زمان اجرا، جهت انجام ربایشهای ناموفق صرف میشود که موجب افزایش بیمورد فعالیت پردازنده و در نتیجه افزایش دما و توان مصرفی میگردد. لذا در این مقاله تلاش شده است تا با استفاده از تعلیق نخ بیکار در زمان وقوع ربایشهای ناموفق متوالی در زمانبند ربایش کار، میانگین دما و مصرف انرژی پردازندهی چندهسته¬ای کاهش داده شود. راهکار پیشنهادی ما حاوی یک الگوریتم زمانبندی ربایش کار جدید است که با بهبود در فرآیند ربایش کار، دمای تولیدی و مصرف توان پردازنده چندهستهای را کاهش میدهد و ممکن است بهبود زمان اجرای برنامههای موازی را به همراه داشته باشد. در آزمایش بر روی سیستم واقعی، در بهترین نمونه از اجرای برنامههای محک موازی کاهش چشمگیر دما و مصرف انرژی پردازنده چندهستهای همراه با بهبود کارایی مشاهده شد به طوری که مصرف انرژی 16 و کارایی 5/2 درصد بهبود داشتند و دما در حدود 7/3 درجه سانتیگراد کاهش یافت.
|
||
محمد معصومی, سامان سیادتی, محمد جعفر تارخ, مهدی سید هاشمی, اصغر پورحسن
|
بیست و دومین کنفرانس ملی سالانه انجمن کامپیوتر ایران
|
با افزایش بیسابقه در تقاضاها و انتظارات از سرویسها و برنامههای هوشمند مبتنی بر رایانش ابری، نیاز به داشتن ابزارهای پیشرفتهتری که بتوانند به صورت موثرتر، کارایی این سرویسها را ارزیابی کنند و دیدگاههای تخصصیتری را بهمنظور ارتقاء طراحیها و پیادهسازیها فراهم نمایند، زیاد است. بنابراین برای ارزیابی تخصصی و دقیق یک مرکز داده هوشمند که متعاقبا افزایش انعطاف پذیری را در استفاده از منابع موجود برای برنامههای کاربردی مبتنی بر رایانش ابری به ارمغان میآورد ما نیاز به قالب های شبیهسازی شده ای داریم که برای ارزیابی کارایی یک مرکز داده مبتنی بر رایانش ابری بسیار ضروری هستند. این قالبهای شبیهسازی شده نیاز هست که قابلیت توسعه پذیری داشته و به اندازه کافی متنوع باشند که بتوانند هر نوع نیازمندی را پوشش دهند و همچنین به قدر کافی ساده برای استفاده و مدیریت باشند. سربارهای متحمل شده به منظور تامین اهداف ضروری، مستقیما بر روی کارایی یک چارچوب تاثیرگذار است. بنابراین کاهش سربارها باید قسمتی از امکانات برجسته و مهم باشند. دراین مقاله ما مدل مرجعی را که تلاش میکند تا چنین نیازمندیهایی را تأمین کند در حین اینکه به سربارها نیز اشاره میکند را ارائه میدهیم. ما ضرورت استفاده از مفهوم خارج از قفسه را در اجزاء نرمافزاری مطرح میکنیم و همچنین نتایج کارایی بهتر را در پیادهسازی قالب مطرح شده خود ارائه میدهیم.
|
||
بابا علی صفری, علی جلیلوند, بهزاد اکبری
|
بیست و دومین کنفرانس ملی سالانه انجمن کامپیوتر ایران
|
کمپلکس پروتئینی گروهی از پروتئینها هستند که نقش مهمی در فرایندهای زیستی دارند. با توجه به نقش کمپلکسهاي پروتئيني در انجام بسياري از عملکردهای سلولي موجودات زنده، کشف آنها ميتواند به درک بهتر فرآيندهاي سلولي و توسعه کاربردهاي مبتني بر مهندسي زيستي منجر شود. ازاینرو یکی از چالشبرانگیزترین مسائل موجود در محاسبات زیستی تشخیص کمپلکسهای پروتئینی در شبکههای برهمکنش پروتئین-پروتئین (PPI) است. بیشتر روشهای محاسباتی موجود مبتنی بر این باور طراحیشدهاند که نواحی متراکم در شبکه PPI ممکن است مطابقت بیشتری با کمپلکسهای پروتئینی داشته باشند. از طرفی کمپلکسهای پروتئینی پراکنده تقریباً یکسوم کمپلکسهای ارزیابی را تشکیل میدهند، که در روشهای محاسباتی ذکرشده نادیده گرفته میشوند. بنابراین در این پژوهش یک روش دومرحلهای برای تشخیص هر دو نوع کمپلکسهای پروتئینی، متراکم و پراکنده در شبکه تعاملی پروتئینی پیشنهادشده است. در مرحله اول، هستهها را که بهعنوان قلب کمپلکسهای پروتئینی است تشخیص داده میشود و سپس افزونهها را بر اساس معیار تفاوت تعداد یالهای درون ماژولی و بین ماژولی و توزیع درجه، به هسته اضافه میشود. ارزیابی کارایی روش پیشنهادی و مقایسه با روشهای قبلی مانند MCODE، DPClus، ADHAC و COACH بر روی شبکه برهمکنش پروتئینی مانند DIP نشاندهندهی عملکرد بهتر در تشخیص کمپلکسهای پروتئینی متراکم و پراکنده است.
|
||
محمدرضا جلوخانی نیارکی
|
کنفرانس فناوری اطلاعات در مدیریت شهری
|
با توجه به پیچیده بودن محیط شهری، عدم تطابق طرح ها و برنامه های شهری متمرکز سازمانها با نیازها و خواسته های شهروندان و غیره، نیاز به مشارکت شهروندان در حل مشکلات، برنامهریزی و تصمیم گیری های شهری می باشد. در مدیریت شهری نوین و در جهانی که به طور فزاینده ای به سمت شهر هوشمند گام بر می دارد، مشارکت شهروندی جایگاه والایی دارد. سیستم های اطلاعات جغرافیایی (GIS) بستر کارآمد و موثری را برای مشارکت شهروندان در حل مشکلات شهری ایفا می نمایند. تاکنون ارگانهای مدیریت شهری (مانند شهرداری ها) فعالیت ها و اقدامات گسترده ای را در راستای بکارگیری فن آوری های مبتنی بر GIS در حل مشکلات شهری انجام داده اند، ولی این اقدامات با هدف متمرکز و سازمانی صورت پذیرفته و بستری مکان-مبنا برای تعامل و مشارکت موثر شهروندان در حل مشکلات شهری موجود نمی باشد. این مقاله در راستای بسترسازی زمینه حضور شهروندان در حل مشکلات شهری، بکارگیری GIS شهروند-محور را به عنوان نسل جدید GIS در مدیریت شهری معرفی می نماید. GIS شهروند-محور بستر و ابزارهای مکانی توانمند و موثری را به منظور مشارکت واقعی شهروندان بدون حضور فیزیکی آنها در اداره امور شهری فراهم می نماید.
|
||
مجید کیاورز مقدم, محمد کریمی فیروزجایی
|
کنفرانس فناوری اطلاعات در مدیریت شهری
|
جزیره حرارتی شهری یکی از مهمترین خطرات زیست محیطی مناطق شهری می¬باشد. سنجش از دور به دلیل فراهم کردن دید یکپارچه، کمهزینه و سریع فناوری کارآمد برای مطالعه و پایش تغییرات محیطی محسوب می¬شود. هدف از این پژوهش حاضر، پایش و پیش¬بینی تغییرات مکانی-زمانی شدت جزیره حرارتی شهر بابل در بازه زمانی 1424-1364 می¬باشد. برای این منظور از تصاویر چند زمانه لندست، محصول بخار آب مودیس و داده¬های زمینی استفاده شده است. برای محاسبه دمای سطح زمین از الگوریتم¬ تک کاناله، طبقه¬بندی تصاویر از الگوریتم بیشترین شباهت، پیش¬بینی تغییرات کاربری اراضی و دمای سطح از مدل سلول¬های خودکار-مارکوف و بررسی جزیره حرارتی از شاخص شدت جزیره حرارتی استفاده شده است. نتایج پژوهش نشان دهنده این است که طی سی سال گذشته اراضی ساختهشده با رشد 92 درصدی و اراضی زراعی با کاهش چشمگیری مواجه شده-اند. طبقات دمایی بالا و بسیار بالا مناطق مرکزی و راه¬های خروجی از شهر را پوشش می¬دهند که مساحت¬شان طی سال¬های گذشته رشد چشمگیری داشته است. شاخص نسبت جزیره حرارتی در طی سی سال روند رو به رشدی را نشان می¬دهد. مقدار این شاخص از 5/0 در سال 1364 به 67/0 در سال 1394 رسیده و برای سال 1424 مقدار این شاخص 72/0 پیش¬بینی شده است که بسیار نگران کننده¬ می¬باشد.
|
||
علی اکبر جلالی, حامد ابراهیمی
|
کنفرانس فناوری اطلاعات در مدیریت شهری
|
جشنواره شكوفا (شهروند کارآمد و فناوری اطلاعات) آوردگاهي براي رقابت شهروندان تهراني به منظور سنجش مهارتهاي زندگي در هزاره سوم است. رشد سريع فناوريهاي اطلاعاتي و ارتباطي ميتواند ضمن ايجاد بستر مناسب جهت مشاركت و تعامل شهروندان به تحقق شهر و شهروند الكترونيك بيانجامد، همچنين ميتواند عاملي براي تبيين سبك زندگي در جامعه باشد و نقش خود را بعنوان رسانه ايفا نمايند. فناوريهاي اطلاعاتي و ارتباطي بهدليل فراگير بودن، سرعت انتقال اطلاعات و جاذبه مالي، خود لزوم سبك جديدي از زندگي با توجه به مولفههاي جديد و ديجيتال را مطرح ميكند. تحقق شهر الکترونیک بدون تربيت و آمادهسازي شهروندان الكترونيكي ميسر نيست. از اين رو در جشنواره شكوفا فرصتي پديد ميآيد تا شهروندان تهراني مهارتهاي سبک زندگی دیجیتال خود را محك زده و در مسير ارتقاء به شهروند الكترونيكي قدم بردارند.
در این مقاله نگاهی به معرفی، تجربیات و اقدامات کانون مهارتهای سبک زندگی دیجیتال جشنواره شکوفا که نام قبلی آن کانون توسعه مهارتهای رایانهای بود پرداخته شده است. کانون مهارتهاي رایانهاي و سبکزندگی دیجیتال در پنج سال پی در پی توسط نویسندگان این مقاله و تیم اجرایی ایشان با همکاري شهرداري تهران و در قالب چشنواره شکوفا طراحی و اجرا شده است. اجراي این طرح در چهار سال داراي نقات قوت وضعفی بوده و دستاورهاي خوبی داشته است که در این مقاله به آنها پرداخته شده است.
|
||
فاطمه خورشاهیان, محمّدرضا رضائی, عبدالرضا سوادی
|
بیست و سومین کنفرانس ملی سالانه انجمن کامپیوتر ایران
|
Delta debugging یک روش تقسیم و حل است که عمل debugging متداول را توسط کمینه کردن ورودی، ساده میسازد. بنابراین debugging بر روی کدی سادهتر، اعمال میشود. در واقع Delta debugging روش علمی اشکال زدایی را خودکار میکند. ایده اساسی روش علمی مذکور، بنا نهادن فرضیهای بر روی این موضوع است که چرا برنامه بدرستی کار نمیکند. در روال debugging این فرضیه، تستشده و بسته به خروجی تست، قبول یا رد میشود که البته تمامی این کارها را در روال debugging افراد بصورت کاملاً دستی انجام میدهند. حال Delta debugging این فرآیند را بصورت خودکار در می آورد. تاکنون تنها یک روش موازیسازی الگوریتم مذکور برای بهبود زمان اجرای آن معرفی شدهاست. در این مقاله با استفاده از ویژگیهای زبان برنامهنویسی Chapel یک نسخهی موازی جدید از این الگوریتم ارائه شدهاست که نسبت به روش قبلی تا % ۴۶/۳۶ زمان اجرای الگوریتم را بهبود بخشیدهاست.
|
||
نگار نورانی, محمد رحمانیمنش
|
بیست و سومین کنفرانس ملی سالانه انجمن کامپیوتر ایران
|
الگوریتمهای فراابتکاری به عنوان یکی از روشهای حل مسائل بهینهسازی در کاربردهای مختلف مهندسی به کار میروند. یکی از این الگوریتمها، الگوریتم بهینهسازی دسته ذرات است. در این مقاله با بهرهگیری از یک سیستم استنتاج فازی و همچنین تطبیقی نمودن پارامتر وزن اینرسی که یکی از پارامترهای تاثیرگذار در این الگوریتم است، سعی کرده ایم کارآیی این الگوریتم را افزایش دهیم. برای ارزیابی روش پیشنهادی از توابع CEC2008 بهره میگیریم. نتایج ارزیابی نشان میدهند که عملکرد الگوریتم ارائه شده در این مقاله به نسبت روشهای موجود، بهبود قابل توجهی داشته است.
|
||
محبوبه منتظری, زینبالهدی حشمتی, مصطفی صالحی
|
بیست و سومین کنفرانس ملی سالانه انجمن کامپیوتر ایران
|
با گسترش با گسترش اینترنت و پیدایش وب2، رسانههای اجتماعی به عنوان ابزاری برای تبادل پیام، ایجاد ارتباطات دوسویه را امکانپذیر ساختهاند. فروشگاههای اینترنتی یکی از رسانههای اجتماعی هستند که کاربران میتوانند کالاهای موردنیاز خود را در آن یافته و با دیگر کاربران تبادل نظر انجام دهند. بنابراین با توجه به حجم گسترده این نظرات، تحلیل و جمعبندی آنها برای خریدار و فروشنده محصول میتواند بسیار مفید باشد. از اینرو پژوهشهای گستردهای در حوزه نظرکاوی و تحلیل احساسات کاربران انجام گرفته است. با توجه به اینکه هر کاربر میتواند بر روی مشخصات مختلف کالایی مانند دوربین، باتری یا حافظه در یک گوشی تلفن همراه نظر متفاوتی داشته باشد و هریک از این مشخصات با عبارات متفاوتی در نظرات مختلف بیان شوند، خوشهبندی هریک از مشخصات کالا میتواند دقت بالاتری را در تحلیل احساسات و نظرکاوی حاصل نماید. در حالیکه پژوهشهای متعددی به منظور خوشهبندی مشخصات کالا در زبانهای مختلف انجام شده است، ولی در زبان فارسی پژوهشی یافت نشد. در این پژوهش با استفاده از روشهای یادگیری ماشین، مشخصات مربوط به یک خودرو در نظرات کاربران خوشهبندی شدهاند و پس از مقایسه نتایج حاصل از هر روش، الگوریتم امیدبیشینه از نظر معیارهای انتروپی و خلوص منجر به نتایج بهتری شد.
|
||
امیرحسین ابراهیمی مقدم, شهرام رسولزاده, زهرا احمدیان
|
بیست و سومین کنفرانس ملی سالانه انجمن کامپیوتر ایران
|
الگوریتم رمزنگاری SIMON یکی از الگوریتمهای رمزنگاری سبک میباشد که در سال 2013 توسط آژانس امنیت ملی امریکا طراحی شد و توجهات بسیاری را به خود معطوف کرد. در این مقاله با بهره گیری از فرانمای کلید خطی SIMON و روش پیوند و برش، آسیب¬پذیری این الگوریتم رمز، خصوصا نسخههای کوچکتر آن، در مقابل حملات ملاقات در میانه چندبعدی ارزیابی شده است. مزیت اصلی حملات معرفی شده، پیچیدگی داده کمتر آنها نسبت به سایر حملات است که باعث میشود تا این حملات بصورت عملیتری اجرا شود و مقاوم سازی این الگوریتم در مقابل این حملات ضرورت بیشتری یابد.
|
||
ریحانه شفیعی, هادی خسروی
|
بیست و سومین کنفرانس ملی سالانه انجمن کامپیوتر ایران
|
امروزه یکی از مهمترین دغدغههای سیستم آموزش و پروش کشور، عملکرد تحصیلی مطلوب دانشآموزان به جهت جلوگیری از هدر رفتن منابع مالی و انسانی است. به این منظور رویکرد دادهکاوی مورد توجه قرار گرفته که یکی از اهداف آن شناسایی روشیست که قابلیت عمومیسازی خوبی داشته باشد. قابلیت عمومیسازی دستهبندهای ترکیبی (تعدادی دستهبند مبنا) بسیار بالاتر از این قابلیت در یک دستهبند مبنا است. روش ترکیبی قادر است دستهبندهایی که کمی بهتر از تصادفی هستند، به دستهبندی با قابلیت پیشبینی بالا تبدیل کند. در این مقاله، مدل پیشنهادی، ترکیبی از دو دستهبند مبنای متفاوت درخت تصمیم و شبکههای عصبی است که دقت پیشبینی عملکرد دانشآموزان با این روش از دقت تک تک دستهبندهای مذکور بیشتر شده است.
موضوع قابل اهمیت دیگر مطرح در دادهکاوی کیفیت داده است. از عوامل تأثیرگذار بر کیفیت داده، وجود مقادیر پرت، گمشده و نحوهی برخورد با این مقادیر است. همچنین بهمنظورکاهش ابعاد مسئله از چندین روش انتخاب ویژگی به منظور افزایش دقت مدل با دخالت دادن عوامل قطعی و مؤثرتر در عملکرد تحصیلی دانشآموزان، استفاده شد. دادههای آزمایشی استفاده شده دادههای واقعی مربوط به دانشآموزان هنرستان مکتبی اصفهان است که بر اساس متدولوژی CRISP-DM و با بهرهگیری از نرمافزار WEKAتحلیل شدهاند.
|
||
Mehran Alidoost Nia, Fathiyeh Faghih
|
سمپوزیوم بینالمللی سیستمها و فنآوریهای بیدرنگ و نهفته RTEST 2018
|
The heterogeneity in cyber-physical systems (CPS) and the diverse situations that they may face with, along with the environmental hazards raise the need to self-stabilization. The uncertain nature of CPS necessitates a probabilistic view for analyzing the system stabilization-time that is a highly critical metric in distributed/time-sensitive applications. Calculating the worst-case expected stabilization-time and possible improvements help to have safer designs of CPS applications. In this paper, a mutual exclusion algorithm based on PIF (Propagation of Information with Feedback) self-stabilizing algorithm is selected in synchronous environment as a case study. Using probabilistic analysis, we present a set of guidelines for utilizing this algorithm in time-sensitive applications. We have also utilized an approximation method for improving the scalability of our probabilistic analysis and did a set of experiments to show how this analysis could be used in the design of topologies with the goal of having an optimal worst-case expected stabilization-time. Our results show that using this approach, we can significantly improve the worst-case expected stabilization-time.
|