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

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

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

ازآنجاکه مسجدیکی ازشاخصﺗرین بناهای معماری اسلامیﺍست، مطالعه وپژوهش درباره آن ضروری به نظرمیﺭسد. مسجد نمایان کننده باورهای قدسی دردنیای مادی است که علاوه برتأمین مکان موردنیاز بازبان کنایه واشاره هنراز رازو رمز دین سخن میﮔوید، ﻭبه همین دلیل ازاهمیت ویژه ای برخوردار است. واﮊه«مسجد» به معنی محل سجده است وبه مکانی گفته میﺷودکه مسلمانان درآن عبادات خویش وفریضه پرفیض نمازرا به جای میﺁورند. ازدیدگاه ن...

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

در این پژوهش اسانس اندام هوایی گیاه artemisia kulbadica با روش ریز استخراج با فاز جامد در فضای فوقانی (hs-spme) استخراج و با استفاده از دستگاه کروماتوگرافی گازی-طیف سنجی جرمی (gc-ms) شناسایی و مورد بررسی قرار گرفت. 18 ترکیب در اسانس شناسایی شد که 99/1 درصد اسانس این گیاه را تشکیل می­ دادند و مهمترین آنها آلفا- بیسابولول اکسید   ( 32/4 درصد)a، کامازولن (16/6درصد)، آلفا- بیسابولون اکسید (11/8درصد...

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

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

در این پایان نامه پس از بیان تعاریف فضاهای هیلبرت با هسته ی بازمولد‎(rkhs)‎ و قضایای مقدماتی نشان می دهیم فضای هاردی روی دیسک واحد و فضای سوبولف ‎ w^{1,2}[a,b]‎ از این نوع فضاها هستند. در ادامه تابع هسته، قاب پارسوال و ارتباط آن ها با rkhs‎ را بررسی می کنیم. نظریه ی تقریب ابزاری مهم برای محققان به منظور مدل سازی و پردازش داده ها ی حاصل از اندازه گیری های تجربی و آزمایش ها است. روش هم مکانی را ب...

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