Paper Title |
Authors |
Conference |
Abstract |
|
روشی مؤثر برای جایابی مناسب بسته کاوش نرخ با هدف بهبود کارایی مکانیسم تجمیع فریم در شبکههای بیسیم پرسرعت |
محمدحسن داعی
علی قالیباف
محمد نصیری
|
بیست و سومین کنفرانس ملی سالانه انجمن کامپیوتر ایران |
در شبکههای بیسیم، رسانه ارتباطی دارای نوسانهای زیادی است. استفاده از فناوری MIMO نیز این نوسانها را دوچندان کرده است. از سوی دیگر، در استانداردهای جدید، پیکربندیهای متفاوتی فراهم شده ... more
در شبکههای بیسیم، رسانه ارتباطی دارای نوسانهای زیادی است. استفاده از فناوری MIMO نیز این نوسانها را دوچندان کرده است. از سوی دیگر، در استانداردهای جدید، پیکربندیهای متفاوتی فراهم شده است؛ در نتیجه تعداد نرخهای قابل انتخاب از تعدادی انگشت شمار به 128 در 802.11n و 466 در 802.11ac رسیده است. در این شرایط، استفاده از یک روش تطبیق نرخ مناسب اهمیت بسیاری پیدا میکند. اغلب پیادهسازیهای انجام شده فعلی و به طور مثال تنها روش مورداستفاده در هسته لینوکس برای تطبیق نرخ، از ارسال بسته کاوش نرخ استفاده میکنند.
ارسال بسته کاوش با توجه به احتمال خطای بالا و عدم تجمیع، سربار زیادی به همراه دارد. نکتهای که کمتر به آن توجه شده، آن است که بسته کاوش ممکن است بر تجمیع سایر بستهها نیز تأثیرگذار باشد. این پژوهش با استفاده از روش پیشنهادی خود، سعی در کاهش سربار بسته کاوش و تأثیرات منفی آن دارد. روش پیشنهادی در هسته لینوکس پیادهسازی شده و بر روی یک بسترآزمایشی با شرایط واقعی، ارزیابی شده است. نتایج ارزیابی، بیانگر آن است که روش پیشنهادی تا حدود 26% توانسته متوسط گذرداد را افزایش دهد. تکرار آزمایشها در محیط دارای تداخل نیز، این موضوع را تصدیق میکند.
less
در شبکههای بیسیم، رسانه ارتباطی دارای نوسانهای زیادی است. استفاده از فناوری MIMO نیز این نوسانها را دوچندان کرده است. از سوی دیگر، در استانداردهای جدید، پیکربندیهای متفاوتی فراهم شده ... more
|
خرید مقاله
|
انتخاب ویژگیهای بهینه براساس بهرهوری انرژی با استفاده از الگوریتم ژنتیک در شبکههای حسگر پوشیدنی |
صاعده قاسمزاده
وحید ستارینائینی
مهدی افتخاری
حسن قاسمزاده
بهنام قوامی
|
بیست و سومین کنفرانس ملی سالانه انجمن کامپیوتر ایران |
دستگاههای حسگر پوشیدنی برای بسیاری از برنامههای کاربردی در بهداشت و درمان استفاده میشود. ویژگیهای آماری استخراج شده از سیگنالهای فیزیولوژیکی توسط افراد، ممکن است منجر به تخلیه باتری شود ... more
دستگاههای حسگر پوشیدنی برای بسیاری از برنامههای کاربردی در بهداشت و درمان استفاده میشود. ویژگیهای آماری استخراج شده از سیگنالهای فیزیولوژیکی توسط افراد، ممکن است منجر به تخلیه باتری شود که در این صورت باید ویژگیهای بهینه انتخاب شوند. در این مقاله مفهوم انتخاب ویژگی با هدف به حداقل رساندن مصرف انرژی برنامه های کاربردی طبقه بندی شده معرفی میشود. مسئله با استفاده از الگوریتم ژنتیک برای انتخاب ویژگی به شیوهای توان کارآمد و استفاده از دو معیار ارتباط و افزونگی به عنوان معیار ارزشگذاری ویژگیها ارائه شده است. نتایج آزمایشی بر روی سی کانال داده فعالیت جمعآوری شده از افراد واقعی نشان میدهد که روش پیشنهادی به طور قابل توجهی میتواند باعث کاهش مصرف انرژی سنسورها گردد، در نتیجه باعث ذخیره بیش از 30% انرژی شود در حالی که دقت طبقهبندی به 95% میرسد. less
دستگاههای حسگر پوشیدنی برای بسیاری از برنامههای کاربردی در بهداشت و درمان استفاده میشود. ویژگیهای آماری استخراج شده از سیگنالهای فیزیولوژیکی توسط افراد، ممکن است منجر به تخلیه باتری شود ... more
|
خرید مقاله
|
ارائه یک پروتکل مسیریابی فرصتطلبانه آگاه از انرژی در شبکههای حسگر بیسیم رادیو شناختگر |
ریبوار کریمی
بهروز شاهقلی قهفرخی
|
بیست و سومین کنفرانس ملی سالانه انجمن کامپیوتر ایران |
محدودیت انرژی و ازدحام بالای گرهها بر سر تصاحب کانال فرکانسی، دو مشکل عمده شبکههای حسگر بیسیم است. محدودیت طیف بدون مجوز باعث گردیده تا فناوری رادیوی شناختگر به منظور ... more
محدودیت انرژی و ازدحام بالای گرهها بر سر تصاحب کانال فرکانسی، دو مشکل عمده شبکههای حسگر بیسیم است. محدودیت طیف بدون مجوز باعث گردیده تا فناوری رادیوی شناختگر به منظور استفاده از طیف مجوزدار در شبکههای حسگر بیسیم مطرح شود. از سوی دیگر مسیریابی فرصتطلبانه در شبکههای حسگر بیسیم مورد توجه قرار گرفته است تا با استفاده از ذات همهپخشی رسانههای بیسیم، گذردهی بالاتر با مصرف انرژی کمتر را به ارمغان آورد. در این مقاله با ترکیب دو تکنولوژی مسیریابی فرصتطلبانه و رادیو شناختگر تلاش شده است تا یک پروتکل مسیریابی آگاه از انرژی با هدف بهبود نرخ تحویل و تعدیل مصرف انرژی در شبکههای حسگر بیسیم ارائه شود. عملکرد پروتکل پیشنهادی با یک پروتکل پیشین مقایسه شده و نتایج آن در محیط شبیهسازی شده، حاکی از کاهش متوسط و واریانس مصرف انرژی شبکه در عین بهبود نرخ هدایت بستهها نسبت به راهکار پیشین است. less
محدودیت انرژی و ازدحام بالای گرهها بر سر تصاحب کانال فرکانسی، دو مشکل عمده شبکههای حسگر بیسیم است. محدودیت طیف بدون مجوز باعث گردیده تا فناوری رادیوی شناختگر به منظور ... more
|
خرید مقاله
|
ارائه راهکار فرامکاشفهای برای مقابله با مشکل انفجار فضای حالت در تکنیک وارسی مدل |
ناهید رضایی
|
بیست و سومین کنفرانس ملی سالانه انجمن کامپیوتر ایران |
هدف از انجام این تحقیق ارائه راهکاری جهت مقابله با مشکل انفجار فضای حالت در وارسی مدل سیستمهای مدلشده توسط سیستم تبدیل گراف است. سیستم تبدیل گراف یکی از روشهای ... more
هدف از انجام این تحقیق ارائه راهکاری جهت مقابله با مشکل انفجار فضای حالت در وارسی مدل سیستمهای مدلشده توسط سیستم تبدیل گراف است. سیستم تبدیل گراف یکی از روشهای پرکاربرد فرمال و مبتنی بر پایه ریاضی برای مدلسازی سیستمها است که از گرافها برای تشریح و مدلکردن ساختار سیستمهای پیچیده استفاده میکند. در روش ارائهشده از الگوریتمهای فرامکاشفهای استفاده کردهایم تا بهجای تولید کامل فضای حالت، بخشی از آن را ساخته و مورد بررسی قرار دهیم و دراین راستا از تکنیک تکذیب برای بررسی نقض یک ویژگی بهجای اثبات آن استفاده کردهایم؛ ما به بررسی ویژگی ایمنی پرداختهایم و بهدنبال کشفکردن مسیرهای منتهی به بنبست بهعنوان مثال نقض ویژگی ایمنی هستیم. راهکار ارائهشده را در Groove که ابزاری متنباز و مبتنیبر گراف، برای ویرایش، تولید فضای حالت و وارسی مدل مبتنیبر گراف میباشد، پیادهسازی کردهایم. در این تحقیق از ترکیب الگوریتم کلونی زنبورعسل مصنوعی و تبرید شبیهسازیشده، الگوریتم جدیدی بهنام ABC-SA را پیادهسازی کردیم. less
هدف از انجام این تحقیق ارائه راهکاری جهت مقابله با مشکل انفجار فضای حالت در وارسی مدل سیستمهای مدلشده توسط سیستم تبدیل گراف است. سیستم تبدیل گراف یکی از روشهای ... more
|
خرید مقاله
|
فرایندی جهت اعمال الگوهای تبدیل در زبان تبدیل ATL |
ندا کارشناس
شکوفه کلاهدوز رحیمی
بهمن زمانی
|
بیست و سومین کنفرانس ملی سالانه انجمن کامپیوتر ایران |
امروزه یکی از روشهای مطرح جهت تولید سیستمهای پیچیده، مهندسی مدلرانده است. در این روش، تبدیل مدل یکی از ارکان مهم است که مدل را بهصورت خودکار به کد تبدیل ... more
امروزه یکی از روشهای مطرح جهت تولید سیستمهای پیچیده، مهندسی مدلرانده است. در این روش، تبدیل مدل یکی از ارکان مهم است که مدل را بهصورت خودکار به کد تبدیل میکند. اما با پیچیدهشدن سیستمهای نرمافزاری، تبدیل مدلها نیز بزرگ و پیچیده شدهاند. در نتیجه کیفیت تبدیلها و فهم آنها با مشکل روبهرو شده است. یک روش برای بهبود کیفیت تبدیلها و غلبه بر این پیچیدگیها، استفاده بهجا و مناسب از الگوهای تبدیل است، ولی استفاده از الگوها برای افراد مبتدی آسان نیست. هدف از این تحقیق، ارائه راهکاری جهت تسهیل و بهبود بهکارگیری الگوهای تبدیل بهمنظور افزایش کیفیت تبدیلهای نوشته شده است. بههمین منظور از یک فرایند جهت اعمال الگوهای مهم در تبدیل مدل استفاده میشود. بهمنظور ارزیابی روش پیشنهادی، کد تبدیل قبل از اعمال الگو و بعد از اعمال الگو بر اساس پارامترهای کیفی مانند کارایی، پیچیدگی و میزان خاصیت پیمانهایی سنجیده میشود. نتایج نشان میدهد که استفاده از الگوها باعث افزایش خاصیت پیمانهایی، کیفیت، کارایی، چسبندگی و سادگی کد تبدیل خواهد شد. همچنین سودمندی استفاده از الگوهای تبدیل بر روی تبدیلهای واقعی بهصورت کمی ارزیابی میشود. less
امروزه یکی از روشهای مطرح جهت تولید سیستمهای پیچیده، مهندسی مدلرانده است. در این روش، تبدیل مدل یکی از ارکان مهم است که مدل را بهصورت خودکار به کد تبدیل ... more
|
خرید مقاله
|
قابلیت استفاده نرم افزارهای تلفن همراه: رویکردی کمّی در ارزیابی |
محمد علی سلیمانی
فاطمه زهرا قاضی زاده
شیوا وفادار
|
بیست و سومین کنفرانس ملی سالانه انجمن کامپیوتر ایران |
قابلیت استفاده، یکی از ویژگیهای مهم کیفیت در نرم افزارهای تلفن همراه است. با توجه به اینکه این ویژگی، اغلب با تجربیات کاربری و نظرات استفاده کنندگان مرتبط است، ارزیابی ... more
قابلیت استفاده، یکی از ویژگیهای مهم کیفیت در نرم افزارهای تلفن همراه است. با توجه به اینکه این ویژگی، اغلب با تجربیات کاربری و نظرات استفاده کنندگان مرتبط است، ارزیابی آن یکی از چالشهای متداول سیستمهای نرم افزاری است. برای حل این مساله، در این مقاله رویکردی کمّی برای اندازهگیری قابلیت استفاده نرم افزارهای تلفن همراه ارائه شدهاست. بدین منظور، معیارهای دقیق و قابل اندازهگیری برای قابلیت استفاده تعریف شده است. به طوری که این معیارها، با ثبت وقایع و تاریخچه فعالیتهای کاربر در نرمافزار تلفن همراه قابل محاسبه و اندازه¬گیری هستند.
همچنین، در این مقاله قابلیت استفاده یک نرم افزار متن باز تلفن همراه بر اساس این روش ارزیابی شده است. در این ارزیابی، معیارهای قابلیت پیدا کردن کارکرد در نرم افزار، قابلیت انجام کار به صورت درست، زمان اجرای وظیفه، زمان مکث، خطاهای مسیر، زمان جستجوی مسیر درست عملکرد، تعداد خطاها و زمان واکنش به خطا به عنوان معیارهای منتخب قابلیت استفاده درنظر گرفته شده اند. سپس قابلیت ثبت وقایع مورد نیاز و تاریخچه فعالیتهای کاربر به نرم افزار منتخب اضافه شده است. همچنین، برای اندازه گیری این معیارها، یک ارزیابی تجربی طراحی و اجرا شده است. در اجرای این ارزیابی، تعداد 30 کاربر شرکت داشته اند و از آنها خواسته شده است که لیست فعالیتهای مشخصی را در نرم افزار انجام دهند. بر اساس وقایع ثبت شده، هر یک از معیارهای ارزیابی اندازه گیری و محاسبه شده است. نتایج این ارزیابی نشان میدهد که برای یک کارکرد مورد ارزیابی، تنها 23% از کاربران موفق به اجرای آن به صورت صحیح شده اند. همچنین، متوسط زمان جستجوی مسیر صحیح برای رسیدن به این کارکرد 78 ثانیه و متوسط خطاهای کاربران14.33 بوده است. این نتایج نشان میدهد که برای این کارکرد مشخص از نرم افزار منتخب، قابلیت استفاده نرم افزار بسیار ضعیف است و نیاز به بازبینی و اصلاح دارد. بر اساس رویکرد این مقاله، اندازه گیری قابلیت استفاده به یک فعالیت دقیق و مهندسی تبدیل شده است که تولیدکنندگان نرمافزار را از روشهای غیردقیق و کیفی برای ارزیابی قابلیت استفاده، مانند تکمیل پرسشنامه توسط کاربران، بینیاز میکند و مبنایی دقیق برای تشخیص بهبودهای موردنیاز در نرم افزار فراهم میآورد.
less
قابلیت استفاده، یکی از ویژگیهای مهم کیفیت در نرم افزارهای تلفن همراه است. با توجه به اینکه این ویژگی، اغلب با تجربیات کاربری و نظرات استفاده کنندگان مرتبط است، ارزیابی ... more
|
خرید مقاله
|
ارزیابی قابلیت اطمینان سیستم نرمافزاری از روی معماری آن با درنظرگرفتن خاصیت خودترمیمی مولفهها |
علی تارینژاد
حبیب ایزدخواه
کمال میرزائی
|
بیست و سومین کنفرانس ملی سالانه انجمن کامپیوتر ایران |
ارزیابی قابلیت اطمینان سیستمهای نرمافزاری مبتنی بر مولفه در مراحل اولیه توسعه سیستم نرمافزاری و از روی معماری آن به عنوان یکی از صفات کیفی نرمافزار، اهمیت زیادی دارد. این ... more
ارزیابی قابلیت اطمینان سیستمهای نرمافزاری مبتنی بر مولفه در مراحل اولیه توسعه سیستم نرمافزاری و از روی معماری آن به عنوان یکی از صفات کیفی نرمافزار، اهمیت زیادی دارد. این مقاله یک روش برای ارزیابی قابلیت اطمینان سیستمهای نرمافزاری با در نظر گرفتن اثر خودترمیمی مولفهها روی قابلیت اطمینان نرمافزار ارائه میدهد. یک مولفه خودترمیم میتواند به طور خودکار در هنگام شکست، خود را با احتمالی ترمیم نموده و به حالت عادی بازگردد. از آنجایی که طراحی یک مولفه خودترمیم بسیار پیچیده و هزینهبر است، از اینرو امکان ایجاد خودترمیمی برای همه مولفهها وجود ندارد. از اینرو شناسایی مولفههای تاثیرگذار جهت خودترمیم کردن آنها در مراحل اولیه توسعه نرمافزار میتواند تاثیر زیادی روی قابلیت اطمینان داشته باشد. امروزه روشهای متعددی از روی مدلهای طراحی برای ارزیابی قابلیت اطمینان و سیستمهای نرم افزاری مطرح شده است، ولی از تاثیر خودترمیمی بر روی قابلیت اطمینان و همچنین پیدا کردن مولفههایی که تاثیر زیادی روی قابلیت اطمینان نرمافزار دارند جهت خودترمیم کردن آنها در مراحل اولیه توسعه نرمافزار گزارشی ارائه نشده است. در این مقاله، ابتدا روشی برای مدلسازی خودترمیمی با استفاده از زنجیره مارکوف ارائه خواهد شد و سپس چهار روش مختلف (بدون سری تیلور- بدون خودترمیمی، بدون سری تیلور-باخودترمیمی، باسری تیلور-بدون خودترمیمی و با سری تیلور- با خود ترمیمی) برای ارزیابی قابلیت اطمینان یک سیستم نرمافزاری از روی معماری آن ارائه خواهد شد. در نهایت روابطی ارائه خواهند شد که یک مهندس نرمافزار را قادر خواهد ساخت که مولفههای تاثیرگذار و تنگنا را جهت خودترمیم کردن شناساییکند. less
ارزیابی قابلیت اطمینان سیستمهای نرمافزاری مبتنی بر مولفه در مراحل اولیه توسعه سیستم نرمافزاری و از روی معماری آن به عنوان یکی از صفات کیفی نرمافزار، اهمیت زیادی دارد. این ... more
|
خرید مقاله
|
نگاهی بر پردازش لبه: مزایا، چالشها و امنیت |
پریسا حسنیزاده
خالد دغلاوی
سیدمحمدحسین فرزام
سیدعلی رسایی
سیاوش بیاتسرمدی
|
بیست و سومین کنفرانس ملی سالانه انجمن کامپیوتر ایران |
استفاده از پردازش ابری در فناوری اینترنت اشیا، سهم بهسزایی در گسترش این فناوری داشته است. در حال حاضر کاربردهایی نظیر واقعیت مجازی و افزوده وجود دارند که تاخیر پردازش ... more
استفاده از پردازش ابری در فناوری اینترنت اشیا، سهم بهسزایی در گسترش این فناوری داشته است. در حال حاضر کاربردهایی نظیر واقعیت مجازی و افزوده وجود دارند که تاخیر پردازش به واسطه استفاده از ابر مرکزی، حداقل نیازمندیهای آنها را در برخی شرایط ارضا نمیکند. پردازش لبه رویکرد جدیدی در اینترنت اشیا است که در سالهای اخیر برای کم کردن بار پردازشی ابر مرکزی، کاهش تاخیر زمان پاسخ، کاهش ازدحام شبکه گسترده، کاهش توان مصرفی و در برخی از کاربردها برای کاهش هزینههای اقتصادی ارائه شده است. در این مقاله برآنیم برخی رویکردهای مختلف برای پیادهسازی پردازش لبه اعم از تکهابر، پردازش مه و پردازش لبهای متحرک را بررسی نماییم. همچنین معماری، مزایا، چالشها و مسائل امنیتی در پژوهشهای اخیر در حیطه پردازش لبه بررسی میشود. less
استفاده از پردازش ابری در فناوری اینترنت اشیا، سهم بهسزایی در گسترش این فناوری داشته است. در حال حاضر کاربردهایی نظیر واقعیت مجازی و افزوده وجود دارند که تاخیر پردازش ... more
|
خرید مقاله
|
بهبود پروتكل DTLS در سیستمهای مراقبت از سلامت افراد مبتنی بر اینترنت اشیاء |
یاور عابدی
محمد مهدی گیلانیان صادقی
|
بیست و سومین کنفرانس ملی سالانه انجمن کامپیوتر ایران |
پیشرفتهای اخیر در فنآوری اطلاعات منجر به ایجاد تکنولوژی جدیدی به نام اینترنت اشیاء شده است. همچنین افزایش قیمت بهداشت و درمان در سراسر جهان خواستار تحول در مراقبتهای سلامت ... more
پیشرفتهای اخیر در فنآوری اطلاعات منجر به ایجاد تکنولوژی جدیدی به نام اینترنت اشیاء شده است. همچنین افزایش قیمت بهداشت و درمان در سراسر جهان خواستار تحول در مراقبتهای سلامت افراد شده که با توجه به نیازهای جدید، سیستم بهداشت و درمان مبتنی بر اینترنت اشیاء بهوجود آمده است. در این کاربرد بیشترین نگرانی مربوط به امنیت و حفظ حریم خصوصی افراد میباشد که در جهت رفع این نگرانیها از پروتکل امنیتی DTLS استفاده میشود. در این مقاله یک روش جدید سبک وزن مبتنیبر پروتکل DTLS پیشنهاد شده است که با استفاده از مکانیزمهای کمحجمسازی در بخش دستتکانی و سرآیند این پروتکل از طریق کاهش اندازه پیام ارسالی به میزان 28 درصد، توانسته است مشکلات مراحل زمانبر این پروتکل را حل کند. شبیهسازی و ارزیابی روش پیشنهادی نشان از کاهش زمان پردازش و ارسال پیام، مصرف انرژی و حافظه میباشد. less
پیشرفتهای اخیر در فنآوری اطلاعات منجر به ایجاد تکنولوژی جدیدی به نام اینترنت اشیاء شده است. همچنین افزایش قیمت بهداشت و درمان در سراسر جهان خواستار تحول در مراقبتهای سلامت ... more
|
خرید مقاله
|
بهبود زمان اجرای الگوریتم Delta Debugging مبتنی بر زبان موازی Chapel |
فاطمه خورشاهیان
محمّدرضا رضائی
عبدالرضا سوادی
|
بیست و سومین کنفرانس ملی سالانه انجمن کامپیوتر ایران |
Delta debugging یک روش تقسیم و حل است که عمل debugging متداول را توسط کمینه کردن ورودی، ساده میسازد. بنابراین debugging بر روی کدی سادهتر، اعمال میشود. در واقع Delta ... more
Delta debugging یک روش تقسیم و حل است که عمل debugging متداول را توسط کمینه کردن ورودی، ساده میسازد. بنابراین debugging بر روی کدی سادهتر، اعمال میشود. در واقع Delta debugging روش علمی اشکال زدایی را خودکار میکند. ایده اساسی روش علمی مذکور، بنا نهادن فرضیهای بر روی این موضوع است که چرا برنامه بدرستی کار نمیکند. در روال debugging این فرضیه، تستشده و بسته به خروجی تست، قبول یا رد میشود که البته تمامی این کارها را در روال debugging افراد بصورت کاملاً دستی انجام میدهند. حال Delta debugging این فرآیند را بصورت خودکار در می آورد. تاکنون تنها یک روش موازیسازی الگوریتم مذکور برای بهبود زمان اجرای آن معرفی شدهاست. در این مقاله با استفاده از ویژگیهای زبان برنامهنویسی Chapel یک نسخهی موازی جدید از این الگوریتم ارائه شدهاست که نسبت به روش قبلی تا % ۴۶/۳۶ زمان اجرای الگوریتم را بهبود بخشیدهاست. less
Delta debugging یک روش تقسیم و حل است که عمل debugging متداول را توسط کمینه کردن ورودی، ساده میسازد. بنابراین debugging بر روی کدی سادهتر، اعمال میشود. در واقع Delta ... more
|
خرید مقاله
|