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

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

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

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

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

مس از عناصر ضروری برای گیاهان است. با این حال، تعیین عصاره گیر مناسب مس در خاک های آهکی تیمار شده با لجن فاضلاب کمتر مورد توجه قرار داشته است. این پژوهش با هدف ارزیابی چند روش عصاره گیری در برآورد مس قابل استفاده در 10 خاک آهکی تیمار نشده و تیمار شده با لجن فاضلاب زیر کشت گندم در شرایط گلخانه ای انجام شد. مس قابل استفاده با 7 روش عصاره گیری (dtpa-tea، dtpa-ab، مهلیچ 1، مهلیچ 2، مهلیچ 3، hcl 1/0...

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

در این تحقیق، کاربرد برخی روش‌های بهره‌برداری زمان حقیقی بر روی سامانه تک‌مخزنی کارون 4، به ‌منظور کاهش کمبود مجموع نیازهای شرب، صنعت و کشاورزی بررسی شده‌است. این روش‌ها شامل سیاست بهره‌برداری استاندارد1 (SOP)، برنامه‌ریزی پویای تصادفی2 (SDP) و انواع منحنی‌های فرمان بهره‌برداری با درجه‌های توانی مختلفی از آورد و حجم ذخیره مخزن می‌باشند. جهت رتبه‌بندی روش‌های مزبور از روش تصمیم‌گیری چندشاخصه الک...

معرفت‌شناسان معاصر در مورد معنا و توجیه شهود و شهود اخلاقی دیدگاه‌های متفاوتی دارند. نگارنده در این نوشتار درصدد بررسی معنا و توجیه شهود اخلاقی است و این دیدگاه را می‌پذیرد که شهود اخلاقی گونه‌ای از نمود عقلانی است که محتوایی ارزشی دارد. این مقاله به این سؤال پاسخ می‌دهد که شهود اخلاقی چگونه سلسله توجیه باورهای اخلاقی را متوقف ساخته و باورهای مبنا را توجیه می‌کند؟ در این مقاله ابتدا به ویژگی‌ه...

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