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

چکیده ندارد.

چکیده ندارد.

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

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

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

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