انجمن کامپیوتر ایران

يکي از مهمترين مسائل در حوزه هاي مديريت پروژه و مسائل بهينه سازي، زمانبندي سيستم هاي توليد کارگاهي انعطاف پذير (FJSP) مي باشد. در اين مقاله ما زمانبندي سيستم هاي توليد کارگاهي انعطاف پذيررا با هدف مينيمم نمودن ماکزيمم زمان اتمام کارها (Cmax) مورد بررسي قرار خواهيم داد. اين مساله يک مساله NP-Hard محسوب مي گردد. دراين تحقيق يک الگوريتم ايمني مصنوعي بر پايه نگرش سلسله مراتبي براي حل مساله پيشنهاد شده است که در آن براي نمايش آنتي بادي ها از نمايشRandom Key استفاده مي گردد. به منظور نشان دادن کارايي الگوريتم پيشنهادي چندين نمونه از داده هاي موجود در اين مساله مورد استفاده قرار گرفته است. نتايج آزمايشات انجام شده نشان مي دهد که اين الگوريتم توانايي دستيابي به نقاط بهينه را براي داده هاي مختلف دارا است.

زنجيره¬هاي مارکوف زمان پيوسته¬ (CTMCs) براي تحليل کارايي سيستم¬هاي کامپيوتري و ارتباطي مورد استفاده قرار مي‌گيرند. با محاسبه احتمالات حالت پايدار CTMC، بسياري از معیارهای مفيد کارايي به دست می¬آیند. اما مدل¬هاي CTMC براي سيستم¬هاي واقعي بسيار بزرگ بوده و حل آنها زمان¬گیر بوده و از مشکل انفجار فضاي حالت رنج مي¬برند. در اين مقاله يک راه¬حل موازي براي حل حالت پايدار مدل¬های CTMC ارائه مي¬دهيم. در این راه حل مشکل انفجار فضاي حالت را با استفاده از موازي¬سازي روش¬هاي ضمني تخفيف داده‌ايم. زيرا اين روش¬ها قادرند يک نمايش فشرده از CTMC ساختاريافته بزرگ ارائه دهند. آنگاه با استفاده از ترکيب روش¬هاي مستقيم وتکراري حل دستگاه معادلات خطي، يک فن حل حالت پايدار موازي براي CTMC ارائه نموده‌ايم. جزئیات راه حل پیشنهادی و الگوریتم¬های مربوطه در این مقاله ارائه شده است.

يکي از مشکلات بررسي مدل¬ها، توليد فضاي حالت است. به دليل بزرگ بودن فضاي حالت معمولاً مشکل انفجار حالت پيش مي‌آيد. يکي از راهکارهاي حل اين مشکل، استفاده از نمودار تصميم دودويي است. در اين روش، فضاي حالت مدل به جاي نگهداري مجموعه¬اي، به صورت نمادين نگهداري مي‌شود. نگهداري فضاي حالت به صورت نمادين، ذخيره و پردازش فضاي حالت را به ذخيره و پردازش گراف¬ها کاهش مي‌دهد که از هزينه نگهداري و پردازش مجموعه¬ها به مراتب کمتر است. در اين مقاله الگوريتمي براي توليد فضاي حالت نمادين از توصيف سيستم‏هاي تصادفي گسسته رخداد بدست آمده از يک مدل ارائه شده است. استفاده از توصيف سيستم‏هاي تصادفي گسسته رخداد که يک توصيف صوري چندگانه است، اين امکان را مي‌دهد که روش¬هاي صوري سيستم¬هاي تصادفي گسسته رخداد ديگر مثل شبکه¬هاي پتري تصادفي يا شبکه¬هاي فعاليت تصادفي و غيره را به روش صوري SDES تبديل و فضاي حالت نمادين براي آنها توليد کرد. با استفاده از توليد نمادين فضاي حالت با کمک نمودار تصميم¬گيري دودويي مرتب کاهش¬يافته، فضاي حالت بسيار بزرگتري را مي¬توان توليد کرد. در نتيجه با استفاده از اين روش، مي‌توان مشکل انفجار حالت را تخفيف داد.

الگوریتم رمز PRESENT توسط A.Bogdanov و همکاران در سال 2005 به عنوان الگوریتم رمز قطعه¬ای سبک وزن مطرح شد. در این مقاله با استفاده از الگوریتم جمعیت مورچگان بهترین مشخصه تفاضلی برای r دور (5 ≤ r ≤12) از الگوریتم رمز PRESENT بدست آمده است. یافتن بهترین مشخصه مطابق با بدست آوردن کوتاهترین مسیر در گراف عملکرد تفاضلی الگوریتم رمز PRESENT می‌باشد. با اعمال الگوریتم جمعیت مورچگان کم وزن ترین مسیر در گراف بدست می¬آید که معادل بهترین مشخصه در تحلیل تفاضلی می¬باشد. با این روش دیگر ملزم به استفاده از جستجوی کلی برای یافتن بهترین مشخصه نمی¬باشیم و پیچیدگی زمانی و حافظه¬ای بهتری حاصل می¬شود.

اگر رايانه‌اي کوانتومي در اختيار بود، پيچيده‌ترين روش‌هاي رمزنگاري کنوني، در کسري از ثانيه رمزگشايي مي‌شدند که دليل اين امر را بايد در پردازشِ فوق‌العاده سريعِ پردازنده‌هاي کوانتومي جستجو کرد. طراحي‌هايي که تاکنون توسط متخصصان به منظور ساخت اين رايانه‌ها صورت گرفته، به‌صورت دستي و بدون کمک ابزارهاي خودکارِ طراحي بوده است. در اين مقاله، الگوريتم حريصانه- خطي براي توليد خودکارِ چينش مدارهاي کوانتومي در فناوري تله يوني، ارائه مي‌شود. هدف از ارائه اين الگوريتم، کاهش مساحت و هم‌چنين کاهش تأخير اجراي مدار، با کمک ايجاد کوتاه‌ترين مسير بين تله‌هاي يوني مي‌باشد. نتايج تجربيِ حاصل از پياده‌سازي نشان مي‌دهد که اين الگوريتم تأثير قابل ملاحظه‌اي در کاهش مساحت و تأخير مدار دارد.

مولد اعداد تصادفی، عموماً مقادیری با توزیع چگالی یکنواخت تولید می‌کنند. در برخی موارد مانند شبیه سازی مونت کارلو، مقادیری با توزیع چگالی نمایی و ویبول لازم است. یکی از روش های تولید مقادیر تصادفی غیریکنواخت، افزودن یک سخت‌افزار اضافی به مولد اعداد تصادفی یکنواخت می‌باشد. در این مقاله، سه ساختار جهت تولید مقادیر با توزیع نمایی، مورد مطالعه و مقایسه قرار گرفته‌اند. این ساختارها براساس سه الگوریتم COERDIC ، Interpolation وpiecewise کار می‌کنند. در این بررسی از تراشه‌های FPGA برای مقایسه سرعت، سربار سخت افزاری و دقت تولید اعداد استفاده شده است.نتایج آزمایشات نشان داده است که روش piecewise دارای بیشترین سرعت می‌باشد در حالیکه دقت روش‌های مبتنی بر چندجمله ای و جدول (به دلیل خطای فرمول محاسباتی‌شان) کمتر از روش CORDIC است. از نطر حجم سخت‌افزاری، این نتیجه بدست آمده استکه برای داده‌های با طول کوچکتر، piecewise در مجموع روش مناسبی بوده، در حالیکه برای داده های با طول بزرگتر، CORDIC کارایی بهتری دارد.

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