دکتر حسن حقیقی
دکتر حسن حقیقی
Dr. Hassan Haghighi
Shahid Beheshti University
اطلاعات فوق آخرین داده هایی است که توسط مجموعه سیویلیکا برای مشخصات ایشان ثبت شده است.
ساختار اجرایی و هیات علمی کنفرانسها، ژورنالها و مجلات تخصصی ایران
دکتر حسن حقیقی
Dr. Hassan Haghighi
Shahid Beheshti University
اطلاعات فوق آخرین داده هایی است که توسط مجموعه سیویلیکا برای مشخصات ایشان ثبت شده است.
لیست مقالات زیر به صورت خودکار بر اساس نام و نام خانوادگی از مجموعه مقالات نمایه شده در پایگاه سیویلیکا استخراج شده است و ممکن است به دلیل تشابه اسمی، دقیق نباشد.
مقالات ژورنالی| ردیف | عنوان مقاله | ژورنال منتشر شده | شماره و دوره |
|---|---|---|---|
| 1 | a bio-inspired self -configuring observer/controller for organic computing systems (دریافت مقاله) | فصلنامه سیستم های اطلاعاتی و مخابرات | دوره: 4، شماره: 3 |
| 2 | ارائه یک معماری مبتنی بر پیشکار برای مستندسازی پویا در سیستم های ERP (دریافت مقاله) | فصلنامه صنایع الکترونیک | دوره: 4، شماره: 3 |
| 3 | Using Static Information of Program s to Partition the Input Domain in Search based Test Data Generation (دریافت مقاله) | فصلنامه سیستم های اطلاعاتی و مخابرات | دوره: 8، شماره: 4 |
| 4 | بهینه سازی هیوریستیکی زمان بازبینی نظارت مداوم چندعاملی با استفاده از توابع وزنی کمترین مسافت (دریافت مقاله) | دوفصلنامه دانش و فناوری هوافضا | دوره: 6، شماره: 2 |
| 5 | طراحی مدل مفهومی سیستم اطلاعات مشترک میان یک شرکت تولیدکننده دارو با یک بیمارستان (دریافت مقاله) | مجله مدیریت اطلاعات سلامت | دوره: 12، شماره: 2 |
| 6 | مدلی برای پشتیبانی از تصمیم گیری در سیستم های خودتطبیق (دریافت مقاله) | فصلنامه صنایع الکترونیک | دوره: 6، شماره: 2 |
| 7 | نظارت مداوم چندفروندی به وسیله الگوهای پیمایشی پایه با هدف کمینه سازی زمان بازبینی (دریافت مقاله) | مجله مهندسی هوانوردی | دوره: 20، شماره: 1 |
| ردیف | عنوان مقاله | عنوان کنفرانس |
|---|---|---|
| 1 | A Refinement Approach for Developing Probabilistic Programs (دریافت مقاله) | چهاردهمین کنفرانس بین المللی سالانه انجمن کامپیوتر ایران |
| 2 | An Approach to Reduce QoS MonitoringOverhead in ESB (دریافت مقاله) | هشتمین کنفرانس بین المللی تجارت الکترونیک با رویکرد بر اعتماد الکترونیکی |
| 3 | ارائه راهکاری برای بررسی سازگاری در مدل خانواده فرآیندهای حرفه (دریافت مقاله) | اولین کنفرانس ملی نوآوری در مهندسی کامپیوتر و فنآوری اطلاعات |
| 4 | ارائه روش کیفی برای ترکیب سرویسهای وب با استفاده ازالگوریتم بهینه سازی جمعی ذرات (دریافت مقاله) | کنگره ملی مهندسی برق، کامپیوتر و فناوری اطلاعات |
| 5 | ارائه روشی برای توصیف و درستی یابی پایگاه داده ها با استفاده از Object-Z (دریافت مقاله) | هفتمین کنفرانس بین المللی فناوری اطلاعات و دانش |
| 6 | ارائه روشی برای صحت سنجی توصیفهای z ازسیستم های همروندبادرنظرگرفتن اعمال غیرقطعی (دریافت مقاله) | اولین همایش ملی رویکردهای نوین در مهندسی کامپیوتر و بازیابی اطلاعات |
| 7 | ارائه رویکردی صوری جهت مدل سازی ئ درستی یابی ویژگی خود سازی در سامانه های نهفته (دریافت مقاله) | هفتمین کنفرانس بین المللی فناوری اطلاعات و دانش |
| 8 | ارائه یک معماری عامل گرا برای تامین اعلان هشدار هوشمند در سیستم های ERP (دریافت مقاله) | شانزدهمین کنفرانس سالانه انجمن کامپیوتر ایران |
| 9 | ارزیابی میزان چابکی متدولوژی XP (دریافت مقاله) | همایش ملی مهندسی رایانه و مدیریت فناوری اطلاعات |
| 10 | الگوریتم چندهسته ای برای کاوش زیرگراف های k-truss (دریافت مقاله) | بیست و دومین کنفرانس ملی سالانه انجمن کامپیوترایران |
| 11 | Formal Development of Two Player Games: A Constructive Approach (دریافت مقاله) | دوازدهمین کنفرانس سالانه انجمن کامپیوتر ایران |
| 12 | Generating Game Map Layouts for Formally Specified Nonlinear Narratives (دریافت مقاله) | هفتمین کنفرانس بین المللی بازی های رایانه ای، فرصت ها و چالش ها |
| 13 | بررسی نحوه بیان گونه های مختلف عدم قطعیت در تئوری انواع مارتین لوف (دریافت مقاله) | دهمین کنفرانس سالانه انجمن کامپیوتر ایران |
| 14 | به سوی توسعه یک مدلسازی صوری از تمامی جنبه های اصلی سیستمهایهمروند (دریافت مقاله) | اولین همایش رویکرد های نوین در مهندسی کامپیوتر و فناوری اطلاعات |
| 15 | تبدیل خودکار یک زبان پرس وجوی شی گرا به یک زبان پرس وجوی رابطه ای (دریافت مقاله) | نهمین کنفرانس سالانه انجمن کامپیوتر ایران |
| 16 | ترکیب بهینه سرویس های وب با استفاده از الگوریتم درهم آمیختن پرش قورباغه ها (دریافت مقاله) | همایش ملی مهندسی رایانه و مدیریت فناوری اطلاعات |
| 17 | توصیف صوری رفتار پویای سیستم های هم روند به کمک یک زبان شبه Z (دریافت مقاله) | پانزدهمین کنفرانس کامپیوتر سالانه انجمن کامپیوتر ایران |
| 18 | تولید داده آزمون ساختاری با استفاده از الگوریتم بهینه سازی غذایابی باکتری (دریافت مقاله) | دومین کنفرانس ملی محاسبات نرم |
| 19 | تولید صوری برنامه های همروند ایمن (دریافت مقاله) | ششمین کنفرانس ملی انجمن علمی فرماندهی و کنترل ایران |
| 20 | راهبردهای بهبودی برای توصیف صوری جهت جلوگیری ازخطاهای سیستم های C4I با دیدگاه تحلیل SWOT (دریافت مقاله) | ششمین کنفرانس ملی انجمن علمی فرماندهی و کنترل ایران |
| 21 | رتبه بندی کارای صفحات وب بااستفاده ازترکیب ویژگیهای مناسب (دریافت مقاله) | پنجمین کنفرانس ملی مهندسی برق و الکترونیک ایران |
| 22 | رهیافتی به مساله عدم قطعیت در تئوری انواع مارتین لوف (دریافت مقاله) | دهمین کنفرانس سالانه انجمن کامپیوتر ایران |
| 23 | رهیافتی نظام مند برای انتخاب نرم افزار برنامه ریزی منابع سازمانی در سازمان های ایرانی (دریافت مقاله) | پانزدهمین کنفرانس کامپیوتر سالانه انجمن کامپیوتر ایران |
| 24 | طراحی مدل آموزش خدمات الکترونیکی شهرداری تهران در راستای نیل به سوی شهروند الکترونیک (دریافت مقاله) | سومین کنفرانس بین المللی مدیریت،حسابداری و اقتصاد دانش بنیان با تاکید بر اقتصاد مقاومتی |
| 25 | طراحی و بهینه سازی خلبان خودکار نشست بکمک روش حداقل مربعات غیر خطی و الگوریتم ژنتیک و مقایسه نتایج برای هواپیمای بویینگ 747 (دریافت مقاله) | هفتمین همایش انجمن هوافضای ایران |
| 26 | طراحی و شناسایی کنترل کننده بهینه عصبی تقرب براساس مدل خمش الاستیک بال (دریافت مقاله) | هفدهمین کنفرانس سالانه مهندسی مکانیک |
| 27 | طراحی و شناسایی کنترلر عصبی بهینه تقرب در حضور مدل و پیشرانش الاستیک (دریافت مقاله) | هشتمین کنفرانس انجمن هوافضای ایران |
| 28 | فرمالیسمی مبتنی برZبرای توصیف سامانههایC4I احتمالاتی (دریافت مقاله) | ششمین کنفرانس ملی انجمن علمی فرماندهی و کنترل ایران |
| 29 | کلاسه بندی فضای جستجو در روش مبتنی بر جستجوی تولید داده آزمون (دریافت مقاله) | بیست و دومین کنفرانس ملی سالانه انجمن کامپیوترایران |
| 30 | مدل بلوغ تعامل پذیری کشور (دریافت مقاله) | سومین همایش ملی پیشرفت های معماری سازمانی |
| 31 | مدل سازی آیروالاستیسیته پیچش و خمش بال به منظور طراحی کنترل کننده فازی بهینه تقرب (دریافت مقاله) | هشتمین کنفرانس انجمن هوافضای ایران |
| 32 | مدل مرجع نرم افزار ایران (دریافت مقاله) | سومین همایش ملی پیشرفت های معماری سازمانی |
| 33 | مدلسازی آیروالاستیسیته پیچش و خمش بال به منظور طراحی کنترل کننده فازی بهینه تقرب (دریافت مقاله) | هفدهمین کنفرانس سالانه مهندسی مکانیک |
| 34 | معرفی یک معماری عامل گرا انعطاف پذیربرای اتوماسیون کارخانه (دریافت مقاله) | اولین همایش تخصصی سیستمهای هوشمند کامپیوتری و کاربردهای آنها |
| 35 | معرفی یک معماری عامل گرا برای تامین یکپارچگی در سیستم های ERP (دریافت مقاله) | ششمین کنفرانس بین المللی مدیریت فناوری اطلاعات و ارتباطات |
کلیه حقوق برای پایگاه فعالان علم و پژوهش ایران محفوظ استsakhtar.com