cyanic-selkie/wikianc huggingface dataset:
الکساندر شیریچ
الکساندر شیریچ (Александар Ћирић؛ زادهٔ 30 december 1977) ورزشکار ورزش شنا اهل صربستان است.
وی در مسابقات کشوری و بین‌المللی در مجموع برندهٔ ۹ مدال طلا، ۲ مدال نقره، ۱ مدال برنز شده‌است.
الکساندر فئودوروف (واترپلو)
الکساندر فئودوروف (Александр Серге́евич Фёдоров؛ زادهٔ January 26, 1981) بازیکن واترپلو اهل روسیه-قزاقستان است.
الکساندر کوستوگلود
الکساندر کوستوگلود (Александр Викторович Костоглод؛ زادهٔ May 31, 1974) از برندگان مدال‌های بازی‌های المپیک تابستانی و قایقران کانو اهل روسیه است.
سیارک ۱۰۰۰۳
سیارک ۱۰۰۰۳ (به انگلیسی 10003 Caryhuang ، نامگذاری: 1971 UD1) ده هزار و سومین سیارک کشف شده است. که در ۲۶ اکتبر ۱۹۷۱ در رصدخانه هامبورگ توسط لوبوش کوهوتک کشف شد.
قدر مطلق سیارک برابر ۱۴.۶۰ است.
پیوند به بیرون
سیارک در اجرام کوچک ناسا
الیوت سوبر
'''الیوت آر. سوبر''' (متولد ۶ ژوئن ۱۹۴۸، بالتیمور) استاد فلسفه دانشگاه ویسکانسین - مدیسون است. سوبر به دلیل فعالیت در فلسفه زیست‌شناسی و فلسفه عمومی علم مشهور است.
او دکتری در رشته فلسفه از دانشگاه هاروارد تحت نظارت هیلاری پاتنم است. الیوت سوبر توانست به دلیل تلاش‌هایش در فلسفه علم در سال 1991 برنده جایزه لاکاتوش شود.
یکی از زمینه‌های اصلی پژوهشی سوبر موضوع سادگی یا امساک در ارزیابی نظریه تکاملی علم بوده‌است. سوبر همچنین به نوع دوستی علاقه دارد، هم به عنوان مفهومی که در زیست‌شناسی تکاملی به کار می‌رود و هم اینکه در ارتباط با روانشناسی انسان استفاده می‌شود.
سوبر منتقد برجسته طراحی هوشمند است. وی همچنین دربارهٔ شواهد و احتمالات، واقع گرایی علمی و ابزارگرایی، قوانین طبیعت، مسئله ذهن و بدن و طبیعت‌گرایی نوشته‌است.
فلسفه زیست‌شناسی
کتاب سوبر با کتاب ماهیت انتخاب: نظریه تکاملی در کانون فلسفه (۱۹۸۴) در ایجاد فلسفه زیست‌شناسی به عنوان یک زمینه تحقیقاتی برجسته در فلسفه نقش اساسی داشته‌است. طبق دانشنامه فلسفه استنفورد، «ماهیت انتخاب … نقطه ای است که اکثر فیلسوفان را از فلسفه زیست‌شناسی آگاه کرده‌است». ، ارنست مایر زیست‌شناس در بررسی خود از این کتاب نوشت: «سوبر… به ما چیزی داده‌است که شاید دقیق‌ترین و نافذترین تحلیل مفهوم انتخاب طبیعی باشد همان‌طور که بر روند تکامل تأثیر می‌گذارد».
اصل امساک
اصل امساک خوانشی از تیغ اوکام است که سوبر در کتاب سادگی (Simplicity) دربارهٔ آن نوشت. او در این کتاب استدلال کرد که سادگی یک فرضیه را باید بر اساس اطلاع بخش بودن آن نسبت به سؤال مربوطه فهمید. سوبر در ۱۹۸۰ وقتی به مفهوم امساک کلادیستیک (شاخه بندی جانوران) مورد استفاده در زیست‌شناسی تکاملی فکر می‌کرد این نظریه را رها کرد. این باعث شد بر حسب مفهوم درست نمایی به امساک فکر کند، ایده ای که در کتاب بازسازی گذشته: امساک، تکامل و استنتاج (چاپ ۱۹۸۸) توسعه داد. در ۱۹۹۰ به نقش امساک در نظریه انتخاب مدل فکر کرد- از جمله نقش آن در معیار اطلاعاتی آکائیکه. وی مجموعه مقالاتی را در این زمینه با مالکوم فورستر منتشر کرد که اولین آن‌ها، مقاله آن‌ها در سال ۱۹۹۴ با عنوان «از کجا می‌توان دانست وقتی تئوری‌های ساده تر، یکپارچه تر یا کمتر تک کاره، پیش بینی‌های دقیق تری ارائه می‌دهند» بود. تازه‌ترین کتاب او دربارهٔ امساک در سال ۲۰۱۵ با عنوان تیغ اوکام- یک کتاب راهنما منتشر شد که هم چهارچوب درست نمایی و هم چهارچوب‌های انتخاب مدل را به عنوان دو «الگوی ماندنی امساک» توصیف می‌کند.
آثار ترجمه شده
کتاب مسائل اصلی فلسفه (Core Questions in Philosophy) از او توسط رضا یعقوبی ترجمه شده و از جانب نشر کرگدن در دست چاپ است.
دنزیل بوآدو
از باشگاه‌هایی که در آن بازی کرده‌است می‌توان به باشگاه فوتبال آرسنال اشاره کرد.
وی همچنین در تیم‌های ملی فوتبال England national under-16 football team و زیر ۱۷ سال انگلستان بازی کرده‌است.
پیر محمد بازار گبولانی
پیر محمد بازار گبولانی، روستایی در دهستان باهوکلات بخش باهوکلات شهرستان دشتیاری در استان سیستان و بلوچستان ایران است.
جمعیت
بر پایه سرشماری عمومی نفوس و مسکن در سال ۱۳۹۵، جمعیت این روستا برابر با ۸۶ نفر (۲۴ خانوار) بوده‌است.
صدق‌پذیری در پیمانه نظریات
یک مسئله صدق‌پذیری در پیمانه نظریات با کوته‌نوشت SMT در علوم رایانه و منطق ریاضیاتی، یک «مسئله تصمیم» برای فرمول‌های منطقی در ارتباط با ترکیبی از نظریات پیش‌زمینه‌ای که به صورت منطق مرتبه اول کلاسیک دارای تساوی بیان شده‌اند، است. مثال‌هایی از این نظریات که معمولاً در علوم رایانه استفاده می‌شوند از این قرار است: نظریه اعداد حقیقی، نظریه اعداد صحیح، و نظریات ساختمان داده‌های متنوع مثل لیست، آرایه، بردار بیتی، و غیره. مسئله SMT را می‌توان نوعی مسئله ارضای محدودیت در نظر گرفت، و از این رو یک دیدگاه صوری‌شده معین به برنامه‌نویسی محدودیت است.
اصطلاح‌شناسی اولیه
به صورت صوری، یک مسئله SMT یک فرمول در منطق مرتبه اول است، که در آن بعضی از نمادهای تابعی و گزاره‌ای تفسیرهای اضافی دارند، و SMT همان مسئله تعیین این سوال است که آیا چنین فرمولی «صدق‌پذیر» هست یا نه. به عبارت دیگر، یک نمونه از مسئله صدق‌پذیری دودویی (SAT) را درنظر بگیرید، که در آن بعضی از متغیرهای دودویی با محمول‌ها جایگزین شده‌اند و این موضوع در محدوده مجموعه مناسبی از متغیرهای غیردودویی رخ داده‌است. یک گزاره یک تابع دودویی از متغیرهای غیردودویی است. چند مثال از گزاره شامل، نابرابری خطی (مثل ) یا تساوی‌های شامل ترم‌های تفسیرنشده و نمادهای تابعی (مثل که در آن f یک تابع تعیین نشده از دو آرگومان است). این گزاره‌ها براساس هر نظریه منتسب‌شده مرتبط رده‌بندی می‌شوند. برای مثال، نابرابری خطی روی متغیرهای حقیقی توسط قواعد نظریه حساب حقیقی خطی ارزیابی می‌شود، که در آن گزاره‌ها درگیر ترم‌های تفسیرنشده اند و نمادهای تابعی توسط قواعد نظریه توابع تفسیرنشده با تساوی ارزیابی می‌شوند (که گاهی به آن نظریه پوچ هم می‌گویند). نظریه‌های دیگر شامل نظریه‌های ساختمان آرایه‌ها و لیست‌ها می‌شود (که برای مدل‌سازی و راستی‌آزمایی برنامه‌های رایانه‌ای مفید است)، و نیز شامل نظریه آرایه بیتی است (که در مدل‌سازی و راستی‌آزمایی طراحی‌های سخت‌افزاری مفید است). زیرنظریه‌هایی دیگری هم ممکن است موجود باشد: مثل «منطق تفاوتی» که یک زیرنظریه از حساب خطی است که در آن هر نابرابری باید محدودیت فرمی x - y > c را برای متغیرهای x و y و ثابت c داشته باشد.
بیشتر حل‌کننده‌های مسئله SAT فقط از قسمت‌های فاقد سور از منطق‌شان پشتیبانی می‌کنند.
قدرت بیان
یک نمونه از مسئله SMT در واقع یک تعمیم برای نمونه مسئله SAT دودویی است، که در آن مجموعه‌های متنوعی از متغیرها با گزاره‌هایی از انواع متنوعی از نظریه‌های بنیادین جایگزین شده‌اند. فرمول‌های SMT قدرت زبان مدل‌سازی بیشتری نسبت به فرمول‌های دودویی SAT دارند. برای مثال، یک فرمول SMT به ما امکان مدل‌سازی عملیات دیتاپد (مسیرداده) برای یک ریزپردازنده را در سطح کلمه (و نه سطح بیت) می‌دهد.
برای مقایسه، برنامه‌نویسی مجموعه جواب نیز براساس گزاره‌ها است (به صورت دقیق‌تر، بر اساس جمله‌های اتمی است که از فرمول‌های اتمی ساخته شده‌است). برخلاف SMT، برنامه‌های مجموعه جواب، «سور» ندارند، و نمی‌توانند محدودیت‌هایی مثل حساب خطی یا منطق تفاوت را به سادگی بیان کنند- ASP به عنوان بهترین راه‌حل برای مسائل دودویی هستند که به نظریه آزاد توابع تفسیرنشده کاهش یافته‌اند. پیاده‌سازی اعداد صحیح ۳۲ بیتی به عنوان آرایه‌بیتی در ASP از مسائل مشابهی رنج می‌برند که حل کننده‌های اولیه SMTها با آن مواجه بودند: برابری‌های «بدیهی» مثل x+y=y+x به سختی قابل استنتاج هستند.
برنامه‌نویسی منطقی محدودیت از محدودیت‌های حسابی خطی پشتیبانی می‌کنند، اما آن‌ها در چارچوب نظری کاملاً متفاوتی قرار دارند. حل‌کننده‌های SMT برای حل فرمول‌هایی در منطق مرتبه بالاتر گسترش یافته‌اند.
دیدگاه‌های حل‌کننده
تلاش‌های اولیه برای حل نمونه‌های مسئله SMT شامل ترجمه آن‌ها به نمونه مسائل SAT دودویی بود (مثلاً یک متغیر صحیح ۳۲ بیتی توسط ۳۲ عدد متغیر تک بیتی با وزن‌های مناسب و عملیات سطح کلمه مثل «جمع» با عملیات منطقی سطح پایینی روی بیت‌ها جایگزین می‌شدند) سپس این فرمول به حل‌کننده SAT دودویی تحویل می‌شد. به این دیدگاه، دیدگاه حریصانه هم می‌گویند، و دارای مزیت‌هایی هم هست: با پیش‌پردازش یک فرمول SMT به یک فرمول SAT دودویی معادل، حل‌کننده‌های SAT دودویی موجود را می‌توان به صورتی که هست استفاده کرد، در این روش، مزیت‌هایش از نظر کارایی و ظرفیت در طی زمان بیشتر می‌شود. از جهت دیگر، فقدان وجود معناشناسی سطح بالا برای نظریه‌های بنیادین، یعنی حل‌کننده دودویی SAT باید خیلی بیشتر از آنچه برای برای کشف واقعیت‌های «بدیهی» لازم است، کار کند (مثلاً برای جمع اعداد صحیح). این مشاهده منجر به ایجاد تعدادی از حل کننده‌های SMT شد که به شدت «استنتاج دودویی یک جستجوی با سبک DPLL» را به «حل‌کننده‌های خاص نظریه (T-solvers) که به عطف‌های(ANDs) از گزاره‌ها از یک نظریه معین رسیدگی می‌کند»، یکپارچه‌سازی می‌کرد. به این دیدگاه، «دیدگاه کندرو» هم گفته می‌شود.
DPLL(T) دوبل (دوتایی) که این معماری یک «مسئولیت استنتاج بولی» به «حل‌کننده SAT مبتنی بر DPLL» می داد، که به نوبه خود با یک حل‌کننده برای نظریه T از طریق یک واسط خوش‌تعریف تعامل دارد. حل‌کننده نظریه فقط باید در مورد بررسی امکان عطف‌دهی به گزاره‌های نظریه ارسال‌شده به آن، از حل‌کننده SAT و در هنگام کاوش فضای جستجوی دودویی فرمول نگران باشد. برای آنکه این یکپارچه‌سازی به خوبی کار کند، حل‌کننده نظریه باید بتواند در تحلیل انتشار و تضاد مشارکت کند، یعنی باید بتواند واقعیت‌های جدیدی را از واقعیت‌های پیش از این بناشده، استنتاج کند، همچنین از «توضیحات مختصری از غیرممکن بودن» در موقع بروز تعارض‌های نظری پشتیبانی کند. به زبان دیگر، حل‌کننده نظریه باید افزایشی و پس‌گردی باشد.
مسئله SMT برای نظریات تصمیم‌ناپذیر
بیشتر دیدگاه‌های SMT معمول از نظریات تصمیم‌پذیر پشتیبانی می‌کنند. با این حال بیشتر سامانه‌های جهان واقعی را فقط با کمک حساب غیرخطی روی اعداد حقیقی می‌توان مدل‌سازی کرد، که ممکن است توابع متعالی را هم درگیر کند، مثل یک هواپیما و رفتار آن. این واقعیت منجر به ایجاد انگیزه‌ای برای یک گسترش برای مسئله SMT به نظریه‌های غیرخطی شد، مثلاً تعیین آنکه آیا
صدق‌پذیر هست یا نه. سپس این مسائل به صورت کلی تصمیم‌ناپذیر می‌شوند. (نظریه زمینه‌های بسته حقیقی، و از این رو نظریه مرتبه اول از اعداد حقیقی، توسط حذف سور تصمیم‌پذیر هستند. این موضوع را مدیون آلفرد تارسکی هستیم) نظریه مرتبه اول اعداد طبیعی با جمع (اما بدون ضرب) حساب پرسبورگر نامیده می‌شود، که آن هم تصمیم‌پذیر است. به دلیل آنکه ضرب کردن با ثابت‌ها را می‌توان به صورت جمع‌های تودرتو پیاده‌سازی کرد، حساب در بسیاری از برنامه‌های رایانه‌ای قابل بیان به کمک حساب پرسبورگر است، که این موضوع منجر به فرمول‌های تصمیم‌پذیر می‌شود.
مثال‌هایی از حل کننده‌های SMT که می‌خواهند ترکیبات دودویی «اتم نظریه» از نظریات حسابی تصمیم‌ناپذیر روی اعداد حقیقی رسیدگی کنند، ABsolver نام دارند، که از یک معماری کلاسیک DPLL(T) با یک بسته بهینه‌سازی غیرخطی به عنوان حل‌کننده نظریه فرعی (به صورت لازم غیرکامل) استفاده می‌کنند، و iSAT که روی یک اتحاد حل‌کننده DPLL SAT و انتشار محدودیت بازه‌ای ساخته شده‌اند، که الگوریتم iSAT نامیده می‌شود.
حل‌کننده‌ها
جدول زیر بعضی از ویژگی‌های چند تا از حل کننده‌های SMT موجود را خلاصه‌بندی نموده‌است. ستون «SMT-LIB» نشان‌دهنده سازگاری با زبان SMT-LIB است؛ بیشتر سامانه‌هایی را که با 'yes' نشان‌گذاری کرده‌ایم، فقط از نسخه‌های قدیمی SMT-LIB پشتیبانی می‌کنند، یا اینکه فقط پشتیبانی جزئی از زبان دارند. ستون «CVC» نشان‌دهنده پشتیبانی از زبان CVC است. ستون «DIMACS» نشان‌دهنده پشتیبانی از قالب DIMACS است.
این پروژه‌ها نه فقط از نظر ویژگی و کارایی با هم فرق دارند، بلکه از نظر زیست‌پذیری انجمن اطراف شان، علاقه پیشرونده به پروژه و توانمندی مشارکت مستندات، تعمیرها، تست‌ها و ارتقا با هم تفاوت دارند.
استانداردسازی و مسابقه حل‌کننده SMT-COMP
تلاش‌های زیادی برای توصیف یک واسط استاندارد شده برای حل کننده SMT (و اثبات‌گر قضیه خودکار، که یک اصطلاح هم‌معنی است) وجود دارد. برجسته‌ترین آن‌ها استاندارد SMT-LIB است که یک زبان بر اساس عبارات S تهیه دیده‌است. دیگر قالب‌های استاندارد شده که معمولاً پشتیبانی می‌شوند شامل قالب DIMACS است که توسط خیلی از حل‌کننده‌های SAT بولی پشتیبانی می‌شود، و قالب CVC که توسط اثبات‌گر قضیه خودکار CVC استفاده می‌شود.
قالب SMT-LIB همراه با تعدادی از محک‌زنی (benchmark) استاندارد آمده‌است، و این موضوع یک مسابقه سالانه بین حل‌کننده‌های SMT را امکان‌پذیر نموده‌است که به آن SMT-COMP گفته می‌شود. در ابتدا، مسابقه در همایش درستی‌سنجی به کمک رایانه (CAV) قرار داشت، اما از سال ۲۰۲۰ مسابقه به عنوان بخشی از کارگاه SMT قرار گرفت، که به همایش ترکیبی بین‌المللی روی استنتاج خودکار (IJCAR) وابسته بود.
کاربردها
حل‌کننده‌های SMT هم برای صحت، اثبات درستی برنامه‌ها، آزمون نرم‌افزار براساس اجرای نمادین، و نیز برای ترکیب، تولید قطعه‌های برنامه با جستجو روی فضای برنامه‌های ممکن مفید است. در خارج از حیطه درستی‌سنجی نرم‌افزار، از حل‌کننده SMT برای استنتاج نوع، و نیز برای مدل‌سازی سناریوهای نظری، که شامل مدل‌سازی اعتقادات کنشگر در کنترل نیروی هسته‌ای است، استفاده شده‌است.
درستی‌سنجی
درستی‌یابی برنامه‌های رایانه‌ای به کمک رایانه معمولاً از حل کننده SMT استفاده می‌کنند. یک روش معمول ترجمه پیش‌شرط، پس‌شرط، شرط حلقه، و ادعاها به فرمول‌های SMT است، که هدف آن است که تعیین شود، آیا همه ویژگی‌ها برقرار است یا نه.
درستی‌سنج‌های زیادی روی حل‌کننده Z3 SMT ساخته شده‌است. Boogie یک زبان درستی‌سنجی سطح میانی است که از Z3 استفاده می‌کند تا به صورت خودکار برنامه‌های دستوری ساده را بررسی کند. درستی‌سنج VCC برای C همزمان از Boogie، و نیز از Dafny برای برنامه‌های مبتنی بر شیء دستوری استفاده می‌کند و از Chalice برای برنامه‌های همزمان استفاده می‌کند، و از Spec# برای C# استفاده می‌کند. زبان F* یک زبان نوع دار وابسته است که از Z3 برای یافتن اثبات استفاده می‌کند؛ کامپایلر این اثبات‌ها را حمل می‌کند تا بایت‌کد حامل اثبات را تولید کند. زیرساخت درستی‌سنجی Viper شرایط درستی‌سنجی را به Z3 کدبندی می‌کند. کتابخانه sbv درستی‌سنجی مبتنی بر SMT را برای برنامه‌های زبان Haskell تهیه می‌بیند، و به کاربر کمک می‌کند تا از بین تعدادی از حل‌کننده‌ها مثل Z3، ABC, Boolector, CVC4، MathSat، و Yices انتخاب انجام دهد.
درستی‌سنج‌های زیادی روی یک حل‌کننده SMT با نام Alt-Ergo ساخته شده‌اند. در ادامه فهرستی از کاربردهای به بلوغ رسیده آمده‌است:
بسیاری از حل‌کننده‌های SMT یک قالب واسط معمول که SMTLIB2 نامیده می‌شود را پیاده‌سازی می‌کنند (این فایل‌ها معمولاً پسوند ".smt2" دارند). ابزار LiquidHaskell یک درستی‌سنج مبتنی بر نوع اصلاحی برای Haskell را پیاده‌سازی می‌کند، که می‌تواند از هر حل‌کننده سازگار با SMTLIB2 (مثل CVC4، MathSat یا Z3) استفاده کند.
تحلیل و آزمون مبتنی بر اجرای نمادین
یک کاربرد مهم برای حل‌کننده SMT، اجرای نمادین برای تحلیل و آزمون برنامه‌ها است (مثل تست کلونیک)، که مخصوصا در پیدا کردن آسیب‌پذیری‌های امنیتی کمک کننده است. ابزارهای مهمی که به صورت فعال نگهداری می‌شوند در این زمینه شامل SAGE، از مؤسسه تحقیقاتی مایکروسافت، KLEE, S2E و Triton است. حل‌کننده‌های SMT که مخصوصا در کاربردهای اجرای نمادین مفید است شامل Z3، STP, Z3str2، و Boolector است.
رایمن هلت‌کر
رایمن هلت‌کر (Ryman Healthcare) شرکت مراقبت سلامت نیوزیلندی است، که در سال ۱۹۸۴ تأسیس شد.
مایکل هیل
مایکل هیل (Michael Hill) شرکت خرده‌فروشی استرالیایی است، که در سال ۱۹۷۹ تأسیس شد.
دنی آلن پیج
دنی آلن پیج (Danny Allen-Page؛ زادهٔ October 30, 1983 ) بازیکن فوتبال اهل بریتانیا است.
از باشگاه‌هایی که در آن بازی کرده‌است می‌توان به باشگاه فوتبال کریستال پالاس، باشگاه فوتبال همپتون و ریچموند بورو، باشگاه فوتبال مرستم، باشگاه فوتبال برنتفورد، باشگاه فوتبال فارن‌بورو، و باشگاه فوتبال هیز و یدینگ یونایتد اشاره کرد.
الکساندر گورباتیکف
الکساندر گورباتیکف (Александр Валерьевич Горбатиков؛ زادهٔ June 4, 1982) بازیکن هندبال اهل روسیه است.
الکساندر مالتین
الکساندر مالتین (Александр Иванович Малетин؛ زادهٔ February 6, 1975) بوکسور اهل اتحاد جماهیر شوروی سوسیالیستی است.
الکساندر گراسیموف (ورزشکار)
الکساندر گراسیموف (Александр Герасимов؛ زادهٔ 22 january 1975) ورزشکار والیبال اهل روسیه است.
وی همچنین برندهٔ جوایزی همچون نشان دوستی شده‌است.
از باشگاه‌هایی که در آن بازی کرده‌است می‌توان به باشگاه والیبال زنیت کازان اشاره کرد.
وی در مسابقات کشوری و بین‌المللی در مجموع برندهٔ ۱ مدال طلا شده‌است.
دنی آموس (بازیکن فوتبال، زاده ۱۹۹۹)
دنی آموس (Danny Amos؛ زادهٔ December 22, 1999 ) بازیکن فوتبال اهل بریتانیا است.
از باشگاه‌هایی که در آن بازی کرده‌است می‌توان به باشگاه فوتبال دونکستر راورز اشاره کرد.
وی همچنین در تیم‌های ملی فوتبال Northern Ireland national under-19 football team و زیر ۲۱ سال ایرلند شمالی بازی کرده‌است.
فرد کورماتسو
'''فِرِد تی. کورِماتسو''' (Fred Toyosaburo Korematsu; 是松 豊三郎 (Korematsu Toyosaburō)؛ January 30, 1919 – 1919:01:30, March 30, 2005) یک فعال سیاسی و مبارز حقوق مدنی اهل آمریکا بود که به بازداشت دسته‌جمعی ژاپنی‌ها در آمریکا در طول جنگ جهانی دوم اعتراض می‌کرد.
او از پدر و مادر مهاجر ژاپنی در اوکلند، کالیفرنیا متولد شد. پس از وارد شدن ایالات متحده به جنگ جهانی دوم، او سعی کرد در گارد ملی و گارد ساحلی ایالات متحده نام‌نویسی کند، اما به علت قومیت درخواست او رد شد.
پس بازداشت دسته‌جمعی ژاپنی‌ها در آمریکا، فرد کورماتسو به جای رفتن به اردوگاه خود را مخفی کرد. او در سال ۱۹۴۲ دستگیر شد و در نتیجه، او و خانواده اش به جنگ مرکزی یوتا تا پایان جنگ جهانی دوم در سال ۱۹۴۵ فرستاده شد.
سالگرد تولد او به طور رسمی به عنوان «روز فرد کورماتسو» در کالیفرنیا، هاوایی، ویرجینیا و فلوریدا شناخته می‌شود.
در ۳۰ ژانویه ۲۰۱۷ گوگل دودل صفحه اصلی خود را در ایالات متحده به مناسبت ۹۸مین سالروز تولدش با نقشی از او تغییر داد.
مرکوری انرژی
مرکوری انرژی (Mercury Energy) شرکت برق نیوزیلندی است، که در سال ۱۹۹۹ تأسیس شد.
محک (رایانش)
محک در رایانش، به معنی اجرای یک برنامه رایانه‌ای، یا مجموعه‌ای از برنامه‌ها، یا عملیات دیگر برای «ارزیابی کارایی نسبی یک شیء» است، که این عملیات به صورت نرمال توسط «اجرای تعدادی آزمون و آزمایش» دربرابر آن شیء انجام می‌شود. معمولاً از اصطلاح محک یا benchmark برای اشاره به «برنامه‌های محک‌زنی استادانه طراحی‌شده» هم استفاده می‌شود.
الکساندر وبر
الکساندر وبر (Alexander Weber؛ زادهٔ January 4, 1978) از برندگان مدال‌های بازی‌های المپیک تابستانی و ورزشکار شمشیربازی اهل آلمان است.
وی همچنین برندهٔ جوایزی همچون برگ بوی نقره‌ای شده‌است.
وی در مسابقات کشوری و بین‌المللی در مجموع برندهٔ ۱ مدال برنز شده‌است.
کرایست‌چرچ سیتی هلدینگ
کرایست‌چرچ سیتی هلدینگ (Christchurch City Holdings) شرکت سرمایه‌گذاری نیوزیلندی است، که در سال ۲۰۰۰ تأسیس شد.
الکساندر ولادیمیرویچ کوالیوف
الکساندر ولادیمیرویچ کوالیوف (Александр Владимирович Ковалёв؛ زادهٔ March 2, 1975) قایقران کانو اهل روسیه است.
هرشاد مهتا
هرشاد شانتیلال مهتا یک کارگزار سهام هند بود. مشارکت مهتا در کلاهبرداری اوراق بهادار هند در سال ۱۹۹۲، وی را به عنوان یک عامل دستکاری در بازار بدنام کرد. اگرچه، طبق گزارش تایمز اقتصادی، برخی از کارشناسان مالی معتقدند که هرشاد مهتا هیچگونه کلاهبرداری را مرتکب نشده‌است، وی «فقط از حفره‌های موجود در سیستم مالی سوءاستفاده کرده‌است». او، تا قبل از مرگ (با حمله قلبی ناگهانی) در سن ۴۷ سالگی در سال ۲۰۰۱، از ۲۷ اتهام کیفری علیه خود، فقط به چهار مورد محکوم شد. ادعا شده بود که مهتا درگیر یک طرح گسترده دستکاری در سهام با بودجه‌ای است که از طریق رسیدهای بانکی بی‌ارزش تأمین می‌شده‌است و شرکت او برای معاملات «آماده آتی» بین بانک‌ها واسطه شده‌است. مهتا توسط دادگاه عالی بمبئی و دیوان عالی هند به نوبه خود در یک رسوایی مالی به ارزش صد میلیارد روپیه که در بورس سهام بمبئی (BSE) صورت گرفت محکوم شد. این رسوایی حفره‌های موجود در سیستم بانکی هند و سیستم معاملات بورس سهام بمبئی (BSE) را آشکار کرد و به تبع آن SEBI قوانین جدیدی را برای پوشش این حفره‌ها وضع کرد. وی ۹ سال تحت محاکمه بود تا اینکه در پایان سال ۲۰۰۱ درگذشت.
اوایل زندگی
هرشاد شانتیلال مهتا در ۲۹ ژوئیه ۱۹۵۴، در پانلی موتی، منطقه راجکوت، در یک خانواده گجراتی جائین متولد شد. دوران کودکی او در بوریوالی سپری شد، جایی که پدرش یک تاجر نساجی کوچک بود.
تحصیلات
او تحصیلات اولیه خود را در مدرسه دولتی جانتا، کمپ ۲ بیهلای انجام داد. مهتا که از علاقه‌مندان به کریکت بود، در مدرسه دستاورد خاصی نشان نداد و پس از تحصیلات برای ادامه تحصیل و یافتن کار به بمبئی آمد. مهتا کارشناسی بازرگانی خود را در سال ۱۹۷۶ از کالج لالا لاجپاترائی، بمبئی به اتمام رساند و برای هشت سال بعد از فارغ‌التحصیلی در چندین شغل عجیب کار کرد.
الکساندر یریشوف
الکساندر یریشوف (Александр Анатольевич Ерышов؛ زادهٔ january 17, 1973) ورزشکار واترپلو اهل روسیه است.
وی در مسابقات کشوری و بین‌المللی در مجموع برندهٔ ۱ مدال طلا، ۱ مدال نقره، ۱ مدال برنز شده‌است.
فریتز اشتوکلی
وی در مسابقات کشوری و بین‌المللی در مجموع برندهٔ ۱ مدال طلا، ۲ مدال نقره شده‌است.
خط راه‌آهن قزوین-رشت
این خط که دارای ۱۶۴ کیلومتر طول است از شهر قزوین آغاز و در شهر رشت به پایان می‌رسد، بنابر برنامه در آینده این خط از شهر رشت به‌طور مجزا در سه مسیر مجزا خط راه‌آهن رشت-بندر کاسپین، خط راه‌آهن رشت بندر انزلی و خط راه‌آهن رشت-بندر آستارا امتداد پیدا می‌کند. خط راه‌آهن رشت آستارا به راه‌آهن کشور جمهوری آذربایجان متصل می‌شود. با پایان خط راه آهن رشت آستارا، ارتباط بندر عباس درخلیج فارس به هلسینکی فنلاند میسر می‌شود. خط راه‌آهن قزوین-رشت با هزینه ۱۸۰۰ میلیارد تومانی از مهر ۱۳۸۱ آغاز به ساخت شده‌است.
مشخصات فنی
۵۰ درصد این خط در دشت، ۱۰ درصد آن در تپه ماهور و ۴۰ درصد در مناطق کوهستانی قرار گرفته و ۸۰ پل به طول ۱۳٬۰۵۳ متر و ۵۲ تونل به طول ۲۲٬۰۰۰ متر از مشخصات فنی این پروژه است. بزرگترین پل راه‌آهن ایران در مسیر این خط به طول یک هزار و ۴۳۰ متر روی سد منجیل است ساخته شده.
همچنین در راه‌آهن قزوین–رشت بیش از ۳۰ هزار تن ریل، ۱۸۰ دستگاه سوزن، بیش از ۴۰۰ هزار تن تراورس بتنی، ۸۰۰ هزار دست پابند و بیش از ۶۰۰ هزار متر مکعب بالاست به کار رفته‌است.
شوتزهافت‌لاگرفورر
شوتزهافت‌لاگرفورر (Schutzhaftlagerführer) یک درجه و عنوان شبه‌نظامی در اس‌اس بود که مخصوص اعضای اس‌اس-تی‌وی در اردوگاه‌های کار اجباری و اردوگاه‌های مرگ نازی‌ها بود.یک شوتزهافت‌لاگرفورر در راس کارکرد اقتصادی اردوگاه قرار داشت.
معمولاً هر اردوگاه بیش از یک شوتزهافت‌لاگرفورر داشت زیرا اندازه اردوگاه‌ها معمولاً بسیار بزرگ بود. یک شوتزهافت‌لاگرفورر دستورها را از ادارات مرکزی در برلین دریافت می‌کرد و به کمک افراد اس‌اس آن‌ها را به اجرا درمی‌آورد.زندگی زندانیان تماماً در دست آنان بود.
شوتزهافت‌لاگرفورر و آجو دانش مسئول بهره‌برداری از اردوگاه بودند. شوتزهافت‌لاگرفورر هم‌چنین باید نظم اردوگاه را حفظ، از امور روزمره مراقبت، حضور و غیاب و کارهایی مانند آن را انجام می‌داد.
بافت‌نگار رنگ
در پردازش تصویر و عکاسی، یک بافت‌نگار رنگ یا هیستوگرام رنگ نمایشی از توزیع رنگ در یک تصویر است. برای تصاویر دیجیتالی، یک هیستوگرام رنگ نشان دهنده تعداد پیکسل‌هایی است که در هر یک از طیف‌های رنگی مشخص وجود دارند، مجموعه ای از تمام رنگ‌های ممکن که صفحه را پوشش می‌دهند.
هیستوگرام رنگ را می‌توان برای هر نوع فضای رنگی ایجاد کرد، هرچند این لغت بیشتر برای فضاهای سه بعدی مانند RGB یا HSV استفاده می‌شود. برای تصاویر تک رنگ، به جای این لغت ممکن است از هیستوگرام شدت استفاده شود. برای تصاویر چند طیفی، که هر پیکسل با تعداد دلخواه اندازه‌گیری (به عنوان مثال، فراتر از سه اندازه‌گیری در RGB) نشان داده شده‌است، هیستوگرام رنگ nبعدی است، وn تعداد اندازه‌گیری‌ها است. هر اندازه‌گیری طول موج محدودهٔ طیف نوری خود را دارد، که بعضی از آنها ممکن است خارج از طیف قابل مشاهده باشند.
اگر مجموعهٔ مقادیر رنگ ممکن به اندازه کافی کوچک باشد، هر یک از این رنگ‌ها می‌تواند در محدوده خود قرار گیرد؛ در این حالت هیستوگرام صرفاً تعداد پیکسل‌هایی است که هر رنگ ممکن را دارند. اغلب این فضا به یک تعداد مناسب از محدوده تقسیم می‌شود، که به عنوان یک شبکه منظم مرتب می‌شوند، که هر یک دارای مقادیر رنگ مشابهی است. هیستوگرام رنگ نیز می‌تواند به عنوان یک تابع خطی در فضای رنگی که شمارش تقریبی پیکسل‌ها را تعیین می‌کند نمایش داده شود.
مانند سایر انواع هیستوگرام، هیستوگرام رنگ نموداری است که می‌تواند به عنوان تقریبی از توزیع پیوسته پایه ای از ارزش رنگ‌ها مشاهده شود.
هیستوگرام‌های رنگی سازه‌های انعطاف‌پذیری هستند که می‌توانند از تصاویر در فضاهای مختلف رنگی، چه RGB, RGرنگی یا هر فضای رنگی دیگری از هر بعد ساخته شوند. هیستوگرام یک تصویر ابتدا به گسسته سازی رنگ‌ها در تصویر به تعدادی شبکه و شمارش تعداد پیکسل‌های تصویر در هر شبکه می‌پردازد. برای مثال، یک هیستوگرام رنگی قرمز آبی را می‌توان با اولین مقادیر پیکسل‌های رنگی توسط تقسیم RGB با R + G + B تشکیل داد و سپس مختصات R و B نرمال شده را به N شبکه تقلیل داد. هیستوگرام دو بعدی رنگی قرمز آبی به چهار شبکه (N = ۴) تقسیم می‌شود و ممکن است یک هیستوگرام به شکل زیر نمایش داده شود: یک هیستوگرام می‌تواندn بعدی باشد. اگر چه نمایش آن سخت‌تر است، هیستوگرام رنگ سه بعدی برای مثال فوق می‌تواند به عنوان چهار نمودار جداگانه ای از قرمز آبی به کار رود که هر یک از چهار هیستوگرام حاوی مقادیر قرمز آبی برای سبد سبز نیز (۰–۶۳، ۶۴–۱۲۷، ۱۲۸–۱۹۱، و ۱۹۲–۲۵۵) است.
هیستوگرام یک خلاصه مختصر از توزیع داده‌ها در یک تصویر را فراهم می‌کند. هیستوگرام رنگ یک تصویر نسبتاً متناوب با ترجمه و چرخش در مورد محور دید است و تنها با زاویه دید به آرامی تغییر می‌کند. با مقایسه امضای هیستوگرام دو تصویر و مطابقت با محتوای رنگ یک تصویر با دیگر، هیستوگرام رنگ به ویژه برای مشکل تشخیص یک شی از موقعیت ناشناخته و چرخش در یک صحنه مناسب است. مهمتر از همه، ترجمه یک تصویر RGB به فضای رنگی rg-invariant illumination اجازه می‌دهد تا هیستوگرام به خوبی در سطوح مختلف نور عمل کند.
۱)هیستوگرام چیست؟
هیستوگرام یک نمایش گرافیکی از تعداد پیکسل‌ها در یک تصویر است. به بیان ساده‌تر، یک هیستوگرام یک نمودار ستونی است، که محور X نشان دهنده مقیاس تونال (سیاه و سفید در سمت چپ و سفید در سمت راست)، و محور Y نشان دهنده تعداد پیکسل‌ها در یک تصویر در یک محدوده مشخص در مقیاس تونال می‌باشد. به عنوان مثال، نمودار هیستوگرام روشنایی، تعداد پیکسل‌ها را برای هر سطح روشنایی (از سیاه به سفید) نشان می‌دهد، و هنگامی که پیکسل‌های بیشتری وجود دارد، پیک (قله) در سطح روشنایی خاصی بالاتر است.
۲)هیستوگرام رنگ چیست؟
هیستوگرام رنگ یک تصویر نشان دهنده نحوهٔ توزیع ترکیب رنگ در تصویر است. بافت نگار رنگ، انواع مختلف رنگی‌هایی را که در تصویر ظاهر می‌شوند و تعداد پیکسل‌ها در هر نوع رنگ را نشان می‌دهد. رابطه بین یک هیستوگرام رنگ و یک هیستوگرام روشنایی این است که یک هیستوگرام رنگ نیز می‌تواند به عنوان «هیستوگرام سه نوره» بیان شود، که هر کدام نشان دهنده توزیع روشنایی در هر کانال رنگی قرمز / سبز / آبی است.
ویژگی‌های هیستوگرام رنگ
هیستوگرام رنگ تنها بر نسبت تعداد انواع رنگ‌ها، صرف‌نظر از مکان فضایی رنگ‌ها تمرکز می‌کند. مقادیر هیستوگرام رنگ داده‌های آماری هستند. آن‌ها توزیع آماری رنگ‌ها و تناژ اصلی یک تصویر را نشان می‌دهند.
به‌طور کلی، از آنجایی که توزیع رنگی پیش زمینه و پس زمینه در یک تصویر متفاوت است، ممکن است توزیع دوبعدی در هیستوگرام وجود داشته باشد.
برای هیستوگرام روشنایی، به تنهایی هیچ هیستوگرام کاملی وجود ندارد و هیستوگرام تنها می‌تواند بگوید که آیا تصویر بیش از حد نوردهی شده‌است یا نه. اما در این حال نیز مواقعی وجود دارد که با مشاهدهٔ هیستوگرام رنگ تصور می‌شود نوردهی تصویر بیش از حد است، اما در واقعیت اینگونه نیست.
اصول تشکیل هیستوگرام رنگ
تشکیل یک هیستوگرام رنگ بسیار ساده است. از تعریف بالا، می‌توانیم به سادگی تعداد پیکسل‌ها را برای هر ۲۵۶ مقیاس در هر سه کانال RGB شمارش کنیم و آنها را بر روی ۳ نمودار ستونی مجزا قرار دهیم.
مراحل به هم پیوستن اصول را می‌توان در مثال ۲ مشاهده کرد.
مثال ۱
تصویر زیر یک گربه (یک نسخه اصلی و یک نسخه که برای آسان ساختن اهداف هیستوگرام به ۲۵۶ رنگ کاهش یافته‌است) را نشان می‌دهد. داده‌های زیر نشان دهنده یک هیستوگرام رنگی در فضای رنگی RGB، با استفاده از چهار سطل (باین) است. باین ۰ مربوط به شدت ۰–۶۳ است، باین ۱ ۶۴–۱۲۷ است، باین ۲ ۱۲۸–۱۹۱ است، و باین ۳ است ۱۹۲–۲۵۵ است.
مثال ۲
برنامه در دوربین:
امروزه برخی از دوربین‌ها توانایی نمایش هیستوگرام ۳ رنگه را هنگام عکس گرفتن دارند.
ما می‌توانیم در هر یک از هیستوگرام‌های ۳ رنگهٔ RGB برش هارا (مرزها را در قسمت سیاه یا سفید مقیاس) بررسی کنیم. اگر یک یا چند برش را فقط در یک کانال از ۳ کانال RGB پیدا کنیم، آنگاه جزئیات رنگ آن را از دست می‌دهیم.
برای روشن شدن موضوع، این مثال را در نظر بگیرید:
۱ ما می‌دانیم که هر یک از سه کانال R, G، B دارای طیف وسیعی از مقادیر در بازهٔ ۰–۲۵۵ (۸ بیتی) است؛ بنابراین یک عکس با محدوده روشنایی ۰–۲۵۵ داریم.
۲ فرض کنید عکس ما از ۴ بلوک که در کنار هم قرار گرفته‌اند ساخته شده‌است و ما درجه روشنایی هر یک از ۴ بلوک را ،۱۰، ۱۰۰، ۲۰۵، ۲۴۵ تنظیم می‌کنیم؛ بنابراین، تصویر مانند اولین شکل در سمت چپ خواهد بود.
۳ سپس، تصویر را نور دهی می‌کنیم، با این کار میزان روشنایی هر بلوک به ۱۰ افزایش یافته‌است؛ بنابراین، مقیاس روشنایی برای هر یک از ۴ بلوک جدید عکس ۲۰، ۱۱۰، ۲۱۵، ۲۵۵ است. سپس، تصویر شبیه شکل دوم در سمت چپ است.
تفاوت زیادی بین شکل ۸ و شکل ۹ وجود ندارد، تمام چیزی که ما می‌بینیم این است که کل تصویر روشن می‌شود (کنتراست برای هر یک از بلوک‌ها به همان صورت باقی می‌ماند).
۴ حالا ما دوباره عکس اصلی را نوردهی می‌کنیم، در این صورت میزان روشنایی هر بلوک به ۵۰ افزایش می‌یابد؛ بنابراین، مقیاس روشنایی برای هر یک از ۴ بلوک جدید عکس ۶۰، ۱۵۰، ۲۵۵، ۲۵۵ است. تصویر جدید اکنون به شکل سوم در سمت چپ ظاهر می‌شود.
به این نتیجه رسیدیم که هنگام عکس گرفتن با یک دوربین که قرار است هیستوگرام را نمایش دهد، همیشه بالاترین تناژ در تصویر باید زیر حد بالا یعنی ۲۵۵ در هیستوگرام نگه داشته شود تا جزئیات از دست نروند.
نقاط ضعف و بقیهٔ رویکردها
برخی از راه حل‌های پیشنهادی، استفاده از تقاطع هیستوگرام رنگی، نشان دادن ثابت رنگ، هیستوگرام رنگ تجمعی، فاصله درجه دوم و همبستگی رنگ است. گرچه اشکالات استفاده از هیستوگرام‌ها برای نمایه سازی و طبقه‌بندی وجود دارد، استفاده از شاخصهٔ رنگ در یک سیستم زمان واقعی دارای مزایایی نیز هست. یکی از آن مزایا این است که اطلاعات رنگی در مقایسه با سایر متغیرها سریعتر است. در برخی موارد نشان داده شده‌است که رنگ می‌تواند یک روش کارآمد برای شناسایی اشیاء با مکان و ظاهر شناخته شده باشد.
تحقیقات بیشتر پیرامون رابطهٔ بین داده‌های هیستوگرام رنگی با خواص فیزیکی اشیاء در یک تصویر نشان داده‌است که نه تنها رنگ و روشنایی شیء، بلکه میزان همواری سطح و هندسه تصویر نیز به هیستوگرام مربوط می‌شوند. در نتیجه با این نمودار (با توجه به داده‌ها) می‌توان تخمین پیشرفته ای از میزان روشنایی و رنگ شی ارائه داد.
معمولاً برای محاسبه درجه‌بندی شباهت تصویر، از فاصله اقلیدس، تقاطع هیستوگرام، یا فاصله کوزین یا فاصله درجه دوم استفاده می‌شود. هر یک از این مقادیر، به تنهایی میزان شباهت دو تصویر را نشان نمی‌دهد؛ در نتیجه استفاده از آنها هنگامی مفید است که در مقایسه با سایر مقادیر مشابه استفاده شود. این به این دلیل است که تمام پیاده‌سازی‌های عملی تصویر بازیابی مبتنی بر محتوا باید محاسبات تمام تصاویر را از پایگاه داده کامل کند و این (عملیات)، ضعف اصلی این پیاده‌سازی‌ها است.
یک روش دیگر برای نشان دادن محتوای تصویر رنگ هیستوگرام رنگ دو بعدی است. نمودار هیستوگرام دو بعدی رابطه بین رنگ‌های جفت پیکسل (نه تنها جزء نورپردازی) را در نظر می‌گیرد. یک هیستوگرام رنگ دو بعدی آرایه ای دو بعدی است. اندازه هر بعد، تعداد رنگهایی است که در فاز سیگنال رنگ استفاده شده‌اند. این آرایه‌ها همانند ماتریس عمل می‌کنند، هر عنصر که تعدادی عادی از جفت پیکسل را ذخیره می‌کند، با هر رنگ متناظر با اندیس یک عنصر در هر محله پیکسل قرار می‌گیرند. برای مقایسه هیستوگرام‌های رنگ دو بعدی، پیشنهاد می‌شود محاسبات مربوط به همبستگی آنها را انجام دهید، زیرا همان‌طور که قبلاً شرح داده شد، یک بردار تصادفی (به عبارت دیگر، یک مقدار تصادفی چند بعدی) ساخته شده‌است. هنگام ایجاد مجموعه ای از تصاویر نهایی، تصاویر باید در جهت کاهش ضریب همبستگی مرتب شوند.
ضریب همبستگی نیز ممکن است برای مقایسه هیستوگرام رنگ استفاده شود. نتایج بازیابی با ضریب همبستگی بهتر از سایر معیارهاست.
هیستوگرام شدت داده‌های مداوم
ایده یک هیستوگرام شدت را می‌توان به داده‌های پیوسته (مانند) سیگنال‌های صوتی نشان داده شده توسط توابع حقیقی یا تصاویر نمایش داده شده توسط توابع با دامنه دو بعدی تعمیم داد.
در نظر بگیرید:
منابع
<references group="" responsive="" />
جایزه صلح نوبل ۲۰۱۷
جایزه صلح نوبل ۲۰۱۷ (2017 Nobel Peace Prize) براساس اعلام کمیته نوبل نروژ در ۶ اکتبر ۲۰۱۷، به خاطر کارزار بین‌المللی برای نابودی سلاح‌های هسته‌ای که موفق شد توجهات بین‌المللی را به عواقب فاجعه‌بار انسانی هر گونه استفاده از سلاح‌های هسته‌ای جلب کند به «کمک‌های برجسته به صلح» اعطا شد، تلاش‌هایی که برای دستیابی به معاهده ممنوعیت استفاده از چنین سلاح‌هایی صورت گرفته بود. «کمیته نوبل نروژ» به این حقیقت اذعان کرد که کشورهای دارنده جنگ‌افزار هسته‌ای و هم پیمانانشان. نه این معاهده را امضا کرده‌اند و نه از معاهده منع سلاح‌های هسته‌ای حمایت کرده‌اند، با این حال رئیس کمیته (پیمان منع جنگ‌افزار) به گزارشگران گفت که این جایزه تمام بازیکنان در زمینه خلع‌سلاح را تشویق می‌کند. این جایزه از سوی جامعه مدنی و همچنین نمایندگان دولت‌هایی که از معاهده منع سلاح‌های هسته‌ای حمایت می‌کنند مورد استقبال قرار گرفت، اما از سوی کسانی که مخالف بودند انتقاد کردند. مراسم اعطای جایزه نوبل در ۱۰ دسامبر ۲۰۱۷ در شهر اسلو برگزار خواهد شد.
مراسم اهدای جایزه
یک روز قبل از برگزاری مراسم دهمین دوره اعطای جایزه صلح نوبل که در دسامبر در تالار شهر اسلو برگزار شد، مؤسسه کارزار بین‌المللی برای نابودی سلاح‌های هسته‌ای ۱۰۰۰جرثقیل کاغذی قرمز و آبی که توسط کودکان برای هیروشیما ساخته شده بود را در مقابل پارلمان نروژ نصب کرد.
جایزه پیشین تلاش‌های خلع سلاح هسته‌ای
پس از آنکه برای اولین بار سلاح‌های هسته‌ای، در سال ۱۹۴۶ مورد استفاده قرار گرفت، جایزه صلح نوبل با تلاش‌های خلع سلاح هسته‌ای شروع به شناخت شدن کرد:
در هنگام سخنرانی اهدای جوایز در ۱۰ دسامبر ۲۰۱۷، رئیس کمیته نوبل، بریت ریس - اندرسن یادآوری کرد که "دوازده جایزه صلح، به طور کامل یا جزئی" را به احترام به "تلاش‌های ضد سلاح‌های هسته‌ای یا خلع سلاح هسته‌ای اهدا کرده‌اند، " که جایزه نوبل سال ۲۰۰۹ که به باراک اوباما اهدا شد را نیز دربر گرفت.
سالید انرژی
سالید انرژی (Solid Energy) شرکت معدن نیوزیلندی است، که در سال ۱۹۸۷ تأسیس شد.
الکساندرا کوروکووتس
الکساندرا کوروکووتس (Александра Петровна Коруковец؛ زادهٔ october 1, 1976) بازیکن والیبال اهل روسیه است.
دنی بات
دنی بات (Danny Batth؛ زادهٔ September 21, 1990 ) بازیکن فوتبال اهل بریتانیا است.
از باشگاه‌هایی که در آن بازی کرده‌است می‌توان به باشگاه فوتبال ولورهمپتون واندررز، باشگاه فوتبال شفیلد یونایتد، باشگاه فوتبال شفیلد ونزدی، و باشگاه فوتبال کولچستر یونایتد اشاره کرد.
نیوزیلند پست
نیوزیلند پست (Tukurau Aotearoa) شرکت دولتی پست نیوزیلندی است، که در سال ۱۹۸۷ تأسیس شد.
ترنس تو را دوست داره
«ترنس تو را دوست داره» ترانه‌ای از خواننده و ترانه‌نویس اهل ایالات متحده آمریکا لانا دل ری است. این ترانه برای آلبوم ماه عسل ضبط شده است. ترانه در ۲۱ اوت ۲۰۱۵ منتشر شد.
دنی اندرو
دنی اندرو (Danny Andrew؛ زادهٔ December 23, 1990) بازیکن فوتبال اهل بریتانیا است.
الکسی دیاچنکو
الکسی دیاچنکو (Алексе́й Влади́мирович Дьяче́нко؛ زادهٔ November 11, 1978) شمشیرباز اهل روسیه است.
دنی اندرو
از باشگاه‌هایی که در آن بازی کرده‌است می‌توان به باشگاه فوتبال پیتربورو یونایتد، باشگاه فوتبال کمبریج یونایتد، باشگاه فوتبال دونکستر راورز، باشگاه فوتبال مکلسفیلد تاون، باشگاه فوتبال چلتنهام تاون، باشگاه فوتبال گلاستر سیتی، باشگاه فوتبال کیدرمینستر هاریرس، باشگاه فوتبال گریمزبی تاون، باشگاه فوتبال فلیتوود، و باشگاه فوتبال تاموورث اشاره کرد.
الکسی راستوورتسف
وی در مسابقات کشوری و بین‌المللی در مجموع برندهٔ ۱ مدال برنز شده‌است.
آرت دکو (ترانه)
«آرت دکو» ترانه‌ای از خواننده و ترانه‌نویس اهل ایالات متحده آمریکا لانا دل ری است. این ترانه برای چهارمین آلبوم استودیویی دل ری با عنوان ماه عسل (۲۰۱۵) ضبط شده‌است.
فرانسوا تروکنز
فرانسوا تروکنز (به فرانسوی: François Troukens) متولد ۳۱ دسامبر ۱۹۶۹ میلادی در شهر نیول است. یک اوباش سابق و اکنون فیلمساز، نویسنده و فیلمنامه‌نویس بلژیکی است. وی همچنین مجری رادیو و مجری تلویزیون نیز می‌باشد.
وی همچنین یکی از چهره‌های راهزنی در بلژیک در دهه ۱۹۹۰ است.
وی از زمان آزادی از زندان، از طریق انجمن خود علیه رادیکالیسم مبارزه کرده و خواستار فرهنگ بیشتر در محیط زندان شده‌است.
میمون شاه (فیلم ۲۰۰۱)
میمون شاه معروف به امپراتوری گمشده یک مینی‌سریال تلویزیونی آمریکایی محصول سال ۲۰۰۱ به کارگردانی پیتر مک‌دونالد که توسط ان‌بی‌سی و کانال سای‌فای تولید شده‌است. این برداشتی معاصر از رمان کلاسیک قرن شانزدهم سفر به غرب است. در این فیلم بایی لینگ، توماس گیبسون، راسل وونگ، ادی مارسن و رندل دوک کیم به ایفای نقش پرداخته‌اند. فیلمنامه این فیلم توسط دیوید هنری هوانگ، نمایشنامه نویس برجسته آمریکایی - آسیایی نوشته شده‌است. ''
مت‌سرویس
مت‌سرویس (MetService) شرکت دولتی مراقبت سلامت نیوزیلندی است، که در سال ۱۹۹۲ تأسیس شد.
گردان کاستوش کالینوتسکی
گردان کاستوش کالینوتسکی(KKB, Батальйон імені Кастуся Калиновського ) گروهی از داوطلبان بلاروسی هستند که برای دفاع از اوکراین در برابر آفند روسیه در سال ۲۰۲۲ پایه‌گذاری شده‌است.
گزارش شده‌است که تا مارس ۲۰۲۲، بیش از هزار بلاروسی برای پیوستن به این واحد درخواست داده‌اند.
تاریخچه
نخستین گروه داوطلب خارجی در اوکراین در طول جنگ روسیه و اوکراین، گروه تاکتیکی «بلاروس» بود که در سال ۲۰۱۵ در طول جنگ در دونباس پایه‌گذاری شد.
نام این گردان به افتخار کاستوش کالینوتسکی، رهبر بلاروسی سده نوزدهمی در خیزش ژانویه ۱۸۶۳ علیه امپراتوری روسیه گرفته شده‌است. گزارش شده‌است که تا ۵ مارس ۲۰۲۲، حدود ۲۰۰ بلاروس به گردان پیوسته‌اند. شعار آنها این است: «نخست اوکراین، سپس بلاروس.»
در ۲۵ مارس ۲۰۲۲، گزارش شد که گردان سوگند یاد کرده و رسماً در ارتش اوکراین پذیرفته شده‌است. در ۲۹ مارس ۲۰۲۲، داوطلبان گردان در کنار سربازان اوکراینی برای بازپس‌گیری ایرپین جنگیدند.
واکنش‌ها
ایجاد این گردان توسط سوتلانا تیخانوفسکایا، رهبر مخالفان بلاروس تأیید شد. او خاطرنشان کرد که «افرادی بیشتری از بلاروس برای کمک به اوکراینی‌ها برای دفاع از کشورشان می‌پیوندند». الکساندر لوکاشنکو، رئیس‌جمهور بلاروس، از متحدان ولادیمیر پوتین، رئیس‌جمهور روسیه، داوطلبان را «شهروندان دیوانه» خواند.
مخمل آبی (ترانه)
«مخمل آبی» یک ترانه عامه‌پسند است که توسط هنرمندهای اهل ایالات متحده آمریکا، از جمله تونی بنت، بابی وینتون، لانا دل ری بازخوانی شده‌است.
مریدیان
مریدیان (Meridian) شرکت دولتی برق نیوزیلندی است، که در سال ۱۹۹۸ تأسیس شد.
الکسی کوستیگوف
الکسی کوستیگوف (Алексей Вениаминович Костыгов؛ زادهٔ july 5, 1973) ورزشکار فوتبال اهل روسیه است.
وی در مسابقات کشوری و بین‌المللی در مجموع برندهٔ ۱ مدال برنز شده‌است.
ریچارد باروله
ریچارد باروله (Richard Barroilhet؛ زادهٔ ) بازیکن فوتبال اهل فرانسه است.
از باشگاه‌هایی که در آن بازی کرده‌است می‌توان به باشگاه فوتبال والویک، باشگاه فوتبال نانیتون تاون، و باشگاه فوتبال فولام اشاره کرد.
وی همچنین در تیم ملی فوتبال زیر ۱۹ سال فرانسه بازی کرده‌است.
الکسی وویودین
الکسی وویودین (Алексей Николаевич Воеводин؛ زادهٔ August 9, 1970) ورزشکار دو و میدانی اهل روسیه است.
ژان فرانسوا هنسگنس
ژان فرانسوا هِنسگنس (به فرانسوی: Jean-François Hensgens) یک فیلم‌بردار و کارگردان فیلم بلژیکی است.
منابع
ویکپدیای فرانسوی
هنگ آزادی روسیه
هنگ آزادی روسیه (Легион «Свобода России» ; Легіон «Свобода Росії») که همچنین به هنگ آزادی برای روسیه نیز برگردانده شده هنگی از نیروهای مسلح اوکراین است که در مارس ۲۰۲۲ برای نگهبانی از اوکراین در برابر آفند روسیه به اوکراین در سال ۲۰۲۲ در طول جنگ روسیه و اوکراین پایه‌گذاری شد. این سازمان دربرگیرنده فراریان نیروهای مسلح روسیه و همچنین دیگر داوطلبان روسی و بلاروسی است که پیشتر در تشکیلات نظامی عضویت نداشته‌اند.
تاریخچه
هنگ «آزادی روسیه» از یک گروه از ارتش روسیه (بیش از ۱۰۰ نفر) تشکیل شده که داوطلبانه به طرف اوکراینی فرار کردند. به گفته فرمانده این گروه، آنها در ۲۷ فوریه ۲۰۲۲ با کمک سرویس امنیتی اوکراین، به سویه اوکراینی پیوستند تا «از اوکراینی‌ها در برابر فاشیست‌های واقعی نگهبانی کنند». وی همچنین از هموطنان خود، سربازان ارتش پوتین، خواست به هنگ «آزادی روسیه» بپیوندند تا مردم خود و کشور را «از پستی و نابودی» نجات دهند.
نخستین داوطلبان هنگ «آزادی روسیه» آموزش مقدماتی فردی را در اواخر مارس ۲۰۲۲ آغاز کردند. به‌طور خاص، کارکنان هنگ با راهنمای مربیان نیروهای مسلح اوکراین ویژگی‌های موشک کوتاه برد هدایت شونده ضد تانک قابل حمل سوئدی-بریتانیایی NLAW را آموختند. فرماندهان یگان‌های «آزادی روسیه» با وضعیت عملیاتی خط جلودار آشنا شدند. اهداف اعلام شده هنگ دفع آفند روسیه به اوکراین و در نهایت سرنگونی رژیم ولادیمیر پوتین است.
در ۹ آوریل ۲۰۲۲، کانال تلگرامی «آزادی روسیه» ویدئویی منتشر کرد که در آن داوطلبان هنگ اسیران جنگی روسی را از دونباس به مقر خود می‌بردند.
ریچارد اپلبی
ریچارد اپلبی (Richard Appleby؛ زادهٔ September 18, 1975) بازیکن فوتبال اهل بریتانیا است.
از باشگاه‌هایی که در آن بازی کرده‌است می‌توان به باشگاه فوتبال دارلینگتون، باشگاه فوتبال هال سیتی، باشگاه فوتبال سوانزی سیتی، باشگاه فوتبال کیدرمینستر هاریرس، باشگاه فوتبال ایپسویچ تاون، باشگاه فوتبال نیوکاسل یونایتد، و باشگاه فوتبال فارست گرین راورز اشاره کرد.
وی همچنین در تیم ملی فوتبال زیر ۱۸ سال انگلستان بازی کرده‌است.
شرکت راه‌آهن
شرکت راه‌آهن (Railway company) به شخصیت حقوقی اطلاق می‌شود، که مسیر ریلی یا قطارها را مدیریت و اداره می‌کند. چنین شرکتی می‌تواند خصوصی یا دولتی باشد. برخی از شرکت‌های راه‌آهن نیز هر دو فرایند را با هم انجام می‌دهند، یعنی هم قطار و هم مسیر را مدیریت می‌کنند، در حالی که به ویژه در اتحادیه اروپا، مالکیت بهره‌برداری از قطار و راه‌آهن در شرکت‌های مختلف انجام می‌گیرد.
هلیفکس بنک
هلیفکس بنک (Halifax) شرکت خدمات مالی و بانکداری بریتانیایی است، که در سال ۱۸۵۳ تأسیس شد.
پیوند به بیرون
Halifax (bank)
ریچارد براش
ریچارد براش (Richard Brush؛ زادهٔ November 26, 1984) بازیکن فوتبال اهل بریتانیا است.
از باشگاه‌هایی که در آن بازی کرده‌است می‌توان به باشگاه فوتبال تاموورث، باشگاه فوتبال اسلایگو راورز، باشگاه فوتبال نانیتون تاون، باشگاه فوتبال کاونتری سیتی، باشگاه فوتبال استافورد رانجرز، باشگاه فوتبال شامروک روورز، و باشگاه فوتبال شروزبری تاون اشاره کرد.
شواهد النبوه
شواهد النبوه کتابی از عبدالرحمن جامی شاعر، ادیب و صوفی نام‌دار ایرانی است.
موضوع کتاب
این کتاب با مباحثی در اثبات نبوت محمد پیامبر اسلام تدوین و تنظیم شده‌است که طی آن شواهد روایی و دلائلی نقلی بر اثبات حقانیت پیامبر اسلام آورده‌است. به همین دلیل با شواهد و دلایل، نبوت، محمد را براساس سلسله مراتب تاریخی قبل از ولادت تا بعد از رحلت وی طبقه‌بندی نموده‌است. سپس برخی معجزات او را شرح داده‌است. در بخشی دیگر عبدالرحمن جامی با اشاره به احوال و خصوصیات مهم خلفای راشدین و ذکر کرامات آنها و اهل بیت پیامبر، به زندگی و احوال یاران و دوستان وی می‌پردازد.
مقدمه و تصحیح
این کتاب با مقدمه و تصحیح سید حسن امین توسط انتشارات میر کسروی، در سال ۱۳۷۹ چاپ و منتشر شد.
ارتباطات سازمانی
ارتباطات سازمانی (Organizational communication) در مطالعات ارتباطی، زمینه‌ای برای تحقیق است که بر ارتباطات و جریان اطلاعات درون سازمان‌ها متمرکز می‌باشد. جریان برقراری ارتباط سازمانی میان اعضا، افراد و نیز سازمان‌ها، می‌تواند بصورت رسمی یا غیررسمی انجام گیرد.
الکسی یاکیمنکو
الکسی یاکیمنکو (Алексей Андреевич Якименко؛ زادهٔ October 31, 1983) شمشیرباز اهل روسیه است.
آی‌بی‌کیو
آی‌بی‌کیو (International Bank of Qatar) شرکت خدمات مالی و بانکداری قطری است، که در سال ۱۹۵۶ تأسیس شد.
فینال‌های ان‌بی‌ای ۱۹۹۱
فینال‌های ان‌بی‌ای ۱۹۹۱ دور قهرمانی اتحادیهٔ ملی بسکتبال در فصل ۹۱–۱۹۹۰ می‌باشد که بین دو تیم لس آنجلس لیکرز به عنوان قهرمان کنفرانس غرب برابر شیکاگو بولز، قهرمان کنفرانس شرق به انجام رسید.
ریچارد برایان (بازیکن فوتبال)
ریچارد برایان (Richard Bryan؛ زادهٔ September 13, 1995) بازیکن فوتبال اهل بریتانیا است.
فینال‌های ان‌بی‌ای ۱۹۹۱
شیکاگو بولز، قهرمان دور حذفی کنفرانس شرق برای کسب عنوان قهرمانی، به دیدار لس آنجلس لیکرز، کنفرانس غرب رفت و شیکاگو از مزیت بازی خانگی برخوردار بود. این نخستین حضور مایکل جردن در فینال‌های ان‌بی‌ای، آخرین حضور مجیک جانسون و آخرین حضور لیکرز در دیدارهای نهایی تا سال ۲۰۰۰ بود. بولزی‌ها این سری را با نتیجهٔ ۴–۱ پیروز شدند. جردن در در راه رسیدن به نخستین جایزهٔ ام‌وی‌پی فینال خودش در ان‌بی‌ای، به‌طور متوسط ۳۱٫۲ امتیاز، ۵۶٪ پرتاب منطقه‌ای موفق، ۱۱٫۴ پاس گل، ۶٫۶ ریباند، ۲٫۸ توپ ربایی و ۱٫۴ بلاک به ثبت رساند. این سری اولین باری نبود که بولز و لیکرز در دور حذفی رقابت‌ها به رو در روی یکدیگر قرار می‌گرفتند. پیش از سال ۱۹۹۱، آن‌ها چهار سری پس از فصل عادی با هم دیدار کردند (۱۹۶۸، ۱۹۷۱، ۱۹۷۲ و ۱۹۷۳) که در همهٔ آن‌ها پیروزی از آن لیکرزی‌ها بود. شیکاگو در آن زمان عضو کنفرانس غرب بود و در سال ۱۹۸۱ به شرق جابه‌جا شد. فینال ۱۹۹۱ نخستین مرتبه‌ای می‌باشد که بولز در یک سری پلی آف لیکرز را شکست داد. این سری پایان دورهٔ سلطهٔ لیکرز و آغاز فرمان‌روایی شیکاگو بولز در ان‌بی‌ای است. لیکرز پس از کسب پنج عنوان قهرمانی در هشت حضور خود در رقابت‌های پایانی در دههٔ ۱۹۸۰، پیش از کسب ۵ عنوان قهرمانی بین سال‌های ۲۰۰۰ و ۲۰۱۰، در دههٔ ۱۹۹۰ نتوانست به عنوان قهرمانی دست پیدا کند.
لیکرز ۱۹۹۱ توسط جانسون که ۳۲ ساله بود و در آخرین فصل بازی خود بازی می‌کرد و همچنین هم تیمی آل-استاری وی جیمز وورتی رهبری می‌شد، در حالی که کریم عبدالجبار رهبر پیشین لیکرزی‌ها در زمین، دو فصل پیش از این بازنشسته شده بود. بولزی‌ها، به رهبری جردن و اسکاتی پیپن، اسمال فوروارد این تیم، پس از سال ۱۹۹۱، در یک دورهٔ هفت ساله ۵ قهرمانی دیگر را کسب کردند و سلسلهٔ قهرمانی خود را مستحکم‌تر کردند. جردن سومین بازیکن تاریخ ان‌بی‌ای شد (پس از جورج مایکن و کریم عبدالجبار) که در همان فصلی که عنوان قهرمانی گلزنی را به دست آورد، قهرمانی لیگ را هم از آن خود کرد.
سری‌های فصل عادی
این دو تیم، دو بار در فصل عادی با هم دیدار کردند که با برد خانگی دو تیم همراه بود:
اس‌ان ۱۸۵
اس‌ان ۱۸۵ یا ابرنواختر ۱۸۵ یک رویداد ستاره‌شناسی گذرا بود که به احتمال در دسامبر سال ۱۸۵ میلادی (نیمه آذر) به شکل یک ابرنواختر دیده شد. این انفجار در راستای آلفا قنطورس، بین صورت‌های فلکی پرگار و قنطورس اتفاق افتاد و به درخشندگی احتمالی از قدر ظاهری ۶- تا ۸- رسید. گمان می‌رود اس‌ان ۱۸۵ کهن‌ترین ابرنواختری باشد که تا به حال ثبت شده‌است و اخترشناسان چینی برای نخستین‌بار از آن به عنوان «ستارهٔ میهمان» در کتاب تاریخ هان متاخر نام برده‌اند و به توصیفش پرداخته‌اند. این ابرنواختر دستکم برای هشت ماه در آسمان شب دیده می‌شد.
تاریخچه
سالنمای اختربینی کتاب تاریخ متأخر هان - که به وقایع تاریخی سال‌های ۲۵ تا ۲۲۰ میلادی می‌پردازد - توضیح می‌دهد که چطور اخترشناسان در سال دوم سلطنت امپراتور لینگ هان دوران ژانگ‌پینگ، این ابرنواختر را کشف کردند. ترجمهٔ این بخش از سالنما این چنین است:"«در سال دوم دوران سلطنت ژانگ‌پینگ، ماه دهم، در یک روزگوئی‌های (هفتم دسامبر ۱۸۵ میلادی) یک ستارهٔ میهمان درون دروازهٔ جنوبی (نانمن، یک صورتواره چینی نزدیک آلفا قنطورس) ظاهر شد. به نظر می‌رسید به بزرگی نیم یان باشد. در رنگ‌های مختلف سوسو می‌زد و بعد کوچک شد تا سرانجام در ماه ششم از سال هو (هو-نیان ۲۴ ژوئیه تا ۲۳ آگوست ۱۸۷ یا بنابر تفسیری دیگر از ۵ ژوئیه تا ۲ آگوست ۱۸۶) ناپدید شد»"به جز این، ممکن است بتوان ردپایی از این ابرنواختر را در ادبیات کهن رومی نیز پیدا کرد. اگرچه در این مورد بحث‌هایی میان تاریخ‌دان‌ها وجود دارد، اما هیچکدام از این متون تاریخی نیز اطلاعاتی بیشتر از کتاب تاریخ متأخر هان در این باره به دست نمی‌دهند.
بررسی‌های علمی
برای مدت‌های طولانی شناسایی این «ستارهٔ میهمان» به عنوان یک ابرنواختر محل مجادله بوده است. برخی تفاسیر دیگر از این متون چینی، آن را توصیف یک دنباله‌دار یا ظهور همزمان یک ابرنواختر با دنباله‌دار سوئیفت-تاتل دانسته‌اند. بررسی دقیق دنباله‌دارهای نزدیک به آن زمان و این نکته که اخترشناسان چینی هیچ اشاره‌ای به حرکت این جسم نکرده‌اند، دنباله‌دار بودن آن را نامحتمل می‌کند. از این رو به نظر می‌رسد که ابرنواختر ۱۸۵ قدیمی‌ترین ابرنواختر ثبت شده در تاریخ باشد.
در اواخر دههٔ ۱۹۵۰ میلادی (میانه‌های دههٔ ۱۳۳۰ خورشیدی) سحابی گسیلشیِ آرسی‌دبلیو ۸۶ در فاصلهٔ ۹۱۰۰ سال نوری کشف شد. خیلی زود این سحابی به ستاره میهمان سال ۱۸۵ مرتبط شد. مطالعات بعدی نشان داد که آرسی‌دبلیو ۸۶ واقعاً بازمانده یک ابرنواختر است.
کنز التحف
کنز التُحَف نام یک رساله در مورد موسیقی است که در قرن هشتم هجری نوشته شده‌است. هویت نویسندهٔ آن به‌طور یقین مشخص نیست اما از توصیفی که نویسنده از خودش در رساله کرده مشخص است که نام وی حسن بوده و اهل کاشان بوده، لذا بسیاری نویسندهٔ آن را حسن کاشی می‌نامند. ولی برخی منابع دیگر نویسنده‌های دیگری برای این رساله مطرح کرده‌اند از جمله عبدالمؤمن بن صفی‌الدین، امیر خضر مالی قرمانی مولوی، و خواجه نصیرالدین طوسی.
نگارش
تاریخ دقیق نشر این رساله مشخص نیست. یک رباعی که در انتهای این رساله آمده سال نگارش آن را نیز گزارش می‌کند اما از آنجا که نسخه‌های برجا مانده از این رساله مخدوش هستند این تاریخ خوانا نیست؛ محتمل‌ترین سال‌ها برای انتشار آن ۷۴۷ یا ۷۵۵ هجری قمری هستند. از این رو می‌توان گفت که کنز التحف و آثار عبدالقادر مراغی تقریباً همزمان نوشته شده‌اند، اما کنز التحف توجه بیشتری به توصیف سازهای موسیقی کرده‌است.
مکان نگارش این رساله نیز مشخص نیست اما در همان رباعی، نویسنده به شهر اصفهان اشاره می‌کند و در بخشی دیگر نیز می‌نویسد که «وقتی [ صفی‌الدین ] به اصفهان آمد ...»؛ بابک خضرایی در مقاله‌ای که راجع به کنز التحف نوشته، این دو را نشانهٔ آن می‌داند که رساله در اصفهان نوشته شده‌است.
نسخه‌ها
از کنز التحف چهار نسخه باقی مانده‌است که یکی در ۱۰۷۵ ه‍. ق کتابت شده و در موزهٔ بریتانیا نگهداری می‌شود، دیگری در ۸۳۸ ه‍.ق کتابت شده و در کتابخانهٔ ملی پاریس نگهداری می‌شود، سومی در دانشگاه لیدن است و چهارمی در کتابخانه هند شرقی.
محتوا
کنز التحف شامل یک مقدمه و چهار مقاله است. در مقدمهٔ آن، نویسندهٔ رساله هنر موسیقی را برترین هنر دانسته و از فیثاغورث، افلاطون، ارسطو و بطلمیوس به عنوان واضعان قوانین موسیقی و «حکمای الهی» یاد کرده‌است. در مقالهٔ اول مفاهیم اساسی موسیقی نظیر صوت، نغمه، و جنس را توضیح داده‌است و روش دستان‌بندی سازهای زهی را ذکر کرده‌است. در مقالهٔ دوم نحوهٔ کوک کردن ساز عود و شیوهٔ استخراج ادوار این ساز را شرح داده‌است. در مقالهٔ سوم روش ساخت سازها و جنس چوب و دیگر مواد لازم بحث شده‌است. در مقالهٔ چهارم برخی نصایح اخلاقی و حرفه‌ای در مورد هنر موسیقی آمده و شعرهایی مناسب برای مجالس مختلف (همچون اندوه و شادی) نیز آورده شده‌است.
برخی از سازهایی که در رساله به آن‌ها اشاره شده عبارتند از: عود، غشک، رباب، مزمار (نوعی نی)، پیشه (نوعی ساز شبیه نی کوچک، که احتمالاً نام اصلی آن نیشه یا نی‌چه بوده‌است )، چنگ، نزهه (سازی شبیه سنتور که اختراع صفی‌الدین ارموی بود)، قانون و مُغنی (سازی اختراع‌شده توسط ارموی که ترکیبی از نزهه، رباب و قانون بود). یک ویژگی کنز التحف در مقایسه با دیگر متون قدیمی مربوط به سازهای موسیقی ایرانی (همچون درة التاج اثر قطب‌الدین شیرازی، و مقاصد الالحان و جامع الالحان اثر عبدالقادر مراغه‌ای) آن است که کنز التحف تصویری از این سازها نیز ارائه کرده‌است.
نقد
کنز التحف توسط نویسندگان بسیاری مورد استناد قرار گرفته و نقد شده‌است. هنری جورج فارمر موسیقی‌شناس اهل انگلستان از کنز التحف به عنوان یکی از مهم‌ترین متون مربوط به موسیقی ایران یاد کرده‌است. تقی بینش این رساله را به همراه دو رسالهٔ دیگر (یکی از ابن سینا و یکی مجموعهٔ رساله‌های منسوب به اخوان الصفا) بررسی کرده‌است. گن‌ایچی تسوگه، موسیقی‌دان ژاپنی، سازهایی که در کنز التحف مطرح شده‌اند را با سازهای امروزی مقایسه کرده‌است. همچنین بابک خضرائی این رساله را در مقاله‌ای در فصلنامهٔ «گلستان هنر» مورد نقد و بررسی قرار داده‌است.