نتایج جستجو برای: برنامهریزی ریاضی اثباتی

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

ژورنال: :صفه 0
سعید اصغرزاده دانشگاه علم و صنعت

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

ژورنال: :دانش آب و خاک 2010
سمیه جنت رستمی مجید خلقی امید بزرگ حداد

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

ژورنال: :مهندسی برق و الکترونیک ایران 0
علیرضا شیخی فینی a. sheikhi-fini محسن پارسا مقدم m. parsa-moghaddam محمد کاظم شیخ الاسلامی m.k. sheikh-el-eslami

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

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

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

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

ژورنال: فصلنامه رأی 2014

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

شبهه زدایی از آموزه‌های دین امری اجتناب ناپذیر است. حدیث هم به عنوان یکی از منابع استنباط دینی از این امر مهم مستثنی نیست. شبهه زدایی از احادیث می‌تواند با رویکرد ثبوتی یا اثباتی انجام شود. رویکرد ثبوتی ناظر به مقام ثبوت یعنی واقع امر و حقیقت حالِ مورد پژوهش است؛ در حالی‌که در رویکرد اثباتی تنها دغدغه کاربرد نتایج آن وجود دارد. علامه شبر از دانشمندانی است که از هر دو رویکرد در حل مشکلات اخبار به...

Journal: : 2022

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

ژورنال: :پژوهش های حقوق تطبیقی 2011
نادر پورارشد1* ربیعا اسکینی2، نجادعلی الماسی3 مرتضی ، شهبازی نیا4

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

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

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

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

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