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

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

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

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

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

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

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

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

ارزشیابی نظام‌های آموزش عالی از الزامات پویایی و رشد این نظام‌ها بوده و ارتقاء مستمر کیفیت آموزش عالی مستلزم استقرار زیرنظام ارزشیابی و تضمین کیفیت و استفاده از روش‌های علمی در این زمینه است. بر اساس تجارب جهانی نحوه جلب مشارکت مؤسسات آموزش عالی در فعالیت‌های تضمین کیفیت در طیفی داوطلبانه تا اجباری قرار می‌گیرد. تفاوت مهم بین نظام‌های تضمین کیفیت این است که آیا مشارکت در آنها داوطلبانه یا اجبار...

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