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

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

در این مقاله تحریرهای طوسی و مغربی، از راه تحقیق در ویژگیهای هر یک و تفاوتهای آنها با یکدیگر، بررسی می شود. طوسی در تحریر اُکَر تئودوسیوس به چارچوب ظاهری متن اصلی پایبند بوده است؛ در عین حال با اضافه کردن اصول موضوعه و چند قضیۀ مقدماتی به استحکام ساختار ریاضی این رساله افزوده است و جملاتی را که خود به متن اضافه کرده است با عبارات مشخصی چون «أقول» و «فی بعض النسخ» از متن اصلی جدا کرده است. شیوۀ نگ...

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

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

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

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

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

هدف از پژوهش حاضر، بررسی درک و فهم دانش آموزان پسر سال سوم متوسطه -رشته های ریاضی و تجربی- شهر کرمان از اثبات و استدلال ریاضی می باشد. به این منظور یک پرسشنامه شامل 5 بخش بین 360 نفر از دانش آموزان پسر، که به روش نمونه گیری تصادفی خوشه ای تک مرحله ای و طبقه ای نسبی (نسبتی) انتخاب شدند، توزیع گردید. از این بین 291 پرسشنامه، با استفاده از روش آمار توصیفی و استنباطی و نرم افزار spss مورد تجزیه و ت...