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

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

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

هدف از این پژوهش، برآورد ضریب کیفیت با استفاده از فاز ال جی کدا برای نیمه شمالی ایران محصور به عرض جغرافیایی °32-°40 درجه شمالی و طول جغرافیایی°44-°62 درجه شرقی است و از نظر تقسیم­بندی ایالت­های لرزه­زمین ساختی شامل ایالت لرزه­زمین ساختی البرز- آذربایجان، کپه داغ، بخشی از ایران مرکزی ، بخشی از زاگرس و همچنین بلوک دریای خزر است. ضریب کیفیت در بسامد یک هرتز (q0) و وابستگی بسامدی آن (η) با استفاده...

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

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

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

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

واژۀ «ضرب» دارای معانی حقیقی و مجازی است. در قرآن و روایات و به تبع آن در متون فقهی، مسئلۀ «ضرب زوجه» به عنوان یکی از ابزارهای تنبیه زن ناشزه که وظایف شرعی و عرفی خود را انجام نمی دهد، مطرح شده است. سؤال آنست که آیا از معنای حقیقی «ضرب» به معنای «زدن و تنبیه بدنی» که نظر مشهور فقهاست، استفاده کنیم یا از یکی از معانی مجازی آن یعنی «اعراض»؟ بر اساس روش اجتهادی، بیان ادلۀ احکام، کتب لغت، اقوال و ا...

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