«منطق به صورت نامحدود ... صوری نیست. اگر چنین بود، بدون محتوا می بود ... هیچ علمی کاملاً صوری نیست» (frege, 1971:109). در ۱۸۹۹، دیوید هیلبرت نظام اصلِ موضوعیِ منقحی برای هندسه اقلیدسی عرضه کرد و با اثبات مشروط فراقضیه های سازگاری و استقلال برای این نظام، راه حلی برای یکی از مسائل دیرپای ریاضیات (مشهور به مسئله خطوط موازی) ارائه داد. گوتلوب فرگه، پایه گذار منطق صوری جدید، مخالفت های بنیادینی با روی...

انتشار بسته‌موج، یکی از شکل‌های مهم انتقال انرژی در جوّ است. همة امواج شناخته‌شده جوّی را می‌توان به‌صورت بسته‌موج شناسایی و دنبال کرد. متداول‌ترین روش برای شناسایی بسته‌موج‌‌ها تعیین پوش آنها است. در این مقاله با استفاده از داده‌‌های سامانه پیش‌بینی جهانی موسوم به GFS برای سه ماه دسامبر 2004 تا فوریه 2005، دو بسته‌موج در نظر گرفته شده و پوش آنها با هریک از روش‌‌های و‌مدوله‌سازی مختلط، تبدیل هیلب...

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

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

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

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

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

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

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

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