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

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

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

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

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

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

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

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

رکوردهای ثبت شده از زمین لرزه های اخیر نشان می دهد که حرکات نزدیک گسل، ویژگی های متفاوتی نسبت به زلزله های حوزه ی دور دارند. در مجموع بیشتر این ویژگی ها، در اثر پدیده ی مهم راستاپذیری پیش رونده در زلزله های حوزه ی نزدیک است. این پدیده باعث می شود مؤلفه ی عمود بر گسل نگاشت های ثبت شده در نزدیک گسل، پالس هایی با دوره ی تناوب بلند در نگاشت سرعت دارند.در این نوشتار به بررسی رابطه ی بین پارامترهای ل...

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