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

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

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

در این پژوهش از داده های بارش روزانه 1437 پیمونگاه همدید، اقلیمی و باران سنجی ایران در بازه زمانی ۱/۱/۱۳۴۰ تا ۲۹/۱۲/۱۳۸۲ (برابر با ۱۵۷۰۵) بهره برداری شده است. به کمک روش زمین آمار کریگینگ، داده ها روی یاخته هایی به ابعاد ۱۵×۱۵ کیلومتر درون یابی شدند. به ایت ترتیب، آرایه ای به ابعاد ۷۱۸۷×۱۵۷۰۵ تشکیل شد. برای شناسایی برازنده ترین توزیع روزهای با بارش بیش از ۵/۰ میلی متر در هر یاخته، از آزمون نیکو...

فرض کنید c یک زیر مجموعه محدب و بسته در فضای هیلبرت حقیقی h باشد و t یک تابع غیر قابل بسط از c به خود آن باشد، همچنین فرض کنید a نیز یک تابع یکنوای قوی ? معکوس از c به h بوده وb عملگر یکنوای ماکسیمال در h باشد ، به طوری که دامنه b در c قرار گیرد .در این پایان نامه قصد داریم یک روش تکراری را برای یافتن یک نقطه از مجموعه ی f(t) ? (b+ a)-1 0 ارائه دهیم . در اینجا (f(t مجموعه نقاط ثابت t و0 1-(َa+b...

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

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

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

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

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