title: مترولوژی سطح

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


title: مترولوژی سطح

text: پارامترهایی که برای توصیف سطوح استفاده می‌شوند تا حد زیادی شاخص‌های آماری است که از بسیاری از نمونه‌های ارتفاع سطح بدست آمده‌است. برخی از نمونه‌ها عبارتند از:


title: مترولوژی سطح

text: این نمونه کوچکی از پارامترهای در دسترس می‌باشد که در استانداردهای ASME B46.1 و ISO 4287 در مورد آن‌ها توضیح داده شده‌است. بیشتر این پارامترها از توانایی‌های پروفایلومتر و سایر سیستم‌های مکانیکی موجود نشات می‌گیرد. علاوه بر آن، در روش جدید اندازه‌گیری ابعاد سطح با کمک ابزار پیشرفته که اندازه‌گیری با دقت بالا را ممکن می‌سازد را ممکن می‌سازد.


title: مترولوژی سطح

text: زبری سطح می‌تواند برای یک تمام یک محدوده تعریف شود. این مورد اطلاعات S را به جای R به ما می‌دهد.


title: مترولوژی سطح

text: در استاندارد در مورد تمام جزئیات زبری سطح صحبت شده‌است. مزیت پارامترهای پروفایلی این است که:


title: مترولوژی سطح

text: سطوح می‌توانند مقدار فراکتال هم داشته باشند. اندازه‌گیری‌های چند معیاره می‌تواند با آنالیزهای فراکتال معیار بزرگ یا اندازه سطح ساخته شوند.


title: مترولوژی سطح

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


title: مترولوژی سطح

text: به‌طور معمول، از فیلترهای دیجیتال یا آنالوگ برای جداسازی خطای فورم، موجدار بودن و زبری حاصل از اندازهگیری استفاده می‌شود. روش‌های اصلی فیلتر در چند مقیاس(multi-scale) عبارتند از: فیلتر گاوسی، تبدیل موجک و تجزیه حالت گسسته. سه مشخصه از این فیلترها وجود دارد که باید برای درک مقادیر پارامتری که یک ابزار میتواند محاسبه کند، شناخته شوند:


title: ایغدیر (ابهام‌زدایی)

text: ایغدیر ممکن است به یکی از موارد زیر اشاره داشته باشد:


title: فرودگاه ایغدیر

text: فرودگاه ایغدیر (به لاتین: Iğdır Airport) یک فرودگاه در ترکیه است که در ایغدیر واقع شده‌است. این فرودگاه پروازهایی به مقصد استانبول و آنکارا دارد.


title: سومیت مالیک

text: سومیت مالیک یک کشتی‌گیر آزادکار اهل هند است.


title: شیائومی می اسمارت بند ۶

text: شیائومی می اسمارت بند ۶ () ردیابی با فعالیت پوشیدنی است که توسط شیائومی تولید شده‌است. این ساعت هوشمند در ۲۹ مارس ۲۰۲۱ در بازار چین معرفی شد و از ۲ آوریل همان سال در آنجا عرضه شد. این ساعت هوشمند دارای نمایشگر آمولد خازنی ۱۵۲ در ۴۸۶ پیکسل، اندازه‌گیر ضربان قلب ۲۴/۷ و سنسور Sp02 می‌باشد. همچنین در برخی نسخه‌ها از ارتباطات میدان‌نزدیک (NFC) پشتیبانی می‌کند.


title: دهستان کرمجکان

text: دهستان کرمجکان یکی از دهستان‌های بخش مرکزی شهرستان کهک در استان قم ایران است.


title: دهستان کرمجکان

text: جمعیت دهستان کرمجکان براساس سرشماری عمومی نفوس و مسکن در سال ۱۳۹۵ برابر با ۸،۷۰۱ نفر بوده‌است.


title: بخش فردو

text: بخش فردو یکی از بخش‌های شهرستان کهک در جنوب استان قم ایران است.جمعیت بخش فردو براساس سرشماری عمومی نفوس و مسکن در سال ۱۳۹۵ برابر با ۳،۴۸۲ نفر بوده‌است.


title: دهستان خاوه

text: دهستان خاوه یکی از دهستان‌های بخش فردو شهرستان کهک در استان قم ایران است. جمعیت دهستان خاوه براساس سرشماری عمومی نفوس و مسکن در سال ۱۳۹۵ برابر با ۱،۲۹۲ نفر بوده‌است.


title: کارن آصلانیان

text: کارن آصلانیان یک کشتی‌گیر فرنگی‌کار اهل ارمنستان در وزن ۶۷ کیلوگرم است. وی سابقه حضور در المپیک ۲۰۲۰ توکیو را دارد.


title: پرویز نصیب‌اف

text: پرویز نصیب‌اف یک کشتی‌گیر فرنگی‌کار اهل اوکراین است. از افتخارات وی می‌توان به کسب مدال نقره المپیک ۲۰۲۰ توکیو اشاره کرد.


title: پرویز نصیب‌اف

text: نصیب‌اف در وزن ۶۷ کیلوگرم کشتی فرنگی المپیک ۲۰۲۰ توکیو حاضر بود که فردریک بیرهوس از دانمارک، آرتم سورکوف از روسیه و محمد ابراهیم السید از مصر را شکست داد و به فینال رسید. وی در دیدار نهایی به محمدرضا گرایی از ایران باخت و به مدال نقره وزن ۶۷ کیلوگرم رسید.


title: ووکوس

text: ووکوس () شرکت مخابرات استرالیایی است، که در سال ۲۰۰۸ تأسیس شد.


title: فرانسیس کلین

text: فرانسیس کلین (یا فرانچسکو کلین همچنین فرانتس یا فرانتس کلین) (ج ۱۵۸۲–۱۶۵۸) نقاش و طراح پرده‌های نگارین که در آلمان به دنیا آمد اما در انگلستان زندگی کرد.


title: فرانسیس کلین

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


title: فرانسیس کلین

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


title: فرانسیس کلین

text: با به سلطنت رسیدن چارلز اول در سال ۱۶۲۵، وی به کلین با اعطای تابعیت انگلستان و مستمری برای تمام عمر به مبلغ ۱۰۰ پوند در سال، پاداش داد. همچنین اقامتگاهی برای او درمورتلاک نزدیک کارخانه ملیله کاری ساخت. کلین همراه باخانواده اش در این مکان اقامت گزید، و بر کار کپی اشکال نظارت می‌کرد، و همچنین مشغول به طراحی قابهایی شد که پرده‌های نگارین را در آن جا می‌دادند.


title: فرانسیس کلین

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


title: فرانسیس کلین

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


title: فرانسیس کلین

text: جنگ داخلی، باعث به وجود آمدن یک موفقیت دیگر برای کلیین شد، و به ریاست قلم زنی و طراحی تصاویر برای کتابها منصوب گردید. در سال ۱۶۳۲ او پیش از این تصاویر (حک شده توسط پیر لومبارت و S. ساوری) را به نسخه Sandys از "Metamorphoses" Ovid 's تهیه کرده بود، که نسخه ای از آن در پاریس در سال ۱۶۳۷ منتشر شد. در، به نسخه‌های کلاسیک منتشر شده توسط جان اوگیلبی، یعنی "افسانه‌های اسوپ" (۱۶۵۱)، "ویرجیل" (نسخه انگلیسی ۱۶۵۴، لاتین ۱۶۵۸) و "هومر"، (۱۶۶۰). نقوش وی توسط پیر لومبارت، ویلیام فیتورن و ونسلاوس هولار حک شده و چنان مورد تحسین قرار گرفتند که پادشاه فرانسه طرح‌هایی را برای ویرژیل در نسخه ویژه خود کپی کرد. Cleyn اچ عنوان صفحات برای "Lacrymæ Musarum" E. مونتاگ است (۱۶۵۰)، توماس فولر "(چون) پیزگاه دید فلسطین" (۱۶۵۰)، سرلوحه به "لیز، یا عجیب چوپان،" و شاید قلم در ۱۶۵۴ و ۱۶۶۰ نسخه از که کار وی مجموعه‌هایی از حکاکی‌های اصلی را به صورت گروتسک، یعنی "Septem Liberates Artes" (1645)، "Varii Zophori Figuris Animalium ornati" (1645)، "Quinque Sensuum Descriptio" (1646) منتشر کرد. و یک دوست و هنرمند معاصر، یک آقای انگلیسی، برخی از گروتسک‌ها (۱۶۵۴) و یک قطعه طنز از طرح‌های کلین را حک کرده‌است.


title: فرانسیس کلین

text: حکاکی‌های دیگری نیز در چاپخانه موزه بریتانیا وجود دارد که با احتمال زیاد به کلین نسبت داده می‌شود. اگرچه او خانه خود را در مورتلیک حفظ کرد، اما مدتی در کاونت گاردن اقامت گزید و در سال ۱۶۵۸ در سنین پیری در لندن درگذشت.


title: فرانسیس کلین

text: کلین در هنگام مرگ سه پسر به نام‌های فرانسیس، جان (هر دو در بالا ذکر شد) و چارلز و سه دختر به نام‌های سارا، مگدالن، و پنه لوپه داشت. فرانسیس کلین کوچکتر در سال ۱۶۲۵ متولد شد، و در ۲۱ اکتبر ۱۶۵۰ در کاونت گاردن به خاک سپرده شد. او با برادرش جان حرفه پدر خود را دنبال کرد، و هر دو به عنوان نقاش و مینیاتور به شهرت رسیدند.


title: فرانسیس کلین

text: تشخیص کار آنها از کار پدرشان دشوار است. یک سری نقاشی از تصاویر رافائل در کاخ کنزینگتون پیدا شد. آنها تاریخ ۱۶۴۰–۱۶۴۶ را دارند، و در مقیاس بزرگ اجرا شده‌اند. برخی از آنها توسط جان کلین امضا شده‌است، و برخی نیز توسط او و برادرش در مورتلاک انجام شده‌اند. آنها توسط جان اولین دیده شدند، وی اظهار داشت که برادران پس از آن هر دو مرده بودند. به نظر می‌رسد پنه لوپه کلین نیز یک نقاش مینیاتور بوده‌است و دو اثرمینیاتور از سیسیل، لرد روس (۱۶۷۷) و دوروته، دختر ریچارد کرومول (۱۶۶۸) از اوست.


title: بلواسکوپ

text: بلواسکوپ () شرکت فولاد استرالیایی است، که در سال ۲۰۰۲ تأسیس شد.


title: الکس زوکه

text: الکس زوکه یک کشتی‌گیر فرنگی‌کار اهل مجارستان است. وی سابقه حضور در المپیک ۲۰۲۰ توکیو را دارد.


title: الکس زوکه

text: از افتخارات وی می‌توان به کسب مدال نقره قهرمانی کشتی جهان ۲۰۲۱ اشاره کرد.


title: الکس زوکه

text: زوکه در وزن ۹۷ کیلوگرم کشتی فرنگی المپیک ۲۰۲۰ توکیو حاضر بود که در دور اول آرتور عمروف از جمهوری چک را شکست داد اما در دور بعد به موسی اولویف از روسیه باخت و با توجه به حضور این کشتی‌گیر در فینال، به دیدار شانس مجدد رفت. او در مرحله شانس مجدد گئورگی ملیا از گرجستان را شکست داد اما در دیدار رده‌بندی به تادیوس میچالیک از لهستان باخت و پنجم شد.


title: الکس زوکه

text: زوکه در وزن ۹۷ کیلوگرم کشتی فرنگی قهرمانی کشتی جهان ۲۰۲۱ اسلو شرکت کرد، او در این مسابقات اونیوس ساوتا از اوکراین، پیتر اوهلر از آلمان و جی‌آنگلو هانکوک از آمریکا را شکست داد و به فینال رسید. وی در دیدار نهایی به محمدهادی ساروی از ایران باخت و به مدال نقره رسید.


title: هاروی نورمن

text: هاروی نورمن () شرکت خرده‌فروشی استرالیایی است، که در سال ۱۹۸۲ تأسیس شد.


title: الیاس کوسمانن

text: الیاس کوسمانن یک کشتی‌گیر فرنگی‌کار اهل فنلاند است. وی سابقه حضور در المپیک ۲۰۲۰ توکیو را دارد.


title: شهرستان جعفرآباد

text: شهرستان جعفرآباد یکی از شهرستان‌های استان قم در ایران است. مرکز این شهرستان، شهر جعفریه است.


title: شهرستان جعفرآباد

text: این شهرستان در ۲۰ اردیبهشت ۱۴۰۰ از شهرستان قم جدا گردید.


title: شهرستان جعفرآباد

text: شهرستان جعفرآباد از شمال با شهرستان ساوه استان مرکزی، از غرب با شهرستان تفرش استان مرکزی و از جنوب تا شرق با شهرستان قم همسایه است.


title: شهرستان جعفرآباد

text: شهرستان جعفرآباد دارای ۲ بخش، ۲ دهستان و ۱ شهر به شرح زیر است:


title: شهرستان جعفرآباد

text: جمعیت شهرستان جعفرآباد براساس سرشماری عمومی نفوس و مسکن در سال ۱۳۹۵ برابر با ۲۱٬۹۶۳ نفر بوده‌است.


title: وینسنت بوئنو

text: وینسنت بوئنو (زاده ۱۰ دسامبر ۱۹۸۵) خواننده اتریشی است.


title: وینسنت بوئنو

text: او نماینده اتریش در یوروویژن ۲۰۲۱ است.


title: هایک چوبانیان

text: هایک چوبانیان (؛ زادهٔ ) تاریخ‌نگار، و سیاستمدار اهل ارمنستان است که از تاریخ ۲ آوریل ۲۰۲۱ تا تاریخ ۴ اوت ۲۰۲۱ در دولت دوم نیکول پاشینیان سمت وزارت صنایع فناوری پیشرفته ارمنستان را برعهده داشت. وی پیشتر از تاریخ ۶ فوریه ۲۰۱۹ تا تاریخ ۱ آوریل ۲۰۲۱ سمت استانداری استان تاووش را برعهدده داشت.


title: هایک چوبانیان

text: وی در ۵ مارس ۱۹۷۳ در تاووش به دنیا آمد و از دانشگاه دولتی ایروان فارغ‌التحصیل گشت. وی برنده جوایزی همچون مدال مارشال باغرامیان جایزه شده‌است.


title: رافال برزوزوسکی

text: رافال برزوزوسکی (زاده ۸ ژوئن ۱۹۸۱) خواننده لهستانی است.


title: رافال برزوزوسکی

text: او نماینده لهستان در یوروویژن ۲۰۲۱ است.


title: جنی فانل

text: جنی فانل (؛ زادهٔ ) بازیگر اهل بریتانیا است.


title: جنی فانل

text: از فیلم‌ها یا مجموعه‌های تلویزیونی که وی در آن‌ها نقش داشته‌است، می‌توان به "پوآرو"، "ارواح شیطانی"، "دارک سولز"، "هالیوکس"، "بلادبورن"، "دارک سولز ۳" اشاره نمود.


title: کریس واکر

text: کریس واکر (؛ زادهٔ ۱۹۶۴ میلادی) بازیگر اهل بریتانیا است. وی از سال ۱۹۸۵ میلادی تاکنون مشغول فعالیت بوده‌است.


title: کریس واکر

text: از فیلم‌ها یا مجموعه‌های تلویزیونی که وی در آن‌ها نقش داشته‌است، می‌توان به "پروتکل چهارم"، "پوآرو"، "خیابان کورونیشن"، "تلفات"، "شاهد خاموش"، "آدمکشان میدسامر"، "مأموران مخفی"، "شهر هالبی" و "مسترشف" اشاره نمود.


title: کلوئی سالامن

text: کلوئی سالامن (؛ زادهٔ ۱۹۵۲ میلادی) بازیگر اهل بریتانیا بود.


title: کلوئی سالامن

text: از فیلم‌ها یا مجموعه‌های تلویزیونی که وی در آن‌ها نقش داشته است، می‌توان به "پوآرو" اشاره نمود.


title: جو بولر

text: جو بولر (؛ زادهٔ ۱۹۵۲ میلادی) بازیگر اهل بریتانیا است.


title: جو بولر

text: از فیلم‌ها یا مجموعه‌های تلویزیونی که وی در آن‌ها نقش داشته‌است، می‌توان به "پوآرو"، "تلفات"، "خیابان کورونیشن" و "ایست‌اندرز" اشاره نمود.


title: قالب‌گیری (پلاستیک)

text: "قالب" در فرآیندهای پلیمری، فلزی محدود کننده یا کانالی است که توانایی ایجاد یک پروفیل با مقطع ثابت به یک جریان از مایع پلیمر را دارد. این مسئله، برای فرآیندهای شکلی‌دهی مداوم اشکال مانند ورق‌ها ، فیلم‌ها ، لوله‌ها ، میله‌ها و دیگر پروفیل‌های پیچیده مورد استفاده قرار میگیرد.در مقابل فرایند زنجیره ای (غیر ثابت) مانند قالب تزریق، این یک فرآیند پیوسته است و امکان تولید مداوم (با فرض تأمین ثابت ذوب پلیمر) را فراهم می کند.


title: قالب‌گیری (پلاستیک)

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


title: قالب‌گیری (پلاستیک)

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


title: قالب‌گیری (پلاستیک)

text: طراحی جدیدتر، قالبی شبیه به آویز کت است. تفاوت این قالب با قالب T این گونه است که، بازوها از جهت ورودی در زاویه قائم نیستند. در عوض، بازوها در زاویه کمتری قرار دارند و دربیشتر موارد، منحنی هستند. بازوها همچنین، دارای قطر متغیر هستند و به شعاع کوچکتر از کانال ورودی، کاهش میابند. قسمت نزدیک به آویزها بلندتر از نمونه های T شکل آنها است، و هرگونه غیر یکنواختی، جریان را بیشتر کاهش می دهد. سرانجام، مذاب مانند لب از طریق لب ها خارج می شود.


title: قالب‌گیری (پلاستیک)

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


title: قالب‌گیری (پلاستیک)

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


title: قالب‌گیری (پلاستیک)

text: یک قالب متقاطع جریان ذوب را به دو قسمت در ورودی منیفولد تقسیم می کند و آنها را در سمت مخالف یک سنسور مرکزی استوانه ای ترکیب می کند. این طراحی به نسبت ساده، منجر به جریان غیر متقارن می شود، زیرا وصول مولکول ها به طرف مخالف، بیشتر از سمت نزدیک سنبه است. به همین منوال، فیلم حاصل با ضخامت یکنواخت نخواهد بود. برای کاهش این غیر یکنواختی، قطر ورودی می تواند گوناگون باشد، و درج های مختلفی را میتوان برای به حداقل رساندن مناطق راکد اضافه کرد.


title: قالب‌گیری (پلاستیک)

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


title: قالب‌گیری (پلاستیک)

text: اکستروژن اورجکت یک فرآیند پوشش دهی است، که در آن سیم های لخت به صورت جداگانه یا بسته-سیمهای از قبل پوشش داده شده، با یک لایه از پلیمر عایق، پوشانده می شوند. بسته به نوع کاربرد ممکن است، از طیف گسترده ای از مواد استفاده شود. برای بسیاری از کاربردها، مانند کابل های عایق بندی شده، پلیمر باید یک عایق خوب، انعطاف پذیر و مقاوم در برابر سایش باشد.


title: قالب‌گیری (پلاستیک)

text: در این فرآیند، یک سیم (یا یک بسته-سیم) تا بالاتر از دمای انتقال فاز شیشه یا دمای ذوب پوشش پلیمری که قرار است اعمال شود، پیش گرم می شود. این برای اطمینان از چسبندگی پوشش جدید است. سپس، این سیم لخت از قبل گرم شده، خیلی سریع از طریق یک قالب خارج می شود و یک پوشش نازک از پلیمر را در اطراف سیم قرار می دهد.


title: قالب‌گیری (پلاستیک)

text: بافتن الیاف فرآیندی ترکیبی است که در آن از جاذبه یا نیروهای دیگری برای تغییر مکانیکی و هندسی فیبرهای اکسترود شده استفاده می شود. این فرآیند نه تنها سطح مقطع فیبر را میکاهد، بلکه با ترازبندی تک تک مولکول‌های پلیمر، مقاومت الیاف را نیز بیشتر میکند.


title: قالب‌گیری (پلاستیک)

text: قبل از بافتن پلیمر، مذاب پلیمر از طریق یک قالب با تعداد زیادی سوراخ کوچک، که به عنوان اسپینِرِت شناخته می شود، تحت فشار قرار می گیرد. به طور معمول، الیاف بدون نیاز به عمل آوری در هوا خنک می شوند. در صورت نیاز به پخت،از دو روش چرخش خشک و مرطوب استفاده میشود. در ریسندگی مرطوب، پلیمر حل شده و از طریق یک نخ ریسی،وارد یک وان شیمیایی اکسترود می شود. در چرخش خشک، با خنک شدن الیاف، یک حلال، تبخیر می شود.


title: قالب‌گیری (پلاستیک)

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


title: قالب‌گیری (پلاستیک)

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


title: قالب‌گیری (پلاستیک)

text: برخلاف فیلم اکستروژن فیلم، لوله و ورق، قالب های مورد استفاده در اکستروژن پروفیل به ندرت گرد، یا کاملاً صاف هستند. در حالی که یک پروفیل گرد (یا تخت) دارای سرعت جریان یکنواخت در تمام لبه ها است، این برای اشکال پیچیده تر صدق نمی کند.به عنوان مثال، یک نمونه از پروفیل مربع ساده و محکم را در نظر بگیرید؛ سرعت مذاب در مرکز قالب بیشترین و در لبه ها و گوشه ها به دلیل اصطکاک بین دیواره های مذاب و قالب، کمترین سرعت را دارد.


title: نوفارم

text: نوفارم () شرکت صنایع شیمیایی استرالیایی است، که در سال ۱۹۵۶ تأسیس شد.


title: جی‌بی های-فای

text: جی‌بی های-فای () شرکت خرده‌فروشی استرالیایی است، که در سال ۱۹۷۴ تأسیس شد.


title: ساوت۳۲

text: ساوت۳۲ () شرکت معدن استرالیایی است، که در سال ۲۰۱۵ تأسیس شد.


title: اوز مینرالز

text: اوز مینرالز () شرکت معدن استرالیایی است، که در سال ۲۰۰۸ تأسیس شد.


title: تیلی واسبرگ

text: تیلی واسبرگ (؛ زادهٔ ) بازیگر اهل بریتانیا است.


title: تیلی واسبرگ

text: از فیلم‌ها یا برنامه‌های تلویزیونی که وی در آن نقش داشته‌است، می‌توان به "خرید"، "ورا دریک"، "تاوان"، "نگاه عشق"، "پوآرو"، "تلفات"، "شهر هالبی"، "اوج مخملی"، "ایست‌اندرز" و "دور از اجتماع خشمگین" اشاره کرد.


title: می‌یر

text: می‌یر () شرکت خرده‌فروشی استرالیایی است، که در سال ۱۹۰۰ تأسیس شد.


title: آلومینا لیمیتد

text: آلومینا لیمیتد () شرکت معدن استرالیایی است، که در سال ۲۰۰۳ تأسیس شد.


title: گروه سیمیک

text: گروه سیمیک () شرکت ساخت‌وساز استرالیایی است، که در سال ۱۹۴۹ توسط استنلی لیتون تأسیس شد.


title: استنلی لیتون

text: استنلی لیتون (; – ) کارآفرین استرالیایی بود، که در سال ۱۹۴۹ گروه سیمیک را تأسیس کرد..


title: پول بیشتر

text: پول بیشتر یک فیلم سینمایی آمریکایی کمدی، جنایی و عاشقانه محصول سال ۱۹۹۲ به کارگردانی پیتر مک‌دونالد و نویسندگی دیمون وینز که همچنین در این فیلم بازی کرده‌است. در این فیلم استیسی داش، جو سانتوس، جان دیهل، هری لنیکس، برنی مک (در اولین فیلم خود) و مارلون وینز از بازیگران اصلی این فیلم هستند. این فیلم در ایالات متحده در تاریخ ۲۴ ژوئیه ۱۹۹۲ اکران سینمایی شد.


title: پول بیشتر

text: فیلم از ۱۶ ژوئیه تا ۱۸ سپتامبر ۱۹۹۱ در شیکاگو، ایلینوی در ۶۴ روز فیلمبرداری شد.


title: پول بیشتر

text: این فیلم در شماره ۱ باکس آفیس در ایالات متحده آغاز به کار کرد، در آخر هفته افتتاحیه خود ۱۲۳۸۵۴۱۵ دلار فروخت. در نهایت با فروش ۴۰٬۲۲۷٬۰۰۶ دلار در گیشه آمریکای شمالی به پایان رسید.


title: آریزون

text: آریزون () شرکت ترابری استرالیایی است، که در سال ۲۰۰۴ تأسیس شد.


title: آماندا واکر (بازیگر)

text: آماندا واکر (؛ زادهٔ ) بازیگر اهل بریتانیا است.


title: آماندا واکر (بازیگر)

text: از فیلم‌ها یا برنامه‌های تلویزیونی که وی در آن نقش داشته‌است می‌توان به "کلاود اطلس"، "۲۸ هفته بعد"، "، "اتاقی با یک چشم‌انداز"، "نوسترآداموس"، "بیمار انگلیسی"، "پوآرو"، "مسترپیس"، "آدمکشان میدسامر"، "ازدست‌رفته"، "حسی"، "شهر هالبی"، "قانون مورفی"، "خانواده من"، "بازرس فویل"، "نزدیکی صمیمانه" و "بهترین پیشنهاد" اشاره کرد.


title: گروه کولز

text: گروه کولز () شرکت خرده‌فروشی استرالیایی است، که در سال ۱۹۱۴ تأسیس شد.


title: لیناس

text: لیناس () شرکت معدن استرالیایی است، که در سال ۱۹۸۳ تأسیس شد.


title: آپا گروپ

text: آپا گروپ () شرکت هلدینگ استرالیایی است، که در سال ۲۰۰۰ تأسیس شد.


title: اطلس آرتریا

text: اطلس آرتریا () شرکت ترابری استرالیایی است، که در سال ۲۰۱۰ تأسیس شد.


title: بکمورز

text: بکمورز () شرکت صنایع غذایی استرالیایی است، که در سال ۱۹۳۰ تأسیس شد.


title: برامبلس

text: برامبلس () شرکت ترابری استرالیایی است، که در سال ۱۸۷۵ تأسیس شد.


title: کوچلیر

text: کوچلیر () شرکت داروسازی استرالیایی است، که در سال ۱۹۸۱ تأسیس شد.


title: کودان لیمیتد

text: کودان لیمیتد () شرکت الکترونیک استرالیایی است، که در سال ۱۹۵۹ تأسیس شد.


title: کامپیوترشر

text: کامپیوترشر () شرکت خدمات مالی استرالیایی است، که در سال ۱۹۷۸ تأسیس شد.


title: مل مارتین

text: مل مارتین (؛ زادهٔ مارس ۱۹۴۷ میلادی) بازیگر اهل بریتانیا است.


title: مل مارتین

text: از فیلم‌ها یا مجموعه‌های تلویزیونی که وی در آن‌ها نقش داشته‌است، می‌توان به "شکارچی سفید، قلب سیاه"، "ایست‌اندرز"، "پوآرو"، "قصه‌گو"، "ترفند، طرح‌ریزی، رویارویی" و "تلفات" اشاره نمود.


title: باب میسون

text: باب مِـیسون (؛ – ) بازیگر اهل بریتانیا بود.


title: باب میسون

text: از فیلم‌ها یا مجموعه‌های تلویزیونی که وی در آن‌ها نقش داشته است، می‌توان به "سفر فلیسیا"، "خیابان کورونیشن"، "تلفات" و "پوآرو" اشاره نمود.


title: داستان بی‌پایان ۲

text: داستان بی‌پایان ۲: فصل بعدی یک فیلم سینمایی فانتزی آلمانی - آمریکایی محصول سال ۱۹۹۰ به کارگردانی جرج تی. میلر که دنباله‌ای بر فیلم "داستان بی‌پایان (فیلم ۱۹۸۴)" محسوب می‌شود.


title: یوژف ترتی

text: یوژف ترتی (؛ زادهٔ ) کشتی‌گیر اهل یوگسلاوی بود.


title: یوژف ترتی

text: وی در مسابقات کشوری و بین‌المللی در مجموع برندهٔ ۱ مدال طلا، ۲ مدال نقره، ۲ مدال برنز شده‌است.


title: سرکان یاگچی

text: سرکان یاگچی (Serkan Yağcı؛ متولد ۲۵ مه ۱۹۸۴) یک ک‌کای اهل ترکیه است که در مسابقات کومیته ۷۵- کیلوگرم رقابت می‌کند. او عضو .Büyükşehir Belediyesi S.K استانبول است.


title: گروه گودمن

text: گروه گودمن () شرکت املاک استرالیایی است، که در سال ۱۹۸۹ تأسیس شد.


title: پت پیج

text: پت پیج (؛ – ) شعبده‌باز اهل بریتانیا بود.


title: پت پیج

text: از فیلم‌ها یا مجموعه‌های تلویزیونی که وی در آن‌ها نقش داشته‌است، می‌توان به "پوآرو" اشاره نمود.


title: گروه جی‌پی‌تی

text: گروه جی‌پی‌تی () شرکت املاک استرالیایی است، که در سال ۱۹۷۱ تأسیس شد.


title: لند لیز

text: لند لیز () شرکت املاک استرالیایی است، که در سال ۱۹۵۳ تأسیس شد.


title: ایلوکا ریسورسز

text: ایلوکا ریسورسز () شرکت معدن استرالیایی است، که در سال ۱۹۹۸ تأسیس شد.


title: میرواک

text: میرواک () شرکت خوشه‌ای استرالیایی است، که در سال ۲۰۰۰ تأسیس شد.


title: ناین انترتینمنت

text: ناین اینترتینمنت () شرکت سرگرمی استرالیایی است، که در سال ۲۰۰۶ تأسیس شد.


title: اوه! مدیا

text: اوه! مدیا () شرکت تبلیغات استرالیایی است، که در سال ۱۹۸۹ تأسیس شد.


title: سونیک هلت‌کر

text: سونیک هلت‌کر () شرکت تجهیزات پزشکی استرالیایی است، که در سال ۱۹۸۷ تأسیس شد.


title: سون وست مدیا

text: سون وست مدیا () شرکت رسانه‌ای استرالیایی است، که در سال ۱۹۹۲ تأسیس شد.


title: سروکورپ

text: سروکورپ () شرکت املاک استرالیایی است، که در سال ۱۹۷۸ تأسیس شد.


title: مایکل جی. شنون

text: مایکل جی. شنون (؛ زادهٔ ) بازیگر اهل بریتانیا است.


title: مایکل جی. شنون

text: از فیلم‌ها یا مجموعه‌های تلویزیونی که وی در آن‌ها نقش داشته‌است، می‌توان به "آن بخت خوش"، "سوپرمن ۲"، "فروشگاه کوچک ترسناک"، "بالتو"، "تفنگ آمریکایی"، "سایه‌های سیاه"، "غراب"، "فرشتگان چارلی"، "لو گرانت"، "نگهبان شب"، "جاگ"، "پوآرو"، "فروشگاه کوچک ترسناک"، "موبیوس" و "بوستون لیگال" اشاره نمود.


title: آلکسیوم

text: آلکسیوم () شرکت صنایع شیمیایی استرالیایی است، که در سال ۱۹۸۰ تأسیس شد.


title: آردنت

text: آردنت () شرکت سرمایه‌گذاری استرالیایی است، که در سال ۱۹۹۸ تأسیس شد.


title: بیاند اینترنشنال

text: بیاند () شرکت سرگرمی استرالیایی است، که در سال ۱۹۸۴ تأسیس شد.


title: بندیگو اند آدلاید بنک

text: بندیگو اند آدلاید بنک () شرکت خدمات مالی و بانکداری استرالیایی است، که در سال ۱۸۵۸ تأسیس شد.


title: بانک کوئینزلند

text: بانک کوئینزلند () شرکت خدمات مالی و بانکداری استرالیایی است، که در سال ۱۸۶۳ تأسیس شد.


title: شرکت کشاورزی استرالیا

text: شرکت کشاورزی استرالیا () شرکت صنایع کشاورزی استرالیایی است، که در سال ۱۸۲۴ تأسیس شد.


title: کربن انرژی

text: کربن انرژی () شرکت معدن استرالیایی است، که در سال ۲۰۰۴ تأسیس شد.


title: کرون ریزورتس

text: کرون ریزورتس () شرکت سرگرمی استرالیایی است، که در سال ۲۰۰۷ تأسیس شد.


title: دکسوس

text: دکسوس () شرکت املاک استرالیایی است، که در سال ۲۰۰۰ تأسیس شد.


title: دومینوز پیتزا اینترپرایسز

text: دومینوز پیتزا اینترپرایسز () شرکت رستوران‌های زنجیره‌ای استرالیایی است، که در سال ۱۹۸۳ تأسیس شد.


title: گروه داونر

text: گروه داونر () شرکت معدن استرالیایی است، که در سال ۱۹۳۳ تأسیس شد.


title: گلکسی ریسورسز

text: گلکسی ریسورسز () شرکت معدن استرالیایی است، که در سال ۱۹۹۶ تأسیس شد.


title: هون آکواکالچر

text: هون آکواکالچر () شرکت صنایع غذایی استرالیایی است، که در سال ۱۹۸۶ تأسیس شد.


title: پیتر هاول

text: پیتر هاول (؛ ۲۵ اکتبر ۱۹۱۹ – ۲۰ آوریل ۲۰۱۵) بازیگر اهل بریتانیا بود.


title: پیتر هاول

text: از فیلم‌ها یا مجموعه‌های تلویزیونی که وی در آن‌ها نقش داشته‌است، می‌توان به "سرزمین سایه‌ها"، "شاهدخت کارابو"، "افسارگسیخته"، "رایلی، تک‌خال جاسوس‌ها"، "تفاله" و "پوآرو" اشاره نمود.


title: کوهورس (واحد نظامی)

text: یک کوهورس یک واحدنظامی تاکتیکی استاندارد در یک لژیون رومی بود. هرچند اندازه استاندارد آن در طول زمان و به‌مقتضای شرایط تغییر می‌کرد اما عموماً متشکل از ۴۸۰ سرباز بود. فرض بر این است که یک کوهورس معادل (برابرنهاد) با یک گردان امروزی است. در پی اصلاحاتی که در ۱۰۷ پیش از میلاد به گایوس ماریوس نسبت داده‌می‌شود، کوهورس جای مانیپولوس را گرفت. اندکی بعد از اصلاحات نظامی ماریوس، و تا اواسط سده سوم میلادی، ده کوهورس (در کل حدود ۵۰۰۰ نفر) یک لژیون را تشکیل می‌دادند. کوهورس‌ها را به‌صورت «کوهورس نخست»، «کوهورس دوم» و غیره نام‌گذاری می‌کردند. نخستین کوهورس متشکل از لژیونرهای باتجربه بود، درحالی‌که لژیونرهای دهمین کوهورس تجربه جنگی کمتری داشتند.


title: دامپروری لشکر چهارده امام حسین

text: دامپروری لشکر چهارده امام حسین یک منطقهٔ مسکونی در ایران است که در دهستان ریگستان واقع شده‌است. دامپروری لشکر چهارده امام حسین ۱۹ نفر جمعیت دارد.


title: شرکت تعاونی کشت و دام بقره

text: شرکت تعاونی کشت و دام بقره یک منطقهٔ مسکونی در ایران است که در دهستان ریگستان واقع شده‌است. شرکت تعاونی کشت و دام بقره ۱۱ نفر جمعیت دارد.


title: جان میچی

text: جان میچی (؛ زادهٔ ) بازیگر اهل میانمار است.


title: جان میچی

text: از فیلم‌ها یا مجموعه‌های تلویزیونی که وی در آن‌ها نقش داشته‌است، می‌توان به "تاگارت"، "پوآرو"، "خیابان کورونیشن"، "شهر هالبی" و "تلفات" اشاره نمود.


title: خواهران ماکیئوکا

text: خواهران ماکیئوکا ، ساسامه‌یوکی، "برف سبک") رمانی از نویسنده ژاپنی جون‌ایچیرو تانیزاکی است که از سال ۱۹۴۳ تا ۱۹۴۸ سریال‌سازی شده‌است. این رمان زندگی خانواده ثروتمند ماکیئوکا در اوساکا را از پاییز ۱۹۳۶ تا آوریل ۱۹۴۱ در دوره شووا، با تمرکز بر تلاش خانواده برای یافتن شوهر برای خواهر سوم، یوکیکو دنبال می‌کند. این رمان افول زندگی در طبقه متوسط بالا در حومه شهر، را به تصویر می‌کشد، زیرا شبح جنگ جهانی دوم و اشغال ژاپن بر رمان سایه انداخته‌است.


title: خواهران ماکیئوکا

text: عنوان رمان ساسامه‌یوکی، به معنای برف سبک است و در شعر کلاسیک ژاپن نیز مورد استفاده قرار می‌گیرد. عنوان رمان ریزش شکوفه‌های گیلاس در اوایل بهار را نشان می‌دهد- تعدادی از شاعران اعتراف می‌کنند که شکوفه‌های گیلاس را با برف اشتباه گرفته‌اند. شکوفه‌های گیلاس در حال سقوط، نماد رایج ناپایداری، یک موضوع رایج در رمان است. «یوکی» (雪، برف) در ساسامه‌یوکی همان «یوکی» در نام «یوکیکو» است، که نشان می‌دهد وی شخصیت اصلی رمان است. این تفاوت‌های ظریف به انگلیسی ترجمه نمی‌شود.


title: فضای تایشمولر

text: در ریاضیات، فضای تایشمولر ، از یک رویه توپولوژیکی (یا دیفرانسیل) (حقیقی) چون formula_1 که آن را با formula_2 نشان می‌دهند، فضایی است که ساختارهای مختلط روی formula_1 را در حد کنش هومئومورفیسم‌هایی پارامتریزه می‌کند که با هومئومورفیسم همانی ایزوتوپ است. فضاهای تایشمولر را بر اساس نام اسوالد تایشمولر نامیده اند.


title: فضای تایشمولر

text: هر نقطه از فضای تایشمولر formula_2 را می توان به عنوان رده یکریختی از رویه‌های ریمانی «نشانه‌گذاری شده» در نظر گرفت، به گونه ای که این «نشانه گذاری»، رده ایزوتوپی از هومئومورفیسم‌هایی از formula_1 به خودش است. این فضا را می توان به صورت فضای ماژولی برای ساختار هذلولوی نشاندار واقع بر رویه دید، به گونه ای که ساختار مذکور، رویه را مجهز به توپولوژی طبیعی می کند که برای یک رویه از گونای (genus) formula_6، با یک گوی از بعد formula_7 هومئومورف است. بدین طریق، فضای تایشمولر را می توان به عنوان اوربیفولدی پوشاننده جهانی از فضای ماژولی ریمانی دید.


title: فضای تایشمولر

text: فضای تایشمولر دارای ساختار منیفلد مختلط کانونی بوده و متریک طبیعی غنی ای دارد. مطالعه ویژگی هندسی چنین ساختارهای متنوع، حوزه تحقیقاتی فعالی است.


title: دهستان باقرآباد (جعفرآباد)

text: دهستان باقرآباد، یکی از دهستان‌های بخش مرکزی شهرستان جعفرآباد در استان قم ایران است.


title: دهستان باقرآباد (جعفرآباد)

text: جمعیت دهستان باقرآباد براساس سرشماری عمومی نفوس و مسکن در سال ۱۳۹۵ برابر با ۳،۲۷۱ نفر بوده‌است.


title: کایزو

text: کایزو یک مجله منافع-عمومی بود که در دوره تایشو شروع به انتشار می‌کرد و مقالات زیادی را با محتوای سوسیالیستی چاپ می‌کرد. کایزو را می‌توان به انگلیسی «بازسازی»، «سازمان دهی مجدد» ترجمه کرد.


title: نوروکورو

text: نوروکورو ، یک مانگای ژاپنی است که توسط کودانشا منتشر شده‌است.


title: انجمن حمایت از قانون امپراتوری

text: انجمن حمایت از قانون امپراتوری، تایسی یوکوسان کای فومیمارو کونوئه در دوران جنگ جهانی دوم تشکیل شد.


title: دهستان کهندان

text: دهستان کهندان یکی از دهستان‌های بخش قاهان شهرستان جعفرآباد در استان قم ایران است. جمعیت دهستان کهندان براساس سرشماری عمومی نفوس و مسکن در سال ۱۳۹۵ برابر با ۲،۱۸۶ نفر بوده‌است.


title: بحران ۲۰۲۱ اسرائیل و فلسطین

text: در ۱۰ مهٔ ۲۰۲۱، در ادامه منازعات بین اسرائیل و فلسطین، درگیری‌های خشونت باری بین معترضان فلسطینی و پلیس اسرائیل بر سر حکمی برنامه‌ریزی‌شده از طرف دادگاه عالی اسرائیل در خصوص بیرون راندن فلسطینیان از شیخ جراح، بیت‌المقدس شرقی درگرفت. البته این ناآرامی‌ها از ۶ مهٔ همان ماه آغاز گردیده بود و ۴ روز بعد به یک جنگ تمام عیار تبدیل شد که به مدت ۱۱ روز تا تاریخ ۲۱ مهٔ همان ماه ادامه یافت و با آتش‌بس پایان یافت. این درگیری‌ها، که با شب قدر و روز اورشلیم همزمان شدند، به زخمی شدن بیش از ۳۰۰ نفر، که اکثر آنان غیرنظامیان فلسطینی هستند، منجر شده‌اند. خشونت‌ها با محکومیت بین‌المللی همراه بوده و برای کاهش تنش‌ها، تاریخ اعلام حکم دادگاه عالی به مدت سی روز به تعویق افتاده‌است. در ۹ مهٔ و پس از آن که فلسطینیان مستقر در حرم شریف به جمع‌آوری سنگ و ابزار آتش‌بازی پرداختند، پلیس اسرائیل پیش از برگزاری یک راهپیمایی از سوی یهودیان ملی‌گرا که بعدتر لغو شد، به مسجدالاقصی یورش برد. حماس؛ گردان‌های قسام و جهاد اسلامی با موشک شهرهای حساس اسرائیل از جمله تل آویو؛ حیفا؛ اشدود و… را مورد هدف قرار دادند که موجب آسیب‌های مالی و جانی به شهروندان و حکومت اسرائیل شد.


title: بحران ۲۰۲۱ اسرائیل و فلسطین

text: در میانه اردیبهشت، تلاش اسرائیل برای اخراج شماری از خانواده‌های فلسطینی از خانه‌هایشان در منطقه شیخ جراح موجب اعتراض فلسطینی‌ها در اورشلیم شرقی و افزایش تنش‌ها شد.


title: بحران ۲۰۲۱ اسرائیل و فلسطین

text: بعد از این تنش‌ها حماس از غزه به سوی شهرهای اسرائیل صدها راکت پرتاب کرد که چند کشته برجای گذاشت. اسرائیل هم در مقابل، حملات موشکی به غزه را آغاز کرد که بیش از ۸۰ کشته برجای گذاشت.


title: بحران ۲۰۲۱ اسرائیل و فلسطین

text: اسرائیل می‌گوید که به مواضع حماس حمله می‌کند و حماس در مناطق غیرنظامی مستقر شده‌است. اما عملیات نظامی اسرائیل با افزایش تلفات غیرنظامیان در غزه، مخالفت‌هایی را در کنگره آمریکا برانگیخته است.


title: بحران ۲۰۲۱ اسرائیل و فلسطین

text: روز اول درگیری‌ها (دوشنبه ۱۱ می)


title: بحران ۲۰۲۱ اسرائیل و فلسطین

text: تنش میان اسرائیل و فلسطینیان در روزهای اخیر به طرز خطرناکی بالا گرفته‌است. دوشنبه شب ۱۹ مه (۲۰ اردیبهشت) شبه‌نظامیان فلسطینی در نوار غزه موشکی به اسرائیل را آغاز کردند. اسرائیل نیز به تلافی اهدافی در نوار ساحلی غزه را که توسط حماس کنترل می‌شود، مورد حمله هوایی قرار داد.


title: بحران ۲۰۲۱ اسرائیل و فلسطین

text: وزارت بهداشت در غزه از کشته شدن ۲۲ نفر خبر داده که ۹ نفرشان کودک بوده‌اند. گفته می‌شود که یکی از فرماندهان حماس نیز جزو کشته‌شدگان است. این شدیدترین حمله اسرائیل به نوار غزه از سال ۲۰۱۹ بوده‌است.


title: بحران ۲۰۲۱ اسرائیل و فلسطین

text: به گزارش ارتش اسرائیل، شبه‌نظامیان فلسطینی بیش از ۲۰۰ موشک از نوار غزه به سوی اسرائیل شلیک کردند. سخنگوی ارتش اسرائیل اما تصریح کرد که سیستم دفاعی گنبد آهنین این کشور ۹۰ درصد این موشک‌ها را پیش از اصابت به هدف خنثی کرده‌است.


title: بحران ۲۰۲۱ اسرائیل و فلسطین

text: حدود یک سوم این موشک‌ها احتمالاً به نوار غزه بازگشته و در آنجا خسارات جانی به بار آورده‌اند. شلیک این تعداد موشک از نوار غزه به سوی اسرائیل غیرعادی و تقریباً بی‌سابقه است.


title: بحران ۲۰۲۱ اسرائیل و فلسطین

text: آنگونه که ارتش اسرائیل گزارش داده، یک ساختمان مسکونی در شهر اشکلون واقع در شمال نوار غزه مورد اصابت یکی از این موشک‌های بازگردانده‌شده از سوی اسرائیل قرار گرفته‌است. به گفته نیروهای امدادی شش نفر در این حمله زخمی شده‌اند.


title: بحران ۲۰۲۱ اسرائیل و فلسطین

text: روز دوم درگیری‌ها (سه شنبه ۱۲ می)


title: بحران ۲۰۲۱ اسرائیل و فلسطین

text: با آغاز دومین شب از حملات متقابل اسرائیل و فلسطینیان در نوار غزه، بر ابعاد و شدت حملات راکتی و بمباران‌های طرفین به میزان چشمگیری افزوده شده‌است.


title: بحران ۲۰۲۱ اسرائیل و فلسطین

text: ارتش اسرائیل شامگاه سه‌شنبه یک ساختمان ۱۳ طبقه را در نوار غزه منهدم کرد. ساعتی بعد، اسرائیل برج‌های مرتفع «الجوهره»، «السعده» و «الظفار» را نیز هدف قرار داد. خبرنگاران نظامی اسرائیلی گفته‌اند این نوع حملات در ساعات آتی ادامه خواهد یافت.


title: بحران ۲۰۲۱ اسرائیل و فلسطین

text: بمباران‌های سنگین اسرائیل پس از آن وسعت گرفت که حماس و جهاد اسلامی فلسطین حملات شدید راکتی خود را در ابعاد و تعدادی که این کشور در ۷۳ سال موجودیت خود تجربه نکرده‌است، افزایش دادند.


title: بحران ۲۰۲۱ اسرائیل و فلسطین

text: حملات وسیع راکتی سازمان‌های شبه‌نظامی فلسطینی، حتی دقایقی پیش از پایان ضرب‌الاجل آن‌ها به اسرائیل، که ساعت ۹ شب به وقت محلی بود، آغاز شد.


title: بحران ۲۰۲۱ اسرائیل و فلسطین

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


title: بحران ۲۰۲۱ اسرائیل و فلسطین

text: «سرایا القدس»، شاخه نظامی سازمان جهاد اسلامی فلسطین و «»، شاخه نظامی حماس، دوشادوش یکدیگر، ده‌ها فروند راکت به سوی تل‌آویو، «رامات هشارون»، «جافا» (یا «یافو») و سایر مناطق موسوم به «گوش دان» در مرکز اسرائیل شلیک کردند. رسانه‌های اسرائیل می‌گویند شهر «گیوعاتاییم» نیز مورد اصابت قرار گرفته‌است.


title: بحران ۲۰۲۱ اسرائیل و فلسطین

text: در شبکه‌های اجتماعی اسرائیلی ادعا شده که خط لوله نفتی «اشکلون- ایلات» (که در زمان پادشاهی پهلوی در چارچوب همکاری نفتی ایرانی- اسرائیلی احداث شده بود)، به احتمال زیاد هدف این راکت بوده‌است.


title: بحران ۲۰۲۱ اسرائیل و فلسطین

text: زبانه‌های آتش از این مکان سر به آسمان کشیده و مخازن نفتی در حال سوخت، سایر رویدادهای دیگر را تحت تأثیر قرار داده‌است.


title: بحران ۲۰۲۱ اسرائیل و فلسطین

text: این ظاهراً سنگین‌ترین حمله راکتی به اسرائیل طی دهه‌های گذشته بوده‌است.


title: بحران ۲۰۲۱ اسرائیل و فلسطین

text: همچنین مسئولین حماس از جمهوری اسلامی ایران بابت ارسال موشک بدر ۳ قدردانی کردند.


title: بحران ۲۰۲۱ اسرائیل و فلسطین

text: روز سوم درگیری‌ها (چهارشنبه ۱۳ می)


title: بحران ۲۰۲۱ اسرائیل و فلسطین

text: فرماندهی اتاق عملیات مشترک گروه‌های مقاومت فلسطین در بیانیه‌ای اعلام کرد که نام «شمشیر قدس» را بر عملیات خود علیه اسرائیل و در حمایت از ساکنان قدس برگزید.


title: بحران ۲۰۲۱ اسرائیل و فلسطین

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


title: بحران ۲۰۲۱ اسرائیل و فلسطین

text: همزمان عملیاتی موسوم به عملیات محافظ دیوارها در اسرائیل منجر به کشته شدن ۶ فرمانده ارشد گروه‌های فلسطینی از جمله ابو عماد (رئیس گردان‌های عز الدین قسام) از جمله این افراد بود. همچنین ۸ برج مهم توسط جنگنده‌های اسرائیل نابود شدند که بانک اسلامی غزه نمونه ای از آنهاست.


title: بحران ۲۰۲۱ اسرائیل و فلسطین

text: روز چهارم درگیری‌ها (پنجشنبه ۱۴ می)


title: بحران ۲۰۲۱ اسرائیل و فلسطین

text: ۳ راکت که از لبنان به اسرائیل شلیک شده که در دریای مدیترانه فرود آمد. فلسطینی‌ها برای نخستین بار از موشک عیاش با برد ۲۵۰ کیلومتر رونمایی کردند. تاکنون ۱۷۰۰ راکت به سمت اسرائیل شلیک شده که ۳۰۰ فروند در غزه فرود آمده و بیش از ۴۰۰ فروند در اسرائیل منجر به خسارات جانی و مالی شده.


title: بحران ۲۰۲۱ اسرائیل و فلسطین

text: شمار قربانیان حملات هوایی اسرائیل نیز به ۱۰۹ نفر رسیده.


title: بحران ۲۰۲۱ اسرائیل و فلسطین

text: ارتش اسرائیل در ادامه عملیات محافظ دیوارها ۷۰۰۰ نیروی ذخیره خود را فراخواند. با تجمع تانک‌ها و توپ‌ها در نزدیکی نوار غزه نگرانی‌ها از حمله زمینی اسرائیل به غزه افزایش یافته.


title: بحران ۲۰۲۱ اسرائیل و فلسطین

text: ارتش اسرائیل تاکنون به ۷ واحد حماس از جمله مرکز اطلاعاتی و رئیس مرکز پهپادی و ۴ آپارتمان فرمانده ارشد حماس حمله کرده‌است.


title: بحران ۲۰۲۱ اسرائیل و فلسطین

text: خبرگزاری آسوشیتدپرس بامداد جمعه ۳۱ اردیبهشت به وقت ایران نوشت کابینه امنیتی اسراییل با آتش‌بس موافقت کرد. رویترز گزارش داده بود که کابینه امنیتی اسرائیل قصد دارد روز پنجشنبه دربارهٔ پیشنهاد آتش‌بس یکجانبه در غزه رای‌گیری کند. ساعاتی پیش از اعلام آتش‌بس، اسرائیل یک حمله هوایی دیگر به غزه داشت که دست‌کم یک نفر کشته شد.


title: بحران ۲۰۲۱ اسرائیل و فلسطین

text: ساعاتی بعد خبرگزاریها به نقل از مقامات حماس از پذیرش آتش‌بس خبر داد. به این ترتیب چهارمین درگیری نظامی بین اسرائیل و حماس بعد از ۱۱ روز متوقف شد.


title: بحران ۲۰۲۱ اسرائیل و فلسطین

text: به گزارش رسانه‌های اسرائیلی تمام اعضای کابینه امنیتی توصیه مشاوران امنیتی یعنی رئیس کل نیروهای مسلح، مدیر امنیت داخلی (شین بث) مدیر امنیت خارجی (موساد) و رئیس شورای امنیت ملی مبنی بر پذیرش بدون قید و شرط آتش‌بس پیشنهادی مصر را قبول کردند.


title: بحران ۲۰۲۱ اسرائیل و فلسطین

text: دفتر نخست‌وزیر اسرائیل ساعتی بعد از اعلام آتش‌بس گفت که این کشور پیشنهاد مصر برای آتش‌بس را پذیرفته و حملات نظامی علیه نیروهای حماس را در غزه متوقف می‌کند.


title: بحران ۲۰۲۱ اسرائیل و فلسطین

text: گروهی از فلسطینیان ساکن باریکه غزه همزمان با آغاز آتش‌بس پایان جنگ ۱۱ روزه را در خیابان‌های شهر غزه جشن گرفتند.


title: بخش قاهان

text: بخش قاهان یکی از بخش‌های شهرستان جعفرآباد در استان قم ایران است.


title: بخش قاهان

text: جمعیت بخش قاهان براساس سرشماری عمومی نفوس و مسکن در سال ۱۳۹۵ برابر با ۲،۹۰۰ نفر بوده‌است.


title: دریای دزدان

text: دریای دزدان () یک بازی ویدئویی اکشن-ماجراجویی اول شخص است. بازیکنان به‌طور منظم در طول ماجراجویی خود با یکدیگر روبرو می‌شوند. هر بازیکن نقش یک دزدریایی را بر عهده دارد. این بازی در تاریخ ۱۸ مارس ۲۰۱۸ برای پلت‌فرم‌های مایکروسافت ویندوز و اکس باکس وان و در سال ۲۰۲۰ برای کنسول اکس‌باکس سری اکس و سری اس منتشر شد.


title: دنباله‌دار بزرگ ۱۶۸۰

text: دنباله‌دار بزرگ ۱۶۸۰ یا سی/ ۱۶۸۰ وی۱ ()، که به‌عنوان دنباله‌دار کرچ و همچنین دنباله‌دار نیوتن نامگذاری شده، نخستین دنباله‌داری است که با استفاده از تلسکوپ کشف شده‌است. این دنباله‌دار را که گوتفرید کرچ اخترشناس اهل آلمان با تلسکوپ رصد و شناسایی کرد یکی از درخشان‌ترین دنباله‌دارها در قرن هفدهم بوده‌است.


title: دنباله‌دار بزرگ ۱۶۸۰

text: این دنباله‌دار در ۱۴ نوامبر ۱۶۸۰ (سبک نو)، در کوبورگ کشف شد و به یکی از درخشان‌ترین دنباله‌دارهای قرن هفدهم تبدیل شد؛ تا آنجا که حتی در روز نیز دیده می‌شد، و این به خاطر زیبایی بسیار چشمگیر دم طولانی آن بود. با عبور از فاصلهٔ ۰٫۴۲ au از زمین در ۳۰ نوامبر ۱۶۸۰، در ۱۸ دسامبر ۱۶۸۰ در یک اوج بسیار نزدیک ۰٫۰۰۶۲ au (۹۳۰٫۰۰۰ کیلومتری؛ ۵۸۰٫۰۰۰ مایل) سرعت گرفت و در ۲۹ دسامبر با چرخش آن به سوی بیرون به اوج روشنایی خود رسید.آخرین باری که دیده شد در ۱۹ مارس ۱۶۸۱ بود. تا فوریهٔ ۲۰۱۹، این دنباله‌دار حدود ۲۵۷ یکای نجومی (۳۸ میلیارد کیلومتر) از خورشید فاصله داشته‌است.


title: گوردون وارمبی

text: گوردون وارمبی (؛ – ) بازیگر بود. وی بین سال‌های ۱۹۷۷ تا ۲۰۰۲ میلادی فعالیت می‌کرد.


title: گوردون وارمبی

text: از فیلم‌ها یا مجموعه‌های تلویزیونی که وی در آن‌ها نقش داشته‌است، می‌توان به "خیابان کورونیشن"، "لبه تاریکی"، "در انتهای دوران میانسالی" و "پوآرو" اشاره نمود.


title: جما چرچیل

text: جما چرچیل (؛ زادهٔ ) بازیگر است. وی از سال ۱۹۸۴ میلادی تاکنون مشغول فعالیت بوده‌است.


title: جما چرچیل

text: از فیلم‌ها یا مجموعه‌های تلویزیونی که وی در آن‌ها نقش داشته‌است، می‌توان به "دکتر هو"، "پوآرو"، "ایست‌اندرز" و "شهر هالبی" اشاره نمود.


title: رونالد هاینس

text: رونالد هاینس (؛ – ) بازیگر اهل بریتانیا بود.


title: رونالد هاینس

text: از فیلم‌ها یا مجموعه‌های تلویزیونی که وی در آن‌ها نقش داشته‌است، می‌توان به "جک قاتل"، "دانکرک"، "سکوت خشمناک"، "جلسه احضار ارواح در یک بعدازظهر بارانی"، "وینستون جوان"، "زخم عمیق" و "پوآرو" اشاره نمود.


title: لیسا هارو

text: لیسا هارو (؛ زادهٔ ) بازیگر اهل نیوزیلند است.


title: لیسا هارو

text: از فیلم‌ها یا برنامه‌های تلویزیونی که وی در آن نقش داشته‌است، می‌توان به ""، "یکشنبه، "پوآرو" و "آخرین روزهای شه نو" اشاره کرد.


title: آی‌اواواف

text: آی‌اواواف () شرکت خدمات مالی استرالیایی است، که در سال ۱۸۴۶ تأسیس شد.


title: روی هدر

text: روی هدر (؛ – ) بازیگر اهل بریتانیا بود.


title: روی هدر

text: از فیلم‌ها یا مجموعه‌های تلویزیونی که وی در آن‌ها نقش داشته است، می‌توان به "پوآرو" و "لبه تاریکی" اشاره نمود.


title: سیدنی ایرپورت هلدینگ

text: سیدنی ایرپورت هلدینگ () شرکت هوانوردی استرالیایی است، که در سال ۲۰۰۲ تأسیس شد.


title: ترانسوربان

text: ترانسوربان () شرکت املاک استرالیایی است، که در سال ۱۹۹۹ تأسیس شد.


title: گروه سنتر

text: گروه سنتر () شرکت املاک استرالیایی است، که در سال ۱۹۶۰ تأسیس شد.


title: میوب

text: میوب () شرکت فناوری اطلاعات استرالیایی است، که در سال ۱۹۹۱ تأسیس شد.


title: مایلو اسپربر

text: مایلو اسپربر (؛ – ) بازیگر و فیلم‌نامه‌نویس اهل بریتانیا بود.از فیلم‌ها یا مجموعه‌های تلویزیونی که وی در آن‌ها نقش داشته‌است، می‌توان به "فاتحان"، "عملیات کراسبو"، "مغز بیلیون دلاری"، "پراویدنس"، "جاسوسی که دوستم داشت" اشاره نمود.


title: جامبو اینتراکتیو

text: جامبو اینتراکتیو () شرکت فناوری اطلاعات استرالیایی است، که در سال ۱۹۹۵ تأسیس شد.


title: تبکورپ هلدینگ

text: تبکورپ هلدینگ () شرکت سرگرمی استرالیایی است، که در سال ۱۹۹۴ تأسیس شد.


title: ویسینیتی

text: ویسینیتی () شرکت املاک استرالیایی است، که در سال ۱۹۵۸ تأسیس شد.


title: اینفراتیل

text: اینفراتیل () شرکت برق استرالیایی است، که در سال ۱۹۹۴ تأسیس شد.


title: جنسیس انرژی

text: جنسیس انرژی () شرکت برق نیوزیلندی است، که در سال ۱۹۹۹ تأسیس شد.


title: کاتماندو هلدینگ

text: کاتماندو هلدینگ () شرکت خرده‌فروشی نیوزیلندی است، که در سال ۱۹۸۷ تأسیس شد.


title: مک‌کانل داول

text: مک‌کانل داول () شرکت ساخت‌وساز نیوزیلندی است، که در سال ۱۹۶۱ تأسیس شد.


title: اکسیرو

text: اکسیرو () شرکت نرم‌افزار نیوزیلندی است، که در سال ۲۰۰۶ توسط دیوید تودی تأسیس شد.


title: کیوی پراپرتی

text: کیوی پراپرتی () شرکت املاک نیوزیلندی است، که در سال ۱۹۹۲ تأسیس شد.


title: رزالیند بنت

text: رزالیند بنت (؛ زادهٔ ) بازیگر اهل بریتانیا است. وی بین سال‌های ۱۹۸۰ تا ۱۹۹۹ میلادی فعالیت می‌کرد.


title: رزالیند بنت

text: از فیلم‌ها یا مجموعه‌های تلویزیونی که وی در آن‌ها نقش داشته‌است، می‌توان به "بازسازی"، "رولت آمریکایی"، "پوآرو"، "خیابان کورونیشن" و "داستان‌های باورنکردنی" اشاره نمود.


title: گروه ویرهاوس

text: گروه ویرهاوس () شرکت خرده‌فروشی نیوزیلندی است، که در سال ۱۹۸۲ تأسیس شد.


title: استیون هنکاک

text: استیون هنکاک (؛ – ) بازیگر اهل بریتانیا بود.


title: استیون هنکاک

text: از فیلم‌ها یا مجموعه‌های تلویزیونی که وی در آن‌ها نقش داشته‌است، می‌توان به "ایست‌اندرز"، "ساز بادی پرطنین" و "پوآرو" اشاره نمود.


title: اسکای‌سیتی انترتینمنت

text: اسکای‌سیتی اینترتینمنت () شرکت مهمان‌نوازی نیوزیلندی است، که در سال ۱۹۹۶ تأسیس شد.


title: اسکای نیوزیلند

text: اسکای نیوزلند () شرکت رسانه‌ای نیوزیلندی است، که در سال ۱۹۸۷ تأسیس شد.


title: اسکلرآپ

text: اسکلرآپ () شرکت کشاورزی نیوزلندی است، که در سال ۱۹۱۰ توسط جرج اسکرآپ تأسیس شد.


title: جرج اسکرآپ

text: جرج اسکرآپ (; – ) کارآفرین اهل نیوزیلند بود، که در سال ۱۹۱۰ شرکت اسکلرآپ را تأسیس کرد.


title: بروس مانتگیو

text: بروس مانتگیو (؛ زادهٔ ۲۴ مارس ۱۹۳۹) بازیگر اهل بریتانیا است. وی از سال ۱۹۶۳ میلادی تاکنون مشغول فعالیت بوده‌است.


title: بروس مانتگیو

text: از فیلم‌ها یا مجموعه‌های تلویزیونی که وی در آن‌ها نقش داشته‌است، می‌توان به "۸۰٬۰۰۰ مظنون"، "دکتر هو" و "پوآرو" اشاره نمود.


title: ایان کالیر

text: ایان کالیر (؛ ۲۵ ژانویه ۱۹۴۳ – ۱ اکتبر ۲۰۰۸) بازیگر اهل بریتانیا بود.


title: ایان کالیر

text: از فیلم‌ها یا مجموعه‌های تلویزیونی که وی در آن‌ها نقش داشته‌است، می‌توان به "مرد بعدی"، "هملت"، "پوآرو" و "دکتر هو" اشاره نمود.


title: بیل توماس

text: بیل توماس (؛ زادهٔ ۱۹۵۲ میلادی) بازیگر اهل بریتانیا است.


title: بیل توماس

text: از فیلم‌ها یا برنامه‌های تلویزیونی که وی در آن نقش داشته‌است می‌توان به "آلیس در آن‌سوی آینه" و "پوآرو" اشاره کرد.


title: مایکل کرانین

text: مایکل کرانین (؛ زادهٔ ۱۹۴۲ میلادی) نویسنده و بازیگر اهل بریتانیا است.


title: مایکل کرانین

text: از فیلم‌ها یا برنامه‌های تلویزیونی که وی در آن نقش داشته‌است، می‌توان به "فالتی تاورز"، "عیسی ناصری"، "پوآرو"، "آدمکشان میدسامر"، "بازرس فویل"، "سوئینی"، "مرلین"، "سکسپلورر"، "گروتسک"، "مرد گرگ‌نما" و "مخفیانه" اشاره کرد.


title: الی اسیری

text: الی اسیری (؛ زادهٔ ۲۶ ژانویه ۱۹۶۷) بازیگر و نویسنده اهل بریتانیا است.


title: الی اسیری

text: از فیلم‌ها یا مجموعه‌های تلویزیونی که وی در آن‌ها نقش داشته‌است، می‌توان به "پوآرو" اشاره نمود.


title: موریس پری (بازیگر)

text: موریس پری (؛ زادهٔ ) بازیگر اهل بریتانیا است.


title: موریس پری (بازیگر)

text: از فیلم‌ها یا مجموعه‌های تلویزیونی که وی در آن‌ها نقش داشته‌است، می‌توان به "خانواده دراماند"، "ترغیب‌گران!"، "دکتر هو"، "سوئینی"، "ارتش سری"، "آدمکشان میدسامر"، "پوآرو"، "پناهگاه" و "عشق" اشاره نمود.


title: تیم پریس

text: تیم پریس (؛ زادهٔ ) بازیگر اهل بریتانیا است.


title: تیم پریس

text: از فیلم‌ها یا برنامه‌های تلویزیونی که وی در آن نقش داشته‌است، می‌توان به "سایه‌نویس"، "ونیتی فر، ""، "پوآرو"، "بازرس فویل"، "دکتر هو" و "یک بیمار برجسته" اشاره کرد.


title: پسر گازگرفته‌شده با مارمولک

text: پسر گازگرفته‌شده با مارمولک (به ایتالیایی: "Ragazzo morso da un ramarro") یک نقاشی اثر کاراواجو نقاش باروک ایتالیایی است. این در دو نسخه، که هر دو آثار معتبر کاراواجو است، یکی در بنیاد روبرتو لانگی در فلورانس، و دیگری در گالری ملی لندن وجود دارد.


title: پسر گازگرفته‌شده با مارمولک

text: تصور می‌شود که هر دو نسخه مربوط به دوره زمانی ۱۵۹۴–۱۵۹۶ است. به گفته مورخ هنر، روبرتو لانگی، با توجه به اینکه نقاشی‌ها دارای تمام نشانه‌های کارهای اولیه نقاشی شده در خانه "کاردینال فرانچسکو دل مونته" حامی فرهیخته "کاراواجیو"، و اینکه "کاراواجو" تا مدتی در سال ۱۵۹۵ وارد "کاخ مادامای کاردینال" نشد، پایان اخیر این دوره زمانی محتمل‌تر به نظر می‌رسد.


title: داستان بی‌پایان ۳

text: داستان بی‌پایان ۳ یک فیلم سینمایی فانتزی و ماجراجویانه، آلمانی-آمریکایی محصول سال ۱۹۹۴ به کارگردانی پیتر مک‌دونالد است. این سومین و آخرین فیلم در این مجموعه محسوب می‌شود.


title: داستان بی‌پایان ۳

text: یک پسر جوان باید کتابی جادویی که رابطی است بین زمین و جهان را از دست گروهی قلدر که آن را دزدیده‌اند را پس بگیرد و …این فیلم برای اولین بار در ۲۷ اکتبر ۱۹۹۴ در آلمان منتشر شد. در فیلیپین، در ۴ ژانویه ۱۹۹۵ و با اکران پیشرفته در ۲ ژانویه توسط Jemah Films اکران شد. اکران محدود این فیلم در ایالات متحده در ۲ فوریه ۱۹۹۶ انجام شد.


title: داستان بی‌پایان ۳

text: در اواخر دسامبر ۱۹۹۴، این فیلم در آلمان ۵ میلیون دلار فروش کرد.


title: برایان کلمن

text: برایان کُلمن (؛ ۲۹ ژانویه ۱۹۱۱ – ۴ ژوئیه ۲۰۰۵) بازیگر اهل بریتانیا بود.


title: برایان کلمن

text: از فیلم‌ها یا مجموعه‌های تلویزیونی که وی در آن‌ها نقش داشته‌است، می‌توان به "جسی"، "دست"، "طولانی‌ترین روز"، "زپلین" "مونا لیزا"، "بازی گریه"، "چاپلین" و "پوآرو" اشاره نمود.


title: تمیزسازی حرارتی

text: تمیزسازی حرارتی یک فرایند ترکیبی از پیرولیز و اکسیداسیون است. این عملیات به عنوان یک کاربرد صنعتی برای حذف مواد آلی مانند پلیمرها، پلاستیک ها، و پوشش ها از قطعات، محصولات یا اجزای تولید مانند پیچ های اکسترودر، تارسازهای پلیمری و همزن های استاتیک استفاده می شود. تمیزسازی حرارتی معمول ترین روش تمیزسازی در محیط صنعتی است. تاکنون تنوع زیادی از عملیات های متفاوت برای طیف وسیعی از کاربردها طراحی شده و توسعه یافته است.


title: تمیزسازی حرارتی

text: برای پیرولیز گرما و برای اکسیداسیون هوا تامین می شود. بسته به نوع عملیات تمیزسازی حرارتی، پیرولیز و اکسیداسیون پشت سر هم یا همزمان اعمال می شوند. حین فرایند تمیزسازی حرارتی، مواد آلی به ترکیبات آلی فرار، هیدروکربن ها و گازهای کربنی تبدیل به می شوند. مواد و اجزای معدنی باقی می مانند. دمای معمول فرایند بین ۴۰۰ تا ۵۴۰ درجه سلسیوس (۷۵۰ تا ۱۰۰۰ درجه فارنهایت) متغیر است.


title: تمیزسازی حرارتی

text: گونه‌های مختلفی از فرایند تمیزسازی حرارتی صنعتی به کار گرفته می شود:


title: تمیزسازی حرارتی

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


title: تمیزسازی حرارتی

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


title: تمیزسازی حرارتی

text: مراحل انجام این فرایند به طور کلی به شرح زیر است:


title: تمیزسازی حرارتی

text: ۱. فاز ذوب


title: تمیزسازی حرارتی

text: در این فاز قطعاتی که باید تمیز شوند تحت دمای حدود ۳۲۰ درجه سلسیوس در محفظه قرار می گیرند. بعد از این فاز، بیشتر پلیمر موجود ذوب شده و زیر محفظه جمع آوری می شوند.


title: تمیزسازی حرارتی

text: ۲. فاز پیرولیز


title: تمیزسازی حرارتی

text: پلیمری که در فاز قبلی ذوب نشده تحت شرایط خلا پیرولیز و تبخیر می شود. گاز های تولیدی با عبور از مبدل کاتالیست در خروجی کوره، به کربن دی اکسید و بخار آب تبدیل می شوند.


title: تمیزسازی حرارتی

text: ۳. فاز اکسیداسیون


title: تمیزسازی حرارتی

text: پلیمری که کماکان بعد از انجام فاز پیرولیز باقی مانده است، تحت شرایط خلا و با هوای محدود می سوزد. گازهای تولیدی مجدداً از کاتالیست عبور داده شده و به بخار آب و کربن دی اکسید تبدیل می شود.


title: تمیزسازی حرارتی

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


title: تمیزسازی حرارتی

text: اجزای این نوع کوره ها:


title: تمیزسازی حرارتی

text: این روش جزو دسته های قدیمی فرایندهای تمیزسازی است. تمیزسازی به وسیله ی نمک مذاب سریع است و بین 15 تا 30 دقیقه زمان می برد. به دلیل انجام واکنش های شیمیایی حین این فرایند، خطر پاشش های مخاطره آمیز حین این فرایند وجود دارد. احتمال سایر خطرات دیگر مانند انفجار یا ساطع شدن گاز هیدروژن سیانید حین این فرایند بالاست. یکی دیگر از جنبه های منفی این فرایند، تغییر و انحراف دقت های طراحی است. حمام های نمک مذاب می توانند برای طبعیت و محیط مضر باشند. به دلیل جنبه های منفی فوق، امروزه این روش به ندرت به کار گرفته می شود.


title: تمیزسازی حرارتی

text: صنعت پلاستیک: تمیزسازی پسماند باقی مانده بر اجزای تولیدی صنعت پلاستیک مانند همزن های اکستروژن، اسپینرت ها، هاترانر ها، همزن های استاتیکی.


title: تمیزسازی حرارتی

text: صنعت تولید از بازیافت: این صنعت از فرایندهای تمیزسازی حرارتی برای تمیزسازی روغن ها و روانکارهای باقی مانده بر سطح بلوک های موتور و اجزای مشابه استفاده می کند.


title: تمیزسازی حرارتی

text: صنعت تعمیر موتور: در این صنعت در بسیاری از موارد کاربردهایی برای تمیزسازی اجزای موتور از روغن، روانکارها و رزین ها وجود دارد.


title: تمیزسازی حرارتی

text: آزمایشگاه های صنعتی: برای تمیزسازی سرامیک ها و ادوات شیشه ای استفاده می شود.


title: تمیزسازی حرارتی

text: کاربردهای عمومی در صنعت: تمیزسازی حرارتی برای زدودن رنگ، ورنی ها، و پوشش ها از قطعات صنعتی استفاده می کنند.


title: تمیزسازی حرارتی

text: Fluidised Bed Cleaning Furnaces


title: تمیزسازی حرارتی

text: Cleaning heat exchangers


title: تمیزسازی حرارتی

text: REMOVAL OF PLASTICS, PAINTS AND OTHER COATINGS


title: تمیزسازی حرارتی

text: Spinneret Cleaning


title: تمیزسازی حرارتی

text: ﻧﻤک ﺣﻤﺎم ﺑﺮرﺳی ﺗﻤیﺰکﺎری ﻗﻄﻌﺎت و اﺗﺼﺎﻻت آﻏﺸﺘﻪ ﺑﻪ ﻣﻮاد - ResearchGate


title: رود لوگر

text: لوگر رودخانه ای در افغانستان است که نام آن از دره لوگر و ولایت لوگر گرفته شده است. در ولایت میدان وردک که دریا از آنجا سرچشمه می گیرد، به نام دریای چک نامیده مشهور است. سد چک وردک بر روی این دریا در ولسوالی چک وردک، ولایت میدان وردک ساخته شده است.


title: رود لوگر

text: دریای لوگر منطقه وسیعی از کشور را طی می کند، در ولایت میدان وردک از دامنه های جنوبی دره سنگلاخ بالا می رود و از تپه های منطقه خارور، شمال شرقی غزنی بعد ازینکه معاونان خود را گرفت در چند کیلومتری شهر کابل به دریای کابل می پیوندد. دره حاصلخیز و خوب آبیاری شده لوگر، که توسط شاخه جنوبی این دریا آبیاری می شود، حدود ۶۴ کیلومتر (۴۰ مایل) طول و ١٩ کیلومتر (١٢ مایل) عرض دارد. این منطقه در مجاورت پایتخت واقع شده و به طور قابل توجهی به تأمین مواد غذایی کابل کمک می کند.


title: رود لوگر

text: یک شهر باستانی بزرگ در سال ٢۰۰٢، درست در جنوب پل علم مرکز لوگرکشف شد که قدمت آن حداقل به ١٧۰۰ سال قبل و زمان کوشانی ها برمی گردد. این شهر شامل ساختمانهای چند طبقه و معابد متعددی است که مساحت آن حدود ٣۰ کیلومتر مربع می باشد. اما در طول جنگ های اخیر با بسیاری از اشیا عتیقه در بازار سیاه به غارت رفته است.


title: مناقشه مسترهای تیلور سوئیفت

text: در ژوئن ۲۰۱۹، مسترهای شش آلبوم استودیویی اول خواننده-ترانه‌سرای آمریکایی تیلور سوئیفت به‌عنوان بخشی از بیگ ماشین رکوردز، شرکت ناشر موسیقی سوئیفت تا سال ۲۰۱۹، توسط مدیر برنامه اسکوتر براون خریداری شدند. سوئیفت گفت که او سال‌ها در تلاش بوده‌است تا مسترهایش را بخرد، اما بیگ ماشین شرایط نامساعدی را پیشنهاد داده‌است. او خرید براون را محکوم کرد؛ اگرچه او تلاش کرد تا صلح کند، او را به‌عنوان «قلدر با دستکاری بی‌وقفه» تقبیح کرد. رئیس سابق بیگ ماشین اسکات بورچتا گفت که سوئیفت از فرصت خرید مسترها امتناع ورزیده و ادعاهای سوئیفت را به چالش کشید.


title: مناقشه مسترهای تیلور سوئیفت

text: سوئیفت و بیگ ماشین یک‌سری اختلاف داشته‌اند، از جمله ادعاهای سوئیفت مبنی بر اینکه بیگ ماشین مانع از استفاده مطالب قدیمی‌اش در جوایز موسیقی آمریکا ۲۰۱۹ و مستند "خانم آمریکایی" (۲۰۲۰) شده‌است، و همچنین انتشار غیرمجاز "زنده از کانال کیلیر جداشده ۲۰۰۸" در سال ۲۰۲۰. سوئیفت اعلام کرد که شش آلبوم استودیویی اول خود را به‌عنوان وسیله‌ای برای دستیابی به مجموعه آثار خود دوباره ضبط خواهد کرد. در آوریل ۲۰۲۱، سوئیفت "بی‌باک (نسخه تیلور)" را منتشر کرد، یک نسخه دوباره ضبط‌شده از آلبوم ۲۰۰۸اش "بی‌باک".به دنبال آن سوئیفت تاریخ انتشار ضبط مجدد آلبوم سرخ یعنی سرخ (نسخه تیلور) را برای انتشار در ۱۲ نوامبر ۲۰۲۱ به همراه منتشر کرد.


title: سد سروبی

text: سد سروبی یک سد وزنی روی روخانه کابل واقع در ولسوالی سروبی افغانستان است. این سد در ۸ کیلومتری جنوب سد نغلو در محل تقاطع دریای پنجشیر و کابل واقع شده‌است. تورین‌های نصب شده روی آن قابلیت تولید ۲۲ مگاوات برق را دارد. آب و برق تولیدی این سد که در ۵۶ کیلومتری شرق کابل، پایتخت افقانستان قرار دارد برای استفاده شهر کابل، فابریکه، گلبهار و دیگر مؤسسات صنعتی پایتخت استفاده می‌شود.


title: سد سروبی

text: کار ساختمانی این سد در سال ۱۳۳۰ شروع شده و در سال ۱۳۳۶ به پایان رسید. امتیاز این سد نشیب زیاد آن است که استفاده نهایی از آن به عمل آمده‌است. دبت آبی رودخانه کابل و پنجشیر در این منطقه ۷۴ متر در ثانیه می‌رسد. قرارداد بازسازی توربین‌های این سد نیز با شرکت زیمنس آلمان صورت گرفته‌است.


title: اماکیمونو

text: اِماکیمُونو ، یا ایماکی (巻) یک سیستم روایت افقی از دست‌نویس‌های نقاشی شده‌است که به دوره نارا در قرن هشتم میلادی گاه‌شماری دوران مشترک ژاپن برمی گردد، و از نسخه‌های قدیمی تر چینی خود کپی می‌کند. با این وجود طومارهای ژاپنی در دوره هی‌آن و دوره کاماکورا کاملاً برجسته بودند؛ بنابراین «اماکیمونو» فقط به طومارهای داستانی نقاشی شده ژاپنی اشاره دارد.


title: بند سوختوک

text: سد سوختوک یک سد وزنی روی رودخانه نیلی است که یکی از شاخه‌های رود هلمند می‌باشد و در ولسوالی نیلی، ولایت دایکندی از توابع افغانستان ساخته شده‌است. این سد قابلیت تولید ٧۰۰ کیلووات برق را دارد و برای تامین انرژی شهر نیلی استفاده میشود.


title: بند سوختوک

text: کار ساختمانی این سد در سال ١٣٩۵ شروع شده و در سال ١٣٩٨ ختم گردید. قبل از ساخت این سد بر روی رودخانه نیلی، آب این رود به سد کجکی و در نهایت به دریاچه هامون می‌ریخت.


title: افسانه آفرینش ژاپنی

text: افسانه آفرینش ژاپنی ، به معنای واقعی کلمه «آفرینش آسمان و زمین» اسطوره آفرینش در اساطیر ژاپن است که تولد افسانه‌ای جهان آسمانی و تولد اولین خدایان و تولد مجمع الجزایر ژاپن را بیان می‌کند.


title: افسانه آفرینش ژاپنی

text: این داستان در دست اول در ابتدای کوجیکی (۷۱۲)، اولین کتاب نوشته شده در ژاپن و نیهون‌شوکی (۷۲۰) شرح داده شده‌است. هر دو کتاب اساس ادبی اسطوره‌های ژاپنی و شینتو را تشکیل می‌دهند. با این حال، داستان آفرینش از جنبه‌های مختلفی بین این آثار متفاوت است.طبق یکی از استطوره ها ایزانامی و ایزاناگی از اسمان٬ از بهشت تاکاماگاهارا به زمین فرود می ایند سپس شمشیر (Amenonuhoko) 天之瓊矛 امنونهوکو را داخل دریا فرو می کنند وقتی شمشیر را از اب بیرون می اورند از نوک شمشیر نمک می چکد و سپس از ان نمک جزیره اونوگورو_شیما پدید می اید.


title: حسن‌آباد (جبالبارز جنوبی)

text: حسن‌آباد یک روستا در ایران است که در بخش جبال‌بارز جنوبی شهرستان عنبرآباد در استان کرمان واقع شده‌است. حسن‌آباد ۱۹ نفر جمعیت دارد.


title: حسن‌آباد (جبالبارز جنوبی)

text: این روستا در دهستان مردهک قرار دارد و براساس سرشماری مرکز آمار ایران در سال ۱۳۸۵، جمعیت آن ۱۹ نفر (۵ خانوار) بوده‌است.


title: حسن‌آباد (گنبکی)

text: حسن‌آباد یک روستا در ایران است که در بخش گنبکی شهرستان ریگان در استان کرمان واقع شده‌است. حسن‌آباد ۱٬۸۶۳ نفر جمعیت دارد. این روستا در دهستان گنبکی قرار دارد و براساس سرشماری مرکز آمار ایران در سال ۱۳۸۵، جمعیت آن ۱٬۸۶۳ نفر (۴۳۳ خانوار) بوده‌است.


title: جنبش بسیج معنوی ملی (ژاپن)

text: جنبش بسیج معنوی ملی سازمانی است که در امپراتوری ژاپن به عنوان بخشی از کنترل سازمان‌های غیرنظامی تحت قانون ملی بسیج توسط نخست‌وزیر ژاپن فومیمارو کونوئه تأسیس شد.


title: هنگر پایین

text: هنگر پایین یک روستا در ایران است که در شهرستان زرند استان کرمان واقع شده‌است. هنگر پایین ۸ نفر جمعیت دارد.


title: هنگر پایین

text: این روستا در دهستان حتکن قرار دارد و براساس سرشماری مرکز آمار ایران در سال ۱۳۸۵، جمعیت آن ۸ نفر (۴ خانوار) بوده‌است.


title: حملات هوایی به ژاپن

text: حملات هوایی به ژاپن () نیروهای متفقین جنگ جهانی دوم حملات هوایی زیادی را در طول جنگ جهانی دوم به ژاپن انجام دادند و باعث تخریب گسترده شهرهای این کشور و کشته شدن ۲۴۱ تا ۹۰۰ هزار نفر شدند. در طول سال‌های اول جنگ اقیانوس آرام این حملات در اوایل به حمله دولیتل در آوریل ۱۹۴۲ و حملات به مقیاس کوچک به مواضع نظامی در جزایر کوریل از اواسط ۱۹۴۳ محدود بود. حملات بمباران استراتژیک در جنگ جهانی دوم در ژوئن ۱۹۴۴ آغاز شد و تا پایان جنگ در اوت ۱۹۴۵ ادامه داشت. بمباران تاکتیکی دریایی و زمینی متفقین در طی سال ۱۹۴۵ نیز به ژاپن انجام شد.


title: پروپاگاندای سیاه

text: پروپاگاندای سیاه () یا پروپاگاندای پنهان نوعی از پروپاگاندا است که تلاش می‌کند مفاهیم، منتسب به منابع دیگری غیر از منابع حقیقی به نظر برسند و از این طریق هویت خود را مخفی نگه می‌دارد. در پروپاگاندای سیاه نه‌تنها تحریف عمدی صورت می‌گیرد، بلکه هویت منبع معمولاً نامشخص یا نادرست است؛ زمانی که هویت نامعلوم باشد، وظیفهٔ تحلیلگر دشوار می‌شود. شناسایی پروپاگاندای سیاه تا زمانی که تمامی حقایق آشکار نشوند مشکل خواهدبود.


title: پروپاگاندای سیاه

text: در خلال مراحل آغازین جنگ جهانی دوم نازی‌ها حداقل سه ایستگاه رادیویی به راه انداختند که سعی داشتند وانمود کنند از مکانی در بریتانیا برنامه پخش می‌کنند.


title: بالیکتی (شهرستان تاق‌تاگل)

text: بالیکتی (به لاتین: Balykty) یک منطقهٔ مسکونی در قرقیزستان است که در شهرستان تاق‌تاگل واقع شده‌است. بالیکتی ۱۱۱ نفر جمعیت دارد و ۱٬۵۰۸ متر بالاتر از سطح دریا واقع شده‌است.


title: باشکی-ترک (شهرستان چتکل)

text: باشکی-ترک (به لاتین: Bashky-Terek) یک منطقهٔ مسکونی در قرقیزستان است که در شهرستان چتکل واقع شده‌است. باشکی-ترک ۶۸۸ نفر جمعیت دارد و ۱٬۹۶۶ متر بالاتر از سطح دریا واقع شده‌است.


title: بایموندوز (شهرستان بازارقرغون)

text: بایموندوز (به لاتین: Baymunduz) یک منطقهٔ مسکونی در قرقیزستان است که در شهرستان بازارقرغون واقع شده‌است. بایموندوز ۲٬۸۵۵ نفر جمعیت دارد.


title: دستور نقش و ارجاع

text: دستور نقش و ارجاع ( RRG ) نظریه‌ای در حوزه‌ی دستور زبان است که توسط ویلیام فولی و رابرت ون ویلن در دهه‌ی 1980 میلادی تهیه شده است و بسیاری از دیدگاه های فعلی در نظریه های دستور نقشگرا را در خود جای داده است.


title: دستور نقش و ارجاع

text: در دستور نقش و ارجاع ، توصیف جمله در یک زبان خاص از نظر (الف) ساختار منطقی (معنایی) و توابع ارتباطی آن ، و (ب) روش های دستوری که در زبان برای بیان این معانی موجود است ، فرموله شده است. به این معنی که ساختار منطقی زبان به همراه قواعد دستوری موجود در آن زبان، جملات آن زبان را تولید می‌کنند.


title: دستور نقش و ارجاع

text: از جمله ویژگیهای اصلی RRG می توان به استفاده از تجزیه واژگانی مبتنی بر معناشناسی واژگانی دیوید داوتی (1979) ، تجزیه و تحلیل ساختار بند و استفاده از مجموعه ای از نقشهای موضوعی سازمان یافته در سلسله مراتبی اشاره کرد که در آن بالاترین رتبه نقش ها "کنشگر" (برای فعال ترین شرکت کننده) و "کنش‌پذیر" هستند.


title: دستور نقش و ارجاع

text: رویکرد عملی RRG به زبان در سیستم درک چندزبانه زبان طبیعی (NLU) جان بال که یک دانشمند شناحتی است، نشان داده شده است . در سال 2012 ، بال تئوری پاتم خود را با دستور نقش و ارجاع تلفیق کرد ، و یک زبان مستقل NLU را تولید کرد و زبان را از نظر معنی تجزیه کرد.


title: نبرد کورگیدور

text: نبرد کورگیدور () یکی از نبردها در سال ۱۹۴۲ جنگ جهانی دوم بود.


title: اجرای نمادین

text: اجرای نمادین یا ارزیابی نمادین یا symbex در علوم رایانه، راهی برای تحلیل یک برنامه است که در نتیجه آن تعیین می‌شود که کدام «ورودی» ها منجر به اجرای هر «بخش» از برنامه می‌شود. مفسرهای اجرای نمادین موقع دنبال‌کردن برنامه، به جای مقادیر واقعی برای اجرای نرمال برنامه، «مقادیر نمادین» را برای ورودی‌ها فرض می‌کنند. این اجرا به عبارات به صورت «نمادهایی برای عبارات و متغیرهای موجود در برنامه» برخورد می‌کند، و نیز به محدودیت‌ها در قالب آن «نمادهایی برای نتایج ممکنه هر شاخه شرطی» برخورد می‌کند.


title: اجرای نمادین

text: گرایش شبیه‌سازی نمادین همین مفهوم را به سخت‌افزار اعمال می‌کند. گرایش محاسبات نمادین همین مفهوم را به تحلیل عبارات ریاضیاتی اعمال می‌کند.


title: اجرای نمادین

text: برنامه زیر را درنظر بگیرید، این برنامه یک مقدار ورودی را می‌خواند و اگر ورودی ۶ باشد، مقدار «شکست» را برمی‌گرداند. int f() { در مدت اجرای نرمال (یا اجرای واقعی)، برنامه یک مقدار ورودی واقعی (مثل 5) را می‌خواند و آن را به y انتساب می‌دهد. سپس اجرا با یک ضرب و شاخه شرطی ادامه می‌یابد، که به مقدار "شکست" ارزیابی شده و codice_1 را چاپ می‌کند.


title: اجرای نمادین

text: در مدت اجرای نمادین، برنامه یک مقدار نمادین (مثل codice_2) را می‌خواند و آن را به y انتساب می‌دهد. سپس برنامه با ضرب ادامه می‌یابد و مقدار codice_3 را به codice_4 انتساب می‌دهد. موقعی که به بیانیه codice_5 می‌رسد، عبارت codice_6 را ارزیابی می‌کند. در این نقطه از برنامه، λ هر مقداری را می‌تواند اخذ کند، و اجرای نمادین می‌تواند در امتداد هر دو شاخه ادامه پیدا کند، این کار با انشعاب‌دهی (fork کردن) به دو مسیر انجام می‌شود. در هر دستورالعمل شاخه‌گزینی به هر مسیر یک «کپی از وضعیت برنامه» و نیز یک «محدودیت مسیری» انتساب داده می‌شود. در این مثال، محدودیت مسیری برای شاخه codice_7 همان codice_8 و برای شاخه codice_9 همان codice_8 است. در اینجا هر دو مسیر به صورت مستقل قابل اجرای نمادین هستند. موقعی که مسیر خاتمه پیدا کند (مثلاً به عنوان نتیجه اجرای codice_11 یا با خارج‌شدن ساده)، اجرای نمادین یک مقدار غیرانتزاعی، برای λ محاسبه می‌کند، این کار با حل کردن محدودیت‌های مسیری انباشه‌شده در هر مسیر انجام می‌شود. این مقادیر غیرانتزاعی را می‌توان به عنوان آزمایه‌های غیرانتزاعی درنظر گرفت، که این مزیت را دارند که مثلاً می‌توانند به توسعه‌دهندگان در ایجاد مجدد اشکال‌های نرم‌افزاری کمک کنند. در این مثال، حل‌کننده محدودیت تعیین می‌کند که برای آنکه به بیانیه codice_11 برسیم، نیاز است که λ برابر 6 شود.


title: اجرای نمادین

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


title: اجرای نمادین

text: از اجرای نمادین برای استنتاج‌هایی در مورد یک برنامه به صورت «مسیر-به-مسیر» استفاده می‌شود، که این موضوع یک مزیت نسبت به استنتاج در مورد برنامه به صورت «ورودی-به-ورودی» (که دیگر الگوهای آزمون، مثل تحلیل پویای برنامه، از آن استفاده می‌کنند) است. با این حال، اگر تعداد کمی از ورودی‌ها در طول برنامه، یک مسیر مشابه را بگیرند، نسبت به حالت آزمون هر ورودی به صورت مجزا، بهبود زیادی حاصل نشده‌است.


title: اجرای نمادین

text: اگر محل حافظه مشابه توسط نام‌های متفاوتی دستیابی شوند (که به این کار الیاس یا دگرنامی می‌گویند)، اجرای نمادین سخت‌تر شده‌است. همیشه نمی‌توان دگرنام‌ها را به صورت ایستا تشخیص داد، از این رو موتور اجرای نمادین نمی‌تواند تشخیص دهد که اگر مقدار یک متغیر را تغییر بدهیم، دیگری هم تغییر خواهد کرد.


title: اجرای نمادین

text: به دلیل آنکه یک آرایه گردآوردی از تعداد زیادی از مقادیر متمایز است، اجرای نمادین می‌تواند به کل آرایه به عنوان یک مقدار برخورد کند یا اینکه با هر عنصر آرایه به صورت یک محل مجزا برخورد کند. اینجا مشکلی که در مورد برخورد با هر عنصر آرایه به صورت مجزا وجود دارد آن است که یک ارجاع مثل "A[i]" را موقعی که یک مقدار واقعی برای i به آن داده‌ایم، فقط به صورت پویا می‌توان تعیین نمود.


title: اجرای نمادین

text: برنامه‌ها با انجام تماس سامانه‌ای، گرفتن سیگنال، و غیره با محیط خود تعامل دارند. و مشکلات سازگاری می‌تواند موقعی بروز می‌کند که اجرا به مولفه‌هایی برسد که تحت کنترل ابزار اجرای نمادین نیست (مثل هسته یا کتابخانه). مثال زیر را درنظر بگیرید:


title: اجرای نمادین

text: int main()


title: اجرای نمادین

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


title: اجرای نمادین

text: به صورت مستقیم تماس با محیط را اجراکنیم. مزیت این دیدگاه آن است که پیاده‌سازی‌اش ساده است. اما ایرادش آن است که اثرجانبی این تماس‌ها به همه حالت‌های مدیریت شده توسط موتور اجرای نمادین ضربه وارد می‌کند. در مثال بالا، بر اساس ترتیب دنباله‌ای حالت‌ها، دستورالعمل خط ۱۱، مقدار "some datasome other data" یا "some other datasomedata" را برخواهد گرداند.


title: اجرای نمادین

text: مدل‌سازی محیط. در این حالت، موتور، تماس سامانه‌ای را با یک «مدل» ابزارسازی می‌کند که این مدل تاثیراتش را شبیه‌سازی کرده، و همه اثرات جانبی‌اش را در ذخیره هر-وضعیتی نگهداری می‌کند. مزیت این کار آن است که موقعی به نتایج درست می‌رسیم که برنامه‌هایی که با محیط تعامل دارند را به صورت نمادین اجرا کنیم. ایرادش آن است که باید مدل‌های بالقوه پیچیده زیادی را برای تماس سامانه‌ای پیاده‌سازی و نگهداری کنیم. ابزارهایی مثل مثل KLEE, Cloud9 و Otter, از این دیدگاه استفاده کرده‌اند، یعنی آن‌ها مدل‌هایی را برای عملیات سیستم فایل، سوکت‌ها و IPC و غیره پیاده‌سازی کرده‌اند.


title: اجرای نمادین

text: انشعاب کل حالت سامانه. ابزارهای اجرای نمادین براساس ماشین مجازی، مسئله محیط را با انشعاب کل حالت VM حل می‌کند. برای مثال، در S2E هر حالت یک برگرفت مستقل VM است، که قابلیت اجرای جداگانه دارد. این دیدگاه نیاز برای نوشتن و نگهداری مدل‌های پیچیده را کاهش می‌دهد، و همچنین امکان اجرای نمادین مجازی هر برنامه‌ای را می‌دهد. اما این روش، سربار استفاده از حافظه بالاتری دارد (برگرفت‌های VM می‌تواند بزرگ باشند).


title: اجرای نمادین

text: EXE یک نسخه اولیه برای KLEE است. مقاله EXE را می‌توان در اینجا یافت.


title: اجرای نمادین

text: مفهوم اجرای نمادین به صورت دانشگاهی با توصیف این موارد معرفی شد: سامانه Select، سامانه EFFIGY، سامانه DISSECT، و سامانه Clarke's. کتابشناسی را برای مقاله‌های فنی‌تر منتشر شده دربارهٔ اجرای نمادین ببینید.


title: کیدو کوایچی

text: کیدو کوایچی ; – ) سیاستمدار مشاور امپراتور هیروهیتو اهل ژاپن بود.


title: حادثه کیوجو

text: حادثه کیوجو ، یک کودتای نظامی در امپراتوری ژاپن در پایان جنگ جهانی دوم در آسیا بود. این اتفاق در شب ۱۴–۱۵ اوت ۱۹۴۵، درست قبل از اعلام خبر تسلیم ژاپن به متفقین جنگ جهانی دوم رخ داد.


title: ناوگان سوم نیروی دریایی آمریکا

text: ناوگان سوم ایالات متحده () یکی از ناوگان‌های شماره گذاری شده در نیروی نیروی دریایی ایالات متحده آمریکا است. منطقه مسئولیت ناوگان سوم تقریباً پنجاه میلیون مایل مربع از مناطق شرقی و شمالی اقیانوس آرام شامل دریای برینگ، آلاسکا، جزایر آلیوتی و بخشی از قطب شمال را شامل می‌شود. عمده خطوط ارتباطی نفت و تجاری دریایی در این منطقه برای سلامت اقتصادی ایالات متحده و کشورهای دوست در سراسر منطقه حاشیه اقیانوس آرام بسیار مهم است.


title: پروپاگاندا و هند در جنگ جهانی دوم

text: پروپاگاندا و هند در جنگ جهانی دوم در طول جنگ جهانی دوم، هر دو طرف محور و متحدین از پروپاگاندا برای تحت تأثیر قرار دادن نظرات غیرنظامیان و نیروهای هندی مردم هند استفاده می‌کردند؛ در حالی که در همان زمان ملی‌گرایان هندی در داخل و در خارج از هند برای تبلیغ جنبش استقلال‌طلبی هند فعالیت می‌کردند.


title: نبرد ایمفال

text: نبرد ایمفال () یکی از نبردهای جنگ جهانی دوم بود که از مارس تا ژوئیه ۱۹۴۴ در منطقه اطراف شهر ایمفال، پایتخت ایالت مانیپور در شمال شرق هند اتفاق افتاد.


title: حسن‌آباد (سربند)

text: حسن‌آباد یک روستا در ایران است که در بخش سربند شهرستان شازند در استان مرکزی واقع شده‌است. حسن‌آباد ۵۰ نفر جمعیت دارد. این روستا در دهستان هندودر قرار دارد و براساس سرشماری مرکز آمار ایران در سال ۱۳۸۵، جمعیت آن ۵۰ نفر (۹ خانوار) بوده‌است.


title: حتی (لالی)

text: حتی یک روستا در ایران است که در شهرستان لالی استان خوزستان واقع شده‌است. حتی ۱۸۶ نفر جمعیت دارد.


title: حتی (لالی)

text: این روستا در دهستان حتی قرار دارد و براساس سرشماری مرکز آمار ایران در سال ۱۳۸۵، جمعیت آن ۱۸۶ نفر (۳۳ خانوار) بوده‌است.


title: یگان‌های حمله ویژه ژاپنی

text: یگان‌های حمله ویژه ژاپنی ، یا توکّوتای، یا شیمبو-تای واحدهای تخصصی نیروی دریای امپراتوری ژاپن و نیروی زمینی امپراتوری ژاپن بودند که معمولاً برای مأموریت خودکشی استفاده می‌شدند. این هواپیماها شامل هواپیماهای کامی‌کازه، قورباغه‌های فوکوریو و چندین نوع قایق انتحاری و زیردریایی کلاس کیریو بود.


title: فوکوریو

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


title: جرج بی. وارگاس

text: جرج بی. وارگاس (; – ) سیاست‌مدار، وکیل اهل فیلیپین بود.


title: اکسشاو

text: اکسشاو (به انگلیسی: Exshaw) یک منطقهٔ مسکونی در کانادا است که در آلبرتا واقع شده‌است. اکسشاو ۴۱۲ نفر جمعیت دارد و ۱٬۳۲۰ متر بالاتر از سطح دریا واقع شده‌است.


title: اکسشاو

text: اگسشاو یک دهکده در آلبرتا، کانادا در منطقه شهرداری (MD) از بیگهورن شماره ۸ است. اگسشاو در حدود ۹۰ کیلومتری غرب مرکز شهر کلگری و ۱۵ کیلومتری (۹٫۳ مایل) شرقی کانمور واقع شده‌است، در دره رودخانه بو در شمال رودخانه بو واقع شده‌است.


title: با ماو

text: با ماو (؛ – ) وکیل، سیاستمدار اهل میانمار بود.


title: المر دیویس

text: المر دیویس (؛ ۱۳ ژانویه ۱۸۹۰ – ۱۸ مه ۱۹۵۸ (سن ۶۸) نویسنده اهل ایالات متحده آمریکا بود.


title: المر دیویس

text: وی همچنین برندهٔ جوایزی همچون جایزه پیبادی و بورسیه رودز شده‌است.


title: تایمز مانیل

text: تایمز مانیل () قدیمی‌ترین روزنامه موجود به زبان انگلیسی در فیلیپین است.


title: ساخت افزایشی با پرتو الکترونی

text: ساخت افزودنی پرتو الکترونی (به انگلیسی:Electron-beam additive manufacturing) یا ذوب پرتو الکترون ( EBM ) نوعی ساخت افزودنی یا چاپ سه بعدی برای قطعات فلزی است. این روش از پخت لیزر انتخابی متمایز است زیرا مواد اولیه کاملاً ذوب می شوند. ماده اولیه (پودر یا سیم فلز) در خلا قرار می گیرد و در اثر گرم شدن توسط پرتو الکترون با هم ذوب می شود. از تکنیک EBM مخصوصا برای ساخت قطعات سایز متوسط یا کوچک، در یک سری محدود یا تنها یک عدد استفاده می شود. به همین دلیل است که کاربران اصلی آن صنایع زیست پزشکی (مثلاً ساخت پروتز)، صنایع هوانوردی و صنایع موتورهای ورزشی هستند.


title: ساخت افزایشی با پرتو الکترونی

text: اولین بار در سال ۱۹۹۷ توسط شرکت سوئدی Arcam از مجموعه شرکت‌های GE Additive معرفی شد و در حال حاضر تنها برند برتر پرینترهای سه‌بعدی EBM جهان است. EBM برای ساخت قطعات پایان سبک، بادوام و متراکم ایده‌آل است. این فناوری در درجه اول در صنایع هوافضا، پزشکی و دفاعی استفاده می‌شود.


title: ساخت افزایشی با پرتو الکترونی

text: پودرهای فلزی را می توان با استفاده از یک پرتوی الکترونی به عنوان منبع گرما به یک جسم جامد تبدیل کرد. قطعات با ذوب شدن پودر فلز، لایه به لایه، با پرتوی الکترونی در خلاء تولید می‌شوند.


title: ساخت افزایشی با پرتو الکترونی

text: روش بستر پودری، قطعات فلزی کاملاً متراکمی را مستقیماً از پودر فلز با مشخصات ماده‌ی مورد نظر تولید می‌کند. دستگاه EBM داده‌های مدل 3D CAD را می‌خواند و لایه‌های پی‌درپی مواد پودری را می‌چیند. این لایه‌ها با استفاده از یک پرتوی الکترونی کنترل شده توسط کامپیوتر ذوب می‌شوند. به این ترتیب قطعات را تولید میکند. این فرایند در خلاء انجام می‌شود و این باعث میشود که برای ساخت قطعات از مواد واکنش‌پذیر با میل زیاد به اکسیژن (مانند تیتانیوم) مناسب باشد. این فرایند در دماهای بالا (تا 1000 درجه سانتیگراد) کار می‌کند، که می‌تواند منجر به تفاوت در تشکیل فاز از طریق انجماد و تبدیل فاز حالت جامد شود.


title: ساخت افزایشی با پرتو الکترونی

text: ماده‌ی اولیه پودر به طور معمول از قبل آلیاژ می‌شود، درنتیجه پودر مورد استفاده، مخلوط است. این جنبه اجازه می‌دهد تا طبقه‌بندی EBM با ذوب لیزری انتخابی (SLM)، درحالی که فناوری های رقیب مانند SLS و DMLS پس از ساخت به عملیات حرارتی نیاز دارند. در مقایسه با SLM و DMLS ،EBM به دلیل تراکم انرژی بالاتر و روش اسکن، سرعت ساخت بالاتری دارد.


title: ساخت افزایشی با پرتو الکترونی

text: کارهای اخیر منتشر شده توسط ORNL، استفاده از فناوری EBM برای کنترل جهت‌گیری دانه‌های کریستالوگرافی محلی در اینکونل را نشان میدهد. پس از آزمایش در میکروسکوپ الکترونی عبوری با استفاده از تکنیک پیشرفته در محل، ثابت شده‌است که آلیاژ اینکونل ساخته شده توسط EBM دارای ویژگی مکانیکی مشابهی در مقایسه با آلیاژ ساخته شده اینکونل است. سایر تحولات قابل توجه در توسعه پارامترهای فرایند برای تولید قطعات از آلیاژهایی مانند مس، نیوبیوم ، Al 2024، فلز شیشه‌ای، فولاد ضد زنگ و تیتانیوم آلومینید متمرکز شده‌است. در حال حاضر مواد تجاری EBM شامل تیتانیوم خالص تجاریTi-6Al-4V ، CoCr ، Inconel 718 و Inconel 625 است.


title: ساخت افزایشی با پرتو الکترونی

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


title: ساخت افزایشی با پرتو الکترونی

text: سیستم‌های جوشکاری پرتو الکترونی معمولاً دارای قدرت بالایی هستند و سیستم‌های 30 و 42 کیلوواتی از رایج ترین آن‌ها هستند. یک مزیت عمده استفاده از اجزای فلزی با پرتوهای الکترونی این است که این فرایند در یک فضای خلأ 1 Torr یا بیشتر انجام می شود و یک منطقه کاری بدون آلودگی ایجاد می کند که نیازی به استفاده از گازهای بی‌اثر اضافی ندارد(فرایندهای مبتنی بر قوس و لیزر به طور معمول نیاز به استفاده از گازهای بی‌اثر دارند). با استفاده از EBDM، مواد اولیه به درون یک استخر مذاب که توسط پرتو الکترونی ایجاد شده، ریخته می‌شوند. با استفاده از کنترل‌های عددی رایانه ای ن(CNC)، حوضچه مذاب روی صفحه زیرلایه منتقل می‌شود و مواد را دقیقاً در جایی که برای تولید قطعه لازم است، اضافه می‌کند. این فرایند به صورت لایه به لایه تکرار می‌شود، تا زمانی که شکل سه‌بعدی موردنظر تولید شود.


title: ساخت افزایشی با پرتو الکترونی

text: بسته به قطعه ساخته شده، نرخ رسوب می‌تواند تا 200 اینچ مکعب (3300 سانتی‌متر مکعب) در ساعت باشد. در تولید با آلیاژ سبک مانند تیتانیوم، نرخ رسوب 40 پوند (18 کیلوگرم) در ساعت است. طیف گسترده‌ای از آلیاژهای مهندسی با فرایند EBDM سازگار هستند و به‌راحتی به صورت سیم جوش در دسترس هستند؛اما به فولاد ضدزنگ، آلیاژهای کبالت، آلیاژهای نیکل، آلیاژهای نیکل-مس، تانتالیم، آلیاژهای تیتانیوم و همچنین بسیاری از مواد با ارزش دیگر محدود نمی‌شوند.


title: ساخت افزایشی با پرتو الکترونی

text: پودرهای اضافی پس از پرینت، دوباره قابل استفاده هستند. این موضوع در صنایع هوافضا برای تولیدکنندگان بسیار ارزشمند است، زیرا فقط حدود ۲۰ درصد از مواد اولیه در ساخت قطعه نهایی استفاده می‌شوند و بقیه‌ی مواد بازیافت می‌شوند.


title: ساخت افزایشی با پرتو الکترونی

text: پرتو الکترونی می‌تواند به صورت همزمان به چند مکان جداگانه حرارت دهد، این امر باعث می‌شود که سرعت فرایند تولید به طرز چشمگیری افزایش یابد.دستگاه Q20 شرکت Arcam که بزرگترین حجم ساخت را دارد می‌تواند حداکثر قطعاتی با قطر ۳۵۰ میلیمتر و ارتفاع ۳۸۰ میلیمتر را تولید کند در حالی که دستگاه‌های لیزری مانند X-Line Concept Laser حجم تولیدی حداقل دو برابر این مقدار را دارند.


title: ساخت افزایشی با پرتو الکترونی

text: پرینتر مخصوص و مواد اولیه‌ی آن گران‌تر از تکنیک‌های لیزری هستند و در نتیجه EBM تنها برای پرینت سه بعدی صنعتی خاص مناسب است.


title: ساخت افزایشی با پرتو الکترونی

text: آلیاژهای تیتانیوم با استفاده از این فناوری به طور گسترده‌ای مورد استفاده قرار می‌گیرند و همین امر آن را به گزینه‌ای مناسب برای بازار ایمپلنت پزشکی تبدیل کرده‌است.


title: ساخت افزایشی با پرتو الکترونی

text: فنجانی گود استابولیوم دارای گواهینامه CE از سال 2007 توسط دو تولید کننده کاشت ارتوپدی اروپایی Adler Ortho و Lima Corporate با EBM در حال تولید هستند.


title: ساخت افزایشی با پرتو الکترونی

text: تولید کننده کاشت ایمپلنت Exactech در ایالات متحده همچنین مجوز FDA را برای یک فنجانی گود استابولیوم تولید شده با فناوری EBM دریافت کرده است.


title: ساخت افزایشی با پرتو الکترونی

text: هوا فضا و سایر کاربردهای مکانیکی بسیار طاقت فرسا نیز هدف قرار گرفته‌است(موتور راکت رادرفورد).


title: ساخت افزایشی با پرتو الکترونی

text: فرایند EBM برای ساخت قطعات گاما تیتانیوم آلومینید توسعه یافته است و در حال حاضر توسط Avio S.p.A وGeneral Electric برای تولید پره های توربین در γ-TiAl برای موتورهای توربین گاز درحال توسعه است.


title: ساخت افزایشی با پرتو الکترونی

text: اولین دستگاه EBM در ایالات متحده توسط گروه مهندسی صنایع و سیستم ها در دانشگاه ایالتی کارولینای شمالی نگه‌داری می‌شود.


title: آی‌پد ایر (نسل سوم)

text: آی پد ایر (نسل سوم) (که در اصطلاح عامیانه به آن آی پد ایر ۳ گفته می‌شود) رایانه لوحی است که توسط اپل طراحی، توسعه و به بازار عرضه شده‌است. در تاریخ ۱۸ مارس ۲۰۱۹ در کنار نسل پنجم آیپد مینی اعلام شد. این دستگاه ظاهری شبیه به آی پد ایر ۲ را دارد، اما از یک تراشه به روز شده Apple A12 Bionic، نمایشگر بزرگتر ۱۰/۵ اینچی رِتینا، پشتیبانی از اپل پنسل (نسل اول)، بلوتوث ۵/۰ و حافظه سریع بهره می‌برد.


title: آی‌پد ایر (نسل سوم)

text: نسل سوم آیپد ایر دارای یک دوربین جلو ۷ مگاپیکسلی به روز شده (که ابتدا در آیفون ۷ و تا آیفون XS استفاده شده) در مقایسه با دوربین ۱/۲ مگاپیکسلی موجود در نسل قبلی است. با این حال، همان دوربین عقب قدیمی و ۸ مگاپیکسلی را حفظ می‌کند.


title: آی‌پد ایر (نسل سوم)

text: نسل سوم آی پد ایر برای اولین بار با آی او اس ۱۲ را بازار عرضه شد. در سپتامبر ۲۰۱۹ به روزرسانی آی پد ۱۳ دریافت کرد. در سپتامبر ۲۰۲۰، نسل سوم آی پد ایر به عنوان یکی از دستگاه‌هایی که می‌تواند به آی پد او اس ۱۴ به روز شود، ذکر شد.


title: ۸۳ هرکول

text: ۸۳ هرکول یا زانوزده ۸۳ ستاره‌ای در صورت فلکی زانوزده و در کهکشان راه شیری است. این ستاره با چشم غیر مسلح دیده می‌شود و نیازی به مشاهده آن با تلسکوپ نیست.


title: تاریخ یهودیان در صربستان

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


title: تاریخ یهودیان در صربستان

text: این جامعه یهودی تا زمان جنگ جهانی دوم رشد کرد و شکوفا شد و به جمعیتی حدود ۳۳٬۰۰۰ رسید. حدود دو سوم یهودیان صربی در هولوکاست کشته شدند به ویژه که آدولف هیتلر به دنبال از بین بردن یهودیان و صرب ها برای شکست آلمان در جنگ جهانی اول بود. پس از جنگ، جمعیت بزرگی از یهودیان صربستان را برای اسرائیل ترک کردند. در آمارگیری سال ۲۰۱۱ فقط ۷۸۷ نفر خود را یهودی اعلام کردند. امروزه ، کنیسه بلگراد و کنیسه سوبتیتسا که زمانی چهارمین کنیسه بزرگ در اروپا بود هم‌اکنون در فعالیت نیز هستند.


title: تاریخ یهودیان در صربستان

text: اولین یهودیان صربستان از دوران امپراتوری روم پا به خاک صربستان گذاشتند، هرچند که تا قبل از سده ۱۰ اسناد کمی وجود دارد


title: تاریخ یهودیان در صربستان

text: جوامع یهودی بالکان در سده های ۱۵ام و ۱۶ام رشد کردند. بسیاری از پناهنده‌های یهودی از تفتیش عقاید اسپانیایی فرار کردند و سلطان بایزید دوم به یهودیان پناهنده اجازه اسکان در امپراتوری عثمانی داد. یهودیان در تجارت امپراتوری عثمانی گرفتار شدند ، به ویژه در تجارت نمک که بسیار مهم بود. در سال ۱۶۶۳ ، ۸۰۰ یهودی در بلگراد زندگی می کردند.


title: تاریخ یهودیان در صربستان

text: با وجود اینکه بیشتر خاک صربستان امروزی تحت کنترل امپراتوری عثمانی بود، اما وویوودینا بخشی از اتریش هابسبورگ بود. در سال ۱۷۸۲، یوزف دوم، امپراتور مقدس روم فرمان بردباری را صادر کرد. این فرمان به جامعه یهودی در وویوودینا اجازه پیشرفت و رشد بیشتری داشت و تا پایان سده ۱۹ام نزدیک ۴۰ جامعه یهودی در وویوودینا بودند.


title: عشقی برای کشتن

text: عشقی برای کشتن (; ) یک مجموعهٔ تلویزیونی کره جنوبی سال ۲۰۰۵ با بازی رین، شین مین آ، کیم سارنگ و لی کی-وو است. این مجموعه از ۳۱ اکتبر تا ۲۰ دسامبر ۲۰۰۵، دوشنبه و سه‌شنبه‌ها ساعت ۲۱:۵۵ (کی‌اس‌تی) از کی‌بی‌اس۲ پخش شد.در جدول زیر، کمترین رتبه را دارند و بیشترین رتبه را نشان می‌دهند.


title: عشقی برای کشتن

text: منبع: TNMS Media Koreaنسخهٔ بازسازی اندونزیایی با عنوان «"Bodyguard Jatuh Cinta"» بود.


title: عشقی برای کشتن

text: نسخهٔ بازسازی در تایلند با عنوان «"รักซ่อนแค้น"» (rạk s̀xn khæ̂n; ترجمه: "انتقام پنهان عشق") به کارگردانی اتاپورن تیمارکورن بود که از شبکهٔ وان اچ‌دی از ۲۶ ژوئیه ۲۰۱۷ پخش شد.


title: برند اختصاصی

text: برند اختصاصی ()، برندی است که مشتریان بالقوه به کارخانجات معتبر می‌سپارند تا برای آنها محصولات مطلوب و مورد نیازشان را به تولید برسانند.


title: برند اختصاصی

text: بنا بر آمارهای انجمن برند اختصاصی آمریکا، از هر ۵ محصولی که در سوپرمارکت‌ها، فروشگاه‌های زنجیره‌ای و داروخانه‌های این کشور به فروش می‌روند، ۱ محصول با برند اختصاصی عرضه می‌شود. و شصت و هشت درصد افراد مورد سؤال معتقدند که نام‌های تجاری اختصاصی، محصولات بهتر و اقتصادی‌تری را عرضه می‌کنند. و در مقابل برندهای صرفاً متعلق به کارخانجات قدیمی‌تر دیگر ارزش پولی که بابت خرید آنها پرداخت می‌شوند را ندارند.


title: برند اختصاصی

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


title: برند اختصاصی

text: نام‌های تجاری متعلق به کارخانه‌های تولیدی باید موفقیت برند اختصاصی خرده‌فروشی‌ها را بپذیرند و عکس‌العمل مناسبی به حضور آنها نشان بدهند.


title: برند اختصاصی

text: فروشگاه‌های زنجیره‌ای بن تون (benetton), لباس‌هایی با برند بن تون را عرضه می‌کنند، ۲ فروشگاه زنجیره‌ای بادی شاپ (thebodyshop) و مارک آند اسپنسر (Marks & Spencer) هم اکثر محصولاتی که عرضه می‌کنند، محصولات اختصاصی خودشان است. یا در انگلستان نیز، ۲ فروشگاه زنجیره‌ای بزرگ این کشور به نام‌های سین زبوری (Sainsbury) و تسکو (tesco) به ترتیب پنجاه و چهل و پنج درصد از محصولاتی که عرضه می‌کنند، محصولاتی با برند اختصاصی خود فروشگاه هستند.


title: رضا حبیبی

text: رضا حبیبی(زادهٔ ۱۳۶۹ ساری) تکواندوکار ایرانی است که از سال ۱۳۸۷ به صورت حرفه ای در این زمینه فعالیت میکند. وی برنده مدال برنز مسابقات ارتش های جهان در سال ۲۰۱۳ و مقام اول و دوم تیمی جام باشگاه های آسیا در وزن ۶۳ کیلوگرم در سال های ۲۰۱۴ و ۲۰۱۵ است. او همچنین از اعضای سابق تیم ملی تکواندوی ایران  بوده و سابقه فعالیت در تیم های لیگ برتری همچون مس کرمان و دانشگاه آزاد اسلامی را نیز دارد.


title: تیم ملی بسکتبال ۳ نفره افغانستان

text: تیم ملی بسکتبال ۳ نفره افغانستان تیم ملی بسکتبال افغانستان است که توسط فدراسیون ملی بسکتبال افغانستان اداره می‌شود. این تیم به نمایندگی از افغانستان در رقابت‌های بین‌الدولی بسکتبال سه نفر (۳ درمقابل ۳) به میدان می‌رود.


title: آکادمی علوم نیویورک

text: آکادمی علوم نیویورک (به انگلیسی: New York Academy of Sciences) در ژانویه ۱۸۱۷ تأسیس شد. این آکادمی یکی از قدیمی‌ترین انجمن‌های علمی در ایالات متحده و یک سازمان مستقل و غیرانتفاعی با بیش از ۲۰٬۰۰۰ عضو در ۱۰۰ کشور جهان است، مأموریت این آکادمی «پیشبرد تحقیقات علمی و دانش، حمایت از سواد علمی و ترویج حل چالش‌های جهانی جامعه از طریق راه حل‌های مبتنی بر علم» است.


title: تیم ملی بسکتبال زیر ۱۶ سال زنان ایران

text: تیم ملی بسکتبال زیر ۱۶ سال زنان ایران تیم ملی بسکتبال ایران است که زیر نظر فدراسیون بسکتبال ایران اداره می‌شود. این تیم به نمایندگی از ایران در رقابت‌های بین‌المللی بانوان زیر ۱۶ سال بازی می‌کند.


title: خواهران ماکیئوکا (فیلم)

text: خواهران ماکیئوکا ، معنای تحت‌الفظی «برف سبک» یک فیلم درام ۱۹۸۳ به کارگردانی کن ایچیکاوا بر اساس رمان سریال خواهران ماکیئوکا به همین نام از جون‌ایچیرو تانیزاکی است. در این فیلم سبک زندگی قبل از جنگِ خانواده ثروتمند ماکیئوکا از اوساکا را به موازات فصول ژاپن به تصویر کشیده شده‌است.


title: حادثه ۱۵ مه

text: حادثه ۱۵ مه یک تلاش به انجام کودتا در امپراتوری ژاپن در ۱۵ مه ۱۹۳۲ توسط عناصر ارتجاعی نیروی دریایی امپراتوری ژاپن به کمک کادرهایی در نیروی زمینی امپراتوری ژاپن و بازماندگان غیرنظامی ملی‌گرای لیگ ملی خون (Ketsumei-dan) بود. در این حادثه نخست‌وزیر ژاپن اینوکای تسویوشی توسط ۱۱ افسر جوان نیروی دریایی ترور شد. محاکمه پس از آن و حمایت مردمی منجر به احکام فوق‌العاده سبک برای قاتلان، تقویت قدرت فزاینده نظامی‌گری ژاپن و تضعیف دموکراسی دموکراسی و حاکمیت قانون در امپراتوری ژاپن شد.


title: هاتاناکا کنجی

text: هاتاناکا کنجی ؛ ۲۸ مارس ۱۹۱۲ – ) فرد نظامی یکی از رهبران حادثه کیوجو در کاخ امپراتوری توکیو اهل ژاپن بود.


title: صدق‌پذیری در پیمانه نظریات

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


title: صدق‌پذیری در پیمانه نظریات

text: به صورت صوری، یک مسئله SMT یک فرمول در منطق مرتبه اول است، که در آن بعضی از نمادهای تابعی و گزاره‌ای تفسیرهای اضافی دارند، و SMT همان مسئله تعیین این سوال است که آیا چنین فرمولی «صدق‌پذیر» هست یا نه. به عبارت دیگر، یک نمونه از مسئله صدق‌پذیری دودویی (SAT) را درنظر بگیرید، که در آن بعضی از متغیرهای دودویی با محمول‌ها جایگزین شده‌اند و این موضوع در محدوده مجموعه مناسبی از متغیرهای غیردودویی رخ داده‌است. یک گزاره یک تابع دودویی از متغیرهای غیردودویی است. چند مثال از گزاره شامل، نابرابری خطی (مثل formula_1) یا تساوی‌های شامل ترم‌های تفسیرنشده و نمادهای تابعی (مثل formula_2 که در آن formula_3 یک تابع تعیین نشده از دو آرگومان است). این گزاره‌ها براساس هر نظریه منتسب‌شده مرتبط رده‌بندی می‌شوند. برای مثال، نابرابری خطی روی متغیرهای حقیقی توسط قواعد نظریه حساب حقیقی خطی ارزیابی می‌شود، که در آن گزاره‌ها درگیر ترم‌های تفسیرنشده اند و نمادهای تابعی توسط قواعد نظریه توابع تفسیرنشده با تساوی ارزیابی می‌شوند (که گاهی به آن نظریه پوچ هم می‌گویند). نظریه‌های دیگر شامل نظریه‌های ساختمان آرایه‌ها و لیست‌ها می‌شود (که برای مدل‌سازی و راستی‌آزمایی برنامه‌های رایانه‌ای مفید است)، و نیز شامل نظریه آرایه بیتی است (که در مدل‌سازی و راستی‌آزمایی طراحی‌های سخت‌افزاری مفید است). زیرنظریه‌هایی دیگری هم ممکن است موجود باشد: مثل «منطق تفاوتی» که یک زیرنظریه از حساب خطی است که در آن هر نابرابری باید محدودیت فرمی formula_4 را برای متغیرهای formula_5 و formula_6 و ثابت formula_7 داشته باشد.


title: صدق‌پذیری در پیمانه نظریات

text: بیشتر حل‌کننده‌های مسئله SAT فقط از قسمت‌های فاقد سور از منطق‌شان پشتیبانی می‌کنند.


title: صدق‌پذیری در پیمانه نظریات

text: یک نمونه از مسئله SMT در واقع یک تعمیم برای نمونه مسئله SAT دودویی است، که در آن مجموعه‌های متنوعی از متغیرها با گزاره‌هایی از انواع متنوعی از نظریه‌های بنیادین جایگزین شده‌اند. فرمول‌های SMT قدرت زبان مدل‌سازی بیشتری نسبت به فرمول‌های دودویی SAT دارند. برای مثال، یک فرمول SMT به ما امکان مدل‌سازی عملیات دیتاپد (مسیرداده) برای یک ریزپردازنده را در سطح کلمه (و نه سطح بیت) می‌دهد.


title: صدق‌پذیری در پیمانه نظریات

text: برای مقایسه، برنامه‌نویسی مجموعه جواب نیز براساس گزاره‌ها است (به صورت دقیق‌تر، بر اساس جمله‌های اتمی است که از فرمول‌های اتمی ساخته شده‌است). برخلاف SMT، برنامه‌های مجموعه جواب، «سور» ندارند، و نمی‌توانند محدودیت‌هایی مثل حساب خطی یا منطق تفاوت را به سادگی بیان کنند- ASP به عنوان بهترین راه‌حل برای مسائل دودویی هستند که به نظریه آزاد توابع تفسیرنشده کاهش یافته‌اند. پیاده‌سازی اعداد صحیح ۳۲ بیتی به عنوان آرایه‌بیتی در ASP از مسائل مشابهی رنج می‌برند که حل کننده‌های اولیه SMTها با آن مواجه بودند: برابری‌های «بدیهی» مثل "x"+"y"="y"+"x" به سختی قابل استنتاج هستند.


title: صدق‌پذیری در پیمانه نظریات

text: برنامه‌نویسی منطقی محدودیت از محدودیت‌های حسابی خطی پشتیبانی می‌کنند، اما آن‌ها در چارچوب نظری کاملاً متفاوتی قرار دارند. حل‌کننده‌های SMT برای حل فرمول‌هایی در منطق مرتبه بالاتر گسترش یافته‌اند.


title: صدق‌پذیری در پیمانه نظریات

text: تلاش‌های اولیه برای حل نمونه‌های مسئله SMT شامل ترجمه آن‌ها به نمونه مسائل SAT دودویی بود (مثلاً یک متغیر صحیح ۳۲ بیتی توسط ۳۲ عدد متغیر تک بیتی با وزن‌های مناسب و عملیات سطح کلمه مثل «جمع» با عملیات منطقی سطح پایینی روی بیت‌ها جایگزین می‌شدند) سپس این فرمول به حل‌کننده SAT دودویی تحویل می‌شد. به این دیدگاه، دیدگاه هم می‌گویند، و دارای مزیت‌هایی هم هست: با پیش‌پردازش یک فرمول SMT به یک فرمول SAT دودویی معادل، حل‌کننده‌های SAT دودویی موجود را می‌توان به صورتی که هست استفاده کرد، در این روش، مزیت‌هایش از نظر کارایی و ظرفیت در طی زمان بیشتر می‌شود. از جهت دیگر، فقدان وجود معناشناسی سطح بالا برای نظریه‌های بنیادین، یعنی حل‌کننده دودویی SAT باید خیلی بیشتر از آنچه برای برای کشف واقعیت‌های «بدیهی» لازم است، کار کند (مثلاً formula_8 برای جمع اعداد صحیح). این مشاهده منجر به ایجاد تعدادی از حل کننده‌های SMT شد که به شدت «استنتاج دودویی یک جستجوی با سبک DPLL» را به «حل‌کننده‌های خاص نظریه (T-solvers) که به عطف‌های(ANDs) از گزاره‌ها از یک نظریه معین رسیدگی می‌کند»، یکپارچه‌سازی می‌کرد. به این دیدگاه، «دیدگاه کندرو» هم گفته می‌شود.


title: صدق‌پذیری در پیمانه نظریات

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


title: صدق‌پذیری در پیمانه نظریات

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


title: صدق‌پذیری در پیمانه نظریات

text: که در آن:


title: صدق‌پذیری در پیمانه نظریات

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


title: صدق‌پذیری در پیمانه نظریات

text: مثال‌هایی از حل کننده‌های SMT که می‌خواهند ترکیبات دودویی «اتم نظریه» از نظریات حسابی تصمیم‌ناپذیر روی اعداد حقیقی رسیدگی کنند، ABsolver نام دارند، که از یک معماری کلاسیک DPLL(T) با یک بسته بهینه‌سازی غیرخطی به عنوان حل‌کننده نظریه فرعی (به صورت لازم غیرکامل) استفاده می‌کنند، و iSAT که روی یک اتحاد حل‌کننده DPLL SAT و ساخته شده‌اند، که الگوریتم iSAT نامیده می‌شود.


title: صدق‌پذیری در پیمانه نظریات

text: جدول زیر بعضی از ویژگی‌های چند تا از حل کننده‌های SMT موجود را خلاصه‌بندی نموده‌است. ستون «SMT-LIB» نشان‌دهنده سازگاری با زبان SMT-LIB است؛ بیشتر سامانه‌هایی را که با 'yes' نشان‌گذاری کرده‌ایم، فقط از نسخه‌های قدیمی SMT-LIB پشتیبانی می‌کنند، یا اینکه فقط پشتیبانی جزئی از زبان دارند. ستون «CVC» نشان‌دهنده پشتیبانی از زبان CVC است. ستون «DIMACS» نشان‌دهنده پشتیبانی از قالب DIMACS است.


title: صدق‌پذیری در پیمانه نظریات

text: این پروژه‌ها نه فقط از نظر ویژگی و کارایی با هم فرق دارند، بلکه از نظر زیست‌پذیری انجمن اطراف شان، علاقه پیشرونده به پروژه و توانمندی مشارکت مستندات، تعمیرها، تست‌ها و ارتقا با هم تفاوت دارند. تلاش‌های زیادی برای توصیف یک واسط استاندارد شده برای حل کننده SMT (و اثبات‌گر قضیه خودکار، که یک اصطلاح هم‌معنی است) وجود دارد. برجسته‌ترین آن‌ها استاندارد SMT-LIB است که یک زبان بر اساس تهیه دیده‌است. دیگر قالب‌های استاندارد شده که معمولاً پشتیبانی می‌شوند شامل قالب DIMACS است که توسط خیلی از حل‌کننده‌های SAT بولی پشتیبانی می‌شود، و قالب CVC که توسط اثبات‌گر قضیه خودکار CVC استفاده می‌شود.


title: صدق‌پذیری در پیمانه نظریات

text: قالب SMT-LIB همراه با تعدادی از محک‌زنی (benchmark) استاندارد آمده‌است، و این موضوع یک مسابقه سالانه بین حل‌کننده‌های SMT را امکان‌پذیر نموده‌است که به آن SMT-COMP گفته می‌شود. در ابتدا، مسابقه در همایش (CAV) قرار داشت، اما از سال ۲۰۲۰ مسابقه به عنوان بخشی از کارگاه SMT قرار گرفت، که به (IJCAR) وابسته بود.


title: صدق‌پذیری در پیمانه نظریات

text: حل‌کننده‌های SMT هم برای صحت، اثبات درستی برنامه‌ها، آزمون نرم‌افزار براساس اجرای نمادین، و نیز برای ، تولید قطعه‌های برنامه با جستجو روی فضای برنامه‌های ممکن مفید است. در خارج از حیطه درستی‌سنجی نرم‌افزار، از حل‌کننده SMT برای ، و نیز برای مدل‌سازی سناریوهای نظری، که شامل مدل‌سازی اعتقادات کنشگر در هسته‌ای است، استفاده شده‌است.


title: صدق‌پذیری در پیمانه نظریات

text: درستی‌یابی برنامه‌های رایانه‌ای به کمک رایانه معمولاً از حل کننده SMT استفاده می‌کنند. یک روش معمول ترجمه پیش‌شرط، پس‌شرط، شرط حلقه، و ادعاها به فرمول‌های SMT است، که هدف آن است که تعیین شود، آیا همه ویژگی‌ها برقرار است یا نه.


title: صدق‌پذیری در پیمانه نظریات

text: درستی‌سنج‌های زیادی روی ساخته شده‌است. Boogie یک زبان درستی‌سنجی سطح میانی است که از Z3 استفاده می‌کند تا به صورت خودکار برنامه‌های دستوری ساده را بررسی کند. درستی‌سنج VCC برای C همزمان از Boogie، و نیز از Dafny برای برنامه‌های مبتنی بر شیء دستوری استفاده می‌کند و از Chalice برای برنامه‌های همزمان استفاده می‌کند، و از Spec# برای C# استفاده می‌کند. زبان F* یک زبان نوع دار وابسته است که از Z3 برای یافتن اثبات استفاده می‌کند؛ کامپایلر این اثبات‌ها را حمل می‌کند تا بایت‌کد حامل اثبات را تولید کند. زیرساخت درستی‌سنجی Viper شرایط درستی‌سنجی را به Z3 کدبندی می‌کند. کتابخانه sbv درستی‌سنجی مبتنی بر SMT را برای برنامه‌های زبان Haskell تهیه می‌بیند، و به کاربر کمک می‌کند تا از بین تعدادی از حل‌کننده‌ها مثل Z3، ABC, Boolector, CVC4، MathSat، و Yices انتخاب انجام دهد.


title: صدق‌پذیری در پیمانه نظریات

text: درستی‌سنج‌های زیادی روی یک حل‌کننده SMT با نام Alt-Ergo ساخته شده‌اند. در ادامه فهرستی از کاربردهای به بلوغ رسیده آمده‌است:


title: صدق‌پذیری در پیمانه نظریات

text: بسیاری از حل‌کننده‌های SMT یک قالب واسط معمول که SMTLIB2 نامیده می‌شود را پیاده‌سازی می‌کنند (این فایل‌ها معمولاً پسوند ".smt2" دارند). ابزار LiquidHaskell یک درستی‌سنج مبتنی بر نوع اصلاحی برای Haskell را پیاده‌سازی می‌کند، که می‌تواند از هر حل‌کننده سازگار با SMTLIB2 (مثل CVC4، MathSat یا Z3) استفاده کند.


title: صدق‌پذیری در پیمانه نظریات

text: یک کاربرد مهم برای حل‌کننده SMT، اجرای نمادین برای تحلیل و آزمون برنامه‌ها است (مثل )، که مخصوصا در پیدا کردن آسیب‌پذیری‌های امنیتی کمک کننده است. ابزارهای مهمی که به صورت فعال نگهداری می‌شوند در این زمینه شامل SAGE، از مؤسسه تحقیقاتی مایکروسافت، KLEE, S2E و Triton است. حل‌کننده‌های SMT که مخصوصا در کاربردهای اجرای نمادین مفید است شامل Z3، STP, Z3str2، و Boolector است.


title: پخش صدای جواهر

text: پخش صدای جواهر () یا پخش با صدای خود امپراتور پخش رادیویی تسلیم ژاپن توسط امپراتور ژاپن هیروهیتو (昭和 天皇، Shōwa-tennō) در ۱۵ اوت ۱۹۴۵ بود. این خبر به مردم مردمان ژاپنی اعلام کرد که دولت ژاپن اعلان پوتسدام را که خواستار تسلیم بدون قید و شرط ارتش ژاپن در پایان جنگ جهانی دوم است، پذیرفته‌است. به دنبال بمباران اتمی هیروشیما و ناکازاکی در ۶ اوت، تهاجم نظامی شوروی به منچوری و بمباران اتمی هیروشیما و ناگاساکی در ۹ اوت، در ظهر زمان استاندارد ژاپن در ۱۵ اوت ۱۹۴۵، سخنرانی امپراتور پخش شد و بمب‌های اتمی را دلیل تسلیم معرفی کرد. طبق این سخنرانی، هیروهیتو شرایط تسلیم شدن ژاپن را از طرف محاصره‌کنندگان برای پایان دادن به جنگ پذیرفت. امپراتور برای نابودی هیروشیما و ناگاساکی توسط بمب‌های اتمی آمریکا سوگواری کرد و از همه خواست که آرامش خود را حفظ کرده و به بازسازی کمک کنند.


title: پخش صدای جواهر

text: بخاطر ترس از ایجاد درگیری توسط افسرانی که نمی‌خواستند تسلیم شوند، ضبط اعلام تسلیم امپراتور هیروهیتو سری و مخفیانه انجام گرفت و آن را نیمه شب با یونیفورم نظامی‌اش ایراد کرد و آن را دوبار جلوی میکروفن خواند.


title: پخش صدای جواهر

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


title: پخش صدای جواهر

text: داستان دو روز آخر جنگ و بیانیه رادیویی تسلیم ژاپن در فیلمی با نام طولانی‌ترین روز ژاپن در سال ۱۹۶۷ ساخته شد.


title: پخش صدای جواهر

text: درک صدای ضبط شده برای اکثر شنوندگان به علت استفاده امپراتور از زبان ژاپنی کلاسیک بسیار دشوار بود. به علاوه، امپراتور در سخنرانی خود صریحاً تسلیم را ذکر نکرد. برای جلوگیری از سردرگمی، بعد از پخش صدای ضبط شده بلافاصله با توضیح و روشن شدن اینکه ژاپن واقعاً بدون قید و شرط تسلیم متحدان می‌شود، سخنان امپراتور توسط گویندگان رادیو دنبال شد.