Payamvdn/NorthPersian_fa_wiki huggingface dataset:
یک سؤال را معادل عضویت یا عدم عضویت ورودی در زبان در نظر گرفت. در نظریهٔ زبان ها یک زبان در صورتی تصمیم پذیر است که بتوان ماشین تورینگی ساخت که آن را تصمیم بگیرد؛ به این معنا که ماشین تورینگی وجود داشته باشد که به ازای یک رشتهٔ ورودی، عضویت یا عدم عضویت آن در آن زبان را تعیین کند. چنین ماشین تورینگی به ازای هر ورودی ای متوقف می شود. برخی نظریه های تصمیم پذیر. برخی نظریه های تصمیم پذیر عبارتند از: برخی نظریه های تصمیم ناپذیر. عموماً برای ثابت کردن تصمیم ناپذیری نظریه ها از روش تفسیرپذیری استفاده می شود. اگر نظریهٔ اساساً تصمیم ناپذیر formula_1در نظریهٔ استوار formula_2 تفسیرپذیر باشد، آن گاه formula_2 نیز اساساً تصمیم ناپذیر است. این مفهوم به مفهوم کاهش چند-یک در نظریهٔ رایانش پذیری نزدیک است. برخی نظریه های تصمیم ناپذیر عبارتند از: زبان های تصمیم پذیر و تصمیم ناپذیر شاخص. یک زبان به مجموعه ای از رشتهها گفته می شود. در تعریف هر کدام از زبان های زیر علامت formula_4در کنار یک شیء نشانگر نمایش آن شیء به صورت یک رشته است که می تواند مطابق هر قراردادی باشد. زبان های تصمیم ناپذیر. عموماً تصمیم ناپذیری زبان ها و مسائ
ل متفاوت به این صورت اثبات می شود که نشان داده می شود در صورتی که آن ها تصمیم گرفته شوند مسائلی که می دانیم تصمیم پذیر نیستند (مثلاً مسائل بالا) تصمیم گرفته می شوند. نیم تصمیم پذیری. نظریه ها و سیستم های صوری مشخصه ای ضعیف تر از تصمیم پذیری هم دارند که نیم تصمیم پذیری است. در صورتی که برای یک نظریه راه مؤثری وجود داشته بشد که همواره به طور صحیح مشخص کند که آیا یک فرمول عضو یک نظریه هست یا نه، امّا امکان این باشد که در صورت عضو نبودن فرمول در نظریه پاسخی ندهد، آن نظریه نیم تصمیم پذیر است. هر نظریه در صورتی تصمیم پذیر است که خودش و مکملش نیم تصمیم پذیر باشند و برعکس؛ بنابراین اگر نظریه ای تصمیم ناپذیر باشد خود یا متممش نیم تصمیم پذیر نیستند. نیم تصمیم پذیری را می توان مشابه با تشخیص پذیری در نظریهٔ ماشین ها دانست. هر زبان تشخیص پذیر در این تشبیه مانند یک نظریهٔ نیم تصمیم پذیر است؛ برای این زبان ماشین تورینگی وجود دارد که به ازای رشته های عضو زبان به حالت قبول می رود، اما این ماشین به ازای رشته هایی که عضو زبان نیستند الزاماً متوقف نمی شود. در صورتی که یک زبان و مکمل آن تشخیص پذیر باشند آن زبان تصمیم پذیر است و
برعکس؛ بنابراین به ازای هر زبان تصمیم ناپذیر خود آن زبان یا مکمل آن تشخیص ناپذیر است. منابع. __بافهرست__
علی رامز (زادهٔ ۱۳۰۶ – درگذشتهٔ ۷ دی ۱۳۹۶) بازیگر سینما، تلویزیون و تئاتر اهل ایران که در طول فعالیت هنری خود در چندین فیلم سینمایی، چندین تئاتر صحنه و سریال های متعدد تلویزیونی از جمله: «امیرکبیر»، «وزیر مختار»، «مرغ حق»، «یکی از این روزها»، «پاییز بلند»، «شمارش معکوس»، «محاکمه»، «عبور از خط سرخ»، «قضیه اوپنهایمر» نقش آفرینی نمود. رامز در نمایش هایی به کارگردانی هادی مرزبان به عنوان بازیگر حضور داشته و بیش از سی سال با گروه تئاتر حرکت همکاری مستمر داشته است. زندگی. علی رامز در سال ۱۳۰۶ در تهران زاده شد و پس از گذراندن دوره دبستان به دبیرستان صنعتی تهران (ایران و آلمان سابق) وارد شد و بواسطه آشنایی با افرادی چون عزت الله انتظامی و هوشنگ بهشتی به تئاتر تهران آن زمان راه پیدا کرد. در سال ۱۳۲۷ دوره کلاس تئاتر عبدالحسین نوشین را گذراند که پس از ۸ ماه به تعطیلی کشید. پس از فارغ التحصیل شدن در رشته برق در سال ۱۳۲۸ وارد مدرسه پست و تلگراف و تلفن شد و پس از دو سال در سال ۱۳۳۰ وارد خدمت وزارت و از آنجا به شرکت مخابرات ایران منتقل گردید. طی سالهای خدمت، موفق به دریافت دیپلم ششم ریاضی شد و در سال ۱۳۴۷ به دانشکده هنرهای
زیبای دانشگاه تهران راه یافت. در سال ۱۳۵۱ با درجه شاگرد اولی تحصیلات را به پایان رساند و در همان سال موفق به اخذ بورس تحصیلی از کشور بلژیک گردید. علی رامز در سال ۱۳۶۰ بازنشسته شد و پس از آن به حرفه مورد علاقه خود یعنی بازیگری به خصوص تئاتر که عاشقانه به آن عشق می ورزید پرداخت و سرانجام در عصر روز ۷ دی ماه ۱۳۹۶ در سن ۹۰ سالگی در خانه خود درگذشت.
غسان بن عباد، یکی از حاکمان خراسان در مدتی از خلافت مأمون عباسی بود. مأمون پس از به قتل رساندن علی بن موسی الرضا و نامه نگاری هایی که در این مورد با عباسیان و دیگر مردم بغداد انجام داد و عدم تمایل آنها به پذیرش مأمون از خراسان به سمت جرجان حرکت کرد و در آنجا رجاء ابن ابی ضحاک را که حاکم خراسان بود برکنار کرد و غسان بن عباده را به جای وی نشاند؛ و پس از چند مدت از ولایت او بر خراسان او را نیز برکنار کرد در این باره احمد بن ابی خالد که سابقهٔ دوستی با طاهر بن حسین را داشت شروع به دگرگون کردن ذهن مأمون دربارهٔ توانایی های غسان بن عباده کرد و سرانجام موفق شد نظر او را دربارهٔ غسان تغییر دهد و پس از برکناری او، طاهربن حسین را برای ولایت خراسان پیشنهاد کرد که مورد قبول مأمون واقع شد و طاهر والی خراسان شد. البته در این باره گفته می شود که احمد بن ابی خالد در ازای دریافت سه هزار دینار طلا از طاهر برای این امر راضی شده است. همچنین یعقوبی در گزارش خود حکومت غسان در خراسان را حکومتی موفق می دانسته است اما خلاف این گزارشاتی به مأمون رسیده بود که یکی دیگر از دلایل برکناری غسان بود. مأمون حملات ترکان و علی الخصوص خوارج را ب
ه خراسان نشانهٔ ضعف غسان دانسته و از آن جهت که نگرانی همیشگی به مسئله خوارج حساسیت زیادی نسبت به آن داشت و در نامه هایش به طاهر نیز بارها به این مورد اشاره کرده است، در انتها باعث برکناری غسان شد. البته ضعف غسان در جایی که عبدالرحمان مطوعی همراه با مردم نیشابور لشگری برای مقابله با خوارج آماده کردند نیز مشخص می شود. نکتهٔ دیگر در مورد او رابط نیکویش با خاندان سامانی است که به دستور مأمون صورت گرفته بود. به طوریکه او نوح ابن اسد را حاکم سمرقند، احمد ابن اسد را حاکم فرغانه و یحیی بن اسد را به حکومت چاچ و استروشنه گماشته بود.
پناهندگان فلسطینی در اردن () شامل شهروندانی است که تابعیت فلسطین را دارند و به عنوان پناهنده به سر می برند یا شامل شهروندانی می شود که بخشی یا به طول کامل اصل و نسبشان فلسطینی است و در اردن زندگی می کنند. تاریخچه. اغلب نیاکان فلسطینی ها بین ۱۹۴۷ و ۱۹۶۷ به عنوان پناهندگان فلسطینی به اردن آمدند. امروزه، اکثر فلسطینی ها و فرزندانشان در اردن شهروند اردنی شده اند و اردن تنها کشور عربی است که پناهندگان فلسطینی ۱۹۴۸ را به طور کامل با مردم اردن یکپارچه کرده است. آمار فلسطینیان در اردن. در اردن هیچ آمار رسمی مربوط به سرشماری از ساکنان فلسطینی دراین کشور وجود ندارد، اما آمار واقعی بستگی به تعریف فرد فلسطینی دارد. در سال ۲۰۰۸، گروه بین المللی حقوق اقلیت ها برآورد کرد شهروندان اردنی که دارای منشأ فلسطینی هستند حدود ۳ میلیون نفرند. در سال ۲۰۰۹ اداره مرکزی آمار فلسطین تعداد فلسطینیان ساکن اردن را ۳٫۲۴ میلیون نفر اعلام کرد. در سال ۲۰۱۴، حدود ۲٫۱ میلیون پناهنده فلسطینی در اردن ثبت شده است. حدود ۳۷۰ هزار نفر در ۱۰ اردوگاه پناهندگان زندگی می کنند و بزرگ ترین آنها اردوگاه پناهندگان البقعه است که بیش از ۱۰۴ هزار تن در آن ساکن هس
تند و پس از آن اردوگاه جدید امان (الوحدات) که ۵۱٬۵۰۰ نفر جمعیت دارد. فلسطینی ها عمدتاً در شمال و مرکز اردن، به ویژه در استان امان، استان زرقاء و استان اربد تمرکز دارند.
کشتی انتقام ملکه ان یک کشتی فرانسوی بود که به ریش سیاه تعلق داشت. هر چند اطلاعات دقیقی از آن کشتی در دسترس نیست اما به گفته افسانه ها آن کشتی بسیار کشتی زیبایی بود. سرانجام این کشتی در سواحل کارولینای شمالی در آمریکا غرق شد. تکه هایی از این کشتی و چیزهای بسیار زیاد دیگر، مثل اسلحه و… که به سطح آب آمده بودند در سال ۱۹۹۵ کشف شدند. یکی از لنگرهای این کشتی هم در سال ۲۰۱۱ پیدا شد.
"الگوریتم اکس" نامی است که دانلد کنوث در مقاله خود با نام "پیوندهای رقصنده" (به انگلیسی: Dancing Links) برای اشاره به "رویکرد واضح سعی و خطا" برای یافتن تمام پاسخ های ممکن برای مسئله پوشش دقیق، بکار برده است. از نظر فنی الگوریتم اکس یک الگوریتم بازگشتی، غیر قطعی، عمق-اول با پس گرد است. در حالی که الگوریتم اکس به طور کلی به عنوان یک توضیح موجز برای بیان راه حل مسئله پوشش دقیق مفید است، ممکن است منظور راه حل کنوث در ارائه آن صرفاً برای نشان دادن روش ابزار پیوندهای رقصنده با استفاده از یک پیاده سازی کارای آن تحت عنوان DLX باشد.
رود اعظم یکی از رودهای فلات مرکزی ایران است که در محدودهٔ حوضهٔ آبریز ابرقو–سیرجان قرار دارد. رود اعظم از کوه های روشن و اسمالزاری در شمال دریاچه طشت نرگس سرچشمه می گیرد و سرشاخه های آن در نزدیکی شهر حسامی به هم می پیوندد. سپس در جهت غرب به شرق جریان می یابد و به کویر مروست منتهی می شود. طول این رود ۱۴۰ کیلومتر و مساحت حوضهٔ آبریز آن حدود ۱۷۳۳ کیلومتر مربع است.
خاندان جیهانی در عصر سامانیان (قرن ۴ هجری) در دستگاه حکومت عهده دار وزارت یا مشاغل مهم دیگر بودند، آنها از خانواده های مشهور ایرانی زاده در شهر جیهان در نزدیکی بخارا بودند. سه نفر از وزراء سامانیان که به جیهان منسوب و به جیهانی شهرت یافته اند، عبارتند از: ابوعبداللّه محمد بن احمد بن نصر، و (پسرانش) محمد بن محمد مکنی معروف به ابوعلی و احمد بن محمد. ابوعبدالله محمد بن احمد جیهانی. وی مشهورترین رجل نامی خاندان جیهانی است. جیهانی پس از ابوبکر بن حامد نسفی چندی وزیر احمد بن اسماعیل سامانی بود. سپس زمانی که امیر نصر بن احمد هنوز به حد رشد و بلوغ نرسیده بود، عهده دار وزارت وی شده است. وی در دو مرحله در زمان امیر نصر بن محمد به وزارت رسیده است. مرحله اول از سال ۳۰۱ تا ۳۰۹ ه .ق و مرحله دوم از سال ۳۲۵ تا ۳۲۸ ه . ق جیهانی در دوره وزارتش به اتفاق دولتمردان سامانی از جمله حمویة بن علی امور کشور را سامان داد. در این زمان منصب وزارت از اهمیت خاصی برخوردار بوده است. تکوین نظام دیوانی سامانیان بیشتر مرهون کوششهای ابوعبدالله جیهانی بوده است. وی برای اداره دیوان وزارت سامانی بسیاری از مراسمات و تشکیلات ایران عهد ساسانی را در ام
ور وارد کرد. از پایان وزارت ابوعبدالله جیهانی و انتصاب ابوالفضل بلعمی به جای او اطلاعی در دست نیست؛ اما احتمالاً وی بر اثر فشار فقهای بخارا و شاید به اتهام زندقه و الحاد برکنار شده است. ابوعلی محمد بن محمد جیهانی. ابوعلی محمد بن محمد جیهانی پسر محمد بن احمد بن نصر جیهانی (جیهانی کبیر) پس از بر کناری یا رحلت ابوالفضل بلعمی در سال ۳۳۰ هجری به وزارت سعید بن احمد سامانی منصوب شد. احمد بن محمد بن نصر جیهانی. احمد بن محمد بن نصر جیهانی فرزند محمد بن احمد جیهانی (جیهانی کبیر) از وزرا نوح بن منصور سامانی بود. وی دارای آثار و تالیفات متعددی است که از جمله آنها می توان به موارد ذیل اشاره کرد: المسالک و الممالک کتاب معروفی است که اصل آن در دسترس نیست؛ اما بسیاری از آن نقل کرده اند. این کتاب احتمالاً همان کتابی است که مسعودی در مورد آن می نویسد: جیهانی وزیر نصر بن احمد سامانی کتابی در وصف جهان و اخبار و عجایب آن و شهرها و دریاها و امت های عالم تصنیف کرده است. کتاب المسالک و الممالک جیهانی هر چند امروزه در دسترس نیست؛ اما برخی جغرافی نویسان پس از جیهانی اطلاعات خود را در باب سرزمین های غیراسلامی شمال و شرق از آن گرفته اند
. او با نوشتن این کتاب به جهانگردان مشهوری چون بودلف و ابن فضلان یاری رسانده است.
اردوگاه پناهندگان الوحدات که به الوحدات موسوم است، دومین اردوگاه بزرگ پناهندگان فلسطینی در اردن به شمار می رود، آمار ثبت شده پناهندگان فلسطینی در این اردوگاه به سختی ۵۱٫۰۰۰ می شود. باشگاه ورزشی الوحدات اردن در این اردوگاه قرار دارد.
اردوگاه پناهندگان مغازی یک اردوگاه پناهندگان در دولت فلسطین است که در داخل حکومت خودگردان فلسطین قرار دارد. اردوگاه پناهندگان مغازی ۲۲٬۵۳۶ نفر جمعیت دارد، و در استان دیرالبلح در بخش مرکزی نوار غزه قرار دارد. این اردوگاه پناهندگان فلسطینی است که بنا بر آمار اداره مرکزی آمار فلسطین در سال ۱۹۴۹ احداث شد. تاریخچه. جمعیت این اردوگاه بر اساس آمار نیمه سال ۲۰۰۶ بالغ بر ۲۴ هزار و ۲۸۴ نفر بوده است که در زمینی به مساحت ۰٫۶ کیلومتر مربع احداث شد. این اردوگاه در تاریخ ۶ ژانویه ۲۰۰۳ با اتهام این که جنگجویان در آن پناه گرفته اند توسط ارتش اسرائیل مورد تهاجم قرار گرفت و سه فلسطینی کشته و تعداد زیادی مجروح شدند. درآمد. قبل از بستن نوار غزه توسط اسرائیل در سال ۲۰۰۰ و پس از پایان دومین انتفاضه فلسطینیان، اکثر ساکنان اردوگاه درکارهای مختلفی در اسرائیل شاغل شدند یا به عنوان کشاورزان محلی در محل به زراعت پرداختند. روزهای یکشنبه یک بازار هفتگی یا آزاد در فضای باز دائر می شود که ساکنان از کارگاه ها، نانوایی ها، کافه ها، رستوران ها مواد غذایی خود به این بازار آورده و می فروشند. تحصیلات. اردوگاه مغازی دارای سه مدرسه ابتدایی و ۲ دبیرس
تان است که توسط آژانس امداد و اقدام سازمان ملل متحد برای آوارگان فلسطینی در خاور نزدیک UNRWA اداره می شود. ۶۴۰۷ دانش آموز در سال های ۲۰۰۴–۲۰۰۵ در این مدارس ثبت نام کرده اند. آژانس امداد و اقدام سازمان ملل متحد برای آوارگان فلسطینی در خاور نزدیک در سال ۱۹۹۸ خدمات آموزشی یکپارچه ای را به ۱۲۶۴ کودک معلول ارائه داد. علاوه بر این برخی فعالیت های ورزشی، اجتماعی و فرهنگی جوانان نیز جزو برنامه های آموزشی این اردوگاه محسوب می شود.
طلاقم بده به خاطر گربه ها فیلمی در ژانر وحشت-روانشناختی به کارگردانی و نویسندگی محمدعلی سجادی و تهیه کنندگی محمدرضا مصباح محصول سال ۱۳۹۶ است. فیلمبرداری این اثر اسفند ۱۳۹۵ در تهران انجام شد. این فیلم تنها دو لوکیشن اصلی دارد و بخش عمده آن در یک دادگاه فیلم برداری شده است. رضا مولایی، مریم همتیان، جلال الدین ترابی و شیرین ولی پور بازیگران این فیلم سینمایی هستند. فیلمنامه «طلاقم بده به خاطر گربه ها» براساس یک رخداد واقعی توسط محمدعلی سجادی به نگارش درآمده است. خلاصه داستان. داستان فیلم، درباره ی زنی است که پس از نقل مکان با همسرش به یک ساختمان مسکونی، مورد ضرب و شتم اجنه قرار می گیرد و دلیل درخواست طلاق از همسر خود را چنین اعلام می کند: «رای طلاق را دوماه بالای کمد گذاشتم و اجرا نکردیم. آن ها از شب اول به سراغم آمدند و به طور وحشتناکی کتک زدند، طوری که جای زخم ها گوشت اضافه آورد، حتی سقف دهانم را زخم کرده بودند و موهای سرم را کنده بودند. پس از اجرای حکم طلاق گربه ها خوشحال بودند بعد از آن چند بار به منزل همسرم رفتم تا کارهایش را انجام دهم و خانه اش را مرتب کنم، جن ها با عصبانیت سراغم آمدند و دندان قروچه کردند.
بعد از طلاق که به همراه دو دخترم به خانه پدرم برگشتم دیگر آن ها سراغم نمی آیند و مرا نمی زنند. تا چند وقت احساس دلتنگی به آن ها را دارم اگر بخواهم می توانم آن ها را ببینم …» منبع الهام فیلمساز. این فیلم براساس یک رخداد واقعی توسط محمدعلی سجادی به نگارش درآمده است و داستان زندگی زوجی جوان را روایت می کند که در سال ۱۳۸۳ هجری خورشیدی به دادگاه مراجعه کرده و تقاضای طلاق می دهند. دلیل اصلی آن ها برای این جدایی تنها به خاطر گربه هاست!
اردوگاه پناهندگان مارکا () یکی از شش اردوگاه «اضطراری» است که در سال ۱۹۶۸ ساخته شده است، از سال ۱۹۶۷ در نتیجه جنگ شش روزه اعراب و اسرائیل قریب به ۱۵۰۰۰ پناهنده فلسطینی و آوارگان از کرانه باختری رود اردن و نوار غزه خارج شده و در این محل پناه داده شدند. موقعیت این اردوگاه در حدود ۱۰ کیلومتری شمال شرقی مرکز شهر در منطقه مارکای امان قرار دارد که به زبان محلی به آن حطین یا Schneller می گویند. وضعیت اردوگاه. در این اردوگاه ۴۴٫۸۷۹ پناهنده توسط آژانس امداد و اقدام سازمان ملل متحد برای آوارگان فلسطینی در خاور نزدیک UNRWA ثبت شده اند و بیش از ۱۷٬۵۰۰ آواره در آن جابجا شده اند. تاریخچه. در ابتدا، برای اردوگاه پناهندگان چادرهایی بر روی زمین بنا شد، مساحت این اردوگاه حدود ۹۱۷۰۰۰ مترمربع است. بین سالهای ۱۹۶۹ و ۱۹۷۱ طرح جدیدی برای آوردن چادرهای قوی تر برای زمستان های سرد و ساخت ۴٬۰۰۰ پناهگاه پیش ساخته توسط آژانس امداد و اقدام سازمان ملل متحد برای آوارگان فلسطینی در خاور نزدیک UNRWA به اجرا درآمد که بودجه ساخت و ساز آن از جمهوری فدرال آلمان، دولت ایتالیا، بانک توسعه اردن و کمک های اضطراری خاور نزدیک تأمین شد. بسیاری از ساکنان
اردوگاه در طول سال ها، پناهگاه های بتونی خود را مقاوم تر کرده اند. خدمات عمومی. در اردوگاه دو مدرسه متوسطه و یک مرکز بهداشتی (MAP UK) که توسط دولت اردن اداره می شود به فلسطینی ها خدمات پزشکی ارائه می کند. یک کمیته محلی، یک مرکز خیاطی و یک مرکز کامپیوتری در اردوگاه وجود دارد. سایر آموزشها و خدمات بهداشتی و اجتماعی توسط آژانس امداد و اقدام سازمان ملل متحد برای آوارگان فلسطینی در خاور نزدیک UNRWA ارائه می شود که ۴۱۸ پرسنل سازمان ملل، ۱۰ مدرسه را با ۴۹۹۲ دانش آموز و دو مرکز بهداشتی را با بیلان ویزیت ۱۰۱۲ بیمار در روز اداره می کنند. بیش از ۶۰۰ خانواده از طریق یک برنامه سخت افزاری با انجام امورات بهداشتی اردوگاه کمکهای نقدی اضافی توسط UNRWA دریافت می کنند. همچنین یک اداره برنامه زنان که توسط زنان محلی و یک مرکز توانبخشی اجتماعی که از طرف UNRWA حمایت می شود مراقبتهای روزمره را تأمین می کنند.
هاشم رفیعی تبار فیزیک دان و یکی از محققین فناوری نانو در ایران است. زندگی نامه و فعالیت های علمی. هاشم رفیعی تبار در سال ۱۳۲۷ در تهران متولد شد. تحصیلات ابتدایی و متوسطه را در تهران گذرانده و در سن ۱۷ سالگی برای تحصیلات عالی عازم انگلستان شد. باتوجه به علاقه مندی بسیار به رشته فیزیک نظری، کارشناسی و کارشناسی ارشد و دکترای خود را در رشته فیزیک ذرات بنیادی که رشته بسیار مطرحی است از دانشگاه لندن اخذ نمودند. ایشان در سال ۱۹۸۰ میلادی در دانشگاه آکسفورد انگلستان مستقر شده و همزمان با تحقیق بر روی رشته جدید فیزیک ماده چگال، رشته نانوی محاسباتی که رشته جدیدی بود را با چند تن از دوستان راه اندازی کردند و از آن موقع بود که این رشته در سطح جهان معرفی و شناخته شد. وی پس از اتمام دوران تحصیل خود در انگلستان جهت گذراندن یک دوره تحقیقاتی پسا دکترا با همکاری یکی از محققان معروف و برنده جایزه نوبل در دانشگاه پاریس مدتی بر روی مبانی مکانیک کوانتومی تحقیقاتی داشته اند. در سال ۲۰۰۰ میلادی پس از بازگشت به وطن به عنوان رئیس پژوهشکده علوم نانو در پژوهشگاه دانش های بنیادی در مرکز تحقیقات فیزیک نظری و ریاضیات مشغول به تحقیق شدند و ا
ز آن زمان بود که برای همیشه در ایران ماندگار شدند. اغلب فعالیت های پژوهشی برجسته ایشان کارهای نظری و محاسباتی در حوزه های مختلف علوم و فناوری نانو بوده که با تأسیس مرکز تحقیقات نانوتکنولوژی و مهندسی بافت و پس از راه اندازی رشته پزشکی نانو در دانشکده پزشکی دانشگاه علوم پزشکی شهید بهشتی از سال ۱۳۸۵ تحقیقات آزمایشگاهی و کاربردی هم به حوزه های تحقیقاتی پیشین ایشان اضافه گردید. اکنون ایشان به عنوان استاد تمام گروه فیزیک و مهندسی پزشکی مشغول به فعالیت های آموزشی، تحقیقاتی و تربیت دانشجویان دکتری در این رشته می باشند. قابل ذکر است ایشان در زمان ریاست جمهوری آقای محمد خاتمی با همکاری تنی چند از اساتید از جمله دکتر غلامعلی منصوری به درخواست آقایان دکتر محمد رضا عارف و دکتر رضا منصوری معاون پژوهشی وقت کمیته نانوتکنولوژی وزارت علوم را پایه گذاری کردند. جاپ یک کتاب در مورد محاسبات فیزیکی نانولوله کربنی در انتشارات دانشگاه کمبریج، بیش از ۱۱۰ مقاله علمی در نشریات معتبر جهانی و تجربه سال ها ریاست بخش علوم نانو در دانشگاه گرینچ انگلستان و تحقیق و تدریس در دانشگاه های آکسفورد و توهوکو ژاپن همراه با مدیریت چندین پروژه بزرگ علم
ی در این کشورها بخش دیگری از کارنامه علمی این پژوهشگر ایرانی را تشکیل می دهد. پروژه های پژوهشی انجام شده یا در حال انجام. فعالیت ایشان به صورت عمده در حیطه های مختف علوم و فناوری نانو است که از زمان ملحق شدن به دانشگاه علوم پزشکی شهید بهشتی در حوزه علوم نانو زیستی قرار گرفته که با پزشکی همپوشانی دارد. پروژه های تحقیقاتی متعددی را با کمک دانشجویان در این دانشگاه شروع کرده اند. از جمله فعالیت های برجسته ایشان می توان به تحقیق روی اثرات تابش های ریزموج مانند تلفن همراه و… روی نانوساختارهای زیستی به خصوص فعالیت مغز، تحقیق بر روی طراحی شبکیه مصنوعی با کمک نانو تکنولوژی و پیوند شبکیه و برگرداندن قسمتی از بینایی با همکاری مرکز تحقیقات چشم در بیمارستان لبافی نژاد و تحقیقات بنیادی روی مبدأ حیات و مدلسازی برای پی بردن به مبدأ حیات اشاره کرد. پیوند به بیرون. صفحه هاشم رفیعی تبار در دانشگاه علوم پزشکی شهید بهشتی
یک سیستم ایمنی صنعتی اقداماتی برای مقابلهٔ قاطع در هر مجتمع کارخانه ای پرخطر مانند تأسیسات نفت و گاز و نیروگاه های هسته ای است. این اقدامات به منظور حفاظت و پوشش انسان ها، تأسیسات و کارخانه های صنعتی و محیط انجام می گیرد؛ در صورتی که پروسهٔ تولید فرایندی فراتر از توان کنترل های مجاز مرسوم برسد، مورد استفاده قرار می گیرند. همان طور که نام نشان می دهد این سیستم ها برای کنترل کردن نیستند بلکه بیشتر در جهتت تولید قرار دارند. فرایند کنترل با استفاده از فرایند pcs انجام می شود و توسط سیستم های ایمنی متصل می شود تا اقدامات فوری در صورت شکست سیستم و فرایند انجام شود. فرایند کنترل و سیستم های ایمنی معمولاً در یک سیستم ادغام می شوند که سیستم ایمنی و کنتول مجتمع نامیده می شوند. سیستم های صنعتی معمولاً از سیستم های اختصاصی که حداقل SIL2 را دارند استفاده می کنند. در حالی که سیستم های کنترل می توانند از SIL1 شروع کنند. SIL بر روی هر دو نیاز سهت افزاری و نرم افزاری مانند کارتت ها کار فرمایان پردازنده ها و رای گیری ها اعمال می شود. مدل ها. دو نوع اصلی سیستم های ایمنی صنعتی در صنایع فرایند وجود دارد: فرایند ایمنی سیستم یا فرا
یند خاموش شدن سیستم سیستم خنک کننده ایمنی: این سیستم شامل قطع شدن اضطراری و فشرده سازیEDP می باشد. سیستم سومی نیز وجود دارد که به عنوان مانع کار می کند و شامل اسپری کردن روغن داغ و گاز داغ از فلنج ها دریچه ها و اتصالات ها است. این سیستم یه عنوان سیر ایمنی اسپری و محافظ های فنلج شناخته می شود. استفاده از اسپری توسط OSHA ESD. این سیستم ها همچنین می توانند با توجه به سطوح ESD / EDP به صورت زیر تعریف شوند: SSS. سیستم ایمنی خاموش (SSS) باید در صورت وضعیت اورژانسی امکانات را به حالت ایمن تعطیل کند، در نتیجه محافظت از پرسنل، محیط زیست و دارایی را به عهده دارد. سیستم خاموش کردن ایمنی باید تمام ورودی ها و خروجی ها را نسبت به عملکردهای اضطراری (ESD) (محیط و حفاظت پرسنل) مدیریت کند. این سیستم همچنین ممکن است توسط سیگنال ها از سیستم آتش و گاز اصلی تغذیه شود. FGS. اهداف اصلی سیستم آتش و گاز عبارتند از حفاظت از پرسنل، محیط زیست و کارخانه (از جمله تجهیزات و سازه ها). FGS باید به این اهداف دست یابد: EDP. با توجه به بسته شدن دریچه های ESD در یک فرایند، ممکن است برخی مایعات قابل اشتعال به دام افتاده باشد و برای جلوگیری از پیام
دهای ناخواسته (مانند افزایش فشار در عروق و لوله کشی) باید آزاد شوند. برای این منظور سیستم های اضطراری (EDP) در ارتباط با سیستم های ESD برای آزاد سازی (به یک مکان امن و ایمن) از جمله مایعات به دام افتاده استفاده می شود.
تخصیص ثبات یکی از مراحل پایانی کامپایل کدهای برنامه نویسی است که مهم ترین مرحله برای افزایش کارایی کد تولید شده به وسیلهٔ کامپایلر می باشد. اهمیت این مرحله با توجه به افزایش سرعت پردازنده ها و هم چنین افزایش زمان دسترسی به حافظه، روز به روز بیش تر می شود و تأثیر آن را به وضوح می توان بر روی حجم کد تولید شده و هم چنین کارایی آن مشاهده نمود. کامپایلرها به طور کلی به سه بخش تقسیم می شوند: بخش ابتدایی که زبان سطح بالا را به یک زبان سطح میانی تبدیل می کند. تحلیل لغوی، نحوی، و معنایی در این بخش انجام می شود. بخش میانی که در این بخش روش های زیادی برای بهبود کد به کار گرفته می شوند و در نهایت بخش پایانی کامپایلر که وظیفهٔ تبدیل کد میانی به کد ماشین را بر عهده دارد. در تمامی کامپایلرها، در بخش میانی این فرض وجود دارد که بی نهایت ثبات وجود دارد (و این ثبات ها را ثبات های مجازی می نامند) و هیچ نگرانی ای در مورد کمبود ثبات وجود ندارد. اما از آن جایی که تمامی ماشین ها دارای تعداد محدودی ثبات هستند باید در بخش پایانی تمامی ثبات های مجازی به ثبات های واقعی نگاشت شوند. اولین روش بهینه برای تخصیص ثبات به وسیلهٔ آقای Chaitin و
همکارانشان در سال ۱۹۸۱ میلادی ارائه شد که از مسئلهٔ معروف رنگ آمیزی گراف استفاده کردند. در سال ۱۹۹۲ میلادی نیز آقای Briggs در رسالهٔ دکترای خود همان روش Chaitin را بهبود بخشید و امروزه به روش Chaitin-Briggs معروف است. در حال حاضر نیز تعداد بسیار زیادی از کامپایلرها از این روش برای تخصیص ثبات استفاده می کنند. اما از آن جایی که این روش سربار بالایی دارد (هم از لحاظ زمان کامپایل و هم از لحاظ پیچیدگی مسئله) در ادامه روش های دیگری مانند اسکن خطی و تخصیص ثبات بر پایهٔ کد میانی با فرم SSA ارائه شدند. تخصیص ثبات در سطوح متفاوتی از کد میانی می تواند انجام شود: در سطح عبارات کد در سطح بلوک های پایهٔ کد و در سطح یک روال از کد. به مورد اخیر تخصیص ثبات سراسری نیز می گویند. اکثر روش های ارائه شده سراسری هستند. تعریف مسئله. در طراحی تمامی کامپایلرها این فرض وجود دارد که در بخش میانی کامپایلر که وظیفهٔ بهبود کد را به عهده دارد، بی نهایت ثبات برای نگهداری متغیرها وجود دارد. به این ثبات ها، "«ثبات های مجازی»" می گویند. حال مسئلهٔ تخصیص ثبات این گونه مطرح می شود: "«طی تبدیل کد میانیِ کامپایلر به کد ماشین باید با روشی بهینه تما
می ثبات های مجازی بر روی ثبات های واقعیِ ماشین مورد نظر نگاشت شوند یا در صورت محدودیت ثبات های واقعی از حافظهٔ اصلیِ ماشین برای نگهداری آن ها استفاده کنیم.»" روش های مختلف تخصیص ثبات. همان طور گه در مقدمه گفته شد، تمامی روش های کلی تخصیص ثبات به دو دسته تقسیم می شوند: سراسری و غیر سراسری. در ادامه مهم ترین روش های تخصیص ثبات در هر یک از این تقسیم بندی ها می آید. تخصیص ثبات سراسری. رنگ آمیزی گراف. اولین روشی که برای تخصیص ثبات استفاده شد و هم چنین محبوب ترین روش است، تخصیص ثبات با استفاده از مسئلهٔ معروف رنگ آمیزی گراف است. در این روش برای هر متغیر (و یا همان ثبات های مجازی) بازه هایی که زنده هستند مشخص می شوند؛ یا به عبارتی برای هر متغیر مشخص می شود که چه زمانی مقدار آن ارزش دارد که این همان بازهٔ میان تعریف و استفاده از آن متغیر است. حال با استفاده از تعریف بازه های زندگی هر متغیر، مسئلهٔ تخصیص ثبات را بر روی مسئلهٔ رنگ آمیزی گراف نگاشت می کنیم. گراف برخورد. اولین قدم ساخت «گراف برخورد» است. راس های این گراف همان بازه های زندگی متغیرها هستند. یال های این گراف نیز این گونه مشخص می شوند: «دو راس در گراف برخورد
به هم متصل هستند اگر نقطه ای در برنامه وجود داشته باشد که متغیرهای متناظر آن راس ها همزمان زنده باشند.» اکنون که گراف برخورد را تعریف کردیم می توانیم مسئلهٔ تخصیص ثبات را به عنوان یک مسئلهٔ رنگ آمیزی گراف مطرح کنیم. مدل سازی مسئلهٔ تخصیص ثبات به عنوان مسئلهٔ رنگ آمیزی گراف. فرض کنید که به تعداد ثبات های ماشین رنگ در اختیار داریم. حال با این رنگ ها به رنگ آمیزی گراف برخورد می پردازیم. اگر در نهایت به یک رنگ آمیزی معتبر رسیدیم، هر دو راس مجاور رنگ های متفاوتی خواهند داشت و این بدین معنا است که هر دو متغیر همزمان زنده در ثبات های مختلفی قرار می گیرند و با یکدیگر برخوردی نخواهند داشت. اما از آن جا که مسئلهٔ رنگ آمیزی گراف ان پی کامل است، از یک روش مکاشفه ای برای تخصیص ثبات استفاده می شود. در شکل زیر به طور خلاصه پیاده سازی تخصیص ثبات با استفاده از رنگ آمیزی گراف را مشاهده می کنید. اسکن خطی. این روش سریع ترین روش موجود برای تخصیص ثبات است و تقریباً در تمامی کامپایلرهای درجا از آن استفاده می شود. در این روش تمامی دستورهای برنامه با هر ترتیب دلخواهی مرتب می شوند (که البته در تمامی کامپایلرها ار همان ترتیبی که دستور