نتایج جستجو برای: با اتوماتون متناهی نمایش پذیر
تعداد نتایج: 671397 فیلتر نتایج به سال:
دو زیرگروه x و y از گروه g را جایگشت پذیر شرطی در g گوییم. در صورتی که g?g وجود داشته باشد به طوری که x با yg جا به جا شود، یعنی xyg یک زیرگروه gباشد. با استفاده از این خاصیت جایگشت پذیری، شرایط جدیدی بدست می آید برای اینکه حاصل ضرب گروه های ابرحلپذیر متناهی، ابرحلپذیر شود. همچنین رفتار به طور باقیمانده ای ابرحلپذیر در حاصل ضرب متناهی گروه ها مطالعه می شود.
روشهای مختلفی برای زمانسنجی امواج مشابه و با تحریک یکسان ارایه شده است که توجه به شرایط موج میتوان بهترین گزینه را انتخاب کرد. لذا هدف ما یافتن روش زمانسنجی جهت خروجی از حسگر UFSD زیرا میخواستیم این حسگرها آشکارسازی پروتونها در سیستم پروتون درمانی برای درمان تومورهای سرطانی استفاده کنیم. راستا مقایسه مختلف مثل تفکیککننده کسر ثابت (CFD)، همبستگی متقابل(CC) زمان بیش آستانه (TOT)با داد...
فرض کنیم r حلقه ای یکدار و شرکت پذیر باشد. یک r-مدول m را دیو (دیو ضعیف) می نامیم هرگاه هر زیرمدول (جمعوند مستقیم) از m کاملاً پایا باشد. یک r-مدول m را نیم-درون ساده می نامیم هرگاه فاقد زیرمدول اساسی کاملا ًپایا باشد. ابتدا نشان می دهیم در یک دامنه تعویض پذیر با میدان کسرهای k، یک r-مدول یکنواخت فارغ از تاب یک مدول دیو است اگر و تنها اگر هر عنصر k در k، به طوری که km مشمول در m باشد، متعلق به r ...
رنگ آمیزی برداری متعامد گراف ها چکیده فرض کنید f یک میدان ، s ، a ، b و c زیرمجموعه هایی از f ، d یک عدد صحیح مثبت و تابع f (x , y) یک فرم دوخطی ناتبهگون روی باشد ، یک نمایش برداری از گراف ساده g با رأس های , … , عبارت است از لیست بردارهای , … , متعلق به به طوری که بردار به رأس تخصیص داده شود ، مولفه های هر بردار در s قرار گیرد ، برای هر i و j ،a f ( , ) ، اگر با در g مجاور باشد ، آن گاهb f (...
مطالعه فیزیکی معادلات آب کم عمق یکی از مسائل مطرح در دینامیک شاره های ژئوفیزیکی است. در این کار به بررسی عملکرد روش فشرده ترکیبی مرتبه ششم برای حل عددی معادلات آب کم عمق یک بُعدی پرداخته می شود. برای مقایسه حل عددی با سایر روش های تفاضل متناهی، معادلات آب کم عمق یک بعدی به سه روش حل شده و نتایج حاصل برای یک آزمون موردی مقایسه می شود. در این حل عددی، برای انتگرال گیری بخش زمانی معادلات از روش رون...
در پژوهش حاضر، فراوانی و شاخصهای تنوع گونهای مگسهای خانواده Tachinidae هفت منطقه از استان مازندران سال 1390، بر اساس نمونهبرداریهای مستمر منظم با استفاده تله مالیز ارزیابی شد. مجموع تعداد 280 نمونه 48 گونه، 38 جنس چهار زیرخانواده این استان جمعآوری شناسایی شدند. گونههای زیرخانوادهTachininae بیشترین را مناطق مورد مطالعه داشته پس آن Phasiinae قرار دارد. زیرخانوادههای Exoristinae 16 گونه ...
در این مقاله تحلیل رگرسیونی با متغیر پاسخ دارای توزیع پواسون دومتغیره آمیخته با رهیافت بیزی مورد بررسی قرار گرفته است. نشان داده شده است که به دلیل شکل پیچیده تابع درستنمایی مبتنی بر توزیع پواسون دومتغیره، توزیع پسین فاقد شکل بسته بوده و پیچیده است. از این رو، توزیعهای پسین شرطی کامل پارامترها محاسبه و الگوریتم گیبز برای نمونهگیری از توزیع پسین ارائه شده است. بهمنظور ارزیابی مدل بیزی پیشنهاد...
توسعه سیستمهای نرمافزاری پیچیده خواهان مدلهایی است که ارزیابی نیازهای غیروظیفهمندی سیستمها را در فرایند توسعه به ویژه در مراحل اولیه انجام دهد. ارزیابی معماری به روشهای مختلفی انجام میگیرد، از این رو نیاز به یک روشی برای ادغام نیازهای غیروظیفهمندی میباشد. مقاله حاضر، الگوی طراحی MVC را در قالب چارچوبی مبتنی بر زبان نشانه گذاری توسعه پذیر برای ارزیابی نیاز غیروظیفهمندی کارایی نمایش می...
فرض کنیم x یک فضای باناخ و k یک فضای هاسدورف فشرده است. در این پایان نامه به معرفی اندازه های طیفی، شبکه های باناخ، نمایشهای پیوسته c(k) و r-کرانداری می پردازیم. هدف یافتن شرایطی است که تحت آن بتوان نمایش ?:c(k)?l(x) را به صورت انتگرال نسبت به یک اندازه ی طیفی منظم نوشت.به این منظور نخست یک شرط لازم و کافی برای وجود اندازه ی طیفی متناظر با ? ارائه می دهیم و سپس نشان می دهیم r-کرانداری نمایش ?...
به گروه متناهی g یک گراف ساده به گراف اول وابسته می شود که آن را با ?(g) یا gk(g) نشان می دهیم. در این گراف مجموعه رئوس عبارت است از ?(g) یعنی مجموعه اعداد اول شمارنده |g| و دو راس مانند p و q به هم وصلند هرگاه گروه g عضوی از مرتبه pq داشته باشد در این حالت می نویسیم p~q . فرض می کنیم |g|=p_1^(n_1 ) p_2^(n_2 )…p_k^(n_k ) که در آن p_1< p_2<?<p_k اعداد اول و k یک عدد صحیح مثبت است. در این صورت...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید