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

چکیده: این پایان نامه اولین مطالعه ی نظریه اثباتی و نظریه مدلی از ترکیب منطق های با زمان محدود و منطق های ساختی است. ابتدا به منظور فراهم کردن یک پایه نظری مفید برای استدلال های زمانی که دارای خاصیت ساختی و فراسازگارند، دو منطق ib[l] و pb[l] معرفی می شود. این منطق ها دو مدل محدود و ساختی از ltl و توسیع هایی از منطق شهودی یا منطق فراسازگار نلسون هستند که تحت عنوان حساب های رشته ای گنتسنی b[l] و...

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

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

گذارهای فاز پدیده های قابل توجهی در سامانه های تعادلی و غیر تعادلی هستند. همان طور که ترمودینامیک متعارف می تواند برای مطالعه ی گذارهای فاز استاتیکی و افت و خیزهای مربوط به پیکربندی های یک سامانه مورد استفاده قرار گیرد، «ترمودینامیک مسیرها» که گاهی اوقات به عنوان ترمودینامیک روئله شناخته می شود، می تواند برای مطالعه ی رفتار فاز دینامیکی برای سامانه های دینامیکی به کار رود. در ترمودینامیک مجموعه...

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

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

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

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

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