aria-haman/haman-fa-wikipedia-articles-186k huggingface dataset:
موضوع مقاله: کوستاس پیلیاس | مخاطب: عمومی | لحن: دانشنامه‌ای | ساختار: عنوان، مقدمه، 3 بخش، جمع‌بندی | مقاله: | # کوستاس پیلیاس | مقدمه: کوستاس پیلیاس ( )؛ زاده ۱۱ دسامبر ۱۹۹۸) یک فوتبالیست حرفه‌ای اهل قبرس است که در پست دفاع چپ برای باشگاه فوتبال پافوس بازی می‌کند. | ## بخش 1: کوستاس پیلیاس | پس از آن و در سال ۲۰۱۷، پیلاس به کشور خود، قبرس بازگشت و به تیم آنورتوسیس فاماگوستا پیوست. با تصمیم باشگاه، او فصل ۱۹-۲۰۱۸ را به صورت قرضی درباشگاه فوتبال ارمیس آرادیپو گذراند. | ## بخش 2: کوستاس پیلیاس | او سپس به باشگاه فوتبال آنورتوسیس بازگشت و با این تیم قهرمان لیگ دسته اول فوتبال قبرس فصل ۲۱-۲۰۲۰ شد. تابستان سال بعد، او به تیم اتنیکوس اچنا منتقل شد تا به این تیم کمک کند که برای دومین بار در تاریخش به فینال جام حذفی قبرس برسد. | ## بخش 3: کوستاس پیلیاس | او ۱۲۰ دقیقه بازی فینال را به طور کامل در ترکیب تیمش حاضر بود، و در وقت اضافه شوت او به تیرک دروازه برخورد کرد، اما اتنیکوس اچنا در ضربات پنالتی شکست خورد. او در ادامه توانست با تیم آریس لیماسول به مقام قهرمانی در لیگ دسته اول قبرس ۲۰۲۲–۲۳ برسد. | ## جمع‌بندی | او نخستین بازی خود را برای تیم ملی قبرس در ۲۰ ژوئن ۲۰۲۳ در شکست ۳-۱ مقابل نروژ در مقدماتی یورو ۲۰۲۴ انجام داد.
موضوع مقاله: فدراسیون جهانی آمادگی جسمانی | مخاطب: عمومی | لحن: دانشنامه‌ای | ساختار: عنوان، مقدمه، 3 بخش، جمع‌بندی | مقاله: | # فدراسیون جهانی آمادگی جسمانی | مقدمه: فدراسیون جهانی آمادگی جسمانی (WFF) سازمان بین‌المللی بدنسازی است که در سال ۱۹۶۸ تأسیس شد. | ## بخش 1: فدراسیون جهانی آمادگی جسمانی | این فدراسیون بدنسازی کلاسیک یا ورزشی را با تمرکز بر کیفیت زیبایی بدن به جای عضله‌سازی ترویج می‌کند. رویدادهای ابتدایی فدراسیون در اروپای شرقی برگزار شد، اما در طول دههٔ ۱۹۹۰ علاقهٔ جهانی به رویدادهای فدراسیون از جاهای دور و نزدیک مورد حمایت قرار گرفت و امروزه فدراسیون در تمام قاره‌ها پشتیبانی می‌شود. در سال‌های ۲۰۱۴ و ۲۰۱۵، رویدادهای مهم فدراسیون در خارج از اروپا برای اولین بار در سال ۲۰۱۴ در کرهٔ جنوبی و مسابقات قهرمانی جهانی به میزبانی استرالیا و آفریقای جنوبی در سال‌های ۲۰۱۴ و ۲۰۱۵ برگزار شد. در سال ۲۰۱۶ فدراسیون با برگزاری مسابقات در اورلاندو، فلوریدا به آمریکا گسترش یافت. | ## بخش 2: فدراسیون جهانی آمادگی جسمانی | در سال ۲۰۱۸، مسابقات جهانی فدراسیون در هانتینگتون بیچ، کالیفرنیا و به میزبانی بدنساز مشهور، لورن پاورز، برگزار شد. رویدادهای مهم فدراسیون در حال حاضر هر سال دو مسابقه بزرگ بین‌المللی برگزار می‌کند. این رویدادها مسابقات مقدماتی حرفه ای هستند که در آن افراد واجد شرایط می‌توانند صاحب جایگاه حرفه ای در فدراسیون شوند. سایر رویدادهای مقدماتی حرفه‌ای عبارتند از مسابقات قهرمانی اروپا، مسابقات قهرمانی آسیا اقیانوسیه، جام پان آمریکن و غیره. | ## بخش 3: فدراسیون جهانی آمادگی جسمانی | سطوح حرفه‌ای در سال ۲۰۱۴ بخش حرفه ای فدراسیون ایجاد شد تا سطح بیشتری از رقابت در سطح نخبگان را فراهم کند. فدراسیون سطوح حرفه ای را برای مردان و زنان در بدنسازی، بیکینی و مدلینگ ورزشی ارائه می‌دهد. | ## جمع‌بندی | برندگان رویدادهای مهم بین‌المللی فدراسیون و مسابقات قهرمانی قاره‌ای، صاحب جایگاه حرفه‌ای می‌شوند و فرصت رقابت برای دریافت جایزه به دست می‌آورند.
موضوع مقاله: یوآنیس پیتاس | مخاطب: عمومی | لحن: دانشنامه‌ای | ساختار: عنوان، مقدمه، 3 بخش، جمع‌بندی | مقاله: | # یوآنیس پیتاس | مقدمه: یوانیس پیتاس ( ; متولد 10 ژوئیه 1996) یک فوتبالیست قبرسی است که در حال حاضر به عنوان مهاجم در باشگاه سوئدی AIK در لیگ برتر سوئد و تیم ملی قبرس بازی می کند. | ## بخش 1: یوآنیس پیتاس | در این بازی، تیمش در خارج از خانه مقابل کالمار بازی داشت و این بازی با ننیجه 1-1 به پایان رسید. در 24 سپتامبر 2023، پیتاس زمانی که هر دو گل را در پیروزی 2-0 مقابل رقیب سرسخت و دیرینه تیمش، دیورگان در فرندز آرنا به ثمر رساند، تبدیل به یک قهرمان بزرگ دربی برای AIK شد. | ## بخش 2: یوآنیس پیتاس | در دور نهایی لیگ برتر سوئد در سال 2023، پیتاس در 14 دقیقه مقابل ورنمو هت تریک کرد و قرارداد AIK با خودش را برای فصل 2024 تضمین کرد. پیتاس فصل را به عنوان بهترین گلزن داخلی با 9 گل در 13 بازی لیگ برتر سوئد به پایان رساند، علیرغم این واقعیت که او بازی های کمتری نسبت به رقیب خود Rui Modesto انجام داده بود. | ## بخش 3: یوآنیس پیتاس | حرفه بین المللی او پس از دعوت به تیم ملی، نخستین بازی ملی خود را برای تیم ملی فوتبال قبرس در 8 ژوئن 2019 در دور مقدماتی یورو 2020 در برابر تیم ملی فوتبال اسکاتلند انجام داد و در دقیقه 80 به جای آندریاس ماکریس به میدان رفت. | ## جمع‌بندی | خیر تاریخ محل حریف نمره نتیجه رقابت 1 30 مارس 2021 ورزشگاه GSP ، نیکوزیا ، قبرس 1-0 1-0 مقدماتی جام جهانی 2022 2 20 نوامبر 2022 استادیوم هاموشاوا ، پتاه تیکوا ، اسرائیل 2-0 3-2 دوستانه 3 17 ژوئن 2023 AEK Arena – جورجیوس کاراپاتاکیس ، لارناکا ، قبرس 1-1 1-2 مقدماتی یورو 2024 4 20 نوامبر 2023 ورزشگاه آلفامگا ، لیماسول ، قبرس 1-0 1-0 دوستانه افتخارات آپولون لیماسول دسته اول قبرس : 2021–22 جام قبرس : (2) 2015–16 ، 2016–17 سوپر جام قبرس : (3) 2016 ، 2017 ، 2022 شخصی بهترین گلزن دسته اول قبرس : 2022–23 زندگی شخصی او پسر پامبوس پیتاس مدافع سابق آپولون لیماسول و تیم ملی فوتبال قبرس است.
موضوع مقاله: Algorithm program debugging | مخاطب: عمومی | لحن: دانشنامه‌ای | ساختار: عنوان، مقدمه، 3 بخش، جمع‌بندی | مقاله: | # Algorithm program debugging | مقدمه: اشکال‌زدایی الگوریتمی (همچنین به آن اشکال‌زدایی اظهاری می‌گویند) یک تکنیک اشکال‌زدایی است که نتایج زیر-محاسبات را با آنچه برنامه‌نویس قصد داشته است، مقایسه می‌کند این تکنیک یک نمایش داخلی از تمام محاسبات و زیر-محاسبات انجام شده در حین اجرای یک برنامه با خطا ایجاد می‌کند و سپس از برنامه‌نویس در مورد صحت چنین محاسباتی سوال می‌پرسد .با پرسیدن سوالات از برنامه‌نویس یا استفاده از یک مشخصه فرمال، سیستم می‌تواند دقیقاً مکان خطا در یک برنامه را تشخیص دهد. | ## بخش 1: Algorithm program debugging | تکنیک‌های اشکال‌زدایی می‌توانند به طور چشمگیری زمان و تلاش مورد نیاز برای اشکال‌زدایی را کاهش دهند بررسی اجمالی اشکال‌زدایی برنامه یک بخش بسیار رایج از توسعه نرم‌افزار است. تا دهه ۱۹۸۰، هنر اشکال‌زدایی برنامه، که توسط هر برنامه‌نویسی انجام می‌شد، بدون هیچ پایه‌نظری بود در اوایل دهه ۱۹۸۰، روش‌های سیستماتیک و اصولی برای اشکال‌زدایی برنامه توسعه یافت. تکنیک اشکال‌زدایی الگوریتمی یک نمایش داخلی از تمام محاسبات و زیر-محاسبات انجام شده در حین اجرای یک برنامه با خطا (یک درخت اجرا) ایجاد می‌کند سپس، از برنامه‌نویس در مورد صحت چنین محاسباتی سوال می‌پرسد. | ## بخش 2: Algorithm program debugging | وقتی نتیجه صحیح باشد، برنامه‌نویس "بله" پاسخ می‌دهد و وقتی نتیجه نادرست باشد، "خیر" پاسخ می‌دهد برخی از اشکال‌زدایی الگوریتمی همچنین پاسخ "نمیدانم" را قبول می‌کنند وقتی برنامه‌نویس نتواند پاسخ دهد (برای مثال به دلیل پیچیدگی سوال). بنابراین، پاسخ‌های برنامه‌نویس جستجو برای یافتن باگ را تا زمان جدا کردن قسمت‌های صحیح برنامه هدایت می‌کند فرآیند اشکال‌زدایی الگوریتمی به دنبال یافتن یک باگ در هر زمان است. به منظور یافتن باگ‌های مختلف، فرآیند باید برای هر باگ مختلف دوباره شروع شود ریشه ها، جهت های فعلی و آینده اشکال‌زدایی الگوریتمی ابتدا توسط اهود شاپیرو در طول تحصیلات دکتری خود در دانشگاه ییل توسعه یافت، که در پایان‌نامه دکتری خود معرفی شد و به عنوان پایان‌نامه برجسته ACM در سال ۱۹۸۲ انتخاب شد شاپیرو روش اشکال‌زدایی الگوریتمی را در زبان برنامه‌نویسی Prolog (یک زبان برنامه‌نویسی منطق عمومی) برای اشکال‌زدایی برنامه‌های منطقی پیاده‌سازی کرد در صورت برنامه‌های منطقی، رفتار قصدی برنامه یک مدل است (مجموعه‌ای از عبارات ساده واقعی) و باگ‌ها به عنوان ناتمامی برنامه (عدم توانایی در اثبات یک عبارت واقعی) یا نادرستی (توانایی در اثبات یک عبارت غلط) ظاهر می‌شوند. | ## بخش 3: Algorithm program debugging | الگوریتم یک عبارت غلط را در برنامه شناسایی می‌کند و یک مثال مخالف برای آن یا یک عبارت واقعی که باید به برنامه اضافه شود را فراهم می‌کند یک روش برای مدیریت عدم پایان نیز توسعه یافت. | ## جمع‌بندی | تحقیقات و توسعه در حوزه اشکال‌زدایی الگوریتمی بهبود‌های قابل توجهی را نسبت به الگوریتم‌های اصلی برای اشکال‌زدایی Prolog و سایر زبان‌ها داشته و ایده‌ها را به سایر پارادایم‌های زبان مانند زبان‌های تابعی و شئ‌گرا گسترش داد .
موضوع مقاله: بمب‌گذاری در اتوبوس شموئل هاناوی | مخاطب: عمومی | لحن: دانشنامه‌ای | ساختار: عنوان، مقدمه، 3 بخش، جمع‌بندی | مقاله: | # بمب‌گذاری در اتوبوس شموئل هاناوی | مقدمه: یک بمب‌گذاری انتحاری در یک اتوبوس عمومی شلوغ در محله شموئل هاناوی در اورشلیم در ۱۹ اوت ۲۰۰۳ رخ داد. | ## بخش 1: بمب‌گذاری در اتوبوس شموئل هاناوی | حمله در ۱۹ اوت ۲۰۰۳ (۲۲ آو ۵۷۶۳)، یک بمب‌گذار انتحاری حماس که توسط سازمان الخلیل فرستاده شده بود، خود را به شکل یک یهودی حریدی درآورده و خود را در اتوبوس شماره ۲ ایگد که از محله شموئل هاناوی اورشلیم در حال حرکت بود، منفجر کرد. اتوبوس دوبل مملو از کودکان یهودی ارتدوکس بود که از بازدید از دیوار غربی برمی‌گشتند. علاوه بر عامل این انفجار مهیب، ۷ کودک و ۱۶ بزرگسال از جمله یک زن هشت‌ماهه باردار نیز کشته شدند و بیش از ۱۳۰ نفر مجروح شدند. | ## بخش 2: بمب‌گذاری در اتوبوس شموئل هاناوی | از آنجایی که بسیاری از کشته‌شدگان و مجروحان کودک بودند رسانه‌ها آن را «اتوبوس کودکان» نامیدند. به گفته طارق علی، با این حال، این بمب‌گذاری توسط «یک خودخوانده حماس از الخلیل انجام شد که توسط رهبری رسمی انکار و محکوم شده بود.» این حمله به صلح یا هدنه‌ای که در ژوئیه ۲۰۰۳ اعلام شده بود، پایان داد. کمیسیون اروپا همچنین آنچه را که «حمله تروریستی ویرانگر» خواند، محکوم کرد و از تشکیلات خودگردان فلسطین خواست تا برای توقف چنین اقداماتی مداخله کند:کمیسیون اروپا حمله تروریستی ویرانگر شب گذشته در اورشلیم را به شدت محکوم می‌کند و صمیمانه همدردی خود را با خانواده قربانیان و دولت اسرائیل ابراز می‌دارد. | ## بخش 3: بمب‌گذاری در اتوبوس شموئل هاناوی | کمیسیون اروپا از تشکیلات خودگردان فلسطین می‌خواهد تا تمام توان خود را برای جلوگیری از چنین اقدام خشونت‌آمیز غیرقابل قبول و غیرقابل توجیهی انجام دهد و از تشکیلات خودگردان و دولت اسرائیل می‌خواهد تا گفتگو و تلاش‌های مشترک خود را برای صلح، همان‌طور که در نقشه راه مشخص شده است، دنبال کنند. | ## جمع‌بندی | عواقب پس از این حمله، نیروهای اسرائیلی ۱۷ فلسطینی مظنون به عضویت در حماس را دستگیر کردند، از جمله چند تن از بستگان بمب‌گذار، در حالی که اسماعیل ابوشنب از فرماندهان حماس و دو محافظش در حمله موشکی بالگرد اسرائیلی در غزه کشته شدند.
موضوع مقاله: کلیسای کاتولیک در افغانستان | مخاطب: عمومی | لحن: دانشنامه‌ای | ساختار: عنوان، مقدمه، 3 بخش، جمع‌بندی | مقاله: | # کلیسای کاتولیک در افغانستان | مقدمه: قبل از اوت ۲۰۲۱، تعداد کاتولیک‌ها در این کشور عمدتاً بسیار کم بود - فقط بیش از ۲۰۰ نفر در تنها کلیسای آن حضور می‌یافتند - و آزادی دین در این زمان‌ها، به ویژه تحت حکومت جدید طالبان، دشوار بوده است. | ## بخش 1: کلیسای کاتولیک در افغانستان | مسیحیان اولیه در افغانستان اعضای کلیسای تاریخی شرق یا کلیسای حواری ارمنی بودند و تا قرن بیستم حضور پایداری از کاتولیک‌ها در افغانستان وجود نداشت. در سال ۱۹۲۱، سفارت ایتالیا در کابل اجازه یافت تا اولین و تنها کلیسای کاتولیک قانونی را برای خدمت به خارجیانی که در پایتخت کار می‌کردند، اما برای مردم محلی باز نبود، بسازد. در ۱۶ می ۲۰۰۲، پاپ ژان پل دوم مأموریتی با نام sui iuris برای افغانستان تأسیس کرد که جوزپه مورتی به عنوان سرپرست آن منصوب شد و در حال حاضر سرپرست آن جیووانی ام. پس از حمله طالبان در سال ۲۰۲۱، کلیسای کاتولیک حضور فعال خود را در افغانستان متوقف کرد. تاریخچه قبل از استقلال افغانستان مسیحیت در افغانستان از اعمال آپوکریفی توماس و سایر اسناد باستانی موجود نشات می‌گیرد. نسطوریان مسیحیت را در این منطقه به وجود آوردند و به‌طور تاریخی ۹ اسقف و دیاسه در این منطقه از جمله هرات (۴۲۴–۱۳۱۰)، فراه (۵۴۴–۱۰۵۷)، قندهار و بلخ وجود داشتند. | ## بخش 2: کلیسای کاتولیک در افغانستان | تأسیس اولیه مسیحیت توسط فتوحات مسلمانان در قرن هفتم تحت تأثیر قرار گرفت، گرچه این سرزمین تا قرن نهم و دهم به‌طور قابل توجهی تحت کنترل مسلمانان نبود. در سال‌های ۱۵۸۱ و ۱۵۸۲ به ترتیب، یسوعیان آنتونیو دو مونتسرات از اسپانیا و بنتو دو گویس از پرتغال به گرمی توسط امپراتور اسلامی مورد استقبال قرار گرفتند، اما حضور پایداری از یسوعیان در کشور وجود نداشت. قرن بیستم پادشاهی ایتالیا اولین کشوری بود که معاهده انگلیسی-افغانستان ۱۹۱۹ را به رسمیت شناخت. یکی از دانش‌آموزانش به عنوان همکار وی به‌طور علنی نه به عنوان کشیش، بلکه به عنوان پیک دیپلماتیک و معاون صدراعظم در سفارت منصوب شد. «در آن زمان تعداد ساکنان کاتولیک به صدها نفر می‌رسید، که اکثریت آن‌ها در پایتخت بودند، اعضای سفارتخانه‌ها یا پیمانکارانی که توسط دولت افغانستان استخدام شده بودند؛ تعداد دیگر در سراسر کشور پراکنده بودند. به‌طور کلی این جمعیت متشکل از تکنسین‌ها و کارگران متخصصی بود که مهارت‌های خود را برای ساختن انواع کارهای عمومی که پیشرفت کشور را نشان می‌داد، ارائه می‌کردند.» علاوه بر کارهای معنوی، کاسپانی یادداشت‌های دقیقی از سیاست، فرهنگ و جغرافیای سرزمین نگه می‌داشت. | ## بخش 3: کلیسای کاتولیک در افغانستان | این مشاهدات بعداً در یک جلد ایتالیایی منتشر شد که با همکاری کاگناچی تحت عنوان «افغانستان، چهارراه آسیا» منتشر شد. برناسکونی (۱۹۴۷–۱۹۵۷)؛ رافائله نانتی (۱۹۵۷–۱۹۶۵)؛ و آنجلو پانیگاتی (۱۹۶۵–۱۹۹۰) نیز حضور داشتند. دوران تهاجم شوروی و شورش طالبان پاپ ژان پل دوم در دهه ۱۹۸۰ خواستار «راه حلی عادلانه» برای جنگ شوروی-افغانستان شد. جوزپه مورتی برای اولین بار در سال ۱۹۷۷ به افغانستان آمد و تا زمان حمله به سفارت ایتالیا در سال ۱۹۹۴ که موجب اصابت گلوله شد کشور را ترک نکرد. پس از سال ۱۹۹۴، فقط خواهران کوچک عیسی اجازه یافتند در افغانستان بمانند، زیرا از سال ۱۹۵۵ در زندگی می‌کردند و به درست کاری معروف بودند. | ## جمع‌بندی | پس از حملات ۱۱ سپتامبر ۲۰۰۱، خدمات امدادی کاتولیک لباس، غذا و ملزومات خواب برای پناهندگان بازگشته و افراد آواره داخلی ارسال کردند.
موضوع مقاله: قطعه شبکه | مخاطب: عمومی | لحن: دانشنامه‌ای | ساختار: عنوان، مقدمه، 3 بخش، جمع‌بندی | مقاله: | # قطعه شبکه | مقدمه: ماهیت و اندازه یک قطعه به ماهیت شبکه و دستگاه یا دستگاه‌های دیگری که برای اتصال ایستگاه‌های پایانی استفاده می‌شوند بستگی دارد.تعریف قطعه اینترنت. | ## بخش 1: قطعه شبکه | اترنت باتوجه به تعریف استانداردهای IEEE 802.3 برای اترنت، قطعه شبکه یک اتصال الکتریکی بین دستگاه‌های شبکه با استفاده از یک رسانه مشترک است.«۱٫۴٫۳۱۸»، ۸۰۲٫۳–۲۰۰۸ قسمت ۳: دسترسی چندگانه حس حامل با روش دسترسی تشخیص برخورد (CSMA/CD) و مشخصات لایه فیزیکی، IEEE، ۲۶ دسامبر ۲۰۰۸، بخش: اتصال رسانه، از جمله کانکتورها، بین واسط‌های وابسته متوسط (MDI) در یک شبکه محلی CSMA/CD. در انواع اصلی اترنت‌های 10BASE5 و 10BASE2، یک قطعه به تک کابل کواکسی و تمام دستگاه‌های متصل به آن همبستگی دارد. در این مرتبه از تکامل اترنت، چندین قطعه شبکه را می‌توان با تکرارگر‌ها (طبق قانون ۵-۴-۳ برای اترنت ۱۰مگابیت) متصل کرد تا یک تصادم دامنه بزرگتر را تشکیل دهد. | ## بخش 2: قطعه شبکه | با اترنت پیچیده-مرتب، قطعات الکتریکی همچون تنوعات دیگر اترنت با استفاده از تکرارگر یا هاب می‌توانند به هم متصل شوند. این مسئله با گستردگی شبکه OSI لایه ۱ همبستگی دارد و با تصادم دامنه معادل است.قطعه(شبکه). با استفاده از سوئیچ‌ها یا پل‌ها، می‌توان چندین قطعه لایه-۱ را به یک قطعه لایه-۲ مشترک ترکیب کرد، یعنی همه گره‌ها می‌توانند از طریق آدرس دهی MAC یا پخش با یکدیگر ارتباط برقرار کنند. | ## بخش 3: قطعه شبکه | با استفاده از VLAN می‌توان ترافیک درون یک قطعه لایه ۲ را به پارتیشن‌های به‌طور مجازی مجزا تقسیم کرد. IP یک قطعه لایه-۳ در یک شبکه IP یک زیرشبکه گفته می‌شود که متشکل است از هر گره ای که پیشوند شبکه ای یکسانی دارند همانطورکه از راه آدرس IP و ماسک شبکه خود تعریف می‌شوند.قطعه شبکه چیست؟. میزبان‌ها در یک زیرشبکه می‌توانند با استفاده از قطعه لایه-۲ای که آنها را وصل می‌کند به‌طور مستقیم ارتباط برقرار کنند. | ## جمع‌بندی | بیشتر مواقع یک زیرشبکه همبستگی‌های دقیقی با قطعه لایه-۲ زیربنایی دارد اما همچنین می‌شود که چندین زیرشبکه را روی تنها یک قطعه لایه-۲ اجرا کرد.
موضوع مقاله: رئوس مطالب تعامل انسان و کامپیوتر | مخاطب: عمومی | لحن: دانشنامه‌ای | ساختار: عنوان، مقدمه، 3 بخش، جمع‌بندی | مقاله: | # رئوس مطالب تعامل انسان و کامپیوتر | مقدمه: طرح کلی زیر به عنوان یک مرور کلی و راهنمای موضوعی برای تعامل انسان و رایانه ارائه شده است: تعامل انسان و کامپیوتر-تقاطع علوم کامپیوتر و علوم رفتاری - این رشته شامل مطالعه، برنامه ریزی و طراحی تعامل بین افراد (کاربران) و رایانه است. | ## بخش 1: رئوس مطالب تعامل انسان و کامپیوتر | توجه به تعامل انسان و ماشین مهم است، زیرا طراحی ضعیف رابط های انسان و ماشین می تواند منجر به بسیاری از مشکلات غیرمنتظره شود. تعامل انسان و کامپیوتر را می توان به صورت تمام موارد زیر توصیف کرد: ○حوزه‌ای از علم – سازمانی سیستماتیک که دانش را در قالب توضیحات و پیش‌بینی‌های آزمایش‌پذیر درباره جهان می‌سازد و سازمان‌دهی می‌کند."... □کاربرد مهندسی – علم، مهارت و حرفه کسب و به کارگیری دانش علمی، اقتصادی، اجتماعی و عملی برای طراحی و همچنین ساخت سازه ها، ماشین آلات، دستگاه ها، سیستم ها، مواد و فرآیندها □زیرشاخه برنامه نویسی کامپیوتر - فرآیند طراحی، نوشتن، آزمایش، اشکال زدایی و حفظ کد منبع برنامه های کامپیوتری. هدف از برنامه نویسی ایجاد مجموعه ای از دستورالعمل ها است که رایانه ها برای انجام عملیات خاص یا نشان دادن رفتارهای مورد نظر از آنها استفاده می کنند. | ## بخش 2: رئوس مطالب تعامل انسان و کامپیوتر | ●یک علم اجتماعی - رشته دانشگاهی مربوط به جامعه و رفتار انسانی □یک علم رفتاری - رشته ای که فعالیت ها و تعاملات بین موجودات را بررسی می کند. این شامل تجزیه و تحلیل و بررسی سیستماتیک رفتار انسان و حیوان از طریق مشاهده کنترل شده و طبیعی و آزمایش های علمی منظم است. نمونه هایی از علوم رفتاری عبارتند از روانشناسی، روان زیستی و علوم شناختی ○یک نوع سیستم - مجموعه ای از اجزای متقابل یا وابسته به هم که یک کل یکپارچه یا مجموعه ای از عناصر (که اغلب به آنها "مولفه" گفته می شود) و روابطی که از روابط مجموعه یا عناصر آن با سایر عناصر یا مجموعه ها متفاوت است را تشکیل می دهند. ●سیستمی شامل نرم‌افزار – نرم‌افزار مجموعه‌ای از برنامه‌های رایانه‌ای و داده‌های مرتبط است که دستورالعمل‌هایی را برای گفتن اینکه رایانه چه کاری انجام دهد و چگونه انجام دهد را ارائه می‌دهد. | ## بخش 3: رئوس مطالب تعامل انسان و کامپیوتر | نرم افزار به یک یا چند برنامه کامپیوتری و داده های ذخیره شده در رایانه اشاره دارد. ○نوعی فناوری - ساخت، اصلاح، استفاده و دانش ابزارها، ماشین‌ها، تکنیک‌ها، صنایع دستی، سیستم‌ها، روش‌های سازماندهی، برای حل یک مشکل، بهبود راه‌حل از قبل موجود برای یک مشکل، دستیابی به یک هدف، مدیریت یک ورودی کاربردی / رابطه خروجی یا انجام یک عملکرد خاص. همچنین می تواند به مجموعه ای از ابزارها، ماشین آلات، اصلاحات، ترتیبات و رویه ها اشاره داشته باشد. | ## جمع‌بندی | فن آوری ها به طور قابل توجهی بر توانایی انسان و سایر گونه های جانوری برای کنترل و انطباق با محیط طبیعی خود تأثیر می گذارد.
موضوع مقاله: ویروس پیکاچو | مخاطب: عمومی | لحن: دانشنامه‌ای | ساختار: عنوان، مقدمه، 3 بخش، جمع‌بندی | مقاله: | # ویروس پیکاچو | مقدمه: ویروس پیکاچو که با نام‌ های پوکى یا ویروس پوکمون نیز شناخته می‌شود، کرم رایانه ‌ای است که به عنوان اولین بدافزاری که برای کودکان طراحی شده در نظر گرفت میشود به دلیل استفاده از پیکاچو، موجودی از فرنچایز رسانه ‌ای پوکمون. | ## بخش 1: ویروس پیکاچو | این کرم برای اولین بار در ژوئن 2000 شناسایی شد وعمدتاً در قالب یک ایمیل با عنوان " پیکاچو پوکمون" منتشر شد. با این حال، یک درخواست ناخواسته داده می شد که از کاربران می پرسید که آیا می خواهند پوشه های مورد نظر را حذف کنند. زمینه پیکاچو موجودی موش ‌مانند زرد است با قدرت الکتریسیته در پوکمون، مجموعه بازی‌های ویدیویی ژاپنی و کارتون در سال 2000، ای‌بی‌سی نیوزاین سریال را به عنوان یک "شوق جهانی" توصیف کرد. | ## بخش 2: ویروس پیکاچو | انتشار اگر کاربری که ویروس را دریافت کرده از مایکروسافت اوت‌لوک استفاده می کرد، ایمیل به همه مخاطبین دفترچه آدرس اوت‌لوک آنها ارسال می‌شد. .این وجه شباهت این ویروس با ویروس دوستت دارم شده است که در ماه می منتشر شده بود با این حال، ویروس پیکاچو خطرش کمتر و از نظر انتشار کندتر است. شرکت‌های ضد ویروس گفتند که قبلاً ویروس‌ها یا کرم‌هایی که کودکان را هدف قرار بدهد وجود نداشت، و ویروس پیکاچو از این واقعیت سوء استفاده می‌کند که کودکان "مایلند نسبت به والدین خود در زمینه امنیت کمتر مراقب باشند". | ## بخش 3: ویروس پیکاچو | در 24 اوت ، شرکت آنتی ویروس ترند میکرو گفت که آنها فقط ده گزارش از ویروس دریافت کرده اند و هنوز کسی آن را باز نکرده است. با این حال، در 25 اوت، گزارش شد که در ایالات متحده همه جا منتشر شده، اما در اروپا و ژاپن نیز بود. یکی از مشاوران شرکت ضد ویروس سوفوس گفت که هر کسی که نرم افزار امنیتی به روز داشته باشد باحتمالش کم است که تحت تأثیر آن قرار بگیرد.ترند میکرو توصیه می کند که کاربران ایمیل را بدون باز کردن حذف کنند. | ## جمع‌بندی | سیمانتک (یکی دیگر از شرکت های آنتی ویروس)، ترند میکرو و سوفوس گفتند که انتشار آهسته ایمیل به آنها فرصت داد تا محصولات خود را برای دفاع در برابر کرم به روز کنند.
موضوع مقاله: باج افزار-هیتلر | مخاطب: عمومی | لحن: دانشنامه‌ای | ساختار: عنوان، مقدمه، 3 بخش، جمع‌بندی | مقاله: | # باج افزار-هیتلر | مقدمه: این باج افزار با یک صفحه قفل با تصویری از آدولف هیتلر در حالت سلام نازی فعال می شود. | ## بخش 1: باج افزار-هیتلر | سپس خواستار پرداخت در قالب یک کارت هدیه تلفن همراه 25 یورویی ودافون می شود و به صاحب رایانه یک ساعت فرصت پرداخت می‌دهد به همراه نمایش یک تایمر شمارش معکوس. عدم پرداخت تا زمانی که تایمر شمارش معکوس یک ساعته به صفر می رسد منجر به خراب شدن سیستم با صفحه آبی مرگ می شود و هنگامی که رایانه دوباره راه اندازی می شود، همه فایل های موجود در پوشه های کاربر رایانه حذف می شوند. برخلاف آنچه ادعا می کند، باج افزار فایل های رایانه را رمزگذاری نمی کند.در عوض، اسکریپتی را اجرا می‌کند که تمام انواع فایل‌ها را از هم جدا می‌کند تا مردم را گمراه کند که فکر کنند فایل‌هایشان رمزگذاری شده است. | ## بخش 2: باج افزار-هیتلر | با بررسی بیشتر در مورد آن،او تشخیص داد که احتمالاً در آلمان به عنوان یک نمونه اولیه منشا گرفته است، زیرا در بچ فایل مرتبط با آن عبارت «Das ist ein Test» (به آلمانی: این یک تست است) در آن وجود دارد. لازم به ذکر است که در حالی که درخواست باج افزار هیتلر برای پرداخت در قالب کارت های هدیه بود به جای بیت کوین که در آن زمان رایجتر بود، این فقط مختص به این باج افزار نبود. اشتباهات املایی در این درخواست‌ها منجر به شوخی‌هایی بین روزنامه نگاران فناوری شده‌ است که ممکن است ملانقطی ها را ناراحت کند. | ## بخش 3: باج افزار-هیتلر | یک نسخه به‌روز شده از ویروس هیتلر به نام "کین‌اکس‌پایی" که به نام "هیتلر ۲" عرضه شده بود، بعداً منتشر شد.این نسخه مشابه نسخه اصلی بود با این تفاوت که املای "باج افزار" را تصحیح کرد و تایمر شمارش معکوس را حذف کرد. | ## جمع‌بندی | در ژانویه 2017، یک نسخه به روز شده معروف به "نسخه نهایی" باج افزار-هیتلر منتشر شد.
موضوع مقاله: لین (دستیار اثبات) | مخاطب: عمومی | لحن: دانشنامه‌ای | ساختار: عنوان، مقدمه، 3 بخش، جمع‌بندی | مقاله: | # لین (دستیار اثبات) | مقدمه: این زبان به طور اولیه توسط لئوناردو د مورا در حین اشتغال در مایکروسافت ریسرچ توسعه داده شد و اکنون در آمازون وب سرویسز ادامه دارد. | ## بخش 1: لین (دستیار اثبات) | توسعه این زبان در حال حاضر توسط سازمان Lean سازمان تحقیقات متمرکز (FRO) پشتیبانی می‌شود. نسخه‌های اولیه این زبان، که بعدها به نام Lean 1 و 2 شناخته شدند، آزمایشی بودند و ویژگی‌هایی مانند پشتیبانی از نظریه نوع هموتوپی داشتند که بعدها حذف شدند. این نسخه عمدتاً با زبان C++ پیاده‌سازی شده بود و برخی از ویژگی‌ها نیز با خود زبان Lean نوشته شده بودند. در این دوره بینابینی، اعضای جامعه Lean نسخه‌های غیررسمی تا 3.51.1 را توسعه داده و منتشر کردند. در سال ۲۰۲۱، Lean 4 منتشر شد که بازسازی اثبات‌گر Lean بود که قادر به تولید کد C است که سپس کامپایل می‌شود و امکان توسعه خودکارسازی حوزه‌های خاص را فراهم می‌کند. | ## بخش 2: لین (دستیار اثبات) | Lean 4 همچنین سیستم ماکرو و بهبودهای سنتز کلاس نوع و روش‌های مدیریت حافظه را نسبت به نسخه قبلی داراست. یکی دیگر از مزایای آن نسبت به Lean 3، امکان اجتناب از لمس کد C++ برای تغییر رابط کاربری و دیگر قسمت‌های اصلی سیستم است، زیرا همه آنها اکنون در Lean پیاده‌سازی شده و در دسترس کاربر نهایی برای جایگزینی در صورت نیاز هستند. در سال ۲۰۲۳، Lean FRO تشکیل شد، با اهداف بهبود مقیاس‌پذیری و قابلیت استفاده از زبان و اجرای اتوماسیون اثبات. مرور کلی کتابخانه‌ها بسته رسمی لین شامل یک کتابخانه استاندارد std4 است که ساختارهای داده‌ای مشترک را که می‌تواند برای هر دو تحقیق ریاضی و توسعه نرم‌افزار متعارف استفاده شود، پیاده‌سازی می‌کند. در سال ۲۰۱۷، یک پروژه نگهداری شده توسط جامعه برای توسعه یک کتابخانه Lean mathlib آغاز شد، با هدف دیجیتالی کردن هر چه بیشتر ریاضیات ریاضیات محض در یک کتابخانه بزرگ یکپارچه، تا سطح تحقیقاتی ریاضی. | ## بخش 3: لین (دستیار اثبات) | یکپارچه‌سازی ویرایشگرها لین با: ویژوال استودیو کد نئو ویم ایمکس ارتباط‌گیری از طریق یک سرور پروتکل زبان و یک افزونه کلاینت انجام می‌شود. این زبان دارای پشتیبانی بومی از نمادهای یونیکد است که می‌توان با استفاده از توالی‌های شبیه به LaTeX، مانند "\times" برای "×" تایپ کرد. Lean همچنین می‌تواند به جاوااسکریپت کامپایل شود و در یک مرورگر وب دسترسی داشته باشد و از پشتیبانی گسترده‌ای برای فرا-برنامه‌نویسی برخوردار است. | ## جمع‌بندی | این تعریف بر اساس اصل پیانو است و بیان می‌کند که هر عدد طبیعی یا صفر است یا جانشین عدد طبیعی دیگری است.