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

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

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

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

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

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

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

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

تمرکز مقاله بر بیان اثبات های متعدد قضیه مشهور پروانه در هندسه اقلیدسی است.