هدف از این پایان نامه، تدوین نرم افزار طراحی مفهومی حامل های فضایی چندمرحله ای به روش کلاسیک lvccd می¬باشد. این نرم¬افزار، برای پایین آوردن هزینه چه ازنظر نیروی انسانی و چه ازنظر زمانی در فاز طراحی مفهومی حامل های چندمرحله ای تهیه شده است. که با آموزش اولیه نرم¬افزار و آشنایی با مفاهیم اولیه طراحی و همچنین معادلات جرمی- انرژتیک حامل های فضایی، و افت های سرعتی حامل،به آسانی قادر به کار با نرم¬اف...

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

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

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

چکیده ندارد.

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