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

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

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

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

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

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

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

در تحقیق حاضر میدان جریان متلاطم باد اطراف دو ساختمان هم ردیف بدون پایه و بر روی پایه در فواصل مختلف به روش عددی بررسی شده است. به منظور مدل سازی آشفتگی از دو مدل آشفته( k-ɛ)دسته نرمالسازی مجدد و k-ɛتحقق پذیر استفاده شده است. براساس شبیه سازی‌های عددی صورت گرفته، توزیع سرعت طولی اطراف ساختمانهای منفرد بدون پایه و بر روی پایه با نتایج آزمایشگاهی مقایسه شده اند. سپس با استفاده از مدل اعتبار سنجی ...