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

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

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

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

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

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

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

زیرمدول n از r-مدول راست m، زیرمدول بزرگ (اساسی) گفته می شود؛ یا به طور معادل m یک توسیع بزرگ (اساسی) n نامیده می شود، اگر برای هر زیرمدول ناصفر k از m داشته باشیم، n?k?0. مفهوم قویاً اساسی نیز چنین آمده: زیرمدول n ازr-مدول راست m را قویاً اساسی گوئیم و با نماد n ?se m نشان می دهیم، هرگاه یکی از شرایط معادل زیر برقرار باشد: 1) برای هر مجموعه ی اندیس گذار i، in?e ?im? 2) برای هر زیرمجموعه ی x?...

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