moaminsharifi/fa-wiki-spell-checker huggingface dataset:
مراسم محرم در میان مردم این مناطق اهمیت ویژه‌ای دارد، هرچند که این مراسم به مرور زمان از ماهیت اصلی مذهبی خود عدول کرده و بیشتر به شکل سنت‌های محلی و مراسم عادی برای جلب توریست درآمده‌است، ولی اعتقاد مردم به شرکت در چنین مراسمی باقی مانده‌است. گفته می‌شود در مینانگکابائو اگر شوهری زنش را از رفتن به مراسم تابوت به ویژه در روز دهم محرم بازدارد، آن زن سخت ناراحت شده و ممکن است درخواست طلاق کند. نوجوانان و جوانان نیز در طی مراسم تابوت شریک زندگی و همسران آیندهٔ خود را نشان می‌کنند. گذشته از این اعتقادات جنبی و سنت‌های تحریف شده از مراسم عاشورا، اهتمام مردم مسلمان اندونزی به بزرگداشت دههٔ محرم یادگاری از نفوذ تاریخی فرهنگ شیعی و ایرانی در نهاد این مردم است.
عناصر فلسفه حق یکی از کتاب‌های هگل است که در آن به مبانی فلسفی حقوق، سیاست، اخلاق و جامعه می‌پردازد. این کتاب را مهبد ایرانی‌طلب در سال ۱۳۷۸ به فارسی ترجمه کرد. این کتاب به نحوی در تدوین قانون اساسی کشورهای اروپایی تأثیرگذار بوده‌است.۱۹۲ سال از فلسفه حق گذشت (گفتگو با محمود عبادیان)، روزنامه اعتماد، ۲۴ خرداد ۱۳۹۱
مَهبد ایرانی‌طلب (متولد ۱۳۲۹، تهران) مترجم آثار فلسفی، سیاسی و ادبی است. او دارای لیسانس علوم سیاسی و فوق لیسانس روابط بین الملل از دانشکده حقوق و علوم سیاسی دانشگاه تهران است.
روستای حسین‌آباد که از توابع شهرستان اسلامشهر است. موقعیت جغرافیایی آن از طرف شمال به اسلامشهر، از طرف شرق به شهرک واوان، از طرف جنوب به صالح آباد و از طرف غرب به گلستان متصل است. این روستا از سه طرف به زمین‌های کشاورزی و از جنوب به واسطه یک دره به صالح آباد متصل گردیده‌است. این روستا دارای بافت شهری بوده و ساختمان‌های آن به سبک شهرک ساخته شده و حدود۹۰٪ ساختمان‌ها نوساز می‌باشد.
جما جونز (متولد ۴ دسامبر ۱۹۴۲) بازیگر انگلیسی سینما و تئاتر می‌باشد. وی در مجموعه فیلمهای هری پاتر ایفاگر نقش پاپی پامفری بود.
ایان هارت (متولد: ۸ اکتبر ۱۹۶۴) بازیگر انگلیسی سینما و تلویزیون است. او در اولین فیلم از "مجموعه فیلم‌های هری پاتر" به نام "هری پاتر و سنگ جادو" نقش آفرینی کرده‌است.او همچنین در فیلم "مرد انگلیسی"، "شرلوک هلمز و پرونده جوراب ابریشمی" و "ریپلی زیر زمین" ایفای نقش کرده است. همچنین او در سریال "افسانه‌های واهی" و سریال "آخرین پادشاهی" بازی کرده است.
هارت نواده خانواده‌ای ایرلندی می‌باشد. وی در لیورپول، مرسی‌ ساید، انگلستان متولد شده‌است. او یکی از سه فرزند خانواده‌ای کاتولیک می‌باشد.
دادگاه استیناف حوزه یکم ایالات متحده آمریکا (United States Court of Appeals for the First Circuit) نام یک دادگاه فدرال است که بالاتر از دادگاه‌های ناحیه در ایالات متحده آمریکا بوده و ایالات زیر را پوشش می‌دهد:
در سال ۲۰۱۰ ترکیب این دادگاه به قرار زیر بود:
جیمز برودبنت (زاده ۲۴ می ۱۹۴۹) بازیگر انگلیسی سینما، تلویزیون و تئاتر می‌باشد. وی در سال ۲۰۰۱ برای بازی در فیلم "آیریس" برنده جایزه اسکار بهترین بازیگر نقش مکمل مرد و جایزه گلدن گلوب بهترین بازیگر نقش مکمل مرد شد.
از نقش‌های برجسته جیمز برودبنت می‌توان به بازی در فیلم‌های "برزیل" (۱۹۸۵)، "" (۱۹۸۷)، "قرض‌کنندگان" (۱۹۹۷)، "دارودسته‌های نیویورکی" (۲۰۰۲)، "دور دنیا در ۸۰ روز" (۲۰۰۴)، "ایندیانا جونز و قلمرو جمجمه بلورین" (۲۰۰۸)، "سالی دیگر" (۲۰۱۰) و "بانویی در ون" (۲۰۱۵) اشاره کرد. وی همچنین بازیگر نقش هوریس اسلاگهورن در "مجموعه فیلم‌های هری پاتر" است. او در سال ۲۰۱۷ برای بازی در فصل هفتم سریال "بازی تاج‌وتخت" به جمع بازیگران این مجموعه اضافه شد.
دادگاه استیناف حوزه دوم ایالات متحده آمریکا (United States Court of Appeals for the Second Circuit) نام یک دادگاه فدرال است که بالاتر از دادگاه‌های ناحیه در ایالات متحده آمریکا بوده و ایالات زیر را پوشش میدهد:
دادگاه استیناف حوزه سوم ایالات متحده آمریکا (United States Court of Appeals for the Third Circuit) نام یک دادگاه فدرال است که بالاتر از دادگاه‌های ناحیه در ایالات متحده آمریکا بوده و ایالات زیر را پوشش می‌دهد:
دادگاه استیناف حوزه چهارم ایالات متحده آمریکا (United States Court of Appeals for the Fourth Circuit) نام یک دادگاه فدرال است که بالاتر از دادگاه‌های ناحیه در ایالات متحده آمریکا بوده و ایالات زیر را پوشش میدهد:
میریام مارگولیس (زاده ۱۸ مه ۱۹۴۱) بازیگر و گوینده انگلیسی است.
وی متولد آکسفورد انگلستان و فرزند جوزف مارگولیس فیزیکدان اسکاتلندی می‌باشد. وی یکی از اعضای سلطنتی بریتانیا نیز می‌باشد.
دادگاه استیناف حوزه پنجم ایالات متحده آمریکا (United States Court of Appeals for the Fifth Circuit) نام یک دادگاه فدرال است که بالاتر از دادگاه‌های ناحیه در ایالات متحده آمریکا بوده و ایالات زیر را پوشش میدهد:
این فهرست شامل مدرسه‌های سرشناس در همدان است.
کاوه بیات (متولد ۱۳۳۳ تهران -) تاریخ‌نگار، پژوهشگر ایرانی و نوه دختری صولت‌الدوله قشقایی است.
کاوه بیات در تهران به دنیا آمد. خاندان او از نامداران عرصۀ تاریخ و سیاست ایران‌زمین اند. او نوۀ دختری صولت‌الدولۀ قشقایی است و نیای او، سهام‌السلطان، زمانی نخست وزیر ایران بود. مادربزرگ پدری وی نیز از نوادگان فتحعلی شاه قاجار و محمد مصدق دایی پدر اوست.
از وی تألیفات، ترجمه‌ها و مقالات بسیاری در حوزۀ تاریخ نظامی، شورش‌ها، جنبش‌های مردمی و تاریخ محلی به چاپ رسیده است.
کاوه بیات در انتشارات شیرازه کتاب ما دبیر مجموعه‌های زیر است:
دادگاه استیناف حوزه ششم ایالات متحده آمریکا (United States Court of Appeals for the Sixth Circuit) نام یک دادگاه فدرال استUS 6th Circuit Cases: Find US 6th Circuit Opinions at FindLaw که بالاتر از دادگاه‌های ناحیه در ایالات متحده آمریکا بوده و ایالات زیر را پوشش میدهد:
دادگاه استیناف حوزه هفتم ایالات متحده آمریکا (United States Court of Appeals for the Seventh Circuit) نام یک دادگاه فدرال استUS 7th Circuit Cases: Find US 7th Circuit Opinions at FindLaw که بالاتر از دادگاه‌های ناحیه در ایالات متحده آمریکا بوده و ایالات زیر را پوشش می‌دهد:
دادگاه استیناف حوزه هشتم ایالات متحده آمریکا (United States Court of Appeals for the Eighth Circuit) نام یک دادگاه فدرال استUS 8th Circuit Cases: Find US 8th Circuit Opinions at FindLaw که بالاتر از دادگاه‌های ناحیه در ایالات متحده آمریکا بوده و ایالات زیر را پوشش میدهد:
دادگاه استیناف حوزه نهم ایالات متحده آمریکا (United States Court of Appeals for the Ninth Circuit) نام یک دادگاه فدرال استUS 9th Circuit Cases: Find US 9th Circuit Opinions at FindLaw که بالاتر از دادگاه‌های ناحیه در ایالات متحده آمریکا بوده و ایالات زیر را پوشش می‌دهد:
دادگاه استیناف حوزه دهم ایالات متحده آمریکا (United States Court of Appeals for the Tenth Circuit) نام یک دادگاه فدرال استUS 10th Circuit Cases: Find US 10th Circuit Opinions at FindLaw که بالاتر از دادگاه‌های ناحیه در ایالات متحده آمریکا بوده و ایالات زیر را پوشش میدهد:
در سال ۲۰۱۱ ترکیب این دادگاه به قرار زیر بود:
دادگاه استیناف حوزه یازدهم ایالات متحده آمریکا (United States Court of Appeals for the Eleventh Circuit) نام یک دادگاه فدرال استUS 11th Circuit Cases: Find US 11th Circuit Opinions at FindLaw که بالاتر از دادگاه‌های ناحیه در ایالات متحده آمریکا بوده و ایالات زیر را پوشش میدهد:
الگوریتم ارسال-برچسب یکی از کارآمدترین الگوریتم‌ها برای محاسبهٔ یک مسئله بیشینه جریان است. الگوریتم عمومی دارای پیچیدگی زمانی formula_1 است، در حالی که پیاده‌سازی آن با قانون شیوهٔ رأس‌ها به صورت FIFO دارای زمان اجرای formula_2، با شیوهٔ انتخاب فعال‌ترین رأس دارای پیچیدگی زمانی formula_3 و با پیاده‌سازی با کمک داده‌ساختار درخت پویای ترجان و اسلیتور دارای زمان اجرای formula_4 است. مجانباً این الگوریتم، از الگوریتم ادموند-کارپ که زمان اجرای آن formula_5 است کاراتر است.
شبکه جریان formula_5 داده شده که دارای ظرفیت (به انگلیسی: capacity) از گره "u" تا گره "v" است که به صورت formula_7 داده شده، دارای منبع (به انگلیسی: " s " (source و چاهک (به انگلیسی: " t " (sink است. می‌خواهیم بیشترین میزان جریان را که می‌شود درون شبکه از "s" به "t" فرستاد را بیابیم. دو نوع عملیات روی گره‌ها انجام می‌شود: "push" و "relabel". به‌طور کلی داریم:
بعد از هر گام الگوریتم، جریان یک پیش جریان (به انگلیسی: preflow) است که شرایط زیر را دارد:
توجه داشته باشید که آخرین وضعیت یک پیش‌جریان از وضعیت متناظر برای یک
جریان مجاز در یک در یک شبکه جریان منظم، مجزاست.
ملاحظه می‌کنیم که طولانی‌ترین مسیر ممکن از "s" به "t" دارای بزرگی formula_20 گره است. بنابراین باید امکان. پذیر باشد که "ارتفاع" (به انگلیسی: "height") را به گره‌های هر جریان مجاز اختصاص دهیم، formula_21 و formula_22، و اگر یک جریان مثبت از "u" به "v" وجود داشت، formula_11. حال که ما ارتفاع گره‌ها را تعیین کردیم، جریان در شبکه به حرکت در می‌آید (مانند جریان آب بر روی پستی و بلندی). بر خلاف الگوریتم‌هایی مانند فورد-فالکرسون، جریان در طول شبکه، لزماً یک جریان مجاز در اجرای الگوریتم نیست.
به‌طور خلاصه، ارتفاع‌های گره‌ها (به جز "s" و "t") تعیین شده‌اند، و جریان بین گره‌ها فرستاده می‌شود، تا زمانی که تمام جریان‌های ممکن به "t" برسند. سپس می‌توانیم افزایش ارتفاع گره‌های درونی را ادامه دهیم تا تمام جریان‌هایی که درون شبکه رفته‌اند ولی به "t" نرسیده‌اند، به سمت "s" بازگردند. یک گره قبل از پایان کار می‌تواند به ارتفاع formula_24 برسد، بنا بر این، طولانی‌ترین مسیر ممکن که به "s" بر می‌گردد ولی شامل "t" نیست دارای طول formula_25 است و formula_21. ارتفاع "t" روی صفر نگه داشته می‌شود.
یک push از "u" به "v" به معنی فرستادن قسمتی از جریان اضافی ورودی به "u" به سمت "v" است. برای رخ دادن یک "push" باید سه شرط رعایت شود:
یک عمل "relabel" روی یک گره، افزایش ارتفاع آن است تا جایی که حداقل از یکی از گره‌هایی که به آن ظرفیت قابل استفاده دارد ارتفاع بیشتری پیدا کند. شرط‌هایی که برای یک "relabel" وجود دارد:
هنگام انجام relabel روی "u"، باید formula_10 را با کم‌ترین مقدار، مقداردهی کنیم به‌طوری‌که برای بعضی "v"ها که formula_34 است، formula_11.
"push-relabel" در حالت کلی چیدمان زیر را دارد:
زمان اجرای برای این الگوریتم در حالت کلی برابر formula_1 است.
در "relabel رو به جلو" (به انگلیسی: "relabel-to-front")، عمل "تخلیه" (به انگلیسی: "decharge") روی گره "u" به صورت زیر است:
برای این کار لازم است که برای هر گره، بدانیم از زمان آخرین "relabel کردن" کدام گره‌ها بررسی نشده‌اند.
در "الگوریتم relabel رو به جلو"، ترتیب "push" و "relabel" بدین صورت است:
زمان اجرای الگوریتم "relabel رو به جلو" برابر formula_2 است.
الگوریتم برچسب رو به جلو : الگوریتم ارسال برچسب به ما اجازه می‌دهد که عملیات اصلی را با هر زمان اجرایی بدست آوریم. به هر حال می‌توانیم مسئلهٔ بیشینه شاره را سریع تر از زمان اجرای formula_39 بدست آوریم. اکنون می‌خواهیم الگوریتم برچسب رو به جلو که یک الگوریتم ارسال-برچسب با زمان اجرای formula_39 را بررسی کنیم که به همان خوبی زمان اجرای formula_39 و بهتر برای شبکه‌های چگال است.
در این الگوریتم فهرستی وجود دارد که شامل همهٔ رأس‌های شبکه به جز مبدأ و مقصد است. این الگوریتم فهرست را پیمایش می‌کند و یک راس را می‌گیرد و آن را تخلیه می‌کند و عملیات ارسال بر چسب را تا زمانی که آن راس دیگر افزایش ارتفاع ندارد روی آن انجام می‌دهد.
به‌طور مداوم و با تکرار این کار را بر روی رأس‌های فهرست انجام می‌دهد. زمانی که راسی برچسب‌گذاری شد به جلوی فهرست می‌رود و الگوریتم کار پیمایش را از اول شروع می‌کند. به این علت است که این الگوریتم برچسب رو به جلو نام گرفته‌است.
راس سرشار u با push کردن همهٔ جریان‌های اضافی اش در میان یال‌های مجاز به رأس‌های همسایه تخلیه می‌شود. راس U اگر لازم باشد برچسب‌گذاری می‌شود.
کد تخلیهٔ راس سرشار مطابق زیر است:
DISCHARGE(u)
در این الگوریتم فهرستی وجود دارد که شامل همهٔ رأس‌های شبکه به جز s و t (مبدا و مقصد) است. روند پیشروی این الگوریتم نشان می‌دهد که فهرست همسایه‌های رأس‌های درون فهرست "N[u]) " l) برای هر راسی درست شده‌است. این همچنین نشان می‌دهد که [next[u اشاره به راسی دارد که U را در فهرست l دنبال می‌کند پس مشخص است اگر که راس u آخرین راس در فهرست l باشد next[u]=null.
این الگوریتم به این صورت عمل می‌کند که:
RELABEL-TO-FRONT(G, s, t)
10 then move u to the front of list L
11 u ← next[u]
در شکل‌های زیر مثالی برای این الگوریتم آورده شده که توضیح آن آورده شده‌است.
در قسمت a شبکهٔ جریان‌ها قبل از اولین تکرار در حلقه نشان داده شده‌است.
۲۶ مقدار جریان از مبدأ s خارج شده در سمت راست فهرست L که شامل همهٔ رأس‌ها غیر از مبدأ و مقصد است نشان داده شده که در حالت اول راس u را x می‌گیریم زیر هر راس در فهرست L رأس‌های همسایه قرار داده شده‌است. راس x تخلیه می‌شود به ارتفاع ۱ برچسب‌گذاری می‌شود. ۵ واحد از جریان اضافی به y داده می‌شود. و ۷ مقدار باقی‌مانده به T وارد می‌شود. x برچسب‌گذاری شده پس به سر فهرست باز می‌گردد. در قسمت b پس از x راس بعدی که تخلیه می‌شود راس y است شکل عمل تخلیهٔ y را با جرئیات نشان داده. y برچسب‌گذاری شده پس دوباره به سر فهرست می‌آید. در قسمت y x , c را در فهرست دنبال می‌کند.
پس راس x دوباره تخلیه می‌شود x برچسب‌گذاری نمی‌شود پس در فهرست باقی می‌ماند و به سر فهرست نمی‌آید. در قسمت d راس z راس x را دنبال می‌کند پس تخلیه می‌شود و به ارتفاع ۱ برچسب‌گذاری می‌شود و همهٔ ۸ مقدارش به راس t می‌رود سپس به ابتدا ی فهرست l می‌رود چرا که برچسب‌گذاری شده حال در قسمت e راس y راس z را دنبال می‌کند پس راس y باید تخلیه شود ولی چون هیچ جریان اضافی ندارد راس x تخلیه می‌شود و y سر جایش در فهرست باقی می‌ماند.
ولی چون x هم جریانی ندارد آن هم در فهرست می‌ماند و این الگوریتم به ته فهرست L می‌رسد و تمام می‌شود. هیچ راسی با جریان اضافی نداریم پس جریان بالا بیشینه جریان است. به همین ترتیب توسط الگوریتم بالا بیشینه شاره را با زمان formula_42 پیدا کردیم.
پیاده‌سازی با پایتون:
توجه داشته‌باشید که پیاده‌سازی بالا چندان کارآمد نیست. این پیاده‌سازی از [[الگوریتم ادموند-کارپ]] حتی برای گراف‌های پرتراکم کندتر است.
[[رده:الگوریتم‌ها]]
[[رده:شبکه شاره]]
[[رده:نظریه گراف]]
عهدنامه فینکنشتاین قراردادی دفاعی‌ست که میان دولت‌های وقت ایران و فرانسه امضا شد. این پیمان‌نامه در ۱۳ اردیبهشت ۱۱۸۶ ه‍.ش برابر ۴ مهٔ ۱۸۰۷ میلادی و ۲۵ صفر ۱۲۲۲ ه‍.ق در کاخ فینکنشتاین در لهستان امروزی میان نمایندهٔ فتحعلی شاه (میرزا محمدرضا خان قزوینی (بیگلربیگ قزوین)) قاجار و ناپلئون بناپارت منعقد شد. این قرارداد در ۱۶ ماده و با هدف مدرن‌سازی ارتش قاجار بین طرفین به امضا رسیده‌است. عهدنامهٔ فینکنشتاین پس از امضا توسط فتحعلی شاه قاجار، توسط هیئتی دیپلماتیک به ریاست سرتیپ عسگرخان افشار ارومی به دربار ناپلئون بناپارت ارسال شد.تاریخ اجتماعی و سیاسی ایران در دوره معاصر: از آغاز سلطنت قاجاریه تا سرانجام فتحعلی شاه، سعید نفیسی، انتشارات اساطیر، سال انتشار ۱۳۸۳، تهران
ناپلئون تعهد کرد که در برگرداندن سرزمین گرجستان به ایران و واداشتن روسیه به واگذاری آن‌جا تلاش کند و برای اصلاح و تقویت ارتش ایران اسلحه، توپ، مهندس و معلم به ایران بفرستد.
از سوی دیگر فتحعلی‌شاه نیز متعهد می‌شود تا به انگلستان اعلام جنگ کند و تمام اتباع بریتانیا را از ایران بیرون کند. به علاوه ایران تعهد می‌کند که افغان‌های رعیت خود را به حمله به هند وادارد و در صورت ارادهٔ ناپلئون به لشکرکشی به هند از راه ایران به آن‌ها اجازهٔ عبور بدهد و بنادر خلیج فارس را در اختیار نیروی دریایی فرانسه قرار دهد.http://hamshahrionline.ir/details/165185/Culture/culturalnews
یک هفته پس از امضا عهد نامه ناپلئون، ژنرال گاردان فرانسوی را مامور به خدمت در ایران کرد که ایجاد اولین کارخانه توپ سازی و ساخت توپ‌های سنگین (قلعه کوب) در شهر اصفهان، از جمله دستاوردهای این قرارداد برای ایران بود. همچنین افسران نظامی همراه ژنرال گاردان در مدت یکسال و دوماه که در ایران اقامت داشتند، سه مرکز تعلیمات نظامی در تهران، تبریز و اصفهان تاسیس کردند و موفق شدند تعداد چهار هزار سرباز ایرانی را با تعلیمات مدرن نظامی، آموزش دهند. تاریخ اجتماعی و سیاسی ایران در دوره معاصر: از آغاز سلطنت قاجاریه تا سرانجام فتحعلی شاه، سعید نفیسی، انتشارات اساطیر، سال انتشار ۱۳۸۳، تهران
با این حال، فرانسه در جنگ دیپلماتیک در ایران شکست خورد و موفق به اجرای هیچ‌یک از مفاد عهدنامه نشد. ناپلئون، امپراتور فرانسه، در پی شکست در نبرد با روس‌ها عهدشکنی کرد. او با امضای قرارداد تیلسیت با الکساندر اول امپراتور روسیه به هیچ‌کدام از تعهدات قبلی خود در قبال ایران و عثمانی عمل نکرد. انگلستان در ۱۲ مارس ۱۸۰۹، با امضای عهدنامه مجمل و پس از آن در ۱۴ مارس ۱۸۱۲ با امضای عهدنامه مفصل، ایران را وادار به اخراج فرانسوی‌ها از خاک خود کرد.سایت خبرگزاری مشرق‌نیوز، سال انتشار ۱۳۹۴سایت روزنامه اطلاعات، سال انتشار ۱۳۹۴سایت باشگاه خبرنگاران جوان، سال انتشار ۱۳۹۲
ملانی لوران (زادهٔ ۲۱ فوریه ۱۹۸۳) بازیگر، کارگردان، فیلم‌نامه‌نویس و خوانندهٔ اهل فرانسه است. لوران یک بازیگر برجسته در صنعت فیلم فرانسه است و دو جایزه سزار و یک جایزه لومیر را کسب کرده‌است. شهرت او بیشتر به خاطر نقش‌هایش در فیلم‌های "حرامزاده‌های لعنتی"، "اکنون مرا می‌بینی"، "شش زیرزمینی" و "عملیات نهایی" است.
مسجد بدیه (به عربی: مسجد البدیة)، مسجدی در شهر فجیره که در جنوب شرقی «روستای بدیه»، در کنار جاده اصلی روستا واقع شده‌است.Bidya oldest known mosque in the UAE, gulfnews.com, August 06, 2009, Accessed on August 01 2011.العبودی، ناصر، بن حسین، “ (مسجد البدیة) “، ج ۱ ـ جامعة الامارات العربیة المتحدة.الدکتور: عبدالله بن عبدالرحمن رحمة، “ (الإمارات فی ذاکِرةَ أَبَنائُها) “، اَلمُجَلَد اَلأَوَل. عام ۲۰۰۶.History comes alive, gulfnews.com, July/۱۰/۲۰۰۸, Accessdate ۰۱/۰۸/۲۰۱۱.a b c d e The oldest mosque in the country, The National, December 4, 2010, Accessed April 18, 2011..
این مسجد که باستان شناسان تاریخ ساخت آن به سال ۱۴۴۶ میلادی تخمین می‌زنند، در سمت مغرب روستا و پایه کوه واقع شده‌است به طوری که محراب مسجد از بیرون به پایه کوه چسپیده‌است.
در قله کوه از سمت مغرب مسجد آثار دو برج قدیمی وجود دارد که به گفته ساکنان روستا در زمان قدیم نگهبانانی در آن برج‌ها گماشته بودند که نگهبانی می‌داد.
این مسجد بین راه دو شهر خور فکان و دِبا الحُصن واقع شده‌است.
شهر خور فکان در ۷ کیلومتری شمال مسجد واقع شده‌است، و شهر دبا در ۲۵ کیلومتری جنوب مسجد قرار دارد.
«مسجد البدیة» بعلت قرار داشتن مسجد در کنار روستای «البدیه» و نامشخص بودن نام حقیقی مسجد، آن را «مسجد البدیه» نامگذاری کردند.
دو راه ساحلی به محل مسجد راه دارد نخست از سمت شارقه (شارجه) ذَید) و مسافی است.
بعد از مسافی از دو راه می‌توان به موقع مسجد رسید که به شرح زیر می‌باشد:
نمای بیرونی مسجد با مسجدهایی که در امارات متحده عربی وجود دارد کاملاً اختلاف دارد، ولیکن وجود جهت‌گیری دیوار مسجد و وجود محراب رو به‌طرف قبله دلیلی واضح است که یکی از مسجدهای مسلمانان بوده که در آن منطقه زندگی می‌کرده‌اند.
دروازه مسجد، سمت مشرق قرار دارد و مسجد فقط یک درب ورودی دارد.
حجم مسجد کوچک است، در درون مسجد حدود ۱۵ تا ۲۰ نفر می‌توانند در مسجد نماز گذارند. اما محوطه بیرون مسجد (صحن مسجد) در حدود ۴۰ تا ۵۰ نفر، نمازگزار جا می‌دهد؛ ولی اینطور که معلوم است صحن بیرونی مسجد بعداً به مسجد اضافه شده‌است.
در مسجد هیچ گونه چوبی به کار نرفته‌است. سقف مسجد کاروانسرا مانند است، در وسط مسجد یک ستون ضخیم وجود دارد که تمام سقف مسجد بر روی آن قرار دارد، اما جوانب سقف به روی دیوارهای اطراف مسجد قرار دارند.
از بیرون سقف مسجد قبه‌های متعددی دارد و طبقه‌بندی شده نشان می‌دهد، اما از داخل سقف مسجد مانند قوس نمایان است.
پس از مرمت ساختمان مسجد، حکومت فجیره، این اثر تاریخی را به جهانگردان معرفی نموده و سالیانه عده زیادی از گردشگران از این مکان دیدن می‌کنند.
الگوریتم کواین-مک‌کلاسکی روشی است که برای کمینه کردن توابع بولی توسط ویلارد کواین، منطق‌دان آمریکایی و ادوارد مک‌کلاسکی ایجاد شد. این روش از لحاظ تابعی با جدول کارنو یکسان است، ولی حالت جدولی این روش را برای استفاده در الگوریتم‌های کامپیوتری کارآمدتر می‌کند. علاوه بر این، این روش به‌طور قطعی می‌تواند بیان کند که آیا به کمینه استفاده از توابع بولی رسیده‌ایم یا نه. این روش گاهی با روش جدولی نیز نام برده می‌شود.
این الگوریتم از دو قسمت تشکیل شده‌است:
1- یافتن تمامی دلالت‌کننده‌های نخستین (Prime Implicant)
۲- تمامی آن دلالت‌کننده‌ها را در جدول دلالت‌کننده‌های نخستین قرار دهیم تا دلالت‌کننده‌های ضروری را بیابیم.
اگرچه این الگوریتم در مقایسه با جدول کارنو برای داده‌های با بیشتر از ۴ متغیر عملی‌تر است، این الگوریتم به دلیل این که مسئله‌ای که حل می‌کند ان‌پی سخت است، محدودیت دارد و زمان اجرایی آن به صورت نمایی رشد می‌کند. می‌توان نشان داد که برای تابعی با n متغیر، مقدار کران بالا برای دلالت‌کننده‌های نخستین برابر exp(3،n)/n است. به‌طور مثال اگر n=32 حدوداً exp(10،15)*6.5 دلالت‌کننده‌ی نخستین خواهیم داشت.
کوچک کردن یک تابع دلخواه
به‌سادگی می‌توان ساده‌شده‌ی عبارت بالا را با توجه به جدول بالا، با جمع زدن مین‌ترم‌ها (minterm) یافت. به‌نوعی که آن تابع به صورت یک عبارت واحد نشان داده می‌شود:
به‌طور قطع این عبارت ساده‌ترین حالت نیست و برای ساده کردن آن می‌بایست مین‌ترم‌ها را در جدول مربوطه قرار داد و همچنین ترم‌های غیرمهم نیز در این جدول قرار داد و سپس این دو را با یکدیگر ترکیب کرد:
حال باید به ترکیب در جدول پرداخت. اگر دو مین‌ترم فقط در یک رقم با یکدیگر تفاوت داشتند، آن دو را در هم ادغام کرده و جای رقم متفاوت، «-» را قرار می‌دهیم. و آن‌ها که مورد استفاده قرار نمی‌گیرند را با «*» مشخص می‌کنیم.
تا به این‌جا در جدولی که داشته‌ایم، دیگر نمی‌تون مین‌ترم‌ها را بیشتر از این با هم ترکیب کرد. پس در اینجا جدولی را برای دلالت‌کننده‌های نخستین ضروری درست می‌کنیم. در این جدول، از مین‌ترم‌هایی که در قبل داشتیم و آز آن‌ها در ترکیب جدید استفاده نشده استفاده می‌کنیم. در این قسمت ترم‌های غیرمهم را حذف می‌کنیم، چون اهمیتی ندارند.
با توجه به جدول بالا، می‌توان دو عبارت ساده را برای تابع مد نظر در نظر گرفت. هر دوی این نمایش‌ها درست هستند:
این دو تابع ساده‌شده، در اصل همان تابع ابتدایی هستند:
۱. نلسون، کتاب "تحلیل و طراحی مدارهای دیجیتال"
یانوش یکم، یانوش زاپویا یا یانوش ساپویایی (؛ زادهٔ ۲ فوریهٔ ۱۴۸۷- درگذشته ۲۲ ژوئیهٔ ۱۵۴۰) پادشاه مجارستان در ۱۵۲۶–۱۵۴۰ میلادی بود. وی بر عنوان پادشاه با فردیناند یکم، امپراتور مقدس روم که او نیز خود را پادشاه مجارستان می‌دانست، در ستیز بود.
یانوش تا پیش از تاج‌گذاری وویوود (; ؛ جنگ سالار) ترانسیلوانی بود. وی این سمت را از ۱۵۱۱ عهده‌دار بود. در کشاکش نبرد موهاچ میان لایوش دوم و سلیمان یکم سلطان عثمانی با نیروهای قابل توجهی ارتش مجارستان را شکست داد و شاه جوان، لایوش کشته‌شد. عثمانی‌ها وارد مجارستان شدند و کشور دچار آشفتگی سیاسی گردید. نامزدهای پادشاهی بازمانده بر مجارستان دو تن بودند، برادر زن لایوش فردیناند، امپراتور مقدس روم و یانوش از اشراف مجارستان که نیرویی زیر فرمان داشت و مورد حمایت اشراف نیز بود.
یانوش، در ۱۰ نوامبر ۱۵۲۶ در سِکِش‌فِهِروار خود را شاه مجارستان خواند و تاج‌گذاری نمود. در این زمان میان فرانسه و امپراتوری مقدس روم جنگ درگرفته‌بود. نیروهای امپراتوری شهر رم را اشغال کردند و پاپ کلمنت هفتم را که پشتیبان فرانسه بود برانداختند. در ۱۵۲۷ ارتشی متشکل از آلمان‌های مزدور به مجارستان تاختند. نیروهای فردیناند برای درهم شکستن مقاومت یانوش، رعایای اسلاونی (کرواسیِ امروز) را نیز بر او شوراندند. سرانجام در نبرد تارتسال یانوش یکم شکست خورد و به لهستان گریخت. او سرانجام دست به دامان عثمانی شد که این عمل در آن زمان شهرت او را لکه‌دار کرد.
آبیاری چرخشی، دایره‌ای، مرکزی یا محوری، از انواع آبیاری است که در آن یک سامانه مرکزی به عنوان منبع تغذیه آب، محدوده‌ای از زمین زیر کشت فراورده کشاورزی را سیراب می‌کند. در این شیوه یک ابزار ویژه، گرد یک مرکز یا پاشنه چرخیده و با افشاندن و پاشیدن آب با فشار، گستره تعریف شده زراعی را آبیاری می‌کند. این روش آبیاری موجب به وجود آمدن زمین‌های زراعی به صورت شکل‌های گرد می‌گردد. اکثر سیستم‌های مرکزی در ابتدا با نیروی آب کار می کردند، اما امروزه اکثر آنها توسط موتورهای الکتریکی به حرکت در می آیند.
سیستم های آبیاری چرخشی برای اولین بار در سال ۱۹۴۰ میلادی توسط کشاورزی از ایالات متحده به نام فرانک زیباخ (Frank Zybach) مورد استفاده قرار گرفت. این نوع روش آبیاری به خصوص در زمین های کشاورزی بزرگ به عنوان روش آبیاری با بازدهی بالا شناخته می شود.
نمونه معایب این روش می توان به نمونه ۶۰ سال کشاورزی متمرکز پرسود و استفاده بیش از حد از این روش را در ایالات متحده اشاره کرد که در آن بخش هایی از یکی از بزرگترین آبخوان های جهان به نام "Ogallala" از آب خالی شد. همچنین باید یادآور این نکته شد که آب فسیل یک منبع طبیعی تجدیدناپذیر می باشد.
این روش در بعضی نقاط ایران نیز استفاده می شود.
کارآزمایی‌های بالینی، مطالعات پژوهشی زیست‌پزشکی یا رفتاری آینده‌نگر روی شرکت‌کنندگان انسانی هستند که برای پاسخ به سؤالات خاص در مورد مداخلات زیست‌پزشکی یا رفتاری، از جمله درمان‌های جدید (مانند واکسن‌های جدید، داروها، انتخاب‌های غذایی، مکمل‌های غذایی، و تجهیزات پزشکی) و مداخلات شناخته‌شده‌ای طراحی شده‌اند که مستلزم مطالعه و مقایسه بیشتر هستند. کارآزمایی‌های بالینی، داده‌هایی در مورد دوز، بی‌خطری و اثربخشی تولید می‌کنند."NIH Clinical Research Trials and You: The Basics". US National Institutes of Health. 3 October 2022. Retrieved 7 November 2022."Clinical Trials" (PDF). Bill and Melinda Gates Foundation. Retrieved 1 January 2014. این مطالعات فقط پس از دریافت تأییدیه مراجع بهداشتی/ کمیته اخلاق در کشوری که تأیید درمان در آن درخواست شده، انجام می‌شوند. کمیته‌های بررسی مجوز انجام کارآزمایی‌های بالینی موظف هستند نسبت خطر-فایده این مطالعات را بررسی کنند. تأیید آنها به معنای «بی‌خطر بودن» یا مؤثر بودن درمان نیست، بلکه صرفاً اجازه انجام مطالعه است.
بسته به نوع محصول و مرحله توسعه، پژوهشگران ابتدا داوطلبان یا بیماران را در مطالعات اولیه کوچک وارد می‌کنند و متعاقباً مطالعات مقایسه‌ای در مقیاس بزرگتر را انجام می‌دهند. کارآزمایی‌های بالینی می‌توانند از نظر اندازه و هزینه متفاوت باشند؛ می‌توانند شامل یک مرکز تحقیقاتی یا مراکز متعدد (دارای چندین مرکز) بوده و در یک کشور یا چند کشور انجام شوند. هدف طراحی کارآزمایی بالینی، اطمینان از روایی علمی و تکرارپذیری نتایج است.
هزینه کارآزمایی‌های بالینی می‌تواند برای هر داروی تأیید شده می‌تواند میلیاردها دلار باشد. حمایت کننده مالی این مطالعات ممکن است یک سازمان دولتی یا یک شرکت داروسازی، زیست‌فناوری یا تجهیزات پزشکی باشد. برخی از اقدامات ضروری برای آزمایش، مانند نظارت و کار آزمایشگاهی، ممکن است توسط یک شریک برون‌سپاری، مانند یک سازمان تحقیقاتی قراردادی یا یک آزمایشگاه مرکزی مدیریت شوند. تنها ۱۰ درصد از داروهایی که در کارآزمایی‌های بالینی انسانی مورد مطالعه قرار می‌گیرند در نهایت تأیید و به بازار مصرف راه پیدا می‌کنند.Emanuel EJ (9 September 2015). "The Solution to Drug Prices". "The New York Times". <q>Of the drugs started in clinical trials on humans, only 10 percent secure F.D.A. approval. ...</q>
کارآزمایی دارو
برخی از کارآزمایی‌های بالینی بر روی افراد سالم بدون مشکل پزشکی قبلی انجام می‌شوند. سایر کارآزمایی‌های بالینی مربوط به افرادی با شرایط خاصی از سلامت است که مایل به آزمایش یک درمان تجربی هستند. پژوهشگران در برخی مواقع مطالعات اولیه انجام می‌دهند تا در طراحی کار کارآزمایی بالینی بینش پیدا کنند.
دو هدف برای آزمودن درمان‌های پزشکی وجود دارد: اول اینکه آیا این درمان‌ها به اندازه کافی خوب عمل می‌کنند که با مفاهیم «اثربخشی» یا «تأثیر (ابهام‌زدایی)» از آن یاد می‌شود؛ دوم آن که آیا آنها به اندازه کافی بی‌خطر و ایمن هستند که با اصطلاح «بی‌خطری» شناخته می‌شود. هیچ‌یک از این دو هدف ملاک مطلق نیستند. بی‌خطری و اثربخشی نسبت به نحوه استفاده از درمان، سایر درمان‌های موجود و شدت بیماری یا شرایط ارزیابی می‌شوند. به‌طور کلی منافع یک درمان باید بیشتر از خطرات آن باشد.FDA Page last updated 25 April 2014 FDA's Drug Review Process: ContinuedPhRMA. February 2007 Drug Discovery and Development به عنوان مثال، بسیاری از داروهای درمان سرطان دارای عوارض جانبی شدیدی هستند که این عوارض برای مسکن‌هایی که بدون نسخه تجویز می‌شوند قابل قبول نیستند، با این حال داروهای سرطان مورد تأیید قرار گرفته‌اند زیرا تحت نظر پزشک استفاده می‌شوند و برای یک شرایط تهدید کننده زندگی استفاده می‌شوند.Merck Manual. Last full review/revision October 2013 by Daniel A. Hussar, PhD Overview of Over-the-Counter Drugs
در ایالات متحده، سالمندان ۱۴ درصد از جمعیت را تشکیل می‌دهند، در حالی که بیش از یک سوم مصرف دارو مربوط به آنهاستSelma TP, Rochon PA. Pharmacotherapy. In: Pompei P, ed. Geriatric Review Syllabus. 8th ed. New York, NY: American Geriatrics Society; 2006. افراد بالای ۵۵ سال (یا سنین مشابه) اغلب از حضور در کارآزمایی‌های بالینی حذف می‌شوند چرا که به دلیل ابتلا به ناراحتی و بیماری‌های بیشتر و در نتیجه مصرف بیشتر دارو، تفسیر داده‌های مطالعات را پیچیده می‌کنند ضمن این‌که ظرفیت فیزیولوژیکی آنها نسبت به افراد جوان‌تر متفاوت است. کودکان و افرادی که شرایط پزشکی نامرتبطی با ناراحتی تحت مطالعه داشته باشند نیز اغلب کنار گذاشته می‌شوند. زنان باردار نیز در اغلب موارد به دلیل خطرات احتمالی درمان برای جنین کنار گذاشته می‌شوند.
حامی مالی کارآزمایی، مطالعه را با هماهنگی گروهی از محققان بالینی خبره طراحی می‌کند، از جمله اینکه چه درمان‌های جایگزین یا موجودی برای مقایسه با داروی جدید وجود دارد و برای کدام بیماران ممکن است سودمند باشد. چنانچه حامی مالی نتواند آزمودنی‌های کافی را در یک مکان به دست آورد، از پژوهشگران در سایر مکان‌ها دعوت به همکاری خواهد کرد.
در طول کارآزمایی، پژوهشگران افراد با ویژگی‌های از پیش تعیین‌شده را استخدام می‌کنند، درمان(ها) را به کار می‌برند و داده‌های مربوط به سلامت افراد را برای یک دوره زمانی مشخص جمع‌آوری می‌کنند. داده‌ها شامل اندازه‌گیری‌هایی مانند علایم حیاتی، غلظت داروی مورد مطالعه در خون یا بافت‌ها، تغییر در علایم بیمار است و اینکه آیا بهبود یا بدتر شدن وضعیت بیمار تحت تأثیر داروی مورد مطالعه رخ می‌دهد یا خیر. پژوهشگران داده‌ها را برای حامی مالی کارآزمایی ارسال می‌کنند، تا داده‌های تلفیقی را با استفاده از آزمون‌های آماری تجزیه و تحلیل کند.
نمونه‌هایی از اهداف کارآزمایی بالینی شامل ارزیابی بی‌خطری و اثربخشی نسبی یک دارو یا دستگاه است:
در حالی که اکثر کارآزمایی‌های بالینی، مداخله جدید را با یک جایگزین آن مقایسه می‌کنند، برخی از آنها با سه یا چهار جایگزین مورد مقایسه قرار می‌دهند که ممکن است شامل دارونما نیز باشد.
به جز کارآزمایی‌های کوچک و تک‌مرکزی، طراحی و اهداف مطالعه در سندی به نام پروتکل کارآزمایی بالینی مشخص شده‌اند. این پروتکل «راهنمای عملیاتی» کارآزمایی است و تضمین می‌کند که همه محققان کارآزمایی را به روشی مشابه بر روی افراد مشابه انجام می‌دهند و داده‌ها در همه افراد قابل مقایسه هستند.
از آنجایی که یک کارآزمایی برای آزمودن فرضیه‌ها و نظارت دقیق و ارزیابی پیامدها طراحی شده‌است، می‌توان آن را به عنوان یک کاربرد روش علمی، به ویژه مرحله تجربی در نظر گرفت.
رایج‌ترین کارآزمایی‌های بالینی فراورده‌های دارویی، دستگاه‌های پزشکی، زیست‌داروها، سنجش‌های تشخیصی، درمان‌های روان‌شناختی یا سایر مداخلات جدید را ارزیابی می‌کنند."What are the different types of clinical research?". US Food and Drug Administration. 2019. Retrieved 24 May 2019. ممکن است قبل از اینکه یک مرجع نظارتی ملیThe regulatory authority in the USA is the Food and Drug Administration; in Canada, Health Canada; in the European Union, the European Medicines Agency; in Japan, the Ministry of Health, Labour and Welfare; in Iran, the Food and Drug Organization ورود به بازار یک نوآوری را تأیید کند، انجام کارآزمایی‌های بالینی لازم باشد.
کارآزمایی تجهیزات پزشکی
سازندگان دستگاه‌های پزشکی در ایالات متحده همانند سازندگان داروها ملزم به انجام کارآزمایی‌های بالینی برای دریافت تأییدیه قبل از عرضه به بازار هستند."PMA Clinical Studies". US Food and Drug Administration. 17 March 2017. Retrieved 30 January 2023. در کارآزمایی دستگاه‌ها ممکن است یک دستگاه جدید با یک درمان شناخته شده مقایسه شود، یا ممکن است دستگاه‌های مشابه با یکدیگر مقایسه شوند. نمونه‌ای از روش اول در زمینه جراحی عروق، کارآزمایی ترمیم باز در مقابل اندوواسکولار (OVER trial) برای درمان آنوریسم آئورت شکمی است که تکنیک قدیمی‌تر ترمیم باز آئورت را با دستگاه ترمیم آنوریسم اندوواسکولار که جدیدتر است مقایسه می‌کند. نمونه‌ای از دومی‌ن روش، کارآزمایی بالینی بر روی دستگاه‌های مکانیکی است که در درمان بی‌اختیاری ادرار زنان بزرگسال استفاده می‌شود.
کارآزمایی رویه‌ها
رویه‌های پزشکی یا جراحی نیز همانند داروها ممکن است تحت کارآزمایی‌های بالینی قرار گیرند، برای مثال مقایسه روش‌های مختلف جراحی فیبروئیدها در درمان ناباروری. اگرچه در شرایطی که انجام کارآزمایی‌های بالینی در مداخلات جراحی اخلاقی نیستند یا از نظر لجستیک امکان‌پذیر نیستند مطالعات مورد-شاهدی جایگزین آنها خواهد شد.
اگرچه در گذشته آزمایش‌های پزشکی اولیه در اغلب موارد انجام می‌شد، اما استفاده از گروه کنترل برای مقایسه دقیق و نشان دادن اثربخشی مداخله، به‌طور کلی وجود نداشت. به عنوان مثال، خانم مری وورتلی مونتاگو، که برای انجام مایه‌کوبی (در آن زمان واریولاسیون نامیده می‌شد) به منظور جلوگیری از آبله مبارزه می‌کرد، ترتیبی داد که هفت زندانی که به اعدام محکوم شده بودند در ازای جان خود تحت تلقیح قرار گیرند. اگرچه آنها زنده ماندند و به آبله مبتلا نشدند، اما هیچ گروه کنترلی برای ارزیابی اینکه آیا این نتیجه ناشی از مایه‌کوبی یا سایر عوامل بود وجود نداشت. آزمون‌های مشابهی که توسط ادوارد جنر بر روی واکسن آبله انجام شد به همان اندازه از نظر مفهومی ناقص بود.Meinert CL, Tonascia S (1986). "Clinical trials: design, conduct, and analysis". Oxford University Press, USA. p. 3. ISBN <bdi>978-0-19-503568-1</bdi>.
اولین کارآزمایی بالینی مناسب توسط جیمز لیند، پزشک اسکاتلندی انجام شد.Simon, Harvey B. (2002). "". New York: Free Press. p. 31. ISBN <bdi>978-0-684-87181-3</bdi>. بیماری اسکوربوت، که اکنون مشخص شده به دلیل کمبود ویتامین ث ایجاد می‌شود، اغلب اثرات بسیار بدی بر رفاه خدمه سفرهای دریایی طولانی مدت دارد. در سال ۱۷۴۰، نتیجه فاجعه‌بار دریانوردی دور دنیا آنسون توجه بسیاری را در اروپا به خود جلب کرد. از ۱۹۰۰ مرد، ۱۴۰۰ مرد مرده بودند که دلیل مرگ اغلب آنها ابتلا به اسکوربوت بود.Brown, Stephen R. (2003). "Scurvy: How a Surgeon, a Mariner, and a Gentleman Solved the Greatest Medical Mystery of the Age of Sail". New York, NY: St. Martin's Press. ISBN 0-312-31391-8 جان وودال، جراح نظامی انگلیسی از کمپانی بریتانیایی هند شرقی، مصرف مرکبات (اثر ضد اسکوربوتیک) را از قرن هفدهم توصیه کرده بود، اما استفاده از آنها فراگیر نشد.Rogers, Everett M. (1995). "Diffusion of Innovations". New York, NY: The Free Press. ISBN 0-7432-2209-1. p. 7.
لیند اولین کارآزمایی بالینی سیستماتیک را در سال ۱۷۴۷ انجام داد.Carlisle, Rodney (2004). "Scientific American Inventions and Discoveries", John Wiley & Songs, Inc. , New Jersey. p. 393. ISBN 0-471-24410-4. او یک مکمل غذایی اسیدی را پس از دو ماه حضور در دریا، زمانی که افراد کشتی به بیماری اسکوربوت مبتلا شده بودند، در آزمون خود گنجاند. او دوازده ملوان اسکوربوتیک را به شش گروه دو نفره تقسیم کرد. همه آنها رژیم غذایی مشابهی دریافت کردند، اما علاوه بر این، به گروه یک روزانه یک لیتر شراب سیب، به گروه دو بیست و پنج قطره اکسیر ویتریول (اسید سولفوریک)، به گروه سه شش قاشق سرکه، به گروه چهار نصف پیمانه آب دریا داده شد. گروه پنج دو عدد پرتقال و یک لیمو (ابهام‌زدایی) و گروه آخر یک رب تند (spicy paste) به اضافه یک دریافت کردند. درمان گروه پنج پس از ۶ روز که میوه آنها تمام شد متوقف شد که در آن زمان، یکی از ملوانان آماده انجام وظیفه شده بود و دیگری نیز تقریباً بهبود یافته بود. علاوه بر گروه پنج، گروه یک نیز اثراتی از درمان را نشان داد."James Lind: A Treatise of the Scurvy (1754)". 2001. Retrieved 9 September 2007.
پس از سال ۱۷۵۰، کارآزمایی‌های بالینی شکل مدرن به خود گرفت.Green S, Crowley J, Benedetti J, Smith A (30 July 2002). "Clinical Trials in Oncology, Second Edition". CRC Press. pp. 1–. ISBN <bdi>978-1-4200-3530-8</bdi>.Gad SC (17 June 2009). "Clinical Trials Handbook". John Wiley & Sons. pp. 118–. ISBN <bdi>978-0-470-46635-3</bdi>. دکتر جان هیگارث انگلیسی اهمیت گروه کنترل را برای شناسایی صحیح اثر دارونما در مطالعه مشهور خود در مورد یک ابزار درمانی بی‌اثر به نام تراکتورهای پرکینز نشان داد. کار بیشتر در این راستا توسط پزشک برجسته آقای ویلیام گال در دهه ۱۸۶۰ انجام شد.
فردریک اکبر محمد (متوفی ۱۸۸۴)، که در بیمارستان گایز در لندن کار می‌کرد، مشارکت قابل توجهی در فرایند کارآزمایی‌های بالینی داشت، بدین ترتیب که «او نفریت مزمن همراه با پرفشارخونی ثانویه را از آنچه اکنون پرفشارخونی اولیه (اساسی) می‌نامیم مجزا کرد. او همچنین سابقه تحقیقات جمعی را برای انجمن پزشکی بریتانیا راه‌اندازی کرد؛ این سازمان داده‌هایی را از پزشکانی که خارج از محیط بیمارستان طبابت می‌کردند جمع‌آوری کرد و پیشگام کارآزمایی‌های بالینی مشترک مدرن بود.»
کارآزمایی‌های مدرن
رونالد فیشر در حالی که برای کار می‌کرد، "اصول طراحی تجربی (Principles of experimental design)" را در دهه ۱۹۲۰ به عنوان روشی دقیق برای طراحی مناسب آزمایش‌ها توسعه داد. از جمله ایده‌های اصلی او، اهمیت تصادفی‌سازی - تخصیص تصادفی افراد به گروه‌های مختلف جهت انجام آزمایش؛Creswell, J.W. (2008). Educational research: Planning, conducting, and evaluating quantitative and qualitative research (3rd). Upper Saddle River, NJ: Prentice Hall. 2008, p. 300. ISBN 0-13-613550-1 تکرار - برای کاهش عدم قطعیت، اندازه‌گیری‌ها باید تکرار شوند و آزمایش‌ها چند بار انجام شوند تا منابع اختلاف و واریاسیون شناسایی شوند؛Hani (2009). "Replication study". Archived from the original on 2 June 2012. Retrieved 27 October 2011. بلوک‌بندی- تنظیم واحدهای آزمایش در گروه‌هایی (بلوک‌ها) که مشابه یکدیگرند، و در نتیجه کاهش منابع اختلاف و واریاسیون نامرتبط؛ استفاده از آزمایش‌های عاملی - در ارزیابی اثرات و برهم‌کنش احتمالی چندین عامل مستقل مؤثر است.
شورای تحقیقات پزشکی بریتانیا اهمیت کارآزمایی‌های بالینی را از دهه ۱۹۳۰ به رسمیت شناخت. این شورا "کمیته کارآزمایی‌های درمانی" را برای مشاوره و کمک به تنظیم کارآزمایی‌های بالینی کنترل‌شده بر روی محصولات جدیدی که به نظر می‌رسد بر اساس دلایل تجربی در درمان بیماری ارزش دارند، ایجاد کرد.
اولین کارآزمایی درمانی تصادفی شده در واحد تحقیقات سل MRC توسط سر جفری مارشال (۱۹۸۲–۱۸۸۷) انجام شد. این کارآزمایی که بین سال‌های ۱۹۴۶ و ۱۹۴۷ انجام شد، با هدف آزمایش اثربخشی ماده شیمیایی استرپتومایسین در درمان سل ریوی انجام شد. کارآزمایی دوسوکور و کنترل شده با دارونما کنترل شده بود.
روش کارآزمایی‌های بالینی بعداً توسط آستین برادفورد هیل، که در کارآزمایی‌های استرپتومایسین شرکت داشت، بیشتر توسعه یافت. از دهه ۱۹۲۰، هیل آمار را در پزشکی اعمال کرد و در سخنرانی‌های ریاضیدان‌های مشهور از جمله کارل پیرسون شرکت کرد. او به دنبال انجام یک مطالعه مهم با همکاری ریچارد دال در خصوص ارتباط بین سیگار کشیدن و سرطان ریه، به شهرت رسید. آنها یک مطالعه مورد-شاهدی را در سال ۱۹۵۰ انجام دادند که بیماران مبتلا به سرطان ریه را با یک گروه کنترل همسان مقایسه کردند که آغاز یک مطالعه هم‌گروهی (کهورت) آینده‌نگر طولانی مدت با موضوع گسترده‌تر ارتباط بین سیگار کشیدن و سلامت بود که عادت سیگار کشیدن و سلامت بیش از ۳۰٬۰۰۰ پزشک را در یک دوره چند ساله بررسی می‌کرد. گواهی وی برای انتخاب در انجمن سلطنتی او را چنین توصیف کرده‌است: «... راهبر در توسعه روش‌های آزمایشی دقیق در پزشکی که اکنون در سطح ملی و بین‌المللی در ارزیابی ترکیبات جدید درمانی و پیشگیرانه استفاده می‌شود.»
روز جهانی کارآزمایی‌های بالینی هر سال در بیستم ماه مه جشن گرفته می‌شود تا یادبود روزی باشد که جیمز لیند اولین کارآزمایی بالینی تصادفی‌شده را در سال ۱۷۴۷ آغاز کرد.About Clinical Trials Day (Accessed on 5 February 2023)
کارآزمایی‌های بالینی بر اساس هدف پژوهشی پژوهشگران طبقه‌بندی می‌شوند.
کارآزمایی بر اساس هدفشان طبقه‌بندی می‌شوند. پس از اعطای تاییدیه برای انجام پژوهش‌های انسانی به حامی کارآزمایی، سازمان غذا و داروی ایالات متحده (FDA) نتایج کارآزمایی را بر اساس انواع زیر سازماندهی و نظارت می‌کند:
کارآزمایی‌های بالینی معمولاً در چهار مرحله انجام می‌شوند که در هر مرحله از تعداد موضوعات و افراد مختلف استفاده می‌شود و هدف‌های متفاوتی برای ایجاد تمرکز بر شناسایی یک اثر را خاص دارد.
کارآزمایی بالینی که شامل داروهای جدید می‌باشد، معمولاً به پنج مرحله طبقه بندی می شوند. هر مرحله از فرآیند تایید دارو یک کارآزمایی بالینی جداگانه در نظر گرفته می شود. فرآیند توسعه دارو معمولاً طی سال‌های متمادی از طریق فازهای یک تا چهار ادامه می‌یابد که اغلب یک دهه یا بیشتر را در بر می‌گیرد. اگر دارو مراحل یک، دو و سه را با موفقیت پشت سر بگذارد، معمولاً توسط مرجع نظارتی ملی برای استفاده در جمعیت عمومی تأیید می شود. کارآزمایی فاز چهار پس از عرضه دارو، آزمون تشخیصی و یا دستگاه جدید تأیید شده انجام می‌شود و ارزیابی خطرها، مزایا و یا بهترین کاربردها را ارایه می‌دهد.
کارآزمایی بالینی تصادفی‌سازی شده (Randomized Clinical Trial): مطالعه‌ای که در آن شرکت کنندگان به‌طور تصادفی در گروه‌های مجزایی قرار می‌گیرند تا محققان درمان‌های مختلف را با هم مقایسه نمایند. محققان و شرکت کنندگان به دلخواه نمی‌توانند گروه‌ها را انتخاب کنند. به‌طور تصادفی قرار دادن شرکت‌کنندگان در گروه‌های مختلف به این معنی می‌باشد که گروه‌ها شبیه هم خواهند بود و اینکه درمان‌هایی را که در مورد شرکت کنندگان صورت می‌گیرد می‌توان به‌طور بی‌طرفانه مقایسه نمود. در هنگام انجام کارآزمایی بالینی، مشخص نیست کدام درمان از همه بهتر می‌باشد.
کارآزمایی بالینی تصادفی‌سازی نشده (Nonrandomized Clinical Trial): آزمایشی بالینی که در آن شرکت کنندگان به‌طور تصادفی در گروه‌های مختلف درمان قرار نمی‌گیرند. ممکن است خود شرکت‌کنندگان تصمیم بگیرند در کدام گروه شرکت کنند یا امکان دارد محقق آن‌ها را در گروه‌های مختلف قرار دهد.
آزمایش بالینی شاهددار (Controlled Clinical Trial) :آزمایشی بالینی که شامل گروه مقایسه (شاهد) است. افراد این گروه از درمانی دیگر برخوردار می‌شوند، یا آن‌ها را درمان نمی‌کنند و به آن‌ها دارو نما (پلاسبو) داده می‌شود.
یک کمیته مستقل از پزشکان، متخصصان آمار بر روند تصویب کارآزمایی‌های بالینی نظارت می‌کنند. این کمیته باید اطمینان حاصل کند که خطرات کارآزمایی بالینی موردنظر اندک است و منافع بالقوه آن ارزشمند است. در ایران همهٔ کارآزمایی‌های بالینی در "پایگاه ثبت کار آزمایی‌های بالینی"وبگاه پایگاه ثبت کار آزمایی‌های بالینی ثبت می‌شوند.
دارونما یک قرص، مایع، یا پودر بی‌اثر است که هیچ ارزش درمانی ندارد. در کارآزمایی‌های بالینی، درمان‌های تجربی اغلب با دارونماها مورد مقایسه قرار می‌گیرند تا اثربخشی درمان تجربی مورد ارزیابی قرار گیرد. در برخی از کارآزمایی‌ها افرادی که در گروه کنترل (شاهد) قرار دارند، به جای دارو یا درمان تجربی فعال، دارونما دریافت می‌کنند.
کنترل (یا شاهد)، استانداردی است که به وسیلهٔ آن مشاهدات تجربی مورد ارزیابی قرار می‌گیرند. در بسیاری از کارآزمایی‌های بالینی، گروهی از بیماران دارو یا درمان تجربی را دریافت می‌کنند (case group)، در حالی که افراد گروه کنترل (control group)، دارو یا درمان استاندارد رایج برای آن بیماری را دریافت نمی‌کنند یا اینکه از دارونما استفاده می‌کنند.
مؤسسه تحقیقات سرطان
یانوش دوم یا یانوش ژیگموند ساپویائی ( زادهٔ ۱۸ ژوئیه ۱۵۴۰– مرگ ۱۴ مارس ۱۵۷۱) پادشاه مجارستان و اولین پرنس ترانسیلوانی بود. او پسر یانوش یکم بود که در خردسالی بعد از درگذشت پدر به پادشاهی رسید؛ ولی ابتدا ادارهٔ امور بر عهدهٔ مادرش بود. او مورد حمایت سلطان سلیمان عثمانی قرار گرفت.
ساپویائی در دهه ۱۵۶۰ ضد هابسبورک که متعلق به کلیسای کاتولیک بود، مجموعه‌ای از مباحث الهیاتی همسو با اصلاحات را آغاز کرد و خود از کاتولیک به لوتریانیسم و بعد به کالوینیسم گروید. او با تصویب فرمانی مبنی بر نکته «ایمان هدیه خداوند»، محدودیت‌های مذهبی را فراتر از استانداردهای اروپایی در اواخر قرن شانزدهم لغو کرد. ساپویائی سرانجام به‌عنوان پادشاه منتخب مجارستان در کنار گذاشته‌شد و در جایگاه پرنس ترانسیلوانی و فرمانروای بخش‌هایی از پادشاهی مجارستان حکومت کرد. پس از درگذشت او بدون وارث ایشتوان باتوری معتقد به کلیسای کاتولیک جانشین او شد.
صدق‌پذیری یا ارضاپذیری در دانش رایانه پرسمانی است که می‌پرسد آیا می‌توان ارزش متغیرهای فرمولی دودویی را به گونه‌ای یافت که فرمول درست باشد؟ بنابراین اگر چنین ارزش‌دهی پیدا شود، گوییم پرسمان "صدق‌پذیر" است. وگرنه، بی‌گمان این فرمول همواره نادرست است و گوییم که فرمول "صدق‌ناپذیر" است. برای نمونه، فرمول formula_1 صدق‌پذیر است چون اگر ارزش‌های formula_2 و formula_3 درست باشند، فرمول همواره درست است.
پرسمان صدق‌پذیری نخستین پرسمانی است که ان‌پی کامل بودنش نشان داده شده‌است. کوک و لوین نشان دادند الگوریتمی شناخته‌شده‌ای نیست که در زمانی کوتاه پرسمان صدق‌پذیری را حل کند. محدودهٔ وسیعی از بقیهٔ مسائل تصمیم‌گیری و بهینه‌سازی طبیعی می‌توانند به موارد مسئلهٔ صدق‌پذیری تبدیل شوند. یک رده از الگوریتم‌ها به نام حل‌کننده‌های SAT به‌طور کارآمد می‌توانند زیرمجموعه‌ای به اندازهٔ کافی بزرگ از موارد SAT را حل کنند تا در حوزه‌های مختلف عملی از جمله طراحی مدار و قضیهٔ اثبات اتوماتیک مفید باشند. وسیعتر کردن قابلیت‌های الگوریتم‌های حل‌کنندهٔ SAT یک حوزهٔ در حال پیشرفت است. هرچند هیچ‌کدام از روش‌های کنونی نمی‌توانند "همه‌ی" موارد مسئلهٔ صدق‌پذیری را به‌طور کارآمد حل کنند.
در نظریه پیچیدگی محاسباتی مسئلهٔ صدق‌پذیری یک مسئلهٔ تصمیم است که نمونهٔ آن یک عبارت بولی می‌باشد که فقط با AND، OR، NOT، متغیرها و پرانتز نوشته شده‌است. سؤال این است که: آیا می‌توان به متغیرها مقادیر "درست" و "نادرست" داد تا عبارت موردنظر همواره درست باشد؟ یک فرمول از منطق گزاره‌ای صدق‌پذیر است اگر به متغیرهای آن بتوان مقادیر منطقی داد تا فرمول همواره درست باشد. مسئلهٔ صدق‌پذیری دودویی یک ان‌پی کامل است. مسئلهٔ صدق‌پذیری گزاره‌ای (PSAT)، که مشخص می‌کند آیا یک فرمول گزاره‌ای صدق‌پذیر هست یا نه، مهم‌ترین مسئله در حوزه‌های مختلف علوم رایانه است؛ نظیر علوم نظری رایانه، الگوریتم‌ها، هوش مصنوعی، طراحی پردازنده، اتوماسیون طراحی الکترونیکی و تایید.
یک متغیر یا خود آن متغیر یا نقیضش است. به‌طور مثال x یک متغیر مثبت و (not(x یک متغیر منفی است.
یک عبارت فصل منطقی از متغیرهاست. به‌طور مثال (x V not(x یک عبارت است.
در بعضی حالت‌های مسئله صدق‌پذیری دودویی، نیاز است که فرمول عطف منطقی چند عبارت باشد. حالتی که صدق‌پذیری یک فرمول به شکل عطف معمولی را بررسی می‌کنیم که هر عبارت حداکثر دارای سه متغیر باشد، ان‌پی کامل است؛ این مسئله "۳SAT" یا "۳CNFSAT" یا "۳-صدق‌پذیری" نامیده می‌شود. حالتی که فرمول موردبررسی دارای عبارت‌هایی با حداکثر دو متغیر باشد، ان‌ال کامل است؛ این مسئله "۲SAT" نامیده می‌شود. حالتی که فرمول موردبررسی دارای عبارت‌های هورن (که حداکثر یک متغیر مثبت دارند.) باشد، پی کامل است؛ این مسئله صدق‌پذیری هورن نامیده می‌شود.
قضیه کوک لوین عنوان می‌کند که مسئله دودویی صدق‌پذیری یک ان‌پی کامل است، در واقع این اولین مسئله‌ایست که اثبات شده ان‌پی کامل است.
همانطور که استفن کوک در سال ۱۹۷۱ اثبات کرد، مسئلهٔ SAT اولین مسئلهٔ ان‌پی کامل شناخته شد. (اثبات را در قضیه کوک لوین ببینید.) تا آن زمان مفهومی به نام ان‌پی کامل وجود نداشت. این مسئله ان‌پی کامل باقی می‌ماند هرچند که همهٔ عبارات به صورت عطفی معمولی با سه متغیر در هر عبارت (۳-CNF) باشند؛ یعنی عبارت به شکل زیر است:
در اینجا هر x یک "متغیر" است و هر متغیر می‌تواند چندبار در عبارت تکرار شوند.
یک ویژگی مهم اختصار کوک آن است که تعداد جواب‌های درست را نگه می‌دارد. به‌طور مثال اگر یک گراف 17 رنگ‌آمیزی سه‌گانه معتبر داشته باشد، قاعدهٔ SAT دارای 17 واگذاری ارضاپذیر است.
ان‌پی کامل فقط به زمان اجرا در بدترین حالت ارجاع می‌دهد. بسیاری از مواردی که در کاربردهای عملی اتفاق می‌افتند می‌توانند خیلی سریعتر حل شوند.
مسئلهٔ SAT آسان‌تر است اگر فرمول‌ها به صورت فصلی معمولی باشند، یعنی بین عبارات OR و در هر عبارت بین متغیرها AND قرار گرفته باشد. این فرمول‌ها صدق‌پذیر هستند اگر و تنها اگر حداقل یکی از عبارات آن صدق‌پذیر باشند، و یک عبارت صدق‌پذیر است اگر و تنها اگر به ازای هر متغیر x هم خودش و هم NOT آن را دربرنداشته باشد. این موضوع می‌تواند در زمان چندجمله‌ای بررسی شود.
همچنین مسئلهٔ SAT آسان‌تر است اگر تعداد متغیرهای یک عبارت به 2 محدود شده باشد، که در این حالت مسئله 2SAT نامیده می‌شود. این مسئله نیز می‌تواند در زمان چندجمله‌ای حل شود و در واقع برای ردهٔ ان‌ال کامل است. به‌طور مشابه اگر تعداد متغیرهای هر عبارت را به 2 محدود کرده و اعمال AND را به XOR تغییر دهیم، نتیجه یک "2-صدق‌پذیری XOR" است که یک مسئلهٔ کامل برای SL = L می‌باشد.
یکی از مهم‌ترین محدودیت‌های SAT، مسئلهٔ HORNSAT می‌باشد که فرمول، یک عطف از چند عبارت هورن باشد. این مسئله با الگوریتم ارضاپذیری هورن با زمان چندجمله‌ای قابل حل است، و در اصل پی-کامل می‌باشد. می‌تواند به صورت نسخه‌ای از ردهٔ پی برای مسئلهٔ صدق‌پذیری دودویی دیده شود.
در صورتی که رده‌های پیچیدگی پی و ان‌پی یکسان نباشند، برخلاف SAT هیچ‌کدام از این محدودیت‌ها ان‌پی کامل نیستند. این فرضیه که پی و ان‌پی یکسان نیستند هنوز اثبات نشده‌است.
3-صدق‌پذیری یک حالت خاص از k-SAT یا به‌طور ساده‌شده SAT است که هر عبارت دقیقاً k = 3 متغیر را شامل می‌شود. این یکی از 21 مسئله ان‌پی-کامل کارپ است.
در اینجا یک مثال می‌زنیم: (¬ نشان‌دهندهٔ نقیض است.)
E دارای دو عبارت (که با پرانتز مشخص شده‌اند)، چهار متغیر ("x", "x", "x", "x") و k = 3 (سه متغیر در هر عبارت) می‌باشد.
برای آنکه این مثال از مسئلهٔ تصمیم‌گیری را حل کنیم باید مشخص کنیم که آیا یک جدول درستی برای متغیرها وجود دارد به‌طوری‌که کل عبارت همواره درست باشد یا خیر. در این مثال با "درست" قرار دادن همه متغیرها، می‌توان E را همواره درست در نظر گرفت. واگذاری‌های متنوعی می‌توان انجام داد. اگر هیج واگذاری‌ای امکان‌پذیر نبود، جواب "خیر" خواهد بود.
3-SAT ان‌پی کامل است و به عنوان یک نقطهٔ شروع برای اثبات آنکه بقیهٔ مسائل هم ان‌پی سخت هستند استفاده می‌شود. این عمل با محدودیت زمانی چندجمله‌ای قابل انجام است. 3-SAT می‌تواند به یک-در-سه 3-صدق‌پذیری محدود شود که در آن ما "دقیقاً" می‌پرسیم که آیا یکی از متغیرها در هر عبارت درست هست یا خیر، به جای اینکه "حداقل" یک متغیر را بررسی کنیم. این محدودیت نیز ان‌پی کامل باقی می‌ماند.
بر اساس نظر شونینگ (1990) یک الگوریتم سادهٔ تصادفی وجود دارد که در زمان formula_5 اجرا می‌شود (n تعداد عبارات). این الگوریتم به احتمال قوی موفق می‌شود تا دربارهٔ 3-SAT درست تصمیم بگیرد. فرضیهٔ نمایی زمان آن است که هیچ الگوریتمی نمی‌تواند 3-SAT را در زمان formula_6 حل کند.
یک عبارت هورن است اگر حداکثر یک متغیر مثبت داشته باشد. این‌گونه عبارت‌ها مورد توجه هستند چون می‌توانند استلزام یک متغیر از مجموعه‌ای از متغیرها را بیان کنند. در واقع یک عبارت مانند formula_7 می‌تواند به شکل formula_8 بازنویسی شود، یعنی اگر formula_9 همه "درست" باشند، y هم باید "درست" باشد.
مسئلهٔ تصمیم‌گیری در مورد صدق‌پذیری عبارات هورن در پی (P) است. این مسئله نیز می‌تواند با یک مرحله از انتشار واحد حل شود که مدل کمینهٔ واحد از مجموعه‌ای از عبارات هورن ایجاد می‌کند.
یک تعمیم از ردهٔ فرمول‌های هورن، فرمول با قابلیت اسم‌گذاری دوبارهٔ هورن است که یک مجموعه از فرمول‌ها می‌باشد که با فرمت هورن می‌تواند با چند متغیر به همراه نقیض مربوطهٔ آن‌ها جایگزین شود. بررسی وجود این جایگزینی می‌تواند در زمان خطی انجام بگیرد؛ پس صدق‌پذیری همچین فرمولی در پی (P) است، چون می‌تواند اول با این جایگزینی و سپس بررسی صدق‌پذیری فرمول هورن نتیجه شده حل شود.
یک حالت خاص دیگر مسائلی هستند که در آن‌ها هر عبارت فقط اعمال XOR را شامل می‌شود. چون عمل XOR معادل جمع در زمینهٔ گالویس از اندازهٔ 2 است، عبارات می‌توانند مانند یک دستگاه معادلات خطی دیده شوند و از روش‌های متناظر مانند حذف گاوسی می‌توان برای یافتن راه‌حل آن‌ها استفاده کرد.
محدودیت‌های بالا (CNF، 2CNF، 3CNF، هورن) فرمول موردبررسی را به عطفی بودن زیرفرمول محدود می‌کنند؛ هر محدودیت یک شکل خاص برای همهٔ زیرفرمول‌ها مشخص می‌کند: به‌طور مثال، فقط عبارات دودویی می‌توانند یک زیرفرمول در 2CNF باشند.
قضیهٔ دوگانگی شافر عنوان می‌کند که برای هر محدودیتی بر اعمال بولی که می‌توانند این زیرفرمول‌ها را شکل دهند، مسئلهٔ صدق‌پذیری متناظر یک پی یا ان‌پی کامل است. عضویت در پی (P) برای صدق‌پذیری 2CNF و فرمول هورن، حالت‌های خاصی از این قضیه هستند.
همانطور که در بالا به‌طور خلاصه بیان شد، هرچند که مسئله، ان‌پی کامل است، مثال‌های عملی زیادی می‌توانند خیلی زود حل شوند. اکثر مسائل عملی در حقیقت "آسان" هستند، پس حل‌کنندهٔ SAT به آسانی می‌تواند یک راه‌حل بیابد یا اثبات کند که وجود ندارد؛ با وجود آنکه آن مورد هزاران متغیر و ده‌ها هزار محدودیت دارد. بقیهٔ مسائل کوچک زمان‌های اجرایی را ارائه می‌دهند که به صورت نمایی باشند و به مرور غیرعملی شده‌اند. متأسفانه هیچ راه قابل اطمینانی وجود ندارد که سختی مسئله را بدون امتحان آن بیان کند. پس تقریباً همهٔ حل‌کننده‌های SAT شامل زمان‌های اضافه می‌شوند، پس با آنکه هیچ راه‌حلی نیافته‌اند اما به پایان خواهند رسید. در نهایت حل‌کننده‌های SAT مختلفی موارد مختلف آسان یا سخت را پیدا خواهند کرد و بعضی از آن‌ها در اثبات صدق‌ناپذیری و دیگران در یافتن راه‌حل برترند. همهٔ آن رفتارها در مسابقه‌های حل SAT دیده می‌شوند.
از یک الگوریتم که به درستی می‌گوید یک مثال از SAT قابل‌حل است یا نه، می‌توان برای یافتن واگذاری صدق‌پذیر استفاده کرد. در ابتدا سؤال از فرمول formula_10 پرسیده می‌شود. اگر جواب "خیر" باشد، فرمول صدق‌ناپذیر است. در غیر این صورت سؤال از formula_11 پرسیده می‌شود، یعنی اولین متغیر 0 در نظر گرفته می‌شود. اگر جواب "خیر" باشد، فرض می‌کنیم formula_12. به همین ترتیب مقادیر بقیهٔ متغیرها به دست می‌آیند.
این ویژگی در تئوری‌های مختلفی از قضیهٔ پیچیدگی استفاده می‌شود:
دو رده از الگوریتم‌های با کارایی بالا برای حل مسائل SAT وجود دارد: الگوریتم تضاد-راندهٔ شناختن عبارت، که می‌توان به عنوان نوعی دیگر از الگوریتم‌های DPLL به آن نگاه کرد، و همچنین الگوریتم‌های اتفاقی جستجوی محلی مانند WalkSAT.
یک حل‌کنندهٔ مسئلهٔ صدق‌پذیری DPLL، یک روند جستجوی بازگشتی اصولی را به کار می‌گیرد تا فاصلهٔ واگذاری متغیرها برای یافتن واگذاری صدق‌پذیر را کشف کند. در اوایل دههٔ 60 میلادی، روند اصلی جستجو در دو مقاله مطرح شد (منابع زیر را ببینید) و حال به عنوان الگوریتم دیویس-پاتنام-لاگمن-لاولند (یا به اختصار DPLL یا DLL) مشهور است. از لحاظ تئوری کران پایین نمایی برای خانوادهٔ الگوریتم‌های DPLL اثبات شده‌است.