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

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

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

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

محققین، برای استفاده از متغیرهای ارزشیابی و شناخت قدرت تبیین آنها در پیش بینی رفتار سود باقیمانده یا پیش بینی نشده، اغلب از یک نسبت در طبقه بندی شرکتها به دو گروه رشدی و ارزشی بر پایه نسبتp/b  و یا p/e آنها استفاده کرده اند و در ایران نیز ارزشیابی ها و قیمتگذاریهای سهام بر پایه نسبت های p/e وگاهاً p/b بطور مجزا صورت گرفته است .لذا تلاش شده است با گروه بندی شرکتها با استفاده توأمان از نسبت های p/...

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

موتورهای انژکتوری با مجموعه پاشش در راهگاه ورودی در راستای کاهش مصرف سوخت و آلاینده های اگزوز خودروهای بنزینی جایگزین موتورهای کاربراتوری شده اند. این موتورها باید برای کاهش بیشتر میزان آلاینده های خروجی و مصرف سوخت بهینه شوند تا قوانین سخت آلایندگی و مصرف سوخت رعایت شود. در این مقاله، با استفاده از برنامه شبیه سازی kiva-3v اثر زاویه و زمان پاشش سوخت بر نرخ تبخیر و میزان آلایندگی موتور ef-7 برر...

آلاینده های خودرو یکی از عوامل اصلی آسیب های زیست محیطی است. موتورهای خودرو تولید کننده ی دی اکسید کربن (co2)، هیدروکربن (hc)، اکسیدهای نیتروژن (nox) و بسیاری دیگر از مواد مضر هستند. یک بررسی با استفاده از موتور اشتعال تراکمی راه اندازی شده با نسبت های مختلف دیزل و بیودیزل به همراه نرخ مختلف egr انجام شد. تاثیر نسبت های مختلف مخلوط سوختی و نرخ egr بر مشخصات آلاینده هایی مثل هیدروکربن های نسوخته...

امروزه افزایش تولید گازهای گلخانه ای به یک معضل جدی برای صنایع و محیط زیست تبدیل شده است. استفاده از سوخت های جایگزین مانند سوخت های بیولوژیکی بمنظور کاهش تولید گازهای گلخانه ای مانند کربن دی اکسید بسیار مورد توجه قرار گرفته است. در این مقاله معادله های ترمودینامیکی مختلف بمنظور محاسبه چگالی سوخت هیبریدی 1-بوتانول1+ سیکلوهگزان2 در فشارهای بین 30 تا 70 مگاپاسکال ارزیابی شده است.انتخاب معادله‎ من...

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