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

هدف از این پایان نامه، طبقه بندی ساختارهای ابر مختلط ناوردا روی گروه های لی 4- بعدی حقیقی g است. نشان می دهیم گروه های لی همبند ساده که ساختارهای ابر مختلط ناوردا می پذیرند، به صورتهای: 1- گروه جمعی h از کواترنیونها 2- گروه ضربی * h از کواترنیونهای غیر صفر 3- گروه های حل پذیری که بطور ساده متعدی روی فضاهای هیپربولیک مختلط و حقیقی rh4 وch2 عمل می کنند 4- ضرب نیم مستقیم c?c، هستند. فضاهای ch2 و c...

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

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

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

تقویت خاک‏ های ضعیف و نامناسب جهت به­کارگیری در عملیات عمرانی برای ایجاد خاکی با ویژگی­ های مهندسی دلخواه، تثبیت و تسلیح نامیده می ‏شود. تثبیت خاک برای اهداف مختلفی به ­کار می ­رود که از آن جمله می­توان به جلوگیری از فرسایش سطوح برای فعالیت ­های ساخت و ساز، بهبود شرایط خاک بسترهای ضعیف، کنترل شن­ های روان، بهسازی لایه­ های اساس و بازیافت راه­ های قدیمی اشاره کرد. امروزه، به دلیل ضعف‌هایی مانند ...

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

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

در این پژوهش اثر افزودنی­هایی بر پایه سیتریک اسید، سدیم تری پلی فسفات، سدیم هگزا متافسفات، سدیم پلی اکریلات، کلسیم نفتالین سولفونات و بالاخره پلی کربوکسیلات اتر به عنوان روان­ساز بر ویژگی‌های رئولوژی جرم ریختنی بسیار کم سیمان Al2O3-SiCحاوی میکروسیلیس از نوع لرزه روان مورد بررسی قرار گرفت. جهت مطالع...

مدل سه‌بعدی المان‌محدود برای بررسی تاثیر نوع سنگ‌دانه‌ها در میزان نیروی محوری لازم برای بازشدگی درز در روسازی‌های بتنی، با استفاده از برنامۀ شبیه‌ساز Abaqus همراه با جزئیات روش مدل‌سازی ارائه شده است. برای مدل‌سازی داول و بتن از المان‌های نوع Solid آجری دارای 8 گره، استفاده شده است. شبیه‌سازی رفتار پلاستیک بتن با استفاده از مدل Concrete Damage Plasticity انجام شده است. تماس بین سطح خارجی داول و...