نتایج جستجو برای: معنیشناسی جهانهای ممکن

تعداد نتایج: 28653  

پایان نامه :دانشگاه مهندسی فناوری های نوین قوچان - دانشکده ریاضی و کامپیوتر 1393

‏در این پایان نامه‏،‎‎ یک ماشین بردار پشتیبان کمترین مربعات جدید‏‏، برای دسته بندی معرفی می کنیم‏، ‎که آن را ∋‎-ماشین بردار پشتیبان کمترین مربعات می نامیم. با معرفی یک تابع ‎‎‏زیان جدید به جای تابع زیان ‏مرتبه دوم د‎ر‎‎‎‏‎ ماشین بردار پشتیبان کمترین مربعات‏‏، ∋-ماشین بردار پشتیبان کمترین مربعات‏، ‏‎ ‎‎نتایج بهتری نسبت به ∋ دارد؛ (1) تنک است و این خاصیت آن را می توان با پارامتر ∋ ‏کنترل کرد. (2)...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه کردستان - دانشکده علوم پایه 1388

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

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه گیلان - دانشکده فنی 1392

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

ژورنال: مطالعات حقوقی 2018

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

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه تحصیلات تکمیلی علوم پایه زنجان - دانشکده شیمی 1393

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

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه تحصیلات تکمیلی علوم پایه زنجان - پژوهشکده شیمی تجزیه و معدنی 1390

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

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه تحصیلات تکمیلی علوم پایه زنجان - دانشکده شیمی 1392

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

ژورنال: متافیزیک 2013

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

ژورنال: پژوهش های فلسفی 2006

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

سکینه کرمی

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

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید