Payamvdn/NorthPersian_fa_wiki huggingface dataset:
ها در برنامه آمده است استفاده می شود). سپس بازه های زندگیِ هر متغیر ساخته می شود که نقطهٔ شروع این بازه دستوری است که آن متغیر را تعریف می کند و نقطهٔ پایانی بازه دستوری است که برای آخرین بار از آن متغیر استفاده کرده است. پس از ساخت بازه های زندگی متغیرها، آن ها را بر اساس نقطهٔ شروعشان مرتب می کنیم و به همان ترتیب شروع می کنیم به تخصیص ثبات؛ اگر ثباتی برای تخصیص وجود داشته که آن را در اختیار آن بازه قرار می دهیم و اگر تمامی ثبات ها تخصیص یافته باشند باید یکی از متغیرها در حافظهٔ اصلی نگهداری شود. برای این کار نیز متغیری انتخاب می شود که دیرتر از همه استفاده شود (نقطهٔ پایانی بازهٔ آن متغیر از همه بیش تر باشد) این روش به صورت خطی تخصیص ثبات را انجام می دهد و سربار زمانی آن خیلی کم تر از روش رنگ آمیزی گراف است و همان طور که گفته شد در کامپایلرهای درجا بسیار کاربرد دارد. تخصیص ثبات بر اساس کد میانی با فرم SSA. در این روش ابتدا کد میانی کامپایلر به فرم SSA در می آید. گراف برخورد حاصل از این کد یک ویژگی شاخص دارد که در رنگ آمیزی آن بسیار به ما کمک می کند. گراف برخورد در کدهای به فرم SSA همواره وتری هستند. گراف ها
ی وتری در زمان چند جمله ای قابل رنگ آمیزی هستند و این موضوع تخصیص ثبات را بسیار تسریع می کند. تخصیص ثبات غیر سراسری. روش های تخصیص ثبات غیر سراسری، روش هایی هستند که کد را به چندین بخش تقسیم می کنند (به عنوان مثال این قسمت ها می توانند همان بلوک های پایهٔ کد باشند) و برای هر یک از این بخش ها به صورت جداگانه تخصیص ثبات انجام می دهند. روش های کمی به صورت غیر سراسری پیاده سازی شده اند و یکی از دلایل آن هماهنگ کردن بخش های مختلفی هستند که به صورت جداگانه تخصیص ثبات انجام داده اند. اما در ادامه یکی از روش های غیر سراسری آمده است که توانسته است کد با کیفیت خوبی تولید کند و در بسیاری از برنامه ها کارایی را نسبت دیگر روش های سراسری افزایش دهد. تخصیص ثبات ردیابی. ایدهٔ کلی این روش بدین گونه است که کد را به دو بخش کلی تقسیم می کند: (۱) "بخش داغ" که قسمت هایی از کد را شامل می شود که با فرکانس زیادی انجام می شود، (۲) "بخش سرد" که شامل قسمت هایی است که کم تر استفاده می شوند. پس از تقسیم بندی کد، برای هر کدام از قسمت های کد از روش تخصیص ثبات متناسب آن استفاده می کنیم؛ یا به عبارتی سعی می کنیم برای بخش های داغ کد از روش های
بسیار دقیق تخصیص ثبات استفاده کنیم تا کارایی کد هنگام اجرا پایین نیاید و برای بخش های سرد کد از روش های معمولی و سریع استفاده کنیم؛ در نتیجه برای بخش هایی از کد که تأثیر چندانی در کارایی ندارند، زمان زیادی را صرف نمی کنیم؛ بنابراین بدون از دست دادن کارایی، سربار کامپایل را نیز پایین می آوریم. همان طور که مشخص است این روش تنها در کامپایلرهای درجا می تواند به کار رود (تنها با استفاده از اجرا کردن برنامه می توانیم قسمت های داغ و سرد آن را مشخص کینم).
به هر مجموعه از رشته های به طول نامتناهی از یک الفبای مشخص، یک زبان امگا (زبان ω) تعریف شده بر روی آن الفبا می گویند. تعریف رسمی. فرض می کنیم Σ الفبایی دلخواه باشد. یک رشته "نامتناهی"، که به آن رشته امگا نیز گفته می شود، یک توالی نامتناهی از حروف الفبای Σ به صورت &lt;chem&gt;a0a1a2...&lt;/chem&gt; است. همان طور که هر رشته متناهی به طول n از الفبای Σ را می توان با یک تابع به صورت formula_1 نمایش داد که در آن formula_2 نمایش حرف i ام رشته است، هر رشته امگا از این الفبا را نیز می توان به صورت یک تابع formula_3 در نظر گرفت که در آن formula_4 حرف n ام در رشته مورد نظر است. هم چنین در مقابل formula_5 که در نظریه زبان صوری به مجموعه همه رشته های "متناهی" از الفبای Σ گفته می شود، مجموعه همهٔ رشته های امگا که بر روی الفبای Σ تعریف می شود با formula_6 نشان داده می شود. اجتماع formula_6 و formula_5 یعنی مجموعه همهٔ رشته های الفبای Σ با formula_9 نمایش داده می شود. به هر مجموعه formula_10 از رشته های امگا، یک زبان امگا گفته می شود. کاربرد. تأیید برنامه (): به عنوان کدبندی اجراهای پایان ناپذیر یک برنامه. حساب (arithmetic)
: به عنوان کدبندی های مجموعه های اعداد حقیقی. تکرار ω (تکرار بی نهایت). تکرار ω (به انگلیسی: "ω-iteration") برای زبان formula_11، زبان امگای formula_12 است که به صورت formula_13 تعریف می شود. توجه داریم که برخلاف مفهوم مشابه در مورد رشته های متناهی که در آن formula_14، در مورد تکرار ω تساوی formula_15 به این دلیل که همهٔ رشته های formula_12 باید دارای طول نامتناهی باشند، نمی تواند درست باشد و بنابراین داریم: formula_17. عملیات های زبان امگا. برخی از عملیات های تعریف شده بر روی زبان های امگا عبارت اند از: فاصله بین رشته های امگا. فاصله بین دو رشته امگا به صورت یک تابع به شکل formula_31 تعریف می شود که در آن formula_32. در تعریف بالا formula_33 طول x و inf زیرینه در مجموعه اعداد حقیقی است. به این ترتیب اگر formula_34 خواهیم داشت: formula_35. زیرکلاس ها. مهمترین زیر کلاس زبان های امگا، زبان های منظم امگا (به انگلیسی: ) هستند که تعریف زبان های منظم را به رشته های نامتناهی تعمیم می دهند. زبان های منظم امگا. زبان امگای L یک زبان منظم امگا است اگر به یکی از شکل های زیر باشد: ماشین Büchi. که توسط تعریف شده است به عنو
ان تشخیص دهنده زبان های منظم امگا مطرح می باشد که به این ترتیب مسئله عضویت این زبان ها تصمیم پذیر با وجود این ماشین تصمیم پذیر خواهد بود. شکل ظاهری این ماشین مانند DFA و NFA است اما شرط پذیرش در آن متفاوت است.
هیپوکامپ یا اَسبک مغز بخش مهمی از مغز انسان و بسیاری دیگری از مهره داران است. در مغز انسان، ساختار هیپوکامپ به همراه شکنج دندانه دار (Dentate Gyrus) و سابیکولوم (Subiculum)، اجزای مجموعهٔ موسوم به ساختار هیپوکمپ را تشکیل می دهند که در دستگاه لیمبیک قرار دارند. هیپوکامپ ساختمان عصبی خمیده ای است در مغز که در کف شاخ میانی بطن های طرفی مغز قرار دارد. هیپوکامپ نقش مهمی در تثبیت اطلاعات حافظه کوتاه مدت در حافظه بلندمدت دارد و همچنین در حافظه فضایی و قابلیت ناوبری محیطی مؤثر است. در انسان و سایر نخستی سانان، این ساختار در بخشی از مغز موسوم به آرکیکورتکس قرار دارد (یکی از سه ناحیهٔ آلوکورتکس) و در هر نیم کره مغز حضور دارد. هیپوکامپ در این جایگاه با نئوکورتکس ارتباط مستقیم عصبی و ارتباط غیرمستقیم بازخوردی دارد. از منظر تکاملی، هیپوکامپ در تمامی مهره داران به عنوان بخش میانی پالیم (Medial Pallium) وجود دارد. در بیماری آلزایمر و سایر اشکال زوال عقل، هیپوکامپ یکی از نخستین بخش هایی است که آسیب می بیند؛ علائمی چون اختلال حافظه کوتاه مدت و موقعیت آگاهی از نشانه های اولیه اند. سایر آسیب ها شامل کمبود اکسیژن مغزی (هیپوکسی)،
التهاب مغزی (انسفالیت) و صرع لوب گیجگاهی نیز می توانند هیپوکامپ را تحت تأثیر قرار دهند. در افراد مبتلا به آسیب شدید و دوطرفهٔ هیپوکامپ، اختلالی به نام فراموشی پیش گستر بروز می کند؛ به گونه ای که توانایی تشکیل یا نگه داری حافظهٔ جدید از بین می رود. هیپوکامپ به دلیل سازماندهی لایه ای سلول های عصبی اش، اغلب به عنوان مدل پایه در تحقیقات فیزیولوژی عصبی مورد استفاده قرار می گیرد. یکی از انواع انعطاف پذیری عصبی به نام تقویت طولانی مدت ابتدا در هیپوکامپ کشف شد و بارها در همین ساختار مطالعه شده است. پژوهشگران باور دارند تقویت طولانی مدت یکی از مکانیسم های اصلی ذخیره سازی حافظه در مغز است. در جوندگان به عنوان مدل های زیستی آزمایشگاهی، هیپوکامپ به عنوان بخشی کلیدی از سیستم مغزی مسئول حافظه فضایی و جهت یابی به صورت گسترده مورد مطالعه قرار گرفته است. بسیاری از نورون ها در هیپوکامپ موش قهوه ای و موش خانگی به عنوان سلول های مکانی شناخته می شوند؛ این سلول ها هنگام عبور حیوان از ناحیه ای خاص در محیط، با تولید پالس های الکتریکی فعال می شوند. سلول های مکانی هیپوکامپ با سلول های جهت سر (که مانند یک قطب نمای درونی عمل می کنند) و
به احتمال زیاد با سلول های شبکه ای در قشر خیشومی مجاور، تعاملات گسترده ای دارند. هیپوکامپ از بخش های دستگاه لیمبیک است که شکلی همانند اسب دریایی دارد و در اعماق لوب گیجگاهی جای گرفته است. هیپوکامپ از دو شاخ منحنی وار تشکیل شده است که به آمیگدال ختم می شوند. هیپوکامپ از بخش های مهم مغز پستانداران است. همچنین مرکز تبدیل حافظهٔ کوتاه مدت به بلند مدت است. حافظه افرادی که هیپوکامپ آنان آسیب دیده یا با جراحی برداشته شده دچار اختلال جدی می شود (در افراد مبتلا به صرع، برای درمان، هیپوکامپ را توسط عمل جراحی برداشته می شود). هیپوکامپ مسئول حافظه نزدیک است و مغز قدامی را از آزموده های گذشته آگاه می کند. این مجموعه خاطرات گذشته را به شکل کوتاه مدت یا درازمدت حفظ می کند. این ناحیه از مغز جزء اولین نواحی مغز است که در بیماری آلزایمر آسیب می بیند.
نجیب الله خواجه عمری سیاستمدار افغانستانی و وزیر اسبق وزارت تحصیلات عالی افغانستان در دولت وحدت ملی به ریاست جمهوری محمداشرف غنی است. وی پس از استعفا عبدالطیف روشان در ۱ قوس/آذر ۱۳۹۶ به عنوان سرپرست این وزارتخانه تعیین شد. در ۱۳ قوس/آذر ۱۳۹۶ توانست رای اعتماد پارلمان را کسب کند. در ۴ جوزا/خرداد ۱۳۹۸ عبدالتواب بالاکرزی جانشین وی به عنوان وزیر تحصیلات عالی افغانستان شد. زندگی و سرگذشت. نجیب الله خواجه عمری از قوم هزاره، زاده ۱۹۵۵ (میلادی) در ولسوالی خواجه عمری، ولایت غزنی است. وی تحصیلات ابتدائی خود را در مدرسه سید جمال الدین افغان، دوره متوسطه را در لیسه/دبیرستان عالی حبیبیه و تحصیلات عالی خود را در سال ۱۳۵۲ در لیسه/دبیرستان تکنیکی ثانوی در کابل به اتمام رسانید و در سال ۱۳۵۳ وارد دانشکده مهندسی دانشگاه کابل شد. وی در سال ۱۳۵۷ مدرک لیسانس خود را در رشته مهندسی مکانیک از دانشگاه کابل کسب کرد و در سال ۱۳۷۲ از انستیتوت تکنولوژی دهلی-هندوستان (IIT-Delhi) مدرک ماستری/فوق لیسانس و در سال ۱۳۷۷ نیز از همین مرکز مدرک دکترا خود را کسب کرد.
PRNP یا «پروتئین پریون» () نام یک ژن است که پروتئین اصلی پریون «PrP» را کد می کند. این پروتئین با نام «CD230» هم شناخته می شود و با آنکه بیشتر در دستگاه عصبی بیان می شود، اما در بسیاری از بافت ها، در سرتاسر بدن نیز دیده می شود. این پروتئین ایزوفرم های گوناگونی دارد: فرم معمولیِ PrPC، فرم مقاوم به پروتئازِ PrPRes همچون فُرم بیماری زایِ PrPSc(scrapie) ، و یک ایزوفرم دیگر که بر روی میتوکندری واقع است. پروتئین کژتابیدهٔ «PrPSc» با برخی اختلالات شناختی و همچنین بیماری های نورودژنراتیو نظیر جنون گاوی، بیماری کروتزفلد جاکوب، بی خوابی خانوادگی مرگ آور، بیماری کورو، اسکرپی و آلزایمر در ارتباط است. این ژن بر روی بازوی کوتاه کروموزوم ۲۰، مابین انتهای آن و جایگاه شمارهٔ ۱۲، از جفت باز ۴٬۶۱۵٬۰۶۸ تا جفت باز ۴٬۶۳۰٬۲۳۳ واقع شده است. موش هایی که این ژن را نداشتند، اشکالی در یادگیری یا حافظه کوتاه مدت نداشتند، اما دچار نقص در مرحلهٔ «تثبیت» حافظه بلند مدت بودند.
بی خوابی خانوادگی مرگ آور () یا بی خوابی کُشندهٔ خانوادگی یک بیماری بسیار نادر ارثی است که نحوهٔ توارثش به صورت «اتوزومال غالب» است. این بیماری از جملهٔ انسفالوپاتی های اسفنجی شکل پریونی مغز انسان است که به دلیلِ جهش در ژنِ تولیدکنندهٔ پروتئین PrPC ایجاد می شود؛ اما گاهی نیز به طور ناگهانی در افرادی که فرمِ جهش یافتهٔ غیر ارثی آن را دارند به وجود می آید که به آن «بی خوابی مرگ آور تک گیر» (sFI) می گویند. این بیماری درمان ندارد و طی آن، فرد به طور پیشرونده ای دچار بی خوابی شده و به دنبالِ آن مبتلا به توهم، روان آشفتگی، اختلال در سطحِ هوشیاری و آگاهی (مشابه آنچه در زوال عقل دیده می شود) و سرانجام مرگ می گردد. مدت زمانِ متوسط زنده ماندن و بقای فرد از زمان آغاز علائم بیماری، ۱۸ ماه است. پروتئین معیوبی که موجب این بیماری می شود و PrPSc نام دارد در حدود ۴۰ خانواده در سرتاسر جهان کشف شده و در حدود ۱۰۰ نفر را مبتلا کرده است. اگر تنها یکی از والدین، دارای ژن معیوب باشند، ۵۰ درصد احتمال دارد که فرزندشان دچار این بیماری شود. از آنجایی که میانگین ظهور علائم در حدودِ سنین میانسالگی است، در نتیجه بسیار حائز اهمیت است که افر
ادِ مشکوک به داشتنِ این ژن، پیش از بچه دار شدن، آزمایش های لازمِ غربالگری ژنتیکی را انجام دهند. نخستین نمونهٔ گزارش شده از این بیماری، به یک مرد ایتالیایی بازمی گردد که در سال ۱۷۶۵ میلادی بر اثر آن در ونیز درگذشت. تا سال ۲۰۱۷ میلادی، هیچگونه درمان قطعی برای این بیماری وجود ندارد. ژن درمانی هم تاکنون نتیجه ای در برنداشته است. قرص های خواب و باربیتورات ها نه تنها اثر سودمندی ندارند، بلکه در ۷۴٪ موارد موجب تشدید علائم و تسریع سیر بیماری شده است. تنها، درمان علامتی بیماری می تواند در بهبود کیفیت زندگی این بیماران مؤثر باشد. مراحل بیماری. این بیماری چهار مرحله دارد: سایر علائم بیماری شامل مردمک تنگی، یائسگی ناگهانی (در زنان) و اختلال نعوظ (در مردان)، سفتی گردن، فشار خون بالا و تپش قلب است. یبوست هم علامت شایعی است. با پیشرفت بیماری، فرد دچار یک حالت «توهم پیشاخواب دائمی» می شود و فرد دست و پاهایش را به گونه ای تکان می دهد که گویی خواب می بیند.
شیخعلی میرزا ملقب به شیخ الملوک پسر نهم فتحعلی شاه قاجار بود که مدت بیست و شش سال حکومت ملایر و تویسرکان را به عهده داشت. شیخعلی میرزا در شیراز متولد شد و چون مادرش مریم بیگم خانم دختر شیخعلی خان زند و از سلسله زندیه و اصالتاً منسوب به ملایر بود، در سال ۱۲۲۴ قمری به حکومت ملایر منصوب شد و تا مرگ فتحعلی شاه به مدت مدت ۲۶ سال در آن سمت به جای ماند. همچنین برادر صلبی او محمودمیرزا نیز در همین دوران حکومت نهاوند را بر عهده داشت. شیخعلی میرزا همچنین در جنگ های ایران و روسیه فرماندهی جبهه قبه و بادکوبه را به عهده داشت، ولی کاری از پیش نبرد. دوران حکومت. وزارت شیخعلی میرزا در حکومت ملایر نخست با خانلر خان زند (پسر علیمرادخان زند) بود ولی از آن جا که هر از چندگاه میان شیخعلی میرزا و برادرش محمدعلی میرزا دولتشاه که حاکم کرمانشاه بود، درگیری هایی رخ می داد و خانلرخان هربار مجبور بود میان آن ها صلح برقرار کند، از وزارت استعفاء داده و فتحعلی شاه مهرعلی خان قاجار را به جای او به وزارت ملایر منصوب کرد. مهرعلی خان که شخصی کارآمد و آگاه بود، به امور مالی و حکومتی ملایر سامان داد و تا حدی از زیاده روی های شیخعلی میرزا جلوگیری
کرد. منطقه غرب ایران در طول دهه ۱۲۴۰ قمری، صحنه زد و خورد شاهزادگان حاکم بود. در این جنگ ها شیخعلی میرزا با برادرانش محمدتقی میرزا حسام السلطنه (حاکم بروجرد و چاپلق و سیلاخور) محمود میرزا (حاکم نهاوند) و برادرزاده اش محمدحسین میرزا حشمت الدوله وارد منازعه شد. در این جنگ ها شیخعلی میرزا با حشمت الدوله و محمود میرزا علیه حسام السلطنه هم پیمان بودند. بناها. شیخعلی میرزا در ملایر چندین بنا برپا کرد. از جمله باغ جنّت و مسجد جامع شیخ الملوک. در نگاه دیگران. ملک ایرج میرزا پسر فتحعلی شاه، دربارهٔ شیخعلی میرزا می نویسد: «شاهزاده از مردم ملایر زن های متعدد داشت می خانه و خرابات برپا کرده بودند و روز شنبه بایستی با ساز و نواز بروند می خانه… در زبان ایشان لکنت زیاد بود. خود را «شیر عراق» نام نهاده بودند.» و همچنین می نویسد که شیخعلی میرزا به آزار و اذیت مردم ملایر و شیخ الاسلام شهر می پرداخت تا خراج هنگفتی را که سالی هشتادهزار تومان بود به او پرداخت کنند. به همین خاطر در اواخر سلطنت فتحعلی شاه ملایریان به اصفهان رفتند و به سید محمدباقر شفتی شکایت بردند و او شکایت مردم را به گوش فتحعلی شاه رسانید. شاه به سید محمدباقر شف
تی سپرد که مراقب اعمال و رفتار شاهزاده باشد و او نیز «ملا احمد خراسانی» را از شاگردان خود به ملایر فرستاد تا هم به ترویچ شرعیات بپردازد و هم بر امور حکومت شاهزاده نظارت کند. بازماندگان. شیخعلی میرزا صاحب چهل و هفت فرزند بود که بیست و شش تن پسر و بیست یک تن دختر بودند. از جمله: شیخعلی میرزا دختری هم به نام «گوهرالملوک» داشته که عمارت گوهرالملوک در کنار قصر بهشت آئین که از بناهای شیخ الملوک بود، به او منسوب است.
آخرین یکشنبه () یک فیلم است محصول سال ۱۹۸۵ کشور ارمنستان شوروی، به نویسندگی و کارگردانی گنادی ملکونیان و بازیگری میکائیل بوغوسیان. آرمن فیلم
آزات شرانتس (؛ – ) یک بازیگر اهل ارمنستان بود. وی بین سال های ۱۹۷۰ تا ۱۹۹۰ میلادی فعالیت می کرد. زندگی نامه. وی برندهٔ جوایزی همچون هنرمند مردمی ارمنستان شوروی شده است. گزیده فیلم شناسی. از فیلم ها یا برنامه های تلویزیونی که وی در آن نقش داشته است می توان به "ما کوه های خود هستیم"، "یک قطره عسل"، "اوت"، "قلب من در کوهساران"اشاره کرد.
ما کوه های خود هستیم () فیلمی در ژانر کمدی به کارگردانی هنریک مالیان است که در سال ۱۹۶۹ منتشر شد. از بازیگران آن می توان به فرونزیک مکرتچیان، سوس سارگسیان، خورن آبراهامیان، آرتاوازد پلشیان و گالیا نوونتس اشاره کرد.
دومارتن() روشی برای تعیین اقلیم یک منطقه براساس درجهٔ حرارت و بارندگی سالانه است. این طبقه بندی بر مبنای شاخص خشکی(Aridity index) بنا نهاده شده است و در آن از دما و بارندگی برای تعیین نوع اقلیم استفاده می شود. فرمول. (A=P/(T+10 ضریب خشکی دومارتن = A میزان بارندگی سالانه به میلیمتر (P = (mm درجه حرارات سالانه(T = (c طبقه بندی. برای مثال برطبق محاسبات انجام شده در فرمول دومارتن مقدار A =۵٫۹۲۴۴۳ برای کرمان بدست می آید، بنابراین اقلیم کرمان بر اساس طبقه بندی دومارتن خشک محسوب می شود.
گاه شمار جمهوری اسلامی ایران در حقیقت باید با اعلام نتایج انتخابات تعیین سیستم حکومتی در ۱۲ فروردین ۱۳۵۸ خورشیدی آغاز شود اما معمولاً تاریخ آغاز آن از زمان پیروزی انقلاب اسلامی در ۲۲ بهمن ۱۳۵۷ خورشیدی بررسی می شود. مطالب زیر شامل برخی از مهم ترین وقایع بعد از پیروزی انقلاب ۱۳۵۷ است.
گروه راک آمریکایی لینکین پارک هفت آلبوم استودیویی، سه آلبوم زنده، دو آلبوم کامپایل، دو آلبوم ریمیکس، سه آلبوم موسیقی (ترانه ای)، ۱۲ آلبوم ویدئویی، ۱۰ نمایشنامه بلند، ۳۵ تک آهنگ، ۲۰ تک آهنگ تبلیغاتی و ۶۶ موزیک ویدئو (نماهنگ) منتشر کرده است. لینکین پارک در سال ۱۹۹۶ در شهر آگورا هیلز، کالیفرنیا توسط مایک شینودا (خواننده، صفحه کلید، نمونه و گیتار)، براد دالسون (گیتار) و راب بوردون (درامز) شکل گرفت. جو هان (برنامه ریز موسیقی) و دیو فارل (باس) بعدها استخدام شدند؛ همچنین در سال ۱۹۹۹، چستر بنینگتون (خواننده اصلی گروه) به لینکین پارک پیوست، تا زمانی که در سال ۲۰۱۷ درگذشت، با گروه ماند. این گروه افتخارات بین المللی و هوداران بسیار زیادی دارد؛ هر ویدئوی منتشر شده توسط لینکین پارک در یوتیوب بازدید بسیار بالایی دارد. لینکین پارک بیش از ۸۰ میلیون آلبوم و ۴۲ میلیون تک آهنگ در سراسر جهان فروخته است.
پیشونی سفید ۲ فیلمی به کارگردانی، نویسندگی و تهیه کنندگی سید جواد هاشمی محصول سال ۱۳۹۶ است. این فیلم دومین قسمت از سه گانهٔ اختاپوس و دنباله "اختاپوس (آهوی پیشونی سفید)" است و در تاریخ ۱۸ مهر ۱۳۹۷ درسینماهای ایران اکران شده است. دنباله این قسمت با نام "پیشونی سفید ۳" در سال ۱۳۹۷ ساخته شده است. داستان فیلم. اختاپوس از درون یک غار امورات قلعه را فرمانروایی می کند. او برای به دام انداختن آهوها و نوشیدن عصارهٔ تن آن ها بل بله را به خدمت گرفته است، اما آهوها با نقشهٔ پیشونی سفید از قلعه فرار می کنند. از سوی دیگر، مادر آهوی پیشونی سفید برگشته تا آهو را از سالار، یعنی پدرخوانده اش، پس بگیرد و پیشونی سفید به دلیل رنجش از سالار، می خواهد نزدِ مادرش بازگردد، اما….
انیمیشنی ژاپنی در ژانر فانتزی به کارگردانی هیروماسا یونه بایاشی است که در سال ۲۰۱۷ منتشر شد. از صداپیشگان این فیلم می توان به هانا سوگیساکی، یوکی آمامی و فومیو کوهیناتا اشاره کرد. داستان. دختری به نام مری اسمیت با یک گل عجیب و غریب برخورد می کند که قدرت جادویی را به ارمغان می آورد و آن را به خانه می برد. انتشار. " ماری و گل جادوگر" در ژوئیه ۲۰۱۷ توسط توزیع کننده توهو در سینماها در ژاپن منتشر شد و در ۴۵۸ سالن سینما در سراسر ژاپن روی پرده رفت. این انیمه تا تاریخ ۱۸ ژانویهٔ ۲۰۱۸ در برخی کشورهای اروپایی، شمال آمریکا و ژاپن در حال اکران خواهد بود و در تاریخ ۱۹ ژانویه ۲۰۱۸ انتشار گستردهٔ خود را آغاز می کند.
منطق درخت محاسباتی یک منطق زمانی است؛ که در آن حالت های مختلف سامانه، به صورت راس های یک ماشین حالت وجود دارند. این ماشین حالت، به صورت یک درخت زمانی است؛ که هر مجموعه حالت های سامانه در طول زمان (تاریخچه آن سامانه) متناظر یک مسیر با شروع از ریشهٔ درخت است. مزیت این منطق بر منطق های مشابه؛ مثل منطق خطی زمانی، این است که می توان یک مسیر خاص را مشخص کرد. برای مثال این جملات در این منطق(منطق درخت محاسباتی) قابل بیان هستند: منطق کلی این منطق، این است که در هر لحظه، ممکن است آینده های متفاوتی داشته باشیم؛ لذا این درخت نامتناهی، تمامی حالت های ممکن برای سامانه را در طول زمان نشان می دهد. ابداع اولیهٔ آن توسط Clarke و Emerson در سال ۱۹۸۱ بوده و پس از آن، Queille و Sifakis با کمی تفاوت، از آن در وارسی مدل ها استفاده کردند. به علت سادگی، کارایی و گستردگی کاربرد این منطق، امروزه در بسیاری از روش های درستی یابی سیستم ها از آن استفاده می شود. قواعد لغوی. اگر formula_6 مجموعهٔ متغیرهای منطقی باشد، فرمول های حالت منطق درخت محاسباتی به این صورت تعریف می شوند: که در آن، formula_8، formula_9 یک فرمول حالت و formula_10 یک فرمو
ل مسیر است. فرمول های مسیر هم این گونه تعریف می شوند: که در آن، formula_9 فرمول های حالت هستند. البته در این جا، ما یک تعریف مینیمال ارائه دادیم و تعاریف معادلی با استفاده از دیگر عملگرهای زمانی وجود دارد. برای مثال، جملات زیر در منطق درخت محاسباتی هستند: قواعد معنایی. فرض کنید formula_14 یک مدل برای منطق درخت محاسباتی باشد. یعنی formula_15 یک است که مجموعهٔ حالت های آن formula_16، جابجایی ها formula_17 (که همان قواعد جابجایی از یک حالت به حالت دیگر است) و formula_18 نیز مجموعه ای است که نشان می دهد در هر حالت کدام یک از متغیرهای منطقی عضو formula_6 درست هستند. حال معنای یک عبارت در منطق روی این مدل و با حالت شروع formula_20، برای فرمول های حالت به صورت استقرایی با قواعد زیر مشخص می شود: و اما برای فرمول های مسیر، برای مسیر formula_25 در این سیستم جابجایی، به صورت زیر: مثال ها. فرض کنید سامانه ای داشته باشیم که بتواند حالت های ready یا started را داشته باشد. حال می توانیم بیان کنیم «ممکن است زمانی برسد که started درست باشد اما ready غلط». این عبارت به صورت formula_28 است. یا برای مثال، اگر بخواهیم بیان کنیم r
eady هیچ گاه درست نمی شود، به صورت formula_29 است. ارتباط با دیگران منطق ها. همان طور که منطق درخت محاسباتی یک منطق زمانی است، منطق خطی زمانی نیز شباهت های بسیاری با آن دارد. تفاوت در این جاست که در منطق خطی زمانی، امکان مشخص کردن یک مسیر به طور خاص وجود ندارد و احکام بیان شده در مورد همه یا هیچ یک از مسیرهای ممکن است. هرچند عباراتی وجود دارند که فقط در منطق درخت محاسباتی یا فقط در منطق خطی زمانی قابل بیان هستند، هر دوی این منطق ها زیرمجموعهٔ منطق CTL* هستند که در آن زبان جملات بیشتری قابل بیان هستند هرچند وارسی مدل ها سخت تر و پیچیده تر از لحاظ محاسباتی است.
لیگ های استانی فوتبال ایران مجموعه ای از لیگ های فوتبال هستند که در استان های ایران برگزار می شوند. این لیگ ها پایین ترین سطح هرم فوتبال ایران هستند، قهرمان این لیگ ها جواز حضور در جام حذفی فوتبال ایران و لیگ دسته چهارم را به دست می آورد. هیئت فوتبال هر استان لیگ آن استان را برگزار و شبکه های استانی صدا و سیمای ایران بازی هایشان را پخش می کنند. فهرست لیگ ها. در حال حاضر ۳۱ لیگ در استان های ایران فعال هستند.
مالک بن نبی (؛ – ) فیلسوف سیاسی، نویسنده، مدرس، سخنران، ایدئولوگ اهل الجزایر بود و از برجسته ترین متفکرین عربی- اسلامی در قرن بیستم است. پژوهش ها. متفکر الجزایری مالک بن نبی، یکی از پیشگامان فکری رنسانس اسلامی در قرن بیستم است؛ و او را به اعتباری می توان ادامه ابن خلدون محسوب نمود، وی یکی از متفکران معاصر است که نسبت به مشکلات تمدن ها هشدار داده است. تلاش های مالک بن نبی درایجاد یک تفکر اسلامی مدرن و در بررسی مشکلات تمدن ها نقش بسزایی داشت چه از لحاظ موضوعاتی که مورد بحث قرار می گرفت، و چه از نظر روش اتخاذ شده توسط خود او. بن نبی اولین پژوهشگری است که ابعاد مشکلات تمدن ها را مشخص نمود، و عناصر کلیدی اصلاحات را تعیین کرد، وی همچنین اولین کسی بود که رویکرد خاصی در جستجوی مشکلات مسلمانان بر اساس روانشناسی و جامعه شناسی داشت، وی معتقد بود که مسلمانان نیاز دارند تا نتیجه کار و خلاقیت خود را لمس کنند. زندگی نامه. در ۵ ذی القعده ۱۳۲۳ در قسطنطنیه، شرق الجزایر زاده شد، و در یک خانواده مسلمان محافظه کار بزرگ شد. پدر او یک کارمند احکام قضایی اسلام بود به نحوی که براساس مسئولیتی که داشت به استان تبسه منتقل شد و مالک بن ن
بی زیرنظر او قرآن می آموخت؛ و مدرسه ابتدایی را در یک مدرسه فرانسوی ادامه داد و در سال ۱۹۲۵ پس از چهار سال مطالعه فارغ التحصیل شد. او سپس با یکی از دوستانش به فرانسه رفت و پس از بازگشت و کسب تجربه های جدید وارد کار شد که مهم ترین آن در مارس ۱۹۲۷ در دادگاه آفلو شروع به کار کرد، در این دوره از وضعیت مردم ساده آگاه شد، و ذهنش نسبت به وضعیت کشورش فعال گردید. او پس از اختلاف با یک نویسنده فرانسوی در دادگاه در سال ۱۹۲۸، برای مدتی از سمت خود کناره گیری کرد. مالک بن نبی در مطالعه و در سیر تفکرات خیلی عمیق شده بود، و اقدام به نوشتن کتابی دربارهٔ جهان اسلام نمود، او کتاب پدیده قرآن را در سال ۱۹۴۶ منتشر نمود، و سپس در سال ۱۹۶۰ این کتاب به زبان عربی ترجمه شد که دو فصل را به نسخه عربی اضافه نمود. او پس از انقلاب الجزایر در سال ۱۹۵۴ از فرانسه به قاهره نقل مکان کرد، در سال ۱۹۵۶ کتاب تفکر آفریقایی – آسیایی را نوشت و از طرف مشاور سازمان همکاری های اسلامی به او اجازه ادامه نوشتن کتاب داده شد. مالک بن نبی پس از استقلال در سال ۱۹۶۳ به الجزایر بازگشت، در سال ۱۹۶۴ به عنوان مدیر کل آموزش عالی منصوب شد، و به سخنرانی و نوشتن ادامه داد
، چشم اندازهای الجزایر را در همین زمان منتشر نمود و بخش اول از خاطرات خود را نیز منتشر کرد. او در سال ۱۹۶۷ از سمت خود استعفا داد تا تمام وقت به تحقیق در دانشکده اندیشه های اسلامی بپردازد. وی به انتشار مقالات زیادی در الجزایر پرداخت، به خصوص با انتشار مقالاتی در زمینه فرهنگ و تمدن و مشکلات جامعه که در سال ۱۹۶۸ در مجله (انقلاب آفریقایی)، منتشر می شد، این مقالات بعد از مرگ او در یک کتاب گردآوری شد. درطی ۱۹۶۸–۱۹۷۳ وی به برخی از دانش آموزانی که به او نزدیک بودند به ویژه کسانی که در وزارت امور مذهبی و اوقاف به کار گرفته شده بودند توصیه می کرد تا انجمنهایی برای آموزش ایدئولوژیک نسل جوان در نظر بگیرند. کتاب های بسیاری در مورد تفکر و اندیشه مالک بن نبی منتشر شد، به خصوص توسط کسانی که علاقه مند رنسانس و اصلاحات بودند، که در این رابطه عمر کامل مسقاوی دو کتاب وی را به عربی ترجمه کرده است. رابطه با موسی صدر. موسی صدر در سخنرانی های متعدد خود به اندیشه های مالک بن نبی به ویژه کتاب پدیده قرآنی او ارجاع می دهد. همچنین به گزارش مسقاوی، آنان در ژوئن 1971 در لبنان با یکدیگر دیدار داشتند و صدر او را دعوت کرد به ایران سفر کند. تأ
لیفات. مالک بن نبی توانست بر روی مهم ترین مسائل جهان دست بگذارد و سلسله کتاب هایی تحت عنوان مشکلات تمدن ها در پاریس، مصر و الجزایر منتشر کرد که بعضی از آن ها بقرار زیر است: درگذشت. وی در روز ۳۱ اکتبر ۱۹۷۳ در الجزایر درگذشت درحالی که مجموعه گسترده ای از آثار از خود برجای گذاشت. او در آرامگاه سیدی احمد بوقبرین در پایتخت الجزایر دفن شد.
مسند احمد بن حنبل مشهورترین اثر احمد بن محمد بن حنبل بغدادی از دستهٔ آثار مسند است. ابن جوزی می گوید که این مسند سی هزار حدیث دربردارد. به گفتهٔ احمد بن حنبل، این احادیث از میان ۷۵۰ هزار حدیث از پیامبر اسلام گردآوری شده است و هر حدیثی را که در آن نیاورده باشد، نباید حجت شمرد. محدثان دربارهٔ صحت احادیث این کتاب و ضعف احادیث آن نظرات گوناگونی دارند.
مُسنَد اصطلاحی در علم حدیث است و به احادیثی گفته می شود که سلسلهٔ راویانش تا فرد معصوم منقطع نباشد. کتاب های مسند به کتاب های حدیثی گفته می شود که روایات آن براساس ترتیب صحابه گرد آمده باشد. از بزرگ ترین مسندهای موجود، "مسند احمد بن حنبل" است. از مسندهای جدید نیز می توان به "المسند الجامع" اشاره کرد.