stanford-oval/wikipedia huggingface dataset:
لونا لاوگود
حضورها > هری پاتر و محفل ققنوس

لونا اولین بار در هری پاتر و محفل ققنوس ظاهر می‌شود در جاییکه هری، جینی و نویل به او در یک کوپه قطار سریع‌السیر هاگوارتز می‌پیوندند. لونا در مدرسه منزوی است اما به نظر می رسد که او اهمیت چندانی به نظر دیگران نمی‌دهد. او به طور گسترده با نام مستعار «لونی» (به معنای احمق) در بین دانش‌آموزان شناخته می‌شود اما به نظر می‌رسد که اینکار باعث آشفتگی او نمی‌شود و زمانیکه همکلاسی‌هایش با دزدی و مخفی کردن وسایل‌هایش به طور مرتب او را اذیت می کنند، تا حد زیادی عصبانی نمی‌شود و با این حال، او برای دوستان اندک خود ارزش قائل است.
هری در این سال پرتلاطم زندگی‌اش دوستی قوی با لونا برقرار می‌کند، لونا که تنها کسی است که می‌تواند خشم او را فرو نشاند و وقتی بسیاری از دوستان نزدیک‌ترش نمی‌توانند او را آرام کنند لونا بارها در طول سریال از هری حمایت می‌کند. او و پدرش زنوفیلیوس لاوگود، هری و آلبوس دامبلدور را وقتی ادعا می کنند که لرد ولدمورت بازگشته است، باور می کنند. لونا به همراه هرماینی، ریتا اسکیتر را متقاعد می‌کند با هری مصاحبه کند تا نظرات او در «طفره‌زن» مجله‌ای که پدر لونا سردبیر آن است منتشر شود. لونا همچنین عضو ارتش دامبلدور می‌شود و بعداً در کتاب به هری، رون، هرماینی، جینی و نویل در درگیری با مرگ‌خواران در سازمان اسرار در وزارت سحر و جادو می‌پیوندد. زمانی که او به همراه رون و جینی از هری جدا می‌شود به نظر می‌رسد که تنها کسانی هستند که توسط یک طلسم خیره کننده مورد حمله قرار نگرفته‌اند، آسیبی ندیده باشند. در اواخر کتاب، لونا پس از مرگ سیریوس بلک پدرخوانده هری دیدگاه‌هاش درباره مرگ را با هری به اشتراک می‌گذارد و به دلداری می‌دهد.
حضورها > هری پاتر و شاهزاده دورگه

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

در هری پاتر و یادگاران مرگ، لونا و پدرش در مراسم عروسی بیل و فلور در پناهگاه شرکت می‌کنند، که در طی آن او بلافاصله هری را می‌شناسد، علی‌رغم اینکه که هری با معجون مرکب چهره خود را تغییر داده است و فقط با حالتی که در صورتش دارد قادر به شناخت او شد. لونا برای سال ششم خود به مدرسه باز می‌گردد، جایی که او و جینی به نویل از خشم آلکتو و آمیکوس کارو، خواهر و برادرهای مرگ‌خوار که برای تدریس در هاگوارتز فرستاده شده‌اند، ارتش دامبلدور را مخفیانه احیا می‌کند. در طول دوره اول، این سه نفر وارد دفتر سوروس اسنیپ می‌شوند و سعی می کنند شمشیر گریفیندور را بدزدند تا به هری کمک کنند اما آنها دستگیر می‌شوند و ظاهراً به خاطر جرمشان به بازدید از جنگل ممنوعه با روبیوس هاگرید مجازات می‌شوند.
در طول بازدید هری از اقامتگاه لاوگود، او متوجه شواهد متعددی می‌شود که نشان می‌دهد لونا علیرغم تعطیلات کریسمس به خانه نیامده است: گرد و غبار روی عکس او و مادرش، کمد لباس خالی از لباس او و تخت او که به نظر می‌رسد مدتی است که در آن نخوابیده است. سپس مشخص شد که لونا هنگام سفر به خانه برای کریسمس با قطار سریع السیر هاگوارتز در آن سال، بخاطر مطالبی در حمایت از هری پاتر در مجله «طفره‌زن» ربوده شده است. وقتی هری، رون و هرمیون در خانه لاوگود هستند، زنوفیلیوس، که ناامید از نجات دختر و تنها فرزندش است، به آنها خیانت می ک و حضور آنها را به مرگ‌خواران به این امید که انجام این کار آزادی لونا را تضمین کند، اعلام می‌کند. هری، رون و هرمیون به سختی فرار می‌کنند و چند ماه بعد اسیر شده و در زیرزمین خانواده مالفوی منتقل می‌شوند. در آنجا، لونا را به همراه آقای اولیوندر، چوبدستی‌ساز می‌بینند. همه آنها توسط دابی جن‌خانگی نجات می‌یابند که آنها را به کلبه صدفی، محل اقامت بیل ویزلی و فلور دلاکور می آورد، جایی که افسون‌های محافظ آنها را در امان نگه می‌دارد.
وقتی هری به هاگوارتز باز می‌گردد تا دیهیم ریونکلاو که ولدمورت آن را به هورکراکس تبدیل کرده بود را پیدا کند، لونا به او کمک می‌کند که وارد سالن عمومی ریونکلاو شود تا شکلی از دیادم روونا ریونکلاو را ببیند. او مرگ‌خوار الکتو کارو را به محض کشف آنها مبهوت می‌کند. پس از آن او شجاعانه در نبرد هاگوارتز می‌جنگد و طلسم پاترونوس خود را برای مبارزه با صدها دیوانه‌سازی که قصد حمله به هری، رون و هرمیون را دارند احضار می‌کند. پس از مرگ فرضی هری، لونا درنهایت با بلاتریکس لسترنج به همراه هرمیون و جینی دوئل می‌کند تا زمانی که مالی ویزلی مسئولیت را برعهده می‌گیرد و بلاتریکس را شکست می‌دهد. در نهایت، لونا جزو اولین کسانی است که وقتی ولدمورت شکست می‌خورد به هری تبریک می‌گوید. پس از نبرد، به نظر می رسد که او تنها کسی است که تشخیص می‌دهد که هری به آرامش و سکوت نیاز دارد حواس‌ها را پرت می‌کند تا هری بتواند با شنل نامرئی خود فرار کند.
حضورها > هری پاتر و یادگاران مرگ > زندگی پس از مجموعه کتاب‌ها

در اولین مصاحبه تلویزیونی رولینگ پس از انتشار هری پاتر و یادگاران مرگ، او تعدادی از جنبه‌های زندگی لونا پس از هاگوارتز را فاش کرد. لونا همچنان فردی عجیب و غریب است و حرفه‌ای را دنبال می‌کند که «معادل جادوگری» یک طبیعت‌گرا است. او با برخی باورهای نادرست پدرش کنار می‌آید، اما رولینگ توضیح می‌دهد که پیشینه‌ او ذهن‌باز منحصربه‌فردی را در او پرورش داده است که به او اجازه می‌دهد تا اکتشافاتی کند که افراد «واقعیت‌گرا» بیشتر ممکن است قادر به تشخیص آن نباشند.
در مصاحبه‌ای که بعداً مبتنی بر گفتگوی اینترنتی انجام شد، رولینگ توضیح داد که لونا گونه‌های جدیدی از حیوانات را کشف کرد و به خاطر آن کاملاً مشهور شد، اگرچه در نهایت مجبور شد اعتراف کند که اسنورکک شاخ چروکیده واقعا وجود ندارند. او با یک طبیعت‌دان، نوه نیوت اسکمندر، به نام رولف ازدواج کرد..
در مستند جی‌کی‌آر در شبکه ITV، رولینگ یک شجره‌نامه از نسل جدید ویزلی‌ها، از جمله لونا و رولف را ترسیم کرد. آنها صاحب پسران دوقلو به نام‌های لورکان و لایسندر اسکمندر شدند. این دوقلوها چندین سال پس از اینکه دوستان لونا فرزندان خود را داشتند به دنیا آمدند. همچنین مشخص شد که هری و جینی فرزند سوم و تنها دختر خود را لیلی‌لونا به نام «دوست عزیز» خود نامگذاری کردند.
استقبال از شخصیت

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

گویدو مسینا (ایتالیایی: Guido Messina؛ زادهٔ ۴ ژانویهٔ ۱۹۳۱) دوچرخه‌سوار اهل ایتالیا است.
وی در مسابقات کشوری و بین‌المللی در مجموع برندهٔ ۶ مدال طلا، ۳ مدال برنز شده‌است.
دلخوری

دلخوری (به انگلیسی: Annoyance) وضعیت روحی و خلقی ناخوشایندی است که به‌دلیل تحریک‌پذیری و حواس‌پرتی به‌واسطهٔ یک اندیشه در فرد پدید می‌آید. این پدیده می‌تواند احساساتی مانند سرخوردگی و عصبانیت را در فرد تحریک نماید. بر اساس مطالعهٔ منتشر شده‌ای در نشریه بین‌المللی مدیریت تعارض، مشخص شده که واکنش یک شخص به دلخوری، دست‌کم آن هنگام که عاملش شخص دیگری باشد، چنانچه حل‌وفصل نشود، می‌تواند فرد دلخور را به درجات لاینحل و تشدیدکننده افراطی سوق دهد. جدل‌های هدفمند بر پایهٔ روان‌پریشی (جنگ روانی) می‌تواند سبب ایجاد دلخوری با قصد انحراف موضوع و از میان برداشتن سطح مقاومت در فرد هدف شود. به‌عنوان مثال در سال ۱۹۹۳ در ویکو، تگزاس اداره تحقیقات فدرال ایالات متحده (اف‌بی‌آی) در ماجرای واقعه ویکو در خارج از کلیسای فرقه داودیه با کمک بلندگوهایی اقدام به پخش ترانه‌هایی نمود که به‌طور خاص برای تحریک و ایجاد دلخوری افراد این فرقه تنظیم شده بودند تا دیوید کورش و پیروان فرقه او را مجاب به تسلیم‌شدن نمایند.
بهینه سازی منطقی

این صفحه در حال ترجمه مقاله انگلیسی است لطفاً حذف نشود.
بهینه‌سازی منطقی فرآیندی است که در آن یک نمایش معادل از یک مدار منطقی مشخص شده، تحت یک یا چند محدودیت مشخص، پیدا می‌شود. این فرایند بخشی از سنتز منطقی است که در الکترونیک دیجیتال و طراحی مدارهای مجتمع کاربرد دارد.
به‌طور کلی، مدار به یک مساحت حداقل تراشه محدود می‌شود که یک تأخیر پاسخ از پیش تعریف شده را برآورده می‌کند. هدف بهینه‌سازی منطقی یک مدار معین، به دست آوردن کوچک‌ترین مدار منطقی است که همان مقادیر مدار اصلی را ارزیابی می‌کند. معمولاً، مدار کوچکتر با همان عملکرد ارزان‌تر است، فضای کمتری را اشغال می‌کند، مصرف انرژی کمتری دارد، دارای تأخیر کمتری است و خطرات تداخل غیرمنتظره، خطر پردازش سیگنال تأخیری و سایر مسائل موجود در سطح نانو ساختارهای فلزی را بر روی یک مدار مجتمع به حداقل می‌رساند.
از نظر جبر بولی، بهینه‌سازی یک عبارت بولی پیچیده فرایند پیدا کردن یک عبارت ساده‌تر است که هنگام ارزیابی، در نهایت نتایج مشابهی با عبارت اصلی تولید می‌کند.
انگیزه

مشکل داشتن یک مدار پیچیده (یعنی مداری با عناصر متعدد مانند دروازه‌های منطقی) این است که هر عنصر فضای فیزیکی اشغال می‌کند و تولید آن زمان و هزینه می‌برد. مینیمم‌سازی مدار می‌تواند یکی از اشکال بهینه‌سازی منطقی باشد که برای کاهش مساحت منطق پیچیده در مدارهای مجتمع استفاده می‌شود.
با ظهور سنتز منطقی، یکی از بزرگ‌ترین چالش‌های صنعت خودکارسازی طراحی الکترونیک (EDA) یافتن ساده‌ترین نمایش مدار از توصیف طراحی داده شده بود. در حالی که بهینه‌سازی منطق دو سطحی به شکل الگوریتم کوین-مک کلاسکی و بعداً به دنبال آن بهینه‌ساز منطقی ابتکاری اسپرسو وجود داشت، تراکم تراشه‌های در حال بهبود سریع و پذیرش گسترده زبان‌های توصیف سخت‌افزار برای توصیف مدار، حوزه بهینه‌سازی منطقی را همان‌طور که امروز وجود دارد، رسمی کرد، از جمله Logic Friday (رابط گرافیکی)، Minilog و ESPRESSO-IISOJS (منطق چند ارزشی).
روش‌ها

روش‌های ساده‌سازی مدار منطقی به یک اندازه برای مینیمم‌سازی عبارت‌های بولی قابل استفاده هستند.
روش‌ها > طبقه‌بندی

امروزه، بهینه‌سازی منطقی به دسته‌های مختلفی تقسیم می‌شود:
بر اساس نمایش مدار
بهینه‌سازی منطقی دو سطحی
بهینه‌سازی منطقی چندسطحی
بر اساس ویژگی‌های مدار
بهینه‌سازی منطق ترتیبی
بهینه‌سازی منطق ترکیبی
بر اساس نوع اجرا
روش‌های بهینه‌سازی گرافیکی
روش‌های بهینه‌سازی جدولی
روش‌های بهینه‌سازی جبری
روش‌ها > روش‌های گرافیکی

روش‌های گرافیکی، تابع منطقی مورد نیاز را با استفاده از یک نمودار که متغیرهای منطقی و مقدار تابع را نشان می‌دهد، نمایش می‌دهند. با دستکاری یا بررسی یک نمودار، می‌توان از بسیاری از محاسبات خسته‌کننده جلوگیری کرد. روش‌های کمینه‌سازی گرافیکی برای منطق دو سطحی شامل:
نمودار اویلر (یا دایره اویلری) (۱۷۶۸) توسط لئونارد اویلر (۱۷۰۷–۱۷۸۳)
نمودار ون (۱۸۸۰) توسط جان ون (۱۸۳۴–۱۹۲۳)
جدول کارنو (۱۹۵۳) توسط موریس کارنو
روش‌ها > بهینه‌سازی (ساده‌سازی) عبارات بولی

همان روش‌های ساده‌سازی عبارات بولی که در زیر فهرست شده‌اند، ممکن است برای بهینه‌سازی مدار اعمال شوند.
در حالتی که تابع بولی توسط یک مدار مشخص شده باشد (یعنی می‌خواهیم یک مدار معادل با حداقل اندازه ممکن پیدا کنیم)، مشکل ساده‌سازی مدار نامحدود، برای مدت طولانی حدس زده می‌شد که در پیچیدگی زمانی Σ2P- کامل باشد، نتیجه‌ای که در نهایت در سال ۲۰۰۸ ثابت شد، اما برخی از روش‌های ابتکاری مؤثر مانند جدول‌های کارنو و الگوریتم کواین-مک‌کلاسی وجود دارند که این فرایند را تسهیل می‌کنند.
روش‌های کمینه‌سازی تابع بولی عبارتند از:
الگوریتم کواین-مک کلاسکی
روش پتریک
روش‌ها > روش‌های چندسطحی بهینه

روش‌هایی که نمایش‌های مدار بهینه برای توابع بولی پیدا می‌کنند، اغلب در ادبیات به عنوان سنتز دقیق شناخته می‌شوند. به دلیل پیچیدگی محاسباتی، سنتز دقیق تنها برای توابع بولی کوچک قابل حل است. رویکردهای اخیر مسئله بهینه‌سازی را به یک مسئله رضایت‌پذیری بولی نگاشت می‌کنند. این امکان را فراهم می‌کند تا با استفاده از یک حل‌کننده SAT، نمایش‌های مدار بهینه را پیدا کرد.
روش‌ها > روش‌های اکتشافی

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

در حالی که یک نمایش دو سطحی مدار به‌طور دقیق به نمای مسطح مدار از نظر مجموع حاصلضرب‌ها (SOP) اشاره دارد - که بیشتر برای پیاده‌سازی PLA طراحی قابل اجرا است [نیازمند توضیح] - یک نمایش چندسطحی یک دید کلی‌تر از مدار از نظر SOPهای به هم پیوسته دلخواه، POSهای (حاصلضرب مجموع)، فرم فاکتور شده و غیره است. الگوریتم‌های بهینه‌سازی منطق معمولاً روی نمایش ساختاری (SOPها، فرم فاکتور شده) یا نمایش عملکردی (نمودارهای تصمیم دودویی، نمودارهای تصمیم جبری) مدار کار می‌کنند. در فرم مجموع حاصلضرب (SOP)، دروازه‌های AND کوچک‌ترین واحد را تشکیل می‌دهند و با استفاده از ORها به هم متصل می‌شوند، در حالی که در فرم حاصلضرب مجموع (POS) برعکس است. فرم POS برای گروه‌بندی اصطلاحات OR تحت دروازه‌های AND به پرانتز نیاز دارد، زیرا OR اولویت کمتری نسبت به AND دارد. هر دو فرم SOP و POS به خوبی به منطق مدار ترجمه می‌شوند.
اگر دو تابع F1 و F2 داشته باشیم:
F1=AB+AC+AD
F2=A′B+A′C+A′E
نمایش دو سطحی بالا از شش جمله حاصلضرب و ۲۴ ترانزیستور در پیاده‌سازی CMOS استفاده می‌کند.
یک نمایش چندسطحی معادل از نظر عملکردی می‌تواند باشد:
P = B + C
F1 = AP + AD
F2 = A'P + A'E
با وجود اینکه تعداد سطوح در اینجا ۳ است، اما تعداد کل جملات حاصلضرب و متغیرها به دلیل اشتراک‌گذاری جمله B + C، به‌طور قابل توجهی کاهش می‌یابد.
به‌طور مشابه، بین مدارهای ترکیبی و مدارهای ترتیبی تمایز قائل می‌شویم. مدارهای ترکیبی خروجی خود را تنها بر اساس ورودی‌های فعلی تولید می‌کنند. آنها می‌توانند با روابط بولی نمایش داده شوند. برخی از مثال‌ها عبارتند از کدگذار اولویت‌دار، رمزگشا (کدگشا) دودویی، مالتی‌پلکسر و دمالتی‌پلکسر.
مدارهای ترتیبی خروجی خود را بر اساس ورودی‌های فعلی و گذشته تولید می‌کنند، و برای تشخیص ورودی‌های قبلی از ورودی‌های فعلی به سیگنال ساعت وابسته هستند. آن‌ها می‌توانند با ماشین‌های حالت متناهی نمایش داده شوند. برخی از مثال‌ها عبارتند از فلیپ‌فلاپ‌ها و شمارنده‌ها.
مثال

در حالی که روش‌های بسیاری برای ساده‌سازی یک مدار وجود دارد، این یک مثال ساده‌سازی یک تابع بولی است. تابع بولی که توسط مدار انجام می‌شود، به‌طور مستقیم به عبارت جبری مرتبط است که تابع از آن پیاده‌سازی شده است. به مدار مورد استفاده برای نمایش ('A ∧ B) ∨ (A' ∧ B)
توجه کنید. مشخص است که از دو نفی، دو الحاق و یک فصل مشترک در این عبارت استفاده شده است. این بدان معناست که برای ساخت مدار، به دو گیت NOT، دو دروازه AND و یک دروازه OR نیاز داریم.
این مدار را می‌توان با استفاده از قوانین جبر بولی یا با استفاده از شهود ساده کرد (مینیمایز کرد). از آنجایی که مثال بیان می‌کند که A زمانی درست است که B نادرست باشد و برعکس، می‌توان نتیجه گرفت که این به سادگی به معنای A ≠ B است. از نظر دروازه‌های منطقی، نابرابری به سادگی به معنای یک دروازه XOR (یا انحصاری) است؛ بنابراین،
('A ∧ B) ∨ (A' ∧ B) ⟺ A ≠ B. سپس دو مدار نشان داده شده در زیر معادل هستند، همان‌طور که می‌توان با استفاده از جدول درستی بررسی کرد:
| B | ≠ | A |  | (B | ʌ | 'A) | v | ('B | ʌ | A) |  | B | A |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| ن | ن | ن |  | ن | ن | د | ن | د | ن | ن |  | ن | ن |
| د | د | ن |  | د | د | د | ن | ن | ن | ن |  | د | ن |
| ن | د | د |  | ن | ن | ن | د | د | د | د |  | ن | د |
| د | ن | د |  | د | ن | ن | د | ن | ن | د |  | د | د |
برای مطالعهٔ بیشتر

Lind, Larry Frederick; Nelson, John Christopher Cunliffe (1977). Analysis and Design of Sequential Digital Systems. Macmillan Press. ISBN 0-33319266-4. (146 pages)
De Micheli, Giovanni (1994). Synthesis and Optimization of Digital Circuits. McGraw-Hill. ISBN 0-07-016333-2. (NB. Chapters 7–9 cover combinatorial two-level, combinatorial multi-level, and respectively sequential circuit optimization.)
Hachtel, Gary D. ; Somenzi, Fabio (2006) [1996]. Logic Synthesis and Verification Algorithms. Springer Science & Business Media. ISBN 978-0-387-31005-3.
Kohavi, Zvi; Jha, Niraj K. (2009). "4–6". Switching and Finite Automata Theory (3rd ed.). Cambridge University Press. ISBN 978-0-521-85748-2.
Rutenbar, Rob A. Multi-level minimization, Part I: Models & Methods (PDF) (lecture slides). Carnegie Mellon University (CMU). Lecture 7. Archived (PDF) from the original on 2018-01-15. Retrieved 2018-01-15; Rutenbar, Rob A. Multi-level minimization, Part II: Cube/Cokernel Extract (PDF) (lecture slides). Carnegie Mellon University (CMU). Lecture 8. Archived (PDF) from the original on 2018-01-15. Retrieved 2018-01-15.
مدار نمونه اصلی و ساده شده
خس‌نشین شگفت‌انگیز

| خس‌نشین شگفت‌انگیز> وضعیت حفاظت | خس‌نشین شگفت‌انگیز> وضعیت حفاظت |
| --- | --- |
 کمترین نگرانی  (IUCN 3.1):  کمترین نگرانی  (IUCN 3.1)
رده‌بندی علمی: رده‌بندی علمی
فرمانرو:: جانوران
شاخه:: طنابداران
رده:: پرندگان
راسته:: گنجشک‌سانان
تیره:: چکاوک اقیانوسیه
سرده:: خس‌نشین‌ها
گونه:: S. virgatus
نام دوبخشی: نام دوبخشی
Sericornis virgatus : Sericornis virgatus 
خس‌نشین شگفت‌انگیز (نام علمی: Sericornis virgatus) نام یک گونه از سرده خس‌نشین‌ها است.
درگیری کاچین

وضعیت نظامی در میانمار تا تاریخ ۲۸ مه ۲۰۲۴ (۲۰۲۴ -05-۲۸)
درگیری کاچین یا جنگ کاچین یکی از چندین درگیری‌ها است که در مجموع از آن به عنوان درگیری درونی در میانمار یاد می‌شود. شورشیان کاچین از سال ۱۹۶۱ علیه تاتمادو (نیروهای مسلح میانمار) می‌جنگند و تنها یک آتش‌بس عمده بین آنها برقرار شد که از سال ۱۹۹۴ تا ۲۰۱۱ در مجموع ۱۷ سال به طول انجامید.
از زمان از سرگیری درگیری‌ها در سال ۲۰۱۱، هزاران غیرنظامی کشته شده‌اند، در حالی که بیش از ۱۰۰۰۰۰ نفر دیگر آواره شده‌اند. استفاده گسترده از مین، کودک سرباز، تجاوز جنسی سیستماتیک و شکنجه توسط هر دو طرف ادعا شده است.
ماتوی سفانوف

| 0 | 1 | 2 | 3 |
| --- | --- | --- | --- |
 :  
اطلاعات شخصی: اطلاعات شخصی
زادروز:  ۲۵ فوریهٔ ۱۹۹۹ ‏(۲۵ سال)
زادگاه:  استاوروپول ،روسیه
قد:  1.92 m
پست:  دروازه‌بان
اطلاعات باشگاهی: اطلاعات باشگاهی
باشگاه کنونی:  پاری سن ژرمن
شمارهٔ پیراهن:  ۳۹
باشگاه‌های جوانان: باشگاه‌های جوانان
۲۰۱۵–۲۰۱۷:  باشگاه فوتبال کراسنودار
باشگاه‌های حرفه‌ای*: باشگاه‌های حرفه‌ای*
| سال‌ها |  باشگاه‌ها |  بازی† |  (گل)† |
| ۲۰۱۷–۲۰۲۴ |  باشگاه فوتبال کراسنودار |  ۱۴۷ |  (۰) |
| ۲۰۱۸–۲۰۲۱ |  ← FC Krasnodar-2 |  ۱۸ |   |
| ۲۰۲۴– |  پاری سن ژرمن |  ۲ |  (۰) |
تیم ملی‡: تیم ملی‡
| – |  تیم ملی فوتبال زیر ۱۵ سال روسیه |  ۱ |  (۰) |
| ۲۰۱۴–۲۰۱۵ |  تیم ملی فوتبال زیر ۱۶ سال روسیه |  ۸ |  (۰) |
| ۲۰۱۵–۲۰۱۶ |  تیم ملی فوتبال زیر ۱۷ سال روسیه |  ۹ |  (۰) |
| ۲۰۱۶–۲۰۱۷ |  تیم ملی فوتبال زیر ۱۸ سال روسیه |  ۶ |  (۰) |
| ۲۰۱۷ |  تیم ملی فوتبال زیر ۱۹سال روسیه |  ۳ |  (۰) |
| ۲۰۱۸–۲۰۲۰ |  تیم ملی فوتبال زیر ۲۱ سال روسیه |  ۱۰ |  (۰) |
| ۲۰۲۱– |  تیم ملی فوتبال روسیه |  ۱۲ |  (۰) |
 تعداد بازی‌ها و گل‌ها فقط مربوط به بازی‌های لیگ داخلی است و آمار به روز شده در تاریخ ۴ ژوئن ۲۰۲۴.   ‡ آمار بازی‌ها و گل‌های ملی به‌روز شده در تاریخ ۴ ژوئن ۲۰۲۴:  تعداد بازی‌ها و گل‌ها فقط مربوط به بازی‌های لیگ داخلی است و آمار به روز شده در تاریخ ۴ ژوئن ۲۰۲۴.   ‡ آمار بازی‌ها و گل‌های ملی به‌روز شده در تاریخ ۴ ژوئن ۲۰۲۴
ماتوی سفانوف (روسی: Матвей Евгеньевич Сафонов؛ زادهٔ ۲۵ فوریهٔ ۱۹۹۹) بازیکن فوتبال اهل روسیه است. وی بازیکن تیم پاری سن ژرمن است.
از باشگاه‌هایی که در آن بازی کرده‌است می‌توان به باشگاه فوتبال کراسنودار اشاره کرد.
وی همچنین در تیم‌های ملی فوتبال زیر ۲۱ سال روسیه، و روسیه بازی کرده‌است.
اسرافیل علمداری

| اسرافیل علمداری | اسرافیل علمداری |
| --- | --- |
زمینه فعالیت: بازیگر کارگردان مدرس بازیگری و کارگردانی
تولد: ۸ مرداد ۱۳۴۲  تهران
ملیت:  ایران
سال‌های فعالیت: ۱۳۶۲-اکنون
صفحه در وبگاه IMDb: صفحه در وبگاه IMDb
اسرافیل علمداری (زاده مرداد ۱۳۴۲ - تهران) بازیگر سینما و تلویزیون اهل ایران است. او با نقش رودامون در سریال یوسف پیامبر به شهرت رسید. وی هم‌اکنون مدیریت فیلم و سریال مرکز سیمای استانها را به عهده دارد.
بازیگری در سینما

پژواک
سرعت
ایوب پیامبر
سجاده آتش
بر بال فرشتگان
بازیگری در تلویزیون

دروازه ساعات (۱۳۸۸)(تله تئاتر)
یوسف پیامبر در نقش رودامون رئیس محافظان قصر پوتیفار
مردان آنجلس در نقش دیناسیوس یکی از یاران غار آنجلس
سریال گل‌های آبی
بهترین تابستان من
یک حرف از هزاران
ایوب پیامبر
روزها و حکمت‌ها
علاء الدین
این شرح بی‌نهایت
شمارش معکوس
یاس‌های کوچک
کلبه سفید
گزارش ویژه
زمانی برای خاکستر
افسون
روزهای بیادماندنی
سپیده و مه
تلواسه
دام ۹۸
پشت آینه (تله تئاتر)
سکوت (تله تئاتر)
حسام‌الدوله (بی‌خبر) ۱۳۶۳
کارگردانی در تلویزیونی

یلدامینا (تله فیلم)
افسانه (تله تئاتر)
مراسم پرده برداری (تله تئاتر)
شب بخیر مادر (تله تئاتر)
بازیگر و زنش (تله تئاتر)
سوابق نمایشی

گندم‌های خونی
شب پرفروغ
تصادف
دیوارها سخن می‌گوید
ایوب پیامبر
حکایت مطربان این دیار
یک برخورد ساده
گلریزون
شب‌نشینی در جهنم
جوایز

دیپلم افتخار کارگردانی سومین جشنواره کانون‌های پرورشی ۱۳۶۲
دیپلم افتخار بازیگری سومین جشنواره ۱۷ شهریور تبریز ۱۳۶۳
رتبه اول بازیگری اولین جشنواره سراسری تئاتر دانشجویان کشور
رتبه اول بازیگری در دهمین جشنواره سراسری تئاتر دفاع مقدس ۱۳۸۲
رتروشر (نرم‌افزار)

| 0 | 1 |
| --- | --- |
توسعه‌دهنده(ها): تیم رتروشیر
انتشار اولیه: ۲۰۰۶؛ ۱۸ سال پیش (۲۰۰۶-خطا: زمان نامعتبر}})
انتشار آزمایشی: ۰٫۶٫۱    / ۳ سپتامبر ۲۰۱۶؛ ۸ سال پیش (۲۰۱۶-03}})
 :  
مخزن: github.com/RetroShare/RetroShare  
نوشته‌شده با: سی پلاس‌پلاس
سیستم‌عامل: مایکروسافت ویندوز، لینوکس، اواس ده، فری‌بی‌اس‌دی
در دسترس به: ۳۸ زبان
فهرست زبان‌هاEnglish, Arabic, Bulgarian, Catalan (Spain), Chinese (China), Chinese (Taiwan), Czech, Danish, Dutch, Estonian, Finnish, French, Galician, German, Greek, Hebrew, Hungarian, Indonesian, Italian, Japanese, Korean, Macedonian, Malayalam, Norwegian Bokmål, Occitan, Polish, Portuguese, Portuguese (Brazil), Portuguese (Portugal), Romanian, Russian, Serbian, Slovenian, Spanish, Swedish, Turkish, Ukrainian, Vietnamese: فهرست زبان‌هاEnglish, Arabic, Bulgarian, Catalan (Spain), Chinese (China), Chinese (Taiwan), Czech, Danish, Dutch, Estonian, Finnish, French, Galician, German, Greek, Hebrew, Hungarian, Indonesian, Italian, Japanese, Korean, Macedonian, Malayalam, Norwegian Bokmål, Occitan, Polish, Portuguese, Portuguese (Brazil), Portuguese (Portugal), Romanian, Russian, Serbian, Slovenian, Spanish, Swedish, Turkish, Ukrainian, Vietnamese
نوع: Anonymous P2P, دوست به دوست، گفتگوی اینترنتی، پیام‌رسانی فوری، گروه خبری، صدا روی پروتکل اینترنت، دارک‌نت، شبکه اجتماعی، رایانامه‌خوان
مجوز: پروانه عمومی همگانی گنو
وبگاه: retroshare.github.io
رتروشیر (به انگلیسی: RetroShare) یک نرم‌افزار آزاد برای اشتراک فایل، رایانامهٔ همتا به همتا، پیام‌رسان فوری، گفتگوی اینترنتی و بی‌بی‌اس است که بر پایهٔ شبکه دوست به دوست و با گنو پرایوسی گارد (GPG) کار می‌کند. از آن‌جایی که در این نرم‌افزار کاربران می‌توانند با آی‌پی و کلید عمومی هم با یک‌دیگر گفتگو کنند، این نرم‌افزار لزوماً بخشی از دارک‌نت نیست.
تاریخچه

از سال ۲۰۱۲ میلادی، یک بیلد غیررسمی برای رایانهٔ تک‌برد رزبری پای به نام پای‌شیر موجود است.
تارنمای «PRISM Break» از سال ۲۰۱۳، رتروشیر را برای اشتراک فایل ناشناس توصیّه کرده‌است.
رتروشیر در تاریخ ۴ نوامبر ۲۰۱۴ امتیاز ۶ از ۷ را در بنیاد مرزهای الکترونیکی با عنوان پیام‌رسانی امن دریافت کرد. آن یک امتیاز را هم فقط به‌خاطر این از دست داد که به تازگی بازرسی کد مستقل نکرده بود.
ویژگی‌ها > احراز هویّت و اتّصال

پس از نصب اوّلیّه، کاربر یک جفت کلید رمزنگاری با رتروشیر می‌سازد.
پس از احراز هویّت و تبادل نامتقارن کلیدها، اوپن‌اس‌اس‌ال برای ایجاد ارتباط و رمزگذاری سرتاسر استفاده می‌شود. دوستانِ دوستان به‌طور پیش‌فرض نمی‌توانند متّصل شوند امّا اگر کاربران اجازه بدهند، می‌توانند یک‌دیگر را ببینند.
پشتیبانی از پروتکل اینترنت نسخه ۶ نیر برای رتروشیر ۰٫۶ که احتمالاً در ۲۰۱۶ منتشر می‌شود هم در نظر گرفته شده‌است.
ویژگی‌ها > ارتباطات

برخی خدمات ارتباطی رتروشیر عبارتند از:
گفتگوی اینترنتی خوصی
سیستم نامه‌نگاری خصوصی که ارتباط امن بین دوستان شناخته و ناشناخته را ممکن می‌سازد.
لابی عمومی و خصوصی چت چندکاربره
یک انجمن که بحث و تبادل نظر افراد ناشناس و تأیید هویّت شده را ممکن می‌سازد
یک کانال که امکان بارگذاری خودکار فایل‌های ارسال شده را برای کاربران مشترک شده ممکن می‌سازد. (مانند فیلدهای آراس‌اس)
امکان پیوندگذاری فایل‌ها برای اشتراک فایل‌های مهم
تماس صوتی
تماس‌های تصویری (از نسخه ۰٫۶٫۰)
پشتیبانی از تور و اینترنت مخفی برای ناشناس‌سازی بیشتر (از نسخه ۰٫۶٫۰).