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

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

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

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

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

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

هدف از انجام این پروژه، محاسبه فشارهای انشعاب بخار از توربین های نیروگاه بخار برای دستیابی به بازده ماکزیمم سیکل (طراحی بهینه سیکل) می باشد. برای این منظور نرم افزاری تهیه شده است که سیکل واقعی را (با در نظر گرفتن تمامی افتها) براساس روش مدولار شبیه سازی می کند و با استفاده از روش جستجوی مستقیم (direct search method) به بهینه سازی سیکل می پردازد. این نرم افزار به کاربر امکان می دهد تااز سیکل مو...

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

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

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