از آنجا که رویکردهای درستی یابی ایستا1 و آزمون نرم افزار ، برای اطمینان یافتن از درستی عملکرد نرم افزار ها کافی نیست، رویکرد دیگری به نام درستی یابی در زمان اجرا2 - که در آن درستی نرم افزار در برابر قیود3 در زمان اجرای واقعی نرم افزار انجام می شود - مورد استقبال قرار گرفته است. اما مشکلی که این رویکرد با آن روبه رو است، درستی یابی فعالیت های زمان اجرای نرم افزار در برابر توصیف های انتزاعی4 و سط...

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

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

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

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

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

چکیده ندارد.

چکیده ندارد.

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

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