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

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

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

چکیده ندارد.

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

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

شناسایی و اجرای ضوابط حقوق تعهدات همواره میسور نبوده و در مواردی به سبب تفاوت مبانی و یا دشواری در تمییز ریشۀ تعهد، نمی‌توان به سادگی قضاوت کرد که آیا مسؤولیت (قراردادی یا مدنی) محقق شده یا خیر؟ از جمله مصادیق مشتبه در این زمینه، شناسایی مسؤولیت ناشی از بیانیه ریسک در قراردادهای آتی است. وجه این دشواری آنجاست که اولاً؛ نظم معاملات در بورس و اوراق بهادار لزوماً قواعد عمومی قراردادها در حقوق مدنی ر...

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

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