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

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

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

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

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

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

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

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

روش تجزیه متعامد هموار(sod) یکی از روش های آنالیز مودال بر مبنای خروجی سیستم های ارتعاشی محسوب می شود که در حوزه زمان کاربرد دارد و عمدتاً برای آنالیز مودال سیستم های ارتعاشی نامیرا توصیه شده است. یکی از محدودیت های عمده در روش sod استفاده از آن در استخراج پارامتر های مودال سیستم های ارتعاشی میرا است. در پژوهش حاضر دلایل ایجاد خطا در اعمال روش sodبه سیستم های ارتعاشی میرا بررسی شده است. برای رفع...

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