Payamvdn/NorthPersian_fa_wiki huggingface dataset:
اقتصاد عصب بنیان، اقتصاد عصبی یا اقتصاد مبتنی بر عصب شناسی اقتصاد عصب بنیان یک رشتهٔ میان رشته ای است که به دنبال توضیح تصمیم گیری انسان، توانایی پردازش جایگزین های مختلف و دنبال کردن یک دوره فعالیت است. اقتصاد عصب بنیان این موضوع را مطالعه می کند که چگونه رفتار اقتصادی می تواند درک ما از مغز را شکل دهد، و چگونه یافته های عصب شناسی می تواند مدل های اقتصادی را راهنمایی کند. اقتصاد عصب بنیان تحقیقات علم عصب شناسی، اقتصاد رفتاری و تجربی، و روانشناسی شناختی و اجتماعی را با هم ترکیب می کند. همزمان با این که تحقیقات رفتار تصمیم گیری به طور فزاینده ای به شکل محاسباتی انجام می شود، رویکردهای جدیدی از زیست شناسی نظری، علوم کامپیوتر و ریاضی نیز با هم ترکیب شده اند. اقتصاد عصبی، تصمیم گیری با استفاده از ترکیب کردن ابزارهای این رشته ها را مطالعه می کند تا از کاستی هایی که از رویکرد تک چشم انداز ناشی می شود جلوگیری کند. در علم اقتصاد، مطلوبیت انتظاری و مفهوم عوامل منطقی هنوز مورد استفاده قرار میگیرند. بسیاری از رفتارهای اقتصادی به طور کامل توسط این مدل ها توضیح داده نشده اند، مثل میان بر ذهنی و قاب بندی. اقتصاد رفتاری پدی
دار شده است تا این ناهنجاری هایی را که توسط ادغام عوامل اجتماعی، شناختی و عاطفی در درک تصمیمات اقتصادی ایجاد شده اند را برطرف کند. اقتصاد عصبی لایه ی دیگری را با استفاده از متدهای عصب شناسانه در درک تعامل بین اقتصاد رفتاری و مکانیسم عصبی اضافه کرده است. با استفاده از ابزارهای گوناگون این رشته ها، برخی از پژوهشگران ادعا می کنند که اقتصاد عصب بنیان روشی یکپارچه تر برای درک تصمیم گیری ارائه می دهد. در این مباحث رفتار انسان تحت لوای شاخه بندی های ریسک و ثمر، و اندر کنش های آنان ارزیابی می شود. از سایر مباحث مهم این شاخه می توان به چگونگی دریافت و ادراک پاداش توسط مغز در تصمیم گیری اشاره کرد. مطالعه و بررسی بخش های مختلف مغز که اطلاعات مربوط به تصمیم گیری و پاداش را بررسی می کنند نیز از جذاب ترین موضوعات مورد مطالعه است. اقتصاد عصب بنیان را می توان از جوان ترین شاخه های عصب شناسی به نسبت سایر شاخه های موجود دانست. مهم ترین ره آورد این شاخهٔ علم اقتصاد را می توان در بررسی صحت و سقم فروضی دانست که به عنوان مبنا، در علم اقتصاد مورد استفاده قرار می گیرد. از این رو این برنامهٔ پژوهشی نه در پی رد نظریات پیشین اقتصادی، ب
لکه در پی تکمیل و تدقیق آن ها قدم برمی دارد. پل زاک از بنیان گذاران این رشته است. مقدمه. زمینه ی تصمیم گیری عمدتاً با فرایندی مرتبط است که به وسیله ی آن افراد در میان گزینه های بسیاری یک مورد را انتخاب می کنند. این فرایندها عموماً اینطور فرض می شوند که به روشی منطقی انجام گیرند به این شکل که خود تصمیم به تنهایی، تا حد زیادی مستقل از متن است. گزینه های متفاوت ابتدا به یک ارز مشترک مثل ارزش پولی ترجمه می شوند و سپس با یکدیگر مقایسه می شوند و گزینه ای با بیشترین ارزش مطلوبیت کلی آن گزینه ای ست که باید انتخاب گردد. درحالی که حمایت هایی برای این نمای اقتصادی تصمیم گیری وجود دارد، شرایطی نیز وجود دارد که به نظر می رسد فرضیه ی تصمیم گیری بهینه در آن نقض می شود. رشته ی اقتصاد عصب بنیان ناشی از این اختلاف است. با تعیین این موضوع که مناطق مغز در کدام نوع فرایندهای تصمیم گیری فعال هستند، دانشمندان اقتصاد عصب بنیان امیدوارند که بتوانند ماهیت این که چه چیزی غیرمنطقی و غیراخلاقی به نظر می رسد را بهتر بشناسند. درحالی که اکثر دانشمندان از سوژه های انسانی در این تحقیقات استفاده می کنند، برخی دیگر از مدل های حیوانی استفاده می
کنند که مطالعات در آن کنترل شده تر است و فرضیات مدل اقتصادی را میتوان به طور مستقیم آزمایش کرد. اقتصاد عصب بنیان، عصب شناسی را همراه با اساس محاسباتی تصمیم گیری مطالعه میکند. چارچوبی از محاسبات اساسی که میتواند برای مطالعات اقتصاد عصب بنیان استفاده شود، توسط رانجل، کامرر و مونتاگ پیشنهاد شده است. این چارچوب فرایند تصمیم گیری را به پنج مرحله تقسیم می کند که توسط یک موضوع پیاده سازی شده اند. ابتدا نمایش مشکل محاسبه می شود که شامل تجزیه تحلیل مراحل درونی، مراحل بیرونی و جریان بالقوه ی عمل است. دوم، مقادیر به اقدامات بالقوه اختصاص داده می شوند. سوم، براساس ارزیابی ها یکی از اقدامات انتخاب می شود. چهارم، سوژه ی مورد مطالعه ارزیابی می کند که نتیجه چقدر مطلوب است. مرحله ی نهایی، یادگیری، شامل به روز رسانی تمام فرایندهای بالاست جهت پیشرفت تصمیم های آتی. حوزه های مهم تحقیقاتی. تصمیم گیری تحت ریسک و نااطمینانی. اغلب تصمیم های ما در نوعی از نااطمینانی گرفته می شوند. علوم حوزه ی تصمیم گیری مثل روانشناسی و اقتصاد عموما ریسک را عدم اطمینان درباره ی نتایج ممکن مختلف در حینی که احتمال هرکدام مشخص باشد، تعریف می کند. هنگامی ک
ه احتمالات ناشناخته هستند، نااطمینانی به خود شکل ابهام می گیرد. حداکثرسازی مطلوبیت، اولین بار توسط دنیل برنولی در ۱۷۳۸ ارائه شد. این نظریه برای توضیح تصمیم گیری تحت ریسک استفاده می شد. این نظریه فرض می کند انسان ها عقلانی هستند و گزینه ها را بر اساس مطلوبیت انتظاری که از هرکدام عایدشان می شود ارزیابی میکنند. تحقیقات و تجارب گستره ی عظیمی از ناهنجاری های مطلوبیت انتظاری و الگوهای معمول رفتاری را آشکار کردند، که با اصول حداکثرسازی مطلوبیت ناسازگاری دارند. برای مثال تمایل به سنگین سازی احتمالات کوچک و کم وزن کردن احتمالات بزرگ. دنیل کانمن و عاموس تورسکی، نظریه چشم انداز را ارائه کردند تا این مشاهدات را در بر گیرد و یک مدل جایگزین پیشنهاد کند. زیان گریزی. یکی از جنبه های تصمیم گیری بشر، گریز از زیان است. تحت نظریه زیان گریزی، هزینه ی از دست دادن مقدار مشخصی پول، بیشتر از ارزش به دست آوردن همان مقدار پول است. یکی از مشاجرات اصلی در فهم زیان گریزی این است که آیا این فرایند واقعا در درون مغز قرار دارد و در نمایش عصبی خروجی های مثبت و منفی تجلی می یابد، یا عوارض جانبی اثر عصبی دیگری ست. مثل افزایش توجه و برانگیختگی ب
ا تجربه کردن ضرر. مسئله ی دیگر این است که آیا یک فرد می تواند زیان گریزی را به عنوان یک پاسخ برای سیستم های فرعی عصبی، مثل یک سیستم تحریکی و عاطفی که از بیزاری از خروجی های منفی بالقوه ناشی می شود که پاسخ های آن توسط سیستمی که مسئول مقایسه ی معقول بین گزینه هاست، تصویر و کنترل میشود. انتخاب های میان دوره ای. علاوه بر ترجیحات ریسکی، یک مفهوم مرکزی اقتصاد، انتخاب های میان دوره است. این ها تصمیماتی هستند که شامل هزینه و فایده ای هستند که در طول زمان توزیع شده اند. تحقیقات انتخاب های میان دوره ای مطلوبیت انتظاری ای را مطالعه می کند که بشر به وقایع رخ داده در زمان های مختلف اختصاص می دهد. الگوی غالب در اقتصاد که این را توصیف می کند، مطلوبیت تنزیلی ست. مطلوبیت تنزیلی فرض می کند که بشر، ترجیحات زمانی متداولی دارد و رویدادها را، با توجه به زمان رخداد آنها ارزش گذاری می کند.مشابه مطلوبیت انتظاری در توضیح تصیم های ریسکی، مطلوبیت تنزیلی نیز در توضیح انتخاب های میان دوره کافی نیست. تصمیم گیری اجتماعی. درحالی که اکثر تحقیقات تصمیم گیری روی تصمیم گیری های فرد به فرد خارج از یک مفهوم اجتماعی تمرکز می کند، این موضوع نیز مهم
است که تصمیم گیری هایی که شامل تعاملات اجتماعی می شود را نیز درنظر بگیریم. گونه ای از شرایط که نظریه پردازان مطالعه میکنند، به گوناگونی نوع دوستی، همکاری، تنبیه و مجازات است. یکی از مواردی که مرتبا در تصمیم گیری استفاده می شودُ معمای زندانی است. تصمیم گیری جنسی. به لطف انتخاب جنسی، مطالعات تحقیقاتی روی انسان ها و پستانداران غیرانسان، انجام شده است. به ویژه در مقالات چنی و سی فارث ۱۹۹۰، دینر و همکاران ۲۰۰۵ و هایدن و همکاران ۲۰۰۷ گزارش شده است که یک تمایل متداول به پذیرش کالاهای فیزیکی کمتر یا قیمت بالاتر به ازای دسترسی به افرادی با مرتبه ی اجتماعی بالاتر وجود دارد که شامل افرادی با جذابیت های فیزیکی بیشتری نیز میشود، درحالی که درصورت ارتباط با افرادی که مرتبه اجتماعی پایین تری دارند، پاداش بیشتری تقاضا می شود. مبانی عصب شناسی برای این ترجیحات شامل عصب های قشر درون بخشی جانبی (LIP) می شود، که به حرکات چشم مرتبط است و در مواردی که دو انتخاب جایگزین اجباری وجود دارد نیز عمل می کند. سبک و روش. آزمایش های اقتصاد رفتاری تصمیمات افراد را در شرایط طراحی شده (آزمایشگاهی) ثبت می کند و اطلاعات بدست آمده را برای ساخت مدل
های عمومی پیش بینی عملکرد به کار می گیرد. اقتصاد اعصاب از همین روش به صورت تعمیم یافته با افزودن مشاهده بر سیستم عصبی، برای دستیابی به ست متغیرهای توضیحی استفاده می کند.هدف این شاخه از اقتصاد ایجاد خلاقیت و شرکت دادن دیگر طبقات دیتاها به فرضیه های آزمون پذیر این مدل ها می باشد.علاوه براین، تحقیقات اقتصاد عصب بنیان برای درک و توضیح ابعاد رفتار انسان استفاده می شود که در مدل های کلاسیک اقتصاد جایی ندارند.درحالیکه غالباً این الگوهای رفتاری از نظر اقتصاددانان سفسطه آمیز و غیرمنطقی است، مطالعات اقتصاد اعصاب در تلاش است تا آنهارا با دلایل زیست بیولوژیکی اثبات کند. از این طریق احتمالاً بتوانیم دلایل معتبر برای این رفتارهای به ظاهر غیر بهینه ارائه دهیم. روش های تحقیقاتی. چند روش متفاوت وجود دارد که می توانیم با به کار بردن شان بنیان های زیست بیولوژیکی اقتصاد رفتاری را درک کنیم.تصویربرداری عصبی در سوژهٔ انسان، به کار می رود تا فعال ترین بخش های مغز را در طول انجام فعالیت مشخص کند. برخی از این روش ها مثل fMRI یا PET برای نشان دادن جزئیات تصاویر مغز مناسب ترین روش هستند که اطلاعاتی دربارهٔ ساختارهای مشخص درگیر شده در فع
الیت مغز می دهند. از سایر روش ها مثل ERP و نوار مغزی برای بدست آوردن اطلاعات جزئی دورهٔ زمانی اتفاقات درون بخش کلی تر مغز. علاوه بر مورد مطالعه قرار دادن بخش های مغز، برخی از مطالعات هدفشان درک ارتباط بین فعالیت های متفاوت شیمیایی مغز با رفتار انسان است. این نوع مطالعه می تواند با همبستگی موجود بین اندازه های شیمیایی با الگوهای متفاوت رفتاری انجام شود یا تغییرات مقدار شیمیایی مغز که منجر به تغییر رفتار است. برای مثال بنظر می رسد سروتونین به تصمیم گیری و دوپامین به قضاوت (درصورتی که دچار عدم قطعیت باشد) مربوط است. علاوه بر این افزایش مصنوعی درجهٔ اوکسی توسین موجب افزایش اعتماد در رفتار انسان می شود و این درحالیست که با درجه های بالاتر کورتیزول فرد را متمایل به شخصیتی می کند که تصمیم آنی و بدون فکر می گیرد. در ایران. اقتصاد عصب بنیان برای اولین بار در ایران با عنوان اقتصاد عصب شناسی، در قالب چند فصل از کتاب اقتصاد رفاه، نوشته عزت اله عباسیان و میثم نسرین دوست، مطرح شد. این کتاب در سال ۱۳۹۱ توسط انتشارات نورعلم منتشر شده است. آزمایش ها. در یک آزمایش معمولی اقتصاد رفتاری از یک سوژه مورد مطالعه خواسته می شود که یک
سری تصمیم اقتصادی را اتخاذ کند. برای مثال ممکن است که از فرد پرسیده شود که آیا ترجیح میدهد ۴۵ سنت پول دریافت کند یا در قماری شرکت کند که احتمال ۵۰ درصدی برد یک دلار در آن وجود داشته باشد. سپس آزمایشگر متغییرهای متفاوتی را اندازه گیری میکند تا بررسی کند که در هنگام تصمیم گیری در ذهن سوژه چه میگذرد. برخی نویسندگان اینطور می گویند که اقتصاد عصب بنیان نه تنها میتواند آزمایش هایی که شامل پاداش هستند را توضیح دهد بلکه میتواند برای توصیف رفتارهای روانشناختی سندروم های معمول روانی مثل اعتیاد و توهم نیز مفید باشد. بازاریابی عصب بنیان. بازاریابی عصب بنیان یک رشته مجزا است که بسیار به علم اقتصاد عصب بنیان مرتبط است. درحالی که اقتصاد عصب بنیان به دلیل مطالعه ی مکانیسم های پایه ی تصمیم گیری، اهداف دانشگاهی بیشتری دارد، بازاریابی عصب بنیان یک رشته ی کاربردی ست که از ابزارهای تصویربرداری عصبی برای تحقیقات بازار استفاده میکند. نقد. گلن هریس و امانوئل دونچین، این رشته ی نوظهور را نقد کرده اند. یک مثال از این نقدها این است که «رشته ایست که خودش را زیادی دست بالا می گیرد»، یا این که «مطالعات اقتصاد عصب بنیان مدل های سنتی اقتصا
د را درست نمی فهمند و آن ها را دست کم می گیرند.» یک بحث انتقادی اقتصاددانان سنتی دربرابر اهداف اقتصاد عصب بنیان این است که استفاده از داده های غیر انتخابی، مثل زمان پاسخ، ردیابی چشم و سیگنال های عصبی که افراد در حین تصمیم گیری ایجاد میکنند باید از هرگونه تحلیل اقتصادی جدا شوند. مراکز آموزشی. این رشته هم اکنون در اروپا، آفریقای جنوبی، و آمریکای شمالی به صورت آکادمیک آموزش داده می شود. در آمریکا دانشگاه های دوک، جرج میسون، و دانشگاه نیویورک در این زمینه فعالیت دارند، و دانشگاه تحصیلات تکمیلی کلرمانت نیز در این رشته دکترا ارائه می دهد.
جاسوس من (به انگلیسی: My Spy) یک فیلم جاسوسی کمدی آمریکایی به کارگردانی پیتر سگال با بازی دیو باتیستا، کریستن شوال، پریسا فیتز-هنلی، کلوئه کلمن و کن جیونگ می باشند. داستان فیلم دربارهٔ یک مأمور سیا است که باید از یک دختر جوان محافظت کند. در این بین او با اتفاقات خنده دار و گاها خطرناکی روبرو می شود... این فیلم در ۹ ژانویه ۲۰۲۰ در استرالیا توسط اس تی اکس انترتینمنت اکران شد. در ۸ آوریل ۲۰۲۰، حقوق توزیع آن توسط استودیو آمازون به دلیل همه گیری کووید ۱۹ که سینماها را در سراسر جهان تعطیل کرده بود خریداری کرد. این فیلم به صورت دیجیتالی در آمازون پرایم ویدئو و در سینماهای ایالات متحده در ۱۶ ژوئن ۲۰۲۰ منتشر شد و نظرات متفاوتی دریافت کرد. قسمت دوم این فیلم با عنوان قرار است در سال ۲۰۲۴ منتشر شود. تولید. فیلمبرداری اصلی این فیلم در ۱۵ اکتبر ۲۰۱۸ در تورنتو، انتاریو، کانادا شروع شد؛ و در ۳۰ نوامبر ۲۰۱۸ به پایان رسید. انتشار. این فیلم در ابتدا قرار بود برای اکران در ۲۳ اوت ۲۰۱۹ آماده شود، اما از زمان اکرانموکل شد به تاریخ ۹ ژانویه سال ۲۰۲۰.
پرویز صداقت (۱۳۴۳ در تهران) اقتصاددان، پژوهشگر اقتصاد سیاسی، مترجم و مدیر گروه اقتصاد سیاسی سایت انسان شناسی و فرهنگ است. او سردبیر روزنامه های «سرمایه»، «ماهنامه بورس» و «فصلنامه حسابدار رسمی» را بر عهده داشته است. پرویز صداقت کتاب ها و مقالات متعددی را با موضوع اقتصاد سیاسی به زبان فارسی ترجمه کرده است. دیدگاه ها. پرویز صداقت معتقد است که در ایران و در رسانه های عامه نسبت به مفهوم نولیبرالیسم سوءتفاهمی ایجاد شده است و این واژه عمدتاً با لیبرالیسم یا لیبرال دموکراسی اشتباه گرفته می شود. صداقت معتقد است که تنها در دولت های استبدادی است که افراطی ترین برنامه های نولیبرالی قابل اجرا است و حتی در پیشرفته ترین دموکراسی های سرمایه داری هم نولیبرالیسم به شدت به هنجارهای لیبرال دموکراتیک آسیب زده است. پرویز صداقت در بحران کاهش ارزش ریال در تابستان ۱۳۹۷ به انتقاد از سیاست های پولی بانک مرکزی ایران پرداخت و آنچه را که بانک مرکزی «توطئهٔ دشمن» می دانست، حاصل نابخردی های سیاست های پولی خودش در سال های اخیر ارزیابی کرد. پرویز صداقت طی مجموعه مقالاتی در سایت نقد اقتصاد سیاسی مطرح می کند که اقتصاد ایران از اوایل دهه ۱۳۹۰ ب
ه انسداد ساختاری رسیده است و بدون تغییرات ساختاری امکان برون رفت از بحران های موجود میسر نیست. همچنین او در مجموعه سه وبینار برای رادیو زمانه که تاکنون دو قسمت آن منتشر شده همین بحث را تشریح کرده و تأکید می کند مجموعه بحران های ساختاری اقتصادی به موازات بحران های اجتماعی - سیاسی و بحران ژئوپلتیک ایران را در شرایط جدیدی قرار داده است.
کتاب تهذیب الاصول، از جمله کتب اصولی شیعه به زبان عربی می باشد که سید عبدالاعلی افقهی موسوی سبزواری (۱۲۸۹–۱۳۷۲) آن را تالیف کرده است. این کتاب در ۲ جلد از سوی انتشارات مختلف، به طبع رسیده است. ساختار. این کتاب در یک مقدمه و سه مقصد تنظیم شده است: مقدمه، امور کلی و عمومی علم اصول فقه بیان شده است. در مقصد اول، مباحث الفاظ بیان گردیده است. در مقصد دوم، به بحث در مورد ملازمات عقلیه تا مساله نواهی پرداخته شده است. در مقصد سوم، مباحث مربوط به قطع و ظن، امارات و اصول عمیله و مباحثی در باب اجتهاد و تقلید ارائه گردیده است. فهرست مطالب هر یک از مجلدات، در انتهای همان جلد ذکر شده است. گزارش محتوا. مجلد اول: در ابتدا تعریفی از علم اصول فقه، فایده این علم، موضوع آن، مسأله اصولی و فرق آن با قاعده فقهی ارایه شده و اشکالاتی که در تعریف علم اصول فقه و موضوع آن وارد شده است مورد بررسی قرا گرفته است. پس از آن به تعریف وضع و فرق بین آن و استعمال لفظ پرداخته شده و اقسام وضع و موضوع له آن و نحوه لحاظ آن برای اسماء و خصوصیت لفظ نسبت به معنا مورد بحث قرار گرفته و معانی حروف و ثمره این بحث در علم اصول فقه بیان شده است. نحوه اتصاف مع
انی حرفیه به امور ایجادی، اخطاری، کلی و جزئی و... تقسیم جمله به جملات اخباری و انشایی، حقیقت و مجاز، ویژگی استعمال الفاظ در معانی حقیقی و مجازی و علایم حقیقت و مجاز از مباحث بعدی مطرح شده در مقدمه می باشد.در همین رابطه نویسنده به عدم انحصار استعمال لفظ در حقیقت و مجاز اشاره کرده و استعمال الفاظ در معانی را تابع ذوق سلیم و اراده واضع دانسته است. وی تبادر، عدم صحت سلب و اطراد را از علایم تشخیص الفاظ حقیقی و مجازی عنوان کرده و حالات مختلف لفظ نسبت به معنا و رجوع به اصول عقلی در صورت وقوع اشتباه در معنای الفاظ یعنی رجوع به اصولی مانند اصل عدم قرینه، اصالة اطلاق و عموم، اصالة عدم نقل و اصالة عدم وضع را مورد تأکید قرار داده است. در بخش بعدی کتاب، نویسنده به بحث درباره دلالت پرداخته و ضمن تعریف دلالت اقسام دلالت تصوری و تصدیقی، اقسام معانی مانند معانی تکوینی، اعتباری و اختراعی را بیان کرده و اختلاف نظر اصولیان در مورد معنای اختراعی و نزاع آنان در مورد استعمال لفظ در معانی متکثره را بررسی نموده است. بررسی مفهوم حقیقت شرعیه و متشّرعه، صحیح و اعم، مشتق و ادله موافقان و مخالفان آنها از دیگر مباحث مطرح شده در مقدمه است.
مقصد اول و دوم: نگارنده به بررسی مباحث الفاظ پرداخته و ابتدا به تبیین ماده و صیغه امر و دلالت آن بر وجوب پرداخته است. به همین مناسبت وی به بحث درباره طلب و اراده و نسبت بین آنها شبهات مربوط به جبر و پاسخ آنها، شبهه در مورد کلام نفسی و پاسخ آن پرداخته و اقوال مختلف را در این زمینه منعکس کرده و این اقوال را ارزیابی نموده است. در ادامه نویسنده به دلالات دیگر صیغه امر از جمله دلالت آن بر مرّه و تکرار، فور و تراخی، وجوب و استحباب و یا مطلق طلب اشاره کرده و مناقشات اصولیان بر این موضوع را بررسی نموده است. از نظر وی صیغه امر به خودی خود بر هیچ یک از این امور دلالت نمی کند اگر چه ظهور اولیه آن در وجوب است.بیان اقسام واجب مانند واجب تعبدی و توصلی، واجب مطلق و مشروط، واجب معلق و منجز، واجب نفسی و غیری، واجب عینی و کفایی، واجب موسع و مضیق، واجب تعیینی و تخییری و واجب اصلی و تبعی، مفهوم امر بعد از امر، معنای امر بعد از نهی و معنای نسخ وجوب از دیگر مباحث مطرح شده در باب اوامر است. مبحث بعدی نواهی است که در آن نیز نویسنده ابتدا به دلالت صیغه نهی و طبیعت آن اشاره کرده و عدم دلالت آن بر فور و تراخی استمرار و.. را بیان نموده
و اجتماع امر و نهی در شیء واحد را شرح کرده است. بخش بعدی کتاب درباره مفاهیم است که در آن به بحث درباره مفهوم شرط، مفهوم غایت، مفهوم وصف، مفهوم استثناء و مفهوم لقب و عدد اشاره شده و شروط داشتن مفهوم در شرط بیان گردیده است. مباحثی مانند عام و خاص و الفاظ آن، انواع تخصیص خوردن عام، مطلق و مقید و شروط قید خوردن مطلق در صورت تمام بودن مقدمات حکمت، مجمل و مبین و راه های ازبین بردن اجمال یک جمله، تعارض بین نصوص و راه از بین بردن تعارض میان آنها، اقسام تخییر، ملازمات عقلیه، مسأله إجزاء، مقدمه واجب و اقوال درباره نوع وجوب مقدمه، مبحث ترتب، مفهوم نهی در عبادات و معاملات و فرق آنها از مباحث پایانی مجلد اول می باشد. مجلد دوم: ابتدا به بحث درباره حجیت قطع و سپس حجیت انواع ظنون معتبر و آنگاه به صورت مبسوط به بررسی اصول عملیه و ادله عقلی و نقلی آنها پرداخته شده است. در این راستا نگارنده ضمن تعریف قطع به آثار و اقسام آن اشاره کرده و لزوم متابعت از قطع و حجیت آن را مورد تأکید قرار داده است. حجیت قطع قطّاع، منجزیّت علم اجمالی و شرایط تنجّز و تکلیف آوری آن، امکان تعبدبه ظن، حجیت ظن معتبر، حجیت ظواهر، شرایط حجیت اجماع نزد امامیه
، حجیت شهرت یا عدم حجیت آن به عنوان یکی از ظنون معتبره، حجیت خبر واحد، مبحث اجتهاد و تقلید و شرایط مجتهد برای صدور فتوی و شرح اصول عملیه و شرایط جریان داشتن این اصول و ادله عقلی و نقلی مبتنی بر آن از مباحث مهم دیگری است که در پایان مجلد دوم ارایه شده است. نگارنده در طول مباحث دیدگاه های اصولی شیخ مرتضی انصاری(شیخ اعظم) و ملا محمدکاظم خراسانی(آخوند خراسانی) و برخی دیگر از اصولیین معاصر را منعکس کرده و از دیدگاه های آنان استفاده کرده است.
سنتربت () یک بنگاه شرط بندی استرالیایی است که تحت مجوز محلی در قلمرو شمالی (استرالیا) بامدیریت مایکل مگریچ مشغول به ارائه خدمات است. این بنگاه دومین شرکت خصوصی بزرگ فعال در شرط بندی در استرالیا می باشد.
یک کامپایلر بهینه ساز، کامپایلری است که برای تولید کدی طراحی شده است که از جنبه هایی مانند به حداقل رساندن زمان اجرای برنامه، استفاده از حافظه، اندازه ذخیره سازی و مصرف انرژی بهینه شده باشد. کامپایلرها برای تولید کد بهینه از مجموعه ای از الگوریتم های تبدیل بهینه سازی استفاده می کنند. این الگوریتم ها کد برنامه را تغییر می دهند تا در نهایت خروجی ای تولید کنند که از نظر معنایی با کد اصلی یکسان است، اما منابع کمتری مصرف می کند یا سریع تر اجرا می شود. با این وجود، بهینه سازی کد همواره با چالش هایی روبرو است. برخی از مسائل بهینه سازی ذاتاً پیچیده هستند و حتی ممکن است NP-کامل یا غیرقابل حل باشند. علاوه بر این، محدودیت های عملی نیز بر سر راه بهینه سازی وجود دارد. به عنوان مثال، میزان حافظه موجود و زمان قابل قبول برای کامپایل، توسط برنامه نویس تعیین می شود و می تواند مانع از اعمال بهینه سازی های پیچیده تر شود. بهینه سازی فرآیندی پردازنده محور و حافظه بر است. در گذشته، محدودیت حافظه رایانه نیز مانع بزرگی در مسیر بهینه سازی های پیشرفته بود. به دلیل این محدودیت ها، بهینه سازی ها به ندرت می توانند خروجی کاملاً بهینه تولید
کنند. در واقع، گاهی اوقات یک "بهینه سازی" ممکن است باعث کاهش عملکرد در برخی جنبه ها شود. به همین دلیل، بهینه سازی ها بیشتر به عنوان روش های اکتشافی برای بهبود استفاده از منابع در برنامه های معمول در نظر گرفته می شوند. به عبارت دیگر، هدف بهینه سازی یافتن بهترین راه حل ممکن نیست، بلکه بهبود نسبی در استفاده از منابع در برنامه های رایج است. انواع بهینه سازی. تکنیک های مورد استفاده در بهینه سازی می تواند در زمینه های مختلف به کار برود که می تواند هر چیزی را از یک جمله واحد به کل برنامه تحت تأثیر قرار دهد. به طور کلی ، تکنیکهای محلی مورد استفاده در مقایسه با روشهای جهانی آسانتر هستند اما منجر به دستاوردهای کوچکتر می شوند. برخی از نمونه های دامنه شامل موارد زیر است: بهینه سازی Peephole. معمولاً پس از تولید کد دستگاه ، دیر هنگام در مراحل تلفیقی انجام می شود. این شکل از بهینه سازی چند دستورالعمل مجاور را بررسی می کند (مانند "نگاه کردن از طریق یک گیره" در کد) تا ببیند آیا می توان آنها را با یک دستورالعمل واحد یا یک دستورالعمل کوتاه تر جایگزین کرد. به عنوان مثال ، ضرب یک مقدار توسط 2 ممکن است با تغییر دادن مقدار چپ یا
اضافه کردن مقدار به خود ، کارایی بیشتری داشته باشد (این مثال نیز نمونه ای از کاهش قدرت است ). بهینه سازی های محلی. اینها فقط اطلاعات محلی را به یک بخش اصلی در نظر می گیرند . از آنجا که بلوک های اساسی جریان کنترلی ندارند ، این بهینه سازی ها نیاز به تجزیه و تحلیل بسیار کمی دارند (صرفه جویی در زمان و کاهش نیازهای ذخیره سازی) ، اما این بدان معنی است که هیچ اطلاعاتی در پرش ها حفظ نمی شود. بهینه سازی های جهانی. به این روشها "روشهای درونگرا" نیز گفته می شود و بر روی توابع کامل عمل می کند. این به آنها اطلاعات بیشتری می دهد تا با آنها کار کنند اما اغلب محاسبات گران را ضروری می کند. هنگامی که تماسهای عملکردی رخ می دهد یا به متغیرهای جهانی دسترسی پیدا می کند ، فرض های بدتری را باید انجام داد (زیرا اطلاعات کمی در مورد آنها در دسترس است). بهینه سازی حلقه. اینها در مورد جمله هایی که یک حلقه را تشکیل می دهند ، مانند حلقه "for" (مانند حرکت کد حلقه بدون تغییر ) عمل می کنند. بهینه سازی حلقه می تواند تأثیر بسزایی داشته باشد زیرا بسیاری از برنامه ها درصد زیادی از زمان خود را در حلقه ها می گذرانند. بهینه سازی درون برنامه ای ، کل
برنامه یا لینک زمان. اینها همه کد منبع برنامه را تجزیه و تحلیل می کند. مقدار بیشتری از اطلاعات استخراج شده بدان معنی است که بهینه سازی ها می توانند در مقایسه با زمانی که فقط به اطلاعات محلی دسترسی داشته باشند (به عنوان مثال ، در یک عملکرد واحد) موثرتر باشند. این نوع بهینه سازی همچنین می تواند تکنیک های جدیدی را انجام دهد. برای عملکرد به عنوان مثال inlining ، که در آن یک تماس به تابع توسط یک کپی از بدن تابع جایگزین شده است. بهینه سازی کد دستگاه و بهینه ساز Object code. برخی از تکنیک هایی که می توانند در محدوده محدودتری اعمال شوند ، مانند فشرده سازی کلان (که با از بین بردن توالی های متداول از دستورالعمل ها موجب صرفه جویی در فضا می شود) وقتی کل تصویر وظیفه اجرایی برای تجزیه و تحلیل در دسترس باشد ، مؤثرتر هستند. عوامل مؤثر بر بهینه سازی. خود دستگاه. بسیاری از گزینه هایی که در مورد آنها بهینه سازی ها می توانند و باید انجام شوند به ویژگی های دستگاه هدف بستگی دارد. پارامتر کردن بعضی از این عوامل وابسته به ماشین گاهی اوقات امکان پذیر است ، به گونه ای که می توان تنها با تغییر پارامترهای توصیف دستگاه ، از یک قطعه کد کا
مپایلر برای بهینه سازی ماشینهای مختلف استفاده کرد. GCC کامپایلری است که نمونه این رویکرد را نشان می دهد. معماری CPU هدف. تعداد ثبت های CPU : تا حدودی هرچه تعداد ثبت ها بیشتر باشد ، بهینه سازی کارایی آسان تر است. متغیرهای محلی را می توان در رجیسترها اختصاص داد و نه روی پشته . نتایج موقت / واسط می توانند بدون ثبت و خواندن از حافظه در ثبت ها باقی بمانند. استفاده در نظر گرفته شده از کد تولید شده. اشکال زدایی. در حین نوشتن برنامه ، یک برنامه نویس اغلب مجدداً کامپایل می شود و آزمایش می کند ، بنابراین تدوین باید سریع باشد. این یکی از دلایلی است که اکثر بهینه سازی ها در مرحله آزمایش / اشکال زدایی از عمد اجتناب می کنند. همچنین ، کد برنامه معمولاً با استفاده از یک اشکال زدایی سمبولیک "قدم به قدم" می گذارد (به انیمیشن برنامه مراجعه کنید) و بهینه سازی دگرگونی ها ، به ویژه آنهایی که کد را دوباره ترتیب می دهند ، می توانند ارتباط کد خروجی را با شماره خط در کد منبع اصلی دشوار کنند. این می تواند هر دو ابزار اشکال زدایی و برنامه نویسان را که از آنها استفاده می کنند اشتباه گرفته شود. استفاده عمومی. انتظار می رود نرم افزار Prepa
ckaged در ماشین آلات و CPU های مختلفی اجرا شود که ممکن است یک مجموعه دستورالعمل یکسان را به اشتراک بگذارند ، اما دارای ویژگی های مختلف زمان بندی ، حافظه پنهان یا حافظه هستند. بنابراین ، ممکن است کد به هیچ CPU خاصی تنظیم نشده باشد ، یا ممکن است تنظیم شود تا در محبوب ترین CPU بهترین کار را داشته باشد و در عین حال هنوز هم در سایر پردازنده ها به خوبی قابل قبول کار کند. استفاده خاص. اگر این نرم افزار برای استفاده در یک یا چند ماشین بسیار مشابه و با مشخصات شناخته شده کامپایل شده باشد ، کامپایلر می تواند کد تولید شده را به شدت به آن دستگاه های خاص تنظیم کند (در صورت وجود چنین گزینه هایی). موارد ویژه مهم شامل کدی است که برای پردازنده های موازی و بردار طراحی شده است ، که برای آن کامپایلرهای موازی سازی ویژه ای استفاده شده است. سیستم های جاسازی شده. اینها یک مورد معمول از کاربردهای خاص است. نرم افزار جاسازی شده را می توان به طور دقیق با یک CPU و اندازه حافظه دقیق تنظیم کرد. همچنین ممکن است هزینه سیستم یا قابلیت اطمینان نسبت به سرعت کد اهمیت بیشتری داشته باشد. بنابراین ، برای مثال ، کامپایلرهای نرم افزار تعبیه شده معمولا