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

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

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

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

معادله لیاپانوف 0 ap+pat+bbt= و 0=atq+qa+ctc را به روش های روش آرنولدی بلوکی ، آرنولدی تعمیم یافته و لانزوس تعمیم یافته حل کرده و نتایج آن را بررسی نمودیم، که به طور خلاصه به صورت زیر می باشد. در روش آرنولدی بلوکی با افزایش تکرارها (m) ذخیره سازی و محاسبه v_m پرهزینه می گردد. زمانی که ماتریس a، بزرگ و تنک باشد، در هر تکرار زمان زیادی صرف تجزیه qr و روند گرام اشمیت اصلاح شده می شود. در واقع رو...

دستگاه معادلات خطی ax=b را در نظر بگیرید. در این پایان نامه، یک پیش شرط برای ماتریس a، به عنوان محصول فرعی الگوریتم شرمن- موریسون ارائه شده است. اگر ماتریس a نامتقارن و دارای تجزیه ای به شکل a=ldu باشد، آن گاه ماتریس های u، d، l و معکوس آن ها به صورت محصول فرعی الگوریتم شرمن-موریسون محاسبه می شوند که l و ترانهاده u ماتریس های پایین مثلثی واحد و d یک ماتریس قطری است. الگوریتم شرمن- موریسون دارای...

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

برای نقد حدیث، روش­های مختلفی وجود دارد. یکی از روش­های نقد حدیث، بررسی سند آنهاست که اصطلاحاً آن را نقد سند محور گویند. صحّت سند حدیث به تنهایی موجب پذیرش آن نمی‌شود. چنانکه اثبات ضعف سند حدیث نیز معیار کافی برای کنارگذاشتن حدیث نیست. بنابر این علاوه بر نقد سند محور به روش­های دیگری نیز نیاز داریم که یکی از این روش­ها، نقد متن محور است که با دو ملاک ادلة نقلی و ادلّه عقلی انجام می‌گیرد. در مقاله ...

فرض کنید w یک گروه و w=(s) که در آن s = {s1,. . sn | (sisj)mij = 1, 1 ? i,j ? n} و m_ij in z و به ازای هر i, m_ij= 1 در این صورت گروه w را یک گروه کاکستر می نامیم. هر یک از s_i ها را انعکاس نامیم و مجموعه ی همه ی انعکاس ها را به صورت زیر نشان میدهیم. t= {wsw-1 : w in w , sin s} هم چنین فرض کنید w یک گروه و s زیر مجموعه ی کیلی از آن باشد. در این صورت گراف کیلی w نسبت به s را که با gamma(w,...

تخمین مقادیر tdoa (time differential of arrival) یکی از روش های پایه ای در مکان یابی منابع گفتار می باشد که به طور وسیع مورد بررسی قرار گرفته است. در دهه ی اخیر تحقیقات زیادی بر روی تخمین مقادیر tdoa با استفاده از فیلترهای بازترکیب مستخرج از جداسازی کور منابع، صورت گرفته است. در این پژوهش ضمن معرفی چندین روش از روش های مطرح شده در سال های اخیر، به بررسی و پیاده سازی روش sct (state coherence tra...