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

یکی از متداول ترین تکنیک های اسکن سه بعدی اجسام و بازیابی مدل سه بعدی آن ها روش مثلث بندی با استفاده از نور ساختاریافته است. در این نوشتار برای انجام عملیات اسکن سه بعدی با استفاده از نور لیزر، از توزیع گوسی استفاده شده است. سپس برای اندازه گیری داده های عمق، یک دوربین c c d تصاویر را می گیرد. ابتدا عملیات بهبوددهی و پردازش تصویر دریافتی در دو بخش مهم انجام می شود: ۱. پارامترهای مربوط به جسم و ...

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

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

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

در مقالة حاضر، توزیع بسامدی و درصدی انواع زمان را در سه دفتر چهارم، پنجم و ششم مثنوی با رویکرد «سبک شناسی رایانشی – پیکره ای» بررسی کرده ایم که هدف از آن، کشف جنبه هایی از صدای دستوری، سبک روایی و میزان واقع گرایی در دفاتر ذکر شده است. مبانی نظری و کاربردی پژوهش، تلفیقی از «نظریة نقش گرایی هلیدی» و دستور سنتی فارسی است و پیکرة زبانی آن شامل15890 فعل است که به روش نمونه گیری نظام مند از جامعة آم...

برای مطالعه و پایش رابطة بین الگوی توزیع و تغییرات دما با کاربری / پوشش زمین در منطقة شهری در حال رشد تبریز تصاویر چند زمانة لندست 4،5 و 7 سنجنده هایtm و etm+ اخذ شده در تاریخ های 30 ژوئن 1989، 18 اوت 1998 و 2 اوت 2001 مورد استفاده قرار گرفتند. بررسی های انجام شده از طریق طبقه بندی تصاویر و استخراج اطلاعات آماری هر کلاس نشان دهندة ارتباط قوی میان نوع کاربری و دمای سطح است. بررسی رابطه میان ndvi...

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

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

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