stanford-oval/wikipedia huggingface dataset:
مسئله زیبای خفته

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

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

تحلیل‌ها و پاسخ‌های مختلفی برای این مسئله وجود دارد.
پاسخ‌های مسئله > تحلیل پاسخ یک دوم

یکی از پاسخ‌های احتمالی  {\frac {1}{2}}است. با توجه به سالم بودن سکه، مسلماً فرد قبل از این که به خواب برود احتمال  {\frac {1}{2}} را به شیر آمدن سکه نسبت می‌دهد. حال هنگامی که فرد بیدار شده و با او مصاحبه می‌شود، هیچ اطلاعات جدیدی به دست نمی‌آورد، چرا که از قبل می‌دانست که تحت هر شرایطی حداقل یک بار بیدار شده و با او مصاحبه می‌شود. در نتیجه جواب او نباید با قبل تفاوتی داشته باشد و همچنان باید احتمال  {\frac {1}{2}}را به شیر آمدن سکه نسبت دهد.
پاسخ‌های مسئله > تحلیل پاسخ یک سوم

یکی دیگر از پاسخ‌های مسئله  {\frac {1}{3}}است. استدلال لازم برای این جواب این است که تعداد مصاحبه‌ها با فرد زمانی که سکه خط بیاید ۲ برابر زمانی است که شیر بیاید. اثبات دقیق برای این جواب به این صورت است:
P(Monday)و  P(Tuesday)به ترتیب احتمال بیدار بودن فرد در روز دوشنبه و سه شنبه و هم چنین  P(head) و  P(tail)به ترتیب احتمال شیر و خط آمدن سکه می‌باشند.
اگر سکه خط بیاید احتمال این که فرد در روز دوشنبه بیدار شده باشد با احتمال این که در روز سه شنبه بیدار شده باشد یکسان است. در نتیجه:
P(Monday|tail)=P(Tuesday|tail)
پس با توجه به تعریف احتمال شرطی ( P(A|B)={\frac {P(A\cap B)}{P(B)}}) می‌توان نتیجه گرفت:
P(Monday\cap tail)=P(Tuesday\cap tail)
همچنین از آنجایی که خط آمدن سکه تنها روی روز ۳ شنبه تأثیر می‌گذارد، می‌توان نتیجه گرفت:
P(tail|Monday)=P(head|Monday)
P(Monday\cap tail)=P(Monday\cap head)
و در نتیجه:
P(Monday\cap head)=P(Monday\cap tail)=P(Tuesday\cap tail)
پس از آن جایی که داریم  P(Monday\cap head)+P(Monday\cap tail)+P(Tuesday\cap tail)=1، می‌توان به دست آورد:
P(Monday\cap head)={\frac {1}{3}}
این به این معنی است که فرد پس از بیدار شدن باید احتمال  {\frac {1}{3}}را به شیر آمدن سکه نسبت دهد.[نیازمند منبع]
استدلالی برای رد کردن پاسخ یک دوم

روشی دیگر برای بررسی این مسئله حالت بندی روی روز مصاحبه است، یعنی در نظر بگیریم در صورتی که فرد بداند در چه روزی قرار دارد پاسخ او چه تغییری می‌کند.
ابتدا فرض کنید فرد بداند که مصاحبه در روز ۲ شنبه در حال انجام است. در این صورت چون در هر ۲ حالت شیر و خط آمدن سکه حتماً در روز دوشنبه با فرد مصاحبه می‌شود، فرد باید یه شیر یا خط آمدن سکه احتمال یکسان نسبت دهد. پس اگر  P(Monday)احتمال انجام مصاحبه در روز دوشنبه و  P(head)احتمال شیر آمدن باشد، در این صورت:
P(head|Monday)={\frac {1}{2}}
حال فرض کنید که فرد بداند که روز مصاحبه سه شنبه است. با توجه به این که اگر سکه شیر بیاید مصاحبه‌ای در روز سه‌شنبه انجام نمی‌شود، احتمال شیر آمدن سکه در این حالت صفر است. پس اگر  P(Tuesday)احتمال انجام مصاحبه در روز سه شنبه باشد، در این صورت  P(head|Tuesday)=0.
با توجه به قانون احتمال کل داریم:
{\begin{alignedat}{2}P(head)&=P(Monday)P(head|Monday)+P(Tuesday)P(head|Tuesday)\\&=P(Monday)({\frac {1}{2}})+P(Tuesday)(0)\\&=P(Monday)({\frac {1}{2}})\end{alignedat}}
حال چون در هر صورت گاهی مصاحبه در روز سه شنبه صورت می‌گیرد، پس  P(Tuesday)>0، در نتیجه:
P(Monday)=1-P(Tuesday)<1
پس برای احتمال شیر آمدن سکه به دست می‌آید:
P(head)=({\frac {1}{2}})P(Monday)<{\frac {1}{2}}
این استدلال واضحاً نشان می‌دهد که پاسخ  {\frac {1}{2}}نمی‌تواند پاسخ درستی برای این مسئله باشد.
آکیکو کوموتو

| آکیکو کوموتو | آکیکو کوموتو |
| --- | --- |
河本 明子: 河本 明子
زادهٔ: ۴ فوریهٔ ۱۹۶۹ ‏(۵۵ سال) توکیو
ملیت: ژاپن
پیشه: صداپیشگی در ژاپن
نماینده: Arts Vision
آکیکو کوموتو (انگلیسی: Akiko Kōmoto؛ زادهٔ ۴ فوریهٔ ۱۹۶۹) صداپیشه اهل ژاپن است.
آزداوای

| آزداوای | آزداوای |
| --- | --- |
منطقه: منطقه
موقعیت آزداوای در نقشه: موقعیت آزداوای در نقشه
آزداوایLocation of Azdavay: آزداوایLocation of Azdavay
مختصات: ۴۱°۳۹′ شمالی ۳۳°۱۸′ شرقی﻿ / ﻿۴۱٫۶۵۰°شمالی ۳۳٫۳۰۰°شرقی﻿ / 41.650; 33.300: مختصات: ۴۱°۳۹′ شمالی ۳۳°۱۸′ شرقی﻿ / ﻿۴۱٫۶۵۰°شمالی ۳۳٫۳۰۰°شرقی﻿ / 41.650; 33.300
کشور:  ترکیه
ناحیه‌های ترکیه: Black Sea
استان: Kastamonu
حکومت: حکومت
 • شهردار: Osman Nuri Civelek (حزب عدالت و توسعه)
مساحت: مساحت
 • منطقه: ۷۷۲٫۰۳ کیلومتر مربع (۲۹۸٫۰۸ مایل مربع)
ارتفاع: ۹۲۸ متر (۳۰۴۵ فوت)
جمعیت (2012): جمعیت (2012)
 • شهری: ۲٬۷۵۷
 • منطقه: ۷٬۲۷۲
 • تراکم منطقه: ۹٫۴/کیلومتر مربع (۲۴/مایل مربع)
منطقهٔ زمانی: یوتی‌سی +۲ (زمان اروپای شرقی)
 • تابستانی (DST): یوتی‌سی +۳ (ساعت تابستانی اروپای شرقی)
کد پستی: 37xxx
کد منطقه: ۳۶۶
پلاک وسایل نقلیه ترکیه: ۳۷
سامانه طبقه‌بندی اقلیمی کوپن: اقلیم اقیانوسی
وبگاه: azdavay.com www.azdavay.bel.tr
آزداوای (به ترکی استانبولی: Azdavay) یک منطقهٔ مسکونی در ترکیه است که در استان قسطمونی واقع شده‌است. آزداوای ۹۲۸ متر بالاتر از سطح دریا واقع شده‌است.
پردازنده برداری

یک پَردازنده بُرداری، یا آرایه‌پرداز، رایانهٔ خاصی است با چند پردازنده برای پردازش موازی تعداد زیادی از آرایه‌ها.
آرایه‌پرداز در واقع یک واحد پردازش مرکزی (CPU) می‌باشد که یک مجموعه دستورالعمل‌هایی را اجرا می‌کند که روی آرایه تک بعدی از داده، که همان بردار است، عمل می‌کند. این درست مقابل پردازنده‌های عددی قرار می‌گیرد که دستورالعمل‌های آن صرفاً روی یک تکه داده عمل می‌کند. اکثر پردازنده‌ها، پردازنده‌های عددی می‌باشند.
پردازنده‌های برداری در دهه ۱۹۷۰ مورد بحث واقع شدند و پایه و اساس اکثر ابررایانه‌های دهه ۱۹۸۰ تا ۱۹۹۰ را تشکیل دادند. پیشرفتهای پردازنده‌های عددی، مخصوصاً ریزپردازنده‌ها، باعث کاهش به کار گیری پردازنه‌های برداری سنتی در ابررایانه‌ها و همچنین کاهش استفاده از تکنیک‌های پردازش برداری در پردازنده‌ها در اوایل دهه ۱۹۹۰ شد. امروزه اکثر پردازنده‌ها از یک معماری استفاده می‌کنند که در آن دستورالعمل‌هایی برای پردازش برداری روی چندین تکه داده، را به‌طور برجسته نشان می‌دهد. این دستورالعمل‌ها را
SIMD
(تک دستور، چند داده) می‌شناسند. از مثال‌های مشهود اینگونه دستورالعمل‌ها می‌توان به MMX,
SSE و
AltiVec
اشاره کرد. نمونه‌هایی از استفاده از تکنیک پردازش برداری را می‌توان در کنسول‌های بازی و شتاب دهنده گرافیکی نیز پیدا کرد. در سال ۲۰۰۰، IBM، توشیبا و سونی با همکاری هم موفق به تولید یک پردازنده سلولی (نوعی ریزپردازنده) شدند، این پردازنه سلولی شامل یک پردازنده عددی و هشت پردازنده برداری بود که در پلی استیشن ۳ مورد استفاده قرار گرفت.
در برخی از طراحی‌های پردازنده‌ها، دستورالعمل‌های چندگانه روی چندین تکه داده عمل می‌کنند که آن‌ها را به عنوان MIMD (چند دستوره، چند داده) می‌شناسیم. اینگونه طراحی‌ها مختص کاربردهای ویژه هستند و به‌طور عادی برای استفاده‌های متداول کاربرد ندارند.
تاریخچه

پردازش برداری اولین بار در اوایل دهه ۱۹۶۰ توسط وستینگهاوس، در پروژه Solomon مورد توجه قرار گرفت و توسعه یافت. هدف این پروژه افزایش چشمگیر سرعت محاسبات ریاضی، با استفاده همزمان از تعداد زیادی عملیات ساده ریاضی، زیر نظر یک پردازنده بود. به این صورت که پردازنده در هر کلاک یک سیگنال مشترکی را برای تمامی واحدهای محاسبه و منطق (ALUها) می‌فرستاد. در حالی که هر یک از این واحدهای محاسبه ورودی‌های مجزایی داشتند، یک کار مشترک روی آن ورودی‌ها انجام می‌دادند. این روش به ماشین‌های Solomon این قابلیت را می‌داد که یک الگوریتم را روی انبوهی از داده‌ها (که از آرایه‌ها تغذیه می‌شدند) اجرا نماید.


در سال ۱۹۶۲، وستینگهاوس پروژه را لغو کرد ولی دوباره در دانشگاه ایلینوی تحت عنوان ILLIAC IV از سر گرفته شد. در طراحی ابتدایی آن، این ماشین به ۲۵۶ واحد محاسبه و منطق مجهز بود، درحالی که وقتی در سال ۱۹۷۲ عرضه شد تنها ۶۴ واحد محاسبه و منطق داشت و فقط می‌توانست ۱۰۰ تا ۱۵۰ میلیون فلاپس کار کند. برای کار با اطلاعات فشرده و حجیم، مانند دینامیک محاسباتی سیالات، همین ماشین معیوب (به دلیل اینکه نتوانستند تعداد ۲۵۶ واحد محاسبه و منطق ایجاد کنند) سریعترین ماشین دنیا بود.


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

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

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

پردازنده برداری یک قدم فراتر برمی‌دارد و به‌جای ایجاد خط لوله برای دستورالعمل‌ها، داده‌ها را نیز خط لوله می‌کند. دستورالعملهایی هستند که به‌جای اینکه بگویند «A را با B جمع کن»، می‌گوید «تمامی اعداد از اینجا تا آنجا را با تمامی اعداد از اینجا تا آنجا جمع کن». و به‌جای اینکه دستورالعمل‌ها را پشت سر هم رمزگشایی و داده‌های مربوط به آن‌ها را از حافظه دریافت کند، یک دستورالعمل را از حافظه می‌خواند و با فرض اینکه می‌داند که آدرس بعدی یکی بیشتر از آدرس فعلی است، دستورالعمل بعدی را رمزگشایی می‌کند. این عمل صرفه جویی چشمگیری در زمان رمزگشایی می‌کند.
برای نشان دادن اینکه چه تفاوتی می‌کند، فرض کنید می‌خواهیم دو آرایه ۱۰ تایی از اعداد را با هم جمع کنیم. در حالت عادی نیاز به یک حلقه داریم که هر بار یک زوج از این دو آرایه را انتخاب می‌کند و سپس آن‌ها را با هم جمع می‌کند:
execute this loop 10 times
 read the next instruction and decode it
 fetch this number
 fetch that number
 add them
 put the result here
 end loop
در حالی که در پردازش برداری اینگونه خواهد بود:
read instruction and decode it
 fetch these 10 numbers
 fetch those 10 numbers
 add them
 put the results here
در پردازش برداری، اول اینکه فقط دو انتقال آدرس از پردازنده به حافظه داریم، همچنین در این حالت به‌جای اینکه ۱۰ مرتبه یک دستورالعمل را کدگشایی کند تنها یک بار این کار را انجام می‌دهد. همچنین کد مورد استفاده در پردازش برداری کوتاه‌تر است که این خود سبب کاهش حافظه مورد نیاز برای دستورالعمل‌های آن می‌باشد.
بررسی وابستگی بین این اعداد لازم نیست چون دستورالعمل برداری، چندین عمل غیر وابسته را معین می‌کند. این خود منطق کنترل را ساده می‌کند.
مسئله زمانی جالب تر می‌شود که بتوان چند عمل را روی چند داده انجام داد. کد زیر را در نظر بگیرید که در آن می‌خواهیم دو گروه عدد را با هم جمع کنیم و سپس با گروه سوم ضرب کنیم. در این کد عمل دریافت دستورالعمل فقط یک بار انجام می‌شود (بر خلاف حالت عادی که ۲*۱۰=۲۰) و این دو عمل فقط در یک دستورالعمل انجام می‌پذیرد:
read instruction and decode it
 fetch these 10 numbers
 fetch those 10 numbers
 fetch another 10 numbers
 add and multiply them
 put the results here
عملیات ریاضی بالا خیلی سریعتر انجام خواهند شد چرا که دیگر تأخیر در دریافت و کدگشایی دستورالعمل بعدی را نداریم (فقط یک دستورالعمل داریم).
جزئیات > پردازنده برداری > جنبه منفی

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

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

کد زیر مثال حقیقی معماری x86 با دستورالعمل‌های برداری می‌باشد. در اینجا از دو آرایه اعداد اعشاری استفاده می‌کند.
//SSE simd function for vectorized multiplication of 2 arrays with single-precision floatingpoint numbers
//1st param pointer on source/destination array, 2nd param 2. source array, 3rd param number of floats per array
 void mul_asm(float* out, float* in, unsigned int leng)
 {    unsigned int count, rest;

      //compute if array is big enough for vector operation
      rest  = (leng*4)%16;
      count = (leng*4)-rest;

     // vectorized part; 4 floats per loop iteration
      if (count>0){
      __asm __volatile__  (".intel_syntax noprefix\n\t"
      "loop:                 \n\t"
      "movups xmm0, [ebx+ecx] ;loads 4 floats in first register (xmm0)\n\t"
      "movups xmm1, [eax+ecx] ;loads 4 floats in second register (xmm1)\n\t"
      "mulps xmm0,xmm1       ;multiplies both vector registers\n\t"
      "movups [eax+ecx],xmm0 ;write back the result to memory\n\t"
      "sub ecx,16            ;increase address pointer by 4 floats\n\t"
      "jnz loop              \n\t"
      ".att_syntax prefix    \n\t"
        : : "a" (out), "b" (in), "c"(count), "d"(rest): "xmm0","xmm1");
      }

      // scalar part; 1 float per loop iteration
      if (rest!=0)
      {
       __asm __volatile__  (".intel_syntax noprefix\n\t"
      "add eax,ecx           \n\t"
      "add ebx,ecx           \n\t"

      "rest:                 \n\t"
      "movss xmm0, [ebx+edx]  ;load 1 float in first register (xmm0)\n\t"
      "movss xmm1, [eax+edx]  ;load 1 float in second register (xmm1)\n\t"
      "mulss xmm0,xmm1       ;multiplies both scalar parts of registers\n\t"
      "movss [eax+edx],xmm0  ;write back the result\n\t"
      "sub edx,4             \n\t"
      "jnz rest              \n\t"
      ".att_syntax prefix    \n\t"
        : : "a" (out), "b" (in), "c"(count), "d"(rest): "xmm0","xmm1");
      }
      return;
 }
راترامنوس

| راترامنوس | راترامنوس |
| --- | --- |
زادهٔ: ۸۰۰ میلادی
درگذشت: ۸۶۸ میلادی
ملیت: فرانسه
راترامنوس (انگلیسی: Ratramnus; ۱ ژانویهٔ ۰۸۰۰ – ۱ ژانویهٔ ۰۸۶۸) راهب صومعه کوربی، در نزدیکی آمین در شمال فرانسه، خداشناسی از دودمان کارولنژی بود که بیشتر به خاطر نوشته‌هایش در مورد عشای ربانی و قضا و قدر شهرت داشت. رساله عشای ربانی او، De corpore et sanguine Domini (دربارهٔ بدن و خون خداوند)، نقطه مقابل الهیات واقع گرایانه عشای ربانی مقام بالاتر او راهب بزرگ پاشاسیوس رادبرتوس بود. راترامنوس همچنین به خاطر دفاع از راهب گوتشالک که برداشت او در مورد قضا و قدر مرکز مناقشات بسیاری در فرانسه و آلمان در قرن نهم بود، شهرت داشت. راترامنوس در زمان خودش شاید بیشتر به خاطر مخالفت با یونانی‌هایی که به کلیسای روم تهمت می‌زدند، معروف بود، که خودش پاسخی به موضوع انشقاق فوتیان و دفاع از عبارت افزوده شده فیلیوکه به اعتقادنامه نیقیه بود.
نوشته‌های راترامنوس اثر به سزایی بر اصلاحات پروتستانی در سال‌های بعد گذاشت. در قرن شانزدهم، آثار راترامنوس بار دیگر به کانون بحث و جدل تبدیل شد. پس از چاپ دربارهٔ بدن و خون خداوند در سال ۱۵۳۱، اصلاح‌طلبان پروتستان این کتاب را به عنوان نقطه‌ای مقابل تز تغییر جوهره کاتولیک به کار گرفتند. این امر به‌ویژه در انگلستان موثرتر بود، جایی که توماس کرنمر مدعی شد که در نهایت توسط راترامنوس علیه تغییر جوهره قانع شده‌است.
آکیکو کیتادا

| آکیکو کیتادا | آکیکو کیتادا |
| --- | --- |
زادهٔ: ۱ آوریل ۱۹۸۲
ملیت: ژاپن
آکیکو کیتادا (انگلیسی: Akiko Kitada؛ زادهٔ ۱ آوریل ۱۹۸۲) بازیکن هاکی روی چمن زن اهل ژاپن است.
یواس‌اس متومکین

یواس‌اس متومکین ممکن است به یکی از موارد زیر اشاره داشته باشد:
یواس‌اس متومکین (ای‌جی-۱۳۶)
یواس‌اس متومکین (ای‌وی‌پی-۴۷)
معادله فوکر–پلانک

جواب معادلهٔ فوکر-پلانک در یک بعد، با در نظرگرفتن جمله‌های پیش‌ران (drift) و واپخش. 
در تصویر بالا شرایط اولیه برای توزیع سرعت ذره یک تابع دلتای دیراک است که روی سرعت غیرصفر قرار گرفته است. 
در طول زمان توزیع سرعت ذره پهن می‌شود و به سمت سرعت صفر حرکت می‌کند.
معادلهٔ فوکر-پلانک در مکانیک آماری یک معادله دیفرانسیل با مشتقات پاره‌ای است که تکامل زمانی تابع چگالی احتمال سرعت را برای ذره‌ای توصیف می‌کند که تحت تأثیر نیروی پسار (drag force) و نیروهای کاتوره‌ای قرار دارد. این معادله برای توصیف حرکت براونی به کار می‌رود و می‌توان آن را برای مشاهده‌پذیرهای دیگری به جز سرعت هم تعمیم داد.
این معادله به نام آدریان فوکر،
فیزیک‌دان هلندی 
و ماکس پلانک،
فیزیک‌دان آلمانی نام‌گذاری شده است،
و نام دیگر آن معادلهٔ پیشروی کولموگوروف است، به نام فیزیک‌دان اهل شوروی آندری کولموگوروف،
که نخستین بار این معادله را در مقالهٔ سال ۱۹۳۱ خود به کار برد.
این معادله وقتی که برای توصیف تابع چگالی احتمال مکان به‌کار برود به معادلهٔ اِسمولوکوفسکی معروف است.
اوزونس

| اوزونس | اوزونس |
| --- | --- |
کمون: کمون
The doors of the church of Saint-Jacques, in Auzances: The doors of the church of Saint-Jacques, in Auzances
  نشان:   نشان
اوزونسنمایش نقشه فرانسهاوزونسنمایش نقشه نوول-آکیتن: اوزونسنمایش نقشه فرانسهاوزونسنمایش نقشه نوول-آکیتن
مختصات: ۴۶°۰۱′۳۹″شمالی ۲°۳۰′۰۶″شرقی﻿ / ﻿۴۶٫۰۲۷۵°شمالی ۲٫۵۰۱۷°شرقی﻿ / 46.0275; 2.5017: مختصات: ۴۶°۰۱′۳۹″شمالی ۲°۳۰′۰۶″شرقی﻿ / ﻿۴۶٫۰۲۷۵°شمالی ۲٫۵۰۱۷°شرقی﻿ / 46.0275; 2.5017
کشور: فرانسه
ناحیه: نوول-آکیتن
دپارتمان: کروز (شهرستان)
بخش: اوبوسون
کانتون: Auzances
کمون: CC Marche et Combraille en Aquitaine
حکومت: حکومت
 • شهردار(۲۰۲۰–۲۰۲۶) : Françoise Simon
مساحت۱: ۷٫۰۸ کیلومتر مربع (۲٫۷۳ مایل مربع)
جمعیت (ژانویه ۲۰۱۸)۲: ۱٬۲۱۱
 • تراکم: ۱۷۰/کیلومتر مربع (۴۴۰/مایل مربع)
منطقهٔ زمانی: یوتی‌سی +۱ (زمان اروپای مرکزی)
 • تابستانی (DST): یوتی‌سی +۲ (ساعت تابستانی اروپای مرکزی)
کد آماری/کد پستی: ۲۳۰۱۳ /۲۳۷۰۰
ارتفاع: ۴۸۶–۶۲۴ متر (۱٬۵۹۴–۲٬۰۴۷ فوت)  (avg. ۵۴۵ متر یا ۱٬۷۸۸ فوت)
۱ داده‌های فرانسه رودخانه و دریاچه  و یخچال‌ها را در نظر نگرفته‌است > ۱ km² (۰٫۳۸۶ مایل مربع یا ۲۴۷ هکتار) ۲: ۱ داده‌های فرانسه رودخانه و دریاچه  و یخچال‌ها را در نظر نگرفته‌است > ۱ km² (۰٫۳۸۶ مایل مربع یا ۲۴۷ هکتار) ۲
اوزونس (به فرانسوی: Auzances) یک کمون در فرانسه است که در کروز واقع شده‌است. اوزونس ۷٫۰۸ کیلومتر مربع مساحت دارد و در ۵۴۵ متری بالاتر از سطح دریا واقع شده‌‌است.
دیگنا اوچوا

| دیگنا اوچوا | دیگنا اوچوا |
| --- | --- |
نام هنگام تولد: دیگنا اوچوا و پلاسیدو
زادهٔ: ۱۵ مهٔ ۱۹۶۴ میسانتلا، وراکروز، مکزیک
درگذشت: ۱۹ اکتبر ۲۰۰۱ (۳۷ سال) کلونیا رم، مکزیکوسیتی، مکزیک
علت مرگ: ترور با شلیک گلوله
تحصیلات: دانشگاه وراکروزانا
دیگنا اوچوا (زادهٔ ۱۵ مه ۱۹۶۴- درگذشت ۱۹ اکتبر ۲۰۰۱) یک وکیل حقوق بشر اهل کشور مکزیک بود. اوچوا در طول دوران شغلی خود وکالت برخی از افراد که در جهت منافع فقیرترین جامعه مردم مکزیک بوده و بر ضد منافع دولتی قرار داشتند را بر عهده داشت. در ۱۹ اکتبر ۲۰۰۱، اوچوا توسط مهاجمان ناشناس در دفترش در مکزیکوسیتی به ضرب گلوله کشته شد. مقامات ایالتی مکزیک ابتدا مرگ او را خودکشی اعلام کردند، اما در میان اعتراضات فعالان حقوق بشر، تحقیقات در مورد مرگ او در سال ۲۰۰۵ دوباره آغاز شد. در سال ۲۰۲۱، دولت مرکزی مکزیک به اشتباه خود در روند تحقیقات مرگ اوچوا اعتراف کرد.
زندگی‌نامه

دیگنا اوچوا در میسانتلا در ایالت وراکروز به دنیا آمد. اوچوا قبل از اینکه وکیل حقوق بشر شود یک راهبه بوده است.
اوچوا در سال ۱۹۸۴ به دانشکده حقوق در مرکز ایالت، ژالاپا، وراکروز رفت و در سال ۱۹۸۶ کار پاره وقت برای دفاتر دادستانی کل وراکروز را آغاز کرد. در ۱۶ اوت ۱۹۸۸، در حالی که همکاری‌های سیاسی با گروه‌های مخالف دولت مرکزی را داشت و پس از توصیه به خانواده‌اش مبنی بر اینکه لیست سیاهی از فعالان صنفی و سیاسی را در دفتر کارفرمای خود پیدا کرده است، ناگهان در جالاپا، وراکروز ربوده شد. اوچوا ادعا کرد کسانی که او را ربوده بودند از افسران پلیس ایالتی بودند و به او تجاوز جنسی شده بود. با این حال هیچ تحقیقی در مورد ربایش او صورت نگرفت. در سال ۱۹۹۱ او وارد صومعه دومنیکن شد و تا سال ۱۹۹۹ در آنجا تحصیل کرد. اما بدون اینکه مدرک خود را دریافت کند، از آنجا رفت.
در اوت ۱۹۹۹، دیگنا اوچوا بار دیگر ربوده شد و در یک ماشین در مکزیکو سیتی حبس شد. در اکتبر ۱۹۹۹، اوچوا دوباره در مکزیکو سیتی ربوده شد و مورد بازجویی و شکنجه قرار گرفت. در پایان این ربایش او را در کنار یک سیلندر باز گاز رها کردند. پلیس مکزیکوسیتی دربارهٔ این آدم‌ربایی‌ها تحقیق کرد و دادگاه بین‌آمریکایی حقوق بشر نیز از اوچوا حمایت کرد.
در اوت ۲۰۰۰، او به دلیل فعالیت‌های خود به واشینگتن دی سی، ایالات متحده آمریکا تبعید شد. هنگامی که در تبعید بود، جایزه «روح پایدار» را از عفو بین‌الملل و از دستان مارتین شین دریافت کرد.
در مارس ۲۰۰۱، او به مکزیکوسیتی بازگشت و در اوت ۲۰۰۱، حکم تبعید دادگاه از او برداشته شد. او در ۱۶ اکتبر ۲۰۰۱ در دفتر وکالت خود در خیابان اِی-۳۱ زاکی تاکاس در شهر مکزیکوسیتی فعالیت‌های خود را از سر گرفت. کار او نمایندگی از مخالفان مختلف دولت بود و در برخی موارد پیگیری اتهامات نقض حقوق بشر از جمله شکنجه توسط مقامات دولتی و ارتشی بود.
مرگ

اوچوا در ۱۹ اکتبر ۲۰۰۱ در دفتر خود در منطقه روما در مکزیکو سیتی کشته شد. در زمان مرگ، او درگیر دفاع از مشکلات کشاورزان در گوئررو بود. جسد او در دفتر حقوقی محل کارش پیدا شد. یادداشتی از او پیدا شد که به اعضای مرکز حقوق بشر که اخیراً در آنجا کار می‌کرد هشدار می‌داد که ممکن است همین اتفاق برای آنها نیز بیفتد.
پس از مرگ او تحقیقات متعددی انجام شد. مقامات مکزیکوسیتی در ابتدا قتل او را یک خودکشی اعلام کرده بودند و در مارس ۲۰۰۲ به صورت رسمی حکم دادند که این خودکشی بوده است. اما این ادعا توسط چندین سناتور مورد مناقشه قرار گرفت. گزارش کالبد شکافی حاکی از آن بود که بدن وی دارای دو محل اصابت گلوله کالیبر ۲۲ بوده است. سرانجام مرگ او ناشی از اصابت گلوله به سر گزارش شد. علاوه بر گلوله‌ای که به سرش اصابت کرده بود، زخمی ناشی از گلوله نیز در سمت چپ بدنش وجود داشت. گلوله‌ای که به سرش اصابت کرده بود، در استخوان گیجگاهی سمت راست سرش فرورفته بود. اوچوا راست دست بود.
در سال ۲۰۰۲، دیگنا جایزه بین‌المللی حقوق بشر را توسط گلوبال اکسچنج، که یک سازمان غیردولتی بین‌المللی مستقر در سانفرانسیسکو بود، پس از مرگ خود دریافت کرد.
همچنین در سال ۲۰۰۳، دیگنا اوچوا جایزه بین‌المللی حقوق بشر "لودویک-تراریو" را دریافت کرد که توسط وکلای اروپایی اعطا می‌شد.
پورتو پارا

| پورتو پارا | پورتو پارا |
| --- | --- |
Municipality and town: Municipality and town
  پرچممهر:   پرچممهر
Location of the municipality and town of Puerto Parra in the Santander Department of Colombia.: Location of the municipality and town of Puerto Parra in the Santander Department of Colombia.
Country:  کلمبیا
بخش‌های کلمبیا: بخش سانتاندر
Founded: March 4, 2008
بنیان‌گذار: Aquileo Parra
مساحت: مساحت
 • کل: ۱۴۵۲ کیلومتر مربع (۵۶۱ مایل مربع)
جمعیت (۲۰۰۵): جمعیت (۲۰۰۵)
 • کل: ۶۴۶۲
 • تراکم: ۴٫۵/کیلومتر مربع (۱۲/مایل مربع)
اهلیت‌نام: Puerto Parrences
منطقهٔ زمانی: یوتی‌سی -۵ (Colombia Standard Time)
وبگاه: www.puertoparra-santander.gov.co
پورتو پارا (انگلیسی: Puerto Parra) یک منطقه مسکونی در کشور کلمبیا است.
پنتابرمید فسفر

| پنتابرمید فسفر | پنتابرمید فسفر |
| --- | --- |
نام‌گذاری آیوپاکphosphorus pentabromide: نام‌گذاری آیوپاکphosphorus pentabromide
دیگر نام‌هاphosphorus(V) bromide: دیگر نام‌هاphosphorus(V) bromide
شناساگرها: شناساگرها
شماره ثبت سی‌ای‌اس: 7789-69-7
پاب‌کم: 62678
کم‌اسپایدر: 56429 Y
جی‌مول-تصاویر سه بعدی: Image 1
 SMILES BrP(Br)(Br)(Br)Br :  SMILES BrP(Br)(Br)(Br)Br 
 InChI InChI=1S/Br5P/c1-6(2,3,4)5 Y Key: QRKVRHZNLKTPGF-UHFFFAOYSA-N Y :  InChI InChI=1S/Br5P/c1-6(2,3,4)5 Y Key: QRKVRHZNLKTPGF-UHFFFAOYSA-N Y 
خصوصیات: خصوصیات
فرمول مولکولی: PBr5
جرم مولی: 430.49 g/mol
شکل ظاهری: yellow solid
چگالی: 3.61 g/cm3
دمای ذوب: ca. 100 °C (decomposes)  
دمای جوش: 106 °C (decomposes)  
انحلال‌پذیری در آب: decomposes
به استثنای جایی که اشاره شده‌است در غیر این صورت، داده‌ها برای مواد به وضعیت استانداردشان داده شده‌اند (در 25 °C (۷۷ °F)، ۱۰۰ kPa): به استثنای جایی که اشاره شده‌است در غیر این صورت، داده‌ها برای مواد به وضعیت استانداردشان داده شده‌اند (در 25 °C (۷۷ °F)، ۱۰۰ kPa)
 Y (بررسی) (چیست: Y/N؟):  Y (بررسی) (چیست: Y/N؟)
Infobox references: Infobox references
:   
پنتابرمید فسفر (به انگلیسی: Phosphorus pentabromide) با فرمول شیمیایی PBr5 یک ترکیب شیمیایی با شناسه پاب‌کم 62678 است. که جرم مولی آن 430.49 g/mol می‌باشد. شکل ظاهری این ترکیب، جامد زرد است.