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

فرض کنیم[0،1) ? ? و e یک فضای باناخ و (x, d) یک فضای متریک موضعا فشرده باشد وlip0(x، e) فضای توابع لیپ شیتس کوچک e- باناخ مقدار تعریف شده بر فضای متریک هولدر موضعا فشرده( x , d^? )باشد که در بی نهایت صفر می شوند. در این پایان نامه نشان می دهیم، هر دوسویی خطی دوجداساز t:lip0(x,e) ? lip0(y,f)یک عملگر ترکیبی وزن دار به صورت t(f(y))=h(y)(f(p(y))), (f ?lip0(x,e), y ? y) است که در آن به ازای هر...

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

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

در این پایان نامه، اشتقاق ها، فوق اشتقاق ها و انواع آنها مورد بررسی قرار می گیرند. فرض کنیم a یک جبر باشد، یک نگاشت خطی مانند d را یک اشتقاق می گوییم اگر برای هر a ,b در a داشته باشیم d (ab) = ad (b) + d (a )b. مفهوم جدیدی به نام (m,n)-اشتقاق دوگانه را در این رساله معرفی می کنیم که تعمیمی از مفهموم اشتقاق است. فرض کنیم m و n نگاشت هایی خطی روی a باشند، نگاشت خطی d روی a را یک (m,n)-اشتقاق دوگان...

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

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

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

این پژوهش با هدف بررسی اثربخشی آموزش ذهن آگاهی بر پردازش شناختی خودکار دانش‌آموزان دختر پایة پنجم دبستان اجرا شد. روش پژوهش شبه آزمایشی، با طرح پیش‌آزمون و پس‌آزمون با گروه کنترل بود و جامعة آماری شامل دانش‌آموزان دختر پایة پنجم دبستان‌های منطقة 6 آموزش و پرورش شهر تهران بودند، که از میان آن‌ها 24 نفر به شیوة نمونه‌گیری دردسترس انتخاب و سپس به صورت تصادفی در دو گروه آزمایش (12 نفر) و گواه (12 ن...

در این بررسی داده های زمین لرزه های دوره بلند تحلیل شد و برای محاسبه سرعت گروه و سرعت فاز مورد استفاده قرار گرفت. نگاشت های سه مولفه ای زمین لرزه سوم مه 1995 کازرون در ایران که پایگاه ایلیا (ILPA) شبکه بین المللی زلزله نگاری مؤسسه ژئوفیزیک دانشگاه تهران ثبت کرده بود. وهمچنین نگاشت های دوره بلند زمین لرزه سنت هلنا (بیست و هفت هفتم آوریل 1986 ) در دو ایستگاه زلزله نگاری KON اسپانیا و TOL نروژ مور...