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

هدف: پژوهش حاضر با هدف مشخص ساختن دیدگاه­های کاربران نرم­افزار رسا در کتابخانه ملی جمهوری اسلامی ایران انجام شده است. روش: روش پژوهش پیمایشی- تحلیلی و ابزار گردآوری داده ها پرسشنامه است. جامعه پژوهش را کاربران نرم­افزار رسا یعنی مراجعان در سازمان اسناد و کتابخانه ملی جمهوری اسلامی ایران تشکیل داده­اند. داده­ها به صورت آمار توصیفی در جداول توزیع فراوانی آورده شده است. جهت آزمون فرضیه پژوهش از آم...

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

چکیده: در این رساله ابتدا مفهوم c*-جبر را بیان می کنیم سپس با تجزیه وتحلیل دقیق مقاله های on frames in hilbert modules over pro-c*-algebras, projections on hilbert modules over locally c*-algebras. مفهوم c*-جبر موضعی و قاب ضربگرها در مدول های هیلبرت روی c*-جبرموضعی بیان می شود و نشان می دهیم برخی از ویژگیهای قابها در c*-مدول های هیلبرت برای قاب ضربگرها در مدول های هیلبرت روی c*-جبرموض...

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

چکیده ندارد.

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

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

با پیشرفت تکنولوژی و به وجود آمدن سلول های حافظه ایستای جاسازی شده (sram)، این سلول ها به دلیل سرعت بسیار بالا و هزینه ی ساختِ کم، تبدیل به رایج ترین حافظه های مورد استفاده در بازار گردیدند. از طرف دیگر با افزایش تعداد ترانزیستورها در آرایه های sram و نیز افزایش جریان نشتی ترانزیستورها در تکنولوژی های با ابعاد کوچک ، توان مصرفی نیز افزایش می یابد. به علاوه فرایند کاهش ولتاژ منبع تغذیه برای جبرانِ...

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