در این مقاله از روش مدل سازی خطی نوینی به نام وارو ن سازی فشرده (compact inversion) برای تفسیر داده های گرانی سنجی استفاده شده است. مبنای کار در رو ش وارون فشرده کمینه کردن حجم چشمهء بی هنجاری است. این امر معادل بیشینه کردن فشردگی (compactness) چشمهء بی هنجاری است. توزیع چگالی با استفاده از روشی بر مبنای تکرارهای متوالی با همگرایی قابل ملاحظه محاسبه می شود. این روش را می توان به آسانی برای مدل ...

قضایا و قواعد منطق موجهات، در جهان‌های ممکن، معتبرند اما قضایای منطق ربط، در جهان‌های منطقی، و قواعد آن، در وضعیت‌ها اعتبار دارند. روبرت مایر، در سال 1974، به کمک ادات‌های صدق و کذبِ ویلهم آکرمان، نظامی در منطق ربط طراحی کرد که قضایا و قواعد آن، هر دو، در وضعیت‌ها معتبر بودند و به این وسیله، عدم تقارن موجود در منطق ربط میان قضایا و قواعد را از میان برد. در این مقاله، با معرفی نوع جدیدی از ادات‌ه...

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

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

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

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

منطق فازی[1] یک نوع منطق چندارزشی است که ریشه در افکار افلاطون و فلسفه شرقی دارد، اما نخستین بار در سال 1965 میلادی، دانشمند ایرانی­الاصل و استاد دانشگاه برکلی(پروفسور لطفعلی عسگرزاده) ملقب به پروفسور«زاده»[2]، منطق فازی را مطرح کرد. برخلاف منطق دو ارزشی ارسطویی که به­دنبال پاسخ آری و یا نه برای تعمیم به تمام پدیده­ها می­باشد(همچون پوزیتیویسم)، منطق فازی جهان را همان­گونه که هست معرفی می­کند. م...

در این تحقیق با بهره گیری از نگرش حاکم بر ‏‎opt‎‏ ، ‏‎jit‎‏ و رویکردهای ادغامی ‏‎opt/mrp‎‏، ‏‎jit/mrp‎‏ ، رویکرد جدیدی در منطق ‏‎mrp‎‏ ارائه می گردد که در آن ‏‎mrp‎‏ با زمانهای پیشبرد پویا انجام شده و همزمان برنامه ریزی ظرفیت صورت گرفته و زمانبندی کارگاهها مشخص می شوند. ویژگیهای رویکرد جدید در ‏‎mrp‎‏ عبارتند از: تعیین زمانهای پیشبرد با توجه بار کاری سیستم و اندازه انباشته ، متفاوت بودن دسته ان...

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

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