هدف: مقایسه اندازه‌گیری فشار داخل چشم با استفاده از تونومتری گلدمن، تونومتری پاسکال و پنوماتومتری غیرتماسی (Air Puff) قبل و پس از عمل جراحی عیوب انکساری قرنیه و تعیین میزان تغییر در اندازه فشار چشم پس از عمل جراحی. روش پژوهش: این مطالعه مشاهده‌ای- تحلیلی و آینده‌نگر، بر روی افراد نزدیک‌بین و نزدیک‌بین آستیگمات که داوطلب عمل جراحی عیوب انکساری قرنیه به روش فوتورفرکتیوکراتکتومی (PRK) بودند، ا...

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

برهان «معقولیت اعتقاد» از براهین اثبات وجود خداست. این برهان در غرب به شرطی پاسکال شهرت دارد اما بنیاد آن را می‌توان در سخنان گهربار امام علی(ع) در نهج‌البلاغه یافت و با توجه به متأثر بودن پاسکال از غزالی، عنوان «معقولیت اعتقاد» برای این برهان شایسته‌تر است. برهان «درجات کمال» نیز برهانی است که متألّهان مغرب زمین آن را در اثبات خدا به کار می‌برند؛ این برهان بر قاعده امکان اشرف قابل انطباق است و ...

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

در این تحقیق فیلم دولایه آگار/ژلاتین به روش قالب ریزی و طی دو مرحله تولید و ویژگی های آن شامل نفوذپذیری نسبت به بخارآب، حلالیت در آب، درصد جذب رطوبت، خواص مکانیکی، و نیز ویژگی های ظاهری مورد مطالعه و با فیلم های زیست تخریب پذیر تک لایه آگار و ژلاتین مقایسه گردید. نتایج نشان داد که نفوذپذیری نسبت به بخارآب در فیلم دولایه (g/mspa 10-10×25/3) به طور معنی داری کمتر از فیلم های آگار تک لایه (g/mspa ...

در این بررسی از کیسه صفرای164 راس بز (24 راس نابالغ وما بقی بالغ )در کشتارگاههای اطراف تهران نمونه برداری شد و پس از بلز کردن آنها با اسکالپل ، محتویات آنها از نظر سنگ مورد توجه قرار گرفت و اجرامی با قطر 1 میلیمتر و بیشتر جمع آوری گردیدند. سپس آنالیز شیمیایی سنگ های صفراوی در آزمایشگاه با کیت مرک صورت گرفت. در 9 راس از بزها سنگ کیسه صفرا مشاهده شد(5/48%) که از این تعداد فقط یک مورد مربوط به بز ...

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

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