Payamvdn/NorthPersian_fa_wiki huggingface dataset:
اه های خواننده است. محدوده عملکرد سیستم هایی که با فرکانس پایینتری کار می کنند کوچکتر است اما در صورت وجود آب یا فلز در محیط عملکرد این سیستم ها کمتر است. معمولاً دستگاهای خواننده به یک آنتن کنترل از راه دور متصلند، برخی ممکن است با استفاده از دستگاهی به نام multiplexer همزمان با چند آنتن کار کنند. دستگاه های خواننده در ابعاد متنوعی عرضه می شوند از دستگاه های کوچک دستی گرفته تا دستگاه های بزرگی که تمام قسمت ورودی یک خط تولید را می پوشاند. بعضی از دستگاه های خواننده علاوه برخواندن اطلاعات برچسب ها قادرند اطلاعات جدیدی را روی برچسب (برچسب هایی که قابل نوشت باشند) بنویسند، این به آن معنا است که داده های ذخیره شده در برچسب های خواندنی نوشتنی را می توان تغییر داد و در زمان مقتضی اطلاعان جدیدی را در برچسب ذخیره کرد. این قابلیت به ویژه زمانی سودمندی خود را نشان می دهد که استانداردها، فرایند تجاری و نیازهای مشتری در طول زمان تغییر کند. برچسب های خواندنی-نوشتنی قابل استفاده مجدد هستند که این امر موجب کاهش هزینه های عملیاتی دراز مدت می شود. برای برنامه ریزی اولیه برچسب های هوشمند از «دستگاه چاپگر RFID» استفاده می شود،
این دستگاه می تواند بارکد را بر روی اتیکت ها چاپ کند و هم زمان اطلاعات را در تراشه جاسازی شده درون اتیکت مقوایی ذخیره نماید. فرکانسهای مورد استفاده در سیستم RFID. در حال حاضر برچسب های هوشمند موجود در بازار در سه محدوده فرکانسی کار می کنند. فرکانس های بالاتر محدوده عملکرد وسیعتری را فراهم می آورند در عین حال حساسیت بیشتر این فرکانس ها نسبت به مواد تشکیل دهنده برچسب و ظرفی که برچسب به آن الصاق شده است محدودیت هایی ایجاد می کند. اولین کانال فرکانسی مهم ۱۳٫۵۶ مگاهرتز است که در سطح بین المللی پذیرفته شده و تحت استاندارد ۱۴۴۴۲A&amp;B (برای برد کوتاه) و ۱۵۶۹۳ (برای برد بلند) است. دومین فرکانس مورد توجه بوده است محدوده ۹۱۵ مگاهرتز است، این محدوده فرکانسی همان محدوده فرکانس مورد استفاده در سیستم تلفن های همرا آنالوگ است. سومین محدوده فرکانسی مورد استفاده ۲۴۵۰ مگاهرتز است. این محدوده فرکانسی نزدیک به فرکانس مورد استفاده در سیستم تلفن های همراه دیجیتال است و هم اکنون در ایالات متحده برای رهگیری چمدان ها در مسافرت های هوایی در حال آزمایش است. برچسب های کوچک ۲٫۴۵ گیگاهرتزی به راحتی قابل الصاق بر روی همه نوع کالا با ابعاد
گوناگون است؛ گرچه تأثیر ناخواسته جذب انرژی موج توسط آب باعث می شود برای کالاهای که در محیط مرطوب قرار دارند یا اینکه محتوی آب هستند مناسب نباشد. برچسب های ۹۱۵ مگاهرتزی برد بیشتری دارند و حساسیت آن ها نسبت به رطوبت کمتر است اما اندازه بزرگتر آن ها باعث می شود قابل الصاق بر روی هر کالایی نباشند با این حال برای الصاق بر روی جعبه ها و صفحات بارگیری مناسب هستند. اما فرکانس ۱۳٫۵۶ مگاهرتز توسط همه کشورها پذیرفته شده است و برچسب هایی که با این فرکانس کار می کنند را می توان بر روی همه کالاها مورد استفاده قرار داد با این حال برد آن ها نست به دوتای قبلی کمتر است. فواید استفاده از فناوری RFID در صنایع غذایی. تولیدکننده محصولات غذایی قبل از به کارگرفتن فناوری RFIDبایستی تمامی گزینه های پیش روی خود را بسنجد. آیا در تولید محصول شرایط لازم الاجرا وجود دارد؟ اگر اینطور است باید به دنبال باصرفه ترین راه حلی که شرایط لازم را برآورده می کند بود. اما اگر شرط لازم الاجرایی وجود ندارد، تولیدکننده محصول باید معین کند کدام یک سودمندتر است: استفاده از برچسب های RFIDیا کنار گذاشتن گزینه استفاده از برچسب ها و ادامه بهره گیری از بارکد.
با تکامل فناوری RFIDتولیدکنندگان محصولات مواد غذایی فواید بیشتری را در استفاده از این فناوری در صنایع خود مشاهده می کنند. با توجه به اینکه این فناوری از سوی بازار به شکل گسترده تری در حال پذیرفته شدن است، قیمتهای عرضه این فناوری کاهش خواهد یافت و به این ترتیب تولیدکنندگان آسان تر می توانند از این تجهیزات استفاده نمایند. بهره گیری از فناوری RFIDمی تواند به بهبود نظارت بر موجودی کالاها و راحتی بیشتر مشتریان در استفاده از آن ها بینجامد. علاوه بر این برچسب هایRFIDقادر به ذخیره اطلاعات ارزشمندی نظیر تاریخ انقضای محصول هستند که به فروشندگان جزء اجازه می دهد خدمات بهتری به مشتریان خود ارائه کنند. کاربرد RFID در سیستم کتابخانه. کتابخانه های رسمی و عمومی همواره با افزایش مدیریت بر اموال کلکسیونشان و حفظ و بهبود خدمات به مشتری روبرو بوده اند. طی بیست سال گذشته کتابخانه ها خدمات خود را به مراجعین از کتاب های ساده و دوره ای تا وسایل Multi-Media همچون CDها و DVDها گسترش داده اند. همچنین تعداد زیادی کتابخانه کامپیوترهایی برای مراجعین فراهم می کنند تا از اینترنت به عنوان منبع دیگر اطلاعات استفاده کنند. افزایش منابع کتابخانه
ها باعث توجه بیشتر به مسئله امنیت اموال و نگهداری آن ها و همچنین بهبود سطوح خدمات مراجعین است، در این هنگام مسئولان که سیستم کتابخانه را مدیریت می کنند، در جستجوی راه هایی هستند تا هزینه اجرا و استفاده از منابع Multi-Media و کامپیوتری را کاهش دهند. به این منظور تکنولوژی RFID راه حلهای زیادی دارد که نوار مغناطیسی و بارکدها به سادگی نمی توانند انجام دهند. سیستم RFID Tag بر اساس مواد کاغذ و پلاستیک تنظیم می شود. فواید RFID Tag نسبت به بارکدها و نوارهای مغناطیسی عبارتند از: روند رو به رشد و گزینشی استفاده از RFID. بسیاری از صاحب نظران معتقد بودند که تعهّد شرکت Wal-Mart در خصوص استفاده از فناوری RFIDنقطه عطفی خواهد شد که موجب همگانی شدن استفاده از این فناوری و پذیرش آن در سطح جهانی خواهد شد. روشن است که فناوری RFIDجایگاه خود را پیدا کرده است اما باید توجه داشت که الگوی پذیرش آن تکاملی است نه ناگهانی و انقلابی. شرکت Wal-Mart هم به شکلی تدریجی و فزاینده استفاده از فناوری RFIDرا در دستور کار خود قرار داد. این شرکت در ابتدا تنها محصولاتی را که به مراکز توزیع منطقه Dallas روانه می شدند مجهز به برچسب های RFIDمی کرد. در
حال حاضر شرکت Wal-Mart محصولات ارسالی به دو مرکز توزیع دیگر را هم مجهز به فناوری RFIDکرده است. از زمان التزام شرکت Wal-Mart به استفاده از فناوری RFIDدر سال ۲۰۰۴ چایگاه این فناوری گسترده تر شده و ضمناً گزینه های بیشتری در برچسب گذاری در دسترس قرار گرفته است. با این حال از میان ۱۰۰ عرضه کننده عمده ای که خود را متعهد به استفاده از فناوری RFIDکرده اند، برخی تنها بخشی از واحدهای نگهداری محصول را مجهز به این فناوری کرده اند. حتی بعضی از آن ها تعداد انگشت شماری از مراکز نگهداری و ذخیره محصول خود را مشمول استفاده از فناوری RFIDکرده اند، با این هدف که تدریجاً تعداد این مراکز را افزایش دهند. تولیدکنندگان محصولات غذایی در خصوص استفاده از فناوری RFIDبه دنبال راهکاری هستند که با حداقل سرمایه گذاری امکان اجرایی شدن داشته باشد، بتواند واحدهای نگهداری کالا و خرده فروشان مورد نظر تولیدکننده را مجهز به فناوری RFIDکند و با استفاده از آن امکان توسعه تدریجی واحدهای تحت پوشش فناوری RFIDفراهم باشد. به عنوان نمونه ای از این راهکارها می توان به روش «برچسب گذاری و ارسال» (slap and ship) اشاره کرد، که به معنای برچسب گذاری جعبه و کفه ه
ای بارگیری کالا (و نه برچسب گذاری تک تک کالاها) قبل از بارگیری کالا در تسهیلات عرضه کننده و ارسال آن به مراکز فروش است. برچسب های هوشمند. راهکار «برچسب گذاری و ارسال» به دو شکل قابل اجرا است: یک روش تعویض دستگاه چاپ بارکد با دستگاه برچسب گذاری هوشمند است که با استفاده از آن بتوان روی بسته کالا برچسبی را تعبیه کرد که درونش فرستنده RFID(تراشه و آنتن) تعبیه شده است. روش دیگر استفاده از برچسب های چسبنده RFIDاست که جدا از برچسب بارکد روی بسته کالا چسبانده شود و برای ذخیره اطلاعات در برچسب ها از یک دستگاه کدگذاری در کنار دستگاه چاپ بارکد معمولی استفاده شود. در هر دو روش بارکد چاپ شده بر روی بستهٔ کالا شناسایی کالا را تضمین می کند چرا که به برچسب های RFIDنمیتوان به طور صد در صد اطمینان کرد و برای شناسایی کالا باید راهی به غیر از خواندن اطلاعات برچسب (مثل اعداد نوشته شده زیر بارکد) وجود داشته باشد سازگاری نرم افزار. سازگاری اطلاعات موجود بر روی برچسب هایRFIDبا نرم افزارهای کاربردی موجود، یکی از جنبه های مهم معرفی فناوری RFIDاست. اطلاعات جمع آوری شده توسط RFID readerها نیاز به تولید ارزش دارد. مثلاً وضوح بیشتر زنجیره
عرضه یا برنامه ریزی بهینه تر. این موضوع که بکارگیری RFIDدر ابعادی بسیار بزرگ در زنجیره تولید و عرضه ممکن است به انفجار اطلاعات جمع آوری شده منجر شود، امری بسیار حائز اهمیت است و این امر نیاز به نرم افزاری را که فاصله خالی بین اطلاعات دریافتی در RFID readerها و اطلاعات موجود بر روی نرم افزارها را پرکند، به وجود می آورد؛ بنابراین جای تعجب نیست که شرکت های تولیدکننده نرم افزارهای رابط (میان فرستنده ها و گیرنده ها)، موسسات برنامه ریزی ذخایر (ERP) و فروشندگان سیستم های مدیریت انبارداری، برنامه های خود را برای همکاری در زمینه تولید RFIDاعلام کرده اند. امنیت علامت تجاری. بسته بندها این روزها نمی توانند خیلی محتاط باشند. در عصری که تروریسم با استفاده از مواد شیمیایی، خرابکاری و جعل کالاهای تقلبی و سرقت از فروشگاه ها اتفاق می افتد، هیچ محلی برای این اتفاقات مضر که کالا را تهدید می کنند، امن نیست. خوشبختانه، اقداماتی وجود دارند که با استفاده از آن ها می توان کالاها را محافظت کرد. چندین پیشرفت خلاقانه برای مواجهه با این خطرات طراحی شده اند که در بازار موجود است. بسته بندی مهر و موم شده، کالا را از خطرات زیادی مصون می دا
رد، خطراتی از قبیل: دستکاری کالا، دزدی از محصول و غیره. یکی از متداول ترین روش های مهر و موم کردن محصول تجاری، برچسب کوچکی است که از یک جنس (polyvinyl chloride) PVC یا polystyvene یا polyethylene ساخته شده است. این برچسب ها از بالا تا پایین بسته بندی روی کالا را پوشش داده و به شکلی واضح و در ۸ رنگ یا بیشتر چاپ شده و نقش برچسب تجاری را دارند. این برچسب ها چون یک دید گرافیکی ۳۶۰ درجه دارند، باعث زیباتر به نظر رسیدن کالا می شوند و به طور معمول در چاپ آن ها از رنگ های ترکیبی استفاده می شود یا بر روی آن ها لوگوهایی چاپ کنند که منحصربه فرد باشند، و این امر جعل کالای تجاری را مشکل می سازد. دو نوع طرز فکر در مورد نوع بسته بندی این برچسب های محافظ وجود دارد. برخی کارخانه های تولیدی بر این باورند که برچسبی که سخت تر کنده می شود، امنیت بیشتری برای کالا ایجاد می کند و اگر شل باشد، ممکن است به کالا آسیب برسد. باید در نظر داشت که طرح سوراخ شده می تواند باعث ظرافت بیشتر برچسب شده، تا جایی که بعد از باز کردن آن دیگر نمی توان آن را سر جای اولش چسباند. بسته بندی القایی. در بسته بندی القایی از یک میدان الکترومگنتیک استفاده می ش
ود که یک غشاء را در سرعتی بالای ۸۰۰ دور در ثانیه به جعبه می چسباند. کالای بسته بندی شده به این شیوه نه تنها هر گونه دستکاری بر روی کالا را نشان خواهد داد، بلکه از بروز رطوبت جلوگیری کرده، تازگی محصول را حفظ می کند و از سرقت کالا جلوگیری می شود. در این نوع بسته بندی ظرف های درپوش دار را زیر یک دستگاه بسته بندی الکترومگنتیک قرار می دهند که حرارت تولید می کند تا غشایی از مهر بسته بندی به لبه بطری یا ظرفی که بسته بندی می شود، بچسبد. بسته بندی پوسته صدفی. این نوع بسته بندی ها، هم هرگونه دست خوردگی بر روی کالا را نشان می دهند و هم جلوی هرگونه سرقت از روی محصول تولید شده را می گیرند. این بسته بندی ارزان تر از بسته بندی های صدفی دارای فرستنده امواج (RF) می باشد، مقوا یا ساختار فیلم مانند آن مانع از دزدی از روی محصول می شود. همچنین باعث تقویت سوراخ های دستگاه دایکات نیز می شوند، بنابراین کالاهای دارای وزن بیشتر می توانند بر روی ویترین ها به صورت آویخته خرید و فروش شوند. برای ایجاد امنیت بیشتر نیز می توان یک قطعه محافظت الکترونیکی (EAS) در درون بسته بندی صدفی نصب کرد. بسته بندی های صدفی RF و لاک های جذاب و غیرقابل خراب
شدن آنها، از نظر فروشندگان جذاب بوده و متقاضیان بیشتری در کارخانه های تولیدی دارند. ایجاد تمایز توسط هولوگرام. مواد هولوگرافیک برای بسته بندی امن، گزینه ای بسیار مناسب خواهد بود. هولوگرام، نه تنها ظاهری متمایز به کالا می دهد که دارای رنگ های متفاوتی است؛ و از آنجایی که چاپ آن نیاز به امکانات ویژه داشته و مشکل است، تولید کالای تقلبی را غیرممکن می سازد. امنیت در آینده. فناوری همیشه در حال پیشرفت است، تا از متقلبان یک گام جلوتر باشد. یکی از احتمالات امیدبخش در این زمینه، نقشه های ریز ساختاری هستند که شامل شناسایی ساختار فیزیکی در مقیاس اتمی بر روی هر نوع کالایی (چه در مرحله بسته بندی یا مرحله تولید) و یک پایگاه اطلاعات در مورد کالاها هستند. نتیجه حاصل شده، ابزار جدیدی ضد تقلب در تولید کالا است، زیرا متقلبان سعی می کنند تا اطلاعات موجود بر روی کالا را از بین ببرند.
سعید مظفری زاده (زاده ۲۴ شهریور ۱۳۵۳ در یزد) داور بازنشسته فوتبال و مدیر عامل تیم تراکتور است. وی در سال ۱۳۷۸ داوری را شروع کرد و از سال ۱۳۸۴ تا ۱۳۹۲ در لیگ برتر فوتبال ایران قضاوت کرد. وی پس از قضاوت در شهرآورد هفتاد و هشتم تهران در ۲۷ دی ۱۳۹۲ از دنیای داوری برای همیشه خداحافظی کرد. شهرآورد تهران. سعید مظفری زاده در تیم داوری چهار دربی تهران حضور داشته است. در سه دربی داور وسط بوده و در یک دربی داور چهارم بازی بوده است. مظفری زاده از نظر تعداد قضاوت در شهرآورد تهران در رده چهارم قرار دارد. منبع
این فهرست کشورها، بر پایه شیوع سالانه استفاده از تریاک، به عنوان درصد از جمعیت در سنین ۱۵ تا ۶۴ است. منبع اصلی اطلاعات، بر پایه گزارش جهانی دارو WDR، منتشر شده توسط دفتر مقابله با مواد مخدر و جرم سازمان ملل متحد (UNODC) است. افغانستان با تولید ۹۳ ٪ از مجموع تولید مواد مخدر در جهان، بزرگترین تولیدکننده مواد مخدر است. ستون «درصد شیوع سالانه»، نشان دهنده درصد جوانان و افراد بزرگسال مصرف کننده مواد مخدر در آن سال است. این فهرست، شامل مشتقات تریاک نمی شود. رتبه بندی. UNODC مخفف دفتر مقابله با مواد مخدر و جرم سازمان ملل متحد است.
استیون کالاگان فیلم نامه نویس، تهیه کننده و صداپیشه آمریکایی است که بیشتر به خاطر کار در سریال مرد خانواده معروف شده است.
کارا ولو (زاده ۱ نوامبر ۱۹۶۷) تهیه کننده آمریکایی است که بیشتر به خاطر کار در سریال مرد خانواده مشهور شده است.
ابوالعلاء شیرازی یا ابوالعلاء فارسی از پزشکان نام آور قرن چهارم هجری و اهل شیراز بود. ابوالعلاء همراه با مجوسی اهوازی و ابن مندویه اصفهانی از شاگردان ابوماهر فارسی بود. او در زمان عضدالدوله امیر آل بویه سپاهیان را معالجه می کرد و در یکی از لشکرکشی ها که بیماری تب نوبه (مالاریا) بیداد می کرد بر حسب اتفاق به تأثیر مواد آرسنیکی در درمان تب نوبه پی برد و اولین کسی است که در اثر تیزبینی و دقت و تکیه بر عمل متجاوز از هزار سال قبل این دارو را برای درمان مالاریا به کار برده است. در کتابخانه مدرسه نواب مشهد کتابی در طب به نام بیان و تبیین نوشتهٔ فردی به نام ابوالعلاء بن زهر که معاصر سلطان الدوله بویهی بود، موجود است که احتمال می رود اثر همین دانشمند باشد. او در سال ۳۸۰ هجری قمری درگذشت.
اینترون ها یا میانه ها بخش هایی از ژنوم هستند؛ که رونویسی از روی آن ها انجام می پذیرد ولی در فرایند پیرایش به کمک آنزیم پیرایشگر برداشته می شوند. از این رو، در فرایند ترجمه، پروتئینی از روی آن ها ساخته نمی شود. برای این به آن ها اینترون گفته می شود که آن ها در چیدمان DNA در لابه لا و میان رمزهای ژن و همچنین در چیدمان آران ای پس از رونویسی رمزهای دنایی دیده می شوند. این بخش ها در بسیاری از موجودات و حتی در برخی ویروس ها نیز دیده می شوند. اندازهٔ آن ها می تواند بسیار بزرگ باشد واژهٔ اینترون به معنای ناحیهٔ بین ژنی intragenic region است. اگرچه به معنای توالی مداخله گرintervening sequences نیز می باشد. در این حالت به توالی هایی مانند اینتنت ها و جایگاه های برشٰ ۳ وٰ۵ و … اشاره دارد. آشنایی. اینترون ها یا میانه ها اولین بار در ژن های آدنوویروس کشف شدند. در سال ۱۹۹۳ جایزهٔ فیزیولوژی و داروسازی به Phillip Allen SharpوRichard J. Roberts. به علت کشف اینترون داده شد. نامیدن اینترون توسط شیمیدان آمریکایی به نام Walter Gilbert: انجام گرفت. اندازهٔ اینترون ها و تعداد اینترون ها، در موجودات مختلف گوناگون است. در مهره داران
و از جمله انسان طول آن ها بسیار زیاد و در میکروارگانیسم های یوکاریوتی، بسیار کوتاه اند. همچنین در میتوکندری مهره داران هیچ اینترونی دیده نمی شود. در ژنوم باکتری و آرکی باکتری ها نیز اینترون، به ندرت کشف شده است. طبقه بندی. اینترون ها یا میانه به چهار دسته طبقه بندی می شوند. گروهی از میانه ها نیز وجود دارند؛ که در گروه سه قرار دارند و حدود ۵۰ خانواده می باشند اما شیمی آن ها به خوبی شناسایی نشده است. در گروه اول ماشین پیرایش آران ای وارد عمل شده و با شناسایی جایگاه هایٰ ۳، و ۵ٰ برش و ایجاد دو برش و دو واکنش اتصال سبب حذف این میانه ها می شود. به این شکل رنای اولیه به رنای بالغ تبدیل می شود. در این حالت طول میانه بسیار بلندتر از بیانه یا اگزون می باشد. میانه های گروه یک و دو در ژنوم رنای ریبوزومی و رنای ناقل بسیاری موجودات دیده می شوند. در طی رونویسی از این رناها، شکل آن ها به صورت خاصی تغییر کرده و کمک می کند که خودشان بدون هیچ زیمایه ای عمل پیرایش را انجام دهند. ایجاد یک هم آرای معمار سه تایی برای عمل آن ها ضروری است. البته بین این دو گروه نیز تفاوت هایی وجود دارد در گروه یک در منطقهٔ برش یا گوانوزین وجود دارد
در حالی که در گروه دو چنین چیزی وجود نداشته و بسیار شبیه دستهٔ اول هستند. در دستهٔ آخر میانه هادر منطقهٔ حلقهٔ آنتی کدونی رنای ناقل دیده می شوند. این میانه ها توسط یک اندونوکلئاز برداشته می شوند. سپس یک پروتئین دیگر وارد عمل شده و اگزون ها یا بیانه را به یکدیگر متصل می کند. این پروتئین یک لیگاز است. اینترون ها در ژن بیشتر جانوران و بسیاری از ویروس ها یافت می شوند، و می توانند در محدوده های وسیعی ار ژن ها، شامل ژن هایی که پروتئین سازی را کنترل می کنند، آران ای رناتنی و آران ای جابجایی یافت شوند. وقتی پروتیین از ژن های حاوی اینترون ساخته می شود، پیرایش آران ای در مسیر پردازش آران ای پس از رونویسی و پیش از * برگردان RNA انجام می شود. مطالعات در موجودات مختلف نشان داده است که تفاوت های بسیاری درمیانه هاو بیانه های ژن های هم ساختار وجود دارد. در ژنوم انسان اگر چگالی (نسبت اینترون به ژن) ۸٫۴ باشد در Encephalitozoon cunicul همان ژن ۰٫۰۰۷۵ می باشد. میانه ها دارای توالی های کوتاه خاصی هستند؛ که برای عمل آن ها ضروری است. مثل توالی های پذیرنده توالی های برش، نواحی اتصالی هم آرای پیرایش و توالی خاصی به نام افزایش دهنده
که سبب افزایش بیان ژن می شود.
رضا سخندان (زاده ۱۱ بهمن ۱۳۵۲ در مشهد) کمک داور ایرانی فوتبال است. وی در سال ۱۳۶۸ داوری را شروع کرده و در سال ۱۳۸۳ وارد لیست فیفا شده است. رضا سخندان در ۱۴ شهرآورد تهران به عنوان کمک داور حضور داشته است و از این نظر رکورددار است رضا سخندان در سال ۱۳۹۸ از داوری خداحافظی کرد. شهرآورد تهران. رضا سخندان کمک داور ۱۴ شهرآورد تهران بوده است منبع جام جهانی ۲۰۱۸. رضا سخندان در تیم داوری ایرانی در جام جهانی ۲۰۱۸ روسیه در بازی های زیر به عنوان کمک داور حضور داشته است. در این تیم داوری علیرضا فغانی به عنوان داور و محمدرضا منصوری دیگر کمک داور حضور داشته است جام ملت های آسیا ۲۰۱۹. رضا سخندان در تیم داوری ایرانی حاضر در جام ملت های آسیا ۲۰۱۹ حضور داشت و دو بازی زیر را همراه با علیرضا فغانی و محمدرضا منصوری قضاوت کردند.
در نظریه پیچیدگی محاسباتی NP که یکی از بنیادی ترین کلاس ها است. NP مخفف عبارت “non deterministic polynomial” است که به زمان اجرای آن اشاره دارد. NP مجموعهٔ کلیه مسائل تصمیم گیری است که پیدا کردن جواب بله برای آن ها شامل اثبات ساده ای است که جواب حقیقتاً باید بله باشد. به طور دقیق تر این اثبات های ساده باید قابل بررسی در یک زمان اجرای چندجمله ای در یک ماشین تورینگ جبری باشد. در مقابل این تعریف NP مجموعه مسائل تصمیم گیری نامیده می شود که در یک زمان اجرای چندجمله ای در یک ماشین تورینگ غیر جبری قابل بررسی باشند. کلاس پیچیدگی P یکی از اعضای NP است اما NP شامل کلاس های مهم دیگری نیز هست؛ که پیچیده ترین آن ها NP-Complete است بطوریکه برای آن ها هیچ الگوریتم شناخته شده قابل اجرا در زمان چندجمله ای وجود ندارد. مهمترین سؤالی که اکنون برای این کلاس ها در این نظریه وجود دارد این است که آیا P=NP؟ این سؤال می پرسد که آیا چنین الگوریتمی واقعاً برای مسائل NP-Complete و در کل NP وجود دارد یا خیر. این باور گسترده وجود دارد که این تساوی نمی تواند درست باشد. تعاریف رسمی. NP را می توان به وسیلهٔ NTIME نیز تعریف کرد: (NP=∪NTIME(n^k
مقدمه. بسیاری از مسئله های معمول علوم کامپیوتر در حوزهٔ مسائل NP قرار دارند. مخصوصاً مدل تصمیم گیری بسیاری از مسائل جستجو و بهینه سازی در حوزهٔ NP قرار دارد. نمونه هایی از زمینه هایی که شامل مسائل NP می شوند عبارتند از: مانند جبر بولی، گراف، طراحی شبکه، زیست شناسی، فیزیک جدید، نظریه اعداد، نظریه بازی ها و پازل ها، نظریه زبان ها و ماشین ها و… تعریف بر پایهٔ بررسی کننده. به منظور تعریف این چنین NP بیایید مسئلهٔ مجموع زیر مجموعه ها را در نظر بگیرید. فرض کنید به ما تعدادی عدد صحیح داده شده است مثلاً {-۷و-۳و-۲ ۵و ۸و} و ما می خواهیم بدانیم که آیا مجموع اعضای یکی از زیر مجموعه های آن صفر می شود یا نه؟ در این مثال جواب بله است زیرا اعداد ۳,-۲٬۵ می توانند این شرط را بررسی کنند. هنگامیکه مقدار اعداد صحیح ورودی زیاد شود تعداد زیر مجموعه ها به صورت توانی افزایش می یابد و در حقیقت مسئله فوق یک مسئله NP-Complete است. در هر حال توجه شود که اگر به ما یک زیر مجموعه مشخص بدهند (بعضی اوقات گواه نامیده می شود) ما به راحتی می توانیم بررسی کنیم که آیا مجموع آن صفر است یا خیر. (تنها با جمع کردن اعضای آن زیر مجموعه) و اگر مجموع صفر
باشد آن زیر مجموعه یک شاهد برای این است که جواب بله است. الگوریتمی که بررسی می کند آیادرزیر مجموعه داده شده مجموع اعضا صفر است بررسی کننده نامیده می شود. یک مسئله را عضو NP می نامند اگر و فقط اگر یک بررسی کننده برای آن وجود داشته باشد که در زمان اجرای چندجمله ای اجرا شود. در مورد مسئله مجموع زیر مجموعه ها نیز بررسی کننده تنها نیازمند زمان اجرای خطی است که این دلیلی است برای اینکه این مسئله NP است. توجه شود که در تعریف بر پایهٔ بررسی کننده NP نیازمند یک بررسی کننده به عنوان گواه برای جواب نه نیست. آن کلاس مسائلی که شامل یک شاهد این چنینی هستند CO-NP نامیده می شود. در حقیقت یک سؤال بدون جواب دیگری در اینجا وجود دارد که آیا تمام مسائل NP دارای یک گواه برای جواب نه هستند و در نتیجه CO-NP می شوند. تعریف ماشینی. معادل تعاریف قبلی این تعریف نیز وجود دارد که می گوید: NP مجموعه مسائل تصمیم گیری است که قابل حل شدن در یک زمان اجرای چندجمله ای در یک ماشین تورینگ غیر جبری می باشد. مثال در اینجا یک لیست نا کامل از مسائل NP را بیان می کنیم: تمام مسائل P (برای یک گواه مسئله P ما می توانیم کلاً گواه را نادیده بگیریم و مسئله
را در زمان اجرای چندجمله ای حل کرد. همچنین توجه شود که یک ماشین تورینگ جبری یک ماشین تورینگ غیر جبری است که از هیچ کدام از توانایی های غیر جبری اش استفاده نمی کند. مسئله پیدا کردن مقسوم علیه های یک عدد صحیح: دو عدد صحیح N و K داده شده اند. می خواهیم بدانیم آیا عدد صحیحی مثل F وجود دارد که ۱&lt;F&lt;K و N بر F بخش پذیر باشد. مسئله یکریختی دو گراف که یکریخت بودن دو گراف را بررسی می کند. حالت های متفاوت مسئله دست فروش دوره گرد که در آن می خواهیم بدانیم آیا مسیری هست که از تمام گره ها در یک شبکه عبور کند. مسئله درستی منطقی که در آن می خواهیم بدانیم آیا یک فرمول منطقی در زبان منطق می تواند به ازای مقادیری از متغیرها راست باشد یا خیر. برابری تعاریف. دو تعریف برای NP یکی به عنوان مجموعه مسائلی که قابل حل با ماشین تورینگ غیر جبری در زمان اجرای چندجمله ای هستند و دیگری مجموعه مسائلی که دارای یک بررسی کننده با زمان اجرای چندجمله ای در یک ماشین تورینگ جبری هستند با هم معادلند. اثبات این برابری در بسیاری از کتاب ها آمده است به طور مثال در کتاب: Sipser’s Introduction to the theory of computation section 7.3 برای نشان دادن
این ابتدا فکر کنیم که یک بررسی کننده جبری داریم یک ماشین تورینگ غیر جبری می تواند به راحتی به صورت غیر جبری بررسی کننده را بر روی تمام حالات ممکن از رشته ها بررسی کند. (این کار تنها نیازمند مراحل چند جمله گونه است زیرا این ماشین می تواند با حرکات غیر جبری کاراکتر بعدی را در رشتهٔ مورد نظر را در هر مرحله پیدا کند و طول رشتهٔ داده شده نیز باید محدود به چندجمله ای باشد) اگر یکی از این رشته های بررسی کننده معتبر باشد بعضی از مسیرها مورد قبول واقع می شوند و اگر هیچ رشته ای معتبر نباشد رشته یک زبان به حساب نمی آید و پس داده می شود. از طرف دیگر فرض کنیم ما یک ماشین تورینگ غیر جبری به نام A داشته باشیم و یک زبان L به آن ارائه کنیم. در هر کدام از مراحل با شمار چندجمله ای این ماشین، شاخه های درخت محاسبه با یک عدد صحیح ثابت مشخص می شوند که نشان دهندهٔ جهت هاست. وجود حداقل یک راه درست الزامی است و رشته ای که این مسیر را مشخص می کند گواهی برای بررسی کننده است. پس از آن اثبات کننده می تواند به صورت جبری A را به صورت عبور از مسیر پذیرفته شده و بررسی اینکه ار آخر نیز پذیرفته می شود پیاده سازی کند. اگر A داده را قبول نکند هی
چ راه پذیرفته شده ای وجود ندارد و بررسی کننده هیچ گاه به جواب بله نمی رسد. چرا بعضی از مسائل NP به سختی حل می شوند؟. به این علت که بسیاری مسئلهٔ مهم در این کلاس وجود دارد تلاش های فراوانی برای پیدا کردن الگوریتم هایی با زمان اجرای چندجمله ای برای مسائل NP صورت گرفته است. با این وجود باز هم مسائلی از NP باقی می مانند که در برابر این تلاش ها مقاومت می کنند و به نظر می رسد که نیازمند زمان اجرای فراتر از چندجمله ای هستند. اینکه آیا این مسائل اصلاً قابل بررسی در زمان اجرای چندجمله ای هستند یا خیر از بزرگترین مسائل در علم کامپیوتر است. (به مسئله P=NP مراجعه شود) یکی از مفاهیم مهم در این مبحث مجموعه مسائل NP-Complete است که زیر مجموعهٔ NP به شمار می آید و به صورت غیررسمی تر می تواند به عنوان سخت ترین مسائل NP به شمار بیایند. اگر یک الگوریتم زمان اجرای چندجمله ای حتی برای یکی از این مسائل پیدا شود آنگاه برای تمام این مسائل الگوریتمی با زمان اجرای چندجمله ای پیدا خواهد شد. بنا بر این علت و همچنین این علت که تا کنون تمامی تحقیقات برای بدست آوردن چنین الگوریتمی برای هر یک از این مسائل به شکست منجر شده است، هنگامیکه ثابت
می شود مسئله ای NP-Complete است پیدا شدن الگوریتمی با زمان اجرای چندجمله ای برای آن بعید به نظر می رسد. رابطه با سایر کلاسها. NP شامل تمام مسائل P می شود زیرا هر کس می تواند با نادیده گرفتن شواهد حل مسئله هر نمونه از این مسائل را حل کند. NP در PSPACE موجود است. برای نشان دادن این کافی است یک ماشین PSPACE درست کنیم که بر روی تمام رشته های گواه گردش کند و هر کدام را به یک بررسی کننده زمان اجرای چندجمله ای ارائه دهد. از آنجا که این ماشین تنها می تواند بیت هایی با تعداد چندجمله ای را بخواند نمی تواند در فضاهایی فراتر از چندجمله ای به کار رود و نمی تواند بررسی کننده ای را بپذیرد که زمان اجرایی فراتر از چندجمله ای نیاز دارد (بنابر این ما نیازی نداریم تا گواه هایی را بررسی کنیم که زمان اجرای طولانی تری دارند) NP همچنین در مجموعه EXPTIME موجود است. به این علت که الگوریتمیکسانی برای آن در زمان اجرای توانی موجود است. CO-NP شامل آن سری مسائلی است که گواه های ساده ای برای نادرست بودن دارند که بعضی اوقات مثال نقض نامیده می شود. برای مثال تست اول بودن یک عدد صحیح در حوزهٔ CO-NP قرار می گیرد زیرا می توان غیر اول بودن یک عد