payamvha/North_RAG huggingface dataset:
کریسمس ۲۰۱۵ وارد مدار شد. ترویج انرژی تجدیدپذیر. دل‌نگرانی‌های فزاینده ملی دربارهٔ موضوع نقطه اوج نفت و تغییرات اقلیمی باعث شده است که موضوع انرژی تجدیدپذیر در سر لوحه دستور جلسه سیاسی قرار گیرد. سازمان‌های دولتی مختلف و شراکت‌های خصوصی-دولتی در جهت افزایش توانایی‌ها در این امر ایجاد شده‌اند. مجمع توسعه انرژی تجدیدپذیر اسکاتلند، شراکتی بین صنایع، دانشگاه و دولت است که هدف آن قادر ساختن اسکاتلند برای سرمایه‌گذاری روی منابع انرژی تجدیدپذیر می‌باشد. انجمن انرژی تجدیدپذیر اسکاتلند یک سازمان واسطه‌ای مهم برای
تجدیدپذیر اسکاتلند یک سازمان واسطه‌ای مهم برای صنعت است که میزبان مراسم سالانه "جوایز انرژی سبز" (Green Energy Awards) می‌باشد. گروه انرژی اسکاتلند (Community Energy Scotland) برای پروژه انرژی تجدیدپذیر که توسط گروه‌های اجتماعی توسعه یافته‌اند مشاوره، تأمین وجوه لازم و امور مالی را در دسترس قرار می‌دهد.
سنتز اتوماتیک (automated synthesis) یا سنتز خودکار مجموعه‌ای از روش‌ها است که از تجهیزات رباتیک برای ایجاد سنتز شیمیایی به روش اتوماتیک استفاده می‌کند. فرآیندهای اتوماتیک می‌توانند باعث افزایش کارایی و بالا رفتن کیفیت محصول بشوند. اگرچه فناوری اتوماسیون یا خودکارسازی می‌تواند مقرون به صرفه باشد، اما باعث ایجاد نگرانی‌هایی در مورد جابه‌جایی شغل نیز می‌شود. همچنین می‌تواند وابستگی بیش از حد نسبت به سیستم‌های اتوماتیک را ایجاد کند. فرآیندهای شیمیایی در طول قرن ۱۹ و ۲۰ با پیشرفت عمده تکنولوژی در سی سال، گذشته
۱۹ و ۲۰ با پیشرفت عمده تکنولوژی در سی سال، گذشته به صورت اتوماتیک انجام شد. وظایفی که صورت می‌پذیرد ممکن است شامل: سنتز در شرایط مختلف، آماده‌سازی نمونه، خالص‌سازی و استخراج نمونه باشد. کاربردهای سنتز خودکار در ابعاد تحقیقاتی و صنعتی در زمینه‌های مختلفی می‌باشد. از جملهٔ این کاربردها می‌توان به کاربرد در زمینه پلیمرها، مراقبت‌های شخصی و رادیوسنتز اشاره کرد. فرایند. یک سنتز خودکار از نظر روش بسیار شبیه به یک سنتز غیراتوماتیک است. در روش غیراتوماتیک یک شیمیدان به عنوان ناظر مسئول در مورد یک مولکول هدف تصمیم
به عنوان ناظر مسئول در مورد یک مولکول هدف تصمیم می‌گیرد و سپس طرح آزمایشی را که دارای مراحل متوالی است فرموله می‌کند. سپس پس از جمع‌آوری تجهیزات مورد نیاز، طرح را اجرا می‌کند. سنتز خودکار نیز همین مسیر را دنبال می‌کند. تنها تفاوت آن این است که به جای یک شیمیدان، رایانه طرح آزمایشی را طراحی و اجرا می‌کند. با این‌حال همچنان نیازمند بازنگری انسانی هستیم. بازنگری انسانی از جهت کسب اطمینان از عملی بودن روش خودکار است. در سنتز آلی از یک نرم‌افزار برای خودکارسازی فرایند شناسایی توالی واکنش‌ها و همچنین مسیرهایی که
شناسایی توالی واکنش‌ها و همچنین مسیرهایی که می‌توانند برای سنتز ترکیبات آلی استفاده شوند، استفاده می‌شود. مزایای سنتز اتوماتیک. سه مزیت اصلی سنتز اتوماتیک شامل افزایش کارایی، کیفیت بهتر و در نتیجه بازدهی و خلوص بالاتر و در آخر ایمنی بالاتر است که هر سه مورد ناشی از کاهش مشارکت انسان و افزایش مشارکت ماشین‌ها است. از سوی دیگر توان عملیاتی بالاتر و تکرارپذیری به دلیل سریع‌تر بودن ماشین‌ها نسبت به انسان و خطای انسانی کمتر از دیگر مزایای اتوماسیون سنتز می‌باشد. علاوه‌براین، به دلیل گذراندن زمان کمتر تکنسین‌ها
علاوه‌براین، به دلیل گذراندن زمان کمتر تکنسین‌ها در آزمایشگاه، قرارگرفتن در معرض مواد شیمیایی خطرناک، کاهش چشمگیری می‌یابد. همچنین کاهش احتیاج به حضور در آزمایشگاه باعث ایجاد زمان بیشتر برای بحث‌ها و تئوری‌ها می‌شود. چند وظیفه‌ای بودن ماشین‌ها، انجام وظایفی فراتر از دقت یا توانایی انسانی، تجزیه و تحلیل جامع و … از دیگر مزایای سنتز اتوماتیک می‌باشد. نگرانی‌هایی در رابطه با سنتز اتوماتیک. نگرانی اصلی که دربارهٔ سنتز خودکار وجود دارد، جابه‌جایی مشاغل است. نگرانی‌های دیگر شامل هزینه‌های بالای سرمایه‌گذاری
نگرانی‌های دیگر شامل هزینه‌های بالای سرمایه‌گذاری اولیه و نگهداری، نگرانی‌هایی در زمینه حفظ حریم خصوصی و وابستگی بیش از حد به تکنولوژی می‌شود. نگرانی‌های اخلاقی در زمینهٔ استفاده از هوش مصنوعی نیز وجود دارد. تاریخچه. اولین سنتز کاملاً خودکار، یک سنتز پپتیدی توسط رابرت مریفیلد و جان استوارت در سال ۱۹۶۶ بود. استفاده از هوش مصنوعی در سنتز آلی در دهه ۱۹۶۰ با پروژه Dendral آغاز شد که به شیمیدانان آلی کمک کرد تا با استفاده از طیف‌سنجی جرمی مولکول‌ها را مشخص و شناسایی کنند. همچنین پیشرفت‌های مهمی در ماژول‌های
شناسایی کنند. همچنین پیشرفت‌های مهمی در ماژول‌های رادیوسنتزی اتوماتیک در دهه ۱۹۸۰ انجام شد. در اواخر دهه ۱۹۹۰، مهم‌ترین چالش اتوماسیون غلبه بر مسائلی چون جداسازی فاز و همچنین افزایش انسجام سیستم بود. در آن زمان تنها سیستم‌های موجود به یکی از چهار طرح زیر تعلق داشتند: یک رآکتور جریان، یک رآکتور دسته‌ای متصل با خطوط جریان، یک ربات، دو ربات که یکی برای سنتز و دومی برای تجزیه و تحلیل، یا سیستم‌های بزرگ‌تر که ترکیبی از این چهار طرح بودند. در دهه‌های ۲۰۰۰ و ۲۰۱۰ پیشرفت‌های چشمگیری در اتوماسیون صنعتی مولکول‌ها
پیشرفت‌های چشمگیری در اتوماسیون صنعتی مولکول‌ها رخ‌داد. مفهوم دیجیتالی کردن شیمی در سال ۲۰۱۶ برای اولین بار توسط لی کرونین مطرح شد. کرونین یک رویکرد جدید برای برنامه‌ریزی شیمیایی مطرح کرد. او همچنین استفاده از machine learning برای کشف واکنش‌های شیمیایی جدید را تشریح کرد. توسعه سنتز خودکار در دهه ۲۰۲۰ وارد مرز جدیدی شده است که می‌تواند امیدوارکننده باشد مانند پالایش بیشتر و بهتر سیستم‌های قدیمی و استفاده از هوش مصنوعی. کاربردها. سیستم‌های سنتز خودکار با توسعه نرم‌افزارهای رباتیک، کاربردهای گسترده‌تری پیدا
نرم‌افزارهای رباتیک، کاربردهای گسترده‌تری پیدا می‌کنند. کاربردهای احتمالی در آینده شامل : سنتز کنترل نشده، سنتزهای وابسته به زمان، رادیوسنتزها، سنتز در شرایط سخت (مانند دمای پایین، فشار بالا یا وجود اتمسفر خاص یا در خلاء)، انجام واکنش‌های همولوژیک تکراری یا رادیوسنتز. کاربرد سنتز خودکار هم در تحقیقات دانشگاهی و هم در مجموعهٔ عظیمی از مکان‌های تحقیق و توسعه صنعتی از جمله داروسازی، مواد شیمیایی کشاورزی، مواد شیمیایی ظریف و تخصصی، تحقیقات مربوط به انرژی‌های تجدیدپذیر، کاتالیزورها، پلیمرها، سرامیک‌ها و
تجدیدپذیر، کاتالیزورها، پلیمرها، سرامیک‌ها و ساینده‌ها، مواد متخلخل، نانومواد، مواد زیستی، روان‌کننده‌ها، رنگ‌ها و پوشش‌ها مراقبت‌های خانگی و خودمراقبتی، تغذیه و پزشکی قانونی مورد نیاز است. زیرساخت‌های رباتیک. سیستم‌های سنتز اتوماتیک ربات‌های آزمایشگاهی‌اند که ترکیبی از نرم‌افزار و سخت‌افزار هستند. باتوجه به اینکه سنتز ترکیبی خطی از مراحل مختلف است، مراحل مستقل را می‌توان به نرم‌افزار جداگانه‌ای تبدیل کرد که مرحلهٔ خاصی را (مانند مخلوط‌کردن، گرمایش یا سرمایش، تجزیه و تحلیل محصول و …) انجام بدهد. این
سرمایش، تجزیه و تحلیل محصول و …) انجام بدهد. این سخت‌افزار باید شامل بازوهای رباتیکی باشد که از توزیع‌کننده‌ها و گیرنده‌ها برای انتقال مواد و لرزاننده‌ها برای تنظیم سرعت هم‌زدن استفاده کند. همچنین این نرم‌افزارها باید شامل ربات‌هایی باشند که براساس سیستم مختصات دکارتی بر روی محورهای x,y,z عمل کرده و سنتز را در محدوده‌های معین حرکت بدهند. شرایط واکنش‌ها از جمله جو، دما، فشار را با کمک وسایل جانبی مانند: سیلندرهای گاز، پمپ خلاء، سیستم‌های رفلکس و کرایواستات کنترل می‌شود. زیرساخت‌های مدولار از ابزارهای
کنترل می‌شود. زیرساخت‌های مدولار از ابزارهای متفاوتی برای انجام عملیات مورد نیاز در سنتز استفاده می‌کنند. تعداد زیادی راه‌حل سخت‌افزاری مدولار تجاری برای اجرای سنتز وجود دارد. همچنین برنامه‌های نرم‌افزاری جدیدی در دسترس ما قرار دارند که می‌توانند یک روش سنتز خودکار را در کدهای اجرایی مستقیماً از زبان موجود کامپایل کنند. برنامه‌های نرم‌افزاری نیز وجود دارند که می‌توانند روشی را به صورت رتروسنتیک در سطح مهارت یک دانشجوی فارغ‌التحصیل ایجاد کنند. در سال ۲۰۲۰، شرکت بین‌المللی دستگاه‌های کسب‌وکار (IBM) RoboRXN
شرکت بین‌المللی دستگاه‌های کسب‌وکار (IBM) RoboRXN را معرفی کرد. RoboRXN یک سیستم خودمختار است که به‌طور منحصربه‌فرد امکان سنتز از راه دور یک مولکول را فراهم می‌کند. این سیستم می‌تواند به صورت مستقل یک مسیر مصنوعی برای یک ترکیب با ساختار شیمیایی مورد نظر ما ایجاد کند. این سیستم در حال توسعه می‌باشد و هنوز برای خرید در دسترس نیست. با این حال IBM برای آزمایش سخت‌افزار خود و نرم‌افزار آن همکار می‌پذیرد.
هنوس (در زبان نورس باستان به معنی: «جواهر» یا «گنج») در اسطوره‌شناسی اسکاندیناوی یکی از دختران فریا و اور، و خواهر گرسمی است. آن‌ها به قدری زیبا بودند که بعدها گرانبهاترین جواهرات را به نام آن‌ها (هنوسیر) نامیدند. اسنوری استورلوسون تنها از هنوس به عنوان دختر فریا و اور یاد کرده است. در "ناوناثولور" آخرین بخش از "اسکالدزکاپارمال"، نام هنوس در هیچ جای دیگر به جز در میان آسین‌یور ذکر شده است. کنینگی برای فریا مادر هنوس است. واژهٔ "هنوس" در زبان نورس باستان به روش‌های مختلفی توسط محققان و فولکلورشناسان ترجمه
روش‌های مختلفی توسط محققان و فولکلورشناسان ترجمه شده است. دیوید لیمینگ و کریستوفر فی در کتاب مشترک خود به نام "ایزدبانوان: اساطیر مادر بزرگ" ادعا می‌کنند که نام "هنوس" از کلمه «جواهر» گرفته شده است که در آن او مانند الماس درخشان توصیف شده است. با توجه به اینکه هنوس دختر زیباترین ایزدبانوی نورس یعنی فریا است، جای تعجب نیست که جواهرات نام او را یدک می‌کشند.
سامانتا هاروی (؛ زادهٔ ) رمان‌نویس اهل بریتانیا است. او برنده جایزه ادبی من بوکر ۲۰۲۴ برای رمان "اوربیتال" شد. زندگی. هاروی دهه اول زندگی خود را در دیتون، کنت، نزدیک میدستون گذراند. پس از جدایی پدر و مادرش، مادرش به ایرلند نقل مکان کرد و هاروی سال‌های نوجوانی خود را در یورک، شفیلد و ژاپن گذراند. هاروی در دانشگاه یورک و دانشگاه شفیلد در رشته فلسفه تحصیل کرد. او دوره کارشناسی ارشد نویسندگی خلاق دانشگاه بت اسپا را در سال ۲۰۰۵ به پایان رساند. او همچنین دکترای خود را در نویسندگی خلاق دریافت کرد. فعالیت حرفه‌ای.
را در نویسندگی خلاق دریافت کرد. فعالیت حرفه‌ای. نخستین رمان او با نام "وحشی" در سال ۲۰۰۹ منتشر شد درباره مردی مبتلا به بیماری آلزایمر است. او با این کتاب نامزد جایزه ادبی من بوکر ۲۰۰۹ شد. این رمان با نثر روان خود تأثیر آشکار این بیماری را توصیف می‌کند. رمان دوم او "همه آهنگ است" (۲۰۱۲) رمانی در مورد وظیفه اخلاقی و فرزندی، و در مورد انتخاب بین پرسش و مطابقت است. سامانتا هاروی این رمان را به‌عنوان تصویری بی‌پرده و مدرن از زندگی سقراط توصیف کرده است. جایزه ادبی بوکر. سامانتا هاروی، نویسنده بریتانیایی با رمان
بوکر. سامانتا هاروی، نویسنده بریتانیایی با رمان "اوربیتال" برنده جایزه ادبی بوکر سال ۲۰۲۴ شد که درباره زندگی گروهی از فضانوردان در ایستگاه فضایی بین‌المللی است.
ماریا لوئیزا گروس (به ؛ زادهٔ ) بازیکن فوتبال اهل آلمان است که در حال حاضر برای باشگاه فوتبال زنان بایرن مونیخ بازی می‌کند. وی همچنین در تیم‌های ملی فوتبال زیر ۱۶، ۱۷ و ۱۹ سال زنان آلمان بازی کرده است. زندگی شخصی. ماریا لوئیزا گروس در حال تحصیل برای دریافت مدرک کارشناسی در دانشگاه فنی مونیخ است؛ انتخاب اولیه او مهندسی هوافضا بود، اما در نهایت در رشته مهندسی مکانیک ثبت‌نام کرد. در یک مصاحبه، ماریا گروس اشاره کرد که اگر به‌عنوان یک بازیکن فوتبال حرفه‌ای نمی‌شد، سعی می‌کرد به برنامه فضایی آژانس فضایی اروپا
سعی می‌کرد به برنامه فضایی آژانس فضایی اروپا وارد شود و به‌عنوان فضانورد آموزش ببیند. در ماه نوامبر ۲۰۲۴ اعلام کرد که او به تومور بدخیم مبتلا شده و بنابراین به‌طور نامحدود از ترکیب تیم غایب خواهد بود.
در ریاضیات، جبر دمورگان (به نام آگوستوس دمورگان، ریاضیدان و منطق دان بریتانیایی) ساختاری است که شامل عناصر مقابل است ((true)A، ∨، ∧، 0(false)، ۱، ¬) = A به گونه ای که: روی جبر دمورگان نمی‌مانیم. در این جبر هر قانون دیگری را نتیجه می‌دهد و اثبات می‌کند و هر جبری که این قوانین در آن صادق باشد را یک جبر بولی می‌نامیم و به جبرهای جدید می‌رسیم. تذکر: این قوانین شامل ¬(x ∨ y) = ¬x ∧ ¬y ¬۱ = ۰ ¬۰ = ۱ می‌شوند. به عنوان مثال با قوانین بالا داریم: ¬۱ = ¬۱ ∨ ۰ = ¬۱ ∨ ¬¬۰ = ¬(۱ ∧ ¬۰) = ¬¬۰ = ۰ بنابراین ¬ یک اتومورفیسم
= ¬(۱ ∧ ¬۰) = ¬¬۰ = ۰ بنابراین ¬ یک اتومورفیسم دوگانه از ("A" , ∨، ∧، ۰، ۱) است. اگر ساختاری (lattice) به صورت ترتیبی تعریف شود، یعنی (A, ≤) یک ترتیب جزئی محدود باشد که برای هر جفت عنصر، حد بالایی کمینه (least upper bound) یا همان سوپریموم و حد پایینی بیشینه یا همان اینفیموم (greatest lower bound) وجود داشته باشد، و عملیات‌های «ملاقات» (meet) که برای بدست آوردن اینفیموم است و «پیوست» (join) که برای بدست آوردن سوپریموم است را داشته باشد که به این ترتیب تعریف شده‌اندو قانون توزیع (distributive law) یا همان
شده‌اندو قانون توزیع (distributive law) یا همان پخشی را برای این دو عملگر رعایت کنند، آنگاه می‌توان مکمل‌سازی (complementation) را به عنوان یک ضد-اتومورفیسم (involutive anti-automorphism) تعریف کرد. جبرهای دِمورگان حدود سال ۱۹۳۵ توسط گریگوره مویسیل معرفی شدند، هرچند در ابتدا بدون محدودیت داشتن ۰ و ۱ معرفی شده بودند. (۰ و ۱ در اینجا به کوچک‌ترین و بزرگ‌ترین عضو جبر اشاره دارند. در جبرهای دِمورگان امروزی، وجود ۰ و ۱ الزامی است، اما در ابتدا مویسیل این شرط را قرار نداده بود) بعدها، این جبرها در مدرسهٔ لهستانی
نداده بود) بعدها، این جبرها در مدرسهٔ لهستانی (به عنوان مثال توسط راسیووا) با نام‌های مختلفی مانند «جبرهای شبه-بولی» و همچنین توسط جی.ای. کالمن «i-لاتیس توزیعی» نامیده شدند. (i-لاتیس مخفف «لاتیس با انعکاس» است. لاتیس یک ساختار جبری است که در آن هر دو عضو دارای کوچک‌ترین کران بالا و بزرگ‌ترین کران پایین هستند. انعکاس یا Involution یک نوع عملگر خاص در جبر است. در جبرهای دِمورگان، نقیض ¬ نقش انعکاس را بازی می‌کند). این جبرها همچنین در مدرسهٔ منطق جبری آرژانتینی توسط آنتونیو مونتیرو بیشتر مورد مطالعه قرار
توسط آنتونیو مونتیرو بیشتر مورد مطالعه قرار گرفتند. جبرهای دِمورگان برای مطالعهٔ جنبه‌های ریاضی منطق فازی اهمیت دارند. جبر فازی استاندارد F = ([0, 1], max(x, y), min(x, y), 0, 1, 1 - x) یک مثال از جبر دِمورگان است که در آن قوانین قانون وسط حذف شده(¬"x" ∨ "x" = ۱) و عدم تناقض(¬"x" ∧ "x" = ۰) برقرار نیستند. منطق فازی: منطقی است که با مقادیر درستی بین ۰ و ۱ سروکار دارد، برخلاف منطق کلاسیک که فقط مقادیر ۰ (نادرست) و ۱ (درست) را دارد. مثال دیگر معناشناسی چهار ارزشی دان برای جبر دی مورگان است که دارای مقادیر T
دان برای جبر دی مورگان است که دارای مقادیر T (rue), F (alse), B (oth) و N (either) است. که F معادل ۰، T معادل ۱، B معادل ∧ و N معادل ∨ است. جبر کلینی. اگر جبر دمورگان علاوه بر قوانین قبلی دارای قوانین مقابل باشد "x" ∧ ¬"x" ≤ "y" ∨ ¬"y"، به آن می‌گویند جبر کلینی.[۱][۲] (این مفهوم نباید با مفهوم دیگر کلینی در عبارات منظم اشتباه شود) این مفهوم همچنین به عنوان یک عادی "i"- ساختار نوشته توسط کالمن شناخته می‌شود. مثال‌هایی از جبرهای کلینی (به معنایی که در بالا تعریف شد) عبارتند از: گروه‌های مرتب‌شده با لاتیس،
تعریف شد) عبارتند از: گروه‌های مرتب‌شده با لاتیس، جبرهای پُست و جبرهای ووکاشیه‌ویچ. [توضیح: این ساختارهای جبری، ویژگی‌های خاصی دارند که آنها را در دسته‌ی جبرهای کلینی قرار می‌دهد. برای مثال، همه‌ی آنها دارای عملگرهایی هستند که مشابه «و»، «یا» و «نقیض» در منطق عمل می‌کنند و قوانین خاصی را برآورده می‌کنند.] جبرهای بولی نیز این تعریف از جبر کلین را برآورده می‌کنند. [توضیح: جبرهای بولی، جبرهای کلینی هستند که در آنها قانون وسط وسط حذف شده و قانون عدم تناقض برقرار است.] ساده‌ترین جبر کلین که بولی نیست، منطق
است.] ساده‌ترین جبر کلین که بولی نیست، منطق سه‌مقداری کلین (K3) است. K3 برای اولین بار در مقالهٔ کلین با عنوان «دربارهٔ نمادگذاری برای اعداد ترتیبی» (۱۹۳۸) ظاهر شد. این جبر توسط بریگنول و مونتیرو به نام کلین نامگذاری شد. مفاهیم مرتبط. جبرهای دِمورگان تنها راه قابل قبول برای تعمیم جبرهای بولی نیستند. راه دیگر این است که ¬x ∧ x = ۰ (یعنی قانون عدم تناقض) را حفظ کنیم، اما قانون وسط حذف شده و قانون نقیض مضاعف را کنار بگذاریم. این رویکرد (که نیم-مکمل‌سازی نامیده می‌شود) حتی برای یک نیم-لاتیس (با عمل "و") نیز
می‌شود) حتی برای یک نیم-لاتیس (با عمل "و") نیز به‌خوبی تعریف شده است؛ اگر مجموعهٔ نیم-مکمل‌ها یک بزرگ‌ترین عضو داشته باشد، معمولاً شبه‌مکمل نامیده می‌شود. اگر شبه‌مکمل قانون وسط مستثنی را برآورده کند، جبر حاصل نیز بولی خواهد بود. با این حال، اگر فقط قانون ضعیف‌تر ¬x ∨ ¬¬x = ۱ مورد نیاز باشد، جبرهای استون حاصل می‌شوند. به‌طور کلی‌تر، هم جبرهای دِمورگان و هم جبرهای استون، زیرمجموعه‌های مناسبی از جبرهای اکهام هستند. تعریف کوتاه برخی مفاهیم به کار رفته در مقاله. نیم-مکمل‌سازی:در این رویکرد، به‌جای اینکه نقیض
نیم-مکمل‌سازی:در این رویکرد، به‌جای اینکه نقیض یک عنصر، مکمل کامل آن باشد (مانند جبرهای بولی)، تنها یک «نیم-مکمل» برای آن در نظر گرفته می‌شود که قانون عدم تناقض را برآورده کند. نیم-لاتیس: یک ساختار جبری با یک عمل دوتایی (معمولاً "و") که شرکت‌پذیر و جابه‌جایی است. شبه‌مکمل: بزرگ‌ترین نیم-مکمل یک عنصر. قانون نقیض مضاعف: این قانون بیان می‌کند که ¬¬p معادل p است. جبرهای استون: نوعی جبر که قانون عدم تناقض و قانون ضعیف‌تر ¬x ∨ ¬¬x = ۱ را برآورده می‌کند. جبرهای اکهام: نوعی جبر کلی‌تر که جبرهای دِمورگان و استون
اکهام: نوعی جبر کلی‌تر که جبرهای دِمورگان و استون زیرمجموعه‌هایی از آن هستند.
دسته‌ای از (ADCs) پیوندهای آنتی بادی-دارو، زیست داروهای طراحی شده به عنوان درمان هدفمند برای درمان سرطان هستند. برخلاف شیمی‌درمانی، ADC ها برای هدف قرار دادن و کشتن سلول‌های تومور و در عین حال حفظ سلول‌های سالم در نظر گرفته شده‌اند. تا سال 2019، حدود 56 شرکت داروسازی در حال توسعه ADC بودند. ADC ها مولکول‌های پیچیده‌ای هستند که از یک آنتی‌بادی مرتبط با یک محموله یا داروی سیتوتوکسیک (ضد سرطانی) بیولوژیکی فعال تشکیل شده‌اند. پیوندهای آنتی‌بادی_دارو نمونه‌ای از بیوکونژوگه‌ها و ایمونوکونژوگه‌ها هستند. ADC ها
از بیوکونژوگه‌ها و ایمونوکونژوگه‌ها هستند. ADC ها ویژگی‌های هدف‎‌گیری آنتی‌بادی‌های مونوکلونال را با قابلیت‌های کشتن سرطان داروهای سیتوتوکسیک ترکیب می‌کنند، که برای تمایز بین بافت سالم و بیمار طراحی شده‌اند. ساز‌و‌کار اجرا. یک داروی ضد سرطان با یک آنتی‌بادی که یک آنتی‌ژن (یا پروتئین) تومور خاص را هدف قرار می‌دهد که در حالت ایده‌آل فقط داخل یا روی سلول‌های تومور یافت می‌شود، جفت می‌شود. آنتی‌بادی‌ها خود را به آنتی‌ژن‌های سطح سلول‌های سرطانی متصل می‌کنند. واکنش بیوشیمیایی که پس از اتصال رخ می‌دهد، سیگنالی را
بیوشیمیایی که پس از اتصال رخ می‌دهد، سیگنالی را در سلول تومور ایجاد می‌کند، که سپس آنتی‌بادی را همراه با سیتوتوکسین مرتبط، جذب یا درونی‌سازی می‌کند. پس از درونی شدن (internalizes) ADC، سیتوتوکسین سرطان را می‌کشد. اعتقاد بر این بود که توانایی هدف‌گیری آن‌ها، عوارض جانبی را برای بیماران سرطانی محدود می‌کند و پنجره درمانی وسیع تری نسبت به سایر عوامل شیمی‌درمانی ارائه می‌دهد. اگرچه هنوز این وعده در کلینیک محقق نشده است. فن‌آوری های ADC در بسیای از نشریات، از جمله مجلات علمی برجسته شده است. تاریخچه. ایده
از جمله مجلات علمی برجسته شده است. تاریخچه. ایده داروهایی که سلول‌های تومور را هدف قرار می‌دهند و بقیه سلول ها را نادیده می‌گیرند، در سال ۱۹۰۰ توسط برنده آلمانی جایزه نوبل، پل ارلیش مطرح شد. او این داروها را به دلیل خاصیت هدف گیری آن‌ها به عنوان یک «گلوله جادویی» توصیف کرد. در سال ۲۰۰۱، داروی شرکت‌های Pfizer/Wyeth's به نام Gemtuzumab ozogamicin (نام تجاری: Mylotarg) بر اساس یک مطالعه با یک نقطه پایانی جایگزین (surrogate endpoint)، از طریق فرآیند تأیید سریع (accelerated approval process) تأیید شد. در ژوئن
(accelerated approval process) تأیید شد. در ژوئن ۲۰۱۰، پس از پیگیری‌های انجام شده، بنا بر عدم وجود شواهدی مبنی بر سود و سمی بودن قابل توجه، سازمان غذا و داروی ایالات متحده (FDA) شرکت را مجبور به لغو آن کرد. در سال ۲۰۱۷ دوباره به بازار ایالات متحده معرفی شد. Brentuximab vedotin (نام تجاری: Adcetris، عرضه شده توسط Seattle Genetics و Millennium/Takeda) برای HL عودکننده و لنفوم سلول بزرگ آناپلاستیک سیستمیک عودکننده (sALCL) توسط سازمان غذا و دارو آمریکا در ۱۹ آگوست ۲۰۱۱ تأیید شد و مجوز بازاریابی مشروط از آژانس
۲۰۱۱ تأیید شد و مجوز بازاریابی مشروط از آژانس دارویی اروپا در اکتبر ۲۰۱۲دریافت کرد. تراستوزوماب امتانسین (ado-trastuzumab emtansine یا T-DM۱، نام تجاری: Kadcyla، به بازار عرضه شده توسط Genentech و Roche) در فوریه ۲۰۱۳ برای درمان افراد مبتلا به سرطان سینه متاستاتیک HER۲ مثبت (mBC) که قبلاً با تراستوزوماب و شیمی درمانی تاکسان درمان شده بودند تأیید شد. کمیسیون اروپا اینوتوزوماب اوزوگامایسین را به عنوان یک درمان تک درمانی برای درمان بزرگسالان مبتلا به لوسمی لنفوبلاستیک حاد پیش ساز سلول B CD۲۲ مثبت عودکننده یا
حاد پیش ساز سلول B CD۲۲ مثبت عودکننده یا مقاوم به درمان (ALL) در ۳۰ ژوئن ۲۰۱۷ به نام تجاری Besponsa® (Pfizer/Wyeth) تأیید کرد. ،در ۱۷ آگوست ۲۰۱۷ توسط FDA دنبال شد. اولین ترکیب آنتی‌بادی-دارو (iADC)، ABBV-۳۳۷۳، و مطالعه با iADC دوم، ABBV-۱۵۴، بهبود فعالیت بیماری را در یک مطالعه فاز ۲a روی بیماران مبتلا به آرتریت روماتوئید (rheumatoid arthritis) نشان داد. ارزیابی عوارض جانبی و تغییر در فعالیت بیماری در شرکت کنندگان تحت درمان با تزریق زیر جلدی ABBV-۱۵۴ ادامه دارد. در جولای ۲۰۱۸، شرکت Daiichi Sankyo، Limited و
در جولای ۲۰۱۸، شرکت Daiichi Sankyo، Limited و Glycotope GmbH پیمانی را در مورد ترکیب آنتی‌بادی TA-MUC۱ آزمایش شده توسط شرکت Glycotope و فناوری ADC اختصاصی Daiichi Sankyo برای توسعه پیوند آنتی‌بادی-داروی گاتی‌پوتوزوماب امضا کردند. در سال ۲۰۱۹، شرکت آسترازنکا موافقت کرد تا ۶.۹ میلیارد دلار برای توسعه مشترک DS-۸۲۰۱ با شرکت ژاپنی Daiichi Sankyo بپردازد. این دارو جایگزین هرسپتین برای درمان سرطان سینه شد. DS۸۲۰۱، در مقایسه با چهار محموله معمولی دارای هشت محموله است. اجزای یک ADC. یک ترکیب آنتی بادی-دارو از ۳ جزء
اجزای یک ADC. یک ترکیب آنتی بادی-دارو از ۳ جزء تشکیل شده است: آنتی بادی: سطح سلول سرطانی را هدف قرار می‌دهد و همچنین ممکن است پاسخ درمانی را ایجاد کند. بار: پاسخ درمانی مورد نظر را ایجاد می کند. پیوند دهنده: زمانی‌که محموله را به آنتی بادی متصل می‌کند باید در گردش ثابت باشد و همچنین محموله را فقط در هدف مورد نظر آزاد می‌کند. رویکردهای متعددی برای پیوند و اتصال به آنتی‌بادی، مورد بررسی قرار گرفته است. DAR، نسبت دارو به آنتی بادی است و سطح بارگذاری بار بر روی ADC را نشان می دهد. بار مفید (Payloads). بسیاری
ADC را نشان می دهد. بار مفید (Payloads). بسیاری از محموله‌های (Payloads) ADC های سرطان‌شناسی (oADC) مبتنی بر محصولات طبیعی هستند. و برخی از آنها برهمکنش‌های کووالانسی با هدف خود ایجاد می کنند. محموله ها شامل بازدارنده‌های میکروتوبولین مونو متیل اوریستاتین ( monomethyl auristatin E) (MMAE)، مونو متیل اوریستاتین (monomethyl auristatin F) (MMAF) و مرتانسین (mertansine)، پیوند دهنده DNA کالیکی آمیسین (calicheamicin) و مهارکننده های توپوایزومراز ۱ (SN-۳۸) و اکزاتکان (exatecan) است. که منجر به سنتز کل محصولات
(exatecan) است. که منجر به سنتز کل محصولات طبیعی می شود. تعدیل‌کننده‌های گیرنده گلوکوکورتیکوئید (GRMs) نشان‌دهنده بیشترین کلاس محموله فعال برای iADC ها است. رویکردهایی برای آزادسازی مولکول‌های GRM موجود در بازار مانند دگزامتازون و بودزوناید توسعه یافته‌اند. بعد از آن مولکول‌های GRM تصحیح شدند که باعث اتصال پیوند دهنده با ADCidified می شود. لازم به ذکر است که ADCidified، فرآیند شیمی‌دارویی بهینه‌سازی بار، برای تسهیل اتصال پیوند دهنده را توصیف می‌کند. جایگزین‌های بارهای مولکولی کوچک ( small molecule
جایگزین‌های بارهای مولکولی کوچک ( small molecule payloads) نیز مورد بررسی قرار گرفته‌اند، برای مثال siRNA، نمونه‌ای از بارهای مولکولی کوچک است. پیوند دهنده (linkers). یک پیوند پایدار بین آنتی‌بادی و عامل سیتوتوکسیک (ضد سرطان) یک جنبه حیاتی از ADC است. یک پیوند دهنده پایدار ADC تضمین می کند که مقدار کمتری از محموله سیتوتوکسیک (cytotoxic) قبل از رسیدن به سلول تومور سقوط کند. همچنین ایمنی را بهبود می‌بخشد و دوز را محدود می‌کند. در دسترس بودن پیوندهای بهتر و پایدارتر، عملکرد پیوند شیمیایی را تغییر داده است.
پایدارتر، عملکرد پیوند شیمیایی را تغییر داده است. نوع پیوند دهنده، قابل شکافتن یا غیرقابل شکافتن، خواص خاصی به داروی سیتوتوکسیک می‌دهد. به عنوان مثال، یک پیوند دهنده غیرقابل شکاف، دارو را در داخل سلول نگه می‌دارد. در نتیجه، کل آنتی بادی، پیوند دهنده و عامل سیتوتوکسیک (ضد سرطان) وارد سلول سرطانی مورد نظر می‌شود که در آنجا آنتی بادی به یک اسید‌آمینه تجزیه می‌شود. اسید‌آمینه_ پیچیده، پیوند دهنده و عامل سیتوتوکسیک به عنوان داروی فعال در نظر گرفته می شود. در مقابل، پیوندهای قابل شکافت، توسط آنزیم‌های سلول
مقابل، پیوندهای قابل شکافت، توسط آنزیم‌های سلول سرطانی جدا می‌شوند. سپس محموله سیتوتوکسیک می‌تواند از سلول هدف فرار کند و در فرآیندی به نام «کشتن تماشاچی» به سلول‌های همسایه حمله کند. نوع دیگری از پیوند‌دهنده قابل شکافت که در حال حاضر در حال توسعه است، یک مولکول اضافی بین سیتوتوکسین و محل برش اضافه می کند. این به محققان اجازه می‌دهد تا ADC ها را با انعطاف بیشتری بدون تغییر سینتیک برش (cleavage kinetics) ایجاد کنند. محققان در حال توسعه روش جدیدی برای جداسازی پپتید بر اساس تجزیه ادمن (Edman degradation)
پپتید بر اساس تجزیه ادمن (Edman degradation) هستند که روشی برای تعیین توالی اسیدهای آمینه در یک پپتید است. همچنین در حال توسعه روش‌های (TDCs) و پیوند جدید (novel conjugation techniques) برای بهبود بیشتر پایداری و شاخص درمانی هستند. همچنین این روش‌ها باعث بهبود ایمونوکونژوگه‌های گسیل‌کننده α ، پیوند نانوذرات با آنتی‌بادی (antibody-conjugated nanoparticles) و پیوند آنتی‌بادی-اولیگونوکلئوتید (antibody-oligonucleotide conjugates) می‌شوند. تحقیقات. اسیدهای آمینه غیر‌طبیعی. نسل اول از فن‌آوری‌های پیوندی استفاده
غیر‌طبیعی. نسل اول از فن‌آوری‌های پیوندی استفاده می‌کند که داروها را به‌طور غیرانتخابی با باقی‌مانده‌های سیستئین (cysteine) یا لیزین (lysine) در آنتی‌بادی ترکیب می‌کند و در نتیجه یک مخلوط ناهمگن ایجاد می‌کند. این رویکرد منجر به ایمنی و کارایی کمتر از حد مطلوب می‌شود و بهینه سازی خواص بیولوژیکی، فیزیکی و دارویی را پیچیده می کند. ادغام اسیدهای آمینه غیرطبیعی برای مکان خاص، مکانی را برای اتصال کنترل شده و پایدار ایجاد می کند. این امر تولید ADC های همگن با آنتی‌بادی‌ای که دقیقاً به دارو مرتبط است را فراهم می
که دقیقاً به دارو مرتبط است را فراهم می کند و نسبت های کنترل شده آنتی بادی به دارو را امکان پذیر می کند و همچنین امکان انتخاب بهترین کلاس در ADC را فراهم می‌کند. یک سنتز بدون سلول باز (open cell-free synthesi) مبتنی بر اشریشیا کلی (OCFS) امکان سنتز پروتئین‌های حاوی آمینو اسیدهای غیرطبیعی را می‌دهد و برای سنتز و تاخوردگی، پروتئین با بازده قابل پیش‌بینی بهینه شده است. فقدان دیواره سلولی اجازه می دهد تا عوامل غیرطبیعی به سیستم اضافه شود تا رونویسی، ترجمه و تاخوردگی را دستکاری کنند و باعث مدولاسیون دقیق بیان
را دستکاری کنند و باعث مدولاسیون دقیق بیان پروتئین (precise protein expression modulation) شود. سایر مناطق بیماری. اکثر ADC ها یا در حال توسعه هستند یا در آزمایش های بالینی برای نشانه های انکولوژیک و خونی هستند. این در درجه اول توسط موجودی آنتی‌بادی های مونوکلونال (monoclonal antibodies) هدایت می شود که انواع مختلف سرطان را هدف قرار می دهند. با این حال، برخی از توسعه دهندگان به دنبال گسترش برنامه به سایر مناطق مهم بیماری هستند.