payamvha/North_RAG huggingface dataset:
دستور نقش و ارجاع ( RRG ) نظریه‌ای در حوزه‌ی دستور زبان است که توسط ویلیام فولی و رابرت ون ویلن در دهه‌ی 1980 میلادی تهیه شده است و بسیاری از دیدگاه های فعلی در نظریه های دستور نقشگرا را در خود جای داده است. در دستور نقش و ارجاع ، توصیف جمله در یک زبان خاص از نظر (الف) ساختار منطقی (معنایی) و توابع ارتباطی آن ، و (ب) روش های دستوری که در زبان برای بیان این معانی موجود است ، فرموله شده است. به این معنی که ساختار منطقی زبان به همراه قواعد دستوری موجود در آن زبان، جملات آن زبان را تولید می‌کنند. از جمله
آن زبان، جملات آن زبان را تولید می‌کنند. از جمله ویژگیهای اصلی RRG می توان به استفاده از تجزیه واژگانی مبتنی بر معناشناسی واژگانی دیوید داوتی (1979) ، تجزیه و تحلیل ساختار بند و استفاده از مجموعه ای از نقشهای موضوعی سازمان یافته در سلسله مراتبی اشاره کرد که در آن بالاترین رتبه نقش ها "کنشگر" (برای فعال ترین شرکت کننده) و "کنش‌پذیر" هستند. رویکرد عملی RRG به زبان در سیستم درک چندزبانه زبان طبیعی (NLU) جان بال که یک دانشمند شناحتی است، نشان داده شده است . در سال 2012 ، بال تئوری پاتم خود را با دستور نقش و
سال 2012 ، بال تئوری پاتم خود را با دستور نقش و ارجاع تلفیق کرد ، و یک زبان مستقل NLU را تولید کرد و زبان را از نظر معنی تجزیه کرد.
اجرای نمادین یا ارزیابی نمادین یا symbex در علوم رایانه، راهی برای تحلیل یک برنامه است که در نتیجه آن تعیین می‌شود که کدام «ورودی» ها منجر به اجرای هر «بخش» از برنامه می‌شود. مفسرهای اجرای نمادین موقع دنبال‌کردن برنامه، به جای مقادیر واقعی برای اجرای نرمال برنامه، «مقادیر نمادین» را برای ورودی‌ها فرض می‌کنند. این اجرا به عبارات به صورت «نمادهایی برای عبارات و متغیرهای موجود در برنامه» برخورد می‌کند، و نیز به محدودیت‌ها در قالب آن «نمادهایی برای نتایج ممکنه هر شاخه شرطی» برخورد می‌کند. گرایش شبیه‌سازی نمادین
شاخه شرطی» برخورد می‌کند. گرایش شبیه‌سازی نمادین همین مفهوم را به سخت‌افزار اعمال می‌کند. گرایش محاسبات نمادین همین مفهوم را به تحلیل عبارات ریاضیاتی اعمال می‌کند. مثال. برنامه زیر را درنظر بگیرید، این برنامه یک مقدار ورودی را می‌خواند و اگر ورودی ۶ باشد، مقدار «شکست» را برمی‌گرداند. int f() { y = read(); z = y * 2; if (z == 12) { fail(); } else { printf("OK"); در مدت اجرای نرمال (یا اجرای واقعی)، برنامه یک مقدار ورودی واقعی (مثل 5) را می‌خواند و آن را به y انتساب می‌دهد. سپس اجرا با یک ضرب و شاخه شرطی
y انتساب می‌دهد. سپس اجرا با یک ضرب و شاخه شرطی ادامه می‌یابد، که به مقدار "شکست" ارزیابی شده و codice_1 را چاپ می‌کند. در مدت اجرای نمادین، برنامه یک مقدار نمادین (مثل codice_2) را می‌خواند و آن را به y انتساب می‌دهد. سپس برنامه با ضرب ادامه می‌یابد و مقدار codice_3 را به codice_4 انتساب می‌دهد. موقعی که به بیانیه codice_5 می‌رسد، عبارت codice_6 را ارزیابی می‌کند. در این نقطه از برنامه، λ هر مقداری را می‌تواند اخذ کند، و اجرای نمادین می‌تواند در امتداد هر دو شاخه ادامه پیدا کند، این کار با انشعاب‌دهی
هر دو شاخه ادامه پیدا کند، این کار با انشعاب‌دهی (fork کردن) به دو مسیر انجام می‌شود. در هر دستورالعمل شاخه‌گزینی به هر مسیر یک «کپی از وضعیت برنامه» و نیز یک «محدودیت مسیری» انتساب داده می‌شود. در این مثال، محدودیت مسیری برای شاخه codice_7 همان codice_8 و برای شاخه codice_9 همان codice_6 است. در اینجا هر دو مسیر به صورت مستقل قابل اجرای نمادین هستند. موقعی که مسیر خاتمه پیدا کند (مثلاً به عنوان نتیجه اجرای &lt;bdi&gt;codice_11&lt;/bdi&gt; یا با خارج‌شدن ساده)، اجرای نمادین یک مقدار غیرانتزاعی، برای λ
ساده)، اجرای نمادین یک مقدار غیرانتزاعی، برای λ محاسبه می‌کند، این کار با حل کردن محدودیت‌های مسیری انباشه‌شده در هر مسیر انجام می‌شود. این مقادیر غیرانتزاعی را می‌توان به عنوان آزمایه‌های غیرانتزاعی درنظر گرفت، که این مزیت را دارند که مثلاً می‌توانند به توسعه‌دهندگان در ایجاد مجدد اشکال‌های نرم‌افزاری کمک کنند. در این مثال، حل‌کننده محدودیت تعیین می‌کند که برای آنکه به بیانیه &lt;bdi&gt;codice_11&lt;/bdi&gt; برسیم، نیاز است که λ برابر 6 شود. محدودیت‌ها. انفجار مسیری. اجرای نمادین همه مسیرهای ممکن برنامه،
مسیری. اجرای نمادین همه مسیرهای ممکن برنامه، قابل مقیاس‌دهی به برنامه‌های بزرگ نیست. اگر سایز برنامه افزایش یابد، تعداد مسیرهای ممکن در یک برنامه به صورت نمایی افزایش می‌یابد، و حتی در حالت برنامه‌هایی که تکرارهای حلقه‌ای غیرمحدود دارند، تعداد مسیرها می‌تواند بینهایت باشد. راه‌حل‌ها برای مسئله «انفجار مسیری» معمولاً یا از هیوریستیک‌هایی برای یافتن مسیر برای افزایش پوشاندن کد استفاده می‌کند، که زمان اجرا را موازی‌سازی کرده، و مسیرهای مستقل کاهش را می‌دهد، یا از ادغام مسیرهای مشابه استفاده می‌کنند. کارایی
یا از ادغام مسیرهای مشابه استفاده می‌کنند. کارایی وابسته به برنامه. از اجرای نمادین برای استنتاج‌هایی در مورد یک برنامه به صورت «مسیر-به-مسیر» استفاده می‌شود، که این موضوع یک مزیت نسبت به استنتاج در مورد برنامه به صورت «ورودی-به-ورودی» (که دیگر الگوهای آزمون، مثل تحلیل پویای برنامه، از آن استفاده می‌کنند) است. با این حال، اگر تعداد کمی از ورودی‌ها در طول برنامه، یک مسیر مشابه را بگیرند، نسبت به حالت آزمون هر ورودی به صورت مجزا، بهبود زیادی حاصل نشده‌است. دگرنامی به حافظه. اگر محل حافظه مشابه توسط نام‌های
به حافظه. اگر محل حافظه مشابه توسط نام‌های متفاوتی دستیابی شوند (که به این کار الیاس یا دگرنامی می‌گویند)، اجرای نمادین سخت‌تر شده‌است. همیشه نمی‌توان دگرنام‌ها را به صورت ایستا تشخیص داد، از این رو موتور اجرای نمادین نمی‌تواند تشخیص دهد که اگر مقدار یک متغیر را تغییر بدهیم، دیگری هم تغییر خواهد کرد. آرایه‌ها. به دلیل آنکه یک آرایه گردآوردی از تعداد زیادی از مقادیر متمایز است، اجرای نمادین می‌تواند به کل آرایه به عنوان یک مقدار برخورد کند یا اینکه با هر عنصر آرایه به صورت یک محل مجزا برخورد کند. اینجا
عنصر آرایه به صورت یک محل مجزا برخورد کند. اینجا مشکلی که در مورد برخورد با هر عنصر آرایه به صورت مجزا وجود دارد آن است که یک ارجاع مثل "A[i]" را موقعی که یک مقدار واقعی برای i به آن داده‌ایم، فقط به صورت پویا می‌توان تعیین نمود. تعامل‌های محیطی. برنامه‌ها با انجام تماس سامانه‌ای، گرفتن سیگنال، و غیره با محیط خود تعامل دارند. و مشکلات سازگاری می‌تواند موقعی بروز می‌کند که اجرا به مولفه‌هایی برسد که تحت کنترل ابزار اجرای نمادین نیست (مثل هسته یا کتابخانه). مثال زیر را درنظر بگیرید: int main() FILE *fp =
مثال زیر را درنظر بگیرید: int main() FILE *fp = fopen("doc.txt"); if (condition) { fputs("some data", fp); } else { fputs("some other data", fp); ... data = fgets(..., fp); این برنامه یک فایل را باز می‌کند، سپس بر اساس یک شرط، مقادیر متفاوتی از داده را به فایل می‌نویسد. سپس داده نوشته‌شده را بازخوانی می‌کند. از لحاظ نظری، اجرای نمادین دو مسیر را در خط ۵ انشعاب داده است، و هر مسیر از آنجا کپی فایل خاص خود را خواهد داشت. بیانیه موجود در خط ۱۱، مقدار داده‌ای را بازمی‌گرداند که با مقدار «شرط» موجود در خط ۵
را بازمی‌گرداند که با مقدار «شرط» موجود در خط ۵ سازگار است. در عمل، عملیات فایل به صورت تماس سامانه‌ای در هسته پیاده‌سازی می‌شود، و از کنترل ابزار اجرای نمادین خارج است. دیدگاه‌های اصلی برای رسیدگی به این چالش‌ها از این قرار هستند: به صورت مستقیم تماس با محیط را اجراکنیم. مزیت این دیدگاه آن است که پیاده‌سازی‌اش ساده است. اما ایرادش آن است که اثرجانبی این تماس‌ها به همه حالت‌های مدیریت شده توسط موتور اجرای نمادین ضربه وارد می‌کند. در مثال بالا، بر اساس ترتیب دنباله‌ای حالت‌ها، دستورالعمل خط ۱۱، مقدار "some
دنباله‌ای حالت‌ها، دستورالعمل خط ۱۱، مقدار "some datasome other data" یا "some other datasomedata" را برخواهد گرداند. مدل‌سازی محیط. در این حالت، موتور، تماس سامانه‌ای را با یک «مدل» ابزارسازی می‌کند که این مدل تاثیراتش را شبیه‌سازی کرده، و همه اثرات جانبی‌اش را در ذخیره هر-وضعیتی نگهداری می‌کند. مزیت این کار آن است که موقعی به نتایج درست می‌رسیم که برنامه‌هایی که با محیط تعامل دارند را به صورت نمادین اجرا کنیم. ایرادش آن است که باید مدل‌های بالقوه پیچیده زیادی را برای تماس سامانه‌ای پیاده‌سازی و نگهداری
زیادی را برای تماس سامانه‌ای پیاده‌سازی و نگهداری کنیم. ابزارهایی مثل مثل KLEE, Cloud9 و Otter, از این دیدگاه استفاده کرده‌اند، یعنی آن‌ها مدل‌هایی را برای عملیات سیستم فایل، سوکت‌ها و IPC و غیره پیاده‌سازی کرده‌اند. انشعاب کل حالت سامانه. ابزارهای اجرای نمادین براساس ماشین مجازی، مسئله محیط را با انشعاب کل حالت VM حل می‌کند. برای مثال، در S2E هر حالت یک برگرفت مستقل VM است، که قابلیت اجرای جداگانه دارد. این دیدگاه نیاز برای نوشتن و نگهداری مدل‌های پیچیده را کاهش می‌دهد، و همچنین امکان اجرای نمادین مجازی
را کاهش می‌دهد، و همچنین امکان اجرای نمادین مجازی هر برنامه‌ای را می‌دهد. اما این روش، سربار استفاده از حافظه بالاتری دارد (برگرفت‌های VM می‌تواند بزرگ باشند). نسخه‌های اولیه ابزارها. EXE یک نسخه اولیه برای KLEE است. مقاله EXE را می‌توان در اینجا یافت. تاریخچه. مفهوم اجرای نمادین به صورت دانشگاهی با توصیف این موارد معرفی شد: سامانه Select، سامانه EFFIGY، سامانه DISSECT، و سامانه Clarke's. کتابشناسی را برای مقاله‌های فنی‌تر منتشر شده دربارهٔ اجرای نمادین ببینید.
کیدو کوایچی ; – ) سیاستمدار مشاور امپراتور هیروهیتو اهل ژاپن بود. او طی سال‌های ۱۹۴۰ تا ۱۹۴۵ مهردار و منشی سلطنتی و در طول جنگ جهانی دوم، نزدیکترین مشاور امپراتور هیروهیتو بود. کیدو به انجام جنایات جنگی محکوم شد. مجازات او حبس ابد بود که پس از ۶ سال در سال ۱۹۵۳ آزاد شد. اوایل زندگی. کوایچی کیدو در ۱۸ ژولای سال ۱۸۸۹ در آکاساکا، توکیو متولد شد. پدر او، مارکی «تاکاماسا کیدو»، خواهرزاده «کیدو تاکایوشی»، از رهبران اصلاحات میجی بود. کیدو پس از فارغ التحصیلی از مدرسه «گاکوشویین» (Gakushuin Peer) در توکیو، در
مدرسه «گاکوشویین» (Gakushuin Peer) در توکیو، در دانشکده حقوق دانشگاه کیوتو مشغول به تحصیل شد؛ «هاجیمه کاواکامی» (Hajime Kawakami)، اقتصاددان مارکسیست، از استادان او بود. کیدو پس از فارغ التحصیلی در سال ۱۹۱۵، در پست‌های اداری جزئی و متعددی در وزارت کشاورزی و بازرگانی، و به دنبال آن در وزارت بازرگانی و صنعت خدمت کرد. کیدو به همراه «شینجی یوشینو» (Shinji Yoshino) و «نوبوسوکه کیشی» (Nobusuke Kishi) از معماران قانون کنترل صنایع استراتژیک در سال ۱۹۳۱ بود؛ قانونی که زمینه را برای کنترل دولتی صنایع متعدد در طول
که زمینه را برای کنترل دولتی صنایع متعدد در طول نظامی‌سازی فزاینده ژاپن در دهه ۱۹۳۰ فراهم کرد. کیدو در سال ۱۹۳۰، دبیرکل وزارت امور داخله شد. فعالیت سیاسی. در سال ۱۹۳۷، فومیمارو کونوئه، دوست دیرینه کیدو، نخست وزیر ژاپن شد و کیدو نیز به مقام وزارت آموزش رسید. او علاوه بر در دست داشتن وزارتخانه آموزش، از ژانویه ۱۹۳۸ وزیر بهداشت و رفاه نیز شد. کیدو به علت جنگ و درگیری‌های شرق آسیا، میزبانی ژاپن را برای المپیک تابستانی ۱۹۴۰ لغو کرد. کیدو در ژانویه سال ۱۹۳۹، در کابینه هیرانوما به عنوان وزیر امور داخله منصوب شد.
هیرانوما به عنوان وزیر امور داخله منصوب شد. او از سال ۱۹۴۰ منشی و مهردار سلطنتی بود و پس از مرگ سای‌اونجی کینموچی، کیدو به یکی از بانفوذترین مشاوران امپراتور هیروهیتو تبدیل شد. با توصیه کیدو به امپراتور، کونوئه برای دومین بار نخست وزیر شد. همچنين کیدو به همراهی کونوئه، در جنبش جایگزینی احزاب سیاسی کشور به یک حزب واحد حکومتی، تحت عنوان قانون تایسی یوکوسان کای، فعالیت داشت. پس از سه دوره نخست وزیری کونوئه، هیدکی توجو در سال ۱۹۴۱، به توصیه کیدو نخست وزیر شد. توجو از معدود افرادی بود که میتوانست بر اعضا
شد. توجو از معدود افرادی بود که میتوانست بر اعضا افراطی‌تر نیرو زمینی امپراتوری کنترل داشته باشد. بااینحال در آغاز جنگ جهانی دوم، کیدو همچنان از مشاوران محافظه‌کارتر امپراتور باقی ماند. او در سال ۱۹۴۱، امپراتور را از حمله به هند شرقی هلند بازداشت و ذکر کرد چنین حمله‌ای میتواند باعث ورود ایالات‌متحده به جنگ شود؛ و اگر ژاپن از حمله به هند شرقی هلند، نفتی به دست بیاورد، ترابری آن با محاصره و حمله متفقین مواجه می‌شود. کیدو پس از جنگ ادعا کرد که امپراتور هیروهیتو، از نقشه حمله به پرل هاربر هرگز اطلاعی نداشته
از نقشه حمله به پرل هاربر هرگز اطلاعی نداشته بود و فقط پس از حمله، از آن خبردار شد.
نبرد ایمفال () یکی از نبردهای جنگ جهانی دوم بود که از مارس تا ژوئیه ۱۹۴۴ در منطقه اطراف شهر ایمفال، پایتخت ایالت مانیپور در شمال شرق هند پایتخت ایالت مانیپور از مارس تا ژوئیه ۱۹۴۴ اتفاق افتاد. امپراتوری ژاپن تلاش کرد تا نیروهای متفقین را در ایمفال نابود کنید و به راج بریتانیا حمله کند، اما با تلفات سنگین به برمه (میانمار) رانده شد. همراه با نبرد همزمان نبرد کوهیما در جاده ای که نیروهای متفقین محاصره شده در ایمفال از طریق آن خلاص شدند. این نبرد نقطه عطف نبرد برمه، بخشی از جبهه جنوب شرقی آسیای جنگ جهانی دوم
برمه، بخشی از جبهه جنوب شرقی آسیای جنگ جهانی دوم بود. شکست ژاپنی‌ها در کوهیما و ایمفال بزرگ‌ترین شکست ژاپن تا آن زمان بود که بسیاری از ژاپنی‌ها با مرگ و میرهای ناشی از گرسنگی، بیماری و خستگی، در طول عقب‌نشینی‌شان متحمل شدند. در سال ۲۰۱۳ بر اساس رای‌گیری ای که توسط موزه ارتش ملی برگزار شد، نبرد ایمفال به عنوان بزرگ‌ترین نبرد بریتانیا نامیده شد. وضعیت. زمینه. در مارس ۱۹۴۳، فرماندهی ژاپن در برمه دوباره سازماندهی شد. یک ستاد جدید، ارتش منطقه برمه، زیر نظر سپهبد ماساکازو کاوابه ایجاد شد. یکی از تشکیلات تابعه آن
ماساکازو کاوابه ایجاد شد. یکی از تشکیلات تابعه آن که مسئول بخش مرکزی جبهه رو به ایمفال و آسام بود، ارتش پانزدهم (ژاپن) بود. ژنرال رنیا موتاگوچی در مارس ۱۹۴۳ به فرماندهی این ارتش منصوب شد. از لحظه ای که او فرماندهی را شروع کرد، موتاگوچی به شدت از حمله به هند حمایت می‌کرد. انگیزه‌های او برای انجام این کار نامشخص به نظر می‌رسد. او از زمان حادثه پل مارکو پولو در سال ۱۹۳۷، نقش مهمی در چندین پیروزی ژاپن ایفا کرده بود و معتقد بود که این سرنوشت او این بود که در نبرد سرنوشت‌ساز جنگ برای ژاپن پیروز شود. او همچنین
سرنوشت‌ساز جنگ برای ژاپن پیروز شود. او همچنین ممکن است توسط اولین چیندیت‌ها (یکی از لشکرهای هندی ارتش انگلستان) تشویق شده باشد، حمله ای که در پشت خطوط ژاپنی توسط بریتانیایی‌ها تحت فرمان آورد وینگیت در اوایل سال ۱۹۴۳ آغاز شد. مرگ چیندیت‌ها در اثر بیماری و خستگی، احتمالاً باعث می‌شود موتاگوچی و برخی از کارکنانش مشکلاتی را که بعداً با آن مواجه خواهند شد دست کم بگیرند. در آغاز سال ۱۹۴۴، جنگ در چندین جبهه علیه ژاپنی‌ها جریان داشت. آنها در مرکز و جنوب غربی اقیانوس آرام عقب رانده می‌شدند و کشتی‌های تجاری آنها
آرام عقب رانده می‌شدند و کشتی‌های تجاری آنها توسط زیردریایی‌ها و هواپیماهای متفقین مورد حمله قرار می‌گرفتند. در آسیای جنوب شرق آسیا، آنها در طول سال گذشته خطوط خود را حفظ کرده بودند، اما متفقین در حال تدارک چندین حمله از هند و استان چین یون‌نان به برمه بودند. به‌طور خاص، شهر ایمفال در مانیپور در مرز با برمه برای تبدیل شدن به یک پایگاه لجستیکی قابل توجه متفقین، با فرودگاه‌ها، اردوگاه‌ها و انبارهای تدارکات ساخته شد. ایمفال از طریق جاده ای که به طول ۱۰۰ مایل (۱۶۰ کیلومتر) از تپه‌های شیب‌دار و جنگلی ناگا هیلز
کیلومتر) از تپه‌های شیب‌دار و جنگلی ناگا هیلز می‌پیچید، به پایگاه بزرگتری در دیماپور در دره رود براهماپوترا متصل شد. برنامه‌ریزی تهاجمی ژاپن. مقاله اصلی: عملیات یو-گو لشکرکشی ایمفال و کوهیما. موتاگوچی قصد داشت با پیشروی به دره براهماپوترا از تصرف ایمفال برنامه‌ریزی شده خود، سوء استفاده کند. این امر خطوط ارتباطی متفقین را به جبهه در شمال برمه، جایی که فرماندهی منطقه رزمی شمالی به رهبری آمریکا در تلاش برای ساخت جاده لدو برای اتصال زمینی هند و چین بود، و به فرودگاه‌هایی که چینی‌های ملی‌گرا تحت رهبری جیانگ جیه
که چینی‌های ملی‌گرا تحت رهبری جیانگ جیه شی از طریق یک خط هوایی بر فراز هامپ (کوه‌های هیمالیا) را تأمین می‌کرد، قطع می‌کرد. اگرچه کارکنان ارتش منطقه برمه و گروه ارتش اعزامی جنوبی (فرماندهی عالی نیروهای ژاپنی در جنوب شرقی آسیا و جنوب اقیانوس آرام) نسبت به مقیاس عملیات پیشنهادی موتاگوچی ملاحظاتی داشتند، اما در نهایت با حمایت مداوم او موضوع را مورد توجه قرار دادند. سرانجام، نخست‌وزیر هیدکی توجو و ستاد کل امپراتوری موافقت خود را با این طرح اعلام کردند.
حسن‌آباد یک روستا در ایران است که در بخش سربند شهرستان شازند در استان مرکزی واقع شده‌است. حسن‌آباد ۵۰ نفر جمعیت دارد. جمعیت. این روستا در دهستان هندودر قرار دارد و براساس سرشماری مرکز آمار ایران در سال ۱۳۸۵، جمعیت آن ۵۰ نفر (۹ خانوار) بوده‌است.
حتی یک روستا در ایران است که در شهرستان لالی استان خوزستان واقع شده‌است. حتی ۱۸۶ نفر جمعیت دارد. جمعیت. این روستا در دهستان حتی قرار دارد و براساس سرشماری مرکز آمار ایران در سال ۱۳۸۵، جمعیت آن ۱۸۶ نفر (۳۳ خانوار) بوده‌است.
یگان‌های حمله ویژه ژاپنی ، توکّوتای، یا شیمبو-تای نیروی متخصص امپراتوری ژاپن بودند که معمولاً برای مأموریت خودکشی استفاده می‌شدند. که شامل هواپیماهای کامی‌کازه، قورباغه‌های فوکوریو و چندین نوع قایق انتحاری و زیردریایی کلاس کیریو بود.
اکسشاو (به انگلیسی: Exshaw) یک منطقهٔ مسکونی در کانادا است که در آلبرتا واقع شده‌است. اکسشاو ۴۱۲ نفر جمعیت دارد و ۱٬۳۲۰ متر بالاتر از سطح دریا واقع شده‌است. اگسشاو یک دهکده در آلبرتا، کانادا در منطقه شهرداری (MD) از بیگهورن شماره ۸ است. اگسشاو در حدود ۹۰ کیلومتری غرب مرکز شهر کلگری و ۱۵ کیلومتری (۹٫۳ مایل) شرقی کانمور واقع شده‌است، در دره رودخانه بو در شمال رودخانه بو واقع شده‌است.
المر دیویس (؛ ۱۳ ژانویه ۱۸۹۰ – ۱۸ مه ۱۹۵۸ (سن ۶۸) نویسنده اهل ایالات متحده آمریکا بود. وی همچنین برندهٔ جوایزی همچون جایزه پیبادی و بورسیه رودز شده‌است.
ساخت افزودنی پرتو الکترونی (به انگلیسی:Electron-beam additive manufacturing) یا ذوب پرتو الکترون ( EBM ) نوعی ساخت افزودنی یا چاپ سه بعدی برای قطعات فلزی است. این روش از پخت لیزر انتخابی متمایز است زیرا مواد اولیه کاملاً ذوب می شوند. ماده اولیه (پودر یا سیم فلز) در خلا قرار می گیرد و در اثر گرم شدن توسط پرتو الکترون با هم ذوب می شود. از تکنیک EBM مخصوصا برای ساخت قطعات سایز متوسط یا کوچک، در یک سری محدود یا تنها یک عدد استفاده می شود. به همین دلیل است که کاربران اصلی آن صنایع زیست پزشکی (مثلاً ساخت پروتز)،
اصلی آن صنایع زیست پزشکی (مثلاً ساخت پروتز)، صنایع هوانوردی و صنایع موتورهای ورزشی هستند. تاریخچه. اولین بار در سال ۱۹۹۷ توسط شرکت سوئدی Arcam از مجموعه شرکت‌های GE Additive معرفی شد و در حال حاضر تنها برند برتر پرینترهای سه‌بعدی EBM جهان است. EBM برای ساخت قطعات پایان سبک، بادوام و متراکم ایده‌آل است. این فناوری در درجه اول در صنایع هوافضا، پزشکی و دفاعی استفاده می‌شود. سیستم های مبتنی بر پودر فلز. پودرهای فلزی را می توان با استفاده از یک پرتوی الکترونی به عنوان منبع گرما به یک جسم جامد تبدیل کرد. قطعات
عنوان منبع گرما به یک جسم جامد تبدیل کرد. قطعات با ذوب شدن پودر فلز، لایه به لایه، با پرتوی الکترونی در خلاء تولید می‌شوند. روش بستر پودری، قطعات فلزی کاملاً متراکمی را مستقیماً از پودر فلز با مشخصات ماده‌ی مورد نظر تولید می‌کند. دستگاه EBM داده‌های مدل 3D CAD را می‌خواند و لایه‌های پی‌درپی مواد پودری را می‌چیند. این لایه‌ها با استفاده از یک پرتوی الکترونی کنترل شده توسط کامپیوتر ذوب می‌شوند. به این ترتیب قطعات را تولید می­کند. این فرایند در خلاء انجام می‌شود و این باعث می‎شود که برای ساخت قطعات از مواد
و این باعث می‎شود که برای ساخت قطعات از مواد واکنش‌پذیر با میل زیاد به اکسیژن (مانند تیتانیوم) مناسب باشد. این فرایند در دماهای بالا (تا 1000 درجه سانتیگراد) کار می‌کند، که می‌تواند منجر به تفاوت در تشکیل فاز از طریق انجماد و تبدیل فاز حالت جامد شود. ماده‌ی اولیه پودر به طور معمول از قبل آلیاژ می‌شود، درنتیجه پودر مورد استفاده، مخلوط است. این جنبه اجازه می‌دهد تا طبقه‌بندی EBM با ذوب لیزری انتخابی (SLM)، درحالی که فناوری های رقیب مانند SLS و DMLS پس از ساخت به عملیات حرارتی نیاز دارند. در مقایسه با SLM و
به عملیات حرارتی نیاز دارند. در مقایسه با SLM و DMLS ،EBM به دلیل تراکم انرژی بالاتر و روش اسکن، سرعت ساخت بالاتری دارد. تحولات تحقیق. کارهای اخیر منتشر شده توسط ORNL، استفاده از فناوری EBM برای کنترل جهت‌گیری دانه‌های کریستالوگرافی محلی در اینکونل را نشان می­دهد. پس از آزمایش در میکروسکوپ الکترونی عبوری با استفاده از تکنیک پیشرفته در محل، ثابت شده‌است که آلیاژ اینکونل ساخته شده توسط EBM دارای ویژگی مکانیکی مشابهی در مقایسه با آلیاژ ساخته شده اینکونل است. سایر تحولات قابل توجه در توسعه پارامترهای فرایند
سایر تحولات قابل توجه در توسعه پارامترهای فرایند برای تولید قطعات از آلیاژهایی مانند مس، نیوبیوم ، Al 2024، فلز شیشه‌ای، فولاد ضد زنگ و تیتانیوم آلومینید متمرکز شده‌است. در حال حاضر مواد تجاری EBM شامل تیتانیوم خالص تجاریTi-6Al-4V ، CoCr ، Inconel 718 و Inconel 625 است. سیستم های مبتنی بر سیم فلزی. رویکرد دیگر استفاده از پرتوی الکترونی برای ذوب سیم جوش بر روی سطح برای ساخت یک قطعه است. این شبیه فرایند چاپ سه بعدی معمول مدل‌سازی رسوب ذوب شده است، اما با فلز به جای پلاستیک. با استفاده از این فرایند ، یک تفنگ
جای پلاستیک. با استفاده از این فرایند ، یک تفنگ پرتو الکترونی منبع انرژی مورد استفاده برای ذوب مواد اولیه فلزی را که به طور معمول سیم است، تامین می کند. پرتو الکترون یک منبع قدرت بسیار کارآمد است که با استفاده از سیم پیچ های الکترومغناطیسی با سرعت هزاران هرتز می­تواند هم دقیقاً متمرکز شود و هم منحرف شود. سیستم‌های جوشکاری پرتو الکترونی معمولاً دارای قدرت بالایی هستند و سیستم‌های 30 و 42 کیلوواتی از رایج ترین آن‌ها هستند. یک مزیت عمده استفاده از اجزای فلزی با پرتوهای الکترونی این است که این فرایند در یک
با پرتوهای الکترونی این است که این فرایند در یک فضای خلأ 1 Torr یا بیشتر انجام می شود و یک منطقه کاری بدون آلودگی ایجاد می کند که نیازی به استفاده از گازهای بی‌اثر اضافی ندارد(فرایندهای مبتنی بر قوس و لیزر به طور معمول نیاز به استفاده از گازهای بی‌اثر دارند). با استفاده از EBDM، مواد اولیه به درون یک استخر مذاب که توسط پرتو الکترونی ایجاد شده، ریخته می‌شوند. با استفاده از کنترل‌های عددی رایانه ای ن(CNC)، حوضچه مذاب روی صفحه زیرلایه منتقل می‌شود و مواد را دقیقاً در جایی که برای تولید قطعه لازم است، اضافه
دقیقاً در جایی که برای تولید قطعه لازم است، اضافه می‌کند. این فرایند به صورت لایه به لایه تکرار می‌شود، تا زمانی که شکل سه‌بعدی موردنظر تولید شود. بسته به قطعه ساخته شده، نرخ رسوب می‌تواند تا 200 اینچ مکعب (3300 سانتی‌متر مکعب) در ساعت باشد. در تولید با آلیاژ سبک مانند تیتانیوم، نرخ رسوب 40 پوند (18 کیلوگرم) در ساعت است. طیف گسترده‌ای از آلیاژهای مهندسی با فرایند EBDM سازگار هستند و به‌راحتی به صورت سیم جوش در دسترس هستند؛اما به فولاد ضدزنگ، آلیاژهای کبالت، آلیاژهای نیکل، آلیاژهای نیکل-مس، تانتالیم،
کبالت، آلیاژهای نیکل، آلیاژهای نیکل-مس، تانتالیم، آلیاژهای تیتانیوم و همچنین بسیاری از مواد با ارزش دیگر محدود نمی‌شوند. مزایا. پودرهای اضافی پس از پرینت، دوباره قابل استفاده هستند. این موضوع در صنایع هوافضا برای تولیدکنندگان بسیار ارزشمند است، زیرا فقط حدود ۲۰ درصد از مواد اولیه در ساخت قطعه نهایی استفاده می‌شوند و بقیه‌ی مواد بازیافت می‌شوند. پرتو الکترونی می‌تواند به صورت همزمان به چند مکان جداگانه حرارت دهد، این امر باعث می‌شود که سرعت فرایند تولید به طرز چشمگیری افزایش یابد. معایب. دستگاه Q20 شرکت
طرز چشمگیری افزایش یابد. معایب. دستگاه Q20 شرکت Arcam که بزرگترین حجم ساخت را دارد می‌تواند حداکثر قطعاتی با قطر ۳۵۰ میلیمتر و ارتفاع ۳۸۰ میلیمتر را تولید کند در حالی که دستگاه‌های لیزری مانند X-Line Concept Laser حجم تولیدی حداقل دو برابر این مقدار را دارند. پرینتر مخصوص و مواد اولیه‌ی آن گران‌تر از تکنیک‌های لیزری هستند و در نتیجه EBM تنها برای پرینت سه بعدی صنعتی خاص مناسب است. بازار. آلیاژهای تیتانیوم با استفاده از این فناوری به طور گسترده‌ای مورد استفاده قرار می‌گیرند و همین امر آن را به گزینه‌ای
قرار می‌گیرند و همین امر آن را به گزینه‌ای مناسب برای بازار ایمپلنت پزشکی تبدیل کرده‌است. فنجانی گود استابولیوم دارای گواهینامه CE از سال 2007 توسط دو تولید کننده کاشت ارتوپدی اروپایی Adler Ortho و Lima Corporate با EBM در حال تولید هستند. تولید کننده کاشت ایمپلنت Exactech در ایالات متحده همچنین مجوز FDA را برای یک فنجانی گود استابولیوم تولید شده با فناوری EBM دریافت کرده است. هوا فضا و سایر کاربردهای مکانیکی بسیار طاقت فرسا نیز هدف قرار گرفته‌است(موتور راکت رادرفورد). فرایند EBM برای ساخت قطعات گاما
راکت رادرفورد). فرایند EBM برای ساخت قطعات گاما تیتانیوم آلومینید توسعه یافته است و در حال حاضر توسط Avio S.p.A وGeneral Electric برای تولید پره های توربین در γ-TiAl برای موتورهای توربین گاز درحال توسعه است. اولین دستگاه EBM در ایالات متحده توسط گروه مهندسی صنایع و سیستم ها در دانشگاه ایالتی کارولینای شمالی نگه‌داری می‌شود.
آی پد ایر (نسل سوم) (که در اصطلاح عامیانه به آن آی پد ایر ۳ گفته می‌شود) رایانه لوحی است که توسط اپل طراحی، توسعه و به بازار عرضه شده‌است. در تاریخ ۱۸ مارس ۲۰۱۹ در کنار نسل پنجم آیپد مینی اعلام شد. این دستگاه ظاهری شبیه به آی پد ایر ۲ را دارد، اما از یک تراشه به روز شده Apple A12 Bionic، نمایشگر بزرگتر ۱۰/۵ اینچی رِتینا، پشتیبانی از اپل پنسل (نسل اول)، بلوتوث ۵/۰ و حافظه سریع بهره می‌برد. امکانات. سخت‌افزار. نسل سوم آیپد ایر دارای یک دوربین جلو ۷ مگاپیکسلی به روز شده (که ابتدا در آیفون ۷ و تا آیفون XS
به روز شده (که ابتدا در آیفون ۷ و تا آیفون XS استفاده شده) در مقایسه با دوربین ۱/۲ مگاپیکسلی موجود در نسل قبلی است. با این حال، همان دوربین عقب قدیمی و ۸ مگاپیکسلی را حفظ می‌کند. نرم‌افزار. نسل سوم آی پد ایر برای اولین بار با آی او اس ۱۲ را بازار عرضه شد. در سپتامبر ۲۰۱۹ به روزرسانی آی پد ۱۳ دریافت کرد. در سپتامبر ۲۰۲۰، نسل سوم آی پد ایر به عنوان یکی از دستگاه‌هایی که می‌تواند به آی پد او اس ۱۴ به روز شود، ذکر شد.
۸۳ هرکول یا زانوزده ۸۳ ستاره‌ای در صورت فلکی زانوزده و در کهکشان راه شیری است. این ستاره جزو رده ستارگان غول‌پیکر است. این ستاره با چشم غیر مسلح دیده می‌شود و نیازی به مشاهده آن با تلسکوپ نیست.
تاریخ یهودیان در صربستان به دوهزار سال پیش در دوران امپراتوری روم و ورود اولین یهودیان به صربستان بازمی‌گردد. جوامع یهودی بالکان تا سده ۱۵ام و تفتیش عقاید اسپانیایی و پرتغالی کوچک و اقلیت بودند. پس از آن، یهودیان شبه‌جزیره ایبری که از اسپانیا و پرتغال فرار کرده بودند ، گروهی از آنان در صربستان که تحت کنترل امپراتوری عثمانی بود پناهنده شدند. این جامعه یهودی تا زمان جنگ جهانی دوم رشد کرد و شکوفا شد و به جمعیتی حدود ۳۳٬۰۰۰ رسید. حدود دو سوم یهودیان صربی در هولوکاست کشته شدند به ویژه که آدولف هیتلر به دنبال از
کشته شدند به ویژه که آدولف هیتلر به دنبال از بین بردن یهودیان و صرب ها برای شکست آلمان در جنگ جهانی اول بود. پس از جنگ، جمعیت بزرگی از یهودیان صربستان را برای اسرائیل ترک کردند. در آمارگیری سال ۲۰۱۱ فقط ۷۸۷ نفر خود را یهودی اعلام کردند. امروزه ، کنیسه بلگراد و کنیسه سوبتیتسا که زمانی چهارمین کنیسه بزرگ در اروپا بود هم‌اکنون در فعالیت نیز هستند. تاریخ. دوران باستان. اولین یهودیان صربستان از دوران امپراتوری روم پا به خاک صربستان گذاشتند، هرچند که تا قبل از سده ۱۰ اسناد کمی وجود دارد حکم‌رانی عثمانی. جوامع