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

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

مهمترین مسأله در طراحی و اجراء یک پروژه تونلسازی، انتخاب مناسب الگوی حفاری و سیستم نگهداری، بهمنظور پایداری تودهسنگو کاهش گسترش ناحیه پلاستیسیته میباشد. در این میان، تعیین مقدار جابجایی قبل از نصب سیستم نگهداری از اهمیت فراوانیبرخوردار است. وقتی که تونلی حفر میشود تا قبل از اینکه سی ً ستم نگهداری نصب شود، قطعا یک جابجایی در دیواره تونل رخ خواهدداد که میزان این جابجایی حدود 35 -45درصد جابجایی نها...

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

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

خانواده characeae، جلبک هایی ماکروسکوپی می باشند که صفات مورفولوژی و تولید مثلی پیچیده تری نسبت به دیگر جلبک های سبز دارند. زیستگاه های اعضای این خانواده معمولاً آب های شیرین و لب شور، دائمی و موقتی از استخر کوچک تا دریاچه بزرگ می باشد و آنها با ایجاد اکسیژن و تأثیر بر شبکه های غذایی نقش مهمی در این زیستگاه ها دارند. تاکنون در این خانواده 292 گونه گزارش شده است که در 6 تا 7 جنس قرار داده شده اند...

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

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

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

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