راستی‌آزمایی پویا، که به راستی‌آزمایی رفتار حین اجرای نرم‌افزار در برابر نیازهای اولیه‌ی آن می‌پردازد، با چالش‌های ساخت راستی‌آزمای رفتار اجرایی نرم‌افزار و نگاشت بین این رفتار و رخدادهای محیطی مواجه است. ما در این نوشتار رویکردی بنام توصیف مبتنی بر رخداد (E‌B‌V) را ارائه می‌دهیم که طی چهار مرحله راه‌حلی خودکار برای این چالش‌ها ارائه می‌کند. در مرحله‌ی اول، مستندسازی نیازها، مشتمل بر تعامل محیط...

هدف این مطالعه بررسی تاثیر آموزش صریح نگاشت استعاری بر روی یادگیری زبان تمثیلی توسط فراگیران دارای چیرگی نیمکره چپ و راست مغز است. تعداد نود زبان آموز انگلیسی در این مطالعه شرکت کردند. 30 نفر از آن ها در گروه کنترل قرار گرفتند و هیچگونه آموزش نگاشت استعاری دریافت نکردند. 60 نفر دیگر، پرسشنامه چیرگی مغز (دیویس، 1994) را دریافت کردند. بر اساس نتایج، فراگیران به گروه دارای چیرگی نیمکره چپ مغز و گر...

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

در این پایان نامه به بررسی ‎-pبهترین تقریب و‎-p‎بهترین هم تقریب در فضای خطی ‎-2‎نرم فازی می پردازیم. ابتدا مفهوم ‎-pبهترین تقریب در فضای خطی 2-نرم فازی را بیان می کنیم و با معرفی مجموعه های به طورشمارشی فشرده،‎-p‎به طورتقریبی فشرده، ‎-pبه طورکراندار فشرده، فضای ‎-p‎اکیداً محدب و نگاشت ‎-p‎بهترین تقریب وجود و یکتایی ‎-p‎بهترین تقریب در فضای خطی ‎-2‎نرم فازی ‎‎را بررسی می کنیم.در پایان مفهوم p...

چکیده ندارد.

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

استفاده از انواع مهاربندهای خارج از مرکز درطراحی ومقاوم سازی ساختمان های اسکلت فولادی بسیارمتداول است. این مهاربندها از سختی مناسب و شکل پذیری بسیار بالایی برخوردارند. مهاربندهای خارج از مرکز یا ebf به دو دسته کلی مهاربندهای خارج از مرکز با پیوند افقی (h-ebf) و مهاربندهای خارج از مرکز با پیوند قائم (v-ebf) تقسیم می شوند که به دلیل مزایای مهاربندهایv-ebf نسبت به مهاربندهای h-ebf این نوع از مهارب...

در این مقاله به معرفی ساختاری نوین از سیستم فازی تاکاگی-سوگنو-کانگ (tsk) که دارای بخش استخراج ویژگی در قسمت ورودی می باشد، می پردازیم. روش پیشنهادی تحت عنوانsemi-polynomial data mapping fuzzy inference system و به اختصار (spmfis) معرفی می شود. در روش پیشنهادی از یک نگاشت داده شبه چند جمله ای به منظور تبدیل ورودیهای اصلی به ورودیهای جدید با ابعاد کاهش یافته استفاده می شود. در گام بعد خروجی حاصل ...

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

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