برای فهم زمینه‌های تاریخی پیدایی قرائت‌های قرآن بررسی الگوهای تکرار شونده اختلاف قرائت اهمیتی ویژه دارد. به همین منظور در مقاله حاضر به جایگاه «مَنْ» و «مَا» در اختلاف قرائات نظر خواهیم کرد و با بررسی شواهدی متعدّد از اختلافات قاریان، نقش «مَنْ» و «مَا» را در پیدایی قرائات باز خواهیم شناخت. در قرائت‌های قرآن دَوَران میان خوانش «مَنْ» ــ به فتح میم ــ و «مِنْ» ــ به کسر میم ــ به نحو تکرار ...

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

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

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

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

هدف صنعت نرم افزار، ارائه نرم افزار با کیفیت به مشتری است. تست نرم افزار، یک مرحله ی بحرانی و حساس در اطمینان از کیفیت نرم افزار محسوب می شود.تست عملی زمان بر بوده و هزینههای زیادی دارد چرا که معمولا 30 تا 50 درصد هزینه ی کل تهیه نرم افزار را به خود اختصاص می دهد. امروزه، رشد تصاعدی نرم افزارها نیز کار را بسیار سخت تر کرده است. پژوهشهای بسیاری در زمینهی تولید و اولویتبندی نمونهتست انجام شده است...

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

چکیده ندارد.

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