نتایج جستجو برای: مولفه زمان دار
تعداد نتایج: 160997 فیلتر نتایج به سال:
درمهندسی نرم افزار توصیف و وارسی سیستم های نرم افزاری با استفاده از روش های صوری اهمیت ویژه ای دارد. برای سیستم های دقیق و بلادرنگ یک ضرورت اجتناب ناپذیر است و توصیف و وارسی سیستم های بلادرنگ مبتنی بر مولفه ها از مسایل مهم در مهندسی نرم افزار است با توسعه ای که در مهندسی نرم افزار در توسعه خودکارهای ورودی خروجی داده شده است می توانیم راه حلی برای توصیف و وارسی سیستم های ناهمگن مبتنی بر مولفه ها...
شته جالیز Aphis gossypii Glover یکی از آفات مهم و خسارتزا با پراکنش گسترده دامنه میزبانی وسیع در مزارع گلخانهها بهشمار میآید. مدیریت رایج به استفاده حشرهکشهای شیمیایی منظور جلوگیری خسارت اقتصادی وابسته است. مطالعه حاضر، غلظتهای کشنده زیرکشنده فلونیکامید دیکلرووس طریق زیستسنجی برآورد شد تاثیر (LC10 LC25) هر یک آنها روی فراسنجههای جدول زندگی شرایط گلخانهای لوبیا چیتی بررسی شد. توجه تأث...
هدف: با توجه به کاستیهای موجود، نظام سیاستگذاری سازمانی فرایندی سیستماتیک، هدفمند و منظم برای تولید دادههای حاصل از عملکرد، پردازش آنها اطلاعات تبدیل آن دانش سیاستی نیاز دارد تا نسبت کم کیف تحقق اهداف سیاستها، آثار پیامدهای موفقیت یا ناکامیشان آگاهی داشته تصمیمگیری بهره گیرد. ازاینرو مسئله اصلی که محقق تلاش رفع میپردازد تبیین این موضوع است سیاستها راهبردهای کلان چه پیامدها آثاری در پی...
هدف: در قرن 21 رسالت دانشگاه، تربیت نیروی انسانی و نسل آیندهای متعهد، مبتکر کارآفرین است بنابراین ایجاد تفکر کارآفرینی ورود به کسب وکار میان دانشآموختگان دانشگاهی باعث میشود که آنها با بهرهگیری از استعدادهای بالقوه خود، افرادی خلاق، نوآور شوند خود را باور نمایند. هدف مطالعه حاضر، طراحی الگوی دانشگاه رویکرد سازمانی آموزش عالی بود.طراحی/ روششناسی/ رویکرد: این پژوهش نظر کاربردی-توسعهای، ماه...
چکیده ماشین زمان دار ازجمله ابزارهای وارسی مدل است که برای وارسی سیستم های بلادرنگ مورداستفاده قرار می گیرد و همانند دیگر ابزارهای وارسی مدل با پدیده انفجار فضای حالت مواجه است. مبارزه با انفجار فضای حالت از اهمیت زیادی برخوردار است بخصوص در وارسی سیستم های بزرگ و پیچیده. در اینجا سعی بر آن است تا راهکاری برای مبارزه با انفجار فضای حالت ارائه شود. شیوه کار به این صورت است که با استفاده از تحل...
سیستم های تبدیل گراف زمان دار برای مدل کردن سیستم هایی بکار می رود که زمان نقش اساسی را در آنها بازی می کند. ایده سیستم های تبدیل گراف زمان دار توسط «سیلویا گیاپای» و همکارانش مطرح شد. آنها روشی را برای وارسی این سیستم ها بیان نکرده و تنها به تعدادی مفاهیم اکتفا کردند. وارسی این سیستم ها با روش پیشنهادی این افراد و با استفاده از ابزارهای موجود مشکل خاصی دارد. این مشکل را با ارائه ی مثالی در نرم...
نقش صلاحیت فردی و رضایت شغلی ممیزان مالیاتی در ارتقاء سطح قدرت "مالیاتستانی" توسط سازمان امور کشور: بررسی محدودیت (فشار) زمان
رآکتور مینیاتوری چشمه نوترونی یک تحقیقاتی از نوع مخزن-استخری است که در آن اورانیم با غنای بالا بهعنوان سوخت، آب سبک خنککننده و برلیوم بازتابنده استفاده شده است. هنگام بهرهبرداری دمای سیال افزایش مییابد باعث ایجاد فیدبک منفی میشود. بر اثر تزریق راکتیویته عین حال یکی مزایای این خصلت ایمنی ذاتی است، اضافی دسترس کاهشیافته زمان عملکرد کاهش مییابد؛ بنابراین محدودیتهای اصلی MNSR کوتاه (حدود 5...
در شرایط نزدیک به حالت اشباع1 و یا اشباع2 تقاطع، رابطه تعیین چرخه بهینه وبستر3، غیرقابل استفاده می شود، زیرا اولاً این رابطه زمانی که مجموع نسبت بحرانی4 تقاطع به یک نزدیک می شود، مقادیر غیرقابل توجیه برای طول چرخه می دهد و ثانیاً اگر مجموع نسبت بحرانی تقاطع، یک و یا بزرگتر از آن شود، رابطه وبستر به طورکلی غیرقابل استفاده می گردد. روش hcm2000 این مشکل را ندارد؛ اما تعیین زمان چرخه بهینه در این روش...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید