Payamvdn/NorthPersian_fa_wiki huggingface dataset:
۰۲۳، mathlib بیش از ۱۲۷,۰۰۰ قضیه و ۷۰,۰۰۰ تعریف را در Lean رسمی کرده بود. یکپارچه سازی ویرایشگرها. لین با: ارتباط گیری از طریق یک سرور پروتکل زبان و یک افزونه کلاینت انجام می شود. این زبان دارای پشتیبانی بومی از نمادهای یونیکد است که می توان با استفاده از توالی های شبیه به LaTeX، مانند " imes" برای "×" تایپ کرد. Lean همچنین می تواند به جاوااسکریپت کامپایل شود و در یک مرورگر وب دسترسی داشته باشد و از پشتیبانی گسترده ای برای فرا-برنامه نویسی برخوردار است. نمونه ها (Lean 4). اعداد طبیعی می توانند به عنوان یک نوع القایی تعریف شوند. این تعریف بر اساس اصل پیانو است و بیان می کند که هر عدد طبیعی یا صفر است یا جانشین عدد طبیعی دیگری است. inductive Nat : Type جمع اعداد طبیعی می تواند به صورت تعریف بازگشتی تعریف شود، با استفاده از تطبیق الگو. def Nat.add : Nat → Nat → Nat با استفاده از این تعریف ها، ما می توانیم یک اثبات تعریف بازگشتی برای یک قضیه ساده بنویسیم. theorem zero_add (a : Nat) : Nat.add zero a = a := match a with | zero =&gt; rfl | succ a' =&gt; congrArg succ (zero_add a')
آی چیچک خاتون (زاده ؟ – درگذشته ۱۲۲۱)؛ اولین همسر سلطان محمد خوارزمشاه و مادر بزرگترین پسرش، سلطان جلال الدین خوارزمشاه بود. او دختر یکی از خان های ترکمن بود. وی در ابتدا همسر صیغه ای سلطان محمد بود، اما بعدها به عنوان ملکه همسر سلطان منصوب شد. سلطان جلال الدین نیز به این دلیل که مادرش ترکمنی بود، همواره با ترکمن ها بوده و سپاهیان خود را از آن ها انتخاب می کرد که در بی باکی، سوارکاری و تیراندازی شهرت داشتند. زندگی نامه. آی چیچک خاتون (که نامش به معنای "گل آفتاب گردان" است) دختر یکی از خان های ترکمن بود. از اوایل زندگی و نسب وی چیزی مشخص نیست، برخی منابع او را ترک تبار و برخی دیگر هندی می نامند. آی چیچک پس از ورودش به حرم سرای سلطان محمد، پسر ارشد سلطان، جلال الدین را به دنیا آورد. در منابع تاریخی آمده است که ترکان خاتون، مادر سلطان محمد، رابطهٔ خوبی با عروسش آی چیچک نداشت، به طوری که بعدها مانع ولیعهدی پسرش، جلال الدین شد. گفته می شود علت تنفر شدید ترکان خاتون نسبت به آی چیچک، احتمالاً طبقه ای اجتماعی پایین وی بود. در جریال حملهٔ مغول در سال ۱۲۲۰، یکی از افراد به ترکان خاتون پیشنهاد داد که برای فرار از چنگ مغ
ول های متجاوز، به جلال الدین اعتماد کند و او را به عنوان وارث تاج و تخت و رهبر سپاه قبول کند، اما ترکان خاتون در جوابش گفت: سرانجام در سال ۱۲۲۱، جنگ جویان مغولی، به رهبری چنگیزخان توانستند جلال الدین و سپاهش را مغلوب کنند. هنگامی که آی چیچک مطلع شد که پسرش در جنگ شکست خورده، ترسید که مبادا او و عروسانش و باقی اهل حرم سرا به چنگ سربازان مغلولی گرفتار شوند و حرمتشان شکسته شود. برای همین فوراً دست به کار شد و نامه ای خطاب به پسرش، جلال الدین نوشت. متن درون نامه از این قرار بود: هنگامی که جلال الدین نامهٔ مادرش را خواند، دستور صادر کرد که داد تمامی اهل حرم باید خودشان را، تا قبل از رسیدن دشمن، هلاک کنند. آی چیچک نیز همراه با عروسان، نوه هایش و باقی اهل حرم سرا خودشان را در رود سند غرق کردند و همگی از دنیا رفتند. تنها پسر هفت سالهٔ جلال الدین که دستور کشتنش با تأخیر صادر شده بود سالم ماند، اما به چنگ چنگیزخان افتاد و اسیر شد.
شیم هه وون (؛ زادهٔ ۲۰ مارس ۲۰۰۴) که بیشتر با نام هنری بل (؛ ) شناخته می شود، خواننده و ترانه پرداز آمریکایی است. او یکی از اعضای گروه دخترانهٔ اهل کره جنوبی کیس آو لایف است.
هرچند جزئیات دقیق آن مشخص نیست، اما مسیحیت پیش از پذیرش رسمی آن به عنوان دین رسمی در اوایل قرن چهارم میلادی در ارمنستان گسترش یافت. در این زمان، ارمنستان بزرگ، مسیحیت را به عنوان دین رسمی خود پذیرفت و اولین کشوری بود که این کار را انجام داد. پادشاه وقت ارمنستان، تیرداد سوم از دودمان اشکانی، توسط گریگور روشنگر به مسیحیت گروید. گریگور روشنگر بعدها اولین رهبر کلیسای حواری ارمنی شد. تاریخ سنتی پذیرش مسیحیت در ارمنستان سال ۳۰۱ میلادی است، اما محققان، تاریخ های دیگری را نیز پیشنهاد کرده اند. با وجود اینکه ساختار کلیسای ارمنستان در این زمان بنیان نهاده شد، مسیحیت به تدریج در کشور ریشه دوانید. پیشرفت چشمگیر در این زمینه پس از ابداع الفبای ارمنی توسط مسروب ماشتوتس و ترجمه کتاب مقدس و متون مذهبی به زبان ارمنی در قرن پنجم میلادی رخ داد. مسیحی شدن ارمنستان یکی از مهم ترین رویدادهای تاریخ این کشور است که هویت مردم ارمنستان را شکل داد و این کشور را از پیوندهای چند صد ساله با ایران بزرگ جدا کرد. علاوه بر این، کلیسای ارمنی در زمانی که ارمنستان فاقد استقلال سیاسی بود، به حفظ هویت ارمنی کمک کرد. پیشینه. پیش از مسیحیت، مردم ارم
نستان عمدتاً پیرو آیین زرتشت بودند (احتمالاً در زمان هخامنشیان پذیرفته شده بود) که با باورهای بومی ارمنی و سایر ادیان ترکیب شده بود. ارمنستان بزرگ از قرن اول میلادی توسط شاهزادگان اشکانی اداره می شد. ارمنستان توانست استقلال خود را بین دو همسایه قدرتمند خود، یعنی امپراتوری های اشکانی و روم، حفظ کند. در قرن اول میلادی، توافقی بین این دو امپراتوری صورت گرفت که بر اساس آن ارمنستان توسط یک شاهزاده اشکانی که مورد تأیید روم بود، اداره می شد. اما با سقوط اشکانیان در ایران و روی کار آمدن ساسانیان در قرن سوم میلادی، اوضاع سیاسی تغییر کرد. درگیری بین روم و ایران شدت گرفت و اشکانیان ارمنی برای انتقام از ساسانیان به خاطر سرنگونی خویشاوندان اشکانی خود وارد جنگ شدند. در نتیجه، ارمنستان به روم نزدیک تر شد و گاهی مورد حمله و اشغال ساسانیان قرار گرفت. دوره اشغال ساسانیان با بازگشت تیرداد سوم، پادشاه اشکانی ارمنستان (که بعدها به مسیحیت گروید) به تاج و تخت در زمان سلطنت دیوکلتیان (۲۸۴–۳۰۵ میلادی) پایان یافت. این اتفاق احتمالاً در سال های ۲۹۸ یا ۲۹۹ میلادی، همزمان با پیمان نصیبین پس از پیروزی روم بر ساسانیان رخ داد. البته تاریخ ه
ای دیگری نیز برای بازگشت تیرداد سوم پیشنهاد شده است. گسترش اولیه مسیحیت. مسیحیت قبل از اینکه به عنوان دین رسمی در ارمنستان پذیرفته شود، در اوایل قرن چهارم میلادی در این سرزمین گسترش یافت. این دین از خاستگاه خود در فلسطین و از طریق سوریه و میان رودان به ارمنستان رسید. برخی روایت ها حاکی از تبلیغ مسیحیت توسط تادئوس و بارتولومیو، دو تن از حواریون مسیح، در ارمنستان هستند. گفته می شود تادئوس برای تبلیغ مسیحیت به ارمنستان آمد و در آنجا جان باخت. بعدها، داستان زندگی او با داستان گریگور روشنگر پیوند خورد. با این حال، این روایت ها که به دنبال اثبات قدمت کلیسای ارمنی هستند، ساختگی به نظر می رسند. با این وجود، شواهد نشان می دهد که مسیحیت در اوایل در ارمنستان حضور داشته است. در قرن دوم میلادی، ترتولیان، از بزرگان کلیسا، از ارمنی ها به عنوان مردمی که مسیحیت را پذیرفته بودند، یاد می کند. در اواسط قرن سوم، اسقف اسکندریه به اسقفی ارمنی به نام مروزانس نامه نوشت که نشان می دهد در آن زمان جامعه مسیحی قابل توجهی در ارمنستان وجود داشته است. اگرچه محل دقیق زندگی مروزانس مشخص نیست، اما برخی محققان معتقدند که او در جنوب ارمنستان می
زیسته است. مناطق جنوبی ارمنستان توسط حکومت های خودمختار اداره می شدند که پس از پیمان صلح با روم در سال ۲۹۹ میلادی، تحت نفوذ روم قرار گرفتند. برخی پژوهشگران معتقدند که مسیحی شدن ارمنستان در واقع به گرویدن اولیه این مناطق جنوبی برمی گردد؛ بنابراین، مسیحیت در دو موج پیاپی به ارمنستان وارد شد: موج اول از طریق سوریه و میان رودان به مناطق جنوبی ارمنستان رسید و موج دوم از طریق آسیای کوچک و در اوایل قرن چهارم میلادی به پادشاهی اشکانی ارمنستان وارد شد. گرویدن پادشاهی ارمنستان. روایت سنتی. روایت سنتی مسیحی شدن ارمنستان در کتاب تاریخ ارمنستان نوشته آگاتانگلوس آمده است که ترکیبی از واقعیت و افسانه است. بر اساس این روایت، در قرن سوم میلادی، پادشاه ارمنستان، خسرو دوم، با سلسله ساسانی در ایران وارد جنگ شد. ساسانیان قصد داشتند اشکانیان ارمنی را که آخرین بازماندگان سلسله اشکانی بودند، نابود کنند. آن ها آناک، یک نجیب زاده اشکانی، را برای جلب اعتماد پادشاه ارمنستان و کشتن او فرستادند. آناک موفق شد خسرو و بیشتر اعضای خانواده سلطنتی را به قتل برساند، اما او و خانواده اش توسط اشراف ارمنی کشته شدند. پس از این واقعه، پسر خسرو، تیردا
د، به روم برده شد و پسر آناک در شهر قیصریه در کاپادوکیه توسط مسیحیان بزرگ شد و نام گریگوری را به او دادند. بعدها، تیرداد با کمک رومیان تاج و تخت ارمنستان را پس گرفت. گریگوری برای خدمت به تیرداد به ارمنستان رفت، اما تیرداد تحت تأثیر امپراتور روم، دیوکلتیان، مسیحیان را آزار می داد. گریگوری از پرستش الهه آناهید، الهه باروری و عشق در اساطیر ارمنی، خودداری کرد و به همین دلیل توسط پادشاه زندانی و شکنجه شد. وقتی تیرداد فهمید که گریگوری پسر قاتل پدرش است، او را به چاهی عمیق به نام خور ویراپ در نزدیکی آرتاشات انداخت. گریگوری سیزده سال در این چاه زندانی بود. در این مدت، گروهی از راهبه های مسیحی که از امپراتوری روم گریخته بودند، به دستور تیرداد کشته شدند. در روایت آگاتانگلوس، گریگوری به طرز معجزه آسایی نجات می یابد و پس از اینکه خواهر تیرداد، خسروی دوخت، رؤیایی می بیند، از چاه بیرون آورده می شود. گریگوری سپس پادشاه را که به خاطر رفتار گناه آلودش به یک گراز وحشی تبدیل شده بود، شفا می دهد. تیرداد و دربار او مسیحیت را می پذیرند و ارمنستان اولین کشوری می شود که مسیحیت را به عنوان دین رسمی خود می پذیرد. پس از آزادی، گریگوری
شروع به تبلیغ مسیحیت در ارمنستان کرد و در مکان هایی که در رؤیا به او نشان داده شده بود، برای راهبه های شهید کلیساهایی ساخت. یکی از این کلیساها در شهر واغارشاپات ساخته شد که بعدها به مرکز مهم مسیحیت ارمنی تبدیل شد و در قرون وسطی به «اجمیادزین» تغییر نام داد. گریگوری با همراهی پادشاه تیرداد، نیایشگاه های قدیمی را در سراسر ارمنستان تخریب کرد و بر مقاومت روحانیون غیرمسیحی غلبه کرد. سپس او به شهر قیصریه رفت و به عنوان اسقف ارمنستان منصوب شد. تا اواخر قرن چهارم میلادی، جانشینان گریگوری برای تأیید مقام اسقفی خود به قیصریه می رفتند و ارمنستان تحت نظارت اسقف های قیصریه باقی ماند. گریگوری با همراهی دستیاران مسیحی خود از قیصریه به ارمنستان بازگشت و به جای نیایشگاه های قدیمی تخریب شده، کلیساهایی ساخت. او همچنین اموال و ثروت این معابد را تصاحب کرد و به کلیسای ارمنی بخشید. در محل یکی از معابد، گریگوری کلیسایی ساخت که تا سال ۳۸۷ میلادی مرکز اصلی کلیسای ارمنی بود. او همچنین پادشاه، سپاه و مردم ارمنستان را در رود فرات غسل تعمید داد. در روایتی دیگر، گریگوری پادشاهان کشورهای همسایه را نیز غسل تعمید داده است. او مدارسی برای آموز
ش مسیحیت به کودکان تأسیس کرد و برخی از فرزندان موبدان را به عنوان اسقف منصوب کرد. اگرچه بسیاری از عناصر روایت آگاتانگلوس افسانه ای هستند، اما برخی از جزئیات آن توسط منابع دیگر تأیید شده اند. به عنوان مثال، رهبری گریگوری و نوادگانش بر کلیسای اولیه ارمنی و همچنین انتصاب او به عنوان اسقف در سال ۳۱۴ میلادی در شورای کلیسای قیصریه توسط منابع دیگر تأیید شده است. با این حال، روایت آگاتانگلوس، گسترش مسیحیت در ارمنستان را به سرعت و در طول عمر گریگوری نشان می دهد، در حالی که در واقع این فرایند به تدریج و با مقاومت هایی همراه بوده است. تاریخ و دلایل. تاریخ سنتی گرویدن ارمنستان به مسیحیت سال ۳۰۱ میلادی است، اما تاریخ های دیگری مانند ۲۸۴ تا ۳۱۴ میلادی نیز پیشنهاد شده اند. بسیاری از پژوهشگران امروزی، سال ۳۱۴ میلادی را محتمل تر می دانند. برخی معتقدند که پادشاه ارمنستان، تیرداد سوم، از اتحاد با روم ناامید شده و برای تقویت کشور و جدایی بیشتر از روم و ایران، مسیحیت را پذیرفته است. اما برخی دیگر می گویند که تیرداد به عنوان متحد روم، نمی توانسته در زمانی که روم با مسیحیان مخالف بود، مسیحیت را دین رسمی کشور اعلام کند؛ بنابراین، آن
ها گرویدن ارمنستان به مسیحیت را به بعد از صدور فرمان میلان در سال ۳۱۳ میلادی نسبت می دهند. یک دیدگاه دیگر این است که تیرداد و دربار او در سال ۳۰۱ میلادی مخفیانه مسیحی شده بودند، اما پس از فرمان میلان آن را آشکار کردند. دیدگاه دیگری نیز وجود دارد که می گوید امپراتوری روم، با وجود مخالفت با مسیحیت، گرویدن ارمنستان به این دین را تحمل کرد، زیرا این اقدام علیه ایران ساسانی بود. جرج بورنوتیان، مورخ ارمنی، فشارهای خارجی، به ویژه از سوی ایران زرتشتی و سلسله ساسانی را عامل اصلی تصمیم تیرداد برای پذیرش مسیحیت می داند. مری بویس، پژوهشگر انگلیسی، نیز معتقد است که ارمنستان مسیحیت را در مخالفت با ساسانیان پذیرفت. رابرت تامسون، مورخ آمریکایی، تصمیم تیرداد را یک اقدام سیاسی می داند، اما انگیزه شخصی او را نامشخص می داند. مسیحیت و کلیسا از طریق ساختارهای اجتماعی و سیاسی موجود در ارمنستان گسترش یافتند. کلیسا اموال زیادی را از نیایشگاه های پیشین تصاحب کرد و کلیساهای اولیه ارمنی بر روی خرابه های آن ها ساخته شدند. اموال کلیسا در اختیار پاتریارک بود و مانند خاندان های اشرافی به ارث می رسید. مقام پاتریارک نیز مانند مناصب دولتی در ا
رمنستان به صورت موروثی در اختیار نوادگان گریگور روشنگر بود، اگرچه این موضوع با قوانین مسیحیت در تضاد بود. این عوامل باعث شد که کلیسا نقش سیاسی مستقلی داشته باشد و گاهی با پادشاهان اشکانی درگیر شود. گسترش مسیحیت در میان مردم ارمنستان و از بین بردن باورها و رسوم پیش از مسیحیت، روندی تدریجی و ناهموار بود. هم مردم عادی و هم اشراف در برابر مسیحیت مقاومت می کردند. اشراف ارمنی که با سیاست های طرفدار روم پادشاهی مخالف بودند، به جای مسیحیت، به آیین زرتشتی روی آوردند. ورتانس، پسر گریگوری، که پس از برادرش آریستاس به عنوان پاتریارک جانشین او شد، در آشتیشات تقریباً توسط بت پرستان کشته شد. در سال ۳۶۵ میلادی، نرسس اول، شورای آشتیشات را تشکیل داد و در آن رسوم پیش از مسیحیت مانند ازدواج های فامیلی، مراسم سوگواری به سبک بت پرستان و چندهمسری را ممنوع کرد. رابرت دابلیو تامسون، محقق آمریکایی، معتقد است که در ابتدا، تلاش برای گسترش مسیحیت در میان مردم ارمنستان عمدتاً توسط مردان مقدس و زاهدان محلی صورت می گرفت، نه توسط نهادهای کلیسا. بیشتر این افراد از سوریه یا مناطق اطراف آن بودند. یکی از دلایل کندی گسترش مسیحیت در ابتدا این بود ک
ه مراسم مذهبی به زبان یونانی یا سُریانی برگزار می شد و برای اکثر مردم ارمنستان قابل فهم نبود. با ابداع الفبای ارمنی در حدود سال ۴۰۵ میلادی توسط مسروب ماشتوتس که خود یک واعظ زاهد بود، مسیحی شدن مردم با سرعت بیشتری پیشرفت کرد. کتاب مقدس، متون مذهبی، آثار پدران کلیسا و دیگر متون مسیحی برای اولین بار به زبان ارمنی ترجمه شدند. در این کار، ماشتوتس از پادشاه بهرام شاپور و اسحاق پاتریارک کمک گرفت. در اواسط قرن پنجم میلادی، یزدگرد دوم، پادشاه ساسانی، تلاش کرد تا آیین زرتشتی اصلاح شده را در ارمنستان رواج دهد، اما با مقاومت ارمنی ها در نبرد آوارایر مواجه شد. اگرچه گروهی از اشراف ارمنی از پادشاه ساسانی حمایت کردند و از مسیحیت دست کشیدند، اما تلاش های ساسانیان برای از بین بردن مسیحیت ارمنی در نهایت شکست خورد. با این حال، بسیاری از عناصر دین پیش از مسیحیت به مسیحیت ارمنی راه یافتند و گروه کوچکی از ارمنی ها به نام آرئووردی هرگز به مسیحیت نگرویدند و ظاهراً تا به امروز نیز باقی مانده اند.
میمیمی گیمز یک سازنده بازی های ویدیویی آلمانی مستقر در مونیخ بود که در ساخت بازی های استراتژی و تاکتیکی تخصص داشت. این شرکت در ژانویه ۲۰۱۱ توسط دومینیک آبه و یوهانس راث تأسیس شد. بازی های قابل توجهی که توسط این استودیو ساخته شده عبارتند از آخرین تینکر: شهر رنگ ها (۲۰۱۴) , "تیغه های شوگان" (۲۰۱۶)، "دسپرادوس ۳" (۲۰۲۰) و در نهایت "شدو گمبیت: خدمه نفرین شده (۲۰۲۳)". تا نوامبر ۲۰۲۱، شرکت ۳۸ کارمند داشت. در ۲۹ اوت ۲۰۲۳، استودیو اعلام کرد که تعطیل خواهد شد.
در فناوری های پایگاه داده ، یک عقبگرد یک عملیات است که پایگاه داده را به یک حالت قبلی برمی گرداند. عقبگرد ها برای یکپارچگی پایگاه داده اهمیت دارند ، زیرا این معنا را می دهند که پایگاه داده حتی بعد از انجام شدن عملیات های اشتباه می تواند به یک نسخه سالم بازگردانده شود. ، عقبگردها برای بهبودی از خرابی های سرور حیاتی هستند. با بازگشت به عقب هر تراکنش که دز زمان خرابی سرور فعال بود، پایگاه داده به یک حالت منسجم بازیابی می شود. ویژگی عقبگرد معمولا با یک ثبت وقایع تراکنش پیاده سازی می شود، اما همچنین می تواند از طریق کنترل همروندی چندنسخه ای پیاده سازی شود. عقبگرد پی در پی. یک عقبگرد پی در پی در سیستم های پایگاه داده وقتی اتفاق می افتد که یک تراکنش (T1) باعث یک شکست می شود و یک عقبگرد باید اجرا شود. باقی تراکنش هایی که به اعمال T1 وابسته هستند هم به دلیل شکست T1 باید عقب گردانده بشوند، در نتیجه یک تاثیر پی در پی ایجاد می کند. این در واقع شکست یک تراکنش است که باعث می شود تعداد زیادی شکست بخورند. روش های عملی بازیابی پایگاه داده عقبگرد های غیر پی در پی را تضمین می کنند، در نتیجه یک عقبگرد پی در پی یک نتیجه دلخواه نی
ست. عقبگرد پی در پی توسط یک مدیر دیتا بیس برنامه ریزی می شود. SQL. SQL به معنای زبان ساخت یافته ی پرس و جو است که برای دسترسی، به روزرسانی و دستکاری کردن اطلاعات است. در اس کیوال ، codice_1 دستوری است که باعث میشود همه ی تغییرات اطلاعات از آخرین codice_2 یا codice_3توسط سیستم مدیریت دیتابیس رابطه ای لغو بشود. که حالت داده به حالت قبل ار اعمال آن تغییرات عقبگردانده شود. یک عبارت codice_1 همچنین هر نقطه ذخیره سازی موجود را رها می کند. در اکثر نسخه های مختلف SQL ، دستورها codice_1 مختص به ارتباط هستند. این به این معناست که اگر دو ارتباط به یک پایگاه داده برقرار باشند، یک codice_1 در که در یک ارتباط ایجاد شده است بر ارتباط های دیگر تاثیر نمی گذارد. این برای همزمانی مناسب حیاتی است. استفاده خارج از پایگاه های داده. عقبگرد ها منحصر به ساختمان های داده نیستند. هر سیستم توزیع شده حالتی ای می تواند از عملیات های عقبگرد برای نگهداری انسجام استفاده کند. نمونه هایی از سیستم های توزیع شده ای که می توانند از عقبگرد ها پشتیبانی کنند شامل صف پیغام ها و سیستم های مدیریت گردش کار می شود. به طور عمومی تر، هر عملیاتی که سیستم را
قبل از یک عملیات دیگر یا مجموعه ای از عملیات ها به حالت قبلی اش بر می گرداند می تواند به عنوان یک عقبگرد شناخته شود.
بوکیت تینگی یک شهرک کوچک در منطقه بوتونگ، ایالت پاهانگ، مالزی است. این شهرک کوچک که در امتداد بزرگراه کوالالامپور-کاراک قرار دارد برای افرادی که به منطقه تفریحی ارتفاعات جنتینگ تردد می کنند برای دیدار از آن جذاب است. مکان شاخص شهرک، یک دهکده کوچک با بن مایه فرانسوی به نام کولمار تروپیکال است. پیرامون شهرک. حرکت کردن از کوالا لامپور تا رسیدن به بوکیت تینگی، ۵۵ دقیقه (۵۴٬۳ کیلومتر) زمان می برد و شهرک در ارتفاع ۸۰۰ متر بالاتر از سطح دریا قرار دارد. دمای شهرک بین ۲۲ تا ۲۶ درجه سانتی گراد است. در سال ۱۹۸۷، طرح هایی برای توسعه شهرک در جهت کاهش تراکم جمعیتی در کوالالامپور در نظر گرفته شده بود.
بمب گذاری کافه مومنت یک بمب گذاری انتحاری فلسطینی در یک کافی شاپ در مرکز شهر اورشلیم بود که در آن ۱۱ غیرنظامی اسرائیلی کشته و ۶۵ نفر دیگر زخمی شدند. این بمب گذاری در ۹ مارس ۲۰۰۲ به عنوان بخشی انتفاضه دوم انجام شد. حمله. در ۹ مارس ۲۰۰۲، اندکی قبل از ساعت ۲۲:۳۰، یک بمب گذار انتحاری فلسطینی وارد کافه مومنت در محله ریحاویه اورشلیم در تقاطع خیابان غزه و خیابان بن میمون، واقع در حدود ۱۰۰ متری اقامتگاه نخست وزیر شد. در آن زمان، این کافه یکی از محبوب ترین مراکز تفریحی اورشلیم بود. بمب گذار انتحاری بلافاصله پس از ورود به ساختمان، بمب قدرتمندی را که در زیر لباسش پنهان شده بود، منفجر کرد. نیروی انفجار به طور کامل مغازه را ویران کرد، بلافاصله ۱۱ غیرنظامی اسرائیلی کشته و ۶۵ نفر زخمی شدند که ۱۰ نفر از آن ها به طرز وخیمی مجروح شدند. عاملان. حماس مسئولیت این حمله را بر عهده گرفت. تحقیق و بررسی. در ۱۷ اوت ۲۰۰۲، نیروهای امنیتی اسرائیل اعضایی از حماس را که این حمله را انجام داده بودند، دستگیر کردند. ستیزه جویان ساکن اورشلیم شرقی بودند. آن ها به دلیل اقامت دائم در اسرائیل، کارت های هویت آبی اسرائیلی را حمل می کردند که به آنها اج
ازه می داد در اسرائیل کار کنند و به راحتی در اسرائیل سفر کنند. در حالی که نیروهای امنیتی اسرائیل در حال بررسی این حادثه بودند متوجه شدند این افراد که در رسانه ها از آن ها به عنوان «سلول سیلوان» یاد می شود، مسئول یک سری حملات علیه غیرنظامیان اسرائیلی از جمله حمله به کافه مومنت بوده اند که در در مجموع ۳۵ غیرنظامی اسرائیلی کشته و ۲۰۰ نفر دیگر زخمی شدند. به گفته نیروهای امنیتی اسرائیل، این افراد بر اساس دستوراتی که از مقر حماس در رام الله دریافت کرده بودند، عمل می کردند. حماس به آن ها دستور داده بود تا یک فضای عمومی شلوغ را برای انجام یک حمله انتحاری با تلفات گسترده پیدا کنند. در اکتبر ۲۰۱۱، اعضای گروه سیلوان همگی به عنوان بخشی از تبادل زندانیان گیلاد شلیت از زندان آزاد شدند. طرح دعوی در دادگاه. شکایتی علیه بانک عرب به دلیل تأمین مالی این حمله ثبت شد. پیامد. این حمله در ماه مارس ۲۰۰۲ رخ داد که در آن اسرائیل بیشترین میزان تلفات انتفاضه دوم را متحمل شد - ۱۱۱ سرباز و غیرنظامی اسرائیلی در طول آن ماه در بیش از ۱۲ حمله توسط شبه نظامیان در سراسر کشور کشته شدند. این حملات در ۲۷ مارس ۲۰۰۲ با کشتار عید پسح به اوج خود رسید
که منجر به تصمیم دولت اسرائیل برای راه اندازی یک عملیات نظامی بزرگ علیه زیرساخت های شبه نظامیان فلسطینی در کرانه باختری شد
کوییک یک پروتکل لایهٔ انتقال است که در سال ۲۰۱۲ توسط جیم روسکایند در گوگل پیاده سازی و در سال ۲۰۱۳ منتشر شد. این پروتکل، برای بیش از نیمی از اتصالات گوگل کروم به سرورهای گوگل استفاده می شود. علاوه بر این مرورگرهای ماکروسافت اج، فایرفاکس و سافاری نیز از این پروتکل پشتیبانی می کنند. کوییک، عملکرد پروتکل پیشین خود، یعنی پروتکل هدایت انتقال را بهبود می بخشد. این کار، با استفاده از پروتکل داده نگار کاربر به عنوان پایه ای برای برقراری ارتباط بین دو نقطهٔ پایانی در لایهٔ انتقال انجام می شود. علاوه بر این، کوییک به کاهش تاخیر و جلوگیری از ازدحام در شبکه کمک می کند. در سال ۲۰۲۱، کارگروه مهندسی اینترنت پروتکل کوییک را استانداردسازی کرد. ویژگی ها. در خصوص پشتیبانی از پروتکل امن انتقال ابرمتن (HTTPS)، کوییک همانند پروتکل هدایت انتقال (TCP) عمل می کند، ولی تاخیر کمتری ارائه می دهد و به شکلی بهینه تر بسته های گم شده را بازیابی می کند. این بهبودها به سبب دو تفاوت عمده بین این کوییک و TCP به وجود آمده اند. اولین تفاوت، کاهش زمان لازم برای اتصال اولیه در کوییک است. با توجه به این که بیشتر اتصالات HTTPS نیازمند پروتکل امنیتی ل
ایهٔ انتقال (TLS) هستند، کوییک بخشی از اطلاعات لازم برای این پروتکل را در دست دهی اولیه منتقل می کند. تا پیش از این، لازم بود تا در ابتدا یک اتصال TCP برقرار شود، سپس اطلاعات لازم برای پروتکل های امنیتی رد و بدل شوند. دومین تفاوت، استفاده از پروتکل داده نگار کاربر (UDP) به عنوان پایهٔ انتقال اطلاعات است. برای جبران خدماتی که UDP ارائه نمی دهد (مانند بازیابی بسته ها)، کوییک خود در جریانی متفاوت از UDP این خدمات را پیاده سازی می کند. این تفاوت جریان باعث می شود که در صورت خطا در یکی از پروتکل ها، پروتکل دیگر کمتر تحت تاثیر قرار می گیرد. اگر چه در ابندا نام آن به عنوان مخفف "اتصالات اینترنتی UDP سریع" انتخاب شد ، اما در استفاده IETF از کلمه QUIC مخفف نیست . بلکه فقط نام پروتکل است. QUIC عملکرد برنامه های وب مبتنی بر اتصال که در حال حاضر از پروتکل کنترل انتقال (TCP)استفاده می کنند را بهبود می بخشد. این کار را با برقراری تعدادی اتصال چندگانه بین دو نقطه پایان با استفاده از پروتکل UDP (Datagram User) انجام می دهد و برای بسیاری از برنامه ها طراحی شده است تا پروتکل TCP را در الیه حمل برای بسیاری از برنامه ها منسوخ کن
د و به همین دلیل به پروتکل گاه به گاه "/2TCP "نامگذاری می شود. QUIC همراه با اتصالات چندگانه /3HTTP کار می کند که امکان رسیدن داده های چند جریان به تمام نقاط پایان را به طور مستقل فراهم می کند و بنابراین مستقل از از دست دادن بسته های داده مربوط به جریان های دیگر است. در مقابل، /2HTTP که بر روی TCP میزبانی می شود، ممکن است با تاخیرهای مسدود کننده خط اول مواجه شود اگر چندین جریان روی یک اتصال TCP چندگانه متعدد شوند و هر یک از بسته های TCP در آن اتصال تاخیر یا از دست بروند. اهداف فرعی. اهداف فرعی QUIC شامل کاهش تاخیر اتصال و حمل و نقل و تخمین پهنای باند در هر جهت برای جلوگیری از تراکم است. همچنین، این پروتکل الگوریتم های کنترل تراکم را به فضای کاربر در هر دو نقطه پایان منتقل می کند، به جای فضای هسته، که ادعا می شود این امکان را به الگوریتم ها می دهد تا بهبود بیشتری داشته باشند. عالوه بر این، این پروتکل می تواند با استفاده از اصالح خطاهای پیش بینی شده (FCE) عملکرد را بهبود بخشد و این به عنوان مرحله بعدی در تکامل پروتکل در نظر گرفته می شود. طراحی شده است تا از تصلب پروتکل جلوگیری کند تا به عنوان TCP که تصلب قابل ت
وجهی داشته است، قابل توسعه باقی بماند. در ژوئن ،2015 یک پیش نویس اینترنتی از یک مشخصه برای QUIC به IETF برای استاندارد سازی ارسال شد. یک گروه کاری QUIC در سال 2016 تشکیل شد. در اکتبر ،2018 گروه های کاری HTTP و QUIC IETF به طور مشترک تصمیم گرفتند که نگاشت HTTP روی QUIC را "/3HTTP "نامگذاری کنند قبل از آنکه آن را به عنوان یک استاندارد جهانی اغلام کنند. در ماه مه ،2021 QUIC IETF را در 9000 RFC استاندارد سازی کرد، که توسط 8999 RFC، 9001 RFC و 9002 RFC پشتیبانی می شود. -DNS QUIC-over نیز یک برنامه دیگر است. پس زمینه. پروتکل کنترل انتقال یا TCP به هدف فراهم کردن یک رابط برای ارسال جریان های داده بین دو نقطه پایان است. داده به سیستم TCP تحویل داده میشود که اطمینان میدهد داده به همان شکل به سمت دیگری منتقل شود و در غیر این صورت اتصال خطا را نشان میدهد. برای این کار، TCP داده را به بسته های شبکه تقسیم میکند و مقادیر کوچکی را به هر بسته اضافه میکند. این داده اضافی شامل یک شماره توالی است که برای تشخیص بسته های گم شده یا به ترتیب نرسیده استفاده میشود و یک چکسازی که امکان تشخیص خطاهای داخل داده بسته را فراهم میکند. هنگام
ی که هر یک از این مشکلات رخ میدهد، TCP از درخواست تکرار خودکار تکراری (ARQ)استفاده میکند تا به فرستنده بگوید بسته گم شده یا آسیب دیده را مجدداً ارسال کند. در بیشتر پیاده سازی ها، TCP هر خطا در یک اتصال را به عنوان یک عملیات مسدود کننده میبیند که تا زمان حل خطا یا اتصال به عنوان ناموفق در نظر گرفته میشود، انتقال های بعدی متوقف میشود. اگر یک اتصال تنها برای ارسال چندین جریان داده استفاده شود، همانطور که در پروتکل /2HTTP رخ میدهد، تمام این جریان ها مسدود میشوند، اگرچه تنها یکی از آنها ممکن است مشکل داشته باشد. به عنوان مثال، اگر در حین بارگیری یک تصویر GIF برای استفاده در favicon یک خطا رخ دهد، صفحه به طور کامل منتظر میماند تا این مشکل حل شود. این پدیده به عنوان مسدود شدن سر خط شناخته میشود. از آنجا که سیستم TCP طراحی شده است تا شبیه یک "لوله داده" یا جریان باشد ، قصداً درک کمی از داده هایی که انتقال میدهد، دارد. اگر این داده نیازهای اضافی مانند رمزگذاری با استفاده از TLS داشته باشد، باید توسط سیستم هایی که روی TCP اجرا میشوند و با نرم افزار مشابه در سمت دیگر اتصال برقرار میکنند، تنظیم شود. هر یک از این نوع وظای