stanford-oval/wikipedia huggingface dataset:
ریچارد دیویس (بازیکن فوتبال)

| اطلاعات شخصی | اطلاعات شخصی | اطلاعات شخصی | اطلاعات شخصی |
| --- | --- | --- | --- |
نام کامل:  Richard Peter Davies
زادروز:  ۱۵ مهٔ ۱۹۹۰ ‏(۳۴ سال)
زادگاه:  ویلنهال
پست:  هافبک
اطلاعات باشگاهی: اطلاعات باشگاهی
باشگاه کنونی:  Chasetown
باشگاه‌های جوانان: باشگاه‌های جوانان
۰۰۰?–۲۰۰۸:  باشگاه فوتبال والسال
باشگاه‌های حرفه‌ای*: باشگاه‌های حرفه‌ای*
| سال‌ها |  باشگاه‌ها |  بازی† |  (گل)† |
| ۲۰۰۸–۲۰۱۰ |  باشگاه فوتبال والسال |  ۶ |  (۰) |
| ۲۰۰۹ |  ← باشگاه فوتبال سولیهال مورس (قرضی) |  ? |  (?) |
| ۲۰۱۰–۲۰۱۳ |  باشگاه فوتبال تلفورد یونایتد |  ۴۷ |  (۴) |
| ۲۰۱۰–۲۰۱۱ |  ← Chasetown (قرضی) |  ۲۶ |  (۴) |
| ۲۰۱۳–۲۰۱۴ |  باشگاه فوتبال بارو |  ۳۱ |  (۲) |
| ۲۰۱۴– |  Chasetown |  ? |  (?) |
 تعداد بازی‌ها و گل‌ها فقط مربوط به بازی‌های لیگ داخلی است و آمار به روز شده در تاریخ ۱۵:۱۴, ۸ مه ۲۰۱۴ (UTC). :  تعداد بازی‌ها و گل‌ها فقط مربوط به بازی‌های لیگ داخلی است و آمار به روز شده در تاریخ ۱۵:۱۴, ۸ مه ۲۰۱۴ (UTC). 
ریچارد دیویس (انگلیسی: Richard Davies؛ زادهٔ ۱۵ مهٔ ۱۹۹۰) بازیکن فوتبال اهل بریتانیا است.
از باشگاه‌هایی که در آن بازی کرده‌است می‌توان به باشگاه فوتبال سولیهال مورس، باشگاه فوتبال تلفورد یونایتد، باشگاه فوتبال بارو، و باشگاه فوتبال والسال اشاره کرد.
رضوان عمروف

| اطلاعات شخصی | اطلاعات شخصی | اطلاعات شخصی | اطلاعات شخصی |
| --- | --- | --- | --- |
نام کامل:  Rizvan Sarutdinoviç Umarov
زادروز:  ۵ آوریل ۱۹۹۳ ‏(۳۱ سال)
زادگاه:  استاوروپول
قد:  1.85m
پست:  مهاجم
اطلاعات باشگاهی: اطلاعات باشگاهی
باشگاه کنونی:  باشگاه فوتبال روتور ولگوگراد
شمارهٔ پیراهن:  ۱۱
باشگاه‌های حرفه‌ای*: باشگاه‌های حرفه‌ای*
| سال‌ها |  باشگاه‌ها |  بازی† |  (گل)† |
| ۲۰۱۰ |  SDYuSShOR Zenit St. Petersburg |  ۱۶ |  (۹) |
| ۲۰۱۱–۲۰۱۲ |  باشگاه ورزشی کاستیون |  ۷ |  (۰) |
| ۲۰۱۲–۲۰۱۳ |  Elche Ilicitano |  ۲ |  (۰) |
| ۲۰۱۳–۲۰۱۴ |  باشگاه فوتبال آنژی مخاچ‌قلعه |  ۰ |  (۰) |
| ۲۰۱۴–۲۰۱۵ |  Dynamo Saint Petersburg |  ۲۵ |  (۱) |
| ۲۰۱۵ |  باشگاه فوتبال زسکا خاباروفسک |  ۹ |  (۰) |
| ۲۰۱۶ |  باشگاه فوتبال ناروا ترانس |  ۳۰ |  (۱۱) |
| ۲۰۱۷–۲۰۱۹ |  باشگاه فوتبال نفتخیمیک نیژنکامسک |  ۳۴ |  (۱۹) |
| ۲۰۱۹–۲۰۲۲ |  Leningradets Leningrad Oblast |  ۶۵ |  (۳۱) |
| ۲۰۲۲– |  باشگاه فوتبال روتور ولگوگراد |  ۰ |  (۰) |
تیم ملی‡: تیم ملی‡
| ۲۰۱۲– |  تیم ملی فوتبال جمهوری آذربایجان |  ۳ |  (۰) |
 تعداد بازی‌ها و گل‌ها فقط مربوط به بازی‌های لیگ داخلی است و آمار به روز شده در تاریخ ۱۰ ژوئن ۲۰۲۲.   ‡ آمار بازی‌ها و گل‌های ملی به‌روز شده در تاریخ ۱۸:۴۲, ۷ ژانویه ۲۰۱۵ (UTC):  تعداد بازی‌ها و گل‌ها فقط مربوط به بازی‌های لیگ داخلی است و آمار به روز شده در تاریخ ۱۰ ژوئن ۲۰۲۲.   ‡ آمار بازی‌ها و گل‌های ملی به‌روز شده در تاریخ ۱۸:۴۲, ۷ ژانویه ۲۰۱۵ (UTC)
رضوان عمروف (انگلیسی: Rizvan Umarov؛ زادهٔ ۵ آوریل ۱۹۹۳) بازیکن فوتبال اهل جمهوری آذربایجان است.
از باشگاه‌هایی که در آن بازی کرده‌است می‌توان به باشگاه فوتبال زسکا خاباروفسک، باشگاه فوتبال ناروا ترانس، باشگاه فوتبال الچه، باشگاه فوتبال گرانادا، باشگاه ورزشی کاستیون، و باشگاه فوتبال آنژی مخاچ‌قلعه اشاره کرد.
وی همچنین در تیم ملی فوتبال جمهوری آذربایجان بازی کرده‌است.
رسانایی تاج‌پوش

رسانایی تاج‌پوش، معمولاً نشان داده می‌شود  g_{c} ، یک کمیت بدون‌بعد است که توزیع تابش را در تاج‌پوش درخت مشخص می‌کند. طبق تعریف، آن را به عنوان نسبت مصرف روزانه آب به کمبود فشار بخار متوسط (VPD) محاسبه می‌کنند. همچنین با اندازه‌گیری جریان شیره و متغیرهای محیطی می‌توان رسانایی تاج‌پوش را بدست آورد. رسانایی روزنه‌ای را می‌توان به عنوان یک مقدار مرجع برای اعتبارسنجی داده‌ها با جمع‌بندی کل رسانایی روزنه‌ای  g_{s} از تمام رده‌های برگ در تاج‌پوش استفاده کرد.
g_{c}=\sum _{layer_{1}}^{layer_{N}}(g_{s,sun}^{i}\cdot l_{sun}^{i})+(g_{s,shade}\cdot l_{shade})
مادی (مجارستان)

| مادی | مادی |
| --- | --- |
کشور:  مجارستان
استان: سابولچ-ساتمار-برگ
مساحت: مساحت
 • کل: ۲۰٫۷۰ کیلومتر مربع (۷٫۹۹ مایل مربع)
جمعیت (۲۰۰۱): جمعیت (۲۰۰۱)
 • کل: ۹۹۶
 • تراکم: ۴۸٫۱۲/کیلومتر مربع (۱۲۴٫۶/مایل مربع)
منطقهٔ زمانی: یوتی‌سی +۱ (زمان)
 • تابستانی (DST): یوتی‌سی +۲ (ساعت تابستانی اروپای مرکزی)
کد پستی: ۴۵۵۶
کد منطقه: ۴۲
مادی (به مجاری:  Magy) یک منطقهٔ مسکونی در مجارستان است که در سابولچ-ساتمار-برگ واقع شده‌است. مادی ۲۰٫۷۰ کیلومتر مربع مساحت و ۹۹۶ نفر جمعیت دارد.
لیگ دسته‌یک والیبال مردان ایران ۱۳۷۱

| لیگ دسته‌یک والیبال مردان ایران ۱۳۷۱ | لیگ دسته‌یک والیبال مردان ایران ۱۳۷۱ |
| --- | --- |
فدراسیون: فدراسیون والیبال ایران
لیگ: مسابقات دسته‌یک والیبال کشور
ورزش: والیبال
زمان برگزاری: سال ۱۳۷۱
تعداد تیم‌ها: ۸
قهرمان فصل: بانک ملی تهران
نایب قهرمان: بانک تجارت تهران
فصل‌های لیگ دسته‌یک والیبال ایران: فصل‌های لیگ دسته‌یک والیبال ایران
← ۱۳۷۲۱۳۷۰ →: ← ۱۳۷۲۱۳۷۰ →
لیگ برتر والیبال ایران ۱۳۷۱ سومین دوره مسابقات دسته‌یک والیبال ایران می‌باشد. در این دوره ۸ تیم شرکت داشتند و در پایان تیم بانک ملی تهران به قهرمانی این دوره از مسابقات لیگ ایران دست یافت.
جدول رده‌بندی

| رتبه | تیم |
| --- | --- |
۱: بانک ملی تهران
۲: بانک تجارت تهران
۳: ذوب‌آهن اصفهان
پلزنت ولی، شهرستان کارول، آرکانزاس

| پلزنت ولی، شهرستان کارول، آرکانزاس | پلزنت ولی، شهرستان کارول، آرکانزاس |
| --- | --- |
محدوده ثبت‌نشده: محدوده ثبت‌نشده
پلزنت ولی، شهرستان کارول، آرکانزاسPosition in Arkansas: پلزنت ولی، شهرستان کارول، آرکانزاسPosition in Arkansas
مختصات: ۳۶°۲۳′۱۳″ شمالی ۹۳°۳۶′۳۶″ غربی﻿ / ﻿۳۶٫۳۸۶۹۴°شمالی ۹۳٫۶۱۰۰۰°غربی﻿ / 36.38694; -93.61000: مختصات: ۳۶°۲۳′۱۳″ شمالی ۹۳°۳۶′۳۶″ غربی﻿ / ﻿۳۶٫۳۸۶۹۴°شمالی ۹۳٫۶۱۰۰۰°غربی﻿ / 36.38694; -93.61000
کشور:  ایالات متحده آمریکا
ایالت: آرکانزاس
شهرستان: شهرستان کرول، آرکانزاس
Township: Prairie
ارتفاع: ۳۷۴ متر (۱۲۲۷ فوت)
منطقهٔ زمانی: یوتی‌سی -۶ (منطقه زمانی مرکزی)
 • تابستانی (DST): یوتی‌سی -۵ (CDT)
پلزنت ولی (به انگلیسی: Pleasant Valley) یک منطقهٔ مسکونی در ایالات متحده آمریکا است که در شهرستان کرول، آرکانزاس واقع شده‌است. پلزنت ولی ۳۷۳٫۹۹ متر بالاتر از سطح دریا واقع شده‌است.
لین کون-هان

| لین کون-هان | لین کون-هان |
| --- | --- |
زادهٔ: ۵ ژانویهٔ ۱۹۶۸
ملیت: تایوان
لین کون-هان (انگلیسی: Lin Kun-han؛ زادهٔ ۵ ژانویهٔ ۱۹۶۸) بازیکن بیسبال اهل تایوان است.
ایریس سینگ

آیریس سیلوا تانگ سینگ (انگلیسی: Iris Silva Tang Sing؛ متولد ۲۱ اوت ۱۹۹۰) یک تکواندوکار برزیلی است. وی در مسابقات قهرمانی تکواندو جهان و بازیهای پان امریکن در سال ۲۰۱۵ مدال برنز گرفت و به بازی‌های المپیک تابستانی ۲۰۱۶ در وزن ۴۹ کیلوگرم راه یافت.
ریشارد گیرولاتیس

| 0 | 1 | 2 | 3 |
| --- | --- | --- | --- |
 :  
اطلاعات شخصی: اطلاعات شخصی
نام کامل:  Richard Girulatis
زادروز:  ۲۱ اوت ۱۸۷۸
زادگاه:  برلین
تاریخ مرگ:  ۱۲ مهٔ ۱۹۶۳ (۸۴ سال)
پست:  مهاجم
باشگاه‌های حرفه‌ای*: باشگاه‌های حرفه‌ای*
| سال‌ها |  باشگاه‌ها |  بازی† |  (گل)† |
| ۱۹۰۵ |  باشگاه فوتبال بلاو-وایس ۹۰ برلین |   |   |
دوران مربیگری: دوران مربیگری
۱۹۰۸–۱۹۱۰:  باشگاه فوتبال بلاو-وایس ۹۰ برلین
۱۹۱۲–۱۹۲۰:  Tennis Borussia Berlin
۱۹۲۱:  باشگاه فوتبال هامبورگ
۱۹۲۹–۱۹۳۱:  باشگاه فوتبال هرتابرلین
 تعداد بازی‌ها و گل‌ها فقط مربوط به بازی‌های لیگ داخلی است. :  تعداد بازی‌ها و گل‌ها فقط مربوط به بازی‌های لیگ داخلی است. 
ریشارد گیرولاتیس (انگلیسی: Richard Girulatis; ۲۱ اوت ۱۸۷۸ – ۱۲ مهٔ ۱۹۶۳) بازیکن فوتبال اهل آلمان بود.
از باشگاه‌هایی که در آن بازی کرده‌است می‌توان به باشگاه فوتبال بلاو-وایس ۹۰ برلین اشاره کرد.
رکن‌آباد (رفسنجان)

| رکن‌آباد (رفسنجان) | رکن‌آباد (رفسنجان) |
| --- | --- |
روستا: روستا
مختصات: ۳۰°۵۰′۳۰″ شمالی ۵۵°۴۴′۲۲″ شرقی﻿ / ﻿۳۰٫۸۴۱۶۷°شمالی ۵۵٫۷۳۹۴۴°شرقی﻿ / 30.84167; 55.73944: مختصات: ۳۰°۵۰′۳۰″ شمالی ۵۵°۴۴′۲۲″ شرقی﻿ / ﻿۳۰٫۸۴۱۶۷°شمالی ۵۵٫۷۳۹۴۴°شرقی﻿ / 30.84167; 55.73944
کشور: ایران
استان: کرمان
شهرستان: رفسنجان
بخش: بخش فردوس
دهستان: فردوس
جمعیت: ۷۵۵ نفر
رکن‌آباد (رفسنجان)، روستایی از توابع بخش فردوس شهرستان رفسنجان در استان کرمان ایران است.
جمعیت

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

| اطلاعات شخصی | اطلاعات شخصی |
| --- | --- |
ملیت: ایتالیا
زاده: ۵ سپتامبر ۱۹۶۳ ‏(۶۱ سال) آنکونا
قد: ۱۹۶ سانتیمتر (۶ فوت ۵ اینچ)
ورزشی: ورزشی
ورزش: والیبال
روبرتو ماشارلی (ایتالیایی: Roberto Masciarelli؛ زادهٔ ۵ سپتامبر ۱۹۶۳) بازیکن والیبال اهل ایتالیا بود. وی در بازی‌های المپیک تابستانی ۱۹۹۲ شرکت کرده‌است.
نووووچپشی

| نووووچپشی Нововочепший | نووووچپشی Нововочепший |
| --- | --- |
Khutor: Khutor
نووووچپشینمایش نقشه آدیغیهنووووچپشینمایش نقشه روسیه: نووووچپشینمایش نقشه آدیغیهنووووچپشینمایش نقشه روسیه
مختصات: ۴۴°۵۴′ شمالی ۳۹°۱۶′ شرقی﻿ / ﻿۴۴٫۹۰۰°شمالی ۳۹٫۲۶۷°شرقی﻿ / 44.900; 39.267: مختصات: ۴۴°۵۴′ شمالی ۳۹°۱۶′ شرقی﻿ / ﻿۴۴٫۹۰۰°شمالی ۳۹٫۲۶۷°شرقی﻿ / 44.900; 39.267
کشور: روسیه
ناحیه‌های فدرال روسیه: آدیغیه
شهرستان: شهرستان تئوچژسکی
منطقهٔ زمانی: یوتی‌سی +۳:۰۰
نووووچپشی (به لاتین: Novovochepshy) یک منطقهٔ مسکونی در روسیه است که در آدیغیه واقع شده‌است.
ایریس تانیا فلیگنرینگ

| ایریس تانیا فلیگنرینگ | ایریس تانیا فلیگنرینگ |
| --- | --- |
زادهٔ: ۱۲ نوامبر ۱۹۸۹ ‏(۳۴ سال) ایسلند
ملیت: ایسلندی
محل تحصیل: دانشگاه هنر ایسلند
پیشه: بازیگر
سال‌های فعالیت: ۲۰۱۶–اکنون
پدر: ولادیمیر اورن فلیگنرینگ
ایریس تانیا فلیگنرینگ (ایسلندی: Íris Tanja Flygenring؛ زادهٔ ۱۲ نوامبر ۱۹۸۹) بازیگر اهل ایسلند است. وی از سال ۲۰۱۶ میلادی تاکنون مشغول فعالیت بوده‌است.
وی دانش‌آموختهٔ دانشگاه هنر ایسلند است.
از فیلم‌ها یا مجموعه‌های تلویزیونی که وی در آن‌ها نقش داشته است، می‌توان به کاتلا و به‌دام‌افتاده اشاره نمود.
تجزیه و تحلیل قابلیت دسترسی

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

تجزیه و تحلیل قابلیت دسترسی در مقاله ای از سال 1978 برای تجزیه و تحلیل و تأیید پروتکل های ارتباطی معرفی شد .  این مقاله با الهام از مقاله ای توسط بارتلت و همکاران ارائه شده است. از 1968  که پروتکل بیت متناوب را با استفاده از مدل سازی حالت محدود موجودیت های پروتکل ارائه داد و همچنین اشاره کرد که پروتکل مشابهی که قبلاً شرح داده شد دارای نقص طراحی است. این پروتکل به لایه پیوند تعلق دارد و تحت برخی مفروضات ، تحویل صحیح داده ها بدون از دست دادن و یا کپی برداری را ، علی‌رغم وجود برخی اوقات خرابی یا از بین رفتن پیام، به عنوان سرویس ارائه می دهد.
برای تجزیه و تحلیل قابلیت دستیابی ، نهادهای محلی با حالت ها و انتقال های خود مدل سازی می شوند. موجودیت با ارسال پیام ، مصرف پیام دریافتی یا انجام تعامل در رابط خدمات محلی خود ، حالت را تغییر می دهد. دولت جهانی  s=(s_{1},s_{2},...,s_{n},medium) یک سیستم با n موجودیت  توسط ایالات تعیین می شود  s_{i} (من = 1 ، ... n) از موجودیت ها و وضعیت ارتباطات  medium. در ساده ترین حالت ، محیط بین دو موجودیت توسط دو صف FIFO در جهت مخالف ، که حاوی پیام های در حال انتقال است (که ارسال می شود ، اما هنوز مصرف نشده است) مدل می شود. تجزیه و تحلیل قابلیت دسترسی با تجزیه و تحلیل تمام توالی های احتمالی انتقال حالت موجودیت ها و وضعیت جهانی مربوطه ، رفتار احتمالی سیستم توزیع شده را در نظر می گیرد.
نتیجه تجزیه و تحلیل قابلیت دستیابی ، نمودار انتقال وضعیت جهانی است (همچنین نمودار قابلیت دستیابی نیز نامیده می شود) که تمام حالت های جهانی سیستم توزیع شده را که از حالت اولیه جهانی قابل دسترسی هستند ، و همه توالی های ممکن ارسال ، مصرف و تعاملات خدماتی که توسط محلی انجام می شود را نشان می دهد موجودیت ها. با این حال ، در بسیاری از موارد ، این نمودار انتقال نامحدود است و نمی توان آن را به طور کامل جستجو کرد. نمودار انتقال می تواند برای بررسی نقایص کلی طراحی پروتکل (به زیر را ببینید) ، بلکه همچنین برای بررسی اینکه توالی تعاملات سرویس توسط نهادها با الزامات ارائه شده توسط مشخصات سرویس جهانی سیستم مطابقت دارد.
خصوصیات پروتکل

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

به عنوان مثال ، ما سیستم دو موجود پروتکل را در نظر می گیریم که پیام های ma ، mb ، mc و md را با یکدیگر مبادله می کنند ، همانطور که در نمودار اول نشان داده شده است. پروتکل با رفتار دو موجودیت تعریف می شود ، که در نمودار دوم به صورت دو ماشین حالت ارائه می شود. در اینجا نماد "!" به معنای ارسال پیام است ، و "؟" به معنای مصرف پیام دریافتی است. حالتهای اولیه حالتهای "1" هستند.
نمودار سوم نتیجه تجزیه و تحلیل قابلیت دستیابی برای این پروتکل را در قالب یک ماشین حالت جهانی نشان می دهد. هر دولت جهانی دارای چهار م componentsلفه است: وضعیت نهاد پروتکل A (چپ) ، حالت نهاد B (راست) و پیام های در حال انتقال در وسط (قسمت بالایی: از A به B ؛ قسمت پایین: از B به A ) هر انتقال این دستگاه حالت جهانی مربوط به یک انتقال موجودیت پروتکل A یا نهاد B است. حالت اولیه [1 ، - - ، 1] است (بدون ارسال پیام در حال انتقال).
یکی می بیند که این مثال دارای یک فضای جهانی محدود است - حداکثر تعداد پیام هایی که ممکن است همزمان حمل و نقل شوند دو پیام است. این پروتکل دارای یک بن بست جهانی است که این حالت است [2 ، - - ، 3]. اگر کسی انتقال A را در حالت 2 برای مصرف پیام mb حذف کند ، در ایالات جهانی [2 ، ma mb ، 3] و [2 ، - mb ، 3] استقبال نامشخصی صورت می گیرد.
انتقال پیام

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

بیشتر کارها در زمینه مدل سازی پروتکل از مدلهای ماشین حالات متناهی (FSM) برای مدل سازی رفتار موجودات توزیع شده استفاده می شود (همچنین به برقراری ارتباط ماشینهای حالت محدود مراجعه کنید). با این حال ، این مدل برای مدل سازی پارامترهای پیام و متغیرهای محلی به اندازه کافی قدرتمند نیست. بنابراین اغلب به اصطلاح از مدلهای FSM توسعه یافته استفاده می شود ، مانند پشتیبانی از زبانهایی مانند ماشین حالت یو.ام.ال یا SDL . متأسفانه ، تجزیه و تحلیل قابلیت دستیابی برای چنین مدلهایی بسیار پیچیده تر می شود.
یک مسئله عملی تجزیه و تحلیل قابلیت دسترسی به اصطلاح "حالت انفجار فضای" است. اگر دو موجودیت یک پروتکل هر کدام 100 حالت داشته باشند ، و محیط ممکن است شامل 10 نوع پیام باشد که در هر جهت حداکثر دو مورد را نشان می دهد ، بنابراین تعداد حالت های جهانی در نمودار قابلیت دسترسی به عدد 100 100 100 x محدود می شود (10x10) x (10 x 10) که 100 میلیون است. بنابراین تعدادی ابزار برای انجام خودکار تجزیه و تحلیل قابلیت دستیابی و بررسی مدل در نمودار قابلیت دستیابی تولید شده است. ما فقط به دو نمونه اشاره می کنیم: جستجوگر مدل SPIN و یک جعبه ابزار برای ساخت و تحلیل فرایندهای توزیع شده .
بیشتر خواندن

پروتکل های ارتباطی
جرالد هولزمن: طراحی و اعتبارسنجی پروتکل های رایانه ای ، Prentice Hall ، 1991.
Gv بوخمان ، دی راینر و CH وست: برخی یادداشت ها در مورد تاریخچه مهندسی پروتکل ، مجله شبکه های کامپیوتری ، 54 (2010) ، صفحات 3197-3209.
نمودار دو موجود پروتکل و پیام های رد و بدل شده بین آنها را نشان می دهد.
نمودار دو ماشین حالت محدود را نشان می دهد که رفتار پویای موجودات پروتکل مربوطه را تعریف می کند.
این نمودار یک مدل ماشین دولتی از سیستم جهانی را نشان می دهد که شامل دو نهاد پروتکل و دو کانال FIFO است که برای تبادل پیام بین آنها استفاده می شود.
لیپ موشن

| 0 | 1 |
| --- | --- |
صنعت: نرم‌افزار
بنا نهاده: ۲۰۱۰
دفتر مرکزی: سان فرانسیسکو، کالیفرنیا
وبگاه: www.leapmotion.com
لیپ موشن (انگلیسی: Leap Motion) شرکت نرم‌افزار آمریکایی است، که در سال ۲۰۱۰ تأسیس شد.
ترک محله الالان

| ترک محله الالان | ترک محله الالان |
| --- | --- |
روستا: روستا
مختصات: ۳۷°۴۲′ شمالی ۴۸°۵۷′ شرقی﻿ / ﻿۳۷٫۷۰۰°شمالی ۴۸٫۹۵۰°شرقی﻿ / 37.700; 48.950: مختصات: ۳۷°۴۲′ شمالی ۴۸°۵۷′ شرقی﻿ / ﻿۳۷٫۷۰۰°شمالی ۴۸٫۹۵۰°شرقی﻿ / 37.700; 48.950
کشور: ایران
استان: گیلان
شهرستان: طوالش
بخش: بخش اسالم
دهستان: اسالم
جمعیت: ۱۹۱ نفر (سرشماری ۹۵)
ترک محله الالان، روستایی از توابع بخش اسالم شهرستان طوالش در استان گیلان ایران است.
جمعیت

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

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

مقصدِ نخستِ این مردم، کشورهای آسیای جنوب شرقی، هنگ کنگ (هنگ کنگ بریتانیا)، اندونزی، مالزی، فیلیپین، سنگاپور و تایلند بود.
بسیاری دیگر از این پناهجویان نیز در ایالات متحده آمریکا، استرالیا، کانادا، فرانسه، آلمان و بریتانیا اسکان یافتند.
نگارخانه

نجاتِ گروهی از پناهجویانِ قایق‌سوار به‌دستِ یک رزم‌ناوِ آمریکایی
گروهی از پناهجویانِ نجات‌یافته
تاکاشی یاماگوچی (بازیگر)

| تاکاشی یاماگوچی | تاکاشی یاماگوچی |
| --- | --- |
山口 貴史: 山口 貴史
نام هنگام تولد: 山口 貴史
زادهٔ: ۱۹۷۴ ژاپن
ملیت: ژاپن
پیشه: بازیگر
قد: ۱٫۸۰ m (۵ ft ۱۱ in)
تاکاشی یاماگوچی (انگلیسی: Takashi Yamaguchi؛ زادهٔ ۱۹۷۴) بازیگر اهل ژاپن است.
نوئل کوارد

| نوئل کوارد | نوئل کوارد |
| --- | --- |
نوئل کوارد در سال ۱۹۷۲: نوئل کوارد در سال ۱۹۷۲
نام هنگام تولد: نوئل پیرس کوارد
زادهٔ: ۱۶ دسامبر ۱۸۹۹ تدینگتون، میدلسکس، انگلستان
درگذشت: ۲۶ مارس ۱۹۷۳ (۷۳ سال) سینت ماری، جامائیکا
ملیت: بریتانیایی
پیشه: بازیگر
نوئل پیرس کَوارد (انگلیسی: Noël Peirce Coward؛ زادهٔ ۱۶ دسامبر ۱۸۹۹ – درگذشتهٔ ۲۶ مارس ۱۹۷۳) نمایش‌نامه‌نویس، آهنگساز، کارگردان، بازیگر و خوانندهٔ اهل انگلستان بود.
کارها > اقتباس‌های سینمایی از آثار کوارد

سست‌عفاف، به کارگردانی آلفرد هیچکاک (بریتانیا، ۱۹۲۸، براساس نمایشنامه‌ای به همین نام)
پیچاب، به کارگردانی آدریان برونل (بریتانیا، ۱۹۲۸، براساس نمایشنامه‌ای به همین نام)
سواران، به کارگردانی فرانک لوید، فاکس قرن بیستم (۱۹۳۳، براساس نمایشنامه‌ای به همین نام)
برخورد کوتاه، به کارگردانی دیوید لین (بریتانیا، ۱۹۴۵، براساس نمایشنامهٔ طبیعت بی‌جان) (کوارد همچنین فیلم‌نامه‌نویس و تهیه‌کنندهٔ اثر نیز بود)
برخورد کوتاه، به کارگردانی الن بریجز (بریتانیا، ۱۹۷۴، براساس نمایشنامهٔ طبیعت بی‌جان)
سست‌عفاف، به کارگردانی استفان الیوت (بریتانیا، ۲۰۰۸، براساس نمایشنامه‌ای به همین نام)
کارها > بازیگر

جایی که خدمت می‌کنیم (۱۹۴۲)
دور دنیا در هشتاد روز (۱۹۵۶)
مأمور ما در هاوانا (۱۹۵۹)
بسته غیرمنتظره (۱۹۶۰)
پاریس در تب‌وتاب (۱۹۶۴)
بانی لیک گم شده (۱۹۶۵)
بوم! (۱۹۶۸)
کسب‌وکار ایتالیایی (۱۹۶۹)
کارها > نمایشنامه

زندگی‌های خصوصی (۱۹۲۹)
روح دلخوش (۱۹۴۱)
امشب رأس هشت ونیم (۱۹۳۵)
ریجنت اسکوئر

ضلع جنوبی ریجنت اسکوئر بنای فهرست‌شدهٔ درجه ۲ است و باجه تلفن هم جزء این فهرست است.
ریجنت اسکوئر (انگلیسی: Regent Square) یک میدان و خیابان در منطقه کمدن لندن است که در نزدیکی بلومزبری واقع شده‌است.
ریجنت اسکوئر در اطراف یک باغ بزرگ در املاک تاریخی هریسون قرار گرفت که نخستین بار در سال ۱۸۲۹ دارای سکنه شد و باغ میدان‌شکلی شبیه به باغ‌های معروف در غرب بلومزبری را تشکیل داد. ضلع جنوبی میدان از ساختمان‌های اصلی مسکونی تشکیل شده‌است و بنای فهرست‌شدهٔ درجه ۲ محسوب می‌شود. همچنین یک باجه تلفن در همین منطقه در این فهرست قرار دارد.
ریجنت اسکوئر منزلگاه «کلیسای ملی اسکاچ» - نخستین کلیسای پرسبیترینیسم گیلیک اسکاتلندی در لندن - بود که مابین سال‌های ۱۸۲۴ تا ۱۸۲۷ ساخته شد. ریجنت اسکوئر همچنین منزلگاه کلیسای سنت پیتر هم بود. هر دو کلیسای یادشده در جنگ جهانی دوم مورد اصابت بمب قرار گرفتند و متعاقباً تخریب شدند.
نیکیتینسکایا (شهرستان وینوگرادوفسکی، استان آرخانگلسک)

| نیکیتینسکایا Никитинская | نیکیتینسکایا Никитинская |
| --- | --- |
روستا: روستا
نیکیتینسکایانمایش نقشه استان آرخانگلسکنیکیتینسکایانمایش نقشه روسیه: نیکیتینسکایانمایش نقشه استان آرخانگلسکنیکیتینسکایانمایش نقشه روسیه
مختصات: ۶۲°۳۷′ شمالی ۴۳°۳۶′ شرقی﻿ / ﻿۶۲٫۶۱۷°شمالی ۴۳٫۶۰۰°شرقی﻿ / 62.617; 43.600: مختصات: ۶۲°۳۷′ شمالی ۴۳°۳۶′ شرقی﻿ / ﻿۶۲٫۶۱۷°شمالی ۴۳٫۶۰۰°شرقی﻿ / 62.617; 43.600
کشور: روسیه
ناحیه‌های فدرال روسیه: استان آرخانگلسک
شهر: بخش وینوگرادوفسکی
منطقهٔ زمانی: یوتی‌سی +۳:۰۰
نیکیتینسکایا (به لاتین: Nikitinskaya) یک منطقهٔ مسکونی در روسیه است که در استان آرخانگلسک واقع شده‌است.
ایستگاه راه‌آهن آروکولا

ایستگاه راه‌آهن آروکولا (استونیایی: Aruküla raudteepeatus) یک ایستگاه راه‌آهن در آروکولا، استونی است.
این ایستگاه که در سال ۱۹۲۰ ساخته شده و دارای دو سکو به طول ۱۵۰ متر است، ایستگاه آروکولا در ۲۱ کیلومتری جنوب شرقی ایستگاه راه‌آهن بالتی یام قرار دارد.
اوقات شرعی

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

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

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