نتایج جستجو برای: معنیشناسی جهانهای ممکن
تعداد نتایج: 28653 فیلتر نتایج به سال:
در این پایان نامه، یک ماشین بردار پشتیبان کمترین مربعات جدید، برای دسته بندی معرفی می کنیم، که آن را ∋-ماشین بردار پشتیبان کمترین مربعات می نامیم. با معرفی یک تابع زیان جدید به جای تابع زیان مرتبه دوم در ماشین بردار پشتیبان کمترین مربعات، ∋-ماشین بردار پشتیبان کمترین مربعات، نتایج بهتری نسبت به ∋ دارد؛ (1) تنک است و این خاصیت آن را می توان با پارامتر ∋ کنترل کرد. (2)...
در سالهای اخیر روشهای نقطه درونی به عنوان یکی از مهمترین روشهای حل مسائل برنامه ریزی خطی مورد توجه محققین قرار گرفته است. الگوریتم کارمارکار یک روش نقطه درونی است که با پیچیدگی محاسباتی چندجمله ای جواب بهینه را در صورت وجود بدست می آورد. هدف اصلی از پایان نامه ارائه گونه ای جدید از الگوریتم کارمارکار برای حل مسائل برنامه ریزی خطی می باشد. در این گونه جدید از الگوریتم نقطه درونی پارامتر طول گام...
سرمایه گذاری در حوزه فناوری اطلاعات یکی از موضوع های مطرح در تمامی سازمان ها می باشد. در بسیاری موارد، سرمایه گذاری در این حوزه موجب صرفه جویی فراوانی در هزینه ها شده و باعث ایجاد مزایای رقابتی پایداری می گردد. بکارگیری it می تواند زمان تولید و توسعه محصولات جدید را کاهش داده، و باعث تسریع فرایند های کسب وکار و همچنین ارتباطات درون سازمانی، برون سازمانی، و ارتباط نزدیکتر با مشتریان، توزیع کنندگ...
ترتیب اولویت در اعمال راهکار «اجبار متعهد به اجرای عین تعهد»، در میان راهکارهای دیگر حاکم بر نقض قرارداد، همچون فسخ و پرداخت خسارت، مورد اختلافنظر سیستمهای حقوقی قرار گرفته است. نظام حقوقی ایران، الزام به اجرای عین تعهد را به عنوان نخستین راه حلِ اجباری که نمیتواند همیشه نیز کارا باشد، در اولویت قرار میدهد. در این راستا، نظام حقوقی آلمان با اعمال اصلاحات قانونی در سال 2001، ضمن تأکید بر اصل ...
استفاده از روش های مدل سازی نرم منجر به جواب منحصر به فرد نمی شود، وجود ابهام سبب می شود به جای یک پاسخ منحصر به فرد یک محدوده ی جواب برای هر گونه وجود داشته باشد که هر کدام از این جواب های ممکن به خوبی داده را بازسازی می کند. از طرفی روش هایی مثل rfa و mcr-als که از جمله روش های نرم هستند، یکی از این جواب های ممکن را بدست می آورند، در کار تحقیقاتی پیش رو عوامل موثر بر رسیدن به جواب های مختلف ن...
بخش اول:وقتی کمبود مرتبه در یک بعد وجود دارد، مانع از محاسبه صحیح پروفایلها در بعد دیگر میشود و ترکیبی از پروفایل ها در این بعد به دست می آید. در این تحقیق، بررسی سیستماتیک در داده دارای کمبود مرتبه انجام شد. ساختار چنین داده هایی در زیر فضای تعریف شده توسط آنالیز اجزای اصلی (pca) برای پروفایل های طیفی و غلظتی، بررسی شده است. نتیجه جالب این بود که پروفایل های واقعی بعد مرتبه کامل در فضای داده ق...
قسمت اول: روش های مدل سازی نرم ماتریس داده را به حاصلضرب دو ماتریس کوچکتر که مفهوم شیمیایی دارند تبدیل می کنند. استفاده از این روش ها لزوماً همیشه منجر به جواب منحصر به فرد نخواهد شد و بیشتر مواقع در نتایج این روش ها ابهام وجود دارد. وجود ابهام سبب می شود به جای یک پاسخ منحصر به فرد یک محدوده ی جواب برای هر جزء وجود داشته باشد. عامل دیگری که بر روی محدوده ی پاسخ های ممکن تأثیر می گذارد حضور خطا ...
رأی سنتی درباره صدقهای منطقی، آنها را ضروری میداند اما به ضروری بودن این صدقها از منظرهای مختلف انتقادهایی وارد شده است. دیوید کاپلان و ادوارد زالتا با معرفی عملگرهایی منطقی مدعیاند که میتوان جملاتی ساخت که بنا بر تعریفِ متعارف صدق منطقی باشند، با این حال در همه جهانها صادق نباشند. ویلیام هانسن مثالهای زالتا را مبتنی بر پیشفرضهایی ناموجه میداند و بهویژه مفهوم اعتبار جهان بالفعل را تل...
پرسش اصلی مقاله این است که دو فیلسوف بزرگ اسلامی، ابن سینا و ملاصدرا، چگونه کامل بودن جهان موجود را با وجود شرور رایج در آن، اثبات می کردند؟ پاسخ این است که رویکرد این دو فیلسوف در اثبات این مدعا، یک رویکرد پیشینی است و بیشتر با تمسک به علیت ذات کامل باری تعالی، نسبت به وجود عالم و عنایت او نسبت به معلولاتش و نبودن مانع در این میان، به اثبات آن پرداخته اند و در هنگام مواجهه با شرور طبیعی و اخلا...
پس از تصویب قانون آیین دادرسی دادگاههای عمومی وانقلاب درامور مدنی که تبصره 2 ماده 515 آن خسارت ناشی از عدمالنفع را غیرقابلمطالبه اعلام نمود در پرتو تفسیرهای مختلفی که از این مقرره به عمل آمد، موضع حقوق ایران در مورد ضمانآور بودن تفویت منافع دچار ابهام گردیده است که با توجه به اهمیت حقوقی تعیین دامنه خسارات قابل جبران در حوزه مسؤولیت قهری و قراردادی، تحقیق بیشتر در خصوص مبانی و مدلول مقرره ...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید