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

معادلات گیبس-اپل یکی از اصولی است که از آن در حل دینامیک ربات ها بسیار کم استفاده شده است. لذا در این مقاله یک روش سیستماتیک جدید برای استخراج معادلات حرکت ربات با n لینک صلب که دارای مفاصل دورانی-کشویی می باشند، با استفاده از این فرمولاسیون ارائه می گردد. در تمامی محاسبات صورت گرفته تنها از ماتریس های 3×3 و یا بردارهای 1×3 استفاده شده است. همچنین تمام عبارات دینامیکی یک بازو در سیستم مختصات مر...

تجزیه و تحلیل سیستم های پیچیدة خدماتی با درنظرگرفتن الگوهای تصادفی آن ها به کمک روش های مدل سازی ریاضی بسیار پیچیده یا احتمالاً ناممکن است؛ بنابراین مشاهده می شود راهکارهای بهبود بیشتر متکی بر استفاده از تجربیات خبرگان فن و تحلیل های توصیفی است. در مقالة حاضر، با بهره گیری از رویکرد شبیه سازی کامپیوتری گسسته- پیشامد، نظام دادرسی کیفری در دادگاهی برگزیده در کشورمان تجزیه و تحلیل کمّی شد و در آن با...

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

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

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

یک کد متعامد نوری ‏‎l,(v,k, a, c)‎‏ خانواده ای از دنباله های صفر و یک به طول ‏‎v‎‏ و وزن ‏‎k‎‏ است که دارای خواص همبستیگ زیر الف) ‏‎ v-1 .1=0. x1x1+i a‎‏ برای تمام مقادیر ‏‎x=(x0, x1,...,xv-1)‎‏ عضو ‏‎l‎‏ و کلیه اعداد صحیح غیر صفر ‏‎0<i<v‎‏ ب) ‏‎v-1 t=0 x1y1‎‏ برای تمام مقادیر x=(x0, x1,...,xv-1) و ‏‎y=(y0, y1,...,yv-1)‎‏ عضو ‏‎(x y)l‎‏ و کلیه مقادیر صحیح باشند، به طوری که زیرنویس ها در هنگ‏‎‎‏...

زمینه و هدف: شناسایی عوامل خطر عود بیماری هم برای پزشک و هم بیمار بسیار مهم است. تجزیه و تحلیل اولین بازگشت بیماری، ممکن است منجر به ارزیابی نادرستی از اثرات عوامل خطر شود چرا که سابقه بیماری را به طور کامل منعکس نمی کند و لذا ممکن است منجر به از دست رفتن برخی از اطلاعات با ارزش شود. این مطالعه با هدف تحلیل زمان تا بازگشت مجدد بیماری اسکیزوفرنیا در بیماران اسکیزوفرن و تعیین عوامل مؤثر در عود مک...

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