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

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

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

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

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

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

دانش واژ هشناسي يا شناخت ريشة زباني واژگان موجود در يک زبان کاربردهايي بسيار در دان شهاي گوناگون از علوم انساني ، مانند زبان شناسي، تاريخ، باستا نشناسي و هنر تا دستهبندي متن، مانند ترجمه، تعيين نويسنده و خلاصهسازي متن و نيز پردازش صوت در گويش درست هر واژه دارد. هدف اين مقاله تعيين ريشة زباني واژگان فارسي و عربي موجود در زبان فارسي بهکمک شبکة عص بي مصنو عي پرسپترون چندلايه (پيشخور با پسانتشار) است. ورودي شبکه مقادير کمي استخراج شده از ترتيب حروف الفبا بوده و نتايج آزمايشها نشان ميدهد که دقت درستي روش پيشنهادي در بهترين حالت بيش از ۹۲ % است.

يكي از مفاهيمي كه در دهه اخير به گونه اي بسيار گسترده در جوامع پيشرفته مورد بررسي قرار گرفته و حتي در بعضي مواقع با موفقيت به اجرا در آمده، مفهوم دولت الكترونيك است . هدف اصلي از پيدايش دولت الكترونيك، بسترسازى مناسب جهت دسترسي هر چه بهتر و بيشتر شهروندان به اطلاعات و خدمات دولتى، اصلاح كيفيت خدمات و ارائه فرصت هاى بيشتر براى مشاركت در فرايندها و نمادهاى مردم سالار اس ت. از اي ن رو تلاش بر اي نظارت بر وضعيت خدمات در دولت الكترونيك، از اهميت بالايي برخوردار مي باشد. در اين مقال ه، سيستم خودكاري براي ارزيابي دولت الكترونيك ايران، معرفي مي شود. ارزيابي هاي اين سيستم بر روي حدود يازده هزار سايت رجيستر شده در دامنه IR و در برگيرنده تمام سازما نهاي دولتي، وزارتخانه ها، شرك تها و دانشگا هها و بالغ بر حدود دو ميليون صفحه، انجام شده است. هدف از اين سيستم، استخراج شاخ ص هاي مختلف علمي براي ارزيابي دولت الكترونيك از قبيل توزيع محتواي سايت ها (علمي، خبري، دولتي، تجاري و وبلا گ)، حجم محتواي فارسي، سروي س هاي ارائه شده، درصد كدينگ هاي مختلف فارسي و غيره م ي باشد. از اين آمار مي توان جهت هدفمند نمودن برنامه هاي آتي در خصوص دولت الكترونيك، استفاده كرد.

در این مقاله، دو روش غیرخطی Kernel PCA و Kernel FDA جهت استخراج ویژگی ها در یک سیستم بازشناسی چهره مورد بررسی قرار گرفته و کارایی این دو روش با یکدیگر و با روش همبستگی و دو روش خطی PCA و FLDA مقایسه می شود . جهت مشاهده نتایج از دو مجموعه داد ة استاندارد YALE و AT&T استفاده شده است و روي هر مجموعه داده ، دو استراتژي متفاوت جهت آزمایش به کار رفته اس ت: یکی استراتژي آزمایش تصادفی و دیگري استراتژي همه به جز یکی . همچنین روش نزدیکترین همسایه جهت طبقه بندي چهره استفاده می شود.

جهت پايين آوردن تعداد دسترسي به حافظه، در بسياري از برنامه هاي ذخيره و بازيابي اطلاعات، استفاده از توابع دره مساز روش رايجي ميباشد. استفاده از توابع درهم سازخطي، درجه دوم و دوگانه جهت توليد آدرسهاي متوالي به ازاي يك كليد، جهت درهمسازي و رفع برخوردهاي احتمالي نيز پركاربرد است . روش جديد دامنه محدود كه توليد جايگشت كاملي از آدرسهاي غير تكراري را براي يك كليد تضمين مينمايد و شرط اول بودن تعداد فضاي مورد نياز را برطرف ساخته است، در سال ۲۰۰۵ معرفي شده است. در اين مقاله، عملكرد تابع قديمي دره مساز خطي، تابع رايج درهم ساز درجه دوم و روش جديد درهم سازي دامنه محدود در ذخيره و بازياب ي ۶۴۶۸۱۶ كلمه موجود در قرآن كريم و كتب تفاسير مورد بررس ي قرار گرفته اس ت. مقايسه ميان اين روشها بر اساس معيارهاي موجود در بازيابي اطلاعات، ميزان پراكندگي و ميزان متوسط دسترسي به حافظه، انجام شد.

سیستمهاي خوشه اي در اصل ، معماري جدید ي براي ساختن سایت هاي وب عمومی هستند. زیرا در مواقعی که تعداد دسترسی ها به سایت وب بصورت نمایی زیا د می شود، سرویسهاي ارائه شده بوسیله سایت وب را بطور قابل توجهاي توسعه می دهند. سیستم ها ي وب مبنی بر خوشه (خوشه وب ) از چندین سرویس دهنده وب و یک سوئیچ وب که درخواس تهاي کاربران را در ب ین گره ها ي سرویسدهنده توزیع می کند، تشکیل شده اس ت . اما براي بدست آوردن کارایی خوب از سیست مهاي مبنی بر خوشه، بدست آوردن توازن بار و دسترسی کم به دیسک مورد نیاز است . که در این مقاله ما بروي بدست آوردن توازن بار متمرکز شده ایم، و یک سیاست توزیع کننده بار جدید ب ه نام سیاست کنترل ازدحام آگاه از مشتري (CC_CAP) پیشنهاد کردهایم، براي سوئیچ و بی که در لایه 7 پشته پروتکل OSI عمل می کند. هدف از این سیاست جدید افزایش به اشتراك گذاري بار (توازن بار) در خوشه هاي وب میباشد، تا خوشههاي وب بتوانند چندین سرویس همزمان شامل سرویسهاي استاتیک و دینا میک را تهیه نمایند. اما نتایج شبیه سازي نشان داده که الگوریتم جدید میتواند بار سیستم خوشه وب را بطور موثري متوازن کند، و بطور قابل توجهاي کارایی سیستم را بهبود دهد، مخصوصا زمانیکه خوشه وب ناهمگن باشد و محتواي سایت وب دینامیک باشد.

در اين مقاله الگوريتم جديد Simulated Annealing Weighted A* كه شكل كامل شدة الگوريتم مشهور A* جواب بهينه را پيدا خواهد كرد . پيدا كردن جواب بهينه براي مسائلي نظير ۲۴ پازل و حالاتي از ۱۶ هانوي توسط روش A* ممكن نيست. در روش ممكن نيست. در روش WA* با ارائة يك تابع Inadmissible يك جواب زيربهينه ١ پيدا خواهد شد. WA* يك جواب زيربهينه را با كاهش تعداد گرههاي ٢ كمتر و در زمان سريعتر پيدا خواهد كرد. ايدة اصلي اين مقاله يك الگوريتم بر پاية روش Annealing مي باشد كه مقدار تابع Heuristic به تدريج از حالت Admissible به Inadmissible ميل خواهد كرد. اين روند باعث ميگردد تا SAWA* جواب بهتر با توليد گرههاي كمتر را پيدا كند.

در جمع چند عملون دي و ضرب کننده ها که تعداد عمليات جمع زياد است مسئله انتشار رقم نقلي مشکل ساز بوده و در پرداز شهاي سريع مقدار تاخير آن چش مگير م يباشد. در چنين وسايلي با استفاده از کمپرسورها عملوندها را فشرده نموده و بعد از رسيدن به دو عملوند جمع با انتشار رقم نقلي را انجام مي دهند. در اين مقاله به منظور استفاده از وس ايل قابل پيکربندي مجدد – که امروزه در د نياي کامپيوتر بسيار مطرح م ي باشن د- ي ک جم عکننده در مد ولتاژ ارائه م يگردد که برخلاف جمع کنند ههاي متعارف انتشار رقم نقلي از جهت ارقام بزرگ تر به سمت ارقام کوچک تر مي باشد. الگوريتم ارائه شده در مقا يسه با س اير رو ش هاي غيرالگوريتمي برر سي شده دارا ي تا خير کمت ري م ي باش د. همچنين در مقايسه با جمع کننده هاي متعارف در جمع نهايي از سادگي بيشتري برخوردار است.

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

بينايي ماشين يکي از بسترهاي پژوهشي وسيع و رو به شکوفاي عرص ه ي علوم کامپيوتر است که از بررسي دقيق يک عکس واحد تا پردازش جرياني از تصاوير ويدئويي را در بر م يگيرد. بينايي بلادرنگ از مسائل چالش برانگيزي است که براي روبا ت هايي که خواستار تعامل با محيط اطراف خود هستند اهميت ويژ ه اي پيدا کرد هاست. اين مقاله به بررسي مراحل پردازش تصاوير ويدئويي دريافت شده از دوربين يک روبات متحرک به منظ ور تشخيص نوع و مکان اشياي موجود در محيط اطراف آن م يپرداز د. کيفيت پايين عک س ها، قدرت محاسباتي پايين روبات و بلادرنگ بودن تصميمات، سه نکت ه اي هستند که علي رغم وجود پژوه ش ه اي گوناگون انجام شده در زم ين هي پردازش تص وير، نياز به رو ش هاي خاصِ بينايي سريع و ک مهزينه را پررنگ م يکن د. در اين مقاله الگوريتم هاي مورد نياز هر مرحله، از هنگام دريافت عکس تا استخراج داده هاي مطلوب روبات از محيط، به تفکيک بررسي شد هاند.بينايي ماشين يکي از بسترهاي پژوهشي وسيع و رو به شکوفاي عرص ه ي علوم کامپيوتر است که از بررسي دقيق يک عکس واحد تا پردازش جرياني از تصاوير ويدئويي را در بر م يگيرد. بينايي بلادرنگ از مسائل چالش برانگيزي است که براي روبا ت هايي که خواستار تعامل با محيط اطراف خود هستند اهميت ويژ ه اي پيدا کرد هاست. اين مقاله به بررسي مراحل پردازش تصاوير ويدئويي دريافت شده از دوربين يک روبات متحرک به منظ ور تشخيص نوع و مکان اشياي موجود در محيط اطراف آن م يپرداز د. کيفيت پايين عک س ها، قدرت محاسباتي پايين روبات و بلادرنگ بودن تصميمات، سه نکت ه اي هستند که علي رغم وجود پژوه ش ه اي گوناگون انجام شده در زم ين هي پردازش تص وير، نياز به رو ش هاي خاصِ بينايي سريع و ک مهزينه را پررنگ م يکن د. در اين مقاله الگوريتم هاي مورد نياز هر مرحله، از هنگام دريافت عکس تا استخراج داده هاي مطلوب روبات از محيط، به تفکيک بررسي شد هاند. الگوريتم هاي ارائه شده همگي بر روي تيمي از روبات هاي چهارپاي Aibo به منظور انجام مسابقه ي فوتبال پياده سازي شد ه اند و نتايج حاصل ارائه شده است.

This paper introduces a fault-tolerant asynchronous RISC microprocessor, called FTARM, which combines several error detection mechanisms to increase the fault coverage. The FTARM is implemented using the verilog. To evaluate the FTARM, different workloads were run on its implementation using the Verilog HDL. The evaluation is based on some thing about 2000 different transient and permanent single stuck-at-faults. The results show that more than 98% faults were detected. The Verilog model of FTARM is synthesized, where about 25% area overhead was observed.

This paper presents a survey as well as a new sweep-circle algorithm, on plane sweep algorithms for computing the Delaunay triangulation. The algorithms examined are: Fortune’s sweep-line algorithm, Zalik’s sweep-line algorithm, and a sweep-circle algorithm proposed by Adam, Kauffmann, Schmitt, and Spehner. We test implementations of these algorithms on a number of uniform and none-uniform distributed sites. We also analyze the major high-level primitives that algorithms use and do an experimental analysis of how often implementations of these algorithms perform each operation.

Learning capabilities of an agent relies on the way that agent perceives the environment. When the agent’s sensations convey only partial information about the environment, there may be different situations that appear identical to the agent but require different actions to behave optimally. In this paper, we propose a new approach to improve XCS’s performance in Partially Observable Markov Decision Process (POMDP) using a newly introduced method to detect aliased states in the current environment. In our approach, at the initial state, there exists only a single main XCS which handles all of the environmental states. When an existing aliased state is detected using a simple mechanism, the system creates a new XCS, in addition to the main XCS which we call Cooperative XCS. The new XCS is responsible for handling this detected state. This mechanism allows the main XCS to handle non-aliased states and the other XCS’s cooperate with it by handling existing aliased states independently. Thus, the system is called Cooperative Specialized XCS and its performance is compared with some other classifier systems in some benchmark problems. The presented results demonstrate the effectiveness of our proposed approach.

Considerable speed of process engineering improvement and the consequent impact on workflow management systems has brought up a new wave of researches in reconsidering current solutions for workflow systems and proposing more brilliant ideas for such type of software systems. Agent technology as a semi-matured methodology of software design, has introduced itself as a promising approach in building complex software systems. In this paper we presented a simple ready for use agent architecture which can be deployed in many types of workflow automations.

Conventional software validation methods for real-time and reactive programs are not fully reliable. Considering complexity of formal verification and incompleteness of testing approaches, runtime verification approach is used. In this paper, Safety properties (after extracting from program requirement specification) are represented in Real-Time Logic (RTL) and fault tolerant module reaction are added to the program. Program monitoring module (which is realized by Functional, Timing and Deadline Aspects) is weaved to the program code. The enriched program executes in the environment. The monitoring module verifies program behavior by considering the specified safety properties and when any violence of a property is detected, then the specified reaction (Fault Tolerance) activates and navigates the program to a safe state.