Parallel Forward contract is a contract that anticipated to resolve the limitations arising from the forward  sale. This contract is parallel to the primary forward contract, forward contract to be signed first, second independent predecessor in terms of commitments and associated works contract has complete autonomy over index futures; the buyer of the forward contract take place in the s...

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

بیش از دو هزار سال است که مسئلۀ ارادۀ آزاد و دترمینیسم ذهن فیلسوفان را به خود مشغول ساخته است. این مسئله در سال های اخیر به شکل و شیوه ای نو، دوباره احیا شده است. در این مقاله نخست به دیدگاه «شهود متعارف» و تقابل آن با دترمینیسم پرداخته شده است. همسازی یا ناهمسازی ارادۀ آزاد و دترمینیسم، مسئلۀ همسازی[i] نامیده می شود. به واسطۀ پاسخ هایی که به مسئلۀ همسازی داده شده، انشعاباتی اساسی در حوزۀ ارادۀ...

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

امروزه ادلۀ استقرایی برای اثبات وجود خدا محبوبیت و نفوذ درخور توجهی پیدا کرده اند. «استدلال از طریق آگاهی» ادلۀ جدید استقرایی برای اثبات خداست که اندیشمندانی نظیر رابرت آدامز و ریچارد سوینبرن آن را مطرح کرده اند. جدیدترین تقریر این استدلال تقریری است که مورلند شرح و بسط داده است. بررسی تقریر مورلند از این استدلال محور مباحث مقالۀ حاضر است. دو بخش نخست مقاله بیان نکاتی مقدماتی است که طبق شیوۀ مو...

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

Objective: The purpose of this study was to compare vertical ground reaction force during forward and backward walking among the male professional Karatekas with genu varum and normal knee. Methods: 20 professional male Karates (in genu varum and normal groups) participated in this semi-experimental study. The vertical ground reaction force was measured using force plate system during forward ...