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

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

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

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

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

در این مقاله عوامل تعیین کننده نرخ ارز حقیقی تعادلی به تفکیک صادراتی و وارداتی را در اقتصاد ایران طی دوره 1381- 1338 مورد بررسی قرار می دهیم. متغیرهای اساسی تعیین کننده نرخ ارز حقیقی تعادلی شامل رشد بهروری (به عنوان نماینده عوامل طرف عرضه)، موقعیت سیاست های پولی و مالی، شاخص تعرفه (یا موقعیت رژیم تجاری) و تراز منابع (تفاوت میان واردات و صادرات غیر نفتی نسبت به تولید ناخالص داخلی) است. روابط بلن...

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

ایجاد ساختمان‌های مرتفع و نزدیک به هم سبب می‌شود که در هنگام زلزله به سبب اختلاف در ارتفاع و سیستم‌های مقاوم لرزه‌یی، رفتار متفاوتی از ساختمان‌های مجاور بروز کند و جابه‌جایی جانبی آن‌ها منجر به برخورد )ضربه( می‌شود. لذا با هدف جلوگیری از برخورد آن‌ها، نوشتار حاضر به تخمین «نیاز زاویه‌ی درز انقطاع» در بالاترین تراز برخورد از ترکیب‌های هم‌جواری دوتایی قاب‌های خمشی فولادی ۲ تا۲۰ طبقه، تحت رکورده...