چکیده: امروزه استفاده از الگوریتم­های مبتنی بر هوش جمعی به­ همراه استراتژی آزمون T-ستونی[i] در حوزه تولید خودکار دنباله آزمون کمینه، افزایش یافته است. در این میان الگوریتم­های جستجوی ژنتیک، الگوریتم مورچگان، شبیه­سازی تبرید، ازدحام توده ذرات و الگوریتم جستجوی ممنوعه سهم به ­سزایی را دارند. اکثر این الگوریتم­ها به ­دلیل داشتن ساختار پیچیده و استفاده از محاسبات دشوار قادر به تولید دنباله آزمون بر...

در سراسر ایران رساله a بعنوان حلقه ای در جابجایی و یکدار (oala) می باشد و ایده آلهای a را با حروف کوچک لاتین و خط زیرشان و نیز عناصر حلقه را با حروف کوچک نمایش می دهیم و m بعنوان یک -a مدول می باشد. در این بحث ابتدا به مقدمات و پیشتازیها اشاره مختصری شده و سپس نمایش ثانویه مدولها روی یک حلقه جابجایی مطرح گشته و بعد مدولها و حلقه های مدرج و همگن عنوان گردیده و در پایان مدولهای آرتینی و رفتار جان...

این مساله در سال 2005 توسط گیلبرت هلمبرگ برای بنا نهادن فنی در ریاضی و هندسه در دانشگاه اینسبورگ اتریش مطرح شد و چنین می گوید: اگر (x, s, ?) یک فضای اندازه موضعاً متناهی باشد p بیشتر مساوی یک و کمتر از بی نهایت باشد و p,q نماهای مزدوج باشند. اگر f تابع اندازه پذیری باشد که در l^q نباشد. آنگاه می توانیم تابع g را در l^p طوری بسازیم که در رابطه (ت) صدق کند. در اواخر فصل دوم همین موضوع در مورد دنب...

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

در این تحقیق مدلی از مقاطع پره توربین باد با محور افقی از خانواده ایرفویل­های موسسه انرژی های نو، شامل ایرفویل ریشه از نوعS823 ، در تونل باد مورد اندازه­گیری قرار گرفته است. جهت اندازه­گیری سرعت و شدت اغتشاشی از جریان سنج سیم داغ استفاده شده است. داده­برداری­ها در سرعت­های 5، 5/7 و 12 متر بر ثانیه و زوایای حمله 0، 7، 10، 13 و 15 درجه و در موقعیت­های 3، 2، 1،  =    انجام گرفته است. تاثیرات تغییر...