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

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

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

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

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

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

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

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

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

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