بر اساس تجربه ی روزمره و فهم متعارف به نظر می‌رسد تفاوتی بین گذشته و آینده وجود دارد که آن را «پیکان زمان» می‌نامیم. تبیین‌های متفاوتی برای پیکان زمان ارایه شده که یکی از آن ها پیکان ترمودینامیکی است. اما قوانین بنیادی فیزیک، به ویژه قوانین نیوتن و مکانیک آماری–که انتظار می رود تبیین گر قوانین پدیدارشناختیِ ترمودینامیک باشند- عدم تقارنی را نشان نمی‌دهند. بولتزمن کوشید عدم تقارن ترمودینامیکی را ب...

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

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

رودکی نخستین شاعر بزرگ و کثیرالشعر فارسی دری است. او را استاد شاعران و مقدّم شعرای عجم خوانده­اند. تنوع مضامین، تأثیر کلام، انسجام، لطافت و متانت سخنان رودکی باعث شد تا اشعار وی از همان آغاز مورد توجه بسیاری از شعرا و سرایندگان واقع شود و بسیاری از اشعار او را تضمین کرده، یا مضامین وی را در اشعار خویش بیاورند.قدیمترین جایی که از رودکی یاد شده است، دیوان اشعار فرخی سیستانی و امیر معزّی نیشابوری اس...

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

یافتن جواب بهینه برای بسیاری از مسایل دنیای واقعی مستلزم انجام یک جستجوی کامل در فضای مسیله و بررسی تمام راه حل های ممکن است. تحقیقات بسیاری در این راستا صورت گرفته و الگوریتم های جستجوی مکاشفه ای مختلفی مانند a*، ida*، kbfs و... برای حل این گونه مسایل ارایه شده اند. این الگوریتم های جستجو از یک تابع مکاشفه ای (heuristic) برای ارزیابی حالت های مختلف استفاده می کنند و کارایی آنها به دقت تابع مکا...

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

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

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

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