نتایج جستجو برای: مولفه زمان دار

تعداد نتایج: 160997  

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه تبریز - دانشکده علوم ریاضی 1391

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

Journal: :Journal of Entomological Society of Iran 2023

شته جالیز Aphis gossypii Glover یکی از آفات مهم و خسارت‌زا با پراکنش گسترده دامنه میزبانی وسیع در مزارع گلخانه‌ها به‌شمار می‌آید. مدیریت رایج به استفاده حشره‌کش‌های شیمیایی منظور جلوگیری خسارت اقتصادی وابسته است. مطالعه حاضر، غلظت‌های کشنده زیرکشنده فلونیکامید دی‌کلرووس طریق زیست‌سنجی برآورد شد تاثیر (LC10 LC25) هر یک آنها روی فراسنجه‌های جدول زندگی شرایط گلخانه‌ای لوبیا چیتی بررسی شد. توجه تأث...

Journal: : 2022

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

Journal: : 2022

هدف: در قرن 21 رسالت دانشگاه، تربیت نیروی انسانی و نسل آینده‌ای متعهد، مبتکر کارآفرین است بنابراین ایجاد تفکر کارآفرینی ورود به کسب‌ وکار میان دانش‌آموختگان دانشگاهی باعث می‌شود که آنها با بهره‌گیری از استعدادهای بالقوه خود، افرادی خلاق، نوآور شوند خود را باور نمایند. هدف مطالعه حاضر، طراحی الگوی دانشگاه رویکرد سازمانی آموزش عالی بود.طراحی/ روش‌شناسی/ رویکرد: این پژوهش نظر کاربردی-توسعه‌ای، ماه...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه اراک - دانشکده مهندسی 1393

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

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه اراک - دانشکده فنی 1391

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

Journal: : 2022

نقش صلاحیت فردی و رضایت شغلی ممیزان مالیاتی در ارتقاء سطح قدرت "مالیات‌ستانی" توسط سازمان امور کشور: بررسی محدودیت (فشار) زمان

Journal: : 2023

رآکتور مینیاتوری چشمه نوترونی یک تحقیقاتی از نوع مخزن-استخری است که در آن اورانیم با غنای بالا به‌عنوان سوخت، آب سبک خنک‌کننده و برلیوم بازتابنده استفاده ‌شده است. هنگام بهره­برداری دمای سیال افزایش می­یابد باعث ایجاد فیدبک منفی می‌شود. بر اثر تزریق راکتیویته عین حال یکی مزایای این خصلت ایمنی ذاتی است، اضافی دسترس کاهش‌یافته زمان عملکرد کاهش می‌یابد؛ بنابراین محدودیت­های اصلی MNSR کوتاه (حدود 5...

ژورنال: :نشریه دانشکده فنی 2008
علی بابائی زاده هاشم مهرآذین

در شرایط نزدیک به حالت اشباع1 و یا اشباع2 تقاطع، رابطه تعیین چرخه بهینه وبستر3، غیرقابل استفاده می شود، زیرا اولاً این رابطه زمانی که مجموع نسبت بحرانی4 تقاطع به یک نزدیک می شود، مقادیر غیرقابل توجیه برای طول چرخه می دهد و ثانیاً اگر مجموع نسبت بحرانی تقاطع، یک و یا بزرگتر از آن شود، رابطه وبستر به طورکلی غیرقابل استفاده می گردد. روش hcm2000 این مشکل را ندارد؛ اما تعیین زمان چرخه بهینه در این روش...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید