درستی یابی صوری سیستم های شی ء بنیاد توسط جبر پردازه ای

یک روش صوری برای توصیف و درستی یابی ترکیبی سیستم های نرم افزاری مبتنی بر مولفه ها

بررسی روش های تجرید مدل های ربکا به منظور درستی یابی صوری

تولید خودکار محرک های ورودی در درستی یابی عملکردی سیستم های دیجیتال

توصیف و درستی یابی سیستم های بلادرنگ با خودکارهای زمان دار

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

توصیف و درستی یابی سیستم های نرم افزاری حساس به ایمنی با استفاده از نمودار حالت

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

شبیه سازی موضع یابی سمتی چشمه صدا توسط آشکارسازهای انطباقی در سیستم شنوایی پرندگان

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

«یادداشت تحقیقاتی» روندیابی هیدرولوژیکی سیل به روش ماسکینگام خطی در سیستم رودخانه های چند شاخه ای با بهینه یابی توسط الگوریتم ژنتیک

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