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

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

فارابی و ابن‌سینا در آثار خود برای شرطی متصل اقسام بسیاری برشمرده و مباحث متنوعی در آثار پیروان خود پدید آورده‌اند. دو قسم مهم از این اقسام، عبارت است از «لزومی» و «اتفاقی» که هر کدام به اقسام جزئی‌تری تقسیم می‌شوند. در این مقاله، به شرطی لزومی و برخی از اقسام آن خواهیم پرداخت. چهار مبحث مهم درباره شرطی لزومی، عبارت است از 1. نسبت شرطی لزومی با شرطی اتفاقی و شرطی عام، 2. تجزیه و تحلیل اقسام شر...

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

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

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

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

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

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

هسته معین مثبت شرطی و کاربردهای آن هسته معین مثبت شرطی و کاربردهای آن هسته معین مثبت شرطی و کاربردهای آن هسته معین مثبت شرطی و کاربردهای آن هسته معین مثبت شرطی و کاربردهای آن هسته معین مثبت شرطی و کاربردهای آن هسته معین مثبت شرطی و کاربردهای آن هسته معین مثبت شرطی و کاربردهای آن هسته معین مثبت شرطی و کاربردهای آن هسته معین مثبت شرطی و کاربردهای آن هسته معین مثبت شرطی و کاربردهای آن هسته معین مث...