payamvha/North_RAG huggingface dataset:
به نقل از جواد الغزالی عضو کمیته امنیتی شورای شهر نجف اعلام کردند که رهبر شیعیان بحرین خانه‌ای را در محله «الامیر» این شهر اجاره کرده و در آن اقامت خواهد داشت. وی همچنین به مشهد سفر کرد و سپس جهت مداوا در بیمارستانی در تهران بستری گردید.
ازدواج همجنس‌ در کانادا در ۲۰ ژوئیه ۲۰۰۵ قانونی شد، کانادا چهارمین کشور و نخستین کشور در قاره آمریکا است که ازدواج همجنس‌ها را در سطح ملی قانونی کرد. این تصمیم در ۲۰۰۳ آغاز شد و در حالی بود که ازدواج همجنس‌ها در هشت استان از ده استان و یک قلمرو از سه قلمرو قبل تر قانونی شده بود. این میزان شامل ۹۰٪ جمعیت می‌شد و پیش از قانونی کردن در سطح ملی، در این مناطق نزدیک به سه هزار ازدواج صورت گرفته‌بود. برخلاف سوگیری بسیار سیاسی بحث ازدواج همجنس درایالات متحده، دولت‌های محلی در کانادا به شکل نامنتظره‌ای هوادار گسترش
محلی در کانادا به شکل نامنتظره‌ای هوادار گسترش قانون ازدواج به زوج‌های همجنس بودند؛ اگرچه دولت مرکزی در ابتدا مخالف این امر بود. با قانونی شدن ازدواج همجنس‌ها در دو ایالت پرنفوذ اونتاریو و بریتیش کلمبیا، در نهایت دولت مرکزی نیز به این امر تن داد. قانون ازدواج همجنس‌ در سطح ملی قانون ازدواج مدنی نام داشت و توسط نخست‌وزیر لیبرال کانادا پل مارتین به مجلس نمایندگان در ۱ فوریه ۲۰۰۵ معرفی شد و در ۲۸ ژوئن ۲۰۰۵ در مجلس نمایندگان و در ۱۹ ژوئیه ۲۰۰۵ توسط سنای کانادا تصویب شد. تاریخچه. یکی از نخستین تحولات در زمینه
تصویب شد. تاریخچه. یکی از نخستین تحولات در زمینه دادن حقوق برابر به همجنس‌گرایان در کانادا، تغییر قانون حقوق بشر کبک در سال ۱۹۷۷ و افزوده شدن «گرایش جنسی» به عنوان یکی از موارد عدم تبعیض به آن بود. این مسئله را می‌توان در ریشه‌های فرانسوی مردم کبک و این حقیقت دانست که پس از انقلاب فرانسه و در دورهٔ حکومت ناپلئون، همجنس‌گرایی از فهرست جرم‌ها برداشته شده بود. تغییر این قانون باعث شد تا کنشگران حقوق بشر و حقوق دگرباشان تلاش‌های خود را برای ایجاد برابری در دیگر قانون‌های استانی و ملی بیشتر کنند. در دهه ۱۹۸۰،
قانون‌های استانی و ملی بیشتر کنند. در دهه ۱۹۸۰، قانون اساسی کانادا تغییراتی به خود دید که از آن جمله افزوده شدن «منشور حقوق کانادایی‌ها» بود. در فصل ۱۵ این منشور آمده‌است: اگرچه در این فصل سخنی از گرایش جنسی نیامده بود، ارائه این منشور باعث تغییرات مهم در بررسی‌های قضایی کانادا و چگونگی برخورد با موارد ازدواج میان همجنسان در این کشور شد. در سال ۲۰۰۰ میلادی، سه پرونده قانونی در به چالش کشیدن خودداری دولت مرکزی از به رسمیت شناختن ازدواج همجنسگرایان توسط سه ایالت بریتیش کلمبیا، اونتاریو، و کبک به موازات هم
ایالت بریتیش کلمبیا، اونتاریو، و کبک به موازات هم تشکیل شدند. اگرچه آغاز تعدادی از این پرونده‌ها به مدت‌ها پیشتر از سال ۲۰۰۰ بازمی‌گشت، طولانی شدن روند درخواست‌ها باعث شدند که استماع پرونده‌ها و آغاز دادگاه مدت‌ها پس از درخواست انجام شوند. متقاضیان برای درخواست‌های خود در دادگاه شواهد بسیاری ارائه دادند. در میان این شواهد سابقه زندگی زوج‌های همجنسگرا، بچه‌دار بودنشان، توانایی مالی، ارائه‌نامه‌های مالیاتی و غیره قرار داشت. همچنین، دلایل گوناگون مالی و عاطفی که زوج‌های همجنس را مایل به داشتن رابطه قانونی
که زوج‌های همجنس را مایل به داشتن رابطه قانونی ازدواج می‌کرد به داده ارائه شدند. دولت محلی بریتیش کلمبیا و شهر تورنتو از درخواست زوج‌های همجنس پشتیبانی کرد، اما دولت مرکزی با این درخواست‌ها مخالفت می‌کرد. تلاش حقوق‌دانان و وکیلان دولت بر این بود تا با ارائه مدارک و استدلال‌های خود به دادگاه، بدان ثابت کنند که ازدواج دگرجنسگرایانه میان یک زن و یک مرد «قاعده‌ای جهان‌شمول» است. پس از نزدیک به ۳ سال بررسی شواهد و پیگیری پرونده‌های حقوقی ازدواج، در بهار سال ۲۰۰۳ دادگاه‌های بریتیش کلمبیا و اونتاریو و کبک با
۲۰۰۳ دادگاه‌های بریتیش کلمبیا و اونتاریو و کبک با استدلال به منشور حقوق کانادایی‌ها (و به ویژه فصل ۱۵ آن) رای بر عدم تبعیض میان زوج‌ها بر پایه گرایش جنسیشان و به رسمیت شناخته شدن ازدواج همجنسگرایان دادند. طبق رای این دادگاه‌ها، استان بریتیش کلمبیا از ۱۲ ژوئیه ۲۰۰۴، استان اونتاریو از ۱۰ ژوئن ۲۰۰۳، و کبک از ۱۹ مارس ۲۰۰۴ می‌بایست اقدام به برقراری ازدواج میان همجنسگرایان می‌کردند. رای این سه استان اصلی و پرجمعیت بر قانونی‌سازی ازدواج همجنسگرایان باعث تغییر بسیار سریع در نگرش دیگر استان‌ها به این موضوع شد؛ به
سریع در نگرش دیگر استان‌ها به این موضوع شد؛ به گونه‌ای که در مدت زمان به نسبت کوتاهی (تا تابستان ۲۰۰۵) همهٔ استان‌ها و قلمروهای کانادا ازدواج همجنسگرایان را به رسمیت شناختند.
دوجه یا دُژ لقب رهبران برخی از دولت‌های ایتالیا بوده‌است. سرشناس‌ترین این دولت‌های جمهوری ونیز و جمهوری جنوا بودند. همچنین رهبران آمالفی و سناریکا نیز دوجه نام داشتند. همسر دوجه هم دوگارِسا خوانده می‌شد. دوجه از ریشهٔ "دوکس" لاتین و همریشه با لقب دوک می‌باشد. دوکس در اصل یک عنوان نظامی بوده و معنای "رهبر" را می‌دهد. منابع. Wikipedia contributors، "Doge،" Wikipedia، The Free Encyclopedia، http://en.wikipedia.org/w/index.php?title=Doge&amp;oldid=480188340 (accessed March ۱۳، ۲۰۱۲).
پای مرغ و قارچ، به عنوان محبوب‌ترین نوع از خوشگوارترین پای در بریتانیا و اغلب در رستوران ماهی‌ها سرو می‌شود.از بالا و پایین پوسته خمیری پوسته خمیر پف دار تکه‌های کوچک مرغ و قارچ ورقه شده که در سس خامه‌ای غوطه ور شده را پوشانده است. گوشت مرغ یک مادهٔ غذایی غنی از پروتئین آهن نیاسین و روی می‌باشد. در عین حال فاقد چربی‌های بالا و کلسترول گوشت گاو و گوساله‌است. ۶۴ درصد از کالری مرغ بدون پوست از پروتئین و ۳۱ درصد آن ناشی از چربیهای آن است. روش پخت. روش تهیه خمیر. آرد الک شده را با نمک ترکیب نموده و کره را خرد
آرد الک شده را با نمک ترکیب نموده و کره را خرد کنید. با انگشت، آرد و کره را ورز دهید. سپس زرده تخم مرغ و بعد شیر را کم کم بیفزایید و با آرد مخلوط نمایید تا خمیر سفتی به دست آید. حالا خمیر را در کیسه فریزر قرار دهید و به مدت ۲ ساعت داخل یخچال بگذارید. روش تهیه مواد میانی. قارچ‌های خردکرده را با مقداری آبلیمو و کمی کره روی حرارت قرار دهید تا سرخ‌شده و آب آن کشیده شود. فلفل دلمه‌ای را نیز خرد کنید و با کمی روغن تفت دهید تا آب آن کشیده شود. مرغ را با یک عدد پیاز و یک حبه سیر و آب روی حرارت قرار دهید. نمک و
پیاز و یک حبه سیر و آب روی حرارت قرار دهید. نمک و فلفل را نیز بیفزایید. پس از آنکه مرغ پخته شد، آن را خرد نمایید. برای تهیه سس سفید، نصف قاشق سوپخوری آرد را با ۲۵ گرم کره تفت دهید. سپس نصف لیوان شیر را کم‌کم اضافه کنید تا سس به غلظت برسد. آنگاه سس گوجه‌فرنگی، نمک و فلفل را نیز بیفزایید. تمام مواد آماده شده (یعنی قارچ تفت داده شده، مرغ پخته و خردشده، فلفل دلمه‌ای تفت داده و سبزی معطر خردشده) را با هم ترکیب نمایید. سپس سس سفید را نیز با مواد مخلوط کنید و ظرف محتوی این مواد را به مدت نیم ساعت داخل یخچال قرار
محتوی این مواد را به مدت نیم ساعت داخل یخچال قرار دهید تا همه مواد مزه‌دار شوند. حالا خمیر را از یخچال خارج نمایید و نیمی از آن را با وردنه به ضخامت یک سانتیمتر باز کنید. سپس داخل قالب پای قرار دهید و با انگشتان خمیر را در ظرف پهن کنید. آنگاه از مواد میانی روی خمیر بریزید و نیمی دیگر از خمیر را که کنار گذاشته‌اید با وردنه باز نمایید و روی مواد را بپوشانید. می‌توانید چند عدد از خمیرها را به شکل گلبرگ‌های گل درست کنید و روی خمیر قرار دهید. حالا ۲ قاشق سوپخوری شیر را با نصف قاشق چایخوری زعفران دمکرده ترکیب
شیر را با نصف قاشق چایخوری زعفران دمکرده ترکیب نمایید و با قلم روی تمام قسمت‌های خمیر بمالید (روی خمیر با چنگال چند سوراخ ایجاد کنید تا حرارت خوب مبادله شود). اکنون ظرف پای را داخل فر از قبل گرم شده با دمای ۱۸۰ درجه سانتیگراد به مدت ۴۵ دقیقه تا یک ساعت قرار دهید.
آزادپیما به نوعی از کشتی باربری گفته می‌شود که تابع برنامه منظمی نیست و مسیر منظم و معین ندارد و کالای معینی حمل نمی‌کند، بلکه به هرجا که اقتضا کند سفر خواهد کرد و هر کالایی که به آن پیشنهاد شود حمل می‌کند. به کشتی‌های آزادپیما (ترَمپ)، کشتی آزاد و کشتی بی‌برنامه هم گفته می‌شود. در مقابل به کشتی‌هایی که در مسیر معین و با برنامه منظم رفت‌وآمد می‌کنند خط‌پیما (لاینر) گفته می‌شود. مالکان کالاهای با کمیت کم اما با ارزش بالا، معمولاً از خدمات کشتیرانی خط‌پیما استفاده می‌کنند. برآورد می‌شود که بیش از نیمی از کل
می‌کنند. برآورد می‌شود که بیش از نیمی از کل کرایه حمل دریایی جهان، از طریق کشتیرانی خط‌پیما به‌دست می‌آید. در مقایسه با شرکت‌های کشتیرانی آزادپیما، شرکت‌های خط‌پیما عموماً بزرگ و پیچیده هستند و یک شبکه نمایندگی در تمام بنادری که کشتی‌های خط‌پیما به آن‌ها مراجعه می‌کنند باید ایجاد شود و خدمات مربوط به کشتی و کالا را فراهم کنند. مدیریت اطلاعات و هماهنگی در کشتیرانی خط‌پیما نیز مهمتر از کشتیرانی آزادپیما است. به علت اینکه امروزه کشتیرانی خطپیما بیشتر کانتینری می‌باشد، خدمات لجستیکی و پشتیبانی برای مشتریان، با
خدمات لجستیکی و پشتیبانی برای مشتریان، با توجه به مدیریت کانتینر‌ها، مورد نیاز است.
آکواژنیک اورتیکاریا که به اورتیکاریای آبی و حساسیت به آب نیز معروف است، نوعی نادر از اورتیکاریای فیزیکی است. گاهی آن را نوعی حساسیت می‌دانند، گرچه ویژگی‌های آن دقیقاً با حساسیت (و آزاد شدن هیستامین) منطبق نیست. پوست افراد مبتلا به این بیماری، در صورت تماس با آب، دچار درد یا زخم می‌شود.افراد مبتلا گاهی حتی نمی‌توانند گریه کنند. تنها ۳۶ نفر در کل جهان به این بیماری مبتلا هستند. علت. علت دقیق آکواژنیک اورتیکاریا به خوبی درک نشده است. از سال ۲۰۱۶، ایده‌های اصلی علمی در مورد علت این است که فرد به مقادیر اندک
علمی در مورد علت این است که فرد به مقادیر اندک ماده‌ای ناشناخته در آب واکنش نشان می‌دهد یا اینکه آب بر یک ماده ناشناخته در پوست تاثیر می‌گذارد و ترکیبی می‌سازد که دستگاه ایمنی بدن به آن واکنش نشان می‌دهد. علائم و نشانه ها. علائم اورتیکاریای آبی (به طور نادرست آلرژی آب نامیده می شود) مشابه سایر انواع کهیرهای فیزیکی است، یعنی ممکن است شامل کهیر کوچک، خارش شدید و گرگرفتگی پوست در مناطقی که مستعد تماس با آب هستند باشد. علائم ممکن است بعد از تماس بدن با آب در عرض چند دقیقه ظاهر شود. این بیماری معمولاً در گردن،
چند دقیقه ظاهر شود. این بیماری معمولاً در گردن، قسمت فوقانی تنه و بازوها ایجاد می‌شود، اگرچه می‌تواند در هر نقطه از بدن ایجاد شود. پس از حذف منبع آب، بثورات به طور کلی طی ۳۰ تا ۶۰ دقیقه از بین می‌روند.
ام۶۰ پاتون نخستین تانک رزمی اصلی آمریکایی بود که در سال ۱۹۶۰ تولید شد و سال‌ها مورد استفاده آمریکا و متحدان آن در جنگ سرد قرار داشت. ام۶۰ هرچند در ارتش آمریکا با ام۱ آبرامز جایگزین شده اما استفاده از آن هنوز در بسیاری از کشورها ادامه دارد. طراحی ام۶۰ بر اساس تانک متوسط ام۴۸ پاتون صورت گرفت که تا پیش از تولید ام۶۰ تانک اصلی ارتش آمریکا بود. پیشرفت‌های ام۶۰ نسبت به‌ام۴۸ شامل استفاده از توپ نیرومندتر ۱۰۵ میلی‌متری به جای توپ ۹۰ م‌م ام۴۸، استفاده از چرخ‌های آلومینیومی به جای فولادی، زره قوی‌تر و ضخیم‌تر، موتور
به جای فولادی، زره قوی‌تر و ضخیم‌تر، موتور دیزلی قوی‌تر با توان ۷۵۰ اسب بخار، و افزایش برد عملیاتی به ۴۸۰ کیلومتر می‌شد. انواع. ام۶۰آ۱. اولین مدل بهینه‌شده‌ام۶۰ در سال ۱۹۶۳ با نام "ام۶۰آ۱" طراحی شده و تولید آن تا سال ۱۹۸۰ ادامه یافت. این مدل از یک برجک بزرگتر با طراحی بهتر، محافظت زرهی و سیستم جذب ضربه بهتر و همچنین پایدارکننده سلاح اصلی سود می‌برد. با این حال این تانک قادر نبود تا در هنگام حرکت با دقت خوبی شلیک کند چون سیستم پایدارکننده توپ فقط آن را در جهت حرکت تانک ثابت نگه می‌داشت با این حال امکان شلیک
حرکت تانک ثابت نگه می‌داشت با این حال امکان شلیک دقیق مسلسل هم‌محور وجود داشت. ام۶۰آ۲. ام۶۰آ۲ یک مدل موقت در جریان پروژه طراحی تانک مشترک آمریکا و آلمان با نام "ام‌بی‌تی-۷۰" بود. ام۶۰آ۲ که از فناوری‌های عصر فضا در آن استفاده بسیار شده بود از یک برجک کاملاً متفاوت و کم‌ارتفاع بهره می‌برد. این مدل از یک توپ ۱۵۲ میلی‌متری همچون آنِ تانک سبک ام۵۵۱ شریدان استفاده می‌کرد که توان شلیک موشک ضد تانک Shillelagh را داشت. این مدل کاملاً ناموفق بود اما بسیاری از پیشرفت‌های فنی آن در ام‌بی‌تی-۷۰ استفاده شد که البته از
فنی آن در ام‌بی‌تی-۷۰ استفاده شد که البته از آن هم فقط یک پیش‌نمونه ساخته شد و هیچگاه به مرحله تولید و استفاده نرسید، هرچند لئوپارد۲ در آلمان و ام۱ آبرامز در آمریکا بر اساس دستاوردهای آن طراحی شدند. ام۶۰آ۳. طراحی ام۶۰آ۳ در سال ۱۹۷۸ آغاز شد. در این مدل فناوری‌های جدیدی چون سیستم‌های دودزا، مسافت‌یاب لیزری، کامپیوتر بالستیکی ام۲۱ و سیستم پایدارساز برجک مشارکت داشت و تمام ام۶۰های ارتش آمریکا بر اساس آن بهینه شدند. تانک صمصام. "تانک صمصمام" نام مدل بهینه شده‌ام۶۰آ۱ در ایران است. ایران ۴۶۰ عراده ام۶۰ آ۱ را در
در ایران است. ایران ۴۶۰ عراده ام۶۰ آ۱ را در سال‌های ۷۰-۱۹۶۹ از آمریکا خریداری کرده بود. مهم‌ترین اصلاحات شامل نصب سیستم کنترل آتش اسلوونیایی "ئی‌اف‌سی‌اس-۳" که در دیگر تانک‌های ایرانی هم کاربرد دارد، سامانه پایدارگر سلاح، تجهیزات دید در شب، سامانه هشداردهنده لیزری و زره واکنشی انتخابی است. تانک سلیمان 402. تانک سلیمان 402 یک مدل بهینه شده ام 60 توسط ارتش جمهوری اسلامی ایران است که در شهریور 1403 از آن رونمایی شد.این ارتقاء ام 60 را در میان تانک های بروز میدان نبرد قرارداده است.
به دسته‌ای از کشتی‌ها و قایق ها و زیر دریایی های که ابعادشان برای گذشتن از کانال پاناما مناسب باشد پاناماگذر گفته می‌شود. اندازه پاناماگذر بیانگر بزرگ‌ترین اندازه مورد قبول برای کشتی‌های عبورکننده از کانال پاناما است. طول این گونه کشتی‌ها حداکثر ۲۷۵متر و عرض آنها حداکثر۳۲ متر است. ظرفیت متوسط این گونه کشتی‌ها حدود ۶۵۰۰۰dwt است. به آن دسته از کشتی‌ها که ابعادشان برای گذر از کانال پاناما مناسب نیست پاناماناگذر می‌گویند.
میکروسکوپ وارونه یا میکروسکوپ معکوس، میکروسکوپی است که منبع نوری و کوندانسور آن در قسمت فوقانی آن، بالای صفحهٔ قرارگیری نمونه و عدسی شیئی آن پایین محل قرارگیری نمونه قرار دارد. در المنتور عمودی نور از منبع که معمولاً یک لامپ هالوژن ۱۲ ولت و ۱۰۰ یا ۵۰ وات است، حرکت می‌کند. این میکروسکوپ در سال ۱۸۵۰ توسط جان لورنس اسمیت، یکی از اعضای هیئت علمی دانشگاه تولین (که بعدها کالج پزشکی لوئیزیانا نام گرفت) اختراع شد. این میکروسکوپ برای مشاهدهٔ سلول‌ها یا ارگانیسم‌های زنده در یک ظرف نسبتاً بزرگ (مثل بالن کشت بافت)، در
در یک ظرف نسبتاً بزرگ (مثل بالن کشت بافت)، در شرایطی خیلی طبیعی تر از اسلایدهای شیشه‌ای در میکروسکوپ‌های معمولی، استفاده می‌گردد. میکروسکوپ وارونه همچنین در شرایطی مانند زمانی که نیاز به دستکاری نمونه‌ها داریم یا در مواقعی که به فضای بالای نمونه احتیاج است مثلاً برای بازوهای مکانیکی و ابزارهای کوچک نگهداری و دستکاری نمونه، در برنامه‌های کاربردی وابسته به فن استخراج و ذوب فلزات استفاده می‌شود. به صورتی که عملیات روی نمونه در محلی بالای صفحه انجام گیرد تا برای عدسی‌های شیئی که زیر نمونه‌اند، قابل رویت باشد.
عدسی‌های شیئی که زیر نمونه‌اند، قابل رویت باشد. صفحه نمونه در میکروسکوپ وارونه همواره ثابت است و فوکوس آن با تنظیم عدسی‌ها بوسیلهٔ حرکت دادن عدسی‌های شیئی در امتداد محور عمودی انجام می‌شود تا عدسی‌ها به نمونه نزدیک یا دور شوند. مکانیسم فوکوس توسط دو پیچ متحد المرکز انجام می‌شود تا تنظیم راحت و درست باشد. باتوجه یه اندازه میکروسکوپ، ممکن است ۴ تا ۶ عدد عدسی شیئی با بزرگنمایی‌های مختلف در محور گردان نصب شده‌است. همچنین می‌تواند دارای لوازم فرعی مثل نگه دارنده، دوربین فیلمبرداری، نور فلورسانس، اسکن هم‌کانون و
دوربین فیلمبرداری، نور فلورسانس، اسکن هم‌کانون و لوازم کاربردی دیگر باشد.
تیرهٔ مرغابیان ، تیره‌ای از پرندگان آبزی از راستهٔ غازسانان (Anseriformes) هستند. مرغابی‌ها، قوها و غازها از تیرهٔ مرغابیان هستند. اغلب پرندگان آبی هستند که بیشترشان کوچک‌تر از هم‌خانواده‌های غاز و قو هستند. تیرهٔ مرغابیان، به چندین زیرخانواده تقسیم می‌شوند که دو زیرتیره مهم آن، زیرتیرهٔ مرغابیان پهنه‌چین و زیرتیرهٔ اردکیان هستند. سه تا هفت سرده شامل ۳۰–۲۵ گونه زنده؛ قوها در یک سرده [در بعضی نوشته‌ها ۲ سرده]، و غازها در سه سرده [در بعضی نوشته‌ها ۲ سرده]. یک سرده در استرالیا، پیشتر در Oxyurinae گذاشته شده
سرده در استرالیا، پیشتر در Oxyurinae گذاشته شده بود اما کالبدشناسی نشان از جدایی خط فرگشتی باستانی دارد که آن را به زیرخانواده غازان، به ویژه غاز کیپ برن، مرتبط می‌کند. گاهی زیرخانواده: مرغابیان پشت‌سفید (یک گونه در آفریقا، بسیار نزدیک به زیرخانواده اردکیان سوت‌زن، اگرچه شباهت‌های همگرایی به زیرخانواده Oxyurinae نشان می‌دهد).
شوتک یک گروه هارداستایل هلندی است که از دو برادر به نام‌های سیورد و ووتر یانسن تشکیل شده‌است. آن‌ها فعّالیّت خود در عرصهٔ موسیقی را در سال ۲۰۰۱ در سبک تکنو آغاز کردند؛ ولی در سال ۲۰۰۳ سبک خود را به هارداستایل تغییر دادند. آن‌ها نخستین آلبوم خود به نام "Today Is Tomorrow" را در سال ۲۰۰۷ تحت لیبل داچ مستر ورکس که خودشان آن را ایجاد کرده‌بودند منتشر کردند. شوتک نخستین گروه موسیقی‌ای بود که یک آلبوم هارداستایل را منتشر می‌کرد. آن‌ها در سال ۲۰۰۹ به دنبال تودی ایز تومارو دوّمین آلبوم خود را به نام "Analogue
ایز تومارو دوّمین آلبوم خود را به نام "Analogue Players in a Digital World" منتشر کردند.
این مقاله در حال ترجمه از ویکی انگلیسی است. لطفا حذف نشود. نظریهٔ زبانهای برنامه نویسی (به انگلیسی: Programming Language Theory، مخفف: PLT) شاخه ای از علوم رایانه است که به طراحی، پیاده سازی، تحلیل، توصیف و طبقه بندی زبانهای صوری معروف به زبانهای برنامه نویسی میپردازد. این حوزه ارتباط نزدیکی با زمینه های دیگری مانند ریاضیات، مهندسی نرم افزار و زبان شناسی دارد. تاریخچه. در برخی جنبهها، تاریخچهٔ نظریهٔ زبانهای برنامهنویسی حتی پیش از توسعهٔ خود زبانها آغاز شد. حساب لامبدا که در دههٔ ۱۹۳۰ توسط آلونزو چرچ و
شد. حساب لامبدا که در دههٔ ۱۹۳۰ توسط آلونزو چرچ و استفن کول کلینی توسعه یافت، توسط برخی بهعنوان اولین زبان برنامهنویسی جهان شناخته میشود، هرچند هدف اصلی آن مدلسازی محاسبات بود، نه توصیف الگوریتمها برای رایانه. بسیاری از زبانهای تابعی مدرن را میتوان «پوششی نازک» بر روی حساب لامبدا دانست. اولین زبان برنامهنویسی ساختهشده، پلانکالکول بود که در دههٔ ۱۹۴۰ توسط کنراد تسوزه طراحی شد، اما تا سال ۱۹۷۲ ناشناخته ماند. اولین زبان موفق سطح بالا، فورترن (۱۹۵۴-۱۹۵۷) بود که توسط تیمی در آیبیام به رهبری جان بکوس ساخته شد.
توسط تیمی در آیبیام به رهبری جان بکوس ساخته شد. موفقیت فورترن منجر به تشکیل کمیتهٔ علمی برای توسعهٔ زبان «جهانی» الگول ۵۸ شد. همزمان، جان مککارتی در امآیتی، لیسپ را به عنوان اولین زبان آکادمیک موفق ایجاد کرد. گاهشمار. - نوام چامسکی سلسلهمراتب چامسکی را در زبانشناسی معرفی کرد که تأثیر مستقیمی بر نظریهٔ زبانها گذاشت. - ۱۹۶۲: توسعهٔ سیمولا به عنوان اولین زبان شیگرا. - ۱۹۶۴: پیتر لندین حساب لامبدا را برای مدلسازی زبانها بهکار برد و ماشین SECD را معرفی کرد. - ۱۹۶۹: جی. راجر هیندلی الگوریتم استنتاج نوع
کرد. - ۱۹۶۹: جی. راجر هیندلی الگوریتم استنتاج نوع هیندلی–میلنر را ارائه داد. - ۱۹۷۲: توسعهٔ پرولاگ و برنامهنویسی منطقی. - ۱۹۷۵: توسعهٔ اسکیم با قابلیتهای پیشرفته مانند تداومها. - ۱۹۸۵: انتشار میراندا و آغاز توسعهٔ هسکل. زیرشاخه ها و زمینه های مرتبط. نظریهٔ زبانهای برنامهنویسی با حوزههای زیر در همتنیده است: معناشناسی صوری. سه رویکرد اصلی: ۱. **معناشناسی دلالتی** (ارتباط با ریاضیات) ۲. **معناشناسی عملیاتی** (شبیهسازی اجرا) ۳. **معناشناسی اصلاحی** (استنتاج از قوانین). نظریهٔ نوع. مطالعهٔ سیستمهای نوع برای
از قوانین). نظریهٔ نوع. مطالعهٔ سیستمهای نوع برای جلوگیری از خطاها. مثال: سیستم نوع ایستا در ML. تحلیل و تبدیل برنامه. بررسی ویژگیهای برنامه (مانند خطاهای امنیتی) و تبدیل بین فرمتهای مختلف. نشریات و کنفرانسها. - **کنفرانسها**: POPL، PLDI، ICFP - **نشریات**: TOPLAS، JFP
عملیات واحد علمی است که به بررسی فرایندهای جداسازی مورد استفاده در صنایع شیمیایی می‌پردازد. تقطیر، تبخیر، انواع روش‌های استخراج، تبلور و… در علم عملیات واحد به‌طور مفصل مورد بررسی قرار می‌گیرد. مفاهیم انتقال جرم، انتقال حرارت و ترمودینامیک، اساس مفاهیم و تئوری‌های عملیات واحد هستند. مقدمه. برای هر جداسازی به دو ظرف نیاز است که در فرایند تقطیر این دو ظرف دو فاز مایع و بخار می‌باشند و اساس تقطیر بر تعادل بین مایع و بخار استوار است. در فرایند تقطیر دو یا چند جزء بر اساس اختلاف نقطه جوششان یا به عبارت دیگر
جزء بر اساس اختلاف نقطه جوششان یا به عبارت دیگر اختلاف فراریتشان جداسازی می‌شوند بدین صورت که جزء یا اجزایی که دارای نقطه جوش پایین‌تری باشند یا به عبارت دیگر فراریت بیشتری داشته باشند بیشتر در فاز بخار ظاهر می‌شوند که به این جزء، جزء سبک نیز گفته می‌شود و جزء یا اجزایی که نقطه جوش بیشتری داشته باشند یا به عبارت دیگر فراریت کمتری داشته باشند بیشتر در فاز مایع ظاهر می‌شوند که به این جزء، جزء سنگین گفته می‌شود و در نهایت با جداسازی فازها می‌توان به‌طور نسبی اجزاء را از یکدیگر جدا نمود. پس با توجه به اینکه
اجزاء را از یکدیگر جدا نمود. پس با توجه به اینکه تعادل بین دو فاز مایع و بخار بر جداسازی اجزاء و طراحی برج تقطیر تأثیرگزار است باید قبل از هر چیز تعادل مایع و بخار مورد بررسی قرار گیرد. از منظر ترمودینامیک، تعادل مایع و بخار حالت پایداری است که در آن هیچ‌یک از خواص ماکروسکوپی دو فاز شامل دما، فشار و غلظت تغییر نکند. راهکارهای مختلفی وجود دارد که بتوان غلظت فاز مایع و بخار را در حالت تعادل بدست آورد که در زیر به این موارد اشاره شده‌است. اساس روش تبخیر ناگهانی. یکی از فرایندهای جداسازی ساده که به‌طور معمول
یکی از فرایندهای جداسازی ساده که به‌طور معمول انجام شده و از روش‌های قدیمی محسوب می‌شود، تبخیر ناگهانی است. در این فرایند قسمتی از خوراک در محفظه تبخیر ناگهانی، تبخیر شده که در این شرایط مایع و بخار با هم در حال تعادل ترمودینامیکی هستند و مواد با فراریت بالا (دمای جوش پایین‌تر) تمایل دارند در فاز بخار باشند و موادی که فراریت کمتری (دمای جوش بالاتر) دارند تمایل دارند در فاز مایع باقی بمانند. در این روش جداسازی کامل دو یا چند جزء امکان‌پذیر نمی‌باشد. روش مک‌کیب–تیل. تقطیر یکی از پر کاربردترین روش‌های جداسازی
تقطیر یکی از پر کاربردترین روش‌های جداسازی می‌باشد که ابتدا برای جداسازی آب و الکل مورد استفاده قرار گرفته‌است. در تقطیر دو جزئی که مورد بحث این فصل می‌باشد، دو جزء بر اساس توزیع بین دو فاز مایع و بخار از یکدیگر جدا می‌شوند. اگرچه در صنایع نفت و پتروشیمی ممکن است تقطیر دو جزئی کمتر رخ دهد اما بررسی روش‌های ساده که باعث افزایش درک مهندسان از این فرایند شود، بسیار مفید است ضمناً یکی از روش‌های حل مسائل پیچیده تقطیر چند جزئی، تبدیل فرایند به تقطیر دو جزئی و حل آن می‌باشد. از طرفی گاهی اوقات نرم‌افزارهایی
و حل آن می‌باشد. از طرفی گاهی اوقات نرم‌افزارهایی همچون Hysys و Aspen Plus به راحتی قادر به حل مسائل تقطیر چند جزئی نیستند که در چنین حالتی ابتدا این مسائل توسط کاربر به تقطیر دو جزئی تبدیل شده تا پروفایل دما، دبی مایع و بخار در قسمت‌های مختلف برج بدست آید سپس نرم‌افزار مربوط بر اساس پروفایل حدس زده شده مسئله را حل می‌نماید. از آنجا که هدف بررسی روش‌هایی است که مهندسان بتوانند اثر پارامترهای مختلف را بر فرایند تقطیر بهتر متوجه شده و مورد تحلیل قرار دهند، روش‌های ترسیمی بر روش‌های محاسباتی ارجحیت دارند. یکی
ترسیمی بر روش‌های محاسباتی ارجحیت دارند. یکی از این روش‌های ترسیمی روش مک‌کیب- تیلی است؛ که در ادامه به شرح آن خواهیم پرداخت. فرضیات روش مک‌کیب- تیلی در این روش که یک روش ترسیمی است هدف بدست آوردن تعداد سینی‌های لازم در برج تقطیر می‌باشد. روش مک‌کیب- تیلی بر فرضیات زیر استوار است. سه فرض اول باعث می‌شود که دبی مایع و بخار در هر قسمت ثابت باشد زیرا وقتی بخار از پایین برج به سمت بالای برج حرکت می‌کند جزء سبک (A) موجود در مایع تبخیر شده و وارد فاز بخار می‌شود و جزء سنگین (B) نیز میعان شده و از فاز بخار جدا
و جزء سنگین (B) نیز میعان شده و از فاز بخار جدا می‌شود. وقتی جزء سنگین میعان می‌شود به اندازه آنتالپی تبخیرش انرژی آزاد می‌کند که این گرمای آزاد شده باعث تبخیر جزء سبک می‌شود. در صورتی که آنتالپی تبخیر هر دو جزء با هم برابر باشند به ازای هر یک گرم مول از جزء سنگین که میعان می‌شود، یک گرم مول جزء سبک تبخیر می‌شود و دبی مایع و بخار در هر قسمت از برج ثابت می‌ماند؛ که این پدیده در حقیقت انتقال جرم هم مولار غیرهمسو می‌باشد. انتقال جرم هم مولار غیر همسو به گرمای انحلال نیز بستگی دارد به‌طور مثال فرض کنیم آنتالپی
نیز بستگی دارد به‌طور مثال فرض کنیم آنتالپی تبخیر هر دو جزء باشد وقتی یک گرم مول از جزء سنگین میعان می‌شود انرژی آزاد می‌شود و چون غلظت جزء سنگین در فاز مایع زیاد می‌شود گرمای انحلال به میزان آزاد می‌شود. پس با میعان یک گرم مول از جزء سنگین و انحلال در فاز مایع، جمعاً انرژی آزاد می‌شود که باعث تبخیر شدن از جزء سبک خواهد شد پس نتیجه می‌گیریم برای داشتن انتقال جرم هم مولار غیر همسو علاوه بر اینکه لازم است آنتالپی تبخیر اجزاء با یکدیگر برابر باشند، باید گرمای انحلال نیز وجود نداشته باشد. انتقال جرم هم مولار
انحلال نیز وجود نداشته باشد. انتقال جرم هم مولار غیر همسو به انتقال حرارت بین برج و محیط نیز وابسته است به‌طور مثال فرض کنیم آنتالپی تبخیر هر دو جزء برابر باشد و گرمای انحلال نیز وجود نداشته باشد. وقتی که یک گرم مول جزء سنگین میعان می‌شود انرژی آزاد می‌شود در صورتی که اتلاف حرارتی بین برج و محیط به ازای یک گرم مول از میعان ایجاد شده باشد عملاً انرژی برای تبخیر جزء سبک باقی می‌ماند که تنها می‌تواند از جزء سبک تبخیر کند. پس برای داشتن انتقال جرم هم مولار غیر همسو باید هر سه شرط اول مک‌کیب- تیلی به صورت
غیر همسو باید هر سه شرط اول مک‌کیب- تیلی به صورت هم‌زمان برقرار باشد. روش مک‌کیب–تیل همان‌طور که قبلاً ذکر شد هدف از روش ترسیمی مک‌کیب- تیلی بدست آوردن تعداد سینی‌های لازم در برج تقطیر است برای این منظور لازم است مشخصات زیر را داشته باشیم. رسم خطوط عملیاتی بین هر دو سینی از برج، مایع و بخار کنار یکدیگر عبور می‌کنند. غلظت جزء سبک در فاز بخار بر حسب غلظت جزء سبک در فاز مایع را خط عملیاتی گویند. با توجه به سه شرط اول روش مک‌کیب- تیلی، موازنه انرژی نقشی در خطوط عملیاتی ندارد و رسم خطوط عملیاتی فقط به موازنه
عملیاتی ندارد و رسم خطوط عملیاتی فقط به موازنه جرم وابسته است. روش پانچوان-ساواریت. در فصل قبل روش مک‌کیب- تیلی مورد بررسی قرار گرفت. همان‌طور که در ابتدای فصل قبل ذکر شد این روش دارای فرضیاتی است که می‌تواند مسئله را از حالت واقعی دور کند به‌طور مثال ممکن است موادی که از یکدیگر جدا می‌شوند آنتالپی تبخیر یکسان نداشته باشد یا اینکه فقط در یکی دمای خاص آنتالپی آن‌ها با هم برابر باشد و با تغییر دما آنتالپی تبخیر مواد تغییرات متفاوتی داشته باشد. در مثالی دیگر می‌توان به جداسازی اسیدها اشاره کرد و در این
دیگر می‌توان به جداسازی اسیدها اشاره کرد و در این جداسازی نمی‌توان از گرمای انحلال صرف‌نظر کرد و نکته‌ای که خیلی اهمیت دارد این است که نمی‌توان از انتقال حرارت بین برج و محیط چشمپوشی نمود. مجموعه این موارد باعث می‌شوند که نتوان از روش مک‌کیب- تیلی به عنوان یک روش دقیق یاد کرد اما در عین حال این روش سادگی خاص خود را دارد و اثر پارامترهای مختلف بر تقطیر دو جزء را به خوبی به صورت ترسیمی نشان می‌دهد. همان‌طور که در روش مک‌کیب- تیلی مشاهده شد برای حل مسئله و رسم خطوط تعادل فقط از موازنه جرم استفاده می‌شد و با