یکی از مسا یل اساسی در ریاضی حل معادله خطی tx=y است که در آن t یک عملگر خطی بین فضاهای باناخ می باشد. اگر t معکوس پذیر باشد در این صورت جواب یکتای معادله به صورت x=by خواهد بود که در آن b معکوس t می باشد. در فصل دوم این پایان نامه به بررسی شرایط لازم و کافی برای معکوس پذیری عملگر t پرداخته ومسأ له را به اصل نگاشت انقباض تبدیل می کنیم. از طرفی معکوس پذیری عملگر مسأ له ای مشکل می باشد و بنابر...

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

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

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

چکیده ندارد.

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

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

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

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