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

این مقاله به بررسی روش‏های گوناگون نگاشت ماتریسهای سفتی، میرایی و جرم بین فضای مفصل و کارتزین در مبحث کنترل امپدانس ربات‏ها می‏پردازد. نگاشت بین این دو فضا، از موضوعاتی است که به صورت ویژه برای ماتریس سفتی ربات‏های سری و موازی مورد بررسی و استفاده بسیاری از محققان واقع شده است. اما تمامی روابط نگاشت ارائه شده پیش از این برای جابجایی‏های کوچک یا همان حالت استاتیکی بیان شده‏ اند. در واقع تاکنون ب...

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

تفکیک طیفی ابزاری قوی برای تحلیل ماهیت متغیر با زمان سیگنال­های ناپایا است. با توجه به ماهیت ناپایای داده های لرزه ای، این ابزار به طور گسترده در تحلیل، پردازش و تفسیر داده­های لرزه­ای به کار می­رود. دست یافتن به روشی با قدرت تقکیک زیاد و حجم محاسبات کم از اهداف بنیادی در زمینه تفکیک طیفی است. روش تبدیل فوریه زمان کوتاه و طیف نگاشت آن اولین و سریع ترین روشی است که در این زمینه عرضه شده است، اما...

یکی از منابع خطاهای موجود در مشاهدات سامانه تعیین موقعیت جهانی (GPS)، تأخیر تروپسفری می­باشد. معمولاً برآورد میزان تأخیر تروپسفری و مؤلفه­های آن، در دو راستای انتشار سیگنال از ماهواره تا گیرنده ( راستای مایل) و راستای قائم، متداول می­باشد که جهت تبدیل این تأخیر از راستای مایل به قائم و یا عکس آن از توابعی تحت عنوان توابع نگاشت جوی استفاده می­گردد. از آنجائیکه تاکنون توابع نگاشت مختلفی توسط دانشم...

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

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

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

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

مقدمه: ارگونومی شامل، مباحث علمی است که محیط و شرایط مناسب برای عملکرد بهینه انسان را طـــراحی می نماید و یکی از مهم ترین نتایج آن ایجاد راحتی است. راحتی نقش مهمی در بکارگیری ابزار دستی از جمله خودکار، به عنوان یک وسیله نوشتاری دارد. هدف از اجرای این پژوهش، ارزیابی و مقایسه راحتی یک مدل خودکار ارگونومیک یعنی penagain با دو مدل خودکار غیرارگونومیک موجود در بازار یعنی bocheng و stabilo می باشد. م...