1)مطالعه همگرایی خم ها و دنباله های تقریبا انبساطی در چارچوب فضای هیلبرت و فضای های گسترده تر 2)تعمیم خم ها و دنباله های تقریبا انبساطی به حالت نیم گروهی . 3)بررسی کاربردهای نظریه در معادلات تحولی و سایر کاربردهای احتمالی

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

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

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

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

قانونگذار قانون مجازات اسلامی سال 1370 برابر ماده 231 اقرار و شهادت (بینه) را از راه­های ثبوت قتل در دادگاه به حساب آورده و مواد 232 الی 236 را به احکام اقرار و مادتین 237 و 238 را به احکام شهادت اختصاص داده است. در فرضی که بر ارتکاب قتل از سوی «الف» با گواهان حائز شرایط اقامه بینه می­شود و در عین حال فرد دیگری با شرایطی که مقنن در جهت پذیرش اقرار لازم می­داند، اقرار می­کند که قاتل نه مشهود عل...

در این پژوهش رفتار سایشی کامپوزیت های اصلاح شده به روش هم زدن مکانیکی در مقایسه با نمونه های اصلاح نشده آلومینیوم A319 مقاوم شده با ترکیبات بین فلزی آهن تحت سه نیروی 6، 20 و 40 نیوتن به روش پین بر دیسک مطالعه شده است. تاثیر مقدار ترکیبات بین فلزی آهن و بار اعمالی بر رفتار سایشی کامپوزیت ها مورد بررسی قرار گرفته است. شکل ترکیبات غنی از آهن β، تحت اصلاح مکانیکی هم زدن از تیغه ای شکل به دیسکی شکل ...

قضیۀ اول مقالۀ دهم اصول اقلیدس، اساس «روش افنا» است. اقلیدس این قضیه را برای نسبت متغیر ثابت می‌کند. ابن هیثم (سدۀ 4 هجری) بنا بر ادعای خود در فی حل شکوک، پی برده بود که حکمی که اقلیدس مطرح می‌کند جزئی است و حکم کلی را برای نسبت ثابت برای اولین بار در این کتاب مطرح و اثبات کرده است. خواجه نصیر الدین طوسی (597-672ق) در تحریر اصول اقلیدس، همان نظر ابن هیثم را تکرار می‌کند. ابن صلاح همدانی (درگذشت...

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