ion-Refinement (CTIGAR) Johannes Birgmeier, Aaron R. Bradley, and Georg Weissenbacher 1 Vienna University of Technology 2 Mentor Graphics Abstract. Typical CEGAR-based verification methods refine the abstract domain based on full counterexample traces. The finite state model checking algorithm IC3 introduced the concept of discovering, generalizing from, and thereby eliminating individual state...

در این تحقیق به مقایسه تحلیلی و عددی آبشار جریان برگشتی مدل R با آبشارهای Q QI سیستم‌­های چندجزیی پایدار پرداخته می‌­شود. راستا برای اولین بار کدهای جهت طراحی منظور کد نرم‌افزار متلب نوشته شده‌­اند. نتایج نشان می‌­دهد که دو جزء 1k 2k از خوراک Nc جزء، تعداد معدودی قابل تعریف است همگی حالات خاصی می­‌باشد. هم‌­چنین یافته‌­ها مجموع مقدار برش جزیی همیشه برابر یک است. طریق داده می‌­شود صورتی میانگین ...

Weather and climate conditions can be important a decision factor for travel plans or outdoor sport events. It is to quantify thermal comfort other related factors different applications destinations make the results easily accessible visitors attendees. This analysis has provided quantified comfort, heat stress climate-related factors. A relevant approach visualization of thresholds in Climate...

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

To investigate the development of advance task-set updating and reconfiguration, behavioral and event-related potential (ERP) data were recorded in children (9-10 years), adolescents (13-14 years), and young adults (20-27 years) in a cued task-switching paradigm. In pure blocks, the same task was repeated. In mixed blocks, comprised of stay and switch trials, two tasks were intermixed. Age diff...

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

Armed conflict actors frequently target civilian populations. Thus, an improved understanding of such behaviour could pave the way to reducing it. We use Civilian Targeting Index (CTI) and a broad array geo-referenced data investigate spatio-temporal economic dynamics targeting by in Africa. Two main insights are generated. First, African non-state is strongly influenced other proximate actors....