دریافت: 5/6/94   پذیرش: 23/9/94 مقدمه: امروزه موضوع سلامت از اولویت های اصلی زندگی افراد است، و حفظ و گسترش آن در حوزه رفاه اجتماعی و توسعه پایدار امری ضروری است. بیمه های بهداشتی و درمانی یکی از راهکارهایی می باشند که انسان برای رویارویی با هزینه های درمانی ابداع نموده است. یکی از موضوعات مهم و چالش های موجود؛ چگونگی استفاده کارا و اثربخش از منابع بیمه در جهت تحقق اهداف سلامت است. هدف این مقال...

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

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

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

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

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

چکیده تولید قطعه ای با شکل مطلوب و عاری از هر نوع واماندگی، هدف نهایی در فرآیند های شکل دهی ورق است. نمودارهای حد شکل دهی fld سنجش متعارفی برای برآورد قابلیت فرآیند در نیل به این هدف می باشد. روش های تجربی یا پیدا کردن مستقیم fld، مشتمل بر مطالعات انجام شده توسط nakazima، hasek و marciniak است. چند رویکرد تئوری تعیین fld، نظیرگلویی پخشی swift، گلویی موضعی hill که واماندگی را صرفا در سمت چپ پیش...

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

This article has no abstract.

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