در نظریه ارجاع سول کریپکی حداقل سه مشکل وجود دارد؛ 1. ارجاع دهیِ متفاوت اسامی خاص در جهان های ممکن مختلف؛ 2. تغییر مرجع؛ و 3. خطاناپذیری ارجاعی ترم های نظری. در این مقاله ابتدا این سه مشکل را طرح می کنیم سپس بیان می کنیم که چگونه خود کریپکی با توسل به مفهوم «کاربست» مشکل اول را حل کرده است و پس از آن چگونگی حل شدن مشکل دوم و سوم را با استفاده از همین روش توضیح می دهیم. علاوه بر این در قسمتی از م...

در این مقاله  هدف تعیین پارامترهای بیضی های استرین[1] و استرس[2] به همراه دوران[3] ( چرخش هندسه تغییر شکل) در سطح بدنه سد 15 خرداد می باشد، به این منظور ابتدا شبکه مانیتورینگ یا شبکه کنترل خارج از بدنه سد 15 خرداد پیش طراحی و با هدف مینیمم سازی بیضی خطای مطلق نقاط پیلارهای شبکه خارج سد طراحی مرتبه اول[4] و دوم[5] صورت گرفت و با داده های حاصل از طراحی مرتبه اول و دوم و تعیین نوع دستگاه جهت حصول ...

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

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

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

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

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

این مطالعه به سنجش آثار رفاهی عملکرد در صنعت بانکداری ایران با استفاده از داده‌های ترکیبی ناموزون 17 بانک‌ دولتی و خصوصی در دوره‌ی زمانی 87-1375، اختصاص دارد. به‌منظور شناسایی وضعیت عملکرد صنعت بانکداری ایران از دو روش «مثلث رفاه» و «لیبنشتاین» استـفاده شـده اسـت. در روش مثلث رفاه با فرض به‌کارگیری بهینه‌ی نهاده‌ها تنها به اثرات رفاهی ناکارایی تخصیصی پرداخته می‌شود، در حالی‌که در روش لیبنشتاین ...

در راستای انجام تحقیقات و پژوهش در عرصه علوم نقشه ­برداری سازمان جغرافیایی نیروهای مسلح همزمان با فرا رسیدن بیست ویکمین سالگرد پیروزی شکوهمند انقلاب اسلامی طرح نصب و راه­ اندازی آنتن GPS را برروی هواپیماهای فوکر و فالکن را با موفقیت به انجام رسانید. این پروژه جهت انجام عکسبرداری هوایی با استفاده از مشاهدات ماهواره­ ای سیستم GPS انجام گرفت. در این پروژه تحقیقاتی کارشناسان سازمان توانستند دوربین ...