aria-haman/haman-fa-wikipedia-articles-186k huggingface dataset:
موضوع مقاله: از دست دادن حس | مخاطب: عمومی | لحن: دانشنامه‌ای | ساختار: عنوان، مقدمه، 3 بخش، جمع‌بندی | مقاله: | # از دست دادن حس | مقدمه: انواع مختلفی از از دست دادن حس به دلیل فرایند حس‌پذیری معیوب رخ می‌دهند، چه به دلیل گیرنده‌های ناکارآمد، آسیب عصبی یا نقص مغزی. | ## بخش 1: از دست دادن حس | برخلاف ادراک‌پریشی، این نقص‌ها ناشی از آسیب‌هایی هستند که پیش از فرایند ادراک رخ داده‌اند. اختلال بینایی درجات اختلال بینایی به‌طور قابل توجهی متغیر است، اگرچه طبقه‌بندی بین‌المللی آماری بیماری‌ها منتشر شده در سال ۱۹۷۹، آنها را در سه رده دسته‌بندی کرده است: حدت بینایی، کم‌بینایی، و نابینایی. | ## بخش 2: از دست دادن حس | دو علت مهم اختلال بینایی ناشی از ناکارایی حس‌ها، شامل کدری رسانه و بیماری‌های عصب بینایی است، اگرچه هیپوکسی و بیماری‌های شبکیه نیز می‌توانند منجر به نابینایی شوند. بیشتر علل اختلال بینایی ممکن است درجات متفاوتی از آسیب را ایجاد کنند، از نابینایی کامل تا اثر ناچیز. | ## بخش 3: از دست دادن حس | کدری رسانه در حضور کدری در بافت‌ها یا مایعات چشم رخ می‌دهد که تصویر را پیش از برخورد با سلول گیرنده نور، مخدوش و/یا مسدود می‌کند. | ## جمع‌بندی | بیماری‌های عصب بینایی، مانند التهاب عصب بینایی یا التهاب عصب بینایی پشت‌چشمی، منجر به نقص در مسیر عصبی آوران می‌شوند، پس از اینکه سیگنال به درستی از گیرنده‌های شبکیه انتقال یافته است.
موضوع مقاله: بروک رولینز | مخاطب: عمومی | لحن: دانشنامه‌ای | ساختار: عنوان، مقدمه، 3 بخش، جمع‌بندی | مقاله: | # بروک رولینز | مقدمه: بروک لزلی رولینز (زاده ۱۰ آوریل ۱۹۷۲) وکیل و سیاستمدار آمریکایی است که از سال ۲۰۲۵ به عنوان سی و سومین وزیر کشاورزی ایالات متحده خدمت می‌کند. | ## بخش 1: بروک رولینز | رولینز قبلاً به عنوان معاون مشاور کل، مشاور اخلاق و مدیر سیاست‌گذاری ریک پری، فرماندار تگزاس خدمت می‌کرد. از سال ۲۰۰۳ تا ۲۰۱۸، رولینز رهبری بنیاد سیاست عمومی تگزاس، یک اندیشکده محافظه کار مستقر در شهر آستین را بر عهده داشت. رولینز مدیر دفتر نوآوری آمریکا از سال ۲۰۱۸ تا ۲۰۲۰، و مدیر شورای سیاست داخلی ایالات متحده در اولین دوره ریاست جمهوری دونالد ترامپ بود. در فاصله زمانی بین دولت اول تا دولت دوم دونالد ترامپ، رولینز یکی از افرادی بود که مؤسسه سیاست اول آمریکا، اندیشکده غیرانتفاعی برای ترویج دستور کار سیاست عمومی ترامپ، را تأسیس کرد. دوران اولیه زندگی و حرفه مادر رولینز، هلن کروین است که با برنده شدن در انتخابات سال ۲۰۲۴ به عضویت مجلس نمایندگان تگزاس درآمد. | ## بخش 2: بروک رولینز | او در سال ۱۹۹۴ با مدرک کارشناسی علوم در توسعه کشاورزی از دانشگاه تگزاس ای‌اندام فارغ‌التحصیل شد. در طی تحصیل در دانشگاه تگزاس ای‌اندام، او اولین زنی بود که به عنوان رئیس انجمن دانشجویی برگزیده شد. رولینز مدرک جی‌دی خود را از دانشکده حقوق دانشگاه تگزاس دریافت کرد و با افتخارات بالایی فارغ‌التحصیل شد. بعد از فارغ‌التحصیلی از دانشکده حقوق، رولینز چند سال در شرکت کی اند ال گیتس در دالاس کار کرد و زیر نظر باربارا ام. رولینز قبلاً به عنوان معاون مشاور کل، مشاور اخلاق و مدیر سیاست‌گذاری ریک پری، فرماندار تگزاس خدمت می‌کرد. | ## بخش 3: بروک رولینز | رولینز از سال ۲۰۰۳ تا ۲۰۱۸ رئیس و مدیر عامل بنیاد سیاست عمومی تگزاس، اندیشکده محافظه کار مستقر در شهر آستین بود. در دوران ریاست او بر این اندیشکده، تعداد کارمندان آن از ۳ نفر به ۱۰۰ نفر افزایش یافت. در سال ۲۰۱۱، کتاب مجله تگزاس مانثلی از رولینز به عنوان یکی از ۲۵ فرد مقتدر تگزاسی نام برد. در طی دوران حضور او در این بنیاد، اندیشکده از خاتمه دادن یارانه کشاورزی به کشاورزان حمایت کرد و با الزامات-اتانول برای سوخت مخالفت کرد. در روز ۱۳ فوریه ۲۰۲۵، مجلس سنا با ۷۲ رأی موافق در برابر ۲۸ رأی، به رولینز برای در اختیار گرفتن مقام وزیر کشاورزی رای اعتماد داد. | ## جمع‌بندی | تصدی در روز ۱۳ فوریه ۲۰۲۵، رولینز به عنوان سی و سومین وزیر کشاورزی ایالات متحده در حضور قاضی دستیار کلارنس توماس مراسم سوگند را به جای آورد.
موضوع مقاله: ستوق بغرا خان | مخاطب: عمومی | لحن: دانشنامه‌ای | ساختار: عنوان، مقدمه، 3 بخش، جمع‌بندی | مقاله: | # ستوق بغرا خان | مقدمه: عبدالکریم ستوق بغرا خان (درگذشت ۹۵۵ میلادی) از خاقانان قراخانیان بود و از نخستین فرمان‌روایان ترک‌تبار به‌شمار می‌رفت که به اسلام گروید. | ## بخش 1: ستوق بغرا خان | زندگی ستوق بغرا خان در زمستان سال ۹۲۰ میلادی در آرتوش، یکی از روستاهای انبوه‌نشین تبار یغما، زاده شد. او در شش‌سالگی پدرش، بازیر ارسلان خان، را از دست داد و عمویش، اوغولچاق خان، مادرش را به همسری گرفت و این‌گونه ستوق را به فرزندی پذیرفت. ابوالنصر با عموی ستوق، اوغولچاق خان، دوستی کرد و توانست در شهر آرتوش مسجدی بسازد. | ## بخش 2: ستوق بغرا خان | زمانی که اوغولچاق از این، آگاه شد، از ستوق خواست تا با ساخت پرستشگاهی تنگری‌باورانه، پایبندی خود به دین نیاکان را نشان دهد. نصر به ستوق پیشنهاد کرد که وانمود کند دارد پرستشگاهی تنگری‌باورانه می‌سازد، ولی به‌راستی مسجدی بسازد. ولی پس از اندکی، ستوق فتوایی دریافت کرد که می‌گذاشت او برای اسلام، عموی خود را بکشد. | ## بخش 3: ستوق بغرا خان | جنگ‌های دینی پس از به‌دست‌گرفتن فرمانروایی، ستوق بغرا خان جنگ‌هایی دینی دربرابر غیرمسلمانان آغاز کرد. او در این جنگ‌ها توانست قلمرو خود را پهناور کند و اسلام را در بخش‌های زیر فرمانش بگستراند. | ## جمع‌بندی | آرامگاه او در سال ۱۹۹۵ از سوی معمار اویغور، ابودرییم آشان، بازسازی شد و امروزه یکی از جایگاه‌های زیارتی آن سرزمین به‌شمار می‌رود.
موضوع مقاله: تراتونیوم | مخاطب: عمومی | لحن: دانشنامه‌ای | ساختار: عنوان، مقدمه، 3 بخش، جمع‌بندی | مقاله: | # تراتونیوم | مقدمه: این ساز توسط کیبورد کار نمی‌کند، بلکه توسط یک سیم مقاومتی کار می‌کند که روی یک صفحه فلزی کشیده شده و برای تولید صدا فشار داده می‌شود. | ## بخش 1: تراتونیوم | با فشار دادن سیم یک مدار الکتریکی بسته می‌شود و نقطه تماس طول سیمی را که جریان از آن عبور می‌کند و در نتیجه مقاومت الکتریکی را تعیین می‌کند. Kock پل هیندمیت چندین سه‌گانه کوتاه برای سه تریتون نوشت که در سه آهنگ مختلف کوک شده بودند: باس (گونه صدا)، وسط و بلند. | ## بخش 2: تراتونیوم | بعداً او یک مولد نویز و مولد پاکت (به نام سچلاگورک)، یک فیلتر اجزای صوتی (چند فیلتر محدوده فرکانس) و نوسانگرهای ساب هارمونیک را اضافه کرد. این نوسانگرها یک گام اصلی و چندین هارمونیک تولید می‌کنند که مضرب آهنگ اصلی نیستند، بلکه قطعاتی از آن هستند. | ## بخش 3: تراتونیوم | ## جمع‌بندی | چهار مورد از این امواج را می‌توان مخلوط کرد و بازیکن می‌تواند بین این آرایه‌های از پیش تعیین شده جابجا شود.
موضوع مقاله: جایگزینی دستور | مخاطب: عمومی | لحن: دانشنامه‌ای | ساختار: عنوان، مقدمه، 3 بخش، جمع‌بندی | مقاله: | # جایگزینی دستور | مقدمه: در محاسبات ، جایگزینی دستور تسهیلاتی است که اجازه می دهد یک دستور اجرا شود و خروجی آن به عنوان آرگومان برای دستور دیگر در خط فرمان قرار گیرد. | ## بخش 1: جایگزینی دستور | با نسخه 7 یونیکس در سال 1979 معرفی شد، و به عنوان مشخصه تمام پوسته های یونیکس بعدی باقی مانده است. نحو و معناشناسی پوسته‌ها معمولاً با ایجاد یک فرآیند فرزند برای اجرای اولین دستور با خروجی استاندارد آن به پوسته، جایگزینی دستور را اجرا می‌کنند، که آن خروجی را می‌خواند و آن را به کلمات جدا شده با فضای خالی تجزیه می‌کند . | ## بخش 2: جایگزینی دستور | از آنجایی که پوسته نمی‌تواند بداند که تمام خروجی فرزند را دارد تا زمانی که لوله بسته شود یا کودک بمیرد، تا آن زمان منتظر می‌ماند تا پردازش فرزند دیگری را برای اجرای فرمان دوم آغاز کند. در حالی که تایپ کردن آسان است، عامل مهمی برای یک پردازشگر دستور تعاملی است، اما نحو مورد انتقاد قرار گرفته است به عنوان نامناسب برای تودرتو، قرار دادن یک جایگزین دستور در دیگری، زیرا هر دو جداکننده سمت چپ و راست یکسان هستند. | ## بخش 3: جایگزینی دستور | در سیستم‌های یونیکس اولیه که نام فایل‌ها هرگز دارای فاصله نبودند، به خوبی کار می‌کرد، اما در سیستم‌های مدرن ویندوز و لینوکس که نام فایل‌ها مطمئناً می‌توانند حاوی فاصله باشند، به خوبی کار نمی‌کند. | ## جمع‌بندی | در هر یک از این مثال‌های قبلی، اگر هر یک از نام‌های فایل منطبق با علامت *.c حاوی یک فاصله باشد، آن نام فایل به دو آرگومان جداگانه برای vi شکسته می‌شود، به وضوح آنچه در نظر گرفته شده نیست.
موضوع مقاله: مریم حسن‌زاده | مخاطب: عمومی | لحن: دانشنامه‌ای | ساختار: عنوان، مقدمه، 3 بخش، جمع‌بندی | مقاله: | # مریم حسن‌زاده | مقدمه: مریم حسن زاده (زاده ۱۵ اسفند ۱۳۶۱) در اسلامشهر، مربی فوتبال و بازیکن پیشین اهل ایران است که هم اکنون سرمربی باشگاه فوتبال زنان استقلال تهران در لیگ دسته اول فوتبال زنان ایران است. | ## بخش 1: مریم حسن‌زاده | همچنین این مربی فوتبال زنان در گذشته هدایت تیم ملی فوتبال زنان ایران و تیم های دیگر در رده های مختلف لیگ فوتبال زنان ایران از جمله تیم فوتبال زنان مهرعظام اسلامشهر در فصل ۰۱_۱۴۰۰ را در کارنامه دارد. | ## بخش 2: مریم حسن‌زاده | ## بخش 3: مریم حسن‌زاده | ## جمع‌بندی | او همواره در فوتبال و فوتسال زنان ایران کار کرده است.او همچنین دارای مدرک A آسیا نیز است و در تیم های مختلف فوتبال زنان ایران در رده های مختلف کشوری فعالیت کرده و در مقطعی سرمربی تیم ملی فوتبال زنان ایران نیز بوده است و هم اکنون سرمربی باشگاه فوتبال زنان استقلال تهران در لیگ دسته اول فوتبال زنان ایران است و اطلاعات بیشتری از زندگی شخصی این مربی فوتبال در دسترس نیست.
موضوع مقاله: Ciao (زبان برنامه نویسی) | مخاطب: عمومی | لحن: دانشنامه‌ای | ساختار: عنوان، مقدمه، 3 بخش، جمع‌بندی | مقاله: | # Ciao (زبان برنامه نویسی) | مقدمه: Ciao یک زبان برنامه نویسی همه منظوره است که از سبک‌های برنامه نویسی منطقی، محدودیت‌ها، عملکردی، درجه بالاتر و شی گرا پشتیبانی می‌کند. | ## بخش 1: Ciao (زبان برنامه نویسی) | اهداف اصلی طراحی آن قدرت بیان بالا، توسعه پذیری، ایمنی، قابلیت اطمینان و اجرای کارآمد است. ویژگی‌های زبان Ciao یک سیستم کامل Prolog (پشتیبانی از ISO -Prolog)، زیرمجموعه‌های اعلامی و پسوندهای Prolog، برنامه‌نویسی کاربردی (شامل ارزیابی تنبل)، مرتبه بالاتر (با انتزاعات محمول)، برنامه‌نویسی محدودیت‌ها و اشیاء، و همچنین عبارات ویژگی (سوابق)، تداوم، چندین قانون کنترلی (گسترش، جست‌وجوی عمیق، ...) ارائه می‌کند. کتابخانه‌ها همچنین از برنامه نویسی WWW، سوکت‌ها، رابط‌های خارجی (C، جاوا، TclTk، پایگاه‌های داده رابطه ای و غیره) و غیره پشتیبانی می‌کنند. Ciao بر روی هسته ای با طراحی ماژولار قابل توسعه ساخته شده است که امکان محدود کردن و گسترش زبان را فراهم می‌کند - می‌توان آن را به عنوان یک زبان سازنده زبان دید. | ## بخش 2: Ciao (زبان برنامه نویسی) | این محدودیت‌ها و افزونه‌ها را می‌توان به‌طور جداگانه در هر ماژول برنامه فعال کرد تا چندین افزونه بتوانند در یک برنامه برای ماژول‌های مختلف با هم وجود داشته باشند. توسعه برنامه‌های ایمن و قابل اعتماد برنامه نویسی در بزرگ در Ciao از طریق: یک سیستم ماژول/شیء قوی. این کامپایل جداگانه/افزایشی مبتنی بر ماژول را فراهم می‌کند (که به صورت خودکار بدون نیاز به فایل‌های ساختنی است). Ciao همچنین از برنامه نویسی در ابعاد کوچک پشتیبانی می‌کند: کامپایلر قادر به تولید فایل‌های اجرایی کوچک (شامل تنها داخلی‌هایی است که توسط برنامه استفاده می‌شود) و مفسر از برنامه نویسی پشتیبانی می‌کند. | ## بخش 3: Ciao (زبان برنامه نویسی) | این محیط شامل یک رابط کلاسیک سطح بالا و یک رابط emacs تکامل‌یافته با یک اشکال‌زدای سطح منبع قابل جاسازی و تعدادی ابزار تجسم اجرایی است. پیش پردازنده Ciao از اشکال زدایی ایستا و تأیید صحت بررسی و بهینه‌سازی از طریق تبدیل برنامه منبع به منبع پشتیبانی می‌کند. قابلیت حمل و کارایی کامپایلر Ciao (که می‌تواند خارج از پوسته سطح بالا اجرا شود) چندین فرم از فایل‌های اجرایی مستقل و مستقل از معماری را تولید می‌کند که با سرعت، کارایی و اندازه قابل اجرا اجرا می‌شوند که بسیار رقابتی با سایر زبان‌های سطح بالا به‌طور کلی و به‌طور خاص با سیستم‌های تجاری و دانشگاهی Prolog/CLP هستند. | ## جمع‌بندی | ماژول‌ها را می‌توان در بایت کد فشرده یا فایل‌های منبع C کامپایل کرد و به صورت ایستا، پویا یا خودکار بارگذاری کرد.
موضوع مقاله: ویژگی (برنامه نویسی کامپیوتری) | مخاطب: عمومی | لحن: دانشنامه‌ای | ساختار: عنوان، مقدمه، 3 بخش، جمع‌بندی | مقاله: | # ویژگی (برنامه نویسی کامپیوتری) | مقدمه: در برنامه نویسی کامپیوتر ، یک ویژگی یک مفهوم زبانی است که مجموعه ای از روش ها را نشان می دهد که می تواند برای گسترش عملکرد یک کلاس استفاده شود. | ## بخش 1: ویژگی (برنامه نویسی کامپیوتری) | منطق در برنامه نویسی شی گرا، رفتار گاهی بین کلاس هایی که به یکدیگر مرتبط نیستند به اشتراک گذاشته می شود. برای مثال، بسیاری از کلاس‌های نامرتبط ممکن است متدهایی برای سریال‌سازی اشیا به JSON داشته باشند. از لحاظ تاریخی، چندین رویکرد برای حل این مشکل بدون تکرار کد در هر کلاسی که به رفتار نیاز دارد، وجود داشته است. روش‌های دیگر شامل وراثت چندگانه و میکس‌ها هستند، اما اینها دارای اشکالاتی هستند: اگر ترتیب اعمال میکس‌ها تغییر کند، یا اگر روش‌های جدیدی به کلاس‌های والد یا میکس‌ها اضافه شوند، ممکن است رفتار کد به‌طور غیرمنتظره‌ای تغییر کند. ویژگی‌ها با اجازه دادن به کلاس‌ها برای استفاده از ویژگی و به دست آوردن رفتار مطلوب، این مشکلات را حل می‌کنند. مانند یک رابط، یک ویژگی یک یا چند امضای متد را تعریف می‌کند که کلاس‌های پیاده‌سازی باید پیاده‌سازی‌هایی را ارائه کنند. | ## بخش 2: ویژگی (برنامه نویسی کامپیوتری) | در صورت تداخل نامگذاری بین متدهای ارائه شده توسط ویژگی‌ها مختلف، برنامه نویس باید صریحاً ابهام کند که کدام یک از آن متدها در کلاس استفاده می شود. این با سایر روش‌های ترکیب‌بندی در برنامه‌نویسی شی‌گرا متفاوت است، جایی که نام‌های متضاد به طور خودکار با قوانین محدوده حل می‌شوند. عملیاتی که با ویژگی‌ها قابل انجام است عبارتند از: مجموع متقارن : عملیاتی که دو ویژگی مجزا را برای ایجاد یک ویژگی جدید ادغام می‌کند override (یا مجموع نامتقارن ): عملیاتی که با افزودن متدهایی به یک ویژگی موجود، و احتمالاً نادیده گرفتن برخی از روش‌های آن، یک ویژگی جدید را تشکیل می‌دهد. نام مستعار : عملیاتی که با افزودن یک نام جدید برای یک متد موجود، یک ویژگی جدید ایجاد می کند exclusion : عملیاتی که با حذف یک روش از یک ویژگی موجود، یک ویژگی جدید را تشکیل می دهد. اگر روشی از یک ویژگی حذف شود، آن متد باید توسط کلاسی که آن ویژگی را مصرف می‌کند، یا توسط کلاس والد آن کلاس ارائه شود. این به این دلیل است که روش های ارائه شده توسط این ویژگی ممکن است روش حذف شده را صدا کنند. | ## بخش 3: ویژگی (برنامه نویسی کامپیوتری) | محدودیت‌ها در حالی که ویژگی ها نسبت به بسیاری از گزینه ها مزایای قابل توجهی دارند، اما محدودیت های خاص خود را دارند. روش های مورد نیاز اگر یک ویژگی به طبقه مصرف کننده نیاز داشته باشد تا روش های خاصی را ارائه دهد، آن ویژگی نمی تواند بداند که آیا آن روش ها از نظر معنایی با نیازهای ویژگی معادل هستند یا خیر. برای برخی از زبان‌های پویا، مانند Perl، روش مورد نیاز فقط با نام متد قابل شناسایی است، نه با امضای کامل متد ، که تضمین مناسب بودن روش مورد نیاز را دشوارتر می‌کند. مستثنی کردن متدها اگر روشی از یک ویژگی حذف شود، آن روش به روشی «الزامی» برای آن ویژگی تبدیل می‌شود، زیرا روش‌های دیگر آن ویژگی ممکن است آن را نام ببرند. | ## جمع‌بندی | همچنین ببینید روش گسترش رابط (برنامه نویسی شی گرا) پلی مورفیسم پارامتریک UFCS مراجع
موضوع مقاله: هلن مصر | مخاطب: عمومی | لحن: دانشنامه‌ای | ساختار: عنوان، مقدمه، 3 بخش، جمع‌بندی | مقاله: | # هلن مصر | مقدمه: هلن مصر (؛ فعال در سدۀ چهارم پیش از میلاد) نقاش اهل مصر باستان بود که هنر خود را از پدرش، تیمون، که او نیز یک هنرمند بود، آموخت. | ## بخش 1: هلن مصر | هلنا صحنه‌ای از نبرد ایسوس را نقاشی کرد؛ نبردی که در آن اسکندر مقدونی، شاه ایران داریوش سوم را در آسیای صغیر جنوبی شکست داد. پلینیوس حکیم می‌نویسد که «نبرد ایسوس» تنها اثر ثبت‌شدهٔ هلناست که از آن، یک نسخهٔ بازآفرینی‌شدۀ موزاییکی موجود است. | ## بخش 2: هلن مصر | اگرچه هنرمند خالق این موزاییک موجود ناشناخته است، اما گمان می‌رود که کپی‌ای از اثری پیشین از فیلوخسنوس اهل ارتریا باشد، اما همچنین این احتمال وجود دارد که در واقع نسخه‌ای از اثر هلنا باشد. تنها اطلاعات دیگر در مورد هلن مصر در اثر دایرةالمعارف بیبلیوتکا اثر فوتیوس اول، اسقف قسطنطنیه، یافت می‌شود. | ## بخش 3: هلن مصر | نام او به همراه هلن تروا در فهرستی از زنانی به نام «هلن» آمده است، و در بخش مربوط به هلن مصر نوشته شده: «و هلنِ نقاش نیز در این فهرست قرار دارد. این نقاشی در معبد صلح در زمان وسپاسیان به نمایش درآمد.» طبق برخی ترجمه‌های دیگر، او «تقریباً هم‌زمان با وقوع نبرد ایسوس آن را نقاشی کرد»، که این موضوع او را به قرن چهارم پیش از میلاد مربوط می‌سازد و از این نظریه حمایت می‌کند که او هم‌عصر اسکندر مقدونی بوده است. | ## جمع‌بندی | نسبت دادن این اثر به او البته مورد مناقشه است، زیرا او یک زن بود و هیچ اثر موزاییکی دیگری که شناخته شده و مربوط به زنی در آن دوره تاریخی باشد، کشف نشده است.
موضوع مقاله: سلیمان بن ستوق | مخاطب: عمومی | لحن: دانشنامه‌ای | ساختار: عنوان، مقدمه، 3 بخش، جمع‌بندی | مقاله: | # سلیمان بن ستوق | مقدمه: سلیمان ارسلان‌خان بن ستوق ششمین خاقان از قراخانیان بود که میان سال‌های ۹۵۸ تا ۹۷۰ میلادی فرمانروایی کرد. | ## بخش 1: سلیمان بن ستوق | او دومین پسر ستوق بغرا خان و از نخستین پادشاهان مسلمان ترکان قراخانی به‌شمار می‌رفت. تبار و جوانی سلیمان فرزند ستوق بغرا خان، نخستین خاقان مسلمان قراخانی، و از خاندان ترک‌های قرلق بود. | ## بخش 2: سلیمان بن ستوق | در جوانی، در کنار پدر و برادر بزرگ‌ترش موسی در یورش‌ها و کارزارهایی در برابر تبارهای همسایه و اویغورهای فرمانروای سرزمین تاریم شرکت جست. به گفتهٔ گذشته‌نگاران مسلمان چون ابن مسکویه و ابن اثیر، در سال ۹۶۰ میلادی، نزدیک به ۲۰۰٬۰۰۰ چادر از ترکان به دین اسلام گرویدند.ابن اثیر، الکامل فی التاریخ، ج۸، ص۴۰۸.ابن مسکویه، تجارب الأمم، ج۲، ص۲۳۲. | ## بخش 3: سلیمان بن ستوق | نبرد با ختن و فرجام کار در پی برخوردهای مرزی با پادشاهی ختن و تنش‌های روزافزون، در سال ۹۶۱ میلادی، جنگی درازدامن میان دو فرمانروایی آغاز شد. پیامد و مرده‌ریگ پس از مرگ سلیمان، فرمانروایی در میان پسرش هارون بغراخان و برادرزاده‌اش علی ارسلان خان بخش شد. | ## جمع‌بندی | سلیمان در گسترش اسلام و پایه‌گذاری ساختار اسلامی در فرمانروایی قراخانی جایگاهی پررنگ داشت.
موضوع مقاله: فیلیکس فنئون | مخاطب: عمومی | لحن: دانشنامه‌ای | ساختار: عنوان، مقدمه، 3 بخش، جمع‌بندی | مقاله: | # فیلیکس فنئون | مقدمه: فیلیکس فنئون (به فرانسوی: Félix Fénéon؛ ۲۲ ژوئن ۱۸۶۱ – ۲۹ فوریه ۱۹۴۴) منتقد هنری، نویسنده، مدیر نگارخانه و آنارشیست فرانسوی در اواخر سده نوزدهم و اوایل سده بیستم میلادی بود. | ## بخش 1: فیلیکس فنئون | وی در سال ۱۸۸۶ اصطلاح «نئوامپرسیونیسم» را برای توصیف گروهی از هنرمندان به رهبری ژرژ سورا ابداع کرد و از حامیان پرشور آنان به شمار می‌رفت. جایزهٔ فنئون در سال ۱۹۴۹ به همت همسرش فنی گو‌بو از محل فروش مجموعهٔ آثار هنری‌اش بنیاد نهاده شد. زندگی نخستین فنئون در سال ۱۸۶۱ در تورین ایتالیا از مادری سوئیسی به نام ماری-لویی ژکَن (معلم مدرسه) و پدری فرانسوی به نام پیر ماری ژول فنئون (فروشنده) زاده شد. پس از کسب رتبهٔ نخست در آزمون‌های استخدامی دولتی، در ۲۰ سالگی به پاریس رفت و در وزارت جنگ به عنوان منشی ارشد مشغول به کار شد. در همین دوران، آثار ادبی همچون نوشته‌های آرتور رمبو و کنت دو لوتریامون را ویرایش کرد و از پیشگامان معرفی پوینتیلسیم به رهبری سورا بود. او از حاضران ثابت در محافل سه‌شنبه‌شب‌های استفان مالارمه و نیز فعال در محافل آنارشیستی بود. | ## بخش 2: فیلیکس فنئون | در مارس ۱۸۹۲، پلیس فرانسه از او به عنوان «آنارشیستی فعال» یاد کرد و وی را تحت نظر قرار داد. در سال ۱۸۹۴ به ظن مشارکت در توطئه‌ای مرتبط با بمب‌گذاری در رستوران فویو ـ که پاتوق سیاست‌مداران بود ـ بازداشت شد. همچنین در ترور رئیس‌جمهور وقت، سادی کارنو، توسط یک آنارشیست ایتالیایی مظنون شناخته شد. او به همراه ۲۹ نفر دیگر در دادگاهی که به محاکمهٔ سی تن معروف شد، محاکمه شد، ولی در نهایت تبرئه گردید. بنا بر گزارش جولیان بارنز، زمانی که قاضی دادگاه از او پرسید آیا با یک آنارشیست پشت چراغ گاز صحبت کرده است، فنئون پاسخ داد: «می‌فرمایید پشت چراغ گاز کجاست، آقای رئیس؟» فعالیت حرفه‌ای پس از این محاکمه، فنئون از انظار عمومی کناره‌گیری کرد. فنئون ابتدا چندین بار رد کرد، اما نهایتاً با شرط ترسیم چهره‌ای تمام‌رخ موافقت کرد. | ## بخش 3: فیلیکس فنئون | سینیَک این شرط را نپذیرفت و تصویری نیم‌رخ از فنئون، با ریش نوک‌تیز شاخص‌اش، نقاشی کرد؛ اثری که به نمادی مشهور در جنبش آنارشیستی بدل شد. اگرچه فنئون از این نقاشی خوشش نمی‌آمد، آن را تا زمان مرگ سینیَک بر دیوار خانه‌اش نگه داشت. از میان نوشته‌های او، فقط «رمان‌هایی در سه خط» در زمان حیاتش به چاپ رسید که ابتدا به‌صورت یادداشت‌های کوتاه در روزنامهٔ لو ماتن در سال ۱۹۰۶ منتشر شد. در ادامه، او به عنوان مدیر نگارخانه برنهایم-ژن فعالیت کرد و تا سال ۱۹۲۵ در این جایگاه باقی ماند. | ## جمع‌بندی | پیش از بازنشستگی، به دوستی گفته بود که «آمادهٔ بیکاری است» و در ۶۳ سالگی از کار کناره گرفت.
موضوع مقاله: کد حمل اثبات | مخاطب: عمومی | لحن: دانشنامه‌ای | ساختار: عنوان، مقدمه، 3 بخش، جمع‌بندی | مقاله: | # کد حمل اثبات | مقدمه: کد حمل اثبات ( PCC ) مکانیزم نرم‌افزاری است که به سیستم میزبان اجازه می‌دهد تا ویژگی‌های یک برنامه را از طریق یک مدرک رسمی که کد اجرایی برنامه را همراهی می‌کند تأیید کند. | ## بخش 1: کد حمل اثبات | سیستم میزبان می‌تواند به سرعت اعتبار اثبات را تأیید کند، و می‌تواند نتایج اثبات را با خط‌مشی امنیتی خود مقایسه کند تا مشخص کند آیا اجرای برنامه امن است یا خیر. این می تواند به ویژه در تضمین ایمنی حافظه مفید باشد (یعنی جلوگیری از مسائلی مانند سرریز بافر ). از فیلترهای بسته به عنوان مثال استفاده کرد: یک برنامه کاربردی حالت کاربر تابعی را که در کد ماشین نوشته شده است به هسته تحویل می دهد که تعیین می کند آیا یک برنامه به پردازش یک بسته شبکه خاص علاقه دارد یا خیر. از آنجایی که فیلتر بسته در حالت هسته اجرا می شود، اگر حاوی کدهای مخربی باشد که در ساختارهای داده هسته می نویسد، می تواند یکپارچگی سیستم را به خطر بیندازد. | ## بخش 2: کد حمل اثبات | رویکردهای سنتی برای این مشکل عبارتند از تفسیر یک زبان خاص دامنه برای فیلتر کردن بسته ها، درج بررسی در هر دسترسی حافظه ( ایزوله کردن خطای نرم افزار )، و نوشتن فیلتر به یک زبان سطح بالا که قبل از اجرا توسط هسته کامپایل می شود. این رویکردها دارای معایب عملکردی برای کدهایی هستند که اغلب مانند یک فیلتر بسته اجرا می شوند، به جز رویکرد کامپایل درون هسته ای، که تنها زمانی که کد را بارگذاری می کند، نه هر بار که اجرا می شود، کامپایل می کند. با کد حمل اثباتی، هسته یک خط مشی امنیتی را منتشر می کند که ویژگی هایی را مشخص می کند که هر فیلتر بسته باید از آنها تبعیت کند: برای مثال، فیلتر بسته به حافظه خارج از بسته و منطقه حافظه خراش آن دسترسی نخواهد داشت. یک اثبات قضیه برای نشان دادن اینکه کد ماشین این سیاست را برآورده می کند استفاده می شود. | ## بخش 3: کد حمل اثبات | مراحل این اثبات ضبط شده و به کد ماشینی که به بارگذار برنامه هسته داده می شود متصل می شود. سپس بارگذار برنامه می تواند به سرعت اثبات را تأیید کند و به آن اجازه می دهد تا پس از آن کد دستگاه را بدون هیچ گونه بررسی اضافی اجرا کند. اگر یک شخص مخرب یا کد ماشین یا اثبات را تغییر دهد، کد حامل اثبات به دست آمده یا نامعتبر یا بی ضرر است (هنوز مطابق با خط مشی امنیتی است). | ## جمع‌بندی | عوامل موبایل و امنیت، جووانی ویگنا (ویرایش)، یادداشت های سخنرانی در علوم کامپیوتر، جلد.
موضوع مقاله: آزمون مرد یا پسر | مخاطب: عمومی | لحن: دانشنامه‌ای | ساختار: عنوان، مقدمه، 3 بخش، جمع‌بندی | مقاله: | # آزمون مرد یا پسر | مقدمه: آزمون مرد یا پسر توسط دانشمند کامپیوتر دونالد کنوت به عنوان ابزاری برای ارزیابی پیاده سازی زبان برنامه نویسی ALGOL 60 پیشنهاد شد. | ## بخش 1: آزمون مرد یا پسر | هدف از این آزمون تشخیص کامپایلرهایی بود که به درستی «مرجع بازگشتی و غیر محلی » را از آنهایی که این کار را انجام نداده بودند، پیاده سازی کردند. تعداد زیادی مترجم ALGOL60 وجود دارند که برای مدیریت صحیح مراجع بازگشتی و غیر محلی طراحی شده اند، و من فکر کردم شاید یک برنامه آزمایشی کوچک ممکن است مفید باشد. از این رو من روال ساده زیر را نوشته ام که ممکن است کامپایلر مرد را از کامپایلر پسر جدا کند. تلاش برای کار بر روی کاغذ احتمالا بی نتیجه است، اما برای k = 10، پاسخ صحیح -67 است، علیرغم این واقعیت که کنوت در مقاله اصلی آن را 121- حدس زده است. | ## بخش 2: آزمون مرد یا پسر | حتی ماشین‌های مدرن به‌سرعت فضای پشته‌ای برای مقادیر بزرگ‌تر k که در جدول زیر نشان داده شده‌اند تمام می‌شود ( ). این کار در پاسکال نوادگان الگول ساده است، اما در نواد اصلی دیگر الگول C امکان‌پذیر نیست (بدون شبیه‌سازی دستی مکانیزم با استفاده از عملگر آدرس-از C، انتقال نشانگرها به متغیرهای محلی بین توابع). ارجاعات تابع : B در فراخوانی بازگشتی A(k, B, x1, x2, x3, x4) فراخوانی به B نیست، بلکه ارجاعی به B است، که تنها زمانی فراخوانی می شود که k بزرگتر از صفر باشد. برخی از انواع پاسکال (مثلاً نسخه‌های قدیمی‌تر توربو پاسکال ) از مراجع رویه پشتیبانی نمی‌کنند، اما وقتی مجموعه توابعی که ممکن است به آنها ارجاع داده شود از قبل شناخته شده باشد (در این برنامه فقط B است)، می‌توان این کار را انجام داد. | ## بخش 3: آزمون مرد یا پسر | دوگانه گرایی ثابت/توابع : پارامترهای x1 تا x5 A ممکن است ثابت های عددی یا ارجاعاتی به تابع B باشند - عبارت x4 + x5 باید برای رسیدگی به هر دو حالت آماده شود، به گونه ای که گویی پارامترهای رسمی x4 و x5 با پارامتر واقعی متناظر ( فراخوانی با نام ) جایگزین شده اند. این احتمالاً در زبان‌های تایپ‌شده استاتیک بیشتر از زبان‌های تایپ شده پویا مشکل‌ساز است، اما راه‌حل استاندارد این است که ثابت‌های 1، 0، و 1 را در فراخوانی اصلی A به‌عنوان توابعی بدون آرگومان‌هایی که این مقادیر را برمی‌گردانند، دوباره تفسیر کنیم. آنچه در مورد آزمون است این است که آیا ارجاعات مختلف به B به نمونه صحیح B می رسد - نمونه ای که به همان نمادهای محلی A دسترسی دارد که B که مرجع را ایجاد کرده است. | ## جمع‌بندی | به عنوان مثال، یک کامپایلر "پسر" ممکن است به جای آن برنامه را کامپایل کند تا B همیشه به بالاترین فریم تماس A دسترسی داشته باشد.