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

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

آرشیو مقالات

عنوان مقاله نویسنده(ها) مربوط به کنفرانس چکیده خرید مقاله
سیدمیثم علوی, فاطمه شهرابی فراهانی
بیست و ششمین کنفرانس بین‌المللی انجمن کامپیوتر ایران
در حال حاضر اینترنت اشیاء به عنوان یک موضوع تحقیقاتی مهم برای گسترش اتصال اینترنت به دستگاه‌های فیزیکی در فعالیت‌های روزمره تبدیل شده است. اینترنت اشیاء در زمینه‌های مختلفی نظیر بهداشت و درمان، صنایع خودروسازی، حمل و نقل، کشاورزی، آموزش و پرورش و بسیاری از کاربردهای تجاری نقش بسزایی دارد. یکی از مسائل قابل توجه پژوهشگران در این حوزه، شناخت حوزه‌های پژوهشی فعال و نوظهور در این خصوص جهت پژوهش‌های آتی است. از سوی دیگر در سال‌های اخیر تحلیل شبکه‌های اجتماعی به‌عنوان ابزاری مناسب جهت بررسی روابط حال و آینده بین موجودیت‌های یک ساختار شبکه‌ای، نظر محققین علوم مختلف را برای تحلیل این روابط و ترسیم نقشۀ علمی یک حوزه از علم به خود معطوف کرده است. در این مقاله با بکارگیری روش تحلیل هم رخدادی واژگان و نیز تحلیل شبکه‌های اجتماعی، نقشه و ساختار علمی حوزه اینترنت اشیاء در ایران بر اساس مقالات نمایه شده در پایگاه داده سیویلیکا طی سال‌های ۱۳۸۸ تا ۱۳۹۸ ترسیم شده و روند موضوعی حاکم بر پژوهش‌های حوزه مذکور بررسی شده است. نتایج حاکی از آن است که در مقالات منتشر شده در این حوزه، بیشترین توجه محققین به مفاهیمی همچون امنیت، رایانش ابری، شهر هوشمند معطوف بوده و فناوری بلاک چین در حال تبدیل شدن به موضوعی جذاب در تحقیقات آتی پژوهشگران این حوزه است.
فاطمه شهرابی فراهانی, امیر البدوی, الهام آخوندزاده نوقایی
بیست و ششمین کنفرانس بین‌المللی انجمن کامپیوتر ایران
جهت‌گیری و برنامه‌ریزی برای ارتقای رتبه‌بندی مراکز دانشگاهی نقش مهمی در تصمیم‌گیری دانشگاه‌ها ایفا می‌نماید. در همین راستا و برای بهبود جایگاه دانشگاه و تصمیم‌گیری در مورد اینکه با تمرکز بر چه مواردی بهترین نتیجه در بهبود رتبه ایجاد می‌شود، مطالعه مفاهیم، موضوعات مرتبط و معیارهای رتبه‌بندی ضروری است. مطالعه‌ی پژوهش‌های انجام شده نشان می‌دهد که استفاده از تکنیک‌های داده‌‌کاوی در ارائه و بهبود تصمیمات مدیریتی مراکز آموزشی، ارزیابی عملکرد واحدهای آموزشی، پیشنهاد زمینه‌های تحقیقاتی، پیش‌‌بینی رتبه و کشف قوانین، مسائل ناشناخته، نقاط ضعف و قوت مورد بررسی قرار گرفته‌اند. در این مقاله با به کارگیری داده‌های رتبه‌بند جهانی لایدن، دانشگاه‌های مختلف بر اساس معیارهای این رتبه‌بند با استفاده از خوشه‌بندی، گروه‌بندی و اولویت‌بندی می‌شوند. این پژوهش برای دو مجموعه داده در رتبه‌بندی سال‌های ۲۰۱۹ و ۲۰۲۰ انجام شده است. نتایج این پژوهش نشان می‌دهد که در نهایت برای سال ۲۰۱۹ پنج خوشه و برای سال ۲۰۲۰ شش خوشه به دست آمده است و دانشگاه‌های برتر به علت عملکرد مشابه در یک خوشه و دانشگاه‌های دیگر بر اساس عملکرد در معیارهای متفاوت در خوشه‌های دیگر قرار گرفته‌اند. در نهایت مشاهده شد که دانشگاه‌های هر کشور به علت شباهت عملکردی که دارند عموماً در یک خوشه قرار گرفته‌اند.
عباس حقیقت, رحمان حاجیان, سیدحسین عرفانی
بیست و هفتمین کنفرانس بین الملی انجمن کامپیوتر ایران
زمان رسیدن آتش‌نشانان به محل حادثه یک موضوع مهم در عملکرد سازمان آتش‌نشانی در مقابله با انواع حوادث است. تحقیقات مختلفی در حوزه آتش‌نشانی به‌خصوص در رابطه با زمان رسیدن به محل حادثه صورت گرفته است. با این حال، کاهش میانگین مدت زمان رسیدن به محل حادثه (حتی ثانیه‌ای) دارای اهمیت بالایی است که می‌تواند بسیاری از خسارت‌های مالی و جانی را کاهش دهد. این مطالعه به کمک اطلاعات موجود در سازمان آتش‌نشانی و خدمات ایمنی شهرداری شیراز مربوط به سال‌های 1394 و 1395و با استفاده از الگوریتم‌های داده‌کاوی (رگرسیون) به‌دنبال استخراج دانش برای بررسی نقش عوامل موثر در مدت زمان رسیدن به محل حادثه از جمله نوع خودرو، زمان وقوع حادثه، محل حادثه و روزهای هفته است. نتایج حاکی از آن است که "مسافت" و "ترافیک مسیر" بیشترین تاثیر را در مدت زمان رسیدن به محل حادثه دارند. همچنین نتایج شبیه‌سازی رویکرد پیشنهادی ( با استفاده از منطق فازی) در مدت‌زمان رسیدن به محل حادثه، بهبود 25 درصدی را نسبت به روش فعلی (نزدیک‌ترین همسایه‌ها) نشان می‌دهد.
احسان میری, سید اسمعیل زینالی خسرقی
بیست و هفتمین کنفرانس بین الملی انجمن کامپیوتر ایران
شبکه‌های حسگر بدنی، شبکه‌هایی خاص منظوره هستند که وظیفه‌ی پایش، اعلام و انتقال تغییرات فیزیولوژیکی بدن به کاریر را دارند و به نوعی عنصری کلیدی در سلامت الکترونیکی برای نظارت بر بدن به حساب می‌آیند. شبکه‌های حسگر بدنی بی‌سیم به مانند دیگر شبکه‌ها دارای چالش‌هایی است که مهترین آنها بحث مصرف انرژی گره‌ها و محدود بودن منابع انرژی آنها می‌باشد. صرفه‌جویی در مصرف انرژی برای طولانی‌تر شدن عمر گره‌ها در چنین شبکه‌هایی به یکی از مهمترین ویژگی‌های گره‌های حسگر تبدیل شده است. به منظور تأمین مصرف انرژی معقول و همچنین بهبود طول عمر شبکه‌های حسگر بدنی بی‌سیم، باید برنامه‌های جدید و کارآمدی در زمینه صرفه‌جویی مصرف انرژی ایجاد شود. با مدیریت مصرف انرژی در گره‌ها و استفاده از یک پروتکل مسیریابی مناسب می‌توان طول عمر و دوره ثبات شبکه‌های حسگر بدنی بی‌سیم را بهبود بخشید. در این مقاله با استفاده از ارائه یک پروتکل مسیریابی و تعریف یک تابع هزینه برای انتخاب مناسب گره‌های ارسال کننده، سعی بر بهبود عملکرد شبکه به خصوص در زمینه طول عمر و دوره ثبات شبکه شده است.
فهیمه محمدی, عبدالرسول قاسمی
بیست و هفتمین کنفرانس بین الملی انجمن کامپیوتر ایران
در اين مقاله، با استفاده از مدل بلوک تصادفی و پذیرش مدل قطبی شدن عقاید توسط یادگیری از بازخورد‌های اجتماعی تاثیر انجمن‌ها بر روی فرایند دوقطبی شدن عقاید در جامعه بررسی شده‌است. با توجه به اهمّیت قطبی شدن جامعه و تاثیری که بر روی عملکرد جوامع و تبیین تضادهای قومیتی دارد. با استفاده از مدل بلوک تصادفی نشان داده ‌شده‌است که علاوه بر تاثیر انجمنی بودن شبکه‌های اجتماعی با توجه به افزایش اتاق‌های اکو بر روی قطبی شدن عقاید در جامعه، مساله حائز اهمیت دیگر اندازه این انجمن‌هاست. افزایش تعداد انجمن‌ها همیشه احتمال دو‎قطبی را افزایش نمی‌دهد بلکه از یک آستانه‌ای به بعد با افزایش تعداد انجمن‌ها و کاهش اندازه آن احتمال دوقطبی شدن عقاید در جامعه کاهش می‌یابد قدرت انجمن‌های کوچک برای تبدیل جامعه به دوقطبی کافی نبوده و شکاف بین انجمن‌های بزرگ و تبدیل آن‌ها به انجمن‌های کوچکتر امکان کاهش احتمال دوقطبی را به همراه دارد.
مهرنوش نوبخت, رضا جاویدان, علیرضا پورابراهیمی
بیست و هفتمین کنفرانس بین الملی انجمن کامپیوتر ایران
با افزایش نفوذ نرم‌افزارهای مخرب به دستگاه‌های هوشمند، تشخیص بدافزار به یکی از چالش‌های مهم در حوزه امنیت اینترنت اشیا تبدیل شده است. تا کنون روش‌های متعددی در این زمینه ارائه شده که در این میان، روش‌های مبتنی بر الگوریتم‌های یادگیری عمیق بدلیل توانایی استخراج خودکار بازنمایی‌های پیچیده از داده‌ها، از عملکرد مناسب‌تری برخوردارند. از آنجایی که هایپرپارامترها نقش مهمی در موفقیت شبکه عصبی عمیق دارند، تنظیم و بهینه‌سازی آن‌ها از اهمیت ویژه‌ای برخوردار است. از این رو در این پژوهش، پیکربندی‌های مختلف از یک طبقه‌بند مبتنی بر شبکه عصبی کانولوشنی یک بعدی (1D-CNN) طراحی شده و پس از بهینه‌سازی هایپرپارامترها، از آن جهت تشخیص جریان‌های مخرب شبکه استفاده شده است. شبکه عصبی کانولوشنی یک بعدی کمک می‌کند تا طبقه‌بند سبک وزن با حداقل تعداد لایه‌ها را داشته باشیم. جهت آموزش طبقه‌بند CNN پیشنهادی، از مجموعه داده UNSW-NB15 استفاده شده است. یافته‌ها نشان می‌دهد که مدل ارائه شده در مقایسه با مدل‌های مشابه از دقت قابل قبول و بالاتری (99.97 %) برخوردار است.
زهرا امیدی
بیست و هشتمین کنفرانس بین المللی انجمن کامپیوتر ایران
مسأله بازشناسی رشته ارقام دست‌نویس به دليل اهميت کاربرد آن طی سال‌های اخیر به یک موضوع تحقیقاتی جذاب در حوزه تحقیقات دانشگاهی و صنعت تبدیل شده‌ است. این مسأله را می‌توان حالت محدود‌تر مسأله بازشناسی متن دست‌نوشته دانست چرا که ليست واژگان آن تنها محدود به ارقام است. با این حال این مسأله چالش‌های متفاوتی نسبت به بازشناسی متن دست ‌نوشته دارد. در این مسأله معمولا بکارگيری مدل زبانی به منظور بهبود دقت بازشناسی چندان موثر و کارا نيست. در این مقاله، یک مدل انتها-به-انتها که تماماً مبتنی بر لایه‌های پیچشی است برای حل این مسأله پیشنهاد داده شده است. همچنین در این مدل پیشنهادی از معماری لایه پیچشی دروازه‌ای بهره برده‌ایم. برای ارزیابی مدل پیشنهادی، به لحاظ منصفانه بودن مقایسه نتایج ما با نتایج ارائه شده توسط پژوهش‌های پیشین، از مجموعه دادگان‌ ORAND CAR_A و ORAND CAR_B و معیارهای ارزیابی که در مسابقه ICFHR 2014 معرفی‌ شده‌اند، استفاده کرده‌ایم. است. دقت نتایج حاصل از اجرای مدل پیشنهادی بر روی دادگان‌های ORAND CAR_A و ORAND CAR_B به ترتیب برابر 94.53% و 94.94% است.
محمدمهدی عباس‌نژاد, محمدرضا عباس‌نژاد
بیست و هشتمین کنفرانس بین المللی انجمن کامپیوتر ایران
امروزه کیفیت و اطمینان‌پذیری برنامه‌های کاربردی وب به دلیل استفاده گسترده آنها توسط کاربران باید از جنبه‌های گوناگونی مانند امنیتی و کارکردی مورد ارزیابی و آزمون قرار بگیرد. استخراج رفتار برنامه‌های کاربردی وب در ارزیابی کیفیت آنها بسیار مهم است. استخراج رفتار به صورت دستی دشوار و هزینه‌بر است. همچنین روش‌های خودکار برای استخراج رفتار به دلیل بزرگ بودن فضای حالت برنامه‌های کاربردی وب و زمان محدود قادر به پوشش کامل رفتار آنها نیستند. بنابراین روش‌های خودکار برای استخراج رفتار برنامه‌های کاربردی وب با چالش پوشش مناسب کارکردهای این برنامه‌ها در فضای حالت بسیار بزرگ آنها و در زمان محدود روبرو هستند. این پژوهش یک روش بر پایه یادگیری تقویتی برای استخراج رفتار برنامه‌های کاربردی وب ارائه می‌دهد. به بیانی دیگر روش پیشنهادی بر پایه یادگیری تقویتی به تعامل با برنامه کاربردی وب می‌پردازد. در این تعامل، رفتار برنامه کاربردی وب به تدریج، استخراج و کارکردهای آن پوشش داده می‌شود. اثربخشی روش پیشنهادی بر روی چندین برنامه کاربردی وب مورد بررسی قرار گرفته است. نتایج ارزیابی نشان می‌دهد که روش پیشنهادی در استخراج رفتار برنامه‌های کاربردی وب موفق است و به پوشش بیشتری از کارکردهای برنامه‌های کاربردی وب در استخراج رفتار آنها می‌رسد.
مهدی نخعی کهن, حمید بهنام
سمپوزیوم هوش مصنوعی و پردازش سیگنال
ندا قادر
شانزدهمین کنفرانس ملی سالانه انجمن کامپیوتر ایران ‫
با پيشرفت تکنولوژي، طراحي و ساخت مدارهاي بسيار مجتمع در ابعاد نانو با چالش‏هاي زيادي روبه‏رو شده است. بررسي پارامتر تحمل‏پذيري در برابر اشکال‏هاي زماني، گامي موثر در طراحي مدارات قابل اطمينان و با بازده بالا در تکنولوژي نانو مي‏باشد. اين مقاله چگونگي تاثير تغييرات زماني را ، بر روي مدارات ناهمگام شبه غير حساس به تاخير(QDI) مبتني بر الگو، بررسي مي کند. در اين مقاله دو الگوي شناخته شده که بطور گسترده اي در طراحي مدارات ناهمگام مبتني بر الگو کاربرد دارند، در نظر گرفته شده و تحمل‏پذيري و قابليت پايداري اين دو الگو در برابر تغييرات زماني مورد بررسي قرار گرفته است. ساختارهاي متعددي از اين الگوها در زبان توصيف سخت افزار پياده سازي شده اند. شبيه سازي گسترده مونت کارلو، انتخاب يکي از اين الگوها را به عنوان مدار تحمل‏پذيرتر تحت تغييرات زياد زماني پيشنهاد مي‏دهد. به عبارت ديگر، هنگام طراحي مدارات ناهمگام QDI در ابعاد نانو، مي‏توان با توجه به مطالعات انجام گرفته، بين کارآيی مدار و پايداري آن در برابر تغييرپذيری زماني موازنه مناسبي برقرار نمود.
زهرا حیدری‌فر
شانزدهمین کنفرانس ملی سالانه انجمن کامپیوتر ایران ‫
در رويکردهاي حاشيه‌نويسي موجود اغلب از ويژگي‌ مبتني بر نواحي تصوير استفاده مي‌شود. اين نواحي معمولاً به صورت مستطيل‌هاي يکسان و يا اشکال شئ مانندي هستند، که با کمک الگوريتم‌هاي قطعه بندي توليد مي‌شوند. قطعه‏بندي تصوير فرايندي پرهزينه و زمانبر است. بعلاوه، نتايج الگوريتم‌هاي قطعه‌بندي موجود با خطاي بسيار همراه است و تاثيرات مخربي بر کارايي حاشيه‌نويسي دارد. از سوي ديگر، نواحي مستطيلي به تنهايي انتخاب مناسبي براي کار حاشيه‌نويسي تصوير نيستند، زيرا در مقابل تبديلات و تغييرات متداول روي تصوير مقاوم نمي‌باشند. در اين مقاله، يک رويکرد حاشيه‌نويسي مبتني بر اطلاعات برجستگي‌هاي تصوير پيشنهاد شده است. نواحي برجسته تصوير در مقابل تغييرات متداول روي تصوير مقاومند و استخراج آنها هزينه‌بر و همراباخطا نيست. در رويکرد پيشنهاد شده اطلاعات بلوک‌ها و نواحي برجسته تصوير ترکيب شده است. آزمايشات نشان مي‌دهند، که رويکرد پيشنهادي از دقت و کارايي خوبي در حاشيه‌نويسي تصوير برخوردار است.
کمال میرزایی, مهدی نقيان فشاركی
شانزدهمین کنفرانس ملی سالانه انجمن کامپیوتر ایران ‫
امروزه، در بيشتر موارد انجام آزمايش‌ها در جوامع انساني كاري غيرعملي و يا غيراخلاقي است و مواردي همچون صحنه‌نبرد، آزمايش مدل‌ها،تئوري‌ها و سناريوهاي ارائه‌شده، مستلزم هزينه‌هاي جاني و مالي زيادي خواهد بود. از اينرو توسعه محيط‌هاي شبيه‌سازي، رويكرد رايج براي بررسي سناريوهاي مختلف است. شبيه‌سازي، به پژوهشگران امكان‌مي‌دهد تا مدل‌ها و تئوري‌هاي خود را با پارامترهاي مختلف و از زواياي متفاوت، بررسي و ارزيابي‌كنند. رويكرد شبيه‌سازي نرم‌افزاري، جايگزين مناسب و در برخي موارد، تنها راه ممكن براي بررسي سناريوها در صحنه‌نبرد است. در اين رويكرد، صحنه نبرد در قالب يك سيستم چندعاملي شبيه‌سازي و بررسي‌مي‌شود كه نرم‌افزارهاي اين حوزه را شبيه‌ساز عامل‌پايه(ABD) مي‌نامند. در اين مقاله، معماري براي شبيه‌ساز صحنه نبرد مبتني بر سه مفهوم اصلي عامل، شبكه و فرايند شناختي طراحي‌شده‌است. اين سه مفهوم منطبق بر چارچوب مفهومي كاپرا است كه براساس رويكردهاي نوين شناختي ارائه‌شده‌است. معماري پيشنهادي به صورت يك نرم‌افزار شبيه‌ساز با استفاده از زبانMATLAB، پياده‌سازي‌شده و قابليت‌هاي تشخيص استراتژي با توجه به پراكندگي عامل‌ها در صحنه نبرد و رفتار انطباقي عامل‌ها در حركت، توسط اين نرم‌افزار مورد بررسي و ارزيابي قرار‌گرفته‌است. نتايج اين شبيه‌سازي، مي‌تواند پيش از اعمال استراتژي‌ها در دنياي واقعي، مورداستفاده‌قرارگيرد.
مریم ده‌باشیان, سیدحمید ظهیری
شانزدهمین کنفرانس ملی سالانه انجمن کامپیوتر ایران ‫
در اين مقاله، روش جديدي در بهينه¬سازي چند هدفه مبتني بر الگوريتم جستجوي گرانشي به نام الگوريتم جستجوي گرانشي چند هدفه (MOGSA) ارائه مي¬شود. روش MOGSA از «بهينگي پَرِتو» براي شناسايي موقعيت¬هاي «غير غالب» و از يک «مخزنِ بيروني» براي نگهداري اين موقعيت¬ها استفاده مي¬کند. براي اطمينان از صحت عملکرد روش ارائه شده در مواجه با مسائل بهينه¬سازي چند هدفه، آن را بوسيله چندين تابع استاندارد معتبر مورد آزمايش قرار مي¬دهيم. نتايج نهايي نشان از رقابت تنگاتنگ روش پيشنهادي با ديگر الگوريتم¬هاي بهينه¬سازي چند هدفه رايج دارد، از اينرو مي¬توان ادعا کرد روش MOGSA بستر جديدي از تحقيقات را فرا روي محققين قرار داده است.
حبیب خدادادی, سعید راحتی قوچانی, اعظم استاجی
شانزدهمین کنفرانس ملی سالانه انجمن کامپیوتر ایران ‫
شناسايي رابطه تقابل در گفتمان به توانائي توليد و درک گفتمان کمک مي¬کند و در سيستم¬هاي متعددي مانند خلاصه¬ساز، تفسير و... کاربرد دارد. اين رابطه در يک گفتمان مي¬تواند به کمک نقش¬نماهاي خاص رابطه تقابل مانند "اما" و "ولي" شناسايي شود؛ اما در بعضي موارد اين نقش¬نماها حذف مي¬شوند و شناسايي رابطه را با مشکل مواجه مي¬کنند. به همين علت به منظور شناسايي اين رابطه، از ويژگي¬هاي زمان فعل¬ها، جفت کلمات، وجود يا عدم وجود شناسه¬هاي اعداد در دو قسمت متني اطراف نقش¬نما، فعل¬ها و کلمات منفي در يک طرف نقش¬نما و در طرف ديگر و عبارات دو و سه کلمه¬اي پرکاربرد در رابطه تقابل، استفاده شد. در اين مقاله پس از گردآوري 5000 نمونه رابطه تقابل و 5000 نمونه ساير روابط از مجموعه داده پژوهشکده هوشمند علائم، براي هر نمونه بردار ويژگي تشکيل داده شد. و در نهايت براي دسته-بندي و تشخيص رابطه تقابل از ماشين بردار پشتيبان (SVM) استفاده شد. ميزان صحت دسته¬بند 84.95 در بهترين حالت است.
طاهر ره‌گوی, رضا منصفی
شانزدهمین کنفرانس ملی سالانه انجمن کامپیوتر ایران ‫
دو الگوريتم اکتشافي براي حفظ حريم خصوصی در کاوش سودمندي
سعید پارسا, سمیه عربی نرئی
شانزدهمین کنفرانس ملی سالانه انجمن کامپیوتر ایران ‫
هدف از این مقاله ارائه روشی برای تشخیص خودکار خطاهای موجود در سیستم‌های نرم‌افزاری با حداکثر دقت ممکن و حداقل نیاز به بررسی دستی کد برنامه است. راه کارهایی که تاکنون برای رسیدن به این هدف، ارائه شده‌اند سعی دارند با مقایسه اطلاعات زمان اجرای برنامهها در اجراهای موفق و ناموفق و در نقاط خاصی از برنامه که تعیینکننده نام دارند، نقاط مظنون به خطا را به برنامه نویس معرفی کنند. اما مشکل اصلی این است که تحلیل اطلاعات زمان اجرا در نقاط تعیینکننده بدون در نظر گرفتن وابستگیهای موجود بین تعیینکنندهها، منجر به عدم توانایی این روشها در کشف برخی از انواع خطاها خواهد شد. برای رفع این مشکلات در این مقاله راه کاری نوین بر مبنای تحلیل رفتارهای زمان اجرای برنامه ها در قالب مسیرهای اجرایی و با در نظر گرفتن تعاملات بین تعیینکنندهها، ارائه شدهاست. بدین منظور از یک روش تحلیل خوشهبندی به منظور تشخیص نزدیکترین اجراهای موفق و ناموفق جهت تعیین محل خطا، استفاده شدهاست. ارزیابی راهکار پیشنهادی بر روی مجموعهای از برنامه های واقعی، موفقیت روش پیشنهادی را در کشف دقیقتر خطاها نسبت به روش‌های پیشین نشان میدهد.
سیدمرتضی بابامیر, مهدی برهانی دهکردی, امیر اسماعیلی
شانزدهمین کنفرانس ملی سالانه انجمن کامپیوتر ایران ‫
راستی¬آزمایی نرم¬افزارهای زمان¬واقعی با دو مسئله مواجه است: (1) چگونه قوانین راستی¬آزمایی تولید کنیم و (2) چگونه آنها را برای راستی-آزمایی توصیف مسئله به کار ببریم. ما در این مقاله روشی را ارائه می¬دهیم تا به وسیله آن به حل این دو مسئله برای سیستم¬هایی که با ماشین حالت زماندار توصیف می¬شوند، بپردازیم. در قدم اول، گزاره¬های منطقی زمان واقعی را از توصیف¬ مسئله به دست می¬آوریم. در قدم دوم، قیود ایمنی را از گراف حالات ماشین حالت زماندار توصیف مسئله به دست می¬آوریم و در قدم سوم این قیود را به گزاره¬های منطقی زمان واقعی تبدیل می¬کنیم. این گزاره¬ها که قیود ایمنی را نشان می¬دهند برای راستی¬آزمایی گزاره¬های حاصل از توصیف که در قدم اول به دست آمده¬اند، به کار گرفته می¬شوند. برای نشان¬دادن عملی¬بودن روش¬مان، مسئله سیستم زمان¬واقعی تقاطع جاده و راه¬آهن را مطرح می¬کنیم و روش¬مان را برای آن به کار می¬بریم.
رضا منصفی
شانزدهمین کنفرانس ملی سالانه انجمن کامپیوتر ایران ‫
در اين مقاله برای زمان‌بندي بار محاسباتي تقسيم‌پذير با درنظرگرفتن توأم بازگشت نتايج و محدودیت حافظه، یک مدل ریاضی و حل آن، ارائه شده است. يكي از اهداف زمان‌بندي در اين‌گونه سيستم‌ها، كمينه‌سازي زمان كل پاسخ است. تاكنون الگوريتمی معين با پيچيدگي زماني چند جمله‌اي كه بتواند در تمام حالت‌ها جواب بهينه را توليد كند، براي این منظور ارائه نشده است. اين مساله مانند مسائل تركيباتي، پيچيده به نظر مي‌رسد و راه حل‌هاي موجود برای آن، راه حل‌هاي ابتكاري است. در اين مقاله، مدل پیشنهادی با استفاده از روش توابع پرکننده و انشعاب و تحدید، حل شده است. با انجام شبيه‌سازي و مقايسه نتايج مشاهده مي‌شود كه این راه حل‌ها‌، در مقایسه با ساير روش‌هاي موجود جواب‌هاي بهتري توليد مي‌كنند. در ميان روش‌هاي موجود، الگوريتم‌ پيشنهادي از ميانگين كل درصد خطاي نسبي كمتري برخوردار است.
محمدرضا ولی زاده, منصور ذوالقدری جهرمی
نهمین کنفرانس سالانه انجمن کامپیوتر ایران
حدیث محسنی تکلو, آرش طبیبی آذر
نهمین کنفرانس سالانه انجمن کامپیوتر ایران
1 121 122 123 124 125 126 127 143