کاربر:FundamentalGeneticAlgorithm: تفاوت میان نسخه‌ها

از OCCC Wiki
پرش به ناوبری پرش به جستجو
(جایگزینی صفحه با 'فعالیت های این کاربر: * الگوریتم ژنتیک')
 
(۶ نسخهٔ میانی ویرایش شده توسط یک کاربر دیگر نشان داده نشد)
خط ۱: خط ۱:
== مفاهیم بنیادین در علم ژنتیک ==
فعالیت های این کاربر:


به طور کلی الگوریتم ژنتیک از یک سری مفاهیم پایه و کلی تشکیل شده است که عبارتند از :
* [[الگوریتم ژنتیک]]
* phenotype
*genotype
* gene
* chromosome
*population
*crossover
*mutation
*selection method
* fitness function
که هر کدام از این مفاهیم توضیح داده می شود.
 
===phenotype ===
این پارامتر در بیولوژی و در زیست شناسی، ساختار کلی اعضای موجود زنده را مشخص
می کند.به عنوان مثال می توان به هر کدام از اعضای بدن انسان اشاره کرد.
 
=== genotype ===
این پارامتر در علم زیست شناسی، خواص ژنتیک تشکیل دهنده موجود زنده را شامل میشود. در شکل زیر نمونه ای از ژنوتایپ و فنوتایپ معادل هم را در یک نمونه مربوط به زیست شناسی و یک نمونه مربوط به مساله زمان بندی فعالیت ها مشاهده میکنید.
 
[[پرونده:Genotype phenotype.jpg|وسط|نمونه ژنوتایپ و فنوتایپ متناظر با هم]]
 
=== gene ===
ژن در واقع کوچکترین ساختاری که تشکیل دهنده موجود زنده است.ژن در علوم کامپیوتر معادل صفر و یک اعداد باینری است.
 
=== chromosome ===
به مجموعه ای از ژن ها کروموزوم گفته می شود. کروموزوم را در علوم کامپیوتر معادل رشته ای از اعداد باینری می توان به حساب آورد.
 
=== population ===
در علم ژنتیک، جمعیتی که نمونه گیری از آن صورت می گیرد را نشان می دهد. در علوم کامپیوتر جمعیت را می توان معادل رشته های باینری که مورد بررسی قرار می گیرد در نظر گرفت.
 
=== crossover ===
دو پارامترمهم عبارتند از  پارامترهای crossover و mutation.پارامتر crossover انواع مختلفی دارد.یکی از مهمترین آنها one point crossover نام دارد.به این معنی که برای هر کروموزومی که به عنوان parent ایجاد شده است یک برش به صورت تصادفی ایجاد می گرددو فرزند جدید شامل قسمت ابتدایی کروموزوم از parent اول و قسمت انتهایی از parent دوم را در بر می گیرد. نوع دیگری از crossover را می توان uniform crossover را نام برد. به این معنی که فرزندی که ایجاد می شود به صورت کاملأ تصادفی یا از کروموزوم های parent اول و یا از کروموزوم های parent دوم ایجاد می شود.
[[پرونده: Uniform-Crossover.png|وسط|مثالی از Uniform-Crossover]]
[[پرونده: One-Point_Crossover.png|وسط|مثالی از One-Point-Crossover]]
 
=== mutation ===
جهشی که به صورت تصادفی ایجاد شد و در نتیجه فرزند جدید به وجود می آید. مثلأ در علوم کامپیوتر ممکن است یک رقم صفر یا یک رقم یک باینری جابجا شود.
[[پرونده:Mutation.png|وسط|مثالی از Mutation]]
 
=== selection method ===
متدی است که برای اینکه تابع شایستگی انجام شود، مورد استفاده قرار می گیرد. به عنوان مثال اگر از روش Tournament استفاده شود به این معنی است که پس از چند بار مسابقه، آن کروموزوم هایی که مقدار تابع شایستگی بیشتری دارند، به عنوان فرزند برای نسل بعدی انتخاب می شود. به عنوان مثال در علوم کامپیوتر، اگر چندین بار رشته های اعداد باینری به صورت جدا از هم به عنوان چندین parents ایجاد شده با شند، یک معیار سنجش بهینگی برای انتخاب بعدی برای هر یک از رشته های ایجاد شده وجود دارد به نام تابع شایستگی. هر کدام از رشته های ایجادشده که مقدار این تابع مقدار بیشتری داشته باشد، برای نسل بعدی انتخاب می شود.
 
=== fitness function ===
بر پایه متد انتخابی، مقدار آن معین می شود.
 
== بررسی موردی در یک مساله زمان بندی ==
 
اگر بخواهیم در یک مساله زمان بندی بر پایه و مبنای الگوریتم ژنتیک بحث کنیم شاید بهتر باشد که ابتدا
یک تعریف کوتاهی از زمان بندی داشته باشیم. زمان بندی به طور خلاصه تخصیص دادن کارها به ماشین ها
به گونه ای که هرکدام از ماشین ها در هر واحد زمانی کاری را انجام داده و کار تکراری نداشته باشیم و
از تمام ماشین ها حداکثر استفاده به عمل آید.
دو نمونه زمان بندی را می توان به عنوان نمونه نام برد.مورد اول مساله مغازه و کار است که این مساله به این صورت تعریف می شود که n کار محدود و هر کار شامل مجموعه ای از فعالیت ها است و هر ماشین فقط یک فعالیت را در هر واحد زمانی پردازش نماید. هر فعالیتی نیاز است که روی یک ماشین در
هر واحد زمانی پردازش شود و هرچه زمان پردازش کوتاهتر شود بهتر است. مورد دوم مساله مغازه و کار
باز است. این مساله همانند مساله مغازه و کار است با این تفاوت که تخصیص فعالیت ها به ماشین ها
به ترتیب انجام نمی شود.
 
'''شرح مساله''': مساله زمان بندی منابع به این شکل تعریف میشود که مثلا N کار داریم که قرار است روی M ماشین انجام شود. هر کار از یک سری فعالیت تشکیل شده است. هر نوع فعالیت روی یک نوع ماشین خاص قابل انجام است و بین ترتیب انجام فعالیت های هر کار وابستگی وجود دارد که باید رعایت شود. در این مساله میبایست بهینه ترین حالت ممکن انجام این N کار روی M ماشین پیدا شود بطوریکه زمان انجام نهایی کل کارها مینیمم گردد.
معادل پارامترهای الگوریتم ژنتیک را در این مساله زمان بندی به این صورت میتوان تعریف کرد:
 
=== phenotype ===
معادل خود مساله زمان بندی است. شکل نمایش این مساله معمولا بصورت گانت چارت می باشد. ترتیب انجام فعالیت های یک پروژه یا توجه به منابع و یا ترتیب انجام کارها در یک کارخانه با توجه به منابع موجود میتواند نمونه هایی از این مساله باشد. مثلا در شکل مقابل، بازنمایی یک نمونه زمان بندی با 10 وظیفه بر روی 10 ماشین را با شرحی که قبلا داده شد مشاهده می کنید.
 
[[پرونده:JSSP.jpg|چپ|بندانگشتی|بازنمایی یک نمونه زمان بندی شامل 10 وظیفه بر روی 10 ماشین]]
 
=== genotype ===
معادل بازنمایی کار مورد نظر در فضای مدل سازی بصورت ژنتیک گفته می شود. براي اینکار ابتدا نیاز داریم شکل مناسب بازنمایی مساله را بصورت یک کروموزوم ارائه نماییم.
اگر مجموعه کارها را بصورت مجموعه J فرض کنیم:
 
<div dir="ltr">
J = {0,1,2,...}
</div>
 
و هر کار j از این مجموعه شامل Nj فعالیت باشد، بنابراین یک نمونه کروموزوم براي حالت J=2 و N0=N1=3 را میتوان بصورت زیر نمایش داد، که در آن هر بار تکرار شماره j در کروموزوم نشان دهنده انجام یکی از فعالیت هاي آن کار به ترتیب مشخص شده در Nj می باشد. مثلا k امین تکرار کار j نشان دهنده انجام k امین فعالیت j است.
 
<div dir="ltr">
[0, 0, 1, 1, 0, 1]
</div>
 
که طبق این کروموزوم، اولین فعالیت مربوط به کار شماره صفر ابتدا می آید، سپس دومین فعالیت آن انجام می شود، بعد سراغ اولین و دومین فعالیت کار یک می رود و به همین ترتیب ادامه پیدا می کند. این بازنمایی باعث می شود که هر جایگشتی بین ژن ها، منجر به یک زمان بندي معتبر گردد.
 
=== gene ===
در مبحث زمان بندی، ژن را می توان معادل (m,t) دانست. به عنوان مثال کار فوق را در نظر بگیرید :
 
(J=1: (3, 1)  (1, 3)  (2, 6) (4, 7) (6, 3) (5, 6
 
که (1, 3)  یک ژن را تشکیل می دهد. هرکدام از فعالیت ها یک ژن را تشکیل می دهند.
 
=== chromosome ===
معادل انواع مختلف زمان بندی است. به عنوان مثال فرض شود که شش کار داریم :
 
(J=1: (3, 1)  (1, 3)  (2, 6) (4, 9) (6, 3) (5, 6
 
(J=2: (2, 8) (3, 5) (5, 9) (6, 5) (1, 10) (4, 4
 
(J=3: (3, 5) (4, 4) (6, 8) (1, 9) (2, 1) (5, 7
 
(J=4: (2, 5) (1, 5) (3, 5) (4, 3) (5, 8) (6, 7
 
(J=5: (3, 9)  (2, 3)  (5, 5) (6, 4) (1, 2) (4, 1
 
(J=6: (2, 3) (4, 3) (6, 8) (1, 10) (5, 4) (3, 1
 
هر کدام از این شش کار از شش فعالیت تشکیل شده اند. یعنی در اینجا شش کروموزوم وجود دارد،
 
به نام های کروموزوم  1=J تا کروموزوم 6=J.
 
=== population ===
در بحث زمان بندی، برابر است با تعداد حالاتی که کارها و ماشین ها می توانند در کنار یکدیگر قرار
بگیرند. مثلأ اگر سه کار و سه ماشین داشته باشیم، حاصلضرب آنها برابر جمعیت در نظر گرفته می شود.
 
=== crossover ===
بر مبنای نوع خاصی از انواع crossover که وجود دارد که ما آن را معین می کنیم، باعث به وجود آمدن
زمان بندی خاصی می شود. معادل چیدمان خاصی است که زمان بندی خاصی را به وجود می آورد.مثلأ به عنوان
مثال ما اگر دو کار و دو ماشین داشته باشیم زمان بندی ما می تواند به این صورت باشد.
[[پرونده: One-Point_Crossover.png|انگشتی| مثالی از نوعی از زمان بندی]]
 
=== mutation ===
جهشی که بر روی کروموزوم ایجاد می شود باعث می شود که ترتیب انجام فعالیت ها عوض شده و در نهایت
منجر به زمان بندی خاصی می شود. فرض شود که ما دو کار و شش ماشین داشته باشیم، می تواند جهش به
صورتی اتقاق بیفتد که باعث ایجاد زمان بندی خاصی شود.
 
=== selection-method ===
در مبحث زمان بندی، معادل سازنده زمان بندی کارها است که مشخص می کند که کدام فعالیت در کجا و
چه مقدار واحد زمانی تخصیص داده شود.
 
=== fitness-function ===
سازنده زمان بندی از معیاری برای انتخاب فعالیت ها استفاده می کند که این معیار  fitness-function نام دارد.
 
== مجموعه داده و محک ==
برای مسائل JSSP نمونه داده های استانداردی وجود دارد که با حل آنها میتوان الگوریتم های مختلف را با هم دیگر مقایسه کرد.
 
نمونه محک های موجود:
 
* [http://www.eii.uva.es/elena/JSSP/InstancesJSSP.htm Elena Prez]
 
*    [ http://mistic.heig-vd.ch/taillard/problemes.dir/ordonnancement.dir/ordonnancement.html tailord ]
 
== مراجع ==
<references/>

نسخهٔ کنونی تا ‏۱۸ سپتامبر ۲۰۱۴، ساعت ۰۳:۵۷

فعالیت های این کاربر: