درمهندسی نرم افزار توصیف و وارسی سیستم های نرم افزاری با استفاده از روش های صوری اهمیت ویژه ای دارد. برای سیستم های دقیق و بلادرنگ یک ضرورت اجتناب ناپذیر است و توصیف و وارسی سیستم های بلادرنگ مبتنی بر مولفه ها از مسایل مهم در مهندسی نرم افزار است با توسعه ای که در مهندسی نرم افزار در توسعه خودکارهای ورودی خروجی داده شده است می توانیم راه حلی برای توصیف و وارسی سیستم های ناهمگن مبتنی بر مولفه ها...

یکی از مهمترین عوامل مرگ و میر در جوامع بشری سکته ی قلبی است که عوامل مختلفی در وقوع آن نقش دارند. لذا نیاز روز افزون برای مقابله با آن احساس می گردد. دو آریتمی تاکی کاردی و فیبریلاسیون بطنی بسیار خطرناک هستند و در صورت وقوع می توانند منجر به صدمات جدی و حتی در مواقعی به دلیل نارسایی خون و اکسیژن به مغز، ایست قلبی و فوت بیمار شوند. تنها عملکرد موثر برای مقابله با این دو آریتمی و جلوگیری از وقوع...

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

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

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

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

هم سلول¬های کامل جنینی و هم نوکلئیک اسیدهای آزاد سلول¬های جنینی(cell-free fetal nucleic acids(cffdna)) در طول دوران آبستنی از جفت عبور می¬کند و در جریان خون مادری در گردش می باشند. در مطالعه اخیر ما یک روش جدید، با استفاده از ژن آمیلوژنین (amelogenin) برای تعیین جنسیت جنین در گوسفند را مورد بررسی قرار دادیم. و با استفاده از تکنیک real time pcr (rt-qpcr) quantitative میزان dna جنینی در جریان خون...

امروزه سازمان‌های بسیاری سامانه‌های مدیریت ارتباط با مشتریان (CRM) را بکار گرفته‌اند، یکی از کاربردهای این سامانه‌ها، مدیریت شکایات مشتریان (م.ش.م.) است. م.ش.م. راهی به منظور دریافت بازخورد از مشتریان است، بنابراین ابزاری در برای برنامه های بهبود کیفیت محصول است. بعد از خرید محصول به توسط مشتریان، آن‌ها اطلاعات خوبی برای عملکرد بلادرنگ محصولات و خدمات سازمان دارند. از این رو در این پژوهش با است...

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

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