moaminsharifi/fa-wiki-spell-checker huggingface dataset:
نکتهٔ دیگر در مورد او رابط نیکویش با خاندان سامانی است که به دستور مأمون صورت گرفته بود. به طوریکه او نوح ابن اسد را حاکم سمرقند، احمد ابن اسد را حاکم فرغانه و یحیی بن اسد را به حکومت چاچ و استروشنه گماشته بود.
پناهندگان فلسطینی در اردن () شامل شهروندانی است که تابعیت فلسطین را دارند و به عنوان پناهنده به سر می‌برند یا شامل شهروندانی می‌شود که بخشی یا به طول کامل اصل و نسبشان فلسطینی است و در اردن زندگی می‌کنند.Population stands
اغلب نیاکان فلسطینی‌ها بین ۱۹۴۷ و ۱۹۶۷ به عنوان پناهندگان فلسطینی به اردن آمدند. امروزه، اکثر فلسطینی‌ها و فرزندانشان در اردن شهروند اردنی شده‌اند و اردن تنها کشور عربی است که پناهندگان فلسطینی ۱۹۴۸ را به‌طور کامل با مردم اردن یکپارچه کرده‌است.Where We Work
در اردن هیچ آمار رسمی مربوط به سرشماری از ساکنان فلسطینی دراین کشور وجود ندارد، اما آمار واقعی بستگی به تعریف فرد فلسطینی دارد. در سال ۲۰۰۸، گروه بین‌المللی حقوق اقلیت‌ها برآورد کرد شهروندان اردنی که دارای منشأ فلسطینی هستند حدود ۳ میلیون نفرند. در سال ۲۰۰۹ اداره مرکزی آمار فلسطینPalestinian Central Bureau of Statistics (PCBS)Palestinians at the end of 2012 تعداد فلسطینیان ساکن اردن را ۳٫۲۴ میلیون نفر اعلام کرد. در سال ۲۰۱۴، حدود ۲٫۱ میلیون پناهنده فلسطینی در اردن ثبت شده‌است. حدود ۳۷۰ هزار نفر در ۱۰ اردوگاه پناهندگان زندگی می‌کنند و بزرگترین آنها اردوگاه پناهندگان البقعه است که بیش از ۱۰۴ هزار تن در آن ساکن هستند و پس از آن اردوگاه جدید امان (الوحدات) که ۵۱٬۵۰۰ نفر جمعیت دارد.
فلسطینی‌ها عمدتاً در شمال و مرکز اردن، به ویژه در استان امان، استان زرقاء و استان اربد تمرکز دارند.
کشتی انتقام ملکه ان یک کشتی فرانسوی بود که به ریش‌سیاه تعلق داشت. هر چند اطلاعات دقیقی از آن کشتی در دسترس نیست اما به گفته افسانه‌ها آن کشتی بسیار کشتی زیبایی بود. سرانجام این کشتی در سواحل کارولینای شمالی در آمریکا غرق شد. تکه‌هایی از این کشتی و چیزهای بسیار زیاد دیگر، مثل اسلحه و… که به سطح آب آمده بودند در سال ۱۹۹۵ کشف شدند. یکی از لنگرهای این کشتی هم در سال ۲۰۱۱ پیدا شد.
"الگوریتم اکس" نامی است که دانلد کنوث در مقاله خود با نام "پیوندهای رقصنده" (به انگلیسی: Dancing Links) برای اشاره به "رویکرد واضح سعی و خطا" برای یافتن تمام پاسخ‌های ممکن برای مسئله پوشش دقیق، بکار برده‌است. از نظر فنی الگوریتم اکس یک الگوریتم بازگشتی، غیر قطعی، عمق-اول با پس گرد است. در حالی که الگوریتم اکس به‌طور کلی به عنوان یک توضیح موجز برای بیان راه حل مسئله پوشش دقیق مفید است، ممکن است منظور راه حل کنوث در ارائه آن صرفاً برای نشان دادن روش ابزار پیوندهای رقصنده با استفاده از یک پیاده‌سازی کارای آن تحت عنوان DLX باشد.
رود اعظم یکی از رودهای فلات مرکزی ایران است که در محدودهٔ حوضهٔ آبریز ابرقو–سیرجان قرار دارد.
رود اعظم از کوه‌های روشن و اسمالزاری در شمال دریاچه طشت نرگس سرچشمه می‌گیرد و سرشاخه‌های آن در نزدیکی شهر حسامی به هم می‌پیوندد. سپس در جهت غرب به شرق جریان می‌یابد و به کویر مروست منتهی می‌شود. طول این رود ۱۴۰ کیلومتر و مساحت حوضهٔ آبریز آن حدود ۱۷۳۳ کیلومتر مربع است.
خاندان جیهانی در عصر سامانیان (قرن ۴ هجری) در دستگاه حکومت عهده‌دار وزارت یا مشاغل مهم دیگر بودند، آنها از خانواده‌های مشهور ایرانی زاده در شهر جیهان در نزدیکی بخارا بودند. سه نفر از وزراء سامانیان که به جیهان منسوب و به جیهانی شهرت یافته‌اند، عبارتند از: ابوعبداللّه محمد بن احمد بن نصر، و (پسرانش) محمد بن محمد مکنی معروف به ابوعلی و احمد بن محمد.
وی مشهورترین رجل نامی خاندان جیهانی است. جیهانی پس از ابوبکر بن حامد نسفی چندی وزیر احمد بن اسماعیل سامانی بود. سپس زمانی که امیر نصر بن احمد هنوز به حد رشد و بلوغ نرسیده بود، عهده‌دار وزارت وی شده‌است. وی در دو مرحله در زمان امیر نصر بن محمد به وزارت رسیده‌است. مرحله اول از سال ۳۰۱ تا ۳۰۹ ه‍.ق و مرحله دوم از سال ۳۲۵ تا ۳۲۸ ه‍. ق
جیهانی در دوره وزارتش به اتفاق دولتمردان سامانی از جمله حمویة بن علی امور کشور را سامان داد. در این زمان منصب وزارت از اهمیت خاصی برخوردار بوده‌است. تکوین نظام دیوانی سامانیان بیشتر مرهون کوششهای ابوعبدالله جیهانی بوده‌است. وی برای اداره دیوان وزارت سامانی بسیاری از مراسمات و تشکیلات ایران عهد ساسانی را در امور وارد کرد. از پایان وزارت ابوعبدالله جیهانی و انتصاب ابوالفضل بلعمی به جای او اطلاعی در دست نیست؛ اما احتمالاً وی بر اثر فشار فقهای بخارا و شاید به اتهام زندقه و الحاد برکنار شده‌است.
ابوعلی محمد بن محمد جیهانی پسر محمد بن احمد بن نصر جیهانی (جیهانی کبیر) پس از بر کناری یا رحلت ابوالفضل بلعمی در سال ۳۳۰ هجری به وزارت سعید بن احمد سامانی منصوب شد.
احمد بن محمد بن نصر جیهانی فرزند محمد بن احمد جیهانی (جیهانی کبیر) از وزرا نوح بن منصور سامانی بود. وی دارای آثار و تالیفات متعددی است که از جمله آنها می‌توان به موارد ذیل اشاره کرد:
المسالک و الممالک کتاب معروفی است که اصل آن در دسترس نیست؛ اما بسیاری از آن نقل کرده‌اند. این کتاب احتمالاً همان کتابی است که مسعودی در مورد آن می‌نویسد: جیهانی وزیر نصر بن احمد سامانی کتابی در وصف جهان و اخبار و عجایب آن و شهرها و دریاها و امت‌های عالم تصنیف کرده‌است. کتاب المسالک و الممالک جیهانی هر چند امروزه در دسترس نیست؛ اما برخی جغرافی نویسان پس از جیهانی اطلاعات خود را در باب سرزمین‌های غیراسلامی شمال و شرق از آن گرفته‌اند. او با نوشتن این کتاب به جهانگردان مشهوری چون بودلف و ابن فضلان یاری رسانده‌است.
اردوگاه پناهندگان الوحدات که به الوحدات موسوم است، دومین اردوگاه بزرگ پناهندگان فلسطینی در اردن به‌شمار می‌رود، آمار ثبت شده پناهندگان فلسطینی در این اردوگاه به سختی ۵۱٫۰۰۰ می‌شود.
باشگاه ورزشی الوحدات اردن در این اردوگاه قرار دارد.palestine refugees
اردوگاه پناهندگان مغازی یک اردوگاه پناهندگان در دولت فلسطین است که در داخل حکومت خودگردان فلسطین قرار دارد.Projected Mid -Year Population for Deir al Balah Governorate by Locality 2004- 2006 Palestinian Central Bureau of Statistics اردوگاه پناهندگان مغازی ۲۲٬۵۳۶ نفر جمعیت دارد، و در استان دیرالبلح در بخش مرکزی نوار غزه قرار دارد. این اردوگاه پناهندگان فلسطینی است که بنا بر آمار اداره مرکزی آمار فلسطین در سال ۱۹۴۹ احداث شد.Maghazi camp
جمعیت این اردوگاه بر اساس آمار نیمه سال ۲۰۰۶ بالغ بر ۲۴ هزار و ۲۸۴ نفر بوده‌است که در زمینی به مساحت ۰٫۶ کیلومتر مربع احداث شد. این اردوگاه در تاریخ ۶ ژانویه ۲۰۰۳ با اتهام این که جنگجویان در آن پناه گرفته‌اند توسط ارتش اسرائیل مورد تهاجم قرار گرفت و سه فلسطینی کشته و تعداد زیادی مجروح شدند.http://www.unhchr.ch/Huridocda/Huridoca.nsf/(Symbol)/E.CN.4.2003.G.29.En?Opendocument Question of the Violation of Human Rights in the Occupied Arab Territories Including Palestine
قبل از بستن نوار غزه توسط اسرائیل در سال ۲۰۰۰ و پس از پایان دومین انتفاضه فلسطینیان، اکثر ساکنان اردوگاه درکارهای مختلفی در اسرائیل شاغل شدند یا به عنوان کشاورزان محلی در محل به زراعت پرداختند. روزهای یکشنبه یک بازار هفتگی یا آزاد در فضای باز دائر می‌شود که ساکنان از کارگاه‌ها، نانوایی‌ها، کافه‌ها، رستوران‌ها مواد غذایی خود به این بازار آورده و می‌فروشند.
اردوگاه مغازی دارای سه مدرسه ابتدایی و ۲ دبیرستان است که توسط آژانس امداد و اقدام سازمان ملل متحد برای آوارگان فلسطینی در خاور نزدیک UNRWA اداره می‌شود. ۶۴۰۷ دانش آموز در سال‌های ۲۰۰۴–۲۰۰۵ در این مدارس ثبت نام کرده‌اند. آژانس امداد و اقدام سازمان ملل متحد برای آوارگان فلسطینی در خاور نزدیک در سال ۱۹۹۸ خدمات آموزشی یکپارچه ای را به ۱۲۶۴ کودک معلول ارائه داد. علاوه بر این برخی فعالیت‌های ورزشی، اجتماعی و فرهنگی جوانان نیز جزو برنامه‌های آموزشی این اردوگاه محسوب می‌شود.
طلاقم بده به‌خاطر گربه‌ها فیلمی در ژانر وحشت-روانشناختی به کارگردانی و نویسندگی محمدعلی سجادی و تهیه‌کنندگی محمدرضا مصباح محصول سال ۱۳۹۶ است.
فیلمبرداری این اثر اسفند ۱۳۹۵ در تهران انجام شد. این فیلم تنها دو لوکیشن اصلی دارد و بخش عمده آن در یک دادگاه فیلم‌برداری شده‌است. رضا مولایی، مریم همتیان، جلال الدین ترابی و شیرین ولی پور بازیگران این فیلم سینمایی هستند.
فیلمنامه «طلاقم بده به خاطر گربه‌ها» براساس یک رخداد واقعی توسط محمدعلی سجادی به نگارش درآمده است.
داستان فیلم، درباره‌ی زنی است که پس از نقل مکان با همسرش به یک ساختمان مسکونی، مورد ضرب و شتم اجنه قرار می‌گیرد و دلیل درخواست طلاق از همسر خود را چنین اعلام می‌کند:
«رای طلاق را دوماه بالای کمد گذاشتم و اجرا نکردیم. آن‌ها از شب اول به سراغم آمدند و به طور وحشتناکی کتک زدند، طوری‌ که جای زخم‌ها گوشت اضافه آورد، حتی سقف دهانم را زخم کرده بودند و موهای سرم را کنده بودند. پس از اجرای حکم طلاق گربه‌ها خوشحال بودند بعد از آن چند بار به منزل همسرم رفتم تا کارهایش را انجام دهم و خانه‌اش را مرتب کنم، جن‌ها با عصبانیت سراغم آمدند و دندان قروچه کردند. بعد از طلاق که به همراه دو دخترم به خانه پدرم برگشتم دیگر آن‌ها سراغم نمی‌آیند و مرا نمی‌زنند. تا چند وقت احساس دلتنگی به آن‌ها را دارم اگر بخواهم می‌توانم آن‌ها را ببینم …»
این فیلم براساس یک رخداد واقعی توسط محمدعلی سجادی به نگارش درآمده است و داستان زندگی زوجی جوان را روایت می‌کند که در سال ۱۳۸۳ هجری خورشیدی به دادگاه مراجعه کرده و تقاضای طلاق می‌دهند. دلیل اصلی آن‌ها برای این جدایی تنها به خاطر گربه هاست!
اردوگاه پناهندگان مارکا () یکی از شش اردوگاه «اضطراری» است که در سال ۱۹۶۸ ساخته شده‌است، از سال ۱۹۶۷ در نتیجه جنگ شش روزه اعراب و اسرائیل قریب به ۱۵۰۰۰ پناهنده فلسطینی و آوارگان از کرانه باختری رود اردن و نوار غزه خارج شده و در این محل پناه داده شدند. موقعیت این اردوگاه در حدود ۱۰ کیلومتری شمال شرقی مرکز شهر در منطقه مارکای امان قرار دارد که به زبان محلی به آن حطین یا Schneller می‌گویند.
در این اردوگاه ۴۴٫۸۷۹ پناهنده توسط آژانس امداد و اقدام سازمان ملل متحد برای آوارگان فلسطینی در خاور نزدیک UNRWA ثبت شده‌اند و بیش از ۱۷٬۵۰۰ آواره در آن جابجا شده‌اند.Marka camp
در ابتدا، برای اردوگاه پناهندگان چادرهایی بر روی زمین بنا شد، مساحت این اردوگاه حدود ۹۱۷۰۰۰ مترمربع است. بین سالهای ۱۹۶۹ و ۱۹۷۱ طرح جدیدی برای آوردن چادرهای قوی تر برای زمستان‌های سرد و ساخت ۴٬۰۰۰ پناهگاه پیش ساخته توسط آژانس امداد و اقدام سازمان ملل متحد برای آوارگان فلسطینی در خاور نزدیک UNRWA به اجرا درآمد که بودجه ساخت و ساز آن از جمهوری فدرال آلمان، دولت ایتالیا، بانک توسعه اردن و کمک‌های اضطراری خاور نزدیک تأمین شد. بسیاری از ساکنان اردوگاه در طول سال‌ها، پناهگاه‌های بتونی خود را مقاوم تر کرده‌اند.UNRWA Marks Completion of Shelter and Infrastructure Works in Ein El Hilweh Refugee Camp
در اردوگاه دو مدرسه متوسطه و یک مرکز بهداشتی (MAP UK) که توسط دولت اردن اداره می‌شود به فلسطینی‌ها خدمات پزشکی ارائه می‌کند. یک کمیته محلی، یک مرکز خیاطی و یک مرکز کامپیوتری در اردوگاه وجود دارد. سایر آموزشها و خدمات بهداشتی و اجتماعی توسط آژانس امداد و اقدام سازمان ملل متحد برای آوارگان فلسطینی در خاور نزدیک UNRWA ارائه می‌شود که ۴۱۸ پرسنل سازمان ملل، ۱۰ مدرسه را با ۴۹۹۲ دانش آموز و دو مرکز بهداشتی را با بیلان ویزیت ۱۰۱۲ بیمار در روز اداره می‌کنند. بیش از ۶۰۰ خانواده از طریق یک برنامه سخت‌افزاری با انجام امورات بهداشتی اردوگاه کمکهای نقدی اضافی توسط UNRWA دریافت می‌کنند. همچنین یک اداره برنامه زنان که توسط زنان محلی و یک مرکز توانبخشی اجتماعی که از طرف UNRWA حمایت می‌شود مراقبتهای روزمره را تأمین می‌کنند.
Infobo scientist
سابق: دانشگاه آکسفورد, دانشگاه توهوکو, پژوهشگاه دانش‌های بنیادی
پژوهشگر برتر در حوزهٔ فناوری نانو - اولین دوره اهدای "جایزه ملی نانوفناوری ایران" - ۱۳۸۰
چهرهٔ ماندگار فناوری نانو در. ۱۳۹۹
هاشم رفیعی‌تبار فیزیک‌دان و یکی از محققین فناوری نانو در ایران است. دکتر مرتضی عابدینی صاحب برند دکترنانو.و گروه علمی صنعتی دکترنانو doctornano
هاشم رفیعی تبار در سال ۱۳۲۷ در تهران متولد شد. تحصیلات ابتدایی و متوسطه را در تهران گذرانده و در سن ۱۷ سالگی برای تحصیلات عالی عازم انگلستان شد. باتوجه به علاقه‌مندی بسیار به رشته فیزیک نظری، کارشناسی و کارشناسی ارشد و دکترای خود را در رشته فیزیک ذرات بنیادیhttp://www.telewebion.com/episode/1430936 که رشته بسیار مطرحی است از دانشگاه لندن اخذ نمودند. ایشان در سال ۱۹۸۰ میلادی در دانشگاه آکسفورد انگلستان مستقر شده و همزمان با تحقیق بر روی رشته جدید فیزیک ماده چگال، رشته نانوی محاسباتی که رشته جدیدی بود را با چند تن از دوستان راه اندازی کردند و از آن موقع بود که این رشته در سطح جهان معرفی و شناخته شد. وی پس از اتمام دوران تحصیل خود در انگلستان جهت گذراندن یک دوره تحقیقاتی پسا دکترا با همکاری یکی از محققان معروف و برنده جایزه نوبل در دانشگاه پاریس مدتی بر روی مبانی مکانیک کوانتومی تحقیقاتی داشته‌اند. در سال ۲۰۰۰ میلادی پس از بازگشت به وطن به عنوان رئیس پژوهشکده علوم نانو در پژوهشگاه دانش‌های بنیادی در مرکز تحقیقات فیزیک نظری و ریاضیات مشغول به تحقیق شدند و از آن زمان بود که برای همیشه در ایران ماندگار شدند. اغلب فعالیت‌های پژوهشی برجسته ایشان کارهای نظری و محاسباتی در حوزه‌های مختلف علوم و فناوری نانو بوده که با تأسیس مرکز تحقیقات نانوتکنولوژی و مهندسی بافت و پس از راه اندازی رشته پزشکی نانو در دانشکده پزشکی دانشگاه علوم پزشکی شهید بهشتی از سال ۱۳۸۵ تحقیقات آزمایشگاهی و کاربردی هم به حوزه‌های تحقیقاتی پیشین ایشان اضافه گردید. اکنون ایشان به عنوان استاد تمام گروه فیزیک و مهندسی پزشکی مشغول به فعالیت‌های آموزشی، تحقیقاتی و تربیت دانشجویان دکتری در این رشته می‌باشند. قابل ذکر است ایشان در زمان ریاست جمهوری آقای محمد خاتمی با همکاری تنی چند از اساتید از جمله دکتر غلامعلی منصوری به درخواست آقایان دکتر محمد رضا عارف و دکتر رضا منصوری معاون پژوهشی وقت کمیته نانوتکنولوژی وزارت علوم را پایه‌گذاری کردند. جاپ یک کتاب در مورد محاسبات فیزیکی نانولوله کربنی در انتشارات دانشگاه کمبریج،https://www.cambridge.org/core/books/computational-physics-of-carbon-nanotubes/8A7DDACCF34E10899D831E9FDBFFADDC بیش از ۱۱۰ مقاله علمی در نشریات معتبر جهانی و تجربه سال‌ها ریاست بخش علوم نانو در دانشگاه گرینچ انگلستان و تحقیق و تدریس در دانشگاه‌های آکسفورد و توهوکو ژاپن همراه با مدیریت چندین پروژه بزرگ علمی در این کشورها بخش دیگری از کارنامه علمی این پژوهشگر ایرانی را تشکیل می‌دهد.
فعالیت ایشان به صورت عمده در حیطه‌های مختف علوم و فناوری نانو است که از زمان ملحق شدن به دانشگاه علوم پزشکی شهید بهشتی در حوزه علوم نانو زیستی قرار گرفته که با پزشکی همپوشانی دارد. پروژه‌های تحقیقاتی متعددی را با کمک دانشجویان در این دانشگاه شروع کرده‌اند. از جمله فعالیت‌های برجسته ایشان می‌توان به تحقیق روی اثرات تابش‌های ریزموج مانند تلفن همراه و… روی نانوساختارهای زیستی به خصوص فعالیت مغز، تحقیق بر روی طراحی شبکیه مصنوعی با کمک نانو تکنولوژی و پیوند شبکیه و برگرداندن قسمتی از بینایی با همکاری مرکز تحقیقات چشم در بیمارستان لبافی نژاد و تحقیقات بنیادی روی مبدأ حیات و مدلسازی برای پی بردن به مبدأ حیات اشاره کرد.
صفحه هاشم رفیعی تبار در دانشگاه علوم پزشکی شهید بهشتی
قلب مادر () یک فیلم است محصول سال ۱۹۵۷، به کارگردانی گریگور ملیک-آواگیان و بازیگری واردوهی واردرسیان، تسولاک آمریکیان، خورن آبراهامیان، ورجالویس میریجانیان و آشوت نرسیسیان
یک سیستم ایمنی صنعتی اقداماتی برای مقابلهٔ قاطع در هر مجتمع کارخانه‌ای پرخطر مانند تأسیسات نفت و گاز و نیروگاه‌های هسته‌ای است. این اقدامات به منظور حفاظت و پوشش انسان‌ها، تأسیسات و کارخانه‌های صنعتی و محیط انجام می‌گیرد؛ در صورتی که پروسهٔ تولید فرایندی فراتر از توان کنترل‌های مجاز مرسوم برسد، مورد استفاده قرار می‌گیرند.
همان‌طور که نام نشان می‌دهد این سیستم‌ها برای کنترل کردن نیستند بلکه بیشتر در جهتت تولید قرار دارند. فرایند کنترل با استفاده از فرایند pcs انجام می‌شود و توسط سیستم‌های ایمنی متصل می‌شود تا اقدامات فوری در صورت شکست سیستم و فرایند انجام شود.
فرایند کنترل و سیستم‌های ایمنی معمولاً در یک سیستم ادغام می‌شوند که سیستم ایمنی و کنتول مجتمع نامیده می‌شوند. سیستم‌های صنعتی معمولاً از سیستم‌های اختصاصی که حداقل SIL2 را دارند استفاده می‌کنند. در حالی که سیستم‌های کنترل می‌توانند از SIL1 شروع کنند. SIL بر روی هر دو نیاز سهت افزاری و نرم‌افزاری مانند کارتت‌ها کار فرمایان پردازنده‌ها و رای‌گیری‌ها اعمال می‌شود.
دو نوع اصلی سیستم‌های ایمنی صنعتی در صنایع فرایند وجود دارد:
فرایند ایمنی سیستم یا فرایند خاموش شدن سیستم
سیستم خنک‌کننده ایمنی: این سیستم شامل قطع شدن اضطراری و فشرده سازیEDP می‌باشد.
سیستم سومی نیز وجود دارد که به عنوان مانع کار می‌کند و شامل اسپری کردن روغن داغ و گاز داغ از فلنج‌ها دریچه‌ها و اتصالات‌ها است. این سیستم یه عنوان سیر ایمنی اسپری و محافظ‌های فنلج شناخته می‌شود. استفاده از اسپری توسط OSHA
این سیستم‌ها همچنین می‌توانند با توجه به سطوح ESD / EDP به صورت زیر تعریف شوند:
سیستم ایمنی خاموش (SSS) باید در صورت وضعیت اورژانسی امکانات را به حالت ایمن تعطیل کند، در نتیجه محافظت از پرسنل، محیط زیست و دارایی را به عهده دارد. سیستم خاموش کردن ایمنی باید تمام ورودی‌ها و خروجی‌ها را نسبت به عملکردهای اضطراری (ESD) (محیط و حفاظت پرسنل) مدیریت کند. این سیستم همچنین ممکن است توسط سیگنال‌ها از سیستم آتش و گاز اصلی تغذیه شود.
اهداف اصلی سیستم آتش و گاز عبارتند از حفاظت از پرسنل، محیط زیست و کارخانه (از جمله تجهیزات و سازه‌ها). FGS باید به این اهداف دست یابد:
با توجه به بسته شدن دریچه‌های ESD در یک فرایند، ممکن است برخی مایعات قابل اشتعال به دام افتاده باشد و برای جلوگیری از پیامدهای ناخواسته (مانند افزایش فشار در عروق و لوله‌کشی) باید آزاد شوند. برای این منظور سیستم‌های اضطراری (EDP) در ارتباط با سیستم‌های ESD برای آزاد سازی (به یک مکان امن و ایمن) از جمله مایعات به دام افتاده استفاده می‌شود.
تخصیص ثبات یکی از مراحل پایانی کامپایل کدهای برنامه‌نویسی است که مهم‌ترین مرحله برای افزایش کارایی کد تولید شده به‌وسیلهٔ کامپایلر می‌باشد. اهمیت این مرحله با توجه به افزایش سرعت پردازنده‌ها و هم‌چنین افزایش زمان دسترسی به حافظه، روز به روز بیش‌تر می‌شود و تأثیر آن را به وضوح می‌توان بر روی حجم کد تولید شده و هم چنین کارایی آن مشاهده نمود.
کامپایلرها به‌طور کلی به سه بخش تقسیم می‌شوند: بخش ابتدایی که زبان سطح بالا را به یک زبان سطح میانی تبدیل می‌کند. تحلیل لغوی، نحوی، و معنایی در این بخش انجام می‌شود. بخش میانی که در این بخش روش‌های زیادی برای بهبود کد به کار گرفته می‌شوند و در نهایت بخش پایانی کامپایلر که وظیفهٔ تبدیل کد میانی به کد ماشین را بر عهده دارد. در تمامی کامپایلرها، در بخش میانی این فرض وجود دارد که بی‌نهایت ثبات وجود دارد (و این ثبات‌ها را ثبات‌های مجازی می‌نامند) و هیچ نگرانی‌ای در مورد کمبود ثبات وجود ندارد. اما از آن‌جایی که تمامی ماشین‌ها دارای تعداد محدودی ثبات هستند باید در بخش پایانی تمامی ثبات‌های مجازی به ثبات‌های واقعی نگاشت شوند.Aho, Alfred V. , Ravi Sethi, and Jeffrey D. Ullman. Compilers, Principles, Techniques. Boston: Addison wesley, 1986.
اولین روش بهینه برای تخصیص ثبات به‌وسیلهٔ آقای Chaitin و همکارانشان در سال ۱۹۸۱ میلادی ارائه شد که از مسئلهٔ معروف رنگ‌آمیزی گراف استفاده کردند.Chaitin, Gregory J. , et al. "Register allocation via coloring." Computer languages 6.1 (1981): 47-57 در سال ۱۹۹۲ میلادی نیز آقای Briggs در رسالهٔ دکترای خود همان روش Chaitin را بهبود بخشید و امروزه به روش Chaitin-Briggs معروف است.Briggs, Preston. Register allocation via graph coloring. Diss. Rice University, 1992. در حال حاضر نیز تعداد بسیار زیادی از کامپایلرها از این روش برای تخصیص ثبات استفاده می‌کنند. اما از آن‌جایی که این روش سربار بالایی دارد (هم از لحاظ زمان کامپایل و هم از لحاظ پیچیدگی مسئله) در ادامه روش‌های دیگری مانند اسکن خطیPoletto, Massimiliano, and Vivek Sarkar. "Linear scan register allocation." ACM Transactions on Programming Languages and Systems (TOPLAS) 21.5 (1999): 895-913. و تخصیص ثبات بر پایهٔ کد میانی با فرم SSA ارائه شدند.Hack, Sebastian, Daniel Grund, and Gerhard Goos. "Register allocation for programs in SSA-form." International Conference on Compiler Construction. Springer Berlin Heidelberg, 2006.
تخصیص ثبات در سطوح متفاوتی از کد میانی می‌تواند انجام شود: در سطح عبارات کد در سطح بلوک‌های پایهٔ کد و در سطح یک روال از کد. به مورد اخیر تخصیص ثبات سراسری نیز می‌گویند. اکثر روش‌های ارائه شده سراسری هستند.
در طراحی تمامی کامپایلرها این فرض وجود دارد که در بخش میانی کامپایلر که وظیفهٔ بهبود کد را به عهده دارد، بی‌نهایت ثبات برای نگهداری متغیرها وجود دارد. به این ثبات‌ها، "«ثبات‌های مجازی»" می‌گویند. حال مسئلهٔ تخصیص ثبات این‌گونه مطرح می‌شود:
"«طی تبدیل کد میانیِ کامپایلر به کد ماشین باید با روشی بهینه تمامی ثبات‌های مجازی بر روی ثبات‌های واقعیِ ماشین مورد نظر نگاشت شوند یا در صورت محدودیت ثبات‌های واقعی از حافظهٔ اصلیِ ماشین برای نگهداری آن‌ها استفاده کنیم.»"
همان‌طور گه در مقدمه گفته شد، تمامی روش‌های کلی تخصیص ثبات به دو دسته تقسیم می‌شوند: سراسری و غیر سراسری. در ادامه مهم‌ترین روش‌های تخصیص ثبات در هر یک از این تقسیم‌بندی‌ها می‌آید.
اولین روشی که برای تخصیص ثبات استفاده شد و هم‌چنین محبوب‌ترین روش است، تخصیص ثبات با استفاده از مسئلهٔ معروف رنگ‌آمیزی گراف است. در این روش برای هر متغیر (و یا همان ثبات‌های مجازی) بازه‌هایی که زنده هستند مشخص می‌شوند؛ یا به عبارتی برای هر متغیر مشخص می‌شود که چه زمانی مقدار آن ارزش دارد که این همان بازهٔ میان تعریف و استفاده از آن متغیر است. حال با استفاده از تعریف بازه‌های زندگی هر متغیر، مسئلهٔ تخصیص ثبات را بر روی مسئلهٔ رنگ‌آمیزی گراف نگاشت می‌کنیم.
اولین قدم ساخت «گراف برخورد» است. راس‌های این گراف همان بازه‌های زندگی متغیرها هستند. یال‌های این گراف نیز این‌گونه مشخص می‌شوند: «دو راس در گراف برخورد به هم متصل هستند اگر نقطه‌ای در برنامه وجود داشته باشد که متغیرهای متناظر آن راس‌ها همزمان زنده باشند.» اکنون که گراف برخورد را تعریف کردیم می‌توانیم مسئلهٔ تخصیص ثبات را به عنوان یک مسئلهٔ رنگ‌آمیزی گراف مطرح کنیم.
فرض کنید که به تعداد ثبات‌های ماشین رنگ در اختیار داریم. حال با این رنگ‌ها به رنگ‌آمیزی گراف برخورد می‌پردازیم. اگر در نهایت به یک رنگ‌آمیزی معتبر رسیدیم، هر دو راس مجاور رنگ‌های متفاوتی خواهند داشت و این بدین معنا است که هر دو متغیر همزمان زنده در ثبات‌های مختلفی قرار می‌گیرند و با یکدیگر برخوردی نخواهند داشت. اما از آن‌جا که مسئلهٔ رنگ‌آمیزی گراف ان‌پی کامل است، از یک روش مکاشفه‌ای برای تخصیص ثبات استفاده می‌شود. در شکل زیر به‌طور خلاصه پیاده‌سازی تخصیص ثبات با استفاده از رنگ‌آمیزی گراف را مشاهده می‌کنید.
این روش سریع‌ترین روش موجود برای تخصیص ثبات است و تقریباً در تمامی کامپایلرهای درجا از آن استفاده می‌شود. در این روش تمامی دستورهای برنامه با هر ترتیب دلخواهی مرتب می‌شوند (که البته در تمامی کامپایلرها ار همان ترتیبی که دستورها در برنامه آمده‌است استفاده می‌شود). سپس بازه‌های زندگیِ هر متغیر ساخته می‌شود که نقطهٔ شروع این بازه دستوری است که آن متغیر را تعریف می‌کند و نقطهٔ پایانی بازه دستوری است که برای آخرین بار از آن متغیر استفاده کرده‌است. پس از ساخت بازه‌های زندگی متغیرها، آن‌ها را بر اساس نقطهٔ شروعشان مرتب می‌کنیم و به همان ترتیب شروع می‌کنیم به تخصیص ثبات؛ اگر ثباتی برای تخصیص وجود داشته که آن را در اختیار آن بازه قرار می‌دهیم و اگر تمامی ثبات‌ها تخصیص یافته باشند باید یکی از متغیرها در حافظهٔ اصلی نگهداری شود. برای این کار نیز متغیری انتخاب می‌شود که دیرتر از همه استفاده شود (نقطهٔ پایانی بازهٔ آن متغیر از همه بیش‌تر باشد)
این روش به صورت خطی تخصیص ثبات را انجام می‌دهد و سربار زمانی آن خیلی کم‌تر از روش رنگ‌آمیزی گراف است و همان‌طور که گفته شد در کامپایلرهای درجا بسیار کاربرد دارد.
در این روش ابتدا کد میانی کامپایلر به فرم SSA در می‌آید. گراف برخورد حاصل از این کد یک ویژگی شاخص دارد که در رنگ‌آمیزی آن بسیار به ما کمک می‌کند. گراف برخورد در کدهای به فرم SSA همواره وتری هستند. گراف‌های وتری در زمان چند جمله‌ای قابل رنگ‌آمیزی هستندBlair, Jean RS, and Barry Peyton. "An introduction to chordal graphs and clique trees." Graph theory and sparse matrix computation. Springer New York, 1993. 1-29. و این موضوع تخصیص ثبات را بسیار تسریع می‌کند.
روش‌های تخصیص ثبات غیر سراسری، روش‌هایی هستند که کد را به چندین بخش تقسیم می‌کنند (به عنوان مثال این قسمت‌ها می‌توانند همان بلوک‌های پایهٔ کد باشند) و برای هر یک از این بخش‌ها به صورت جداگانه تخصیص ثبات انجام می‌دهند. روش‌های کمی به صورت غیر سراسری پیاده‌سازی شده‌اند و یکی از دلایل آن هماهنگ‌کردن بخش‌های مختلفی هستند که به صورت جداگانه تخصیص ثبات انجام داده‌اند. اما در ادامه یکی از روش‌های غیر سراسری آمده‌است که توانسته‌است کد با کیفیت خوبی تولید کند و در بسیاری از برنامه‌ها کارایی را نسبت دیگر روش‌های سراسری افزایش دهد.Eisl, Josef. "Trace register allocation." Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity. ACM, 2015.
ایدهٔ کلی این روش بدین گونه است که کد را به دو بخش کلی تقسیم می‌کند: (۱) "بخش داغ" که قسمت‌هایی از کد را شامل می‌شود که با فرکانس زیادی انجام می‌شود، (۲) "بخش سرد" که شامل قسمت‌هایی است که کم‌تر استفاده می‌شوند. پس از تقسیم‌بندی کد، برای هر کدام از قسمت‌های کد از روش تخصیص ثبات متناسب آن استفاده می‌کنیم؛ یا به عبارتی سعی می‌کنیم برای بخش‌های داغ کد از روش‌های بسیار دقیق تخصیص ثبات استفاده کنیم تا کارایی کد هنگام اجرا پایین نیاید و برای بخش‌های سرد کد از روش‌های معمولی و سریع استفاده کنیم؛ در نتیجه برای بخش‌هایی از کد که تأثیر چندانی در کارایی ندارند، زمان زیادی را صرف نمی‌کنیم؛ بنابراین بدون از دست دادن کارایی، سربار کامپایل را نیز پایین می‌آوریم.
همان‌طور که مشخص است این روش تنها در کامپایلرهای درجا می‌تواند به کار رود (تنها با استفاده از اجرا کردن برنامه می‌توانیم قسمت‌های داغ و سرد آن را مشخص کینم).
به هر مجموعه از رشته‌های به طول نامتناهی از یک الفبای مشخص، یک زبان امگا (زبان ω) تعریف شده بر روی آن الفبا می‌گویند.
فرض می‌کنیم Σ الفبایی دلخواه باشد. یک رشته "نامتناهی"، که به آن رشته امگا نیز گفته می‌شود، یک توالی نامتناهی از حروف الفبای Σ به صورت <chem>a0a1a2...</chem> است. همان‌طور که هر رشته متناهی به طول 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 یک زبان منظم امگا است اگر به یکی از شکل‌های زیر باشد:
که توسط تعریف شده‌است به عنوان تشخیص دهنده زبان‌های منظم امگا مطرح می‌باشد که به این ترتیب مسئله عضویت این زبان‌ها تصمیم‌پذیر با وجود این ماشین تصمیم پذیر خواهد بود.
شکل ظاهری این ماشین مانند DFA و NFA است اما شرط پذیرش در آن متفاوت است.
هیپوکامپ یا اَسبک مغز قسمتی از دستگاه لیمبیک مغز است که مرکز یادگیری است.
هیپوکامپ ساختمان عصبی خمیده‌ای است در مغز که در کف شاخ میانی بطن‌های طرفی مغز قرار دارد.هوشمند ویژه، محمد، فرهنگ پزشکی انگلیسی۰فارسی، دوجلدی، (ترجمه‌ای از واژه‌نامهٔ مصور دورلند، نوشتهٔ ویلیام آلکساندر نیومن)، تهران: مؤسسهٔ نشر کلمه، ۱۳۷۰.
هیپوکامپ از بخش‌های دستگاه لیمبیک است که شکلی همانند اسب دریایی دارد و در اعماق لوب گیجگاهی جای گرفته‌است. هیپوکامپ از دو شاخ منحنی‌وار تشکیل شده‌است که به آمیگدال ختم می‌شوند. هیپوکامپ از بخش‌های مهم مغز پستانداران است. حافظه افرادی که هیپوکامپ آنان آسیب دیده یا با جراحی برداشته شده دچار اختلال جدی می‌شود.
هیپوکامپ مسئول حافظه نزدیک است و مغز قدامی را از آزموده‌های گذشته ما آگاه می‌کند. این مجموعه خاطرات گذشته را به شکل کوتاه‌مدت یا درازمدت حفظ می‌کند. این ناحیه از مغز جزء اولین نواحی مغز است که در بیماری آلزایمر آسیب می‌بیند.
دستگاه لیمبیک
نجیب‌الله خواجه‌عمری (زاده: ۱۳۳۴ خورشیدی خواجه‌عمری، غزنی) سیاستمدار افغانستانی و وزیر اسبق وزارت تحصیلات عالی افغانستان در دولت وحدت ملی به ریاست جمهوری محمد اشرف غنی است. وی پس از استعفا عبدالطیف روشان در ۱ قوس/آذر ۱۳۹۶ به عنوان سرپرست این وزارتخانه تعیین شد. در ۱۳ قوس/آذر ۱۳۹۶ توانست رای اعتماد پارلمان را کسب کند. در ۴ جوزا/خرداد ۱۳۹۸ عبدالتواب بالاکرزی جانشین وی به عنوان وزیر تحصیلات عالی افغانستان شد.
نجیب‌الله خواجه‌عمری زاده ۱۳۳۴ از خواجه‌عمری، غزنی و از قوم هزاره است. تحصیلات ابتدائی خود را در مدرسه سید جمال الدین افغان، دوره متوسطه را در لیسه/دبیرستان عالی حبیبیه و تحصیلات عالی خود را در سال ۱۳۵۲ در لیسه/دبیرستان تکنیکی ثانوی در کابل به اتمام رسانید و در سال ۱۳۵۳ وارد دانشکده مهندسی دانشگاه کابل شد. وی در سال ۱۳۵۷ مدرک لیسانس خود را در رشته مهندسی مکانیک از دانشگاه کابل کسب کرد و در سال ۱۳۷۲ از انستیتوت تکنولوژی دهلی-هندوستان (IIT-Delhi) مدرک ماستری/فوق لیسانس و در سال ۱۳۷۷ نیز از همین مرکز مدرک دکترا خود را کسب کرد.
PRNP یا «پروتئین پریون» () نام یک ژن است که پروتئین اصلی پریون «PrP» را کد می‌کند. این پروتئین با نام «CD230» هم شناخته می‌شود و با آنکه بیشتر در دستگاه عصبی بیان می‌شود، اما در بسیاری از بافت‌ها، در سرتاسر بدن نیز دیده می‌شود.
این پروتئین ایزوفرم‌های گوناگونی دارد: فرم معمولیِ PrPC، فرم مقاوم‌به پروتئازِ PrPRes همچون فُرم بیماری‌زایِ PrPSc(scrapie) ، و یک ایزوفرم دیگر که بر روی میتوکندری واقع است. پروتئین کژتابیدهٔ «PrPSc» با برخی اختلالات شناختی و همچنین بیماری‌های نورودژنراتیو نظیر جنون گاوی، بیماری کروتزفلد جاکوب، بی‌خوابی خانوادگی مرگ‌آور، بیماری کورو، اسکرپی و آلزایمر در ارتباط است.
این ژن بر روی بازوی کوتاه کروموزوم ۲۰، مابین انتهای آن و جایگاه شمارهٔ ۱۲، از جفت‌باز ۴٬۶۱۵٬۰۶۸ تا جفت‌باز ۴٬۶۳۰٬۲۳۳ واقع شده‌است.
موش‌هایی که این ژن را نداشتند، اشکالی در یادگیری یا حافظه کوتاه‌مدت نداشتند، اما دچار نقص در مرحلهٔ «تثبیت» حافظه بلند مدت بودند.
بی‌خوابی خانوادگی مرگ‌آور () یا بی‌خوابی کُشندهٔ خانوادگی یک بیماری بسیار نادر ارثی است که نحوهٔ توارثش به‌صورت «اتوزومال غالب» است. این بیماری از جملهٔ انسفالوپاتی‌های اسفنجی شکل پریونی مغز انسان است که به‌دلیلِ جهش در ژنِ تولیدکنندهٔ پروتئین PrPC ایجاد می‌شود؛ اما گاهی نیز به‌طور ناگهانی در افرادی که فرمِ جهش‌یافتهٔ غیر ارثی آن را دارند به وجود می‌آید که به آن «بی‌خوابی مرگ‌آور تک‌گیر» (sFI) می‌گویند.
این بیماری درمان ندارد و طی آن، فرد به‌طور پیشرونده‌ای دچار بی‌خوابی شده و به‌دنبالِ آن مبتلا به توهم، روان‌آشفتگی، اختلال در سطحِ هوشیاری و آگاهی (مشابه آنچه در زوال عقل دیده می‌شود) و سرانجام مرگ می‌گردد.
مدت زمانِ متوسط زنده‌ماندن و بقای فرد از زمان آغاز علائم بیماری، ۱۸ ماه است.
پروتئین معیوبی که موجب این بیماری می‌شود و PrPSc نام دارد در حدود ۴۰ خانواده در سرتاسر جهان کشف شده و در حدود ۱۰۰ نفر را مبتلا کرده‌است. اگر تنها یکی از والدین، دارای ژن معیوب باشند، ۵۰ درصد احتمال دارد که فرزندشان دچار این بیماری شود. از آنجایی که میانگین ظهور علائم در حدودِ سنین میانسالگی است، در نتیجه بسیار حائز اهمیت است که افرادِ مشکوک به داشتنِ این ژن، پیش از بچه‌دار شدن، آزمایش‌های لازمِ غربالگری ژنتیکی را انجام دهند.
نخستین نمونهٔ گزارش‌شده از این بیماری، به یک مرد ایتالیایی بازمی‌گردد که در سال ۱۷۶۵ میلادی بر اثر آن در ونیز درگذشت.
تا سال ۲۰۱۷ میلادی، هیچگونه درمان قطعی برای این بیماری وجود ندارد. ژن‌درمانی هم تاکنون نتیجه‌ای در برنداشته‌است. قرص‌های خواب و باربیتورات‌ها نه تنها اثر سودمندی ندارند، بلکه در ۷۴٪ موارد موجب تشدید علائم و تسریع سیر بیماری شده‌است. تنها، درمان علامتی بیماری می‌تواند در بهبود کیفیت زندگی این بیماران مؤثر باشد.
این بیماری چهار مرحله دارد:http://www.world-of-lucid-dreaming.com/fatal-familial-insomnia.html
سایر علائم بیماری شامل مردمک‌تنگی، یائسگی ناگهانی (در زنان) و اختلال نعوظ (در مردان)، سفتی گردن، فشار خون بالا و تپش قلب است. یبوست هم علامت شایعی است. با پیشرفت بیماری، فرد دچار یک حالت «توهم پیشاخواب دائمی» می‌شود و فرد دست و پاهایش را به‌گونه‌ای تکان می‌دهد که گویی خواب می‌بیند.
شیخعلی میرزا ملقب به شیخ‌الملوک پسر نهم فتحعلی‌شاه قاجار بود که مدت بیست و شش سال حکومت ملایر و تویسرکان را به عهده داشت.
شیخعلی میرزا در شیراز متولد شد و چون مادرش دختر شیخعلی‌خان زند و از سلسله زندیه و اصالتاً منسوب به ملایر بود، در سال ۱۲۲۴ قمری به حکومت ملایر منصوب شد. او در جنگ‌های ایران و روسیه فرماندهی جبهه قبه و بادکوبه را به عهده داشت، ولی کاری از پیش نبرد.دانشنامه آریانیکا، شیخعلی میرزا ملقب به شیخ‌الملوک
وزارت شیخعلی میرزا در حکومت ملایر نخست با خانلر خان زند (پسر علیمرادخان زند) بود ولی از آن جا که هر از چندگاه میان شیخعلی میرزا و برادرش محمدعلی میرزا دولتشاه که حاکم کرمانشاه بود، درگیری‌هایی رخ می‌داد و خانلرخان هربار مجبور بود میان آن‌ها صلح برقرار کند، از وزارت استعفاء داده و فتحعلی‌شاه مهرعلی‌خان قاجار را به جای او به وزارت ملایر منصوب کرد. مهرعلی‌خان که شخصی کارآمد و آگاه بود، به امور مالی و حکومتی ملایر سامان داد و تا حدی از زیاده‌روی‌های شیخعلی میرزا جلوگیری کرد.
منطقه غرب ایران در طول دهه ۱۲۴۰ قمری، صحنه زد و خورد شاهزادگان حاکم بود. در این جنگ‌ها شیخعلی میرزا با برادرانش محمدتقی میرزا حسام‌السلطنه (حاکم بروجرد و چاپلق و سیلاخور) محمود میرزا (حاکم نهاوند) و برادرزاده‌اش محمدحسین میرزا حشمت‌الدوله وارد منازعه شد. در این جنگ‌ها شیخعلی میرزا با حشمت‌الدوله و محمود میرزا علیه حسام‌السلطنه هم‌پیمان بودند.
شیخعلی میرزا در ملایر چندین بنا برپا کرد. از جمله باغ جنّت و مسجد جامع شیخ الملوک.
ملک‌ایرج میرزا پسر فتحعلی‌شاه، دربارهٔ شیخعلی میرزا می‌نویسد:
«شاهزاده از مردم ملایر زن‌های متعدد داشت می‌خانه و خرابات برپا کرده بودند و روز شنبه بایستی با ساز و نواز بروند می‌خانه… در زبان ایشان لکنت زیاد بود. خود را «شیر عراق» نام نهاده بودند.»احوالات پسران خاقان، ذیل شیخعلی میرزا
و همچنین می‌نویسد که شیخعلی میرزا به آزار و اذیت مردم ملایر و شیخ‌الاسلام شهر می‌پرداخت تا خراج هنگفتی را که سالی هشتادهزار تومان بود به او پرداخت کنند. به همین خاطر در اواخر سلطنت فتحعلی‌شاه ملایریان به اصفهان رفتند و به سید محمدباقر شفتی شکایت بردند و او شکایت مردم را به گوش فتحعلی‌شاه رسانید. شاه به سید محمدباقر شفتی سپرد که مراقب اعمال و رفتار شاهزاده باشد و او نیز «ملا احمد خراسانی» را از شاگردان خود به ملایر فرستاد تا هم به ترویچ شرعیات بپردازد و هم بر امور حکومت شاهزاده نظارت کند.
شیخعلی میرزا صاحب چهل و هفت فرزند بود که بیست و شش تن پسر و بیست یک تن دختر بودند. از جمله:
شیخعلی میرزا دختری هم به نام «گوهرالملوک» داشته که عمارت گوهرالملوک در کنار قصر بهشت‌آئین که از بناهای شیخ‌الملوک بود، به او منسوب است.خاکسار، علی. مجموعه مقالات همایش باستان‌شناسی ملایر. تهران: سازمان میراث فرهنگی، صنایع دستی و گردشگری، ۱۳۹۳. شابک ۴-۳۰-۶۹۵۳-۶۰۰-۹۷۸.
آخرین یکشنبه () یک فیلم است محصول سال ۱۹۸۵ کشور ارمنستان شوروی، به نویسندگی و کارگردانی گنادی ملکونیان و بازیگری میکائیل بوغوسیان. آرمن‌فیلم
آزات شرانتس (؛ – ) یک هنرپیشه اهل ارمنستان بود. وی بین سال‌های ۱۹۷۰ تا ۱۹۹۰ میلادی فعالیت می‌کرد.
وی برندهٔ جوایزی همچون هنرمند مردمی ارمنستان شوروی شده است.
از فیلم‌ها یا برنامه‌های تلویزیونی که وی در آن نقش داشته است می‌توان به ما کوه‌های خود هستیم، یک قطره عسل، اوت، "قلب من در کوهساران"اشاره کرد.
ما کوه‌های خود هستیم () فیلمی در ژانر کمدی به کارگردانی هنریک مالیان است که در سال ۱۹۶۹ منتشر شد. از بازیگران آن می‌توان به فرونزیک مکرتچیان، سوس سارگسیان، خورن آبراهامیان، آرتاوازد پلشیان و گالیا نوونتس اشاره کرد.
آتش () یک فیلم است محصول سال ۱۹۶۳, به کارگردانی و بازیگری فرونزیک مکرتچیان، ادگار الباکیان
دومارتن (De Martonne) روشی برای تعیین اقلیم یک منطقه براساس درجهٔ حرارت و بارندگی سالانه است. این طبقه‌بندی بر مبنای شاخص خشكی(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 است. یا برای مثال، اگر بخواهیم بیان کنیم ready هیچ‌گاه درست نمی‌شود، به صورت
formula_29 است.
همان‌طور که منطق درخت محاسباتی یک منطق زمانی است، منطق خطی زمانی نیز شباهت‌های بسیاری با آن دارد. تفاوت در این‌جاست که در منطق خطی زمانی، امکان مشخص کردن یک مسیر به‌طور خاص وجود ندارد و احکام بیان‌شده در مورد همه یا هیچ‌یک از مسیرهای ممکن است. هرچند عباراتی وجود دارند که فقط در منطق درخت محاسباتی یا فقط در منطق خطی زمانی قابل بیان هستند، هر دوی این منطق‌ها زیرمجموعهٔ منطق CTL* هستند که در آن زبان جملات بیشتری قابل بیان هستند هرچند وارسی مدل‌ها سخت‌تر و پیچیده‌تر از لحاظ محاسباتی است.
لیگ‌های استانی فوتبال ایران مجموعه‌ای از لیگ‌های فوتبال هستند که در استان‌های ایران برگزار می‌شوند. این لیگ‌ها پایین‌ترین سطح هرم فوتبال ایران هستند، قهرمان این لیگ‌ها جواز حضور در جام حذفی فوتبال ایران و لیگ دسته سوم را به دست می‌آورد. هیئت فوتبال هر استان لیگ آن استان را برگزار و شبکه‌های استانی صدا و سیمای ایران بازی‌هایشان را پخش می‌کنند.
در حال حاضر ۳۱ لیگ در استان‌های ایران فعال هستند.
مالک بن نبی (؛ – ) فیلسوف سیاسی، نویسنده، مدرس، سخنران، ایدئولوگ اهل الجزایر بود و از برجسته‌ترین متفکرین عربی- اسلامی در قرن بیستم است.
متفکر الجزایری مالک بن نبی، یکی از پیشگامان فکری رنسانس اسلامی در قرن بیستم است؛ و او را به اعتباری می‌توان ادامه ابن خلدون محسوب نمود، وی یکی از متفکران معاصر است که نسبت به مشکلات تمدن‌ها هشدار داده‌است.
تلاش‌های مالک بن نبی درایجاد یک تفکر اسلامی مدرن و در بررسی مشکلات تمدن‌ها نقش بسزایی داشت چه از لحاظ موضوعاتی که مورد بحث قرار می‌گرفت، و چه از نظر روش اتخاذ شده توسط خود او.
بن نبی اولین پژوهشگری است که ابعاد مشکلات تمدن‌ها را مشخص نمود، و عناصر کلیدی اصلاحات را تعیین کرد، وی همچنین اولین کسی بود که رویکرد خاصی در جستجوی مشکلات مسلمانان بر اساس روانشناسی و جامعه‌شناسی داشت، وی معتقد بود که مسلمانان نیاز دارند تا نتیجه کار و خلاقیت خود را لمس کنند.Malek Bennabi's Book
در ۵ نوامبر۱۳۲۳ در قسطنطنیه، شرق الجزایر زاده شد، و در یک خانواده مسلمان محافظه کار بزرگ شد. پدر او یک کارمند احکام قضایی اسلام بود به نحوی که براساس مسئولیتی که داشت به استان تبسه منتقل شد و مالک بن نبی زیرنظر او قرآن می‌آموخت؛ و مدرسه ابتدایی را در یک مدرسه فرانسوی ادامه داد و در سال ۱۹۲۵ پس از چهار سال مطالعه فارغ‌التحصیل شد. او سپس با یکی از دوستانش به فرانسه رفت و پس از بازگشت و کسب تجربه‌های جدید وارد کار شد که مهم‌ترین آن در مارس ۱۹۲۷ در دادگاه آفلو شروع به کار کرد، در این دوره از وضعیت مردم ساده آگاه شد، و ذهنش نسبت به وضعیت کشورش فعال گردید. او پس از اختلاف با یک نویسنده فرانسوی در دادگاه در سال ۱۹۲۸، برای مدتی از سمت خود کناره‌گیری کرد. مالک بن نبی در مطالعه و در سیر تفکرات خیلی عمیق شده بود، و اقدام به نوشتن کتابی دربارهٔ جهان اسلام نمود، او کتاب پدیده قرآن را در سال ۱۹۴۶ منتشر نمود، و سپس در سال ۱۹۶۰ این کتاب به زبان عربی ترجمه شد که دو فصل را به نسخه عربی اضافه نمود. او پس از انقلاب الجزایر در سال ۱۹۵۴ از فرانسه به قاهره نقل مکان کرد، در سال ۱۹۵۶ کتاب تفکر آفریقایی – آسیایی را نوشت و از طرف مشاور سازمان همکاری‌های اسلامی به او اجازه ادامه نوشتن کتاب داده شد. مالک بن نبی پس از استقلال در سال ۱۹۶۳ به الجزایر بازگشت، در سال ۱۹۶۴ به عنوان مدیر کل آموزش عالی منصوب شد، و به سخنرانی و نوشتن ادامه داد، چشم‌اندازهای الجزایر را در همین زمان منتشر نمود و بخش اول از خاطرات خود را نیز منتشر کرد. او در سال ۱۹۶۷ از سمت خود استعفا داد تا تمام وقت به تحقیق در دانشکده اندیشه‌های اسلامی بپردازد. وی به انتشار مقالات زیادی در الجزایر پرداخت، به خصوص با انتشار مقالاتی در زمینه فرهنگ و تمدن و مشکلات جامعه که در سال ۱۹۶۸ در مجله (انقلاب آفریقایی)، منتشر می‌شد، این مقالات بعد از مرگ او در یک کتاب گردآوری شد.
درطی ۱۹۶۸–۱۹۷۳ وی به برخی از دانش آموزانی که به او نزدیک بودند به ویژه کسانی که در وزارت امور مذهبی و اوقاف به کار گرفته شده بودند توصیه می‌کرد تا انجمنهایی برای آموزش ایدئولوژیک نسل جوان در نظر بگیرند.
کتاب‌های بسیاری در مورد تفکر و اندیشه مالک بن نبی منتشر شد، به خصوص توسط کسانی که علاقه‌مند رنسانس و اصلاحات بودند، که در این رابطه عمر کامل مسقاوی دو کتاب وی را به عربی ترجمه کرده‌است.
مالک بن نبی توانست بر روی مهم‌ترین مسائل جهان دست بگذارد و سلسله کتاب‌هایی تحت عنوان مشکلات تمدن‌ها در پاریس، مصر و الجزایر منتشر کرد که بعضی از آن‌ها بقرار زیر است:
وی در روز ۳۱ اکتبر ۱۹۷۳ در الجزایر درگذشت درحالی که مجموعه ای از آثار با ارزش و نادر از خود باقی گذاشت. او در آرامگاه سیدی احمد بوقبرین در پایتخت الجزایر دفن شد.
مسند احمد بن حنبل مشهورترین اثر احمد بن محمد بن حنبل بغدادی از دستهٔ آثار مسند است. ابن جوزی می‌گوید که این مسند سی‌هزار حدیث دربردارد. به‌گفتهٔ احمد بن حنبل، این احادیث از میان ۷۵۰ هزار حدیث از پیامبر اسلام گردآوری شده‌است و هر حدیثی را که در آن نیاورده‌باشد، نباید حجت شمرد. محدثان دربارهٔ صحت احادیث این کتاب و ضعف احادیث آن نظرات گوناگونی دارند.
مُسنَد اصطلاحی در علم حدیث است و به احادیثی گفته می‌شود که سلسلهٔ راویانش تا فرد معصوم منقطع نباشد. کتاب‌های مسند به کتاب‌های حدیثی گفته می‌شود که روایات آن براساس ترتیب صحابه گرد آمده‌باشد. از بزرگ‌ترین مسندهای موجود، "مسند احمد بن حنبل" است. از مسندهای جدید نیز می‌توان به "المسند الجامع" اشاره کرد.
تاریخ نظامی عراق () به دوران پس از اشغال عراق توسط بریتانیا در ۱۹۱۴ و ورود آن‌ها به بغداد اشاره دارد. در این سال اشغال اشغالگران انگلیسی تحت فشار زیادی که از طرف مردم عراق وارد می‌شد وعده ایجاد یک دولت عراقی را به مردم عراق دادند. در سال ۱۹۲۰، دولت عراق تأسیس شد، که به نوبه خود به دنبال ایجاد یک ارتش ملی عراقی بود. این در سال ۱۹۲۱ در ۶ ژانویه تحت رهبری وزیر دفاع، جعفر العسکری در دوران نخست‌وزیری عبدالرحمان النقیب انجام شد.Iraq military history
دانشکده نظامی تابع وزارت دفاع در سال ۱۹۲۴ تأسیس شد و هدف، آموزش دانش آموزان مناسب برای خدمت به عنوان افسران ارتشی که در کار و فرهنگ نظامی شایستگی دارند بود. مدت تحصیلات آن‌ها سه سال است و فارغ التحصیلان پس از اتمام دوره تحصیلی، درجه افسری را دریافت می‌کنند.
پس از آنکه شاه فیصل پادشاه عراق شد، نخستین گردان عراقی، بنام گردان موسی الکاظم تأسیس شد. شمار زیادی از افسرانی که قبل از انقلاب بزرگ عرب وارد ارتش عثمانی شده بودند به آن پیوستند و سپس دو نیروی هوایی و دریایی تأسیس شدند که متشکل از چهار لشکر بود، لشکرهای اول و سوم در بغداد بودند در حالی که لشکر دوم در کرکوک و چهارم نیز در یک قرارگاه در دیوانیه بود.
نیروهای جدید در جنگ علیه اشغالگری اسرائیل در سال ۱۹۴۸ در فلسطین وارد جنگ شدند.
در سال ۱۹۳۶ ارتش در اولین کودتای نظامی به رهبری سر لشکر بکر صدقی فرمانده لشکر دوم شرکت کرد و دولت جدیدی را به رهبری حکمت سلیمانHikmat Sulayman تشکیل داد.
ارتش عراق در روز چهاردهم ژوئیه سال ۱۹۵۸ تحت فرماندهی افسر عبدالکریم قاسم و افسر عبدالسلام عارف در کودتا برای بار دوم شرکت کرد. مقام سلطنت سرنگون شد و فیصل دوم و خانواده اش در کاخ الرحاب کشته شدند.
ارتش عراق در فوریه سال ۱۹۶۳ در کودتایی شرکت کرد که در آن عبدالکریم قاسم و تعدادی از افسران دیگر و نفر همراه وی در ساختمان رادیو ترور شدند. حزب بعث قدرت را بدست گرفت، اولین رئیس‌جمهور از حزب بعث حسن البکرAhmed Hassan al-Bakr و سپس صدام حسین بود.
روابط بین عراق و ایران پس از انقلاب اسلامی ایران در سال ۱۹۷۹ به تخاصم کشید. حمله عراق به خاک ایران آغاز جنگی هشت ساله بود که طولانی‌ترین جنگ قرن بیستم محسوب می‌شود.
پس از اختلافات صدام حسین با کشورهای خلیج فارس، صدام در پاسخ به عربستان سعودی تصمیم به حمله به خلیج فارس گرفت. وی ادعا کرد که کویت بخشی از عراق است. اما شورای امنیت به درخواست کویت به نیروهای عراقی مهلت داد تا کویت را ترک کنند، اما صدام آن را نپذیرفت که منجر به شروع جنگ طوفان صحرا شد.
پس از اشغال عراق توسط آمریکا، پل برنر، حاکم غیر نظامی ایالات متحده، تصمیم گرفت ارتش عراق را که از چهارصد هزار سرباز تشکیل شده بود منحل کند. سپس تصمیم گرفت ارتش را بازسازی کند.
وضعیت ارتش عراق پس از اشغال ایالات متحده به شکل تثبیت شده‌ای درآمد، اما با برخی مشکلات مانند مبارزه با تروریسم مواجه شد. آنچه تا کنون جریان دارد این است که ارتش عراق از استان‌های عراق محافظت می‌کند و در شهرها مشغول به کار است؛ و فرماندهی نیروهای مسلح را نخست‌وزیر بر عهده دارد.
قانون اساسی عراق به نخست‌وزیر لقب فرمانده کل نیروهای مسلح را داد که این لقب را نفرات زیر تا کنون داشته‌اند:
معادل‌های ماشین تورینگ (به انگلیسی ) می‌تواند توسط یک فرایند تک مرحله ای به ماشین تورینگ تبدیل شود. به صورت مخفف به آن معادل تورینگ نیز گفته می‌شود. یک زبان یا ابزار می‌تواند در تئوری یک زبان یا ابزار دیگر را شبیه‌سازی کند. توانایی معادل‌های تورینگ ماشین با خود ماشین تورینگ برابر است و بیشتر نیست اما می‌توانند در زمان و حافظهٔ کمتر یا بیشتری انجام شوند. از معروف‌ترین معادل‌های ماشین تورینگ می‌توان به ماشین تورینگ دارای چند نوار اشاره کرد. ماشین‌های تورینگ معادل انواع بسیار زیادی دارند که در ادامه به بررسی اجمالی آن‌ها می‌پردازیم. طیف وسیعی از آن‌ها را ماشین‌های تورینگ با حالت‌های مختلف برای نوار در بر می‌گیرند برای مثال می‌توان از ماشین وانگ نام برد. طیف دیگری از ماشین‌های تورینگ معادل ماشین‌های دارای رجیستر تشکیل می‌دهند که به جای نوار از رجیستر استفاده می‌کنند و انواع مختلفی دارند اولین آن‌ها ماشین شمارنده است. طیف دیگر آن‌ها نیز ماشین‌هایی با نوارهای ورودی و خروجی هستند. حتی ابزارها و الگوریتم‌هایی معادل ماشین تورینگ وجود دارد، برای مثال مدل محاسباتی جبر لاندا را می‌توان معادل یک تورینگ ماشین در نظر گرفت.
ماشین تورینگ و معادل‌های آن توان محاسباتی یکسانی دارند یعنی زبان‌هایی که قابلیت شناسایی دارند برابر است و فقط ممکن است در زمان یا حافظهٔ کمتری محاسبات را انجام دهند و در نتیجه با آن‌ها می‌توان مسائل را راحت‌تر حل نمود.
برای این که نشان دهیم ماشین تورینگ معادل است باید بتوانیم توسط ماشین تورینگ آن را شبیه‌سازی کنیم.
برای مثال اگر بخواهیم ماشین تورینگی که تابع انتقالش به جز امکان چپ و راست رفتن دارای امکان ماندن در خانه را دارد را با ماشین تورینگ شبیه‌سازی می‌کنیم. هر گاه در این ماشین از این امکان استفاده شد در ماشین تورینگ یک بار به سمت چپ و سپس یک بار به سمت راست می‌رویم پس این ماشین در واقع معادل ماشین تورینگ است. (اثبات کامل نیست)
و یا اگر بخواهیم نحوهٔ تبدیل ماشین چندنواره تورینگ را به ماشین تک نواره تورینگ نشان می‌دهیم. در این ماشین هر نوار دارای هِد جداگانه برای نوشتن و خواندن است و تابع انتقال قابلیت خواندن، نوشتن و حرکت دادن هد را بر روی تمامی نوارها به صورت همزمان می‌دهد. باید نشان دهیم که با ماشین تک نواره می‌توانیم ماشین چندنواره را شبیه‌سازی کنیم، برای این کار نشان می‌دهیم که ماشین تک نواره می‌تواند تأثیر چندین نوار را بر روی یک نوار ذخیره‌سازی کند. برای ماشین تک نواره نماد # را تعریف می‌کنیم که به عنوان جداکنندهٔ محتوای نوارهاست. برای این که بدانیم محل هر هد در نوارها کجاست یک نقطه بر روی هر خانه که هد روی آن قرار دارد قرار می‌دهیم؛ و با استفاده از این نمادها اثبات را کامل می‌کنیم.
از مهم‌ترین معادل‌های ماشین تورینگ ماشین تورینگ غیرقطعی است. در ماشین تورینگ قطعی، مجموعهٔ قوانین به ازای هر وضعیت داده شده، حداکثر یک حرکت را مجاز می‌کند. ماشین تورینگ غیرقطعی برخلاف ماشین تورینگ قطعی، دارای مجموعه قوانینی است که به ازای هر وضعیت، بیشتر از یک حرکت را مجاز می‌کند. برای مثال، ماشین تورینگ غیرقطعی ممکن است هر دو قوانین «اگر در وضعیت ۳ هستید و نماد ‘D’ دیدید، آن را به ‘B’ تغییر دهید و به چپ بروید.» و «اگر در وضعیت ۳ هستید و نماد ‘D’ دیدید، آن را به ‘C’ تغییر دهید و به راست بروید» را در مجموعه قوانینش داشته باشد. برای این که بدانیم این ماشین رشتهٔ ورودی را پذیرش می‌کند یا نه در هر مرحله که چند حرکت ممکن ماشین به چند کپی از خودش تقسیم می‌شود و هرکدام یکی از حرکت‌های ممکن را دنبال می‌کند. اگر حداقل یکی از شاخه‌های درخت به وضعیت پذیرش برود، می‌گوییم ماشین تورینگ غیرقطعی ورودی را پذیرفته‌است.
برای شبیه‌سازی این ماشین توسط ماشین تورینگ قطعی می‌توان هر حالت را معادل چند حالت ممکن در ماشین غیرقطعی در نظر گرفت.
در این ماشین فقط اعداد ۰ و ۱ روی نوار قابل نوشتن هستند و قوانین آن محدودند به
１)نوشتن ۰
２)نوشتن ۱
３)رفتن به راست.
４)رفتن به چپ
５)با دیدن ۰ رفتن به قانون i
６)با دیدن ۱ رفتن به قانون j