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

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

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

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

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

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

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

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

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

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