moaminsharifi/fa-wiki-spell-checker huggingface dataset:
مفهوم اجرای نمادین به صورت دانشگاهی با توصیف این موارد معرفی شد: سامانه Select،Robert S. Boyer and Bernard Elspas and Karl N. Levitt SELECT--a formal system for testing and debugging programs by symbolic execution, Proceedings of the International Conference on Reliable Software, 1975,page 234--245, Los Angeles, California سامانه EFFIGY،James C. King,Symbolic execution and program testing, Communications of the ACM, volume 19, number 7, 1976, 385--394 سامانه DISSECT،William E. Howden, Experiments with a symbolic evaluation system, Proceedings, National Computer Conference, 1976. و سامانه Clarke's.Lori A. Clarke, A program testing system, ACM 76: Proceedings of the Annual Conference, 1976, pages 488-491, Houston, Texas, United States کتابشناسی را برای مقاله‌های فنی‌تر منتشر شده دربارهٔ اجرای نمادین ببینید.
کیدو کوایچی ; – ) سیاستمدار مشاور امپراتور هیروهیتو اهل ژاپن بود. او طی سال‌های ۱۹۴۰ تا ۱۹۴۵ مهردار و منشی سلطنتی و در طول جنگ جهانی دوم، نزدیکترین مشاور امپراتور هیروهیتو بود. کیدو به انجام جنایات جنگی محکوم شد. مجازات او حبس ابد بود که پس از ۶ سال در سال ۱۹۵۳ آزاد شد.
حادثه کیوجو ، یک کودتای نظامی در امپراتوری ژاپن در پایان جنگ جهانی دوم در آسیا بود. این اتفاق در شب ۱۴–۱۵ اوت ۱۹۴۵، درست قبل از اعلام خبر تسلیم ژاپن به متفقین جنگ جهانی دوم رخ داد.
ناوگان سوم ایالات متحده () یکی از ناوگان‌های شماره گذاری شده در نیروی نیروی دریایی ایالات متحده آمریکا است. منطقه مسئولیت ناوگان سوم تقریباً پنجاه میلیون مایل مربع از مناطق شرقی و شمالی اقیانوس آرام شامل دریای برینگ، آلاسکا، جزایر آلیوتی و بخشی از قطب شمال را شامل می‌شود. عمده خطوط ارتباطی نفت و تجاری دریایی در این منطقه برای سلامت اقتصادی ایالات متحده و کشورهای دوست در سراسر منطقه حاشیه اقیانوس آرام بسیار مهم است.
پروپاگاندا و هند در جنگ جهانی دوم در طول جنگ جهانی دوم، هر دو طرف محور و متحدین از پروپاگاندا برای تحت تأثیر قرار دادن نظرات غیرنظامیان و نیروهای هندی مردم هند استفاده می‌کردند؛ در حالی که در همان زمان ملی‌گرایان هندی در داخل و در خارج از هند برای تبلیغ جنبش استقلال‌طلبی هند فعالیت می‌کردند.
نبرد ایمفال () یکی از نبردهای جنگ جهانی دوم بود که از مارس تا ژوئیه ۱۹۴۴ در منطقه اطراف شهر ایمفال، پایتخت ایالت مانیپور در شمال شرق هند پایتخت ایالت مانیپور از مارس تا ژوئیه ۱۹۴۴ اتفاق افتاد. امپراتوری ژاپن تلاش کرد تا نیروهای متفقین را در ایمفال نابود کنید و به راج بریتانیا حمله کند، اما با تلفات سنگین به برمه (میانمار) رانده شد. همراه با نبرد همزمان نبرد کوهیما در جاده ای که نیروهای متفقین محاصره شده در ایمفال از طریق آن خلاص شدند. این نبرد نقطه عطف نبرد برمه، بخشی از جبهه جنوب شرقی آسیای جنگ جهانی دوم بود. شکست ژاپنی‌ها در کوهیما و ایمفال بزرگ‌ترین شکست ژاپن تا آن زمان بود که بسیاری از ژاپنی‌ها با مرگ و میرهای ناشی از گرسنگی، بیماری و خستگی، در طول عقب‌نشینی‌شان متحمل شدند. در سال ۲۰۱۳ بر اساس رای‌گیری ای که توسط موزه ارتش ملی برگزار شد، نبرد ایمفال به عنوان بزرگ‌ترین نبرد بریتانیا نامیده شد.
در مارس ۱۹۴۳، فرماندهی ژاپن در برمه دوباره سازماندهی شد. یک ستاد جدید، ارتش منطقه برمه، زیر نظر سپهبد ماساکازو کاوابه ایجاد شد. یکی از تشکیلات تابعه آن که مسئول بخش مرکزی جبهه رو به ایمفال و آسام بود، ارتش پانزدهم (ژاپن) بود. ژنرال رنیا موتاگوچی در مارس ۱۹۴۳ به فرماندهی این ارتش منصوب شد. از لحظه ای که او فرماندهی را شروع کرد، موتاگوچی به شدت از حمله به هند حمایت می‌کرد. انگیزه‌های او برای انجام این کار نامشخص به نظر می‌رسد. او از زمان حادثه پل مارکو پولو در سال ۱۹۳۷، نقش مهمی در چندین پیروزی ژاپن ایفا کرده بود و معتقد بود که این سرنوشت او این بود که در نبرد سرنوشت‌ساز جنگ برای ژاپن پیروز شود. او همچنین ممکن است توسط اولین چیندیت‌ها (یکی از لشکرهای هندی ارتش انگلستان) تشویق شده باشد، حمله ای که در پشت خطوط ژاپنی توسط بریتانیایی‌ها تحت فرمان آورد وینگیت در اوایل سال ۱۹۴۳ آغاز شد. مرگ چیندیت‌ها در اثر بیماری و خستگی، احتمالاً باعث می‌شود موتاگوچی و برخی از کارکنانش مشکلاتی را که بعداً با آن مواجه خواهند شد دست کم بگیرند.
در آغاز سال ۱۹۴۴، جنگ در چندین جبهه علیه ژاپنی‌ها جریان داشت. آنها در مرکز و جنوب غربی اقیانوس آرام عقب رانده می‌شدند و کشتی‌های تجاری آنها توسط زیردریایی‌ها و هواپیماهای متفقین مورد حمله قرار می‌گرفتند. در آسیای جنوب شرق آسیا، آنها در طول سال گذشته خطوط خود را حفظ کرده بودند، اما متفقین در حال تدارک چندین حمله از هند و استان چین یون‌نان به برمه بودند. به‌طور خاص، شهر ایمفال در مانیپور در مرز با برمه برای تبدیل شدن به یک پایگاه لجستیکی قابل توجه متفقین، با فرودگاه‌ها، اردوگاه‌ها و انبارهای تدارکات ساخته شد. ایمفال از طریق جاده ای که به طول ۱۰۰ مایل (۱۶۰ کیلومتر) از تپه‌های شیب‌دار و جنگلی ناگا هیلز می‌پیچید، به پایگاه بزرگتری در دیماپور در دره رود براهماپوترا متصل شد.
مقاله اصلی: عملیات یو-گو
موتاگوچی قصد داشت با پیشروی به دره براهماپوترا از تصرف ایمفال برنامه‌ریزی شده خود، سوء استفاده کند. این امر خطوط ارتباطی متفقین را به جبهه در شمال برمه، جایی که فرماندهی منطقه رزمی شمالی به رهبری آمریکا در تلاش برای ساخت جاده لدو برای اتصال زمینی هند و چین بود، و به فرودگاه‌هایی که چینی‌های ملی‌گرا تحت رهبری جیانگ جیه شی از طریق یک خط هوایی بر فراز هامپ (کوه‌های هیمالیا) را تأمین می‌کرد، قطع می‌کرد. اگرچه کارکنان ارتش منطقه برمه و گروه ارتش اعزامی جنوبی (فرماندهی عالی نیروهای ژاپنی در جنوب شرقی آسیا و جنوب اقیانوس آرام) نسبت به مقیاس عملیات پیشنهادی موتاگوچی ملاحظاتی داشتند، اما در نهایت با حمایت مداوم او موضوع را مورد توجه قرار دادند. سرانجام، نخست‌وزیر هیدکی توجو و ستاد کل امپراتوری موافقت خود را با این طرح اعلام کردند.
حسن‌آباد یک روستا در ایران است که در بخش سربند شهرستان شازند در استان مرکزی واقع شده‌است. حسن‌آباد ۵۰ نفر جمعیت دارد.
این روستا در دهستان هندودر قرار دارد و براساس سرشماری مرکز آمار ایران در سال ۱۳۸۵، جمعیت آن ۵۰ نفر (۹ خانوار) بوده‌است.درگاه ملی آمار ایران
حتی یک روستا در ایران است که در شهرستان لالی استان خوزستان واقع شده‌است. حتی ۱۸۶ نفر جمعیت دارد.
این روستا در دهستان حتی قرار دارد و براساس سرشماری مرکز آمار ایران در سال ۱۳۸۵، جمعیت آن ۱۸۶ نفر (۳۳ خانوار) بوده‌است.درگاه ملی آمار ایران
یگان‌های حمله ویژه ژاپنی ، توکّوتای، یا شیمبو-تای
نیروی متخصص امپراتوری ژاپن بودند که معمولاً برای مأموریت خودکشی استفاده می‌شدند. که شامل هواپیماهای کامی‌کازه، قورباغه‌های فوکوریو و چندین نوع قایق انتحاری و زیردریایی کلاس کیریو بود.
فوکوریو ، بخشی از یگان‌های حمله ویژه ژاپنی بودند که برای مقاومت در برابر حمله متفقین جنگ جهانی دوم به جزایر داخل حریم ژاپن آماده شدند. این نام در لغت به معنای «اژدهای خمیده» است و همچنین در متن انگلیسی غواصی خودکشی یا غواص کامی‌کازه نامیده شده‌است.
جرج بی. وارگاس (; – ) سیاست‌مدار، وکیل اهل فیلیپین بود.
اکسشاو (به انگلیسی: Exshaw) یک منطقهٔ مسکونی در کانادا است که در آلبرتا واقع شده‌است. اکسشاو ۴۱۲ نفر جمعیت دارد و ۱٬۳۲۰ متر بالاتر از سطح دریا واقع شده‌است.
اگسشاو یک دهکده در آلبرتا، کانادا در منطقه شهرداری (MD) از بیگهورن شماره ۸ است. اگسشاو در حدود ۹۰ کیلومتری غرب مرکز شهر کلگری و ۱۵ کیلومتری (۹٫۳ مایل) شرقی کانمور واقع شده‌است، در دره رودخانه بو در شمال رودخانه بو واقع شده‌است.
با ماو (؛ – ) وکیل، سیاستمدار اهل میانمار بود.
المر دیویس (؛ ۱۳ ژانویه ۱۸۹۰ – ۱۸ مه ۱۹۵۸ (سن ۶۸) نویسنده اهل ایالات متحده آمریکا بود.
وی همچنین برندهٔ جوایزی همچون جایزه پیبادی و بورسیه رودز شده‌است.
تایمز مانیل () قدیمی‌ترین روزنامه موجود به زبان انگلیسی در فیلیپین است.
ساخت افزودنی پرتو الکترونی (به انگلیسی:Electron-beam additive manufacturing) یا ذوب پرتو الکترون ( EBM ) نوعی ساخت افزودنی یا چاپ سه بعدی برای قطعات فلزی است. این روش از پخت لیزر انتخابی متمایز است زیرا مواد اولیه کاملاً ذوب می شوند. ماده اولیه (پودر یا سیم فلز) در خلا قرار می گیرد و در اثر گرم شدن توسط پرتو الکترون با هم ذوب می شود.
اولین بار در سال ۱۹۹۷ توسط شرکت سوئدی Arcam از مجموعه شرکت‌های GE Additive معرفی شد و در حال حاضر تنها برند برتر پرینترهای سه‌بعدی EBM جهان است. EBM برای ساخت قطعات پایان سبک، بادوام و متراکم ایده‌آل است. این فناوری در درجه اول در صنایع هوافضا، پزشکی و دفاعی استفاده می‌شود.
پودرهای فلزی را می توان با استفاده از یک پرتوی الکترونی به عنوان منبع گرما به یک جسم جامد تبدیل کرد. قطعات با ذوب شدن پودر فلز، لایه به لایه، با پرتوی الکترونی در خلاء تولید می‌شوند.
روش بستر پودری، قطعات فلزی کاملاً متراکمی را مستقیماً از پودر فلز با مشخصات ماده‌ی مورد نظر تولید می‌کند. دستگاه EBM داده‌های مدل 3D CAD را می‌خواند و لایه‌های پی‌درپی مواد پودری را می‌چیند. این لایه‌ها با استفاده از یک پرتوی الکترونی کنترل شده توسط کامپیوتر ذوب می‌شوند. به این ترتیب قطعات را تولید می­کند. این فرایند در خلاء انجام می‌شود و این باعث می‎شود که برای ساخت قطعات از مواد واکنش‌پذیر با میل زیاد به اکسیژن (مانند تیتانیوم) مناسب باشد. این فرایند در دماهای بالا (تا 1000 درجه سانتیگراد) کار می‌کند، که می‌تواند منجر به تفاوت در تشکیل فاز از طریق انجماد و تبدیل فاز حالت جامد شود.
ماده‌ی اولیه پودر به طور معمول از قبل آلیاژ می‌شود، درنتیجه پودر مورد استفاده، مخلوط است. این جنبه اجازه می‌دهد تا طبقه‌بندی EBM با ذوب لیزری انتخابی (SLM)، درحالی که فناوری های رقیب مانند SLS و DMLS پس از ساخت به عملیات حرارتی نیاز دارند. در مقایسه با 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 شرکت Arcam که بزرگترین حجم ساخت را دارد می‌تواند حداکثر قطعاتی با قطر ۳۵۰ میلیمتر و ارتفاع ۳۸۰ میلیمتر را تولید کند در حالی که دستگاه‌های لیزری مانند X-Line Concept Laser حجم تولیدی حداقل دو برابر این مقدار را دارند.
پرینتر مخصوص و مواد اولیه‌ی آن گران‌تر از تکنیک‌های لیزری هستند و در نتیجه EBM تنها برای پرینت سه بعدی صنعتی خاص مناسب است.
آلیاژهای تیتانیوم با استفاده از این فناوری به طور گسترده‌ای مورد استفاده قرار می‌گیرند و همین امر آن را به گزینه‌ای مناسب برای بازار ایمپلنت پزشکی تبدیل کرده‌است.
فنجانی گود استابولیوم دارای گواهینامه CE از سال 2007 توسط دو تولید کننده کاشت ارتوپدی اروپایی Adler Ortho و Lima Corporate با EBM در حال تولید هستند.
تولید کننده کاشت ایمپلنت Exactech در ایالات متحده همچنین مجوز FDA را برای یک فنجانی گود استابولیوم تولید شده با فناوری EBM دریافت کرده است.
هوا فضا و سایر کاربردهای مکانیکی بسیار طاقت فرسا نیز هدف قرار گرفته‌است(موتور راکت رادرفورد).
فرایند EBM برای ساخت قطعات گاما تیتانیوم آلومینید توسعه یافته است و در حال حاضر توسط Avio S.p.A وGeneral Electric برای تولید پره های توربین در γ-TiAl برای موتورهای توربین گاز درحال توسعه است.
اولین دستگاه EBM در ایالات متحده توسط گروه مهندسی صنایع و سیستم ها در دانشگاه ایالتی کارولینای شمالی نگه‌داری می‌شود.
آی پد ایر (نسل سوم) (که در اصطلاح عامیانه به آن آی پد ایر ۳ گفته می‌شود) رایانه لوحی است که توسط اپل طراحی، توسعه و به بازار عرضه شده‌است. در تاریخ ۱۸ مارس ۲۰۱۹ در کنار نسل پنجم آیپد مینی اعلام شد. این دستگاه ظاهری شبیه به آی پد ایر ۲ را دارد، اما از یک تراشه به روز شده Apple A12 Bionic، نمایشگر بزرگتر ۱۰/۵ اینچی رِتینا، پشتیبانی از اپل پنسل (نسل اول)، بلوتوث ۵/۰ و حافظه سریع بهره می‌برد.
نسل سوم آیپد ایر دارای یک دوربین جلو ۷ مگاپیکسلی به روز شده (که ابتدا در آیفون ۷ و تا آیفون XS استفاده شده) در مقایسه با دوربین ۱/۲ مگاپیکسلی موجود در نسل قبلی است. با این حال، همان دوربین عقب قدیمی و ۸ مگاپیکسلی را حفظ می‌کند.
نسل سوم آی پد ایر برای اولین بار با آی او اس ۱۲ را بازار عرضه شد. در سپتامبر ۲۰۱۹ به روزرسانی آی پد ۱۳ دریافت کرد. در سپتامبر ۲۰۲۰، نسل سوم آی پد ایر به عنوان یکی از دستگاه‌هایی که می‌تواند به آی پد او اس ۱۴ به روز شود، ذکر شد.
۸۳ هرکول یا زانوزده ۸۳ ستاره‌ای در صورت فلکی زانوزده و در کهکشان راه شیری است. این ستاره جزو رده ستارگان غول‌پیکر است.
این ستاره با چشم غیر مسلح دیده می‌شود و نیازی به مشاهده آن با تلسکوپ نیست.
تاریخ یهودیان در صربستان به دوهزار سال پیش در دوران امپراتوری روم و ورود اولین یهودیان به صربستان بازمی‌گردد. جوامع یهودی بالکان تا سده ۱۵ام و تفتیش عقاید اسپانیایی و پرتغالی کوچک و اقلیت بودند. پس از آن، یهودیان شبه‌جزیره ایبری که از اسپانیا و پرتغال فرار کرده بودند ، گروهی از آنان در صربستان که تحت کنترل امپراتوری عثمانی بود پناهنده شدند.
این جامعه یهودی تا زمان جنگ جهانی دوم رشد کرد و شکوفا شد و به جمعیتی حدود ۳۳٬۰۰۰ رسید. حدود دو سوم یهودیان صربی در هولوکاست کشته شدند به ویژه که آدولف هیتلر به دنبال از بین بردن یهودیان و صرب ها برای شکست آلمان در جنگ جهانی اول بود. پس از جنگ، جمعیت بزرگی از یهودیان صربستان را برای اسرائیل ترک کردند. در آمارگیری سال ۲۰۱۱ فقط ۷۸۷ نفر خود را یهودی اعلام کردند. امروزه ، کنیسه بلگراد و کنیسه سوبتیتسا که زمانی چهارمین کنیسه بزرگ در اروپا بود هم‌اکنون در فعالیت نیز هستند.
اولین یهودیان صربستان از دوران امپراتوری روم پا به خاک صربستان گذاشتند، هرچند که تا قبل از سده ۱۰ اسناد کمی وجود دارد
جوامع یهودی بالکان در سده های ۱۵ام و ۱۶ام رشد کردند. بسیاری از پناهنده‌های یهودی از تفتیش عقاید اسپانیایی فرار کردند و سلطان بایزید دوم به یهودیان پناهنده اجازه اسکان در امپراتوری عثمانی داد. یهودیان در تجارت امپراتوری عثمانی گرفتار شدند ، به ویژه در تجارت نمک که بسیار مهم بود. در سال ۱۶۶۳ ، ۸۰۰ یهودی در بلگراد زندگی می کردند.
با وجود اینکه بیشتر خاک صربستان امروزی تحت کنترل امپراتوری عثمانی بود، اما وویوودینا بخشی از اتریش هابسبورگ بود. در سال ۱۷۸۲، یوزف دوم، امپراتور مقدس روم فرمان بردباری را صادر کرد. این فرمان به جامعه یهودی در وویوودینا اجازه پیشرفت و رشد بیشتری داشت و تا پایان سده ۱۹ام نزدیک ۴۰ جامعه یهودی در وویوودینا بودند.
عشقی برای کشتن (; ) یک مجموعهٔ تلویزیونی کره جنوبی سال ۲۰۰۵ با بازی رین، شین مین آ، کیم سارنگ و لی کی-وو است. این مجموعه از ۳۱ اکتبر تا ۲۰ دسامبر ۲۰۰۵، دوشنبه و سه‌شنبه‌ها ساعت ۲۱:۵۵ (کی‌اس‌تی) از کی‌بی‌اس۲ پخش شد.
منبع: TNMS Media Korea
نسخهٔ بازسازی اندونزیایی با عنوان «"Bodyguard Jatuh Cinta"» بود.
نسخهٔ بازسازی در تایلند با عنوان «"รักซ่อนแค้น"» (rạk s̀xn khæ̂n; ترجمه: "انتقام پنهان عشق") به کارگردانی اتاپورن تیمارکورن بود که از شبکهٔ وان اچ‌دی از ۲۶ ژوئیه ۲۰۱۷ پخش شد.
برند اختصاصی ()، برندی است که مشتریان بالقوه به کارخانجات معتبر می‌سپارند تا برای آنها محصولات مطلوب و مورد نیازشان را به تولید برسانند.
بنا بر آمارهای انجمن برند اختصاصی آمریکا، از هر ۵ محصولی که در سوپرمارکت‌ها، فروشگاه‌های زنجیره‌ای و داروخانه‌های این کشور به فروش می‌روند، ۱ محصول با برند اختصاصی عرضه می‌شود. و شصت و هشت درصد افراد مورد سؤال معتقدند که نام‌های تجاری اختصاصی، محصولات بهتر و اقتصادی‌تری را عرضه می‌کنند. و در مقابل برندهای صرفاً متعلق به کارخانجات قدیمی‌تر دیگر ارزش پولی که بابت خرید آنها پرداخت می‌شوند را ندارند.
از استراتژی‌هایی که کارخانجات بزرگ به دنبال اجرای آن هستند، استراتژی شراکت با توزیع‌کنندگان و تأمین‌کنندگان عمده برای افزایش صرفه اقتصادی زنجیره عرضه تولید می‌باشد. تنها در این صورت است که کارخانجات بزرگ می‌توانند سودآوری خود را حفظ کنند. و دستیابی به‌صرفه اقتصادی بالاتر و همچنین کاهش و حذف هزینه‌های غیرضروری، می‌تواند امکان کاهش قیمت‌ها (با در نظر گرفتن جایگاه ارزشی محصولات) را برای کارخانه فراهم آورد.
نام‌های تجاری متعلق به کارخانه‌های تولیدی باید موفقیت برند اختصاصی خرده‌فروشی‌ها را بپذیرند و عکس‌العمل مناسبی به حضور آنها نشان بدهند.
فروشگاه‌های زنجیره‌ای بن تون (benetton), لباس‌هایی با برند بن تون را عرضه می‌کنند، ۲ فروشگاه زنجیره‌ای بادی شاپ (thebodyshop) و مارک آند اسپنسر (Marks & Spencer) هم اکثر محصولاتی که عرضه می‌کنند، محصولات اختصاصی خودشان است. یا در انگلستان نیز، ۲ فروشگاه زنجیره‌ای بزرگ این کشور به نام‌های سین زبوری (Sainsbury) و تسکو (tesco) به ترتیب پنجاه و چهل و پنج درصد از محصولاتی که عرضه می‌کنند، محصولاتی با برند اختصاصی خود فروشگاه هستند.
رضا حبیبی(زادهٔ ۱۳۶۹ ساری) تکواندوکار ایرانی است که از سال ۱۳۸۷ به صورت حرفه ای در این زمینه فعالیت میکند. وی برنده مدال برنز مسابقات ارتش های جهان در سال ۲۰۱۳ و مقام اول و دوم تیمی جام باشگاه های آسیا در وزن ۶۳ کیلوگرم در سال های ۲۰۱۴ و ۲۰۱۵ است. او همچنین از اعضای سابق تیم ملی تکواندوی ایران بوده و سابقه فعالیت در تیم های لیگ برتری همچون مس کرمان و دانشگاه آزاد اسلامی را نیز دارد.
تیم ملی بسکتبال ۳ نفره افغانستان تیم ملی بسکتبال افغانستان است که توسط فدراسیون ملی بسکتبال افغانستان اداره می‌شود. این تیم به نمایندگی از افغانستان در رقابت‌های بین‌الدولی بسکتبال سه نفر (۳ درمقابل ۳) به میدان می‌رود.
آکادمی علوم نیویورک (به انگلیسی: New York Academy of Sciences) در ژانویه ۱۸۱۷ تأسیس شد. این آکادمی یکی از قدیمی‌ترین انجمن‌های علمی در ایالات متحده و یک سازمان مستقل و غیرانتفاعی با بیش از ۲۰٬۰۰۰ عضو در ۱۰۰ کشور جهان است، مأموریت این آکادمی «پیشبرد تحقیقات علمی و دانش، حمایت از سواد علمی و ترویج حل چالش‌های جهانی جامعه از طریق راه حل‌های مبتنی بر علم» است.
تیم ملی بسکتبال زیر ۱۶ سال و ۱۷ سال زنان ایران تیم ملی بسکتبال ایران است که زیر نظر فدراسیون بسکتبال ایران اداره می‌شود. این تیم به نمایندگی از ایران در رقابت‌های بین‌المللی بانوان زیر ۱۶ سال و ۱۷ سال بازی می‌کند. "(ایسنا)"
https://en.wikipedia.org/wiki/FIBA_Under-16_Women%27s_Asian_Championship
ایران ۵۶ - ۴۰ عراق - ۲۷ خرداد ۱۴۰۲ تالار بسکتبال آزادی تهرانhttp://iribf.ir/News/d?id=419&ts=14020329181305913
ایران ۸۶ - ۳۸ عراق - ۲۹ خرداد ۱۴۰۲ تالار بسکتبال آزادی تهرانhttp://iribf.ir/News/d?id=423&ts=14020329191306055
خواهران ماکیئوکا ، معنای تحت‌الفظی «برف سبک» یک فیلم درام ۱۹۸۳ به کارگردانی کن ایچیکاوا بر اساس رمان سریال خواهران ماکیئوکا به همین نام از جون‌ایچیرو تانیزاکی است. در این فیلم سبک زندگی قبل از جنگِ خانواده ثروتمند ماکیئوکا از اوساکا را به موازات فصول ژاپن به تصویر کشیده شده‌است.
حادثه ۱۵ مه یک تلاش به انجام کودتا در امپراتوری ژاپن در ۱۵ مه ۱۹۳۲ توسط عناصر ارتجاعی نیروی دریایی امپراتوری ژاپن به کمک کادرهایی در نیروی زمینی امپراتوری ژاپن و بازماندگان غیرنظامی ملی‌گرای لیگ ملی خون (Ketsumei-dan) بود. در این حادثه نخست‌وزیر ژاپن اینوکای تسویوشی توسط ۱۱ افسر جوان نیروی دریایی ترور شد. محاکمه پس از آن و حمایت مردمی منجر به احکام فوق‌العاده سبک برای قاتلان، تقویت قدرت فزاینده نظامی‌گری ژاپن و تضعیف دموکراسی و حاکمیت قانون در امپراتوری ژاپن شد.
هاتاناکا کنجی ؛ ۲۸ مارس ۱۹۱۲ – ) فرد نظامی یکی از رهبران حادثه کیوجو در کاخ امپراتوری توکیو اهل ژاپن بود.
یک مسئله صدق‌پذیری در پیمانه نظریات با کوته‌نوشت SMT در علوم رایانه و منطق ریاضیاتی، یک «مسئله تصمیم» برای فرمول‌های منطقی در ارتباط با ترکیبی از نظریات پیش‌زمینه‌ای که به صورت منطق مرتبه اول کلاسیک دارای تساوی بیان شده‌اند، است. مثال‌هایی از این نظریات که معمولاً در علوم رایانه استفاده می‌شوند از این قرار است: نظریه اعداد حقیقی، نظریه اعداد صحیح، و نظریات ساختمان داده‌های متنوع مثل لیست، آرایه، بردار بیتی، و غیره. مسئله SMT را می‌توان نوعی مسئله ارضای محدودیت در نظر گرفت، و از این رو یک دیدگاه صوری‌شده معین به برنامه‌نویسی محدودیت است.
به صورت صوری، یک مسئله SMT یک فرمول در منطق مرتبه اول است، که در آن بعضی از نمادهای تابعی و گزاره‌ای تفسیرهای اضافی دارند، و SMT همان مسئله تعیین این سوال است که آیا چنین فرمولی «صدق‌پذیر» هست یا نه. به عبارت دیگر، یک نمونه از مسئله صدق‌پذیری دودویی (SAT) را درنظر بگیرید، که در آن بعضی از متغیرهای دودویی با محمول‌ها جایگزین شده‌اند و این موضوع در محدوده مجموعه مناسبی از متغیرهای غیردودویی رخ داده‌است. یک گزاره یک تابع دودویی از متغیرهای غیردودویی است. چند مثال از گزاره شامل، نابرابری خطی (مثل formula_1) یا تساوی‌های شامل ترم‌های تفسیرنشده و نمادهای تابعی (مثل formula_2 که در آن formula_3 یک تابع تعیین نشده از دو آرگومان است). این گزاره‌ها براساس هر نظریه منتسب‌شده مرتبط رده‌بندی می‌شوند. برای مثال، نابرابری خطی روی متغیرهای حقیقی توسط قواعد نظریه حساب حقیقی خطی ارزیابی می‌شود، که در آن گزاره‌ها درگیر ترم‌های تفسیرنشده اند و نمادهای تابعی توسط قواعد نظریه توابع تفسیرنشده با تساوی ارزیابی می‌شوند (که گاهی به آن نظریه پوچ هم می‌گویند). نظریه‌های دیگر شامل نظریه‌های ساختمان آرایه‌ها و لیست‌ها می‌شود (که برای مدل‌سازی و راستی‌آزمایی برنامه‌های رایانه‌ای مفید است)، و نیز شامل نظریه آرایه بیتی است (که در مدل‌سازی و راستی‌آزمایی طراحی‌های سخت‌افزاری مفید است). زیرنظریه‌هایی دیگری هم ممکن است موجود باشد: مثل «منطق تفاوتی» که یک زیرنظریه از حساب خطی است که در آن هر نابرابری باید محدودیت فرمی formula_4 را برای متغیرهای formula_5 و formula_6 و ثابت formula_7 داشته باشد.
بیشتر حل‌کننده‌های مسئله SAT فقط از قسمت‌های فاقد سور از منطق‌شان پشتیبانی می‌کنند.
یک نمونه از مسئله SMT در واقع یک تعمیم برای نمونه مسئله SAT دودویی است، که در آن مجموعه‌های متنوعی از متغیرها با گزاره‌هایی از انواع متنوعی از نظریه‌های بنیادین جایگزین شده‌اند. فرمول‌های SMT قدرت زبان مدل‌سازی بیشتری نسبت به فرمول‌های دودویی SAT دارند. برای مثال، یک فرمول SMT به ما امکان مدل‌سازی عملیات دیتاپد (مسیرداده) برای یک ریزپردازنده را در سطح کلمه (و نه سطح بیت) می‌دهد.
برای مقایسه، برنامه‌نویسی مجموعه جواب نیز براساس گزاره‌ها است (به صورت دقیق‌تر، بر اساس جمله‌های اتمی است که از فرمول‌های اتمی ساخته شده‌است). برخلاف SMT، برنامه‌های مجموعه جواب، «سور» ندارند، و نمی‌توانند محدودیت‌هایی مثل حساب خطی یا منطق تفاوت را به سادگی بیان کنند- ASP به عنوان بهترین راه‌حل برای مسائل دودویی هستند که به نظریه آزاد توابع تفسیرنشده کاهش یافته‌اند. پیاده‌سازی اعداد صحیح ۳۲ بیتی به عنوان آرایه‌بیتی در ASP از مسائل مشابهی رنج می‌برند که حل کننده‌های اولیه SMTها با آن مواجه بودند: برابری‌های «بدیهی» مثل "x"+"y"="y"+"x" به سختی قابل استنتاج هستند.
برنامه‌نویسی منطقی محدودیت از محدودیت‌های حسابی خطی پشتیبانی می‌کنند، اما آن‌ها در چارچوب نظری کاملاً متفاوتی قرار دارند. حل‌کننده‌های SMT برای حل فرمول‌هایی در منطق مرتبه بالاتر گسترش یافته‌اند.Barbosa, Haniel, et al. "Extending SMT solvers to higher-order logic." International Conference on Automated Deduction. Springer, Cham, 2019.
تلاش‌های اولیه برای حل نمونه‌های مسئله SMT شامل ترجمه آن‌ها به نمونه مسائل SAT دودویی بود (مثلاً یک متغیر صحیح ۳۲ بیتی توسط ۳۲ عدد متغیر تک بیتی با وزن‌های مناسب و عملیات سطح کلمه مثل «جمع» با عملیات منطقی سطح پایینی روی بیت‌ها جایگزین می‌شدند) سپس این فرمول به حل‌کننده SAT دودویی تحویل می‌شد. به این دیدگاه، دیدگاه هم می‌گویند، و دارای مزیت‌هایی هم هست: با پیش‌پردازش یک فرمول SMT به یک فرمول SAT دودویی معادل، حل‌کننده‌های SAT دودویی موجود را می‌توان به صورتی که هست استفاده کرد، در این روش، مزیت‌هایش از نظر کارایی و ظرفیت در طی زمان بیشتر می‌شود. از جهت دیگر، فقدان وجود معناشناسی سطح بالا برای نظریه‌های بنیادین، یعنی حل‌کننده دودویی SAT باید خیلی بیشتر از آنچه برای برای کشف واقعیت‌های «بدیهی» لازم است، کار کند (مثلاً formula_8 برای جمع اعداد صحیح). این مشاهده منجر به ایجاد تعدادی از حل کننده‌های SMT شد که به شدت «استنتاج دودویی یک جستجوی با سبک DPLL» را به «حل‌کننده‌های خاص نظریه (T-solvers) که به عطف‌های(ANDs) از گزاره‌ها از یک نظریه معین رسیدگی می‌کند»، یکپارچه‌سازی می‌کرد. به این دیدگاه، «دیدگاه کندرو» هم گفته می‌شود.
DPLL(T) دوبل (دوتایی) که این معماری یک «مسئولیت استنتاج بولی» به «حل‌کننده SAT مبتنی بر DPLL» می داد، که به نوبه خود با یک حل‌کننده برای نظریه T از طریق یک واسط خوش‌تعریف تعامل دارد. حل‌کننده نظریه فقط باید در مورد بررسی امکان عطف‌دهی به گزاره‌های نظریه ارسال‌شده به آن، از حل‌کننده SAT و در هنگام کاوش فضای جستجوی دودویی فرمول نگران باشد. برای آنکه این یکپارچه‌سازی به خوبی کار کند، حل‌کننده نظریه باید بتواند در تحلیل انتشار و تضاد مشارکت کند، یعنی باید بتواند واقعیت‌های جدیدی را از واقعیت‌های پیش از این بناشده، استنتاج کند، همچنین از «توضیحات مختصری از غیرممکن بودن» در موقع بروز تعارض‌های نظری پشتیبانی کند. به زبان دیگر، حل‌کننده نظریه باید افزایشی و پس‌گردی باشد.
بیشتر دیدگاه‌های SMT معمول از نظریات تصمیم‌پذیر پشتیبانی می‌کنند. با این حال بیشتر سامانه‌های جهان واقعی را فقط با کمک حساب غیرخطی روی اعداد حقیقی می‌توان مدل‌سازی کرد، که ممکن است توابع متعالی را هم درگیر کند، مثل یک هواپیما و رفتار آن. این واقعیت منجر به ایجاد انگیزه‌ای برای یک گسترش برای مسئله SMT به نظریه‌های غیرخطی شد، مثلاً تعیین آنکه آیا
صدق‌پذیر هست یا نه. سپس این مسائل به صورت کلی تصمیم‌ناپذیر می‌شوند. (نظریه ، و از این رو نظریه مرتبه اول از اعداد حقیقی، توسط حذف سور تصمیم‌پذیر هستند. این موضوع را مدیون آلفرد تارسکی هستیم) نظریه مرتبه اول اعداد طبیعی با جمع (اما بدون ضرب) نامیده می‌شود، که آن هم تصمیم‌پذیر است. به دلیل آنکه ضرب کردن با ثابت‌ها را می‌توان به صورت جمع‌های تودرتو پیاده‌سازی کرد، حساب در بسیاری از برنامه‌های رایانه‌ای قابل بیان به کمک حساب پرسبورگر است، که این موضوع منجر به فرمول‌های تصمیم‌پذیر می‌شود.
مثال‌هایی از حل کننده‌های SMT که می‌خواهند ترکیبات دودویی «اتم نظریه» از نظریات حسابی تصمیم‌ناپذیر روی اعداد حقیقی رسیدگی کنند، ABsolver نام دارند، که از یک معماری کلاسیک DPLL(T) با یک بسته بهینه‌سازی غیرخطی به عنوان حل‌کننده نظریه فرعی (به صورت لازم غیرکامل) استفاده می‌کنند، و iSAT که روی یک اتحاد حل‌کننده DPLL SAT و ساخته شده‌اند، که الگوریتم iSAT نامیده می‌شود.
جدول زیر بعضی از ویژگی‌های چند تا از حل کننده‌های SMT موجود را خلاصه‌بندی نموده‌است. ستون «SMT-LIB» نشان‌دهنده سازگاری با زبان SMT-LIB است؛ بیشتر سامانه‌هایی را که با 'yes' نشان‌گذاری کرده‌ایم، فقط از نسخه‌های قدیمی SMT-LIB پشتیبانی می‌کنند، یا اینکه فقط پشتیبانی جزئی از زبان دارند. ستون «CVC» نشان‌دهنده پشتیبانی از زبان CVC است. ستون «DIMACS» نشان‌دهنده پشتیبانی از قالب DIMACS است.
این پروژه‌ها نه فقط از نظر ویژگی و کارایی با هم فرق دارند، بلکه از نظر زیست‌پذیری انجمن اطراف شان، علاقه پیشرونده به پروژه و توانمندی مشارکت مستندات، تعمیرها، تست‌ها و ارتقا با هم تفاوت دارند.
تلاش‌های زیادی برای توصیف یک واسط استاندارد شده برای حل کننده SMT (و اثبات‌گر قضیه خودکار، که یک اصطلاح هم‌معنی است) وجود دارد. برجسته‌ترین آن‌ها استاندارد SMT-LIB است که یک زبان بر اساس تهیه دیده‌است. دیگر قالب‌های استاندارد شده که معمولاً پشتیبانی می‌شوند شامل قالب DIMACS است که توسط خیلی از حل‌کننده‌های SAT بولی پشتیبانی می‌شود، و قالب CVC که توسط اثبات‌گر قضیه خودکار CVC استفاده می‌شود.
قالب SMT-LIB همراه با تعدادی از محک‌زنی (benchmark) استاندارد آمده‌است، و این موضوع یک مسابقه سالانه بین حل‌کننده‌های SMT را امکان‌پذیر نموده‌است که به آن SMT-COMP گفته می‌شود. در ابتدا، مسابقه در همایش (CAV) قرار داشت، اما از سال ۲۰۲۰ مسابقه به عنوان بخشی از کارگاه SMT قرار گرفت، که به (IJCAR) وابسته بود.
حل‌کننده‌های SMT هم برای صحت، اثبات درستی برنامه‌ها، آزمون نرم‌افزار براساس اجرای نمادین، و نیز برای ، تولید قطعه‌های برنامه با جستجو روی فضای برنامه‌های ممکن مفید است. در خارج از حیطه درستی‌سنجی نرم‌افزار، از حل‌کننده SMT برای ،Hassan, Mostafa, et al. "Maxsmt-based type inference for python 3." International Conference on Computer Aided Verification. Springer, Cham, 2018.Loncaric, Calvin, et al. "A practical framework for type inference error explanation." ACM SIGPLAN Notices 51.10 (2016): 781-799. و نیز برای مدل‌سازی سناریوهای نظری، که شامل مدل‌سازی اعتقادات کنشگر در هسته‌ای است، استفاده شده‌است.
درستی‌یابی برنامه‌های رایانه‌ای به کمک رایانه معمولاً از حل کننده SMT استفاده می‌کنند. یک روش معمول ترجمه پیش‌شرط، پس‌شرط، شرط حلقه، و ادعاها به فرمول‌های SMT است، که هدف آن است که تعیین شود، آیا همه ویژگی‌ها برقرار است یا نه.
درستی‌سنج‌های زیادی روی ساخته شده‌است. Boogie یک زبان درستی‌سنجی سطح میانی است که از Z3 استفاده می‌کند تا به صورت خودکار برنامه‌های دستوری ساده را بررسی کند. درستی‌سنج VCC برای C همزمان از Boogie، و نیز از Dafny برای برنامه‌های مبتنی بر شیء دستوری استفاده می‌کند و از Chalice برای برنامه‌های همزمان استفاده می‌کند، و از Spec# برای C# استفاده می‌کند. زبان F* یک زبان نوع دار وابسته است که از Z3 برای یافتن اثبات استفاده می‌کند؛ کامپایلر این اثبات‌ها را حمل می‌کند تا بایت‌کد حامل اثبات را تولید کند. زیرساخت درستی‌سنجی Viper شرایط درستی‌سنجی را به Z3 کدبندی می‌کند. کتابخانه sbv درستی‌سنجی مبتنی بر SMT را برای برنامه‌های زبان Haskell تهیه می‌بیند، و به کاربر کمک می‌کند تا از بین تعدادی از حل‌کننده‌ها مثل Z3، ABC, Boolector, CVC4، MathSat، و Yices انتخاب انجام دهد.
درستی‌سنج‌های زیادی روی یک حل‌کننده SMT با نام Alt-Ergo ساخته شده‌اند. در ادامه فهرستی از کاربردهای به بلوغ رسیده آمده‌است:
بسیاری از حل‌کننده‌های SMT یک قالب واسط معمول که SMTLIB2 نامیده می‌شود را پیاده‌سازی می‌کنند (این فایل‌ها معمولاً پسوند ".smt2" دارند). ابزار LiquidHaskell یک درستی‌سنج مبتنی بر نوع اصلاحی برای Haskell را پیاده‌سازی می‌کند، که می‌تواند از هر حل‌کننده سازگار با SMTLIB2 (مثل CVC4، MathSat یا Z3) استفاده کند.
یک کاربرد مهم برای حل‌کننده SMT، اجرای نمادین برای تحلیل و آزمون برنامه‌ها است (مثل )، که مخصوصا در پیدا کردن آسیب‌پذیری‌های امنیتی کمک کننده است. ابزارهای مهمی که به صورت فعال نگهداری می‌شوند در این زمینه شامل SAGE، از مؤسسه تحقیقاتی مایکروسافت، KLEE, S2E و Triton است. حل‌کننده‌های SMT که مخصوصا در کاربردهای اجرای نمادین مفید است شامل Z3، STP, Z3str2، و Boolector است.
پخش صدای جواهر () یا پخش با صدای خود امپراتور پخش رادیویی تسلیم ژاپن توسط امپراتور ژاپن هیروهیتو (昭和 天皇، Shōwa-tennō) در ۱۵ اوت ۱۹۴۵ بود. این خبر به مردم مردمان ژاپنی اعلام کرد که دولت ژاپن اعلان پوتسدام را که خواستار تسلیم بدون قید و شرط ارتش ژاپن در پایان جنگ جهانی دوم است، پذیرفته‌است. به دنبال بمباران اتمی هیروشیما و ناکازاکی در ۶ اوت، تهاجم نظامی شوروی به منچوری و بمباران اتمی هیروشیما و ناگاساکی در ۹ اوت، در ظهر زمان استاندارد ژاپن در ۱۵ اوت ۱۹۴۵، سخنرانی امپراتور پخش شد و بمب‌های اتمی را دلیل تسلیم معرفی کرد. طبق این سخنرانی، هیروهیتو شرایط تسلیم شدن ژاپن را از طرف محاصره‌کنندگان برای پایان دادن به جنگ پذیرفت. امپراتور برای نابودی هیروشیما و ناگاساکی توسط بمب‌های اتمی آمریکا سوگواری کرد و از همه خواست که آرامش خود را حفظ کرده و به بازسازی کمک کنند.
بخاطر ترس از ایجاد درگیری توسط افسرانی که نمی‌خواستند تسلیم شوند، ضبط اعلام تسلیم امپراتور هیروهیتو سری و مخفیانه انجام گرفت و آن را نیمه شب با یونیفورم نظامی‌اش ایراد کرد و آن را دوبار جلوی میکروفن خواند.
پس از آن گروهی از افسران جوان که حاضر به تسلیم نبودند به قصد بدست آوردن صوت پیام تسلیم امپراتور به قصر امپراتور در طی حادثه کیوجو حمله کردند که عملیاتشان توسط گارد امپراتوری ناکام ماند و گارد قصر نوار را برای شبکه رادیویی ان‌اچ‌کی فرستادند که فردای آن روز پخش شد.
داستان دو روز آخر جنگ و بیانیه رادیویی تسلیم ژاپن در فیلمی با نام طولانی‌ترین روز ژاپن در سال ۱۹۶۷ ساخته شد.
درک صدای ضبط شده برای اکثر شنوندگان به علت استفاده امپراتور از زبان ژاپنی کلاسیک بسیار دشوار بود. به علاوه، امپراتور در سخنرانی خود صریحاً تسلیم را ذکر نکرد. برای جلوگیری از سردرگمی، بعد از پخش صدای ضبط شده بلافاصله با توضیح و روشن شدن اینکه ژاپن واقعاً بدون قید و شرط تسلیم متحدان می‌شود، سخنان امپراتور توسط گویندگان رادیو دنبال شد.
واکنش عمومی به سخنان امپراتور متنوع بود - بسیاری از ژاپنی‌ها به سادگی به آن گوش فرا دادند، سپس زندگی خود را به بهترین شکل ممکن ادامه دادند، در حالی که برخی از افسران ارتش و نیروی دریایی خودکشی را به جای تسلیم انتخاب کردند. جمعیت اندکی در مقابل کاخ امپراتوری توکیو جمع شده و گریه می‌کردند، اما همان‌طور که نویسنده جان داور خاطرنشان می‌کند، اشکهایی که ریخته شد انعکاس دهندهٔ بسیاری از احساسات بود … درد و رنج، حسرت، سوگ و عصبانیت از فریب خوردن، پوچی ناگهانی و از دست دادن هدف.
پایان جنگ جهانی دوم در آسیا در ۲ سپتامبر ۱۹۴۵، هنگامی که نیروهای مسلح امپراتوری ژاپن تسلیم متفقین جنگ جهانی دوم شدند، رخ داد. تسلیم تقریباً چهار ماه پس از تسلیم نیروهای محور در اروپا رخ داد و به جنگ جهانی دوم در آسیا پایان داد.
بخش شاخنات
بخشی در شهرستان بیرجند استان خراسان جنوبی ایران است.
https://irna.ir/amp/84325133/بخش_شاخنات_ایجاد_شد
مرکز : روستای گازار
الیوت آر. سوبر (متولد ۶ ژوئن ۱۹۴۸، بالتیمور) استاد فلسفه دانشگاه ویسکانسین - مدیسون است. سوبر به دلیل فعالیت در فلسفه زیست‌شناسی و فلسفه عمومی علم مشهور است.
او دکتری در رشته فلسفه از دانشگاه هارواردElliott Sober on Darwin and Intelligent Design تحت نظارت هیلاری پاتنم است. الیوت سوبر توانست به دلیل تلاش‌هایش در فلسفه علم در سال 1991 برنده جایزه لاکاتوش شود.
یکی از زمینه‌های اصلی پژوهشی سوبر موضوع سادگی یا امساک در ارزیابی نظریه تکاملی علم بوده‌است. سوبر همچنین به نوع دوستی علاقه دارد، هم به عنوان مفهومی که در زیست‌شناسی تکاملی به کار می‌رود و هم اینکه در ارتباط با روانشناسی انسان استفاده می‌شود.
سوبر منتقد برجسته طراحی هوشمند است. وی همچنین دربارهٔ شواهد و احتمالات، واقع گرایی علمی و ابزارگرایی، قوانین طبیعت، مسئله ذهن و بدن و طبیعت‌گرایی نوشته‌است.
کتاب سوبر با کتاب "ماهیت انتخاب: نظریه تکاملی در کانون فلسفه" (۱۹۸۴) در ایجاد فلسفه زیست‌شناسی به عنوان یک زمینه تحقیقاتی برجسته در فلسفه نقش اساسی داشته‌است. طبق دانشنامه فلسفه استنفورد، «"ماهیت انتخاب" … نقطه ای است که اکثر فیلسوفان را از فلسفه زیست‌شناسی آگاه کرده‌است». ، ارنست مایر زیست‌شناس در بررسی خود از این کتاب نوشت: «سوبر… به ما چیزی داده‌است که شاید دقیق‌ترین و نافذترین تحلیل مفهوم انتخاب طبیعی باشد همان‌طور که بر روند تکامل تأثیر می‌گذارد».Mayr, Ernst. "Paleobiology", Vol. 12, No. 2 (Spring, 1986), pp. 233–239
اصل امساک خوانشی از تیغ اوکام است که سوبر در کتاب "سادگی" (Simplicity) دربارهٔ آن نوشت. او در این کتاب استدلال کرد که سادگی یک فرضیه را باید بر اساس اطلاع بخش بودن آن نسبت به سؤال مربوطه فهمید. سوبر در ۱۹۸۰ وقتی به مفهوم امساک کلادیستیک (شاخه بندی جانوران) مورد استفاده در زیست‌شناسی تکاملی فکر می‌کرد این نظریه را رها کرد. این باعث شد بر حسب مفهوم درست نمایی به امساک فکر کند، ایده ای که در کتاب "بازسازی گذشته: امساک، تکامل و استنتاج" (چاپ ۱۹۸۸) توسعه داد. در ۱۹۹۰ به نقش امساک در نظریه انتخاب مدل فکر کرد- از جمله نقش آن در معیار اطلاعاتی آکائیکه. وی مجموعه مقالاتی را در این زمینه با مالکوم فورستر منتشر کرد که اولین آن‌ها، مقاله آن‌ها در سال ۱۹۹۴ با عنوان «از کجا می‌توان دانست وقتی تئوری‌های ساده تر، یکپارچه تر یا کمتر تک کاره، پیش بینی‌های دقیق تری ارائه می‌دهند» بود. تازه‌ترین کتاب او دربارهٔ امساک در سال ۲۰۱۵ با عنوان "تیغ اوکام- یک کتاب راهنما" منتشر شد که هم چهارچوب درست نمایی و هم چهارچوب‌های انتخاب مدل را به عنوان دو «الگوی ماندنی امساک» توصیف می‌کند.
کتاب "مسائل اصلی فلسفه" (Core Questions in Philosophy) از او توسط رضا یعقوبی ترجمه شده و از جانب نشر کرگدن در دست چاپ است.
ماجراهای افراطی سوپر دیو یک فیلم ویدئویی کمدی آمریکایی محصول سال ۲۰۰۰ به کارگردانی پیتر مک‌دونالد با بازی باب اینشتین در نقش سوپر دیو است.
عجب‌شیر روزنامه‌ای چاپ ایران با گسترهٔ توزیع سراسری و زمینهٔ اقتصادی و فرهنگی است. دفتر مرکزی این روزنامه در شهر تبریز قرار گرفته است. مجوز روزنامهٔ عجب‌شیر در تاریخ ۱۰ شهریور ۱۳۹۳ از سوی وزارت فرهنگ و ارشاد اسلامی ایران صادر شد. این روزنامه با امتیاز کیفی ۴۷ در سال ۱۴۰۰، بالاترین امتیاز را در بین روزنامه‌های استان آذربایجان شرقی به خود اختصاص داد.
روزنامهٔ عجب‌شیر با دریافت ۲۱۱ میلیون و ۸۹۰ هزار تومان از آگهی‌های دولتی در سال ۱۳۹۸، رتبهٔ دوم را در این زمینه در بین روزنامه‌های استان آذربایجان شرقی به خود اختصاص داد.
مصاحبهٔ «حلقهٔ گمشدهٔ شورای چهارم» روزنامهٔ عجب‌شیر، مقام سوم بخش مصاحبه را در «سومین جشنوارهٔ مطبوعات، خبرگزاری‌ها و پایگاه‌های خبری آذربایجان شرقی» در سال ۱۳۹۵ کسب کرد.
هرشاد شانتیلال مهتا یک کارگزار سهام هند بود. مشارکت مهتا در کلاهبرداری اوراق بهادار هند در سال ۱۹۹۲، وی را به عنوان یک عامل دستکاری در بازار بدنام کرد. اگرچه، طبق گزارش "تایمز اقتصادی"، برخی از کارشناسان مالی معتقدند که هرشاد مهتا هیچگونه کلاهبرداری را مرتکب نشده‌است، وی «فقط از حفره‌های موجود در سیستم مالی سوءاستفاده کرده‌است». او، تا قبل از مرگ (با حمله قلبی ناگهانی) در سن ۴۷ سالگی در سال ۲۰۰۱، از ۲۷ اتهام کیفری علیه خود، فقط به چهار مورد محکوم شد. ادعا شده بود که مهتا درگیر یک طرح گسترده دستکاری در سهام با بودجه‌ای است که از طریق رسیدهای بانکی بی‌ارزش تأمین می‌شده‌است و شرکت او برای معاملات «آماده آتی» بین بانک‌ها واسطه شده‌است. مهتا توسط دادگاه عالی بمبئی و دیوان عالی هند به نوبه خود در یک رسوایی مالی به ارزش صد میلیارد روپیه که در بورس سهام بمبئی (BSE) صورت گرفت محکوم شد. این رسوایی حفره‌های موجود در سیستم بانکی هند و سیستم معاملات بورس سهام بمبئی (BSE) را آشکار کرد و به تبع آن SEBI قوانین جدیدی را برای پوشش این حفره‌ها وضع کرد. وی ۹ سال تحت محاکمه بود تا اینکه در پایان سال ۲۰۰۱ درگذشت.
هرشاد شانتیلال مهتا در ۲۹ ژوئیه ۱۹۵۴، در پانلی موتی، منطقه راجکوت، در یک خانواده گجراتی جائین متولد شد. دوران کودکی او در بوریوالی سپری شد، جایی که پدرش یک تاجر نساجی کوچک بود.
او تحصیلات اولیه خود را در مدرسه دولتی جانتا، کمپ ۲ بیهلای انجام داد. مهتا که از علاقه‌مندان به کریکت بود، در مدرسه دستاورد خاصی نشان نداد و پس از تحصیلات برای ادامه تحصیل و یافتن کار به بمبئی آمد. مهتا کارشناسی بازرگانی خود را در سال ۱۹۷۶ از کالج لالا لاجپاترائی، بمبئی به اتمام رساند و برای هشت سال بعد از فارغ‌التحصیلی در چندین شغل عجیب کار کرد.
رایمن هلت‌کر () شرکت مراقبت سلامت نیوزیلندی است، که در سال ۱۹۸۴ تأسیس شد.
راکون کورپوریشن () شرکت الکترونیک نیوزیلندی است، که در سال ۱۹۶۷ تأسیس شد.
مایکل هیل () شرکت خرده‌فروشی استرالیایی است، که در سال ۱۹۷۹ تأسیس شد.
محک در رایانش، به معنی اجرای یک برنامه رایانه‌ای، یا مجموعه‌ای از برنامه‌ها، یا عملیات دیگر برای «ارزیابی کارایی نسبی یک شیء» است، که این عملیات به صورت نرمال توسط «اجرای تعدادی و آزمایش» دربرابر آن شیء انجام می‌شود. معمولاً از اصطلاح محک یا benchmark برای اشاره به «برنامه‌های محک‌زنی استادانه طراحی‌شده» هم استفاده می‌شود.
مرکوری انرژی () شرکت برق نیوزیلندی است، که در سال ۱۹۹۹ تأسیس شد.
کرایست‌چرچ سیتی هلدینگ () شرکت سرمایه‌گذاری نیوزیلندی است، که در سال ۲۰۰۰ تأسیس شد.
فریتز اشتوکلی (؛ ۱۵ مه ۱۹۱۶ – دسامبر ۱۹۶۸) کشتی‌گیر و ورزشکار بابسلد اهل سوئیس بود.
سالید انرژی () شرکت معدن نیوزیلندی است، که در سال ۱۹۸۷ تأسیس شد.
نیوزیلند پست () شرکت دولتی پست نیوزیلندی است، که در سال ۱۹۸۷ تأسیس شد.
میمون شاه معروف به امپراتوری گمشده یک مینی‌سریال تلویزیونی آمریکایی محصول سال ۲۰۰۱ به کارگردانی پیتر مک‌دونالد Lost Empiece: 133 minutes که توسط ان‌بی‌سی و کانال سای‌فای تولید شده‌است. این برداشتی معاصر از رمان کلاسیک قرن شانزدهم "سفر به غرب" است. در این فیلم بایی لینگ، توماس گیبسون، راسل وونگ، ادی مارسن و رندل دوک کیم به ایفای نقش پرداخته‌اند. فیلمنامه این فیلم توسط دیوید هنری هوانگ، نمایشنامه نویس برجسته آمریکایی - آسیایی نوشته شده‌است."
مت‌سرویس () شرکت دولتی مراقبت سلامت نیوزیلندی است، که در سال ۱۹۹۲ تأسیس شد.
مریدیان () شرکت دولتی برق نیوزیلندی است، که در سال ۱۹۹۸ تأسیس شد.
شرکت راه‌آهن () به شخصیت حقوقی اطلاق می‌شود، که مسیر ریلی یا قطارها را مدیریت و اداره می‌کند. چنین شرکتی می‌تواند خصوصی یا دولتی باشد. برخی از شرکت‌های راه‌آهن نیز هر دو فرایند را با هم انجام می‌دهند، یعنی هم قطار و هم مسیر را مدیریت می‌کنند، در حالی که به ویژه در اتحادیه اروپا، مالکیت بهره‌برداری از قطار و راه‌آهن در شرکت‌های مختلف انجام می‌گیرد.
ارتباطات سازمانی () در مطالعات ارتباطی، زمینه‌ای برای تحقیق است که بر ارتباطات و جریان اطلاعات درون سازمان‌ها متمرکز می‌باشد. جریان برقراری ارتباط سازمانی میان اعضا، افراد و نیز سازمان‌ها، می‌تواند بصورت رسمی یا غیررسمی انجام گیرد.
هلیفکس بنک () شرکت خدمات مالی و بانکداری بریتانیایی است، که در سال ۱۸۵۳ تأسیس شد.
آی‌بی‌کیو () شرکت خدمات مالی و بانکداری قطری است، که در سال ۱۹۵۶ تأسیس شد.
سویچ بنک () شرکت خدمات مالی بریتانیایی است، که در سال ۱۹۸۸ تأسیس شد.
سی‌بی‌کیو () شرکت خدمات مالی و بانکداری قطری است، که در سال ۱۹۷۵ تأسیس شد.
بانک الاهلی قطر () شرکت خدمات مالی و بانکداری قطری است، که در سال ۱۹۸۳ تأسیس شد.
بانک توسعه قطر () شرکت خدمات مالی و بانکداری قطری است، که در سال ۱۹۹۷ تأسیس شد.
زنان در فیزیک فهرستی از زنان فیزیک‌دان است که نقش مهمی در تکوین و پیشرفت علم فیزیک داشته‌اند. پژوهش‌ها یا اقدامات این زنان، مشارکت‌های ارزنده و مهمی محسوب می‌شوند.
هان سو-هی (؛ زادهٔ لی سو-هی در ۱۸ نوامبر ۱۹۹۴) بازیگر و مدل اهل کره جنوبی است. از مجموعه‌های تلویزیونی که وی در آن نقش داشته می‌توان به "شاهزاده صد روزه من" (۲۰۱۸)، "ابیس" (۲۰۱۹)، "دنیای متأهلی" (۲۰۲۰)، "با وجود اینکه می‌دانم" (۲۰۲۱)، "نام من" (۲۰۲۱) و "موسیقی متن شماره ۱" (۲۰۲۲) اشاره کرد.
هان با نام لی سو-هی () در ۱۸ نوامبر ۱۹۹۴ در اولسان، کره جنوبی متولد شد. او در دبیرستان دخترانهٔ اولسان و نیز هنرستان اولسان تحصیل کرده‌است.
شبکه مقابله با جرائم مالی (به انگلیسی: Financial Crimes Enforcement Network (FinCEN)) یک سازمان متعلق به وزارت خزانه‌داری ایالات متحده آمریکا است که وظیفه جمع آوری و بررسی اطلاعات مرتبط به معاملات مالی به منظور مبارزه با پولشویی، تأمین مالی تروریسم و دیگر جرائم مالی در داخل و خارج از آمریکا را بر عهده دارد.
رئیس شبکه مقابله با جرائم مالی در نوامبر ۲۰۱۳ مأموریت خود را "حفاظت از معاملات مالی در برابر استفاده غیرقانونی، مبارزه با پولشویی و ارتقا امنیت ملی عنوان کرد."
این شبکه‌ای است که از طریق هماهنگی برای به اشتراک گذاشتن اطلاعات با سازمان‌های اجرایی، نهادهای نظارتی و سایر سازمان‌های مالی، اطلاعات افراد را به هم نزدیک می‌کند.
انترپرایز یا یو.اس.اس انترپرایز (که اغلب به آن ستاره‌پیمای انترپرایز گفته می شود) نام چندین فضاپیمای تخیلی است که برخی از آنها، فضاپیمای اصلی در مجموعه های تلویزیونی و فیلم های علمی-تخیلی مختلف از پیشتازان فضا هستند.
در شاخه ریاضیاتی هندسه دیفرانسیل، شار ریچی (، )، که برخی مواقع به آن شار ریچی همیلتون نیز گفته می‌شود، نوعی معادلات دیفرانسیل با مشتقات جزئی (PDE) برای متریک ریمانی است. اغلب گفته می‌شود که شار ریچی، به دلیل شباهت‌های صوری در ساختار ریاضیاتی معادله اش، مشابه با انتشار گرما و معادله گرما است؛ با این حال شار ریچی پدیده‌های بسیاری را از خود بروز می‌دهد که در مطالعه معادله گرما دیده نمی‌شوند. همچنین نتایج متعددی از شار ریچی، برای شار انحنای میانگین ابررویه‌ها نیز نشان داده شده‌است.
شار ریچی، که نامگذاری اش به دلیل حضور تنسور ریچی در تعریفش می‌باشد، اولین بار توسط ریچارد اس. همیلتون معرفی شد که از آن، جهت اثبات یک قضیه کره سه بعدی بهره جست (). همیلتون براساس پیشنهاد شینگ تونگ یائو مبنی بر این که جواب‌های تکین شار ریچی را می‌توان به کمک داده‌های توپولوژیکی پیش‌بینی شده در حدس هندسی سازی ویلیام ثرستن شناسایی نمود، نتایجی را در دهه ۱۹۹۰ میلادی تولید کرد که سمت و سویش در جهت حل آن بود. گریگوری پرلمان در ۲۰۰۲ و ۲۰۰۳ میلادی، نتایج جدیدی در مورد شار ریچی ارائه نمود که شامل گونه نوینی از برخی جنبه‌های فنی روش همیلتون بود (، ). او در سال ۲۰۰۶ به دلیل مشارکت‌هایش در شار ریچی، مدال فیلدز را برنده شد که از قبول آن امتناع نمود.
اکنون کارهای همیلتون و پرلمن به‌طور گسترده به عنوان اثباتی برای حدس ثرستن در نظر گرفته شده و شامل حالت خاصی از حدس پوانکاره می‌باشد که از ۱۹۰۴ میلادی یک مسئله باز در زمینه توپولوژی هندسی به‌شمار می‌رود. با این حال، بسیاری از روش‌های پرلمن وابسته به برخی از نتایج به شدت تکنیکی از زیرشاخه‌های به ظاهر بی ارتباط هندسه دیفرانسیل است، چنان‌که اثبات کامل حدس ثرستن تنها توسط تعداد بسیار معدودی از ریاضی‌دانان درک شده‌است. اثبات حدس پوانکاره، به دلیل میانبرهای استدلالی حاصل از کارهای پرلمان، توبیاس کولدینگ و ویلیام مینیکوزی، به‌طور وسیع تری شناخته شده‌است (، ). از این حدس به عنوان یکی از موفقیت‌های عمده در شاخه ریاضیاتی آنالیز هندسی یاد می‌شود.
بعدها سیمون برندل و ریچارد شون، قضیه کره همیلتون را به ابعاد بالاتر توسعه دادند و با این کار حدس کره دیفرانسیل‌پذیر را که به مدت بیش از پنجاه سال لاینحل باقی مانده بود را به عنوان حالت خاصی از هندسه ریمانی اثبات نمودند ().
متریک ریمانی formula_1 روی منیفلد هموار formula_2، به‌طور خودکار تنسور ریچی formula_3 را تعیین می‌کند. برای هر عنصر formula_4 از formula_2، formula_6 براساس تعریف، ضرب داخلی مثبت-معینی روی formula_7 است؛ اگر خانواده تک-پارامتری از متریک ریمان formula_8 داده شده باشد، می‌توان مشتق formula_9 را در مقدار به‌خصوصی از formula_10 یافت، بدین ترتیب به هر نقطه formula_4، فرم دوخطی متقارنی روی formula_7 نسبت داده می‌شود. از آنجا که تنسور ریچی یک متریک ریمانی نیز به هر نقطه formula_4، یک فرم دو-خطی متقارن روی formula_7 نسبت می‌دهد، تعریف زیر معنادار خواهد بود:
تنسور ریچی را اغلب به عنوان مقدار میانگین انحناهای مقطعی، یا تریس (اثر) تنسور انحنای ریمانی در نظر می‌گیرند. با این حال، برای تحلیل شار ریچی، تعریف پذیر بودن تنسور ریچی در مختصات موضعی، توسط فرمول جبری که با مشتقات اول و دوم تنسور متریک درگیر است، از اهمیت بسیاری برخوردار می‌باشد. کارکتر خاص این فرمول، بنیان وجود شار ریچی را فراهم می‌آورد.
فرض کنید formula_21 یک عدد ناصفر باشد. اگر formula_8 شار ریچی دلخواهی روی بازه باز formula_16 باشد، formula_24 را برای formula_10 بین formula_26 و formula_27 در نظر بگیرید. آنگاه:
مقالاتی که مخاطبان عام ریاضیاتی دارند.
مقالات تحقیقاتی.
دانشگاه کازیمیراس سیموناویچیوس () یک دانشگاه خصوصی در شهر ویلنیوس در لیتوانی است. آموزش در این دانشگاه در سال ۲۰۰۴ آغاز شد و در سال ۲۰۱۲ به افتخار کازیمیرز سیمینوویچ ، یک مهندس جنگی و متخصص توپخانه و پیشگام راکت ، نام خود را تغییر داد.
زنان در زمین‌شناسی فهرستی از زنان زمین‌شناس است که نقش مهمی در تکوین و پیشرفت علم زمین‌شناسی داشته‌اند. پژوهش‌ها یا اقدامات این زنان، مشارکت‌های ارزنده و مهمی می‌شوند.
مدرسه هنر کاوناس () یک مدرسه هنر همگانی در شهر کاوناس در لیتوانی بود که از سال ۱۹۲۲ تا ۱۹۴۰ فعالیت می‌کرد. در آن زمان، این مکان تنها مدرسه هنر مشغول فعالیت در لیتوانی بود.
«قدرت تو» () ترانه‌ای از خوانندهٔ آمریکایی بیلی آیلیش است. این ترانه در ۲۹ آوریل ۲۰۲۱ توسط دارک‌روم و اینترسکوپ رکوردز به عنوان سومین تک‌آهنگ از دومین آلبوم استودیویی آیلیش، "خوشحال‌تر از همیشه" (۲۰۲۱) منتشر شد. این ترانه به دست آیلیش و برادرش فینیاس اوکانل نوشته شده و فینیاس تهیه کنندگی آهنگ را بر عهده داشته است.
آمریکایی‌های روس‌تبار () آمریکایی‌هایی هستند که تمام یا پاره‌ای از اصالتشان به مردم روس می‌رسد. این اصطلاح می‌تواند برای مهاجران اخیر روس و همچنین برای آن‌هایی که در قرن نوزدهم در متصرفات روسیه در شمال غربی آمریکا ساکن شدند، استفاده شود.
بانک لیتوانی (به لاتین: Bank of Lithuania) یک بانک مرکزی در لیتوانی است.بانک لیتوانی بخشی از نظام اروپایی بانک‌های مرکزی است.تا سال ۲۰۱۵ این بانک مسئولیت صادر کردن پول رایج پیشین لیتوانی ، یعنی لیتاس را بر عهده داشت.
بلیوو (به انگلیسی: Bellevue) یک روستا در ایالات متحده آمریکا است که در شهرستان ایتون، میشیگان واقع شده‌است. بلیوو ۲٫۸۳ کیلومتر مربع مساحت و ۱٬۲۸۲ نفر جمعیت دارد و ۲۶۳ متر بالاتر از سطح دریا واقع شده‌است.
شهرک دامشهر، شهرکی است از توابع بخش مرکزی شهرستان جعفرآباد در استان قم ایران. بزرگترین میدان دام مرکز کشور نیز در شهرک دامشهر واقع شده است
علی امینی در تاریخ ۱۵ اردیبهشت ۱۳۴۰ با جانشینی جعفر شریف‌امامی با حکمی به عنوان نخست‌وزیر ایران منصوب شد. کابینه وی در ۱۹ اردیبهشت ۱۳۴۰ به تصویب رسید.
گرچه امینی را «اشرافی ماورا» و «بسیار مستقل از کنترل شخصی سلطنت» می‌دانستند، انتصاب وزرای امور خارجه، جنگ، کشور به دستور شاه انجام شد. هر سه نمونه کارها به علاوه وزارت کشاورزی در دولت بعدی تحت اسدالله علم بدون تغییر باقی ماندند.
از همه بحث برانگیزتر، امینی سه وزارتخانه را به «اصلاح طلبان طبقه متوسط که در گذشته از نفوذ سیاسی شاه و همچنین اقدامات فاسدانه خانواده‌های دارای سرزمین انتقاد کرده بودند» داد. این سه وزارتخانه وزارتخانه‌های دادگستری، کشاورزی و آموزش و پرورش بودند. نورالدین الموتی، عضو سابق حزب توده که بعداً وارد حلقه نزدیک احمد قوام شد، به عنوان وزیر دادگستری منصوب شد در حالی که وزارت کشاورزی به حسن ارسنجانی رفت که یک رادیکال و یکی دیگر از محافظان قوام بود. محمد درخشش که به عنوان رهبر اتحادیه صنفی معلمان حمایت می‌کرد هم از طرف حزب توده و هم از جبهه ملی حمایت می‌کرد، وزیر آموزش شد. علاوه بر این، وی غلامعلی فریور را به عنوان وزیر صنعت در کابینه خود گنجاند، که رهبر سابق حزب ایران (حزب وابسته به جبهه ملی) بود.
از اعضای کابینه دولیت علی امینی می‌توان به حسین قدس نخعی، غلامعلی فریور، غلام‌عباس آرام و حسن ارسنجانی اشاره کرد.
"رئوس مطالب زیر مروری بر، و راهنمای موضوعی برای پادشاهی نروژ است."
نروژ یک کشور دارای پادشاهی مشروطه مستقل است که اساساً در قسمت غربی اسکاندیناوی در شمال اروپا واقع شده‌است. این کشور مرزهای زمینی با سوئد، فنلاند و روسیه دارد، در حالی که انگلستان و جزایر فارو در غرب آن از طریق دریای شمال و دانمارک از جنوب آن از طریق تنگه اسکاگرک واقع شده‌اند. خط ساحلی طولانی و یخبندان اقیانوس اطلس این کشور به وسیلهآبدرهها عمیقاً فرورفته است و به‌طور ناگهانی به فلات‌های بلند می‌رسد.
نروژ همچنین شامل سرزمین‌های جزیره شمالگان سوالبار و یان ماین است. حاکمیت نروژ بر سوالبار براساس معاهده اسپیتسبرگن است، اما این معاهده در مورد جان ماین اعمال نمی‌شود. جزیره بووه در اقیانوس اطلس جنوبی و جزیره پیتر اول و سرزمین شهبانو ماود در قطب جنوب قلمروی وابسته خارجی نروژ هستند، اما این سه موجودیت بخشی از پادشاهی نیستند.
از زمان جنگ جهانی دوم، نروژ رشد سریع اقتصادی را تجربه کرده‌است و اکنون در زمره ثروتمندترین کشورهای جهان قرار دارد.List of countries by GDP (nominal) per capitaList of countries by GDP (PPP) per capitaList of countries by current account balance نروژ پس از روسیه و عربستان سعودی سومین صادر کننده نفت جهان است و صنعت نفت حدود یک چهارم تولید ناخالص داخلی آن را تشکیل می‌دهد.UPDATE 1-Statistics Norway raises '07 GDP outlook, cuts '08 این کشور همچنین دارای منابع غنی از میدان‌های گازی، برق آبی، ماهی، جنگل‌ها و مواد معدنی است. نروژ در سال ۲۰۰۶ دومین صادر کننده غذای دریایی بود (از نظر ارزش، بعد از چین). سایر صنایع اصلی شامل فرآوری مواد غذایی، کشتی سازی، فلزات، مواد شیمیایی، معدن و محصولات کاغذی است. نروژ دارای یک سیستم رفاهی اسکاندیناوی و بیشترین سرانه ذخیره سرانه از هر کشور است.
نروژ در سالهای ۲۰۰۱ تا ۲۰۰۶ در بالاترین سطح توسعه انسانی در بین همه کشورها قرار داشت و در سال ۲۰۰۷ (نسبت به کشور اسکاندیناوی ایسلند) دوم شد.Human Development Index. Note that although Norway and Iceland's scores are the same to three decimal places, Iceland ranks higher when the decimal is expanded. این کشور همچنین در سال ۲۰۰۷ در یک نظرسنجی توسط شاخص جهانی صلح، صلح آمیزترین کشور جهان ارزیابی شد. نروژ یکی از اعضا مؤسس ناتو است.
جغرافیای نروژ
منطقه‌های نروژ
لیست مناطق طبیعی در نروژ
بخشهای اداری نروژ
استانهای نروژ
مناطق نروژ
شهرداری‌های نروژ
جمعیت‌شناسی نروژ
سیاست در نروژ
دولت نروژ
سیستم دادگاه نروژ
روابط خارجی نروژ
پادشاهی نروژ عضو این سازمان هاست:
قانون در نروژ
نیروهای مسلح نروژ
دولت محلی در نروژ
تاریخ نروژ
فرهنگ نروژی
اقتصاد نروژ
تحصیل در نروژ