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

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

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

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

روند کاهش و نابودی گونه ها همچنان ادامه دارد و بسیاری از گونه ها با نرخ فزاینده ای در حال انقراض هستند. حدود 30 درصد انقراض گونه ها تا سال 1980 میلادی به تخریب و انهدام زیستگاه های حیات وحش نسبت داده شده است. در این میان زیستگاه های باز مانند نواحی نیمه بیابانی و علف زارها تا حد زیادی در سراسر جهان تغییر یافته اند و حیات وحش آن ها نیز در معرض نابودی هستند. کوکر شکم سیاه (pterocles orientalis) پ...

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

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

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

روش سطح پاسخ به منظور تعیین نقاط بهینۀ فرایند خشک کردن اسمزی ـ فراصوت همراه خشک کردن تکمیلی با هوای داغ برای دستیابی به بیشینۀ آنتوسیانین، ترکیبات فنولی کل، و فعالیت آنتی اکسیدانی میوۀ گیلاس سیاه استفاده شد. درجۀ حرارت (40، 50، و 60 درجۀ سلسیوس)، غلظت محلول ساکارز (40، 50، و 60 درصد حجمی/وزنی)، و فرکانس (0، 65، و 130 کیلوهرتز) عواملی بودند که تأثیر آن ها بر میزان آنتوسیانین، ترکیبات فنولی کل، و...

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