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

برای عضویت کلیک کنید

آرشیو مقالات

عنوان مقاله نویسنده(ها) مربوط به کنفرانس چکیده خرید مقاله
Mohsen Afsharchi, Behrouz Homayoun Far
یازدهمین کنفرانس بین‌المللی سالانه انجمن کامپیوتر ایران
سید علیرضا متولیان, محمد رضا میبدی
یازدهمین کنفرانس بین‌المللی سالانه انجمن کامپیوتر ایران
پیمان ادیبی, رضا صفابخش
یازدهمین کنفرانس بین‌المللی سالانه انجمن کامپیوتر ایران
یوسف صیفی کاویان, مجید نادری
یازدهمین کنفرانس بین‌المللی سالانه انجمن کامپیوتر ایران
کامیار کنعانی
یازدهمین کنفرانس بین‌المللی سالانه انجمن کامپیوتر ایران
وحید نوری, مهدی نقیان فشارکی
یازدهمین کنفرانس بین‌المللی سالانه انجمن کامپیوتر ایران
محمدرضا کنگاوری, بابک فخار
دوازدهمین کنفرانس بین‌المللی سالانه انجمن کامپیوتر ایران
هدف از این مقاله ارائه یک الگوریتم برای داده‌كاوی است. این الگوریتم Ant-Miner (داده‌كاوی براساس کلونی مورچه ها) نام دارد. هدف ازAnt-Miner استخراج قواعد طبقه‌بندی از پایگاه‌ داده‌ها است. Ant-Miner از ترکیب مفاهیم کلونی مورچه‌ها و اصول داده‌كاوی حاصل شده است. تحقیقات اخیر نشان داده است كه الگوریتم‌های بهینه سازی به روش کلونی مورچه‌ها بطور موفقیت آمیزی در حل مسائل بهینه‌سازی تركیبی قابل استفاده هستند. هدف ما در این مقاله ارزیابی وتحلیل نسخه‌های مختلفAnt-Miner و بررسی نحوه طراحی و تولید نسخه‌های جدید ازAnt-Miner است که نسبت به نسخه‌های قبل از عملكرد بهتری برخوردار است. ما Ant-Miner ارائه شده را با نسخه قبل بر روی دو مجموعه داده مقایسه کرده‌ایم، نتیجه این مقایسه نشان می‌دهد که دقت قواعد كشف شده در نسخه جدید بیشتر از دقت قواعد تولید شده در نسخه قدیم است.
سعید پارسا, حمید سعدی, حمید محمدی
دوازدهمین کنفرانس بین‌المللی سالانه انجمن کامپیوتر ایران
انگیزه گرید محاسباتی، مجتمع کردن منابع توزیع شده ناهمگون جهت حل مسائل پیچیده علمی، صنعتی و تجاری است. جهت رسیدن به این هدف یک سیستم زمان‌بندی کارآمد به عنوان یک بخش حیاتی برای گرید لازم است. متاسفانه پویایی و ناهمگونی منابع گرید باعث پیچیدگی زمان‌بندی وظایف می‌شوند. بعلاوه با معرفی مدل اقتصادی گرید، علاوه بر زمان اتمام کار، هزینه اجرای کار نیز به نگرانی‌های کاربران اضافه شد. اکثر سیستم‌های زمان‌بندی موجود در محیط گرید، زمان اتمام و هزینه اجرای کارها را به صورت مجزا بهینه می‌کنند. در این مقاله یک سیستم زمان‌بندی ارائه شده که به کاربر اجازه می‌دهد اهمیت زمان اتمام و اهمیت هزینه اجرای کارهایش را به صورت "وزن زمان" و "وزن هزینه" مشخص کند. بر اساس این دو وزن یک تابع هدف وزن‌دار و دو متغیره برای زمان‌بند ارائه شده است. زمان‌بند پیشنهادی از الگوریتم SA) Simulated annealing ) برای بهینه‌سازی انتصاب وظایف به منابع بهره گرفته است. در استفاده ازSA زمان و هزینه به همراه وزنشان در نظر گرفته شده‌اند. ما نشان دادیم زمان‌بند SA ، زمان‌بندی بهینه‌تری ایجاد می‌کند.
حمید مراقی, مسعود صبائی
دوازدهمین کنفرانس بین‌المللی سالانه انجمن کامپیوتر ایران
این مقاله به بررسی موضوع قیمت‌گذاری و ارتباط آن با مسیریابی می‌پردازد. در این مقاله ایده ترکیب عملیا ت قیمت‌گذاری و مسیریابی برای اولین بار مطرح شده است و براساس آن پروتکلی ارائه شده است که علاوه بر مسیریابی قیمت‌گذاری را نیز برعهده دارد. در این پروتکل از BGP برای مسیریابی استفاده شده است و آن را به گونه‌ای اصلاح نموده‌ایم که ضمن عملکرد قبلی خود قادر به تبادل اطلاعات قیمت‌گذاری نیز باشد. این تغییرات به نحوی اعمال شده است که در روند BGP خللی وارد نشود و پروتکل تغییر یافته با ویژگی قیمت‌گذاری بتواند در کنار پروتکل اصلیBGP به کار خود ادامه دهد، این امر باعث می‌شود بتوان پروتکل جدید را به مرور جانشین پروتکلBGP نمود. برای قیمت‌گذاری نیز از مدل فروشگاه استفاده شده است. پروتکل حاصل باعث می‌شود تا سربار قیمت‌گذاری کاهش یافته و زمان به روز شدن قیمت‌ها با تغییر بار پیوندها کمتر شود.
مازیار پالهنگ, پیروز شمسی نژاد بابکی
دوازدهمین کنفرانس بین‌المللی سالانه انجمن کامپیوتر ایران
با توجه به اهمیت آزمون در مدارهای منطقی تا کنون روش‌های زیادی برای تولید یک تجربه آزمون با حداکثر پوشش خرابی ارائه شده است. در این مقاله یک روش جدید برای تولید الگوی آزمون مدارهای منطقی ترکیبی ارائه می‌شود که مبتنی بر شبیه‌سازی خرابی می‌باشد. روش جدید از یک الگوریتم ژنتیک برای یافتن بردارهای آزمون با قدرت تشخیص خرابی بالا استفاده می‌کند. سپس با استفاده از یک روش جدید دیگر از میان بردارهای آزمون حاصل از مرحله قبل یک تجربه آزمون را استخراج می‌کند. برتری این روش بر روش تولید تجربه تصادفی دستیابی به تضمین بالایی از صحت کار مدار و نسبت به روش‌های حساس‌سازی مسیر مانند الگوریتم D مرتبه پایین‌تر الگوریتم آن می‌باشد. روش ارائه شده بر روی چندین مدار اعمال شده است و مقایسه نتایج با روش تولید تصادفی تجربه‌های آزمون در مقاله آورده شده است.
امير حسين ابوالمعصومي, محمدتقي حميدي بهشتي
دوازدهمین کنفرانس بین‌المللی سالانه انجمن کامپیوتر ایران
كنترل ازدحام در شبكه هاي كامپيوتري مبتني بر TCP امروزه از اهميت بالايي برخوردار مي باشد و با ورود مهند سي كنترل به اين حيطه زمينه مساعدي براي بهبود عملكرد اي ن شبكه ها فراهم شده است . مديريت فعال صف (AQM) به عنوان يك كلاس از دورانداختن يا علامت گذاري بسته ها در صف مسيرياب ها راه حلي در كنترل ازدحام انتها به انتها در شبكه هاي TCP به شمارمي رود. در اين مقاله بوسيله مد ل رياضي جريان سيال TCP-Westwood و ساده سازي و تخمين پارامتر نسبت بازشدگي پنجره سعي بر اين است ك ه ديناميك هاي مختلف مسأله ازدحام جداسازي شده و با كمك پارامترهاي كنتر لگر PI كه قبلا در مورد TCP-Reno به دست آمده اند كنترلگر PI براي TCP-Westwood تنظيم شود . در پايا ن درستي نتايج به كمك نرم افزار شبيه ساز شبكه ( 2(NS بررسي شده و نشان داده شده است كه الگوريتم كنترلي ارائه شده عملكرد بهتري نسبت به الگوريتم قديمي تر RED به منظور تنظيم طول صف دارد.
مهدي امينيان, محمد كاظم اكبري, بهمن جوادي
دوازدهمین کنفرانس بین‌المللی سالانه انجمن کامپیوتر ایران
اجراي برنام ه هاي موازي MPI بر روي سيستمهاي كلاستر و گري د معمولاً در معرض خطر خرابي سيستم و يا شبكه مي باشد. لذا استفاده از پياد هسازيهاي تحمل پذير در برابر خرابي در اين گونه سيستمها امري اجتناب ناپذير اس ت. دو دسته از روشها براي تحم لپذير ساختن اين گونه سيستمها به كار مي رود كه يكي مبتني بر checkpoint گرفتن از حالت پروسه هاي در حال اجرا و ديگري مبتني بر ثبت وقايع مي باشد.عيب روش ثبت بدبينان ه وقاي ع مبتني بر فرستنده كه در دسته دوم قرار م يگيرد حجم زياد پيامهايي است كه بايد در حافظه فرار نگ هداري شوند. در اين مقاله ما براي رفع مشكل ذكر شده روش checkpoint هماهنگ از محتوي پيامها (CCMP) را ارائه كرد هايم. نتايج آزمايشات دلالت بر كاهش زمان اجر ا در روش پيشنهاد ي براي برنام ه هاي سنجش NPB در محيطهاي بدون خرابي و داراي خرابي دارد.
میترا نصري نصرآبادي, محمدحسین احمدزاده, محمد عبداللهی ازگمی
دوازدهمین کنفرانس بین‌المللی سالانه انجمن کامپیوتر ایران
در این مقال ه مدلی براي شبی ه سازي تجارت الکترونیک به منظور یافتن راه ح ل هایی بهینه در فرایند تصمی م گیري عامل ه اي نرم افزاري براي انجام بهترین خرید اینترنتی، ارائه می شود. این مدل، ترکیبی از الگوریتم هاي موجود در مکانیسم بازار و قواعد رفتاري-روان شناختی است که به صورت توزیعی و در یک سیستم چند عامله پیاده سازي می شوند. از آن جمله می توان به ظهور ایده فاکتور اضطراب د ر کنار فاکتور توان براي فروشندگان و خریداران اشاره نمو د. پس از ارائه نتایج پیاده سازي نر م افزاري محیط شبیه سازي، تحلیل هایی براي پیش بینی سود عامل ها در فرایند مذاکره ذکر می شود. در نهایت، به منظور بیشینه سازي سود مشتریان در بازارهاي مختلفی چون بازار رقابتی، حراجی و گیج، پیشنهادهایی جهت تنظیم پارامترهاي اولیه آنها ارائه می شود.
شهلا طباطبايي, مهرنوش شمس فرد
دوازدهمین کنفرانس بین‌المللی سالانه انجمن کامپیوتر ایران
مدل CREAGENE يک مدل خلاق چند عام لي هوشمند چند منظوره است که با بررسي سيستمهای خلاق انسا ني در دامنهه اي مختلف شناخ تي، مهندسي، م ديريت، هنر و کشف علم ي طرا حي شد ه اس ت. در واقع اين مدل قاب ليت حل خلاق مسائل، توليد و تفسير ش ک لها يا عبارتها را دارا است . در مدل پيشنهادي CREAGENE ،امل هوشمند، پيشپردازنده، توليدکننده، کشف- کننده، پردازند ه دامنه،تحليل و آزم ايشکننده و پ سپردازنده وجود دارند، که با کمک يک حاف ظة کاري و دو کتابخانه براي محصول-هاي خلاق و محصول هاي عا دي به فعا ليت مشغولن د. در ابتدا دانش ورو دي از دامنه هاي مختلف، درعامل پيشپردازنده بازنمايي مِی شود و به صورت ساختارهاي پيش ابدا عي او ليه (ساختارهاي مجر د) در مي آيد. اين ساختارها پس از پردازشهاي مناسب در عامل های تو ليدکننده و کش فکننده, به صورت ساختارها ي پيش ابدا عي در مي آيند و به پردازن دة دامنه مي روند و در آنجا به ساختارها ي خاص در دامنه مورد نظر تب ديل م يگردند. پس از آ ن تح ليل و آزم ايش اين ساختارها، براي معيارهاي نو و جديد بودن و همينطور با ارزش بودن انجام م ي پذيرد. در صورت ت أييد خلاقي ت هر ساختا ر, آن ساختار به عنوان محصول خلاق به محيط عرضه م يگردد و در کتابخانه محصو لهاي خلاق نگهدا ري مي شود و در غ ير اينصورت، در کتابخانه محصولهاي عادي ذخيره مي شود. در اي ن مقاله ۳ مثال کاربردی براي نشان دادن قابليتهاي اين مدل ارائه گرديده است.
سهيل توده فلاح, سعيد پارسا
دوازدهمین کنفرانس بین‌المللی سالانه انجمن کامپیوتر ایران
فراخوانيهاي غير همزمان با هدف افزايش همروندي سهم بسزايي در تسريع برنام ه هاي توزيعي دارن د. مسلما" انتظار براي دريافت مقادير بازگشتي از اين نوع فراخوانيها تاث ير منفي در ايجاد همروندي دار د. مي توان با قرار دادن جملاتي که به هر نحوي به نتايج حاصل از فراخواني غير همزمان وابسته اند، در ريسمانهاي انتظار، اين تاثير منفي را به حداقل ممکن تقليل داده، ترتيب بهينه اجرا براي اي جاد حداکثر همروندي را موجب ش د. براي اين منظور در اين مقاله با ار ايه يک ساختار نوي ن، الگويي براي پياد ه سازي فراخواني هاي غيرهمزمان ارايه شده تا کارايي بهتري را براي سيستمهاي درخواس ت کننده سرويس يا فراخوان يکننده مت دهاي راه دور فراهم آور د. استقلال از ميان افزار نکته حايز اهميت ديگري در فراخوانيهاي غير همزمان است که با استفاده از يک طرح لايه اي در الگوي پيشنهاد يِ م ا، اين مشکل از ميان برداشته شده است . ارزياب يهاي انجام شده در اين مقاله گواه بر مطرح شدن الگوي پيشنهادي به عنوان يک استاندارد براي فراخوانيهاي غير همگام راه دور است.
مهدي سعيدي, مهدي دهقان
دوازدهمین کنفرانس بین‌المللی سالانه انجمن کامپیوتر ایران
در بسياري از كاربردهاي بلادرنگ و بحراني نظير آنچه در سيستم هاي ماهوار ه اي اجرا م ي شود، قابليت اطمينان، مصرف توان و مدت زمان اجرا جزء مهمترين پ ارامترها بشما ر رفته و بايد در فاز طراحي به دقت در نظر گرفته شوند . به هرحال معمولاً اين پارامترها به تنهايي مور د توجه قرار م ي گيرند در حالي كه آنها بر يكديگر تأثيرگذار هستند. در اين مقاله به بررسي تأثير ميزان تحمل پذيري خطا مبتني بر روش واقعه نگاري بر روي پ ارامترهاي مصرف توان و زمان اجرا پرداخته شده است . ب ه اين منظور، تأثير روش معمولي واقعه نگاري نامتغير با زمان بر ميزان مصرف توان و زمان اجرا بررسي شده است. سپس يك روش واقعه نگاري متغير با زمان كه در آن مصرف توان و قابليت اطمينان به صورت همزمان مور د توجه قرا ر م ي گيرند، پيشنهاد شده اس ت. بعلاوه تأثير هر يك از اين دو روش بر ميزان پاسخگويي به پيامهاي دريافتي نيز ارزيابي شده اس ت. نتايج آزمايشات نشان مي دهد كه روش واقعه نگاري متغير با زمان نسبت به روش قبلي، در برخورد همزمان با مصرف توان، زمان اجرا و تحمل پذيري خطا كارآمدتر عمل م يكند.
ايوب بني اسديپور, رضا آقايي زاده ظروفي, يوشي نوبو ساتو, تاکاشي نيشي
دوازدهمین کنفرانس بین‌المللی سالانه انجمن کامپیوتر ایران
با توجه به ايفاي نقش حرکت و تحمل وزن بدن توسط مفصل لگن، لزوم بررسي و پردازش دقيق تصاوير پزشکي مربوطه از جمله بخش بندي استخوانها و غضروفهاي ت شکيل دهنده مفصل لگن مطرح ميگردد. دستگاه تصوير برداري براي آناليز غضروفهاي مفصل لگن معمولا تشديد مغناطيسي (MRI) اس ت. از طر في به علت رو ي هم بودن غضروفها در مفصل لگن، براي جداسازي آنها نياز به کشش (Traction) طولاني مدت پاي بيمار اس ت. بنابراين در اين مقاله از تصاوير س يتياسکن حاوي ماده حاجب تزريق شده در مفصل لگ ن افراد استفاده شده است .حال با توجه به خواص آناتوميکي موجود، ميتوان از مرکز قسمت کروي استخوان فمور به عنوان نقطه شروع پردازش استفاده نمود. پس روشي تمام اتوماتيک و با دقت بالا بر مبناي افزايش رنج پويايي و کنتراست تصوير همچنين استفاده از تبدي ل هاف (Hough) براي تخمين مرکز سر استخوان فمور ارائه گرديده است و دقت آن در تصاوير حاوي ماده حاجب و يا با کنتراست پايين همچنين تصاوير حاوي نويز حفظ ميگردد.روش پيشنهادي روي بيست مجموعه داده (Data set)از تصاوير سيتياسکن حاوي ماده حاجب اعمال شد و در همه موارد مرکز سر استخوان فمور با دقت بالا استخراج گرديد.
مهدي سلمانی جلودار, مصطفی زالی, محمد مقیمی نجف آبادي
دوازدهمین کنفرانس بین‌المللی سالانه انجمن کامپیوتر ایران
مساله زمان بندي وظایف در یک سامانه ي چندپردازنده به صورت نسبت دادن مجموعه اي از وظایف به تعدادي پردازنده تعریف می شود.این وظایف باید به گونه اي به پردازند هها نسبت داده شوند که زمان اجراي نهایی کمینه شده و مجموع هاي از معیارها رعایت شوند. مجموعه گستردهاي از راهحلهاي دقیق و ابتکاري 4 براي حل این مساله بهینه سازي مطرح شده است . مشکل اصلی راه حل هاي قبلی عد م'کارایی براي فضاي حال تهاي بزرگ و یا عدم تضمین دستیابی به راه حل بهینه است . در این مقاله، راه حلی نوین، مبتنی بر ترکیب روش الگوریتم ژنتیک و یادگیري تقویت ی 5 براي حل این مساله ارائه می شود. در این روش ابتدا مساله اولیه زمانبندي با استفاده از الگوریتم ژنتیک به چند زیر مساله شکسته شده و با استفاده از روش یادگیري تقویتی تلاش م یشود راه حلی بهینه براي هر یک از زیر مساله ها یافته شو د. جواب نهایی مساله به صورت مجموعه اي از زوج مرتب هاي وظایف و پردازنده ها ارائه خواهد شد . نتایج حاصل از شبیهسازي و ارزیابی سیستم بر روي موارد آزمایشی استاندارد نشان میدهد که این روش براي حل مساله ذکر شده به خوبی سایر روشها عمل کرده و از سرعت اجراي بالاتري برخوردار است.
زهره كريمي, مهرنوش شمس فرد
دوازدهمین کنفرانس بین‌المللی سالانه انجمن کامپیوتر ایران
فرآيند فشرد هسازي يك منبع به صورتي كه حاص ل حاوي اطلاعات مهم آن باشد را خلاصه سازي گويند. با توجه به گسترش روزافزون حجم اطلاعات رق مي، نياز به خلاصه سازي متون بيش از پيش مطرح ميشود. خلاصههاي رق مي بسته به پارامترها ي مختل في بر اي نوع ورودي، خرو جي و هدف به انواع متفاو تي دستهبندي ميشوند. در اين مقاله پس از معرفي اجمالي خلاصهسازي، انواع آن و نمونهه ايي از سيستمهاي خلاصهساز، به تشريح روشي ترکيبي جهت خلاصهسازي خودکار متون فارسي ميپردازيم. در اين روش جملههاي خلاصه از ميان مه مترين جم لههاي متن ورو دي انتخاب ميشوند, کل روش به صورت نحوي/معنايي عمل ميکند و ترکيب ي از دو روش زنجير هي لغوي و خلاص هسازي مبت ني بر گراف است كه از پنج معيار ميزان شباهت جملات با يکديگر، شباهت جملات با كلمات كليد ي كاربر، شباهت جملات با عنوان ، تعداد جملات مشابه هر جمله و وجود کلمات اشاره در جمله براي امتيازدهي به جملات استفاده نموده و جملات با بيشترين امتياز را به عنوان خروجي سيستم انتخاب م يكند. سيستم پياد هسازي شده براساس اين روش با خلاصههاي مرجعي که بهصورت دستي تهيه شدهاند، مورد مقايسه قرار گرفته و نتايج اين ارزيابي در انتهاي مقاله آورده شده است.
Reza Basseda, Azin Moallem, Tannaz Alinaghi, Fattaneh Taghiyare
دوازدهمین کنفرانس بین‌المللی سالانه انجمن کامپیوتر ایران
Several methodologies with their own characteristics have been proposed in the area of agent-oriented software engineering. Consequently, deciding which methodology to select in a specific case is an important issue and it can lead to decrease software development cost and effort. Thus, importance of evaluation of methodologies will be highlighted in choosing the appropriate methodology in the development process of an application. It can also help in developing new methodologies and improving existing ones. In this paper, we are going to provide an evaluation framework of agent oriented methodologies. To demonstrate the usage of the suggested framework, it is applied to evaluate two methodologies (MESSAGE and Prometheus) using a proper example. Results show that, using our method, methodologies can be truly compared and evaluated.
1 69 70 71 72 73 74 75 143