ویلیام لین کریگ (William Lane Craig)، فیلسوف و متأله شهیر امریکایی، به‌عنوان احیا‌کنندة نوع خاصی از براهین کیهان‌شناختی شهرت یافته؛ او این برهان را «برهان کیهان‌شناسی کلامی» (kalam cosmological argument) نامیده است. رکن اساسی این برهان، آغازمندی یا حدوث زمانی جهان است. کریگ به‌منظور اثبات این مقدمة اساسیِ برهان خود، به چهار دلیل متوسل شده که دو‌تای آن‌ها پیشینی (فلسفی) و دو‌تای دیگر پسینی (علمی)...

هدف موافقتنامه‌های چندجانبه زیست‌محیطی، «رعایت»[1] این موافقتنامه‌ها توسط دولت­های عضو است. به این منظور مجموعه‌ای از اقدامات و کنش‌ها به کارگرفته می‌شود که عمدتاً «عملی‌سازی»[2] و «اجرا»[3] نام داشته و به ترتیب ناظر بر کنش­های «پیشینی» و «پسینی» است. این کنش­ها موجب می­شود اعضا در وهله نخست در وضعیت «عدم رعایت» قرار نگیرند و در صورت نقض تعهدات زیست‌محیطی، وادار به «رعایتِ» تعهدات خود شده و در وض...

کتاب الحکمة المتعالیة فی الأسفار العقلیة الأربعة، از اوّلین تالیفات صدرالمتألّهین است. این کتاب دارای تمام ابواب فلسفی است و صدرالمتألّهین تا آخر عمر خویش در بخش‌های مختلف آن دخل‌وتصرف نموده‌است. از این رو، کتاب مذکور از مهم‌ترین آثار وی در زمینة حکمت متعالیه و تبیین مبانی آن به صورت نظری است. اسفار همچون کتاب‌های دیگر، در حیطۀ تحلیل‌های محتوایی (ره‌آوردها) و روشی (روی‌آوردها) مو...

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

بهینه­سازی ساختاری fpga به عنوان یکی از چالش­های مهم در زمینه طراحی دیجیتال مطرح است. در سال­های اخیر، روش­های تجربی و آزمایش­محور جای خود را به روش­های تحلیلی برای یافتن ساختارهای بهینه داده­اند. روش­های آزمایش­محور بر مبنای استفاده از ابزارهای کامپیوتری (cad) برای ارزیابی ساختارها به لحاظ مساحت اشغالی، سرعت و توان مصرفی استواراند. به علت زمان­بر بودن این فرآیند، استفاده از روش­های تحلیلی مبتن...

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

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

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

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

ویلیام لین کریگ (william lane craig)، فیلسوف و متأله شهیر امریکایی، به عنوان احیا کنندة نوع خاصی از براهین کیهان شناختی شهرت یافته؛ او این برهان را «برهان کیهان شناسی کلامی» (kalam cosmological argument) نامیده است. رکن اساسی این برهان، آغازمندی یا حدوث زمانی جهان است. کریگ به منظور اثبات این مقدمة اساسیِ برهان خود، به چهار دلیل متوسل شده که دو تای آن ها پیشینی (فلسفی) و دو تای دیگر پسینی (علمی)...