هدف پروژه شناخت و بررسی فرآیند تبدیل کاتالیزوری گاز طبیعی با بخار آب (steam methane reforming) واحد s.m.r. با استفاده از مدل ریاضی مناسب و شبیه سازی واحد فوق است (modeling & simulation) دراین پروژه ابتدا پارامترهای عملیاتی واحد نامبرده محاسبه شده است سپس با تغییر پارامترهای مختلف با استفاده از برنامه های کامپیوتر ی، تاثیر هر یک از پارامترها بر درصد تبدیل و خلوص محصول نهائی و نحوه تغییر آن د...

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

تعیین بهینۀ توالی کارها در تولید کارگاهی کسب‎وکارهای کوچک و متوسط، در بهره‎وری ماشین­­آلات، هزینه­های مربوط به دیرکرد و زودکرد تحویل کارها تأثیر­گذار است. در این پژوهش ابتدا مدل ریاضی مسئلۀ تولید کارگاهی کسب‎وکارهای کوچک و متوسط طراحی شد، سپس به‎کمک نرم­افزار Arena 14 مدل شبیه‎سازی طراحی گردید و در نهایت با حل یک مثال عددی، جواب نزدیک به بهینۀ مسئله از لحاظ مجموع هزینۀ دیرکرد و زودکرد به‎منظور ...

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

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

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

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

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

هدف پروژه شناخت و بررسی فرآیند تبدیل کاتالیزوری گاز طبیعی با بخار آب (STEAM METHANE REFORMING) واحد S.M.R. با استفاده از مدل ریاضی مناسب و شبیه سازی واحد فوق است (MODELING & SIMULATION) دراین پروژه ابتدا پارامترهای عملیاتی واحد نامبرده محاسبه شده است سپس با تغییر پارامترهای مختلف با استفاده از برنامه های کامپیوتر ی، تاثیر هر یک از پارامترها بر درصد تبدیل و خلوص محصول نهائی و نحوه تغییر آن در طو...