Paper Title |
Authors |
Conference |
Abstract |
|
تولید خودکار بردار آزمایش جهت آزمون خطاهای اتصال کوتاه غیربازگشتی به روش ارضای بولی |
حسین مختارنیا
شهرام اعتمادی
|
بیست و یکمین کنفرانس ملی سالانه انجمن کامپیوتر |
تولید خودکار بردار آزمایش یکی از مسایل مهم در آزمون مدارات دیجیتال میباشد. الگوریتم های تولید خودکار بردار آزمایش مبتنی بر روش ارضای بولی طی دو دهه اخیر به دلیل ... more
تولید خودکار بردار آزمایش یکی از مسایل مهم در آزمون مدارات دیجیتال میباشد. الگوریتم های تولید خودکار بردار آزمایش مبتنی بر روش ارضای بولی طی دو دهه اخیر به دلیل پیشرفتهای زیاد به عنصر اصلی و اساسی در مدارات دیجیتال تبدیل شده اند. در این مقاله روش ارضای بولی جهت مدلسازی مدار تشریح می شود. سپس یک روش جدید جهت آزمون خطاهای اتصال کوتاه غیربازگشتی در مدارهای ترکیبی بر اساس آن بیان می شود. در این روش با تزریق یک خطا در مدار و مقایسه آن با مدار اصلی می توان آزمون پذیر بودن آن را بررسی کرد. نتایج عملی آزمایش ها در انتهای مقاله نشانگر سودمندی و موثر بودن این روش در مدارات دیجیتال می باشد. less
تولید خودکار بردار آزمایش یکی از مسایل مهم در آزمون مدارات دیجیتال میباشد. الگوریتم های تولید خودکار بردار آزمایش مبتنی بر روش ارضای بولی طی دو دهه اخیر به دلیل ... more
|
خرید مقاله
|
ارتقای یک مدل قابلیت اطمینان کنترلکنندههای توزیع شده در شبکههای نرمافزارپذیر |
شادی موذنی
محمدرضا خیامباشی
ناصر موحدی نیا
|
بیست و یکمین کنفرانس ملی سالانه انجمن کامپیوتر |
در پي گسترش روزافزون شبکههاي رايانهاي، محققان به فکر طراحي راهکارهاي نوين براي بهينهسازي اين ارتباطات افتادهاند؛ در اين زمينه، بهعلت وجود بخش کنترلي پيچيده روي سوئيچها و مسيريابها، نبود ... more
در پي گسترش روزافزون شبکههاي رايانهاي، محققان به فکر طراحي راهکارهاي نوين براي بهينهسازي اين ارتباطات افتادهاند؛ در اين زمينه، بهعلت وجود بخش کنترلي پيچيده روي سوئيچها و مسيريابها، نبود مکانيسمهاي بهينه کنترلي به چالش بزرگي تبديل شده است. بدين منظور، بخش انتقال داده و کنترل در شبکههاي سنتي جدا شده و هر گونه عمليات کنترلي به يک کنترلکننده منطقاً متمرکز داده شده است. به اين شبکهها، شبکههای نرمافزارپذیر گفته ميشود. براي طراحي توپولوژي بخش کنترلي، دو نوع کنترلر متمرکز و توزيعشده بکار ميرود. وجود خرابي فروپاشی در این نوع شبکهها منجر به بروز اختلال در ارتباط اجزاء با کنترلر ميگردد. به همين دليل، بهبود قابلیت اطمینان و بهخصوص تحملپذيري خطا بسيار حائز اهميت ميباشد. در این پژوهش، کنترل کنندههای توزیعی کامل و سلسله مراتبي مورد بررسي قرار گرفته و یک مدل قابلیت اطمینان بهبودیافته ارائه گردیده است. شبکه نرمافزار پذیر توزیعشده با استفاده از نرمافزار ONOS طراحی گردیده و مدل قابلیت اطمینان براساس توابع توزیع وایبول و نمایی با استفاده از نرمافزار SHARPE محاسبه شده است. نتایج حاصل از شبیهسازی بیانگر بهبود قابلیت اطمینان در کنترل کنندههای توزیع شده بوده و مدل پیشنهادی برای تشخیص خرابیهایی مانند بیزانتین نیز میتواند بکار برده شود. less
در پي گسترش روزافزون شبکههاي رايانهاي، محققان به فکر طراحي راهکارهاي نوين براي بهينهسازي اين ارتباطات افتادهاند؛ در اين زمينه، بهعلت وجود بخش کنترلي پيچيده روي سوئيچها و مسيريابها، نبود ... more
|
خرید مقاله
|
کاهش مصرف توان حافظه نهان در سیستم های نهفته با استفاده از فشرده سازی بخش برچسب |
سینا سیاردوست تبریزی
مهدی مدرسی
|
بیست و یکمین کنفرانس ملی سالانه انجمن کامپیوتر |
از حافظه های نهان روی تراشه برای کاهش اختلاف سرعت پردازنده و حافظه اصلی و دسترسی هر چه سریعتر به عناصر حافظه استفاده می شود. در پردازنده های امروزی، حافظه ... more
از حافظه های نهان روی تراشه برای کاهش اختلاف سرعت پردازنده و حافظه اصلی و دسترسی هر چه سریعتر به عناصر حافظه استفاده می شود. در پردازنده های امروزی، حافظه نهان بخش زیادی از مساحت کل تراشه را اشغال می کند و همچنین درصد قابل توجهی از توان مصرفی کلی تراشه را به خود اختصاص می دهد. به همین دلیل کم کردن توان مصرفی این واحد تاثیر قابل توجهی در توان مصرفی کل تراشه خواهد داشت. در این مقاله با ارائه معماری برچسب فشرده شده سعی در کاهش توان مصرفی ناشی از ذخیره سازی و بازیابی برچسب را داریم. در این روش، با استفاده از یک بافر محلی و یک تکنیک ذخیره سازی، مکانیزم جدیدی از نگاشت برچسب در حافظه ی نهان معرفی شده است. ایده اصلی این طرح فشرده کردن بخش برچسب داده هایی است که برچسب یکسانی دارند. در این مقاله نشان داده خواهد شد که وجود محلیت مکانی احتمال شباهت برچسب ها در حافظه نهان را بالا می برد که می توان با سربار ناچیز سخت افزاری آنها را فشرده کرده و بهبودی حدود 30% در مصرف توان الکتریکی حافظه های نهان روی تراشه را بدست آورد. less
از حافظه های نهان روی تراشه برای کاهش اختلاف سرعت پردازنده و حافظه اصلی و دسترسی هر چه سریعتر به عناصر حافظه استفاده می شود. در پردازنده های امروزی، حافظه ... more
|
خرید مقاله
|
پياده سازی موازی الگوريتم های جستجوي فضای چندتايي و الگوريتم فضای هرس شده بر روی پردازنده های چند هسته ای |
علی نجفی
|
بیست و یکمین کنفرانس ملی سالانه انجمن کامپیوتر |
از وظايف اصلی پردازندههای شبکهای دستهبندي بستهها میباشد. اين فرآيند خودکار، جريان هاي ترافيکي شبکه را براساس پارامترهاي متعدد از جمله آدرس فرستنده و گيرنده دسته بندي مينمايد. هر چند، ... more
از وظايف اصلی پردازندههای شبکهای دستهبندي بستهها میباشد. اين فرآيند خودکار، جريان هاي ترافيکي شبکه را براساس پارامترهاي متعدد از جمله آدرس فرستنده و گيرنده دسته بندي مينمايد. هر چند، تسريع الگوريتم هاي دستهبندي بسته ها از طريق پيادهسازي سختافزاري آنها ممکن است، اين راهحل هزينه بالا و توسعهپذيري محدودي دارد. در مقابل، روشهاي نرمافزاري که اين مشکلات را برطرف ميکنند، سرعت پائيني دارند. يک ايده کليدي براي رفع اين مشکل، موازي سازي دسته بندي بسته ها مي باشد. در اين پژوهش، الگوريتم هاي جستجوي فضاي چندتايي و فضاي هرس شده به چهار روش Thread ،PPL،OpenMP و TBB بر روی پردازنده های چندهسته ای موازي سازی شده اند. پیاده سازی نسخه های موازی شده الگوریتم های انتخابی روی بسترهای چهارگانه مذکور و ارزیابی آن ها به کمک مجموعه قوانین و بسته های آزمون، نشان دهنده بهبود کارایی آنها در هر چهار روش است. همچنین، نتایج نشان می دهد بیشترین تسریع دسته بندی بسته ها در نسخه موازی شده با TBB و حدود 91/7 می باشد. less
از وظايف اصلی پردازندههای شبکهای دستهبندي بستهها میباشد. اين فرآيند خودکار، جريان هاي ترافيکي شبکه را براساس پارامترهاي متعدد از جمله آدرس فرستنده و گيرنده دسته بندي مينمايد. هر چند، ... more
|
خرید مقاله
|
مقایسه و بررسی اتلاف تفکر ناب در متدهای چابک |
نازلی بهروزی
|
بیست و یکمین کنفرانس ملی سالانه انجمن کامپیوتر |
با ظهور متدولوژی چابک تعاریف مختلفی برای آن عنوان شد و براساس این تعاریف و قوانین مربوط به این تعاریف، متدهای مختلفی به وجود آمد که نقطه اشتراک همه آنها ... more
با ظهور متدولوژی چابک تعاریف مختلفی برای آن عنوان شد و براساس این تعاریف و قوانین مربوط به این تعاریف، متدهای مختلفی به وجود آمد که نقطه اشتراک همه آنها چرخه تکرار کوتاه، بازخورد سریع مشتری و یادگیری است. این متدها به علت تکیه بر میزان رضایت مشتری و ارائه راهحل با استفاده از تیم نرمافزاری خود سازمانده مورد توجه است.
در سالهای اخیر تفکر ناب که ابتدا در حوزه خودروسازی مطرح شده بود، وارد صنعت نرمافزار شد و به تنهایی یا به صورت ترکیبی با متدهای چابک مورد استفاده قرار گرفت. تفکر ناب به دنبال بالا بردن ارزشهای تعریف شده در توسعه نرمافزاری و کاهش اتلافهای آن است. با توجه به تأثیر مثبت این تفکر بر روی متدهای چابک بررسی انواع اتلافهای این تفکر در این متدها مورد اهمیت است. ما در این مقاله به بررسی انواع اتلاف ناب و مقایسه میزان این اتلافها در پنج متد چابک میپردازیم تا میزان تطابق آنها با تفکر ناب مشخص شود. less
با ظهور متدولوژی چابک تعاریف مختلفی برای آن عنوان شد و براساس این تعاریف و قوانین مربوط به این تعاریف، متدهای مختلفی به وجود آمد که نقطه اشتراک همه آنها ... more
|
خرید مقاله
|
ردیابی حالت اجرایی تعامل در نمودار توالی UML با استفاده از شبکه پتری رنگی |
مریم مظفری
مهدی زیاری
|
بیست و یکمین کنفرانس ملی سالانه انجمن کامپیوتر |
در فرایند توسعه نرم افزار، کشف خطا اهمیت بالایی در کیفیت نرم افزار دارد. اگر خطاهای نرم افزار در مرحله طراحی یعنی قبل از پیاده سازی و اجرای آن کشف ... more
در فرایند توسعه نرم افزار، کشف خطا اهمیت بالایی در کیفیت نرم افزار دارد. اگر خطاهای نرم افزار در مرحله طراحی یعنی قبل از پیاده سازی و اجرای آن کشف گردد، می توان کیفیت نرم افزار را به سطح قابل قبولی رساند. برای رسیدن به این هدف، ارزیابی صحت رفتار و اعتبارسنجی نمودارهای UML (Unified Modeling Language( می تواند نقش مهمی را در رویداد کشف خطا در مرحله طراحی، ایفا نماید. بررسی صحت رفتار و اعتبارسنجی نمودار توالی UML نیازمند تولید مسیرهای آزمون و ردیابی حالت های اجرایی تعامل ها در این نمودار است. در این مقاله سعی شده است با استفاده از شبکه های پتری رنگیمدل قابل اجرایی از تعامل های بیان شده در نمودار توالی UML، ارائه گردد که با استفاده از این مدل و اجرای آن بتوان به ردیابی حالت های اجرایی تعامل ها در نمودار توالی پرداخت. نتایج حاصل شده از مدل نشان می دهد که مدل قابل اجرای ایجاد شده، تمام حالت های اجرایی ممکن در نمودار توالی را شناسایی و استخراج می نماید، بنابراین این مدل می تواند به عنوان مدلی برای ارزیابی صحت رفتار و اعتبارسنجی سیستم بکار گرفته شود. less
در فرایند توسعه نرم افزار، کشف خطا اهمیت بالایی در کیفیت نرم افزار دارد. اگر خطاهای نرم افزار در مرحله طراحی یعنی قبل از پیاده سازی و اجرای آن کشف ... more
|
خرید مقاله
|
بررسی مقایسهای تاثیر الگوریتمهای تخمین حرکت روی دنبالههای ویدئویی در افزایش نرخ قاب |
حانیه نادری
محمد رحمتی
|
بیست و یکمین کنفرانس ملی سالانه انجمن کامپیوتر |
تخمین حرکت، یکی از اجزای کلیدی افزایش نرخ قابدر دنبالههای ویدئویی است. افزایش نرخ قاب به طور کلی شامل دو مرحله است: تخمین حرکت و درونیابی قاب توسط جبران حرکت. ... more
تخمین حرکت، یکی از اجزای کلیدی افزایش نرخ قابدر دنبالههای ویدئویی است. افزایش نرخ قاب به طور کلی شامل دو مرحله است: تخمین حرکت و درونیابی قاب توسط جبران حرکت. در تخمین حرکت، مسیر حرکت بین دو قاب همسایه دنبال میشود و بردارهای حرکت تخمین زده میشوند. قاب درونیابی شده توسط این بردارهای حرکتی بهدست میآید. کیفیت قاب درونیابی شده بهشدت به الگوریتم تخمین حرکت وابسته است. در این مقاله، چهار الگوریتم تخمین حرکت مختلف تحلیل و مقایسه شدهاند. این چهار الگوریتم عبارتند از: تخمین حرکت یک طرفه، تخمین حرکت دوطرفه، تخمین حرکت تلفیقی از تخمین حرکت روبه جلو و روبه عقب و تخمین حرکت تلفیقی از تخمین حرکت روبه جلو و دوطرفه. در این مقاله، عملکرد الگوریتمها از لحاظ کیفیت بصری، میانگین PSNR و پیچیدگی محاسباتی، مقایسه شده است. less
تخمین حرکت، یکی از اجزای کلیدی افزایش نرخ قابدر دنبالههای ویدئویی است. افزایش نرخ قاب به طور کلی شامل دو مرحله است: تخمین حرکت و درونیابی قاب توسط جبران حرکت. ... more
|
خرید مقاله
|
جداسازی رگها از تصویر رنگی شبکیه چشم با استفاده از تبدیل مورفولوژی تاپهت |
اشکان عباسی
سید امیرحسن منجمی
غلامعلی نادریان
|
بیست و یکمین کنفرانس ملی سالانه انجمن کامپیوتر |
نخستین گام برای ایجاد بسیاری از سیستمهای خودکار تحلیل تصویرهای شبکیه چشم، جداسازی رگها است. در این مقاله روشی مبتنی بر تبدیل مورفولوژی تاپهت برای جداسازی رگها ارائه میدهیم که ... more
نخستین گام برای ایجاد بسیاری از سیستمهای خودکار تحلیل تصویرهای شبکیه چشم، جداسازی رگها است. در این مقاله روشی مبتنی بر تبدیل مورفولوژی تاپهت برای جداسازی رگها ارائه میدهیم که با استفادهی مناسب از خطی بودن شکل رگها در تصویر شبکیه، رگها را تقویت و درعینحال پسزمینه را یکنواختتر میکند. درنهایت روش پیشنهادی را روی مجموعه تصویرهای استاندارد آزمایش و با سایر روشها مقایسه میکنیم. نتایج الگوریتم پیشنهادی، هم بهصورت کمی و هم بهصورت کیفی بررسیشدهاند. کد برنامه نیز برای بازتولید نتایج در دسترس قرار داده شده است. less
نخستین گام برای ایجاد بسیاری از سیستمهای خودکار تحلیل تصویرهای شبکیه چشم، جداسازی رگها است. در این مقاله روشی مبتنی بر تبدیل مورفولوژی تاپهت برای جداسازی رگها ارائه میدهیم که ... more
|
خرید مقاله
|
طراحی سامانهی ترکیبی تشخیص احساسات از گفتار با استفاده از ویژگی های آکوستیکی گفتار |
محمد امین جانی
محمد عسگری
|
بیست و یکمین کنفرانس ملی سالانه انجمن کامپیوتر |
گفتار طبیعی ترین و سریع ترین راه برقراری ارتباط میان انسانها است از این رو انگیزه ای در محققان ایجاد کرده است که با استفاده از این روش به تعامل ... more
گفتار طبیعی ترین و سریع ترین راه برقراری ارتباط میان انسانها است از این رو انگیزه ای در محققان ایجاد کرده است که با استفاده از این روش به تعامل سریع و مؤثر بین انسان و ماشین فکر نمایند. برخلاف پیشرفت هایی که در حوزه بازشناسی گفتار صورت گرفته است، ما هنوز از یک تعامل طبیعی میان انسان و ماشین دور هستیم زیرا ماشین قادر به تشخیص حس گفتار و تولید بازخورد متناسب با احساس درک شده نیست. در طراحی سامانه های تشخیص احساس از گفتار دو مرحله اساسی وجود دارد: 1- انتخاب ویژگی مناسب برای نمایش سیگنال گفتار 2- آموزش مدل دستهبند با داده های آموزشی. از آنجا که بسیاری از سامانه های پیشنهاد شده دارای یک مدل دستهبند می باشند ما در این مقاله، با استفاده از تئوری احساسات دوبعدی و نمودار مدور ترکیبی احساسات، سامانه ای با ترکیب دو مدل دستهبند مدل مخفی مارکوف و بردارتکیه گاه ماشین پیشنهاد کرده ایم. در مرحله اول از ویژگی های عروضی و در مرحله دوم از ویژگی های کپسترال استفاده شده است. درصد دقت بازشناسی در سامانه یپیشنهادی برای ارزیابی مستقل و وابسته به گوینده به ترتیب 67/81 و 35/87 به دست آمده است. less
گفتار طبیعی ترین و سریع ترین راه برقراری ارتباط میان انسانها است از این رو انگیزه ای در محققان ایجاد کرده است که با استفاده از این روش به تعامل ... more
|
خرید مقاله
|
تبدیل صورت نوشتاری به صورت تلفظی در زبان فارسی با استفاده از شبکه های عصبی بازخوردی مجهزبه LSTM |
یاسر محسنی بهبهانی
سیدعلی الهی
محمد بحرانی
|
بیست و یکمین کنفرانس ملی سالانه انجمن کامپیوتر |
تبدیل صورت نوشتاری به صورت تلفظی و دنباله واجی یکی از بخشهای اصلی سامانههای تبدیل متن به گفتار است. در زبان فارسی تبدیل صورت نوشتاری جمله به دنباله تلفظی ... more
تبدیل صورت نوشتاری به صورت تلفظی و دنباله واجی یکی از بخشهای اصلی سامانههای تبدیل متن به گفتار است. در زبان فارسی تبدیل صورت نوشتاری جمله به دنباله تلفظی آن به دلیل حذف واجهای صدادار کوتاه و نیز وابستگی تلفظ کلمه به جایگاه آن در جمله به مراتب از زبانهای دیگر سختتر است. روشهای کنونی برای زبان فارسی که عمدتاً در سیستمهای تجاری مورد استفاده قرار گرفتهاند از بخشهای متعدد و مدلهای پیچیده برای پردازش زبان طبیعی و عملیات رفع ابهام در تشخیص تلفظ صحیح کلمه برخوردارند که باعث سختی پیادهسازی و کاهش دقت کلی سامانه میشوند. در این مقاله ما مسئله تبدیل صورت نوشتاری به صورت تلفظی را به عنوان یک مسئله نگاشت بین دنبالهای در نظر میگیریم و با استفاده از شبکههای عصبی بازخوردی تعدیل شده اقدام به ساخت روشی هوشمند و یکپارچه برای این منظور مینماییم. شبکههای عصبی بازخوردی به نحوی تعدیل شدهاند که علاوه بر دوطرفه بودن به واحدهای حافظه LSTM نیز مجهز هستند تا از اطلاعات بافتی دنباله جهت تصمیمگیری و نگاشت، بیشترین استفاده را کنند. آزمایشهای انجام شده در این مقاله نشان میدهند که شبکههای بازخوردی تعدیلشده (BRNN-LSTM) علاوه بر داشتن ساختاری یکپارچه و منظم دارای عملکرد بسیار مناسبی در تشخیص تلفظ صحیح عبارتهای فارسی با دقتی بیش از 98 درصد هستند. less
تبدیل صورت نوشتاری به صورت تلفظی و دنباله واجی یکی از بخشهای اصلی سامانههای تبدیل متن به گفتار است. در زبان فارسی تبدیل صورت نوشتاری جمله به دنباله تلفظی ... more
|
خرید مقاله
|