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

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

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

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

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

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