title: ماشین تورینگ غیرقطعی

text: DTMهای ۳ نواره به آسانی با DTM تک نواره معمولی شبیه‌سازی می‌شود. در این روش ساخت، ِDTM حاصل جستجوی اول سطحی از درخت محاسبات NTM را انجام می‌دهد؛ و همهٔ حالات ممکن را می‌بیند تا وقتی که یک کدام را پذیرش کند.


title: ماشین تورینگ غیرقطعی

text: بنابراین، طول مسیرپذیرش در DTM نمایی است با توجه به طول کوتاهترین مسیر پذیرش درNTM. این یک ویژگی کلی شبیه‌سازی NTM با DTM است. مشهورترین مسئلهٔ حل نشده در علوم کامپیوتر مسئله P = NP به این موضوع مربوط است.


title: ماشین تورینگ غیرقطعی

text: NTM این خاصیت را دارد. مثلاً اگر NTM با ورودی نوار داده شده متوقف شود آنگاه روی تعداد مراحل محدودی متوقف شده بنابراین تنها می‌تواند تعداد محدودی حالت ممکن داشته باشد. مقایسه با کامپیوترهای کوانتوم این یک تصور غلط است که کامپیوترهای کوانتوم NTM می‌باشند. این باورشده‌است اما هنوز اثبات نشده‌است که قدرت کامپیوترهای کوانتوم قابل مقایسه با NTMهاست. مسئله‌ای وجود دارد که NTM به‌طور مؤثر می‌تواند حلش کند اما کامپیوتر کوانتوم نمی‌تواند. از مسائل قابل حل با NTM اما غیرقابل حل با کامپیوترهای کوانتوم در زمان چندجمله‌ای مسائل NP-complete می‌باشند.


title: ماشین تورینگ غیرقطعی

text: NTM این خاصیت را دارد. مثلاً اگر NTM با ورودی نوار داده شده متوقف شود آنگاه روی تعداد مراحل محدودی متوقف شده بنابراین تنها می‌تواند تعداد محدودی حالت ممکن داشته باشد.


title: ماشین تورینگ غیرقطعی

text: این یک تصور غلط است که کامپیوترهای کوانتوم NTM می‌باشند. این باور شده است اما هنوز اثبات نشده‌است که قدرت کامپیوترهای کوانتوم قابل مقایسه با NTMهاست. مسئله‌ای وجود دارد که NTM به‌طور مؤثر می‌تواند حلش کند اما کامپیوتر کوانتوم نمی‌تواند. از مسائل قابل حل با NTM اما غیرقابل حل با کامپیوترهای کوانتوم در زمان چندجمله‌ای مسائل NP-complete می‌باشند.


title: ماه ملی مربیگری

text: ماه ملی مربی گری نام یک کمپین است که در سال 2002، برای ارتقای مشاوره جوانان و نوجوانان ، که هرساله در ایالات متحده در ماه ژانویه برگزار می‌شود.


title: مجاری

text: مجاری ممکن است به یکی از موارد زیر اشاره داشته باشد:


title: لیتوانیایی

text: لیتوانیایی ممکن است به یکی از موارد زیر اشاره داشته باشد:


title: استنلی آر. جفی

text: استنلی ریچارد جفی (؛ زادهٔ ) تهیه‌کننده اهل ایالات متحده آمریکا است. وی تا کنون در فیلم‌هایی مانند "کرامر علیه کرامر"، "متهم" و "جذابیت مرگبار" فعالیت داشته است.


title: کتاب میکاه

text: کتاب میکاه نام یکی از کتاب‌های انبیای بنی اسرائیل است این کتاب در مجموعه کتاب مقدس، به نام او می‌باشد کتاب میکاه سی و سومین کتاب از مجموعه کتاب مقدس به شمار می‌رود و در ردیف کتاب‌های عهد قدیم به شمار می‌آید و ششمین کتاب از مجموعه "انبیای کوچک" محسوب می‌شود.


title: نروژی

text: نروژی یا نارویژی ممکن است به یکی از موارد زیر اشاره داشته باشد:


title: پرشین

text: پرشین ممکن است به یکی از موارد زیر اشاره داشته باشد:


title: لهستانی

text: لهستانی ممکن است به یکی از موارد زیر اشاره داشته باشد:


title: رومانیایی

text: رومانیایی ممکن است به یکی از موارد زیر اشاره داشته باشد:


title: سندی (ابهام‌زدایی)

text: سندی ممکن است به یکی از موارد زیر اشاره داشته باشد:


title: اسلواکیایی

text: اسلواکیایی یا اسلواک ممکن است به یکی از موارد زیر اشاره داشته باشد:


title: سواحلی

text: سواحلی ممکن است به یکی از موارد زیر اشاره داشته باشد:


title: مگ ماندی

text: مگ ماندی (؛ زادهٔ - درگذشته ) هنرپیشه و مدل پیشین آمریکایی متولد انگلستان بود. وی در لندن متولد شد اما در سن شش سالگی در سال ۱۹۲۱ به ایالات متحده رفت. از فیلم‌هایش می‌توان به "مردم معمولی" اشاره کرد.


title: لیلی متین‌دفتری

text: لیلی متین دفتری (زاده ۱۳۱۵ در تهران - درگذشته ۱۳۸۶ در پاریس) نقاشی ایرانی است. وی از هنرمندان هنر نوگرا و معاصر ایران و از بنیان‌گذاران سبک نقاشی مینی‌مالیستی یا ساده‌گرایانه در ایران به حساب می‌رود. او دختر احمد متین‌دفتری، نخست‌وزیر ایران بود و تا پیش از انقلاب ۱۳۵۷ ایران، در حلقهٔ دوستان نزدیک فرح پهلوی قرار داشت.


title: لیلی متین‌دفتری

text: لیلی گلستان، لیلی متین دفتری را از پیشگامان نقاشی زنان ایرانی می‌داند.


title: لیلی متین‌دفتری

text: او در ۱۹۵۶ تا ۱۹۵۹ در مدرسه‌ي هنر اسلید در یونیورسیتی کالج لندن و سپس در کالج هنر کامبرول تحصیل کرده بود و تا سال ۱۳۵۷ در دانشگاه تهران پنج سال مجسمه‌سازی درس داد. او دختر احمد متین‌دفتری، نخست وزیر سابق ایران، خواهر هدایت الله متین دفتری و نوه محمد مصدق، نخست وزیر سابق ایران بود. متین دفتری، علاقهٔ زیادی به مصاحبه با رسانه‌ها نداشت و این موجب شد تا نزد مردم، ناشناخته بماند.


title: ابوزبیده

text: ابوزبیده زاده یک شهروند عربستان سعودی است که در مارس ۲۰۰۲ (میلادی) توسط ایالات متحده آمریکا در پاکستان به دلیل همکاری با القاعده بازداشت شد و در بازداشتگاه گوانتانامو نگهداری می‌شود.


title: ابوزبیده

text: دلیل بازداشت بودن او همکاری با گروهک تروریستی القاعده است.


title: ابوزبیده

text: او از شکنجه شدگان در زندان آژانس اطلاعات مرکزی (سیا) در تایلند است. سر ابوالزبیده بارها به دیوار کوبانده شده و در طول یک ماه ۸۳ بار در شرایط القای حس خفگی با آب قرار داده شده بود. بازرسان آژانس اطلاعات مرکزی (سیا) در پایان به این نتیجه رسیدند که الزبیده "اطلاعات خاصی" برای فاش کردن ندارد. بنابر گزارش روزنامه نیویورک تایمز، جینا هسپل (تأسیس‌کننده این زندان در تایلند) در آن هنگام دستور نابودی نوارهای ضبط شده از این بازجویی‌ها را صادر کرد.


title: عبدالرحیم النشیری

text: عبدالرحیم النشیری زاده یک شهروند عربستان سعودی است که در نوامبر ۲۰۰۲ (میلادی) توسط ایالات متحده آمریکا در دبی به دلیل همکاری با القاعده بازداشت شد. او در زندان گوانتانامو نگهداری می‌شود.


title: عبدالرحیم النشیری

text: او از شکنجه‌شدگان در زندان آژانس اطلاعات مرکزی (سیا) در تایلند است.


title: عبدالرحیم النشیری

text: ابوزبیده ۲ بار در زندان گوانتانامو توسط روش القای حس خفگی با آب شکنجه شد.


title: غلامحسین نامی

text: غلامحسین نامی از پیشگامان جنبش هنر مدرن درنقاشی معاصر ایران است.


title: غلامحسین نامی

text: نامی در سال ۱۳۱۵ شمسی در قم زاده شد. در ۱۳۴۳ با مدرک کارشناسی نقاشی از دانشکده هنرهای زیبای دانشگاه تهران فارغ‌التحصیل شد. در ۱۳۵۹ فوق لیسانس خود را از دانشگاه ویسکانسین گرفت.


title: غلامحسین نامی

text: نامی از ۱۳۴۳ تا ۱۳۶۵ در هنرستان هنرهای تجسمی، از ۱۳۴۸–۱۳۵۱در انستیتو تکنولوژی ونک، از ۱۳۴۷–۱۳۵۴ و از۱۳۶۶–۱۳۶۵ در دانشگاه الزهرا (سابقاً مدرسه عالی دختران)، از ۱۳۵۶–۱۳۵۲ در دانشکدهٔ هنرهای تزئینی «دانشگاه هنر فعلی»، از ۱۳۵۱–۱۳۶۶ در دانشکدهٔ معماری و شهرسازی دانشگاه علم و صنعت ایران، از ۱۳۶۴–۱۳۷۱در مرکز آموزش هنر فرهنگسرای نیاوران، از۱۳۵۱–۱۳۶۶ در دانشگاه آزاد اسلامی تدریس کرده‌است. غلامحسین نامی از مؤسسان گروه آزاد نقاشان و مجسمه سازان در سال ۱۳۵۳ است. اعضای این گروه عبارت بودند از: مرتضی ممیز- مارکو گریگوریان، غلامحسین نامی، فرامرز پیلآرام، مسعود عربشاهی، سیراک ملکنیان و عبدالرضا دریابیگی. او از بنیانگذاران انجمن هنرمندان نقاش ایران است و از ۱۳۷۷ تا ۱۳۸۰ ریاست انجمن هنرمندان نقاش ایران را برعهده داشته‌است. غلامحسین نامی از اعضای هیئت مؤسس و عضو شورایعالی و مشاور عالی خانهٔ هنرمندان ایران است.


title: غلامحسین نامی

text: جوایز:


title: غلامحسین نامی

text: ۱۳۴۵- جایزه اول در نمایشگاه گروهی هنرمندان ایران به مناسبت روز مادر در گالری بورگز تهران


title: غلامحسین نامی

text: ۱۳۴۵- جایزه بورس دولت ایتالیا در پنجمین بینال منطقه ای تهران.


title: غلامحسین نامی

text: ۱۳۴۶-مانسیون افتخار در نمایشگاه گروهی به مناسبت روز مبارزه با بی سوادی، موزه ایران باستان، تهران.


title: غلامحسین نامی

text: ۱۳۴۷- جایزه اول در نمایشگاه هنرمندان ایران به مناسبت روز جهانی حقوق بشر، موزه ایران باستان تهران.


title: غلامحسین نامی

text: ۱۳۴۹- جایزه ملی دولت فرانسه در فستیوال بین‌المللی " کانی سورمر " کشور فرانسه.


title: غلامحسین نامی

text: ۱۳۵۱- بورس یک ساله تحصیلی از دانشگاه «تمپل» شهر فیلادلفیا، آمریکا.


title: غلامحسین نامی

text: ۱۳۵۹دو مدال طلا و عضویت رسمی «آکادمی هنر و کار ایتالیا»


title: غلامحسین نامی

text: ۱۳۶۲-جایزه ویژه فرهنگی و هنری بین‌المللی " مجسمه پیروزی ", از مرکز مطالعات و پژوهش فرهنگی ایتالیا.


title: غلامحسین نامی

text: ۱۳۶۲-مدال طلا از پارلمان بین‌المللی آمریکا، به پیشنهاد و معرفی آکادمی هنر و کار ایتالیا.


title: غلامحسین نامی

text: ۱۳۶۳- جایزه مجسمه «شعله طلائی» از پارلمان بین‌المللی آمریکا.


title: غلامحسین نامی

text: ۱۳۶۳- جایزه " پرچم اروپائی هنر " همراه با مدال طلا، از آکادمی اروپا، ایتالیا.


title: غلامحسین نامی

text: ۱۳۶۴-جایزه " اسکار ایتالیا ۱۹۸۵" , از آکادمی ایتالیا.


title: غلامحسین نامی

text: ۱۳۶۶- جایزه «نخل طلائی اروپا» از آکادمی اروپا، ایتالیا.


title: غلامحسین نامی

text: موزه‌ها و مجموعه‌ها :


title: غلامحسین نامی

text: چندین اثر نقاشی، طراحی و مجسمه در گنجینه موزه هنرهای معاصر تهران.


title: غلامحسین نامی

text: دو اثر نقاشی در موزه هنر کرمان.


title: غلامحسین نامی

text: چند اثر در موزه هنرهای زیبای کاخ سعدآباد تهران.


title: غلامحسین نامی

text: یک اثر در مجموعه دائمی «اینترنشنال هاوس» در شهر فیلادلفیا، آمریکا.


title: غلامحسین نامی

text: یک اثر در مجموعه هنری دانشگاه «تمپل»، شهر فیلادلفیا، امریکا.


title: غلامحسین نامی

text: دو اثر در موزه هنر شهر میلواکی در ایالت ویسکانسین، آمریکا.


title: غلامحسین نامی

text: دو اثر در مجموعه هنری دانشگاه ویسکانسین، شهر میلواکی، آمریکا.


title: غلامحسین نامی

text: و بسیاری آثار دیگر در مجموعه‌های هنری شخصی در ایران و خارج از ایران.


title: غلامحسین نامی

text: فروش تعداد زیادی از آثار نقاشی در حراج‌های بین‌المللی مانند: کریستیز، بونامز و حراج هنری تهران


title: غلامحسین نامی

text: فعالیت‌های هنری:


title: غلامحسین نامی

text: غلامحسین نامی، بیش از بیست نمایشگاه فردی و بی شمار نمایشگاه‌های گروهی درایران و فستیوال‌های جهانی داشته‌است.


title: غلامحسین نامی

text: از ۱۳۵۶ تا ۱۳۵۷ مسئول برنامه‌ریزی هنرهای تجسمی در اداره کل آموزش و پژوهش هنری وزارت فرهنگ و هنر.


title: غلامحسین نامی

text: ۱۳۵۳ سرپرست هنرستان هنرهای تجسمی دختران «بهزاد»، وابسته به وزارت فرهنگ و هنر.


title: غلامحسین نامی

text: ۱۳۵۹ معاونت هنری اداره کل آموزش و پژوهش هنری وزارت فرهنگ و ارشاد اسلامی.


title: غلامحسین نامی

text: ۱۳۷۸ دبیر اولین نمایشگاه بین‌المللی طراحی معاصر ایران در موزه هنرهای معاصر تهران.


title: غلامحسین نامی

text: ۱۳۷۷ تا ۱۳۸۰, رئیس انجمن هنرمندان نقاش ایران.


title: غلامحسین نامی

text: ۱۳۷۹ دبیر نمایشگاه طراحی معاصر ایران " چشم انداز ۷۹", موزه هنرهای معاصر ایران.


title: غلامحسین نامی

text: ۱۳۷۸ عضو هیئت داوری در چهارمین نمایشگاه هنرهای تجسمی جوانان کشور عمان.


title: غلامحسین نامی

text: ۱۳۸۰ عضو هیئت داوری در پنجمین بینال نقاشی تهران.


title: غلامحسین نامی

text: از اعضای هیئت مؤسس و عضو شورایعالی و مشاور عالی خانه هنرمندان ایران.


title: غلامحسین نامی

text: ۱۳۸۱ تا ۱۳۸۳ عضو هیئت علمی نمایشگاه های «هنرهای جدید» در موزه هنرهای معاصر تهران و دانشگاه تهران.


title: غلامحسین نامی

text: ۱۳۸۲ رئیس هیئت داوری در یازدهمین بینال آسیائی داکا، بنگلادش.


title: غلامحسین نامی

text: ۱۳۸۶ بنیانگذاری مرکز هنرهای ایرانی- کانادائی نامی در شهر تورونتو کانادا


title: غلامحسین نامی

text: ۱۳۹۵ بنیانگذاری " انجمن هنرهای تجسمی ایرانی- کانادائی، ایکوا در شهر تورونتو، کانادا.


title: هنرستان هنرهای زیبای پسران

text: هنرستان هنرهای زیبای پسران هنرستانی پسرانه در تهران برای آموزش هنرهای تجسمی است. این هنرستان پس از انقلاب تا سال ۱۳۸۴ هنرستان هنرهای تجسمی نامیده می‌شد. هنرستان در خیابان نورمحمدی نرسیده به پیچ شمیران واقع است.


title: هنرستان هنرهای زیبای پسران

text: در سال ۱۳۲۸ در پی ایجاد وزارت فرهنگ و هنر در وظایف بنیاد نامهٔ ادارهٔ آموزش هنری آن تأسیس هنرستان‌های هنرهای زیبا پیش‌بینی شد. این هنرستان در سال ۱۳۳۲ به‌طور مختلط تأسیس شد. در سال ۱۳۳ هنرستان هنرهای زیبای پسران تفکیک شد و تا سال ۱۳۳۴ در هر سه سال کلاس داشت. دانش آموزانی که سال سوم دبیرستان را طی کرده و سنشان از ۱۹ سال کمتر بود می‌توانستند در این هنرستان درخواست پذیرش بدهند. دورهٔ این هنرستان سه ساله بود و مدرک دیپلم اعطا می‌کرد. تا سال ۱۳۵۵ هنرجویان پذیرفته شده در هنرستان از کمک هزینه تحصیلی برخوردار بودند. پس از سال تحصیلی ۱۳۵۵-۱۳۵۴ و شروع نظام جدید که منجر به حذف کلاس سوم دبیرستان شد، نیاز به گواهی قبولی سوم راهنمایی داشتند. این دبیرستان پس از انقلاب کار خود را در سال ۱۳۶۰ با نام هنرستان هنرهای تجسمی شروع کرد. مراسم شصتمین سالگرد تأسیس این هنرستان در اسفند ۱۳۹۱ در موزه هنرهای معاصر تهران برگزار شد.


title: هنرستان هنرهای زیبای پسران

text: مواد درسی هنرستان از ابتدا مشتمل بر دو دستهٔ عملی (نقاشی، مجسمه‌سازی، مینیاتور، مستند ملی و طرح‌های تزئینی) و نظری (ریاضیات، زبان خارجه، پرسپکتیو (مناظر و مرایا) تاریخ هنر، کالبد شناسی، رنگ شناسی، خط، هندسه، و ورزش) بوده‌است.


title: هنرستان هنرهای زیبای پسران

text: به گفته عنایت سمیعی، منتقد ادبی و از استادان هنرستان، این مؤسسه از زیر ساخت‌های مهم شکل گیری هنر مدرن در ایران است که در ارتقای سطح هنرهای تجسمی در این کشور نقش داشته‌است.


title: هنرستان هنرهای زیبای پسران

text: از استادان هنرستان می‌توان به جلیل ضیاء پور، یحیی ذکاء، سیمین دانشور، جلال آل احمد، اسماعیل زاویه، شکوه ریاضی، لیلیت تریان، منصوره حسینی، جواد حمیدی، محمود جوادی پور، احمد اسفندیاری، محسن وزیری مقدم، سهراب سپهری، مارکو گریگوریان، هانیبال الخاص، محمود فرشچیان، محمد تجویدی، علی قهاری، منوچهر معتبر، پرویز ایزدپناه، عنایت الله سمیعی، اصغر محمدی، آیدین آغداشلو، عباس مشهدی زاده، داریوش شریف‌آبادی، محمدرضا ایمانی، غلامحسین نامی، محمدابراهیم جعفری، مجید مهرگان، محمدباقر آقامیری، علی یادگار یوسفی، احمد رؤیایی، جلال متولی، رضا فضائلی، محسن فولادپور و مرتضی شمیسا ،اشاره کرد.


title: هنرستان هنرهای زیبای پسران

text: از میان دانش آموختگان این هنرستان می‌توان به منصور قندریز، چنگیز شهوق، مسعود عربشاهی، صادق تبریزی، آرمین ترکمندی، امیرحسین خواجه لو،حسین زنده رودی، فرامرز پیلارام، مجید عباسی، جعفر روحبخش، مهدی حسینی، رضا بانگیز، کامبیز درمبخش، علیرضا اسپهبد، واحد خاکدان، حبیب‌الله صادقی، حسین خسروجردی، کاظم چلیپا، مرتضی اسدی، رضا عابدینی، کامیار صادقی، بیژن میرباقری، مجید زمانی، ناصر عزیزی، مصطفی و مرتضی دره‌باغی، پویا آریانپور، حمیدرضا اندرز، وحید اسلامی عرب، پیام عبدالصمدی، مهران صابر، حسن کریم زاده، داود موسوی، سیامک فیلی زاده، کسری عابدینی، احمد مرشدلو، علی عامه کن، مهدی محب علی، بهروز فائقیان، حسین علی عسگری، احسان قائمی، علیرضا محمود زاده، وحید چمانی، سینا خاتمی و کامبیز درم بخش اشاره کرد.


title: آلف خوباریا

text: آلف شوبری (; – ) کارگردان تئاتر و سینمای اهل سوئد بود. وی بین سال‌های ۱۹۲۵ تا ۱۹۶۹ میلادی فعالیت می‌کرد. او دو مرتبه در جشنواره فیلم کن برندهٔ نخل طلایی شد. یکبار برای فیلم "ایریس و ستوان" در سال ۱۹۴۶ و یکبار در سال ۱۹۵۱ برای فیلم "خانوم جولی" . وی با وجود موفقیت فیلم‌هایی مثل "عذاب" و "خانوم جولی" در درجهٔ نخست کارگردان تئاتر بود.


title: پژوهش‌های کاربردی‌سازی

text: پژوهشهای کاربردی سازی از سوی سازمان ملی بهداشت NIH این‌گونه تعریف شده‌است: "پژوهشهای کاربردی سازی دربرگیرنده دو زمینه برای کاربردی سازی است. یک زمینه دربارهٔ فرایند بکارگیری یافته‌های نو آزمایشگاهی و پیش بالینی برای آزمایش نمودن در انسان است و زمینه دیگر، پژوهشهایی هستند که با انگیزه بهره‌گیری هر چه بیشتر از بهترین روشهای ممکن پژوهش در جامعه علمی انجام می‌گیرند".


title: پژوهش‌های کاربردی‌سازی

text: اعضای کمیته ارزشیابی برای انجمن آموزش پژوهشهای بالینی ACRT تعریف کاربردی زیر را پیشنهاد داده‌اند: "پژوهش‌های کاربردی سازی، یکپارچه شدن چندجانبه پژوهشهای پایه، پژوهشهای بیمار–محور، و پژوهشهای جمعیت–محور را با هدف بلند مدت بهبود بخشیدن سلامت جامعه امکانپذیر می‌کنند. در گام نخست پژوهش کاربردی سازی (T1)، چگونگی پیوند میان پژوهش پایه و پژوهش بیمار–محور که به یافته‌های نو یا استانداردهای بهتر بینجامد بررسی می‌شود. گام دوم (T2)، پیوند میان پژوهش بیمار–محور و پژوهش جمعیت–محور را که به بهبود هر چه بیشتر بیماران، پیاده‌سازی بهترین روشهای ممکن و بهتر شدن تندرستی همگانی بینجامد امکانپذیر می‌نماید. گام سوم پژوهش (T3) برهم کنشهای میان پژوهش آزمایشگاه–محور و پژوهش جمعیت–محور را افزایش می‌دهد تا یک دریافت تازه علمی از سلامتی و بیماری انسان به دست دهد."


title: طی‌الزمان

text: در اندیشه عرفانی، طی‌الزمان از جمله قدرت‌های معنوی یا کراماتی در میان عارفان و صوفیان به شمار می‌رود که ادعا می‌شود توسط آن، فرد می‌تواند در زمانی اندک به زمانی بسیار دورتر – آینده یا گذشته – برود.


title: طی‌الزمان

text: سید محمدحسین حسینی طهرانی در معادشناسی طی‌الزمان را اینگونه شرح می‌دهد: «"طیّ الزّمان یعنی زمان‌های بسیار طولانی را در لحظاتی کوتاه انسان بپیماید؛ مثلاً در چند لحظه از اوّل ماه محرّم الحرام داخل در اوّل ماه صفر المظفّر گردد. بنده تا بحال در کتابی به این قسم از پیمودن زمان برخورد نکرده‌ام و میان علماء و بزرگان از اهل کمال نیز مشهور و معروف نیست"»


title: طی‌الزمان

text: حسن حسن‌زاده آملی در "انه الحق" اینگونه شرح می‌دهد: «"انسان کامل که مؤید به روح القدس است بر اثر استشراف و استشراق به انوار قاهره به خصوص به نور الانوار «طی زمان» می‌نماید، چنان‌که در آنی سریع‌تر از انتقال حدسی راه چندین هزار ساله را می‌پیماید."»


title: دوسالانه

text: دوسالانه هنری رویدادی است که هر دو سال یک بار برگزار می‌شود و در آن کارهای هنری به نمایش گذاشته می‌شوند. مشخصه اصلی دوسالانه، مسابقه‌ای است که در آن کسی به عنوان برترین هنرمند شرکت‌کننده در آن دوسالانه برگزیده می‌شود. بزرگترین دوسالانه موجود در جهان دوسالانه ونیز، ایتالیا، است که در آن هنرمندانی از سراسر جهان آثار هنری خود را عرضه می‌کنند.


title: دوسالانه

text: دوسالانه‌ها گاه می‌توانند نه صرفاً از سوی یک کشور، بلکه از سوی بنیادی معتبر برگزار شوند. برای نمونه، موزه هنرهای معاصر تهران در پیش و پس از انقلاب ۱۳۵۷ اقدام به برگزاری دوسالانه‌های هنر نوین در ایران کرده‌است.


title: دوسالانه

text: دوسالانه‌های بین‌المللی به هنرمندان در ارائه هنر خود در سطح جهانی کمک می‌کنند. با فروپاشی دیوار برلین و پایان جنگ سرد، هنرمندان بسیاری از کشورهای اروپای شرقی نیاز به ارائه کارهای خود در مکان‌هایی به جز کشورهای خود داشتند و این باعث رونق گرفتن نمایشگاه‌های دوسالانه در اروپا و جهانی شدن هنر شد.


title: چرخه حیات فناوری

text: چرخه حیات تکنولوژی (TLC) منفعت تجاری یک محصول در هزینهٔ مرحلهٔ تحقیقات و تولید و بازگشت مالی در حین «زندگی حیاتی» اش را توصیف می‌کند. بعضی تکنولوژی‌ها، مانند ساخت فولاد، کاغذ یا سیمان طول عمر زیادی دارند (با انواع کمتر در تکنولوژی که با زمان گنجانیده شده‌است) در حالی که در دیگر موارد، مانند محصولات دارویی و الکتریکی، طول عمر ممکن است بسیار کوتاه باشد.


title: چرخه حیات فناوری

text: TLC همراه با محصول یا سرویس تکنولوژیکی با چرخه حیات محصول (PLC) که در مدیریت چرخه حیات محصول درگیر می‌شود، تفاوت دارد. دومی با زندگی یک محصول در بازار با توجه به زمان‌بندی معرفی، اندازه‌های بازاری و هزینه‌های تجارتی درگیر است. تکنولوژی ای که محصول بر مبنای آن است (برای مثال، چای طعم دار خاص) ممکن است که کاملاً حاشیه‌ای باشد اما فرایند ساخت و مدیریت زندگی اش به عنوان یک محصول مارک دار بسیار متفاوت خواهد بود.


title: چرخه حیات فناوری

text: چرخه حیات تکنولوژی به زمان و هزینهٔ ساخت تکنولوژی، جدول زمانی هزینه بازسازی و حالت‌های تولید تکنولوژی برای اینکه سود مناسب نسبت به هزینه و خطر پذیرفته شده به دست آید، مرتبط است. TLC ممکن است که در حین گردشش توسط حق تثبیت اختراع و علامت‌های تجاری که به دنبال طولانی کردن گردش و گرفتن حداکثر سود از آن می‌باشند، محافظت شود. محصول تکنولوژی ممکن است که فقط یک کالا مانند پلاستیک پلی اتیلن یا یک محصول پیچیده مانند ICهایی که در تلفن‌های هوشمند استفاده می‌شوند، باشد.


title: چرخه حیات فناوری

text: توسعهٔ یک محصول یا فرایند رقابتی می‌تواند تأثیر اصلی روی طول عمر تکنولوژی بگذارد و آن را کوتاه‌تر کند. به همان اندازه، کمبود حقوق مالکیت عقلانی در طول دعوی قضایی یا کمبود عناصر مخفیانهٔ آن (اگر وجود دارد) در طول کسری‌هایش همچنین ممکن است برای کاهش طول عمر تکنولوژی کار کند؛ بنابراین، واضح است که مدیریت TLC جنبهٔ مهمی در توسعهٔ تکنولوژی می‌باشد. در آسان‌ترین قاعده سازی، نوآوری می‌تواند ترکیبی از تحقیقات، تولید، نمایش و توسعه باشد.


title: چرخه حیات فناوری

text: اکثر تکنولوژی‌های جدید یک چرخه حیات بلوغ تکنولوژی مشابه را دنبال می‌کنند که بلوغ تکنولوژیکی یک محصول را تشریح می‌کند. این با یک چرخه حیات محصول یکسان نیست، بلکه برای یک تکنولوژی کامل یا یک نسل تکنولوژی استفاده می‌شود.


title: چرخه حیات فناوری

text: اتخاذ تکنولوژی متداول‌ترین پدیده‌ای است که تکامل صنعت‌ها را به همراه چرخه حیات صنعت اداره می‌کند. بعد از گسترش استفاده‌های جدید از منابع، آن‌ها به تمام کردن بهره‌وری این فرایندها می‌رسند، تولیدهایی که در ابتدا آسان‌تر و بزرگتر هستند و در طول زمان به‌طور طاقت فرسایی سخت می‌شوند، همان‌طور که تکنولوژی بالغ تر می‌شود.شکل چرخه حیات تکتولوژی اغلب به عنوان یک منحنی S ابلاغ شده‌است.


title: چرخه حیات فناوری

text: معمولاً برانگیختگی تکنولوژی در ابتدای هر تکنولوژی جدید وجود دارد، اما تنها بعد از اینکه زمانی گذشته‌است می‌توان بدون برانگیختگی قضاوت شود. به دلیل طبیعت منحنی منطقی اتخاذ تکنولوژی، دیدن در مراحل اولیهٔ سخت است هر چند که این برانگیختگی بیش از حد باشد.


title: چرخه حیات فناوری

text: دو خطا به‌طور متداول در مراحل اولیهٔ تولید یک تکنولوژی پیش می‌آید: مشابهاً در مراحل آخر، اشتباهات متضادی مرتبط به امکان بلوغ تکنولوژی و اشباع بازار ممکن است که پیش بیاید. اتخاذ تکنولوژی معمولاً در یک منحنی S، همان‌طور که در انتشار تئوری نوآوری مدل سازی شده بود، اتفاق می‌افتد. این به این خاطر است که مشتری‌ها به محصولات جدید به روش‌های متفاوتی واکنش نشان می‌دهند. انتشار تئوری نوآوری، توسط اورت راجرز، ثابت کرد که مردم سطوح متفاوتی از آمادگی برای اتخاذ نوآوری‌های جدید را دارند و ویژگی‌های یک محصول بر اتخاذ کلی تأثیر می‌گذارد. راجرز افراد را به ۵ گروه دسته‌بندی کرد: پیشروها، پذیرندگان سریع، اکثریت سریع، اکثریت کند و عقب ماندگان. از لحاظ منحنی S، پیشروها ۲٫۵ درصد، پذیرندگان سریع ۱۳٫۵ درصد، اکثریت سریع ۳۴ درصد، اکثریت کند ۳۴ درصد و عقب ماندگان ۱۶ درصد را اشغال می‌کنند. چهار مرحلهٔ چرخهٔ زندگی تکنولوژی این‌ها هستند:


title: شترمرغ شاخدار شمالی

text: شترمرغ شاخدار شمالی یا شترمرغ شاخدار گردن‌طلایی نوعی پرنده بی‌پرواز بومی گینه نو است. این جانور سومین پرندهٔ بزرگ دنیا پس از شترمرغ و شترمرغ شاخدار جنوبی است. نرها ۳۰ تا ۳۷ کیلوگرم و ماده‌ها به طور میانگین ۵۸ کیلوگرم وزن دارند. ارتفاع آنها ۱۵۰ تا ۱۸۰ سانتی‌متر و طولشان ۱۴۹ سانتیمتر است.


title: شترمرغ شاخدار شمالی

text: این پرنده پرهای مشکی سخت و سیخ و صورتی آبی‌رنگ دارد. گردن آن به رنگ قرمز روشن یا زرد است و تاجی استخوانی بر سر دارد. پاهایش بزرگ و نیرومند است و پنجه‌ای خنجرمانند دارد. شترمرغ شاخدار در باتلاق‌های ساحلی و جنگل‌های بارانی کم‌ارتفاع شمال گینه نو و سه جزیره اطراف آن زندگی می‌کند و غذای آن از جانوران کوچک و میوه‌ها تشکیل می‌شود.


title: شترمرغ شاخدار شمالی

text: پرنده چندهمسر ماده در آشیانه‌ای که پرنده نر آماده کرده سه تا پنج تخم می‌گذارد اما خوابیدن روی تخم‌ها و مراقبت از جوجه‌ها تا نه ماه بر عهده جنس نر است.


title: شترمرغ شاخدار کوتوله

text: شترمرغ شاخدار کوتوله که به کاسواری کوتوله یا بِنِتی یا کوهستانی هم معروف است، نوعی پرنده بی‌پرواز بومی گینه نو از گروه شترمرغ شاخدار است. این حیوان بومی کوهستان‌های مرکزی گینه نو و دو جزیره بریتانیای نو و یاپن است.


title: شترمرغ شاخدار کوتوله

text: این پرنده زمین‌زی در مقایسه با پرندگان دیگر کاملاً بزرگ است اما کمی کوچکتر از دو کاسواری دیگر (شترمرغ شاخدار شمالی و شترمرغ شاخدار جنوبی) است. وزن آن بین ۱۷ تا ۲۶ کیلوگرم و طول آن یک تا یک و نیم متر است. مثل کاسواری‌های دیگر یک تاج مثلثی کوچک استخوانی بر سر دارد. شترمرغ‌های شاخدار به دلیل همین تاج استخوانی به شترمرغ کلاه‌خوددار نیز معروف هستند. شترمرغ شاخدار کوتوله پرهای مشکی سخت و سیخ دارد و دو طرف گردنش آبی است. پاهایش بزرگ و نیرومند است و پنجه‌ای خنجرمانند دارد. نر و ماده شبیه هم هستند. ماده‌ها کمی بزرگترند و تاجشان هم بزرگتر است و پوست زیر پر آنها روشنتر است.


title: شترمرغ شاخدار کوتوله

text: شترمرغ شاخدار کوتوله در مناطق کوهستانی تا ارتفاع ۳۶۰۰ متری زندگی می‌کند و در جاهایی که شترمرغ شاخدار جنوبی حضور ندارد به مناطق کم‌ارتفاع هم می‌آید. آنها همه‌چیزخوارند و از میوه‌های افتاده، حیوانات کوچک و حشرات تغذیه می‌کنند. زندگی انفرادی دارند و فقط در فصل جفتگیری با هم هستند.


title: شترمرغ شاخدار کوتوله

text: جمعیت این پرنده به دلیل از میان رفتن و زوال زیستگاه‌ها، شکار و زنده‌گیری در حال کاهش است و در ردهٔ حفاظتی نزدیک تهدید طبقه‌بندی شده‌است.


title: شترمرغ شاخدار جنوبی

text: شترمرغ شاخدار جنوبی نوعی پرنده بی‌پرواز سیاه‌رنگ و بزرگ ِ بومی جنگل‌های بارانی گینه نو، اندونزی و شمال استرالیا است. این پرنده دومین پرنده بزرگ حال حاضر دنیا پس از شترمرغ است.


title: شترمرغ شاخدار جنوبی

text: شترمرغ شاخدار جنوبی پرهای سیاه زبر و خشن، صورت و گردن آبی و سس سر سرخ‌رنگ دارد. یک تاج مثلثی استخوانی بزرگ و شاخ‌مانند بر سرش روییده که ۱۳ تا ۱۷ سانتیمتر ارتفاع دارد. منقار آن بین ۱۰ تا ۱۹ سانتیمتر طول دارد. پاهای سه‌انگشتی نیرومند آن‌ها به پنجه‌هایی خنجرمانند مسلح شده‌اند. نر و ماده شبیه هم هستند. ماده‌ها کمی بزرگ‌ترند و تاج و منقارشان هم بزرگ‌تر و پوست زیر پر آنها روشن‌تر است.


title: شترمرغ شاخدار جنوبی

text: طول این پرنده ۱۲۷ تا ۱۷۰ سانتیمتر، قد آن ۱/۵ تا ۱/۸ متر است. ماده‌ها میانگین وزن ۵۸/۵ و نرها ۲۹ تا ۳۴ کیلوگرم دارند. حداکثر وزن ۸۵ کیلوگرم و بلندترین قد ۱۹۰ سانتیمتر است. این پرنده اکنون (با انقراض شترمرغ عربی و موای نیوزیلندی) بزرگ‌ترین پرنده آسیا و بزرگ‌ترین پرنده استرالیا است (موا کمی بلندتر است اما وزن و طول کمتری دارد).


title: شهربانو امانی

text: شهربانو امانی انگنه (زادهٔ ۱۳۳۹خ، ارومیه) فعال سیاسی اصلاح طلب، عضو پنجمین دوره شورای اسلامی شهر تهران، مشاور رئیس سازمان حفاظت محیط زیست ایران در امور زنان و خانواده و نماینده اسبق مردم ارومیه در دوره‌های پنجم و ششم مجلس شورای اسلامی است.


title: شهربانو امانی

text: شهربانو امانی انگنه، در روستای انگنه از توابع شهرستان ارومیه در خانواده‌ای پر جمعیت به دنیا آمد. او تحصیلات ابتدایی، راهنمایی و متوسطه خود را در ارومیه به پایان رساند و سپس موفق به اخذ لیسانس مدیریت شد. وی در سال ۱۳۵۹ ازدواج کرده‌است و دو فرزند دختر دارد.


title: شهربانو امانی

text: در نوزدهم شهریور ۱۳۵۸ مصادف با سالروز درگذشت آیت‌الله طالقانی به همراهی گروهی از خیرین، صاحب نظران و جوانان ارومیه "سازمان توحیدی انفاق" را پایه‌گذاری کردند. وی در سال ۱۳۶۰ به عنوان مددکار در سازمان بهزیستی تازه تأسیس مشغول به کار شد و سپس به ریاست مجتمع حمایتی قدس و پس از آن مجتمع خدمات حمایتی شهید جعفری ارومیه در آمد. در سال ۱۳۷۵ با کسب بیشترین درصد آراء، ۴۷٫۲۰ و مجموع رای ۱۸۹٬۵۲۶ توانست به عنوان نخستین زن از حوزه انتخابیه ارومیه، استان آذربایجان غربی و همچنین در مقام نخستین زن از دیار آذربایجان به مجلس شورای اسلامی دور پنجم راه پیدا کند. امانی، برای بار دوم موفق به ورود به مجلس ششم شد و به همراه سهیلا جلودارزاده اولین زنانی بودند که به سمت منشی در هیت رئیسه مجلس انتخاب شدند.


title: شهربانو امانی

text: وی در پی اعتراضات ۲۵ بهمن ماه بازداشت شد. و بعد از دو هفته، با سپردن قرار وثیقه از زندان آزاد شد.


title: شهربانو امانی

text: در تاریخ چهارم آذر ماه ۱۳۹۲، با حکم معصومه ابتکار معاون رئیس‌جمهور و رئیس سازمان حفاظت محیط زیست، شهربانو امانی انگنه به عنوان مشاور رئیس سازمان حفاظت محیط زیست در امور زنان و خانواده منصوب شد.


title: شهربانو امانی

text: شهربانو امانی انگنه، در پنجمین دوره انتخابات شورای اسلامی شهر تهران در لیست امید قرار داشت و با کسب ۱،۲۹۶،۶۵۷ همانند سایر اعضای لیست به شورای شهر تهران راه یافت.


title: ساب ۳۷ ویگن

text: ساب ۳۷ ویگن یک هواپیمای تک سرنشین یک موتوره با برد کوتاه - متوسط ساخت شرکت ساب سوئد می‌باشد. این جنگنده بین سال‌های ۱۹۷۰ تا ۱۹۹۰ تولید شده و چندین مدل متمایز برای اجرای وظایف گوناگون ساخته شده بود مانند جنگنده ضربتی (AJ37) شناسائی اکتشافی (SF37) مراقبت دریایی (SH37) و دو سرنشینه آموزشی. در اواخر ۱۹۷۰ جنگنده رهگیر JA37 برای عملیات در هر گونه شرایط آب و هوائی به سایر مدلها اضافه شد.


title: ساب ۳۷ ویگن

text: ویگن در ابتدا به عنوان جایگزین برای ساب ۳۲ لانزن در نقش ضربتی و سپس جایگزین ساب ۳۵ دراکن در نقش جنگنده توسعه داده شد. مطالعات برای اولین بار بین سال‌های ۱۹۵۲ و ۱۹۵۷ توسط یک شرکت طراحی هواپیما بنام فنلاندی آرن لاکوما انجام شد. مفاهیم مختلف مورد مطالعه قرار گرفتند شامل دو موتور مجزا یا موتور دوقلو، دو بال دلتا و ساده، همچنین دارا بودن بالچه کانارد، حتی طرح عمود پرواز، با موتورهای بالابر جداگانه در نظر گرفته شد.


title: ساب ۳۷ ویگن

text: هدف تولید یک هواپیمای قوی با عملکرد بسیار خوب در باند کوتاه که بتواند از بسیاری از جاده‌های مخصوص تقویت شده یا بزرگراهها به منظور کاهش آسیب پذیری در شرایط جنگ، استفاده کند. توانایی مافوق صوت در ارتفاع پائین، سرعت ۲ ماخ در ارتفاع بالا و همچنین توانایی ایجاد فرود کوتاه در زاویه پایین حمله از جمله نیازهای مورد انتظار از این پرنده بود. (برای اجتناب از خسارت در باند فرودگاه آسیب دیده). این هواپیما از ابتدا بگونه‌ای طراحی شد که تعمیر و سرویس دهی به آن به وسیلهٔ پرسنل با مهارت معمولی ممکن باشد. برای پاسخ به اهداف این طرح ساب یک پیکربندی ریشه‌ای انتخاب کرد: یک بال دلتا معمولی با یک مجموعه کانارد کوچک بالاتر از سطح بال.


title: دیدارهای فوتبال ایران و کامرون

text: تیم ملی فوتبال مردان بزرگسالان ایران و کامرون تاکنون ۲ بار در مقابل یکدیگر قرار گرفته‌اند. حاصل این ۲ بازی، ۲ تساوی بوده است. گل زده ایران ۱ و گل زده کامرون ۱ گل بوده است.


title: پراکسیددار شدن لیپید

text: پراکسیداسیون لیپید () یعنی دژنراسیون اکسیداتیو چربی‌ها. در این فرآیند رادیکال‌های آزاد، الکترون‌ها را از چربی‌ها (مانند لیپیدهای غشای سلول) جدا می‌کنند و چربی را به صورت رادیکال در می‌آورند. این پروسه شامل یک مکانیسم واکنش زنجیروار از رادیکال‌های آزاد است؛ و اغلب اسیدهای چرب غیر اشباع را تحت تاثیر قرار می‌دهد.


title: پراکسیددار شدن لیپید

text: لیپید


title: مایکل جی. دورانت

text: مایکل جی. دورانت ، خلبان بالگرد آمریکایی از نوع سیکورسکی یواچ-۶۰ بلک هاوک با کد عملیاتی "سوپر ۴-۶ (Super۶-۴)" در نبرد موگادیشو بود که در جریان سقوط این پرنده، یازده روز به اسارت شبه نظامیان سومالیایی درآمد. وی در کارنامه عملیاتی خود، حضور در عملیات فرصت برجسته علیه نیروی دریایی ایران را نیز دارد.


title: پاییز، تنهایی

text: پاییز، تنهایی نام هفتمین آلبوم استودیویی احسان خواجه‌امیری، خوانندهٔ پاپ ایرانی است که در ۲۹ دی ماه ۱۳۹۳ منتشر شد. بیشتر قطعات این آلبوم را روزبه بمانی سروده و زهراعاملی و حسین غیاثی از دیگر ترانه‌سرایان این آلبوم هستند. علیرضا افکاری، احسان خواجه‌امیری، مهرداد نصرتی و علیرضا کهن‌دیری، آهنگ‌های قطعات این آلبوم را ساخته‌اند.


title: پاییز، تنهایی

text: این آلبوم قرار بود پاییز ۹۳ منتشر شود، ولی روند صدور مجوز به موکول شدن انتشار آلبوم به بعد از ماه‌های محرم و صفر منجر شد.


title: پاییز، تنهایی

text: "پاییز، تنهایی" شامل ۱۲ قطعه است که ۲ قطعهٔ آن، «گذشته‌ها» و «تاوان» پیش از این به صورت تک‌آهنگ منتشر شده بودند.


title: پاییز، تنهایی

text: آلبوم(پاییز، تنهایی) برندهٔ تندیس بهترین آلبوم موسیقی پاپ از نگاه مردم در سومین دوره جشنواره موسیقی ما در سال ۱۳۹۳ انتخاب شد.


title: پاییز، تنهایی

text: خواجه‌امیری در آذرماه ۹۲ در مصاحبه‌ای با وبسایت موسیقی ما اعلام کرد که در حال کار بر روی آلبوم جدیدش است و علیرضا کهن‌دیری، بهروز صفاریان، روزبه بمانی، علیرضا افکاری، هومن نامداری، مهرداد نصرتی و حسین غیاثی از عوامل این آلبوم خواهند بود. همچنین اعلام کرد که این آلبوم در سال ۹۳ منتشر خواهد شد. در مهرماه ۱۳۹۳، اعلام شد که نام آلبوم جدید "پاییز، تنهایی" خواهد بود و در کنسرت مهرماه، قطعهٔ «تنهایی» اجرا شد و به نوعی از آلبوم جدید رونمایی شد. قرار بود این آلبوم پاییز ۹۳ منتشر شود، اما صدور مجوز برای ترانه‌های این آلبوم، کمی طول کشید و انتشار آن را تا بعد از ماه محرم و صفر به تأخیر انداخت. به گفتهٔ خواجه‌امیری، دو ماه طول کشیده تا ترانهٔ «عشق ۲» سرودهٔ زهرا عاملی مجوزش صادر شود. اواخر آذرماه ۹۳، خواجه‌امیری در صفحهٔ شخصی‌اش نوشت که مجوز آلبوم صادر شده و "پاییز، تنهایی" اوایل دی ماه منتشر خواهد شد. اما باز هم انتشار آلبوم به دلیل «تیراژ بسیار بالا و طولانی شدنی پروسه فنی» دو هفته به تأخیر افتاد. دوشنبه ۲۲ دی ماه، علی جعفری، مدیر برنامه‌های احسان خواجه‌امیری در مصاحبه با خبرگزاری مهر اعلام کرد که «این اثر هفتهٔ آینده روانهٔ بازار موسیقی خواهد شد.» یک روز بعد رسماً اعلام شد که این آلبوم ۲۹ دی ماه به بازار خواهد آمد. بهرنگ نامداری طراح کاور، سعید عبداللهی و یاسمن خسروی عکاسان جلد آلبوم هستند.


title: پاییز، تنهایی

text: دو قطعه از آهنگ‌های این آلبوم قبلاً به صورت تک‌آهنگ منتشر شده بودند. «گذشته‌ها» با ترانه‌ای از حسین غیاثی، آهنگسازی مهرداد نصرتی و تنظیم هومن نامداری در مهرماه ۱۳۹۲ منتشر شد. «تاوان» با شعری از روزبه بمانی، آهنگسازی و تنظیم علیرضا کهن‌دیری در آذرماه ۱۳۹۲، به عنوان تیتراژ پایانی سریال آوای باران انتشار یافت.


title: پاییز، تنهایی

text: شعر ۹ قطعه از این آلبوم، سرودهٔ روزبه بمانی است. زهرا عاملی ۲ قطعه و حسین غیاثی ۱ قطعه را سروده‌اند. علیرضا افکاری (٨ قطعه)، احسان خواجه‌امیری( ٢ قطعه )، مهرداد نصرتی و علیرضا کهن‌دیری (هرکدام ۱ قطعه)، آهنگ‌های قطعات این آلبوم را ساخته‌اند. میثم مروستی (سه تار)، هومن نامداری (ساکسفون)، احسان نی‌زن (ویلن و کمانچه)، فرشید ادهمی (گیتار) و نیما رمضان (گیتار)، نوازندگان این آلبوم هستند و آرش پاکزاد میکس و مسترینگ قطعات را بر عهده داشته‌است. سعید زمانی (۴ قطعه)، هومن نامداری (۳ قطعه)، آرون حسینی (۲ قطعه)، معین راهبر (۱ قطعه)، بهروز علیاری (۱ قطعه) و علی‌رضا کهن‌دیری (۱ قطعه) تنظیم‌کنندگان این آلبوم هستند.


title: پاییز، تنهایی

text: "پاییز، تنهایی" شامل ۱۲ قطعه بود که جزئیات این قطعات در پی آمده‌است:


title: برادران شیردل (فیلم)

text: برادران شیردل () یک فیلم فانتزی به کارگردانی «اوله هلبوم» است که در سال ۱۹۷۷ منتشر شد.


title: برادران شیردل (فیلم)

text: این فیلم، بر پایهٔ رمانِ "برادران شیردل"، اثرِ نویسندهٔ سوئدی «آسترید لیندگرن» ساخته شده است و در سال ۱۹۷۸ برندهٔ جایزهٔ «گلدباگن» سوئد بابت «بهترین کارگردانی» گردید.


title: برادران شیردل (فیلم)

text: "برادران شیردل" در دهه ۱۳۶۰ از برنامهٔ کودک و نوجوان شبکه دو صدا و سیمای جمهوری اسلامی ایران پخش شد و در آبان ۱۳۹۹ توسط شبکه نمایش بازپخش شد.


title: برادران شیردل (فیلم)

text: دو برادر به نام «اسکورپان» و «یوناتان» وارد دنیایی خیالی به نام «نانی‌یالا» می‌شوند که حکمرانی ظالم و سنگدل به نام «تنگیل»، با تکیه بر اژدهای مخوف و آتش‌افروزی به نام «کاتلا» و همچنین سواران سیاه‌پوش خود، مردم آن سرزمین را تحت سلطه و ستم خود قرار داده است. به تدریج و طی وقایعی، برادر بزرگتر (یوناتان) به مقابله بر می‌خیزد و هر دو برادر به همراه گروه مقاومت، دست به مبارزه با این فرمانروای ستمکار می‌زنند.این فیلم در کشورهای سوئد، دانمارک، ایسلند فیلم‌برداری شده است. در سوئد، محل تصویربرداری، استکهلم و شهرستان اسکونه بود. در دانمارک، تصویربرداری در شهر آرهوس در شبه‌جزیرهٔ یوتلاند انجام پذیرفت و در ایسلند، مکان فیلم‌برداری، ناحیهٔ دینگوتلیر در جنوب غربی آن کشور بود.


title: برادران شیردل (فیلم)

text: این فیلم را ۵۵۳/۰۰۰ نفر در سینماها دیدند که در مجموع ۸/۹۶۳/۰۰۰ کرون سوئد فروش داشت.


title: برادران شیردل (فیلم)

text: در سوئد، منتقدان سینما برخورد و دیدگاه خوبی نسبت به فیلم داشتند. در مقایسهٔ داستان و شخصیت‌های فیلم با تاریخ معاصر، شخصیت «یوناتان» را با شخصیت چه گوارا و شخصیت «تنگیل» را با آدولف هیتلر، ژوزف استالین، آگوستو پینوشه، ریچارد نیکسون و صدام حسین مقایسه کرده‌اند.


title: ماشین تورینگ متناوب

text: در نظریه پیچیدگی محاسباتی، یک ماشین تورینگ متناوب ، ماشین تورینگی غیر قطعی است و شامل قانونی برای پذیرش محاسباتی است که قوانین استفاده شده در تعریف کلاس‌های پیچیدگی NP و co-NP را کلیت می‌بخشد. مفهوم ATM توسط Chandra و Stockmeyer و مستقلاً توسط Kozen در سال ۱۹۷۶، و سپس به صورت مشترک، باانتشار در یک مجله در سال ۱۹۸۱ مطرح شد.


title: ماشین تورینگ متناوب

text: تعریفNPاز حالت وجودی محاسبات استفاده می‌کند: اگر انتخابی منجر به حالت پذیرش شود، در این صورت همهٔ محاسبات پذیرفته می‌شوند. تعریف CO-NP از حالت عمومی محاسبات استفاده می‌کند: اگر همهٔ انتخاب‌ها منجر به حالت پذیرش شوند، در این صورت تمام محاسبات پذیرفته می‌شوند. ماشین تورینگ متقارن (به‌طور دقیق تر، تعریف نحوه پذیرش این ماشین) بین این ۲ حالت در تناوب است. ماشین تورینگ متقارن ماشین تورینگی غیر قطعی است که حالاتش به ۲ قسمت تقسیم می‌شوند: حالات وجودی و حالات عمومی. یک حالت وجودی پذیرفته می‌شود اگر انتقالی وجود داشته باشد که منجر به یک حالت پذیرش شود. یک حالت عمومی پذیرفته می‌شود اگر همهٔ انتقال‌ها به حالت پذیرش ختم شوند .(حالت عمومی بدون انتقال، به‌طور پیش فرض پذیرفته و حالت وجودی بدون انتقال به‌طور پیش فرض رد می‌شود). ماشین (به صورت یک واحد) پذیرفته می‌شود اگر حالت اول آن پذیرفته شود.


title: ماشین تورینگ متناوب

text: ماشین تورینگ متقارن یک ۵ تایی به صورتformula_1است که:


title: ماشین تورینگ متناوب

text: اگرM در وضعیت Q با formula_7 باشد، در این صورت این موقعیت، موقعیتی پذیرفتنی است و اگر formula_8، موقعیتی پذیرفتنی نیست.


title: ماشین تورینگ متناوب

text: موقعیتی با formula_9 پذیرفتنی است اگر همهٔ موقعیت‌هایی که با یک گام می‌توان به آن‌ها دست یافت پذیرفتنی باشند و غیر پذیرفتنی است اگر بعضی از موقعیت‌هایی که با یک گام قابل دسترسی هستند غیر پذیرفتنی باشند.


title: ماشین تورینگ متناوب

text: موقعیتی با formula_10 موقعیتی پذیرفتنی است اگر موقعیتی پذیرفتنی وجود داشته باشد که با یک گام بتوان به آن دست یافت و غیر پذیرفتنی است اگر تمام موقعیت‌هایی که بتوان طی یک گام به آنها دست یافت، غیر پذیرفتنی باشند. ماشین M رشتهٔ W را در صورتی می‌پذیرد که موقعیت اولیه آن پذیرفتنی باشد و در صورتی آن را رد می‌کند که موقعیت اولیه آن پذیرفتنی نباشد.


title: ماشین تورینگ متناوب

text: هنگامی که می‌خوایم پذیرفتنی بودن یا نبودن یک موقعیت از ماشین ATM را طبق تعریف بالا بررسی کنیم، احتیاجی به بررسی تمام حالت‌های دست یافتنی نیست. به‌طور کلی یک موقعیت وجودی در صورتی پذیرفتنی است که هر موقعیتی جانشین آن پذیرفتنی باشد و یک موقعیت عمومی در صورتی پذیرفتنی نیست که هر موقعیتی جانشین آن، پذیرفتنی نباشد.


title: ماشین تورینگ متناوب

text: ماشین تورینگ متقارن زبان‌های صوری (فرمال) را در مرتبهٔ زمانی formula_11 پردازش می‌کند اگر به ازای هر رشته به طول formula_12، تعیین پذیرفتنی بودن یا نبودن موقعیت اولی با حد اکثر با formula_11 گام امکان‌پذیر باشد


title: ماشین تورینگ متناوب

text: ماشین تورینگ متقارن، زبان را در مرتبهٔ حافظهٔ formula_14 پردازش می‌کند اگر تنها بررسی موقعیت‌هایی که تا formula_14 خانه از سمت چپ را تغییر نمی‌دهند، کافی باشد.


title: ماشین تورینگ متناوب

text: زبانی که توسط ATM در مرتبهٔ زمانی formula_16 (به ازای formula_17) بررسی می‌شود در کلاس formula_18 و زبانی که در مرتبهٔ حافظه‌ای formula_19 بررسی می‌شود در کلاس formula_20 قرار دارد.


title: ماشین تورینگ متناوب

text: احتمالاً آسان‌ترین مسئلهٔ قابل حل برای ATM، مسئلهٔ quantified Boolean formula problem است. این مسئله تعمیم یافتهٔ مسئلهٔ Boolean satisfiability problem که در آن هر متغیر می‌تواند به یک کمیت عمومی یا وجودی محدود شود.


title: ماشین تورینگ متناوب

text: ATM برای بررسی تمام مقادیر متغیرهای وجودی (از چپ به راست) به صورت وجودی و برای بررسی تمام مقادیر متغیرهای عمومی (از چپ به راست) به صورت عمومی منشعب می‌شود. پس از بررسی یک مقدار برای تمامی متغیرها، اگر نتیجه Boolean formula برابر true باشد ماشین آن را پذیرش و اگر false باشد ماشین آن را نمی‌پذیرد.


title: ماشین تورینگ متناوب

text: بنابر این اگر مقداری جایگزین برای متغیر وجودی، موجود باشد که ادامه مسئله سازگار بماند، یا به ازای تمام مقادیر جایگزین برای متغیر عمومی، ادامه مسئله سازگار باقی بماند، ماشین در شرایط پذیرش قرار می‌گیرد.


title: ماشین تورینگ متناوب

text: این ماشین quantified Boolean formulas را در مرتبهٔ زمانی formula_21 و مرتبهٔ حافظه formula_12 بررسی می‌کند.


title: ماشین تورینگ متناوب

text: Boolean satisfiability می‌تواند به عنوان حالت خاصی در نظر گرفته شود که در آن تمام متغیرها به صورت وجودی بین شده و فقط از انشعاب به صورت وجودی استفاده برای حل کارایی استفاده می‌شود. در این حالت استفاده از عدم قطعیت مجاز است.


title: ماشین تورینگ متناوب

text: کلاس‌های پیچیدگی زیر برای تعریف ماشین تورینگ متناوب مورد استفاده قرار می‌گیرند:


title: ماشین تورینگ متناوب

text: این کلاس‌ها، با در نظر گرفتن منابعی که یک ATM به جای ماشین تورینگ قطعی استفاده می‌کند، شبیه به تعریف‌های P و PSPACE و EXPTIME هستند.


title: ماشین تورینگ متناوب

text: Chandra, Kozen, و Stockmeyer قضایای زیر را در شرایطی که formula_26 و formula_27 ثابت کرده‌اند.


title: ماشین تورینگ متناوب

text: شکل کلی تر این روابط توسط تز پردازش موازی، نشان داده می‌شود.


title: ماشین تورینگ متناوب

text: ماشین تورینگ متناوب با K تناوب، ماشین تورینگی متناوب است که حد اکثر K-1 دفعه می‌تواند بین حالت عمومی و حالت وجودی جابجا شود .(در واقع ماشین تورینگی است که حالت‌هایش به K مجموعه تقسیم شده‌اند. حالت‌های با شمارهٔ فرد حالت‌های عمومی و حالت‌های با شماره زوج حالت‌های وجودی در نظر گرفته می‌شوند (عکس آن هم درست است). ماشین هیچ انتقالی از حالت i به j، که j{\rm ATIME}(C,j)=\Sigma_j {\rm TIME}(C) کلاس توابعی است که که در زمان formula_31، از یک حالت وجودی شروع می‌شوند و حد اکثر j-1 بر تناوب می‌کنند و به آن j-امین سطح از سلسله مراتب formula_32 هم گفته می‌شود


title: ماشین تورینگ متناوب

text: formula_35 به صورت مشابه برای محاسبات با حافظهٔ محدود تعریف می‌شود.


title: ماشین تورینگ متناوب

text: مسئلهٔ circuit minimization problem را در نظر بگیرید. مدار A که یک تابع بولی F را محاسبه می‌کند، به همراه عدد N به عنوان ورودی داده می‌شوند.


title: ماشین تورینگ متناوب

text: برای خروجی، وجود یا عدم وجود مداری که با K گیت بتواند تابع F را پیاده‌سازی کند، بررسی می‌شود.


title: ماشین تورینگ متناوب

text: ماشین تورینگ متناوبی که یک تناوب دارد و از حالتی وجودی آغاز به کار می‌کند می‌تواند این مسئله را در مرتبهٔ زمانی چند جمله‌ای حل کند.(این کار با آزمایش مدارهای احتمالی با K گیت و مقایسه خروجی آنها با مدار اصلی انجام می‌شود).


title: ماشین تورینگ متناوب

text: یک سلسله مرتبه هنگامی به مرتبهٔ J کاهش پیدا می‌کند که تمام زبان‌های مرتبهٔ K، در مرتبهٔ J موجود باشند. به عنوان نتیجه‌ای از قضیه Immerman–Szelepcsényi theorem، سلسله مراتب حافظه لگاریتمی، به اولین سطح آن کاهش می‌یابد.


title: ماشین تورینگ متناوب

text: ماشین تورینگ متناوب با مرتبهٔ زمانی چند جمله‌ای و K تناوب، با شروع از یک حالت وجودی (عمومی) می‌تواند تمام مسائل کلاس formula_36(formula_37) را بررسی کند. از این کلاس‌ها اغلب به صورتformula_38(formula_39) در مسائل یاد می‌شود.


title: ماشین تورینگ متناوب

text: نمونهٔ دیگری از حالات خاص سلسله مراتب زمانی، logarithmic hierarchy است.


title: ماشین حالت متناهی گسترش یافته

text: در یک ماشین حالت متناهی معمولی ، انتقال در ارتباط با مجموعه‌ای از شرایط بولی به عنوان ورودی و مجموعه‌ای از توابع بولی به عنوان خروجی است. در یک مدل ماشین حالت متناهی محدود (EFSM) ، انتقال می‌تواند با یک "عبارت اگر " که شامل مجموعه‌ای از شرایط محرک است، بیان شود. اگر همهٔ شرایط محرک، ارضا شوند ، انتقال خاتمه می‌یابد و ماشین را از حالت جاری به حالت بعدی می‌برد و عملیات داده‌ای خاص را اجرا می‌کند.


title: ماشین حالت متناهی گسترش یافته

text: EFSM به عنوان ۷ تایی formula_1 تعریف می‌شود که در آن:


title: ماشین حالت متناهی گسترش یافته

text: معماری FSM: مدل EFSM از سه بلوک اصلی ترکیبی زیر تشکیل شده‌است.


title: ماشین حالت متناهی گسترش یافته

text: رفتار چرخه‌ای EFSM می‌تواند به سه گام تقسیم شود:


ماشین حالت متناهی گسترش یافته


title: منوچهر زمانی

text: منوچهر زمانی (متولد ۱۳۰۸) یک کارگردان، بازیگر و صدا پیشه اهل ایران است. وی فعالیت هنری را با دوبله از اواسط دهه ۳۰ آغاز کرد. او در دهه ۴۰ به ایتالیا رفت و کار تهیه و تولید فیلم را ادامه داد.


title: منوچهر زمانی

text: "منوچهر زمانی متولد 1308 و از اولین کسانی بوده که برای دوبله در فاصله سالهاي 36 تا 44 به ایتالیا میرود.  تقریباً جز اولین کسانی بوده که جای هنرپیشه های مهم صحبت کرده. مثل "شورش در کشتی بونتی" که بجای "مارلون براندو" حرف زده و "پل نیومن" در .  "مرد"" "از ویژگیهای این دوبلور اجرای کارهای کمیک بوده و اینکه در یه فیلم جای ده نفر صحبت میکرده ، خیلی مقید به استفاده از دوبلور ثابت برای یه نقش نبوده ، جوکها و لطیف های پس گردنی زیادی تو فیلمها میگفته چه فیلم کمدی بوده و چه جدی و بقول معروف خوراکش دوبله فیلمهای ایتالیایی بوده و بیشتر کارهای درجه ب دوبله میکرده و خیلی کارهای شاخص دوبله نکرده مگر در دوره ایتالیا اون هم چون دوبله اول است کمتر جای هنرپیشه های معروف حرف زده و کمتر با دوبلورهای تراز اول آن زمان کار مشترک دارد کلاً منتقدین و همکارانش  او را خیلی تو دوبله جدی نگرفتند شاید برای همین اطلاعات کمی درباره او موجود است و نام او را کمتر میشنویم ولی با اینحال دوبله های بسیاری خوبی در کارنامه اش موجود است مثل "ملاقات در شب"."  "همسرش "ناهید بوستانی" دوبلور بوده البته فقط در ایتالیا و کار شاخصش صحبت بجای "اوا مری سنت" در "شمال از شمال غربی" و "شرلی مک لین" در "چوپان" بوده است.  ظاهرا الان در ایتالیا فرش فروشی دارد و چندی پیش به ایران آمده بود." "تعدای از کارهای زمانی به شرح زير است:" "ویلیام هولدن رودخانه کوای (دوبله اول / در این فیلم جای  پنج ،شیش نفر حرف زده ) ، سابرینا ، هفتمین سپیده دم ، کلید"  "جیمز میسون: شمال از شمال غربی ( دوبله اول )" "گری کوپر: زنگها برای که به صدا در می آید؟" "گلن فورد: چوپان ، قطار سه و ده دقیقه به یوما" "برت رینولدز: نوادا جو" "ریچارد هریس: 44/99 صدم درصد مرگ" "آلن دلون: جف ، صبح روز حادثه" "جیمز استوارت: دو کابوی در شاین" "استیفن بوید : کارناوال و دزدان ، اسکار" "ژان پل بلموندو : شکست ، تلفن کننده شب ، طوفانگر ، حیوان" "پیتر سلرز : گلوله ای در تاریکی ، تازه چه خبر پوسی کت ، کجات درد میکنه ، به دنبال روباه" "راجر مور : سری فیلمهای جیمز باند ، قدرت طلا" "استیو مک کویین : بولیت ، نیرنگ بازان ، جونیور بانر ، این فرار مرگبار ، حادثه توماس کراون(دوبله اول)"


title: منوچهر زمانی

text: "پي نوشت : منوچهر اسماعیلی در خاطراتش میگه کسی که باعث شده او ایتالیا نرود (در آن زمان) زمانی بوده ولی اشتباه میکنه چون اون موقعه اصلاً اسماعیلی سربازی نرفته بوده!!"


title: لم اوگدن

text: در تئوری زبان‌های فرمال (زبان‌های صوری)، لم اوگدن (نامگذاری شده بعد از William F.Ogden) انعطاف‌پذیری بیشتری به لم پمپاژ برای زبان‌های مستقل از متن می‌دهد.


title: لم اوگدن

text: لم اوگدن اظهار می‌کند، اگر زبان L مستقل از متن باشد، آنگاه عدد p>0 وجود دارد بطوریکه برای هر رشته w به طول حداقل p در زبان L، برای هر انتخاب p تایی یا بیشتر از نمادهای w رشته wرا می‌توان به صورت w=uxyzv تجزیه کرد، بطوریکهزمانی که لم پمپاژ برای زبان‌های مستقل از متن کارآمد نیست، لم Ogden می‌تواند نشان دهد که یک زبان مستقل از متن نیست. برای مثال زبان {"a b c d": "i" = 0 or "j" = "k" = "l"}.


title: لم اوگدن

text: مشاهده می‌شود زمانیکه تمام نمادهای w انتخاب می‌شود لم پمپاژ با لم اوگدن برابر است. به بیان دیگر لم پمپاژ حالت خاصی از لم اوگدن است.


title: لم اوگدن

text: همچنین این لم می‌تواند ثابت کند که بعضی از زبان‌ها ذاتاً مبهم هستند.


title: کیس‌اکس‌سیس

text: کیس‌اکس‌سیس یک مجموعه مانگا سینن ژاپنی که توسط بو دیتاما نوشته و مصورسازی شده‌است. این سری برای اولین بار در نسخهٔ ژانویه ۲۰۰۴ مجلهٔ سینن کودانشا به نام بیساتسو یانگ (هفته‌نامه یانگ فعلی) به چاپ رسید،و سپس از ۱۱ دسامبر ۲۰۰۵ به صورت منظم در همان مجله انتشار یافت. دو مجموعه انیمه‌ای نیز به کارگردانی موننوری ناوا، توسط استودیوی فیل از روی نسخهٔ مانگای آن ساخته شد; یک مجموعه تلویزیونی انیمه ۱۲ قسمتی که از ۵ آوریل ۲۰۱۰ تا ۲۱ ژوئن ۲۰۱۰ از شبکه ای‌تی-ایکس پخش گردید و یک اووی‌ای ادامه‌دار که از دسامبر ۲۰۰۸ در حال پخش است.


title: کیس‌اکس‌سیس

text: داستان حول محور پسر سال سوم راهنمایی ژاپنی به نام کیتا است که همراه با پدر، نامادری و دو خواهر ناتنی دوقلویش به نام‌های آکو و ریکو زندگی می‌کند. کیتا خود را برای آزمون ورودی به دبیرستان آماده می‌کند و خواهرانش سعی در کمک به او را دارند. اما با جلوتر رفتن داستان، آن‌ها به کیتا وابسته می‌شوند و در نهایت احساسات خود را برای او بازگو می‌کنند...


title: گردن‌بند (فیلم ۱۹۴۶)

text: گردن‌بند () یک فیلم درام به کارگردانی «جان برام» است که در سال ۱۹۴۶ منتشر شد.


title: گردن‌بند (فیلم ۱۹۴۶)

text: داستان فیلم که به صورت چندین صحنهٔ گذشته‌نمایی روایت می‌شود، در مورد دختر جوانی است که در کودکی و به اشتباه، به دزدیِ گردن‌بند هم‌بازی‌اش، متهم شده بود. او در بزرگسالی، دچار جنون دزدی شده و به‌طور دائم و از روی عادت دروغ می‌گوید. به نظر می‌رسد که این رفتار زشت او، نوعی انتقام از دنیای بی‌رحمی است که او را در کودکی و بدون هیچ گناهی به دزدی متهم کرده بود و اینک او از همهٔ مردم انتقام می‌گیرد.


title: شیوه‌نامه ونکوور

text: شیوه‌نامهٔ ونکوور شیوه‌نامه‌ای برای منبع‌دهی در نوشتنِ رساله‌ها که کاربردش بیشتر در علوم پزشکی است. این شیوه به صورت شمارشی است. طبق این شیوه، یادکرد منابع در درون متن با شماره مشخص می‌شود و در انتهای فهرست منابع به ترتیب الفبایی قرار می‌گیرد.


title: شیوه‌نامه ونکوور

text: در سال ۱۹۷۸ گروه کوچکی از سردبیران نشریات علوم پزشکی در ونکوور بریتیش کلمبیا به‌طور غیررسمی گرد هم آمدند تا دستورالعملی نگارشی برای مقالات ارسالی به نشریاتشان تدوین کنند. این گروه، که در ابتدا گروه ونکوور نامیده می‌شد، بعدها ICMJE کمیتهٔ بین‌المللی ویراستاران نشریات زیست‌پزشکی را تشکیل دادند.


title: شیوه‌نامه ونکوور

text: این کمیسیون سالی یک بار تشکیل جلسه می‌دهد. همچنین وظیفه بازنگری را برعهده دارد. در توصیه‌نامهٔ مذکور بخشی به نحوه تدوین استنادهای کتابشناختی در یک مقاله اختصاص یافته‌است.


title: ماشین تورینگ احتمالی

text: در نظریهٔ محاسبه پذیری، یک ماشین تورینگ احتمالی یک ماشین تورینگ غیر قطعی است که بین انتقال‌های موجود در هر نقطه بوسیلهٔ برخی از توزیع‌های احتمال به صورت تصادفی یکی را انتخاب می‌کند.


title: ماشین تورینگ احتمالی

text: در مورد احتمال‌های برابر برای انتقال‌ها، می‌توان آن را به عنوان یک تورینگ ماشین قطعی در نظر گرفت که دارای یک حوزهٔ اضافی «نوشتن» است که در آن ارزش «نوشتن» به صورت یکنواخت روی الفبای ماشین تورینگ توزیع شده است. (به طور کلی، احتمال مساوی برای نوشتن '۱ 'یا' ۰ ' روی نوار). یکی دیگر از فرمول بندی‌های رایج یک ماشین تورینگ قطعی با یک نوار اضافی که شامل بیت‌های تصادفی است که نوار تصادفی نامیده می‌شود.


title: ماشین تورینگ احتمالی

text: به عنوان یک نتیجه، یک ماشین تورینگ احتمالی (بر خلاف یک ماشین تورینگ قطعی) می‌تواند نتایج تصادفی داشته باشد؛ با یک ورودی معین و قرار گرفتن در یک وضعیت از ماشین، ممکن است زمان اجراهای مختلف بدست اورد یا ممکن است ماشین اصلاً متوقف نشود. به علاوه، ممکن است ورودی در یک اجرا پذیرش و همان ورودی در اجرای دیگر رد شود.


title: ماشین تورینگ احتمالی

text: بنابراین مفهوم پذیرش یک رشته توسط یک ماشین تورینگ احتمالی را می‌توان به روش‌های مختلف تعریف کرد. کلاس‌های پیچیدگی زمانی متفاوتی که برای تعاریف مختلف پذیرش وجود دارند شامل RP, Co-RP, BPP و ZPP هستند. اگر ماشین به جای زمان چندجمله‌ای به فضای لگاریتمی محدود شود کلاس‌های مشابهRL,Co-RL, BPL, ZPL نیز بدی می ایند. با اجرای هر دو محدودیت RLP ،Co-RLP، BPLP، و ZPLP بدست می ایند.


title: ماشین تورینگ احتمالی

text: همچنان محاسبه پذیری احتمالی برای تعریف اکثر کلاس‌های سیستم‌های اثبات تعاملی(interactive proof systems)، حیاتی است.


title: ماشین تورینگ احتمالی

text: یکی از سوالات اصلی نظریه پیچیدگی این است که آیا تصادفی بودن قدرت را اضافه می‌کند؟ یعنی ایا مسئله‌ای وجود دارد که بتواند در زمان چندجمله‌ای توسط یک ماشین تورینگ احتمالی حل شود ولی توسط یک ماشین تورینگ قطعی نه؟ یا ماشین‌های تورینگ قطعی می‌توانند تمام ماشین‌های تورینگ احتمالی با حداکثر کاهش سرعت چندجمله‌ای را به صورت موثری شبیه‌سازی کنند؟ در حال حاضر محققان معتقدند که سؤال دوم هم ارز مفهوم P = BPP است. تصور درستی همان سؤال برای فضای لگاریتمی به جای زمان چندجمله‌ای (ایا L = BPLP است ؟) به طور گسترده‌تری مورد باور محققان است. از سوی دیگر، قدرتی که تصادفی بودن به سیستم اثبات تعاملی می‌دهد، مانند الگوریتم‌های ساده است برای مسایل سخت، که نشان می‌دهد تصادفی بودن ممکن است قدرت را اضافه کند.


title: ماشین تورینگ احتمالی

text: ماشین تورینگ


title: ماشین تورینگ احتمالی

text: NIST website on probabilistic Turing machines


title: بلک‌هت

text: بلک‌هت () فیلمی در ژانر اکشن و مهیج به کارگردانی مایکل مان است که در سال ۲۰۱۵ منتشر شد. از بازیگران آن می‌توان به کریس همسورث و ویولا دیویس اشاره کرد.


title: بلک‌هت

text: یک هکر باهوش به نام نیک هاتاوی از زندان آزاد می‌شود، تا یک خلافکار مجازی را یافته و تحویل قانون دهد. اما…


title: اتین بزو

text: اتین بزو (زاده ۳۱ مارس ۱۷۳۰ در نمورس - درگذشته ۲۷ سپتامبر ۱۷۸۳ در باسس لوگس) ریاضیدان فرانسوی بود. او بیشتر به دلیل قضیه ای در نظریه اعداد که به نام خود او قضیه بزو نامیده شده‌است نامدار است.


title: اتین بزو

text: پدرش شهردار نمورس بود و برای او هم خواب شغلی دولتی دیده بود. اما درس‌های لئونارد اویلر بزو را شیفته ریاضیات ساخت و پس از چاپ چند مقاله در آکادمی علوم و نیز در اداره سانسور به کار مشغول شد. در سال ۱۷۶۳ به عنوان ممتحن در نیروی دریایی گماشته شد و در اینجا نخستین کتاب درسی اش به نام درسی در «ریاضیات برای نیروی دریایی» را در ۴ جلد نوشت و پس از آن یک کتاب شش جلدی دیگر به نام «درس کامل ریاضیات برای نیروی دریایی و توپخانه» نوشت چرا که در ۱۷۶۸ به همان سمت در توپخانه منصوب شده بود. هر دو کتاب بنا بر کاربردشان برای خوانندگان با دانش ریاضی پایین نوشته شده بودند. بزو افزون بر نوشتن مقاله‌های فراوان کتابی با نام «نظریه عمومی معادله‌های جبری» در پاریس به سال ۱۷۹۹ منتشر کرد که در زمان خودش کتاب بسیار نویی بود و برای نمونه مطالب نویی همچون دترمینان، برآیندها، نظریه حذف و تابع‌های متقارن از ریشه‌های معادلات را بحث می‌کرد. قضیه بزو نخستین بار در همین کتاب به چاپ رسید. بزو همچنین برای نخستین بار از دترمینان‌ها در مقاله‌اش «تاریخ آکادمی پادشاهی» در سال ۱۷۶۴ بهره برد. البته این کتاب حالت کلی دترمینان را پوشش نمی‌دهد.


title: رزیستین

text: رزیستین () یا (ADSF) یک هورمون پپتیدی غنی از سیستئین است که در انسان از بافت چربی ترشح می‌شود. نشان داده شده‌است که رسستین تولید LDL در سلول‌های کبدی انسان را افزایش می‌دهد و گیرنده‌های LDL در کبد را کاهش می‌بخشد. در نتیجه، کبد کمتر قادر است تا کلسترول را از جریان خون پاک کند. نتیجه نهایی ترشح رسیستین افزاش سطح خونی لیپوپروتئین کم چگال و افزایش خطر بیماری‌های عروقی در انسان است. رسیستین در جوندگان، نخستی‌سانان و سایر پستانداران نیز دیده می‌شود.


title: رزیستین

text: فیبرینوژن و رسیستین دو نشانگر التهابی پیشگویی خطر آترواسکلروز در انسان می‌باشند. بالا بودن میزان رسیستین در خون موجب ناتوانی داروهای استاتین در کاهش کلسترول خون بیماران می‌گردد. میزان رزیستین همراه با تجمع چربی احشایی افزایش می‌یابد لذا برای بیماران چاق طبیعی است که میزان بسیاربالایی رسیستین داشته باشند. سطوح سرمی بالای رزیستین با مقاومت به انسولین، میزان بالای کلسترول تام، کلسترول LDL، و تری‌گلیسرید در بیماران ارتباط دارد.


title: رزیستین

text: کلسترول


title: آتروما

text: آتروما () تجمع مواد رسوبی در لایه داخلی (اینتیما) سرخرگ‌های متوسط و بزرگ است. بخش عمده‌ای از آتروماها از ماکروفاژها، چربی‌ها (مانند کلسترول) و کلسیم تشکیل شده است. پلاکهای آترومی در تصلب شرایین دیده می‌شوند.مجرای درون رگ با ضخیم شدن لایه انتیما تنگ می‌شود. انجمن قلب آمریکا بر اساس اطلاعات حاصل از اتوپسی در سنین مختلف پیشنهاد نموده که ضایعات آترواسکلروزیس سیر خاصی را از دوران جوانی تا سنین بالاتر طی می‌کند و در بیماران مبتلا به نوع شدید و علامت دار این ضایعه، مخلوطی از تمام این تغییرات بافتی مشاهده می‌شود. بر اساس این بررسی، ضایعه از تشکیل نوارهای درخشنده چربی (Fatty Streaks) در لایه انتیما در افراد جوان که حاوی سلول‌های حباب دار است شروع و در سیر خود به پلاک فیبروآتروماتو (Fibroatheromatous)، پلاک فیبروزه (Fibrous) و پلاک‌های عارضه دار (Complicated plaque) تبدیل می‌شود.


title: آتروما

text: با توجه به آن که هیپرکلسترولمی، دیابت، کشیدن سیگار، چاقی، پرفشاری خون و زندگی بی تحرک و نشسته از عوامل خطرساز در بروز این ضایعات شناخته شده‌اند تا ۱۰ سال قبل تصور می‌شد که با کنترل این عوامل به ویژه هیپرکلسترولمی و پرفشاری خون، بتوان تا آخر قرن بیستم ابتلا به بیماری‌های کرونری را محدود ساخت. اما به نظر می‌رسد وجود عوامل دیگری موجب شکست در این امر شده‌است. این ضایعه از سلول‌ها، عناصر موجود در بافت همبند، چربی و مواد حاصل از تخریب سلولی تشکیل شده‌است. سلول‌های التهابی و ایمنی که از خون وارد این ضایعه می‌شوند یکی از بخش‌های اصلی این ضایعه را تشکیل می‌دهند. باقی سلول‌هایی که در ساختار این ضایعه دیده می‌شوند عبارت‌اند از سلول‌های اندوتلیوم و عضلات صاف. سلول‌هایی با ظاهر حباب دار و کف آلود (Foam cells) همراه با قطرات چربی آزاد خارج سلولی در مرکز ضایعه آترومی دیده می‌شوند که توسط یک سرپوش متشکل از سلول‌های عضلانی و یک ماده زمینه‌ای پر از کلاژن محدود شده‌اند. سلول‌های لنفوسیت تی، ماکروفاژها و ماست سل‌ها به این ضایعه نفوذ نموده و به ویژه در کناره‌های ضایعه که برجستگی آن به شکل یک لبه به بخش سالم درونی رگ می‌پیوندد ( و حالت شانه مانندی در اطراف ضایعه به وجود می‌آورد) به تعداد زیاد دیده می‌شوند. از این محل شانه مانند است که ضایعه آترومی گسترش می‌یابد. علائم حاکی از فعالیت التهابی در بسیاری از سلول‌های ایمنی موجود در آتروم دیده شده و سیتوکین‌های بسیاری توسط این سلول‌ها تولید می‌گردد.


title: آتروما

text: به نظر می‌رسد هیپرکلسترولمی موجب فعال شدن موضعی سلول‌های اندوتلیوم در شریان‌های بزرگ و متوسط گشته و احتباس لیپویروتئین‌ها، به ویژه با چگالی کم (LDL)، در لایه انتیما عامل اصلی در شروع روند تشکیل آتروم باشد. اکسیداسیون این لیپوپروتئین‌ها توسط رادیکال‌های آزاد که توسط ماکروفاژها تولید می‌گردد و تغییر آنزیمی آن‌ها در انتیما موجب تولید لیپیدهایی می‌شود که از نظر حیاتی فعال می‌باشند. سلول‌های اندوتلیوم و عضلانی صاف موجود در محیط آتروم ممکن است دارای نقش مهمی نیز در این روند باشند. این لیپوپروتئین‌های اکسید شده باعث آزاد شدن فسفولیپیدهایی می‌شوند که سلول‌های اندوتلیوم را به ویژه در محل‌هایی از رگ که تحت فشار همودینامیک است فعال می‌سازند. LDLهای اکسیده شده خود محرک واکنش‌های التهابی بوده موجب جذب مونوسیت‌های خون و بسیج و تکثیر ماکروفاژهای حاصل از مونوسیت‌های جذب شده می‌گردد. این واکنش‌های التهابی برای از بین بردن LDLهای اکسیده شده پدید می‌آید. در این سیر، چربی‌های اکسیده شده ماکروفاژها را بیشتر فعال کرده و پدیده اکسیداسیون خود را تشدید می‌کنند. در حضور هیپرکلسترولمی، پاسخ‌های التهابی که برای خنثی کردن اثر LDLهای اکسیده شده آغاز می‌شوند نمی‌توانند عملکرد خود را کامل کنند و در عوض چرخه التهاب، اکسیده شدن لیپوپروتئین‌ها و و بروز التهاب بیشتر در انتیما باقی می‌ماند. لنفوسیت‌های T که از مراحل اولیه در ضایعه آترواسکلروتیک حضور دارند واکنش‌های التهابی را به صورت یک چرخه معیوب تشدید می‌کنند. سلول‌های ماکروفاژ و عضلات صاف با ولع لیپوپروتئین‌های اکسیده را می‌بلعند و سیتوپلاسم آن‌ها از قطرات حاوی استرهای کلستریل پر شده و به آن‌ها ظاهر حباب دار و کف آلود (Foam cells) می‌دهد.


title: سادات سید باقر مداح

text: سادات سید باقر مداح به عنوان مادر پرستاری نوین ایران متولد ۱۳۱۱ در تهران دارای دکتری آموزش پرستاری از دانشگاه پرتوریا آفریقای جنوبی می‌باشد.مدیر مسئول و سردبیر فصلنامه پرستاری و مامایی ایران


title: سادات سید باقر مداح

text: مجری و محقق اصلی طرح پژوهشی


title: سادات سید باقر مداح

text: “تاثیر آموزش بر میزان عملکرد مراقبت از خود در مددجویان


title: سادات سید باقر مداح

text: عقب مانده ذهنی مقیم در مراکز نگهداری و توانبخشی رفیده” ۱۳۷۴–۱۳۷۶


title: سادات سید باقر مداح

text: مجری و محقق اصلی طرح پژوهشی بین کشوری


title: سادات سید باقر مداح

text: ” بررسی وضعیت سلامت، مشکلات و توانمندی‌های سالمندان ایرانی و سوئدی” ۱۳۸۱–۱۳۸۵


title: سادات سید باقر مداح

text: تألیف کتاب مبانی نظری پرستاری توانبخشی ۱۳۸۵


title: سادات سید باقر مداح

text: مشارکت در تألیف کتاب سلامت در جمهوری اسلامی ایران


title: سادات سید باقر مداح

text: نظارت بر تألیف کتاب «اصول طراحی سیستم‌های خدمات بهداشتی اجتماعی مبتنی بر جامعه ویژه سالمندان» ۱۳۸۶


title: سادات سید باقر مداح

text: نظارت بر تألیف کتاب «راهنمای مراقبت‌های بهداشتی کودکان در منزل» ۱۳۷۶


title: سادات سید باقر مداح

text: مقاله «طراحی مدل ارائه مراقبت در بیماران سکته مغزی» ۲۰۰۸


title: سادات سید باقر مداح

text: ارائه مقاله در قالب پانل در دهمین کنگره پرستاری، مادرید اسپانیا ۱۹۹۳


title: قضیه لوروت

text: در ریاضیات، قضیه لوروث (Lüroth's Theorem) (یا «قضیه لوروت»)، بیان می‌دارد: هر میدانی که بین دو میدان "K" و "K(X)" قرار داشته باشد، لزوماً توسط توسیعی از "K" تولید شده که آن توسیع از الحاق یک عضو "K(X)" بدست آمده است. این نتیجه را به یاد یاکوب لوروت نامگذاری کرده‌اند که اولین بار آن را در ۱۸۷۶ میلادی اثبات نمود.


title: قضیه لوروت

text: فرض کنید formula_1 یک میدان و formula_2 یک متغیر دلخواه و formula_3 میدانی در میان formula_1 و formula_5 باشد. به زبان دیگر : formula_6. آنگاه یک تابع گویای formula_7 وجود دارد که formula_3 را روی formula_1 تولید میکند یا به زبان دیگر : formula_10. این قضیه به دیگر سخن میگوید که هر توسیع میدانی formula_1 که زیر مجموعه formula_5 باشد یک توسیع ساده است.


title: قضیه لوروت

text: برای اثبات این قضیه روش های بسیاری وجود دارد از جمله روش هندسی که به وسیله نظریه خم های گویا این قضیه را اثبات میکنند. ولی روش های جبری هم هستند که در بیشتر آنها از لم گاوس برای اثبات بهره میبرند.


title: باراکامون

text: باراکامون یک مجموعه مانگایِ ژاپنی که توسط ساتسوکی یوشینو نوشته و مصورسازی شده است. این سری برای اولین بار در مجله گانگان آنلاین اسکوئر انیکس از فوریه ۲۰۰۹ انتشار یافت. داستان مجموعه دربارهٔ یک خوشنویس ژاپنی به نام سیشو هاندا است که برای آرام‌کردن اعصاب و پیدا کردن راهی جدید برای ارتقاء سطح خوشنویسی خود به جزیره‌ای نقل مکان می‌کند.


title: باراکامون

text: یک نسخهٔ مشتق از این مانگا نیز با نام هاندا-کون از اکتبر ۲۰۱۳ در ماهنامه شونن گانگان شروع به انتشار شده است. داستان این نسخه شش سال قبل از نسخهٔ اصلی "باراکامون" اتفاق می‌افتد و زندگی هاندا سیشو به عنوان یک دانش‌آموز را در بر می‌گیرد. یک مجموعه تلویزیونی انیمه ۱۲ قسمتی نیز توسط استودیوی کینما سیتروس از روی نسخهٔ مانگا ساخته شده که پخش آن از ۶ ژوئیه ۲۰۱۴ در شبکه نیپون تلویژن شروع شده، و تا ۲۷ سپتامبر ۲۰۱۴ ادامه داشت.


title: موتور شطرنج

text: موتور شطرنج در شطرنج کامپیوتری، برنامه‌ای است که موقعیت‌های شطرنج را ارزیابی کرده و بهترین حرکت را انتخاب می‌کند. موتور شطرنج در مورد اینکه چه حرکتی انجام شود تصمیم می‌گیرد، ولی معمولاً به‌طور مستقیم با کاربر در تعامل نیست. بیشتر موتورهای شطرنج رابط کاربری خود را نداشته و برنامه‌های کنسولی هستند که با استفاده از پروتکل استاندارد با رابط‌های کاربری همچون WinBoard، XBoard یا glChess ارتباط برقرار می‌کنند. این به کاربر امکان می‌دهد که بدون نیاز به یادگیری رابط کاربری جدید برای هر موتور شطرنج، با آن‌ها بازی کرده یا اجازه دهد با همدیگر به رقابت بپردازند. رابط خط فرمان شطرنج گنو نخستین استاندارد غیررسمی است که پروتکل ارتباطی موتور شطرنج نامیده شده و در آغاز توسط XBoard پشتیبانی شده بود. هنگامی که XBoard به سیستم عامل ویندوز منتقل شد WinBoard نامیده شده، این پروتکل عموماً به 'پروتکل وین‌بورد' تغییر نام یافت. پروتکل WinBoard خودش به دو ویراست ارتقا یافت که با نام‌های 'پروتکل وین‌بورد ۱' (ویراست اصلی) و 'پروتکل وین‌بورد ۲' (ویراست جدید) از آن‌ها یاد می‌شود. پروتکل دیگری به نام رابط شطرنج همگانی نیز وجود دارد. برخی از موتورها هر دو پروتکل را پشتیبانی می‌کنند و هر پروتکل هواداران خودش را دارد. پروتکل وین‌بورد عمومی‌تر است ولی خیلی از توسعه‌دهندگان موتورهای شطرنج به خاطر آسان بودن پیاده‌سازی رابط شطرنج همگانی آن را ترجیح می‌دهند. برخی از رابط‌ها هر دو پروتکل را پشتیبانی کرده در حالی که برخی دیگر مثل WinBoard فقط یکی از آن‌ها را پشتیبانی کرده و به مفسرهای کمکی برای ترجمه پروتکل نیاز دارد. هر سال بر توانایی موتورهای شطرنج افزوده می‌شود. بخشی از این، به دلیل افزوده شدن بر قدرت پردازشی است که امکان محاسبات بیشتر برای رسیدن به عمق‌های بیشتر در زمان داده شده را می‌دهد. افزون بر این تکنیک‌های برنامه‌نویسی بهبود پیدا کرده و به موتورها این امکان را می‌دهند که گزینش بیشتری برای رسیدن به درک بهتر موقعیت در رشته حرکاتی که ارزیابی می‌کند داشته باشند. برخی از موتورهای شطرنج از جدول‌های پایان بازی برای افزایش توانایی بازی در پایان بازی استفاده می‌کنند. یک جدول پایان بازی پایگاه داده‌ای است که تمامی موقعیت‌های پایانی با گروه کوچکی از مهره‌ها را در بر می‌گیرد. نتایج مسابقات کامپیوتری چشم‌اندازی از توانایی نسبی موتورهای شطرنج ارائه می‌دهد. هرچند مسابقات تعداد بازی‌های قابل توجهی از نظر آماری ارائه نمی‌دهند تا به‌طور دقیق توانایی موتورها را بسنجیم. در واقع تعداد بازی‌هایی که برای رسیدن به آمار معنادار نیاز داریم هزاران بازی است و در چارچوب کاری یک مسابقه نمی‌گنجد. بیشتر مسابقات امکان استفاده از سخت‌افزارهای گوناگون را می‌دهند، بنابراین ترکیب موتور/سخت‌افزار مقایسه می‌شود. به‌طور تاریخی برنامه‌های تجاری توانمندترین موتورها هستند. این تا اندازه‌ای پیش‌گویی خودانجام است؛ اگر یک موتور آماتور در یک مسابقه برنده شود یا خوب بازی کند (برای مثال Zappa در سال 2005)، سپس به سرعت تجاری می‌شود. عنوان‌هایی که در مسابقات زیر اعتبار زیادی برای برنامه‌های برنده و بنابراین برای استفاده بازاریابی به همراه دارد. لیست‌های ریتینگ شطرنج تعداد بازی‌های قابل توجهی از نظر آماری برای مقایسه توانایی نسبی موتورها فراهم می‌کند. این لیست‌ها چندین بازی بین موتورهای در پلتفرم‌های سخت‌افزاری استاندارد انجام داده، بنابراین تفاوت پردازنده از محاسبات حذف می‌شود. همچنین برخی نیز کتاب‌های گشایش بازی را استانداردسازی کرده تا تنها توانایی موتورها مقایسه شود. این لیست‌ها نه تنها رنکینگ را فراهم می‌کند، بلکه مرز خطای ریتینگ را نیز تعیین می‌کند. همچنین لیست‌های ریتینگ معمولاً به‌طور پیوسته به انجام بازی‌ها پرداخته و به‌روزرسانی‌های زیادی را در هر سال در مقایسه با مسابقاتی که سالیانه انجام می‌شوند، منتشر می‌کنند. فاکتورهایی که لیست‌های گوناگون را از هم متمایز می‌کند در زیر آمده‌است: این تفاوت‌ها روی نتایج تأثیر می‌گذارد و مقایسه لیست‌های ریتینگ را دشوار می‌کند.


title: موتور شطرنج

text: موتورها را می‌توان با اندازه‌گیری عملکردشان در موقعیت‌های ویژه ارزیابی کرد. معمولاً برای هر موقعیت داده شده باید بهترین حرکت یافته شود. این موقعیت‌ها می‌تواند به سمت بازی‌های پوزیشنال، تاکتیکی یا پایان بازی متمایل شوند. معمولا یک مهندس نرم افزار وقتی نمی تواند روشی برای حل ایده ال مساله پیدا کند از "روش دست گرمی" استفاده می کند. گر چه امکان دارد مجموعه حاصل هم ریختگی یا به عبارت بهتر وحدت رویه ها را حفظ نکند. برای مثال امکان دارد توابع آورین به همراه الگوی یادگیری مدلی معیوب را منجر شوند هر چند ایده ای نو باشند. یا "انتشار گره" یا "بازی ارتفاعی عادلانه" همچون جرقه ای بدرخشد. عیب دیگر این روش این است امکان دارد پروژه مسیری را طی کند که به دوباره کاری برسد که از اصالت اثر بکاهد یا به آن ارزش دهد. به همین خاطر پروژه به نقطه ای می رسد که "ریسک" آن به 100% است و باید یا دور انداخته شود یا از نو با مستندات علمی نوشته شود. تنها سود تجربه هایی است که به زحمت کسب کرده است. بنابراین همیشه مجموعه های آزمایشی اپ های بدی هم نیستند. هر چند بهره وری هدف این موتورهای شطرنج نیست یا اصلا موتور نیستند و بیشتر به تکه کدهای جامع می مانند که کارایی مطلوب را ندارند بعضی وقتها ریسک به انتشار نسخه می ارزد.


title: بخش کارزان

text: بخش کارزان یکی از بخش‌های تابعه شهرستان سیروان در استان ایلام در غرب ایران است.


title: بخش کارزان

text: شهرها:


title: یاکوب لوروت

text: یاکوب لوروت (زاده ۱۸ فوریه ۱۸۴۴ در مانهایم - درگذشته ۱۴ سپتامبر ۱۹۱۰ در مونیخ) ریاضیدان اهل آلمان بود.


title: یاکوب لوروت

text: لوروت در آغاز به ستاره‌شناسی دلبسته بود و یکچند به کار در رصد خانه مانهایم پرداخت و سپس در سال ۱۸۶۲ در دانشگاه بن سرگرم تحصیل ستاره‌شناسی شد ولی به دلیل ضعف بینایی این رشته را ترک گفت. از سال ۱۸۶۳ به تحصیل ریاضیات در دانشگاه هایدلبرگ روی آورد و در سال ۱۸۶۵ تحت سرپرستی اتو هسه مدرک دکترای ریاضی را به دست آورد. سپس آموختن ریاضیات را در دانشگاه برلین نزد وایرشتراس و در دانشگاه گیسن نزد کلبش پی گرفت و در سال ۱۸۶۷ درجه شایستگی را در دانشگاه هایدلبرگ به دست آورد و در همانجا به کار مشغول شد. از ۱۸۶۸ در دانشگاه کارلسروهه بود و در ۱۸۶۹ در همانجا به درجه استادی تمام رسید و از سال ۱۸۸۰ جانشین فلیکس کلاین در دانشگاه مونیخ شد. لوروت در پی یک حمله قلبی ناگهانی در حالی که در تعطیلات به سر می برد در گذشت.


title: یاکوب لوروت

text: لوروت در زمینه‌های بسیاری در هندسه و هندسه جبری کار کرد. به عنوان شاگرد کلبش و هسه او کارهای آنان در زمینه نظریه ناورداها را گسترش داد. او خم های درجه ۴ لوروت را که به نام خود او نامگذاری شده‌اند در جریان همین کارهایش در ادامه کارهای کلبش کشف نمود. کلبش به دنبال شرایطی بود که در صورت برقرار بودن آن‌ها یک خم درجه ۴ به صورت مجموع پنج جمله با توان ۴ قابل نمایش است.


title: یاکوب لوروت

text: او همچنین به دلیل قضیه مشهوری که به نام خود او قضیه لوروت نامیده شده‌است نامبردار است. این قضیه به زبان هندسی میگوید که هر خم هم-گویا یک خم گویا است.


title: یاکوب لوروت

text: لوروت همچنین به توپولوژی پرداخت و در تلاش اثبات این بود که بعد یک ناوردای توپولوژیک است. این قضیه اما نخستین بار به وسیله براوئر به اثبات رسید.


title: یاکوب لوروت

text: کتاب در آمدی بر مکانیک وی بنا بر گفته ماکس نوتر نخستین کتاب درسی مکانیک است که از گونه نوشتاری برداری بهره میگیرد.


title: دیدارهای فوتبال ایالات متحده آمریکا و برزیل

text: تیم ملی فوتبال مردان بزرگسالان ایالات متحده آمریکا و برزیل تاکنون ۱۷ بار در مقابل یکدیگر قرار گرفته‌اند. حاصل این ۱۷ بازی، ۱۶ پیروزی برای برزیل و ۱ پیروزی برای ایالات متحده آمریکا بوده است. گل زده برزیل ۳۵ و گل زده ایالات متحده آمریکا ۱۱ گل بوده است.


title: دیدارهای فوتبال ایالات متحده آمریکا و استرالیا

text: تیم ملی فوتبال مردان بزرگسالان ایالات متحده آمریکا و استرالیا تاکنون ۳ بار در مقابل یکدیگر قرار گرفته‌اند. حاصل این ۳ بازی، ۱ پیروزی برای ایالات متحده آمریکا و ۱ پیروزی برای استرالیا و ۱ تساوی بوده است. گل زده ایالات متحده آمریکا ۳ و گل زده استرالیا ۲ گل بوده است.


title: مهر نبوت

text: مهر نبوت به مهری گفته می‌شود که محمد پیامبر اسلام برای امضای نامه‌هایش از آن استفاده می‌کرد. این مهر به شکل دایره است و در ۳ خط عبارت «محمد رسول‌الله» روی آن به صورت پایین به بالا نوشته شده‌است (در هر سطر یکی از سه واژه محمد، رسول و الله). دلیل برعکس نوشته‌شدن متن مهر این بود که محمد نمی‌خواست نام خود را بالاتر از نام خداوند قرار دهد. در مورد منشأ و سرنوشت این مهر در منابع اولی‌های نظیر تاریخ طبری، ماجراهایی ذکر شده‌است. اکنون یک مهر مستطیل‌شکل با عبارت محمد رسول‌الله که "ختم‌الرسول" نام دارد در موزه توپقاپی استانبول نگهداری می‌شود.


title: مهر نبوت

text: در قسمت پایین پرچم داعش و چند گروه تروریستی دیگر یک دایره سفید حاوی سه کلمه است که به روایتی شبیه مهر و موم محمد پیامبر اسلام است، مشابه آنچه که محمد، باری برای مهر کردن پاکت نامه(؟) استفاده می کرده است.


title: وو شی (بازیکن فوتبال)

text: وو شی (؛ زادهٔ ) یک بازیکن فوتبال اهل جمهوری خلق چین است.


title: وو شی (بازیکن فوتبال)

text: وی همچنین در تیم ملی فوتبال چین بازی کرده‌است.


title: لیو جیانی

text: لیو جیانی ( ؛ زادهٔ ) یک بازیکن فوتبال اهل جمهوری خلق چین است.


title: لیو جیانی


title: اشرف نعمان

text: اشرف نعمان (؛ زادهٔ ) یک بازیکن فوتبال اهل فلسطین است.


title: اشرف نعمان

text: وی همچنین در تیم ملی فوتبال فلسطین بازی کرده است.


title: عبدالعزیز المشعان

text: عبدالعزیز المشعان (؛ زادهٔ ) یک بازیکن فوتبال اهل کویت است.


title: عبدالعزیز المشعان

text: وی همچنین در تیم ملی فوتبال کویت بازی کرده‌است.


title: سخنران عروسی

text: سخنران عروسی () فیلمی در ژانر کمدی است که در سال ۲۰۱۵ منتشر شد. از بازیگران آن می‌توان به کوین هارت، جش گد، کیلی کوئوکو و اولیویا ترلبی اشاره کرد.


title: برنامه‌نویسی مبتنی بر اتوماتا

text: برنامه‌نویسی مبتنی بر اتوماتا یک الگوی برنامه‌نویسی است که در آن کل برنامه یا بخشی از آن به صورت مدلی از ماشین حالات متناهی (FSM) یا دیگر اتوماتاهای قراردادی دیگر (که اغلب پیچیده‌تر هستند) تصور می‌شود (نظریه اتوماتا را ببینید). اتوماتای بر اساس برنامه‌نویسی نمونه‌ای از برنامه‌نویسی می‌باشد که برنامه و قسمت‌های مختلف آن سعی بر این دارند تا یک ماشین متناهی را مدل کنند.


title: برنامه‌نویسی مبتنی بر اتوماتا

text: برنامه‌نویسی مبتنی بر FSM نیز مانند برنامه‌نویسی مبتنی بر اتوماتیک می‌باشد با این تفاوت که تمامی جنبه‌های ماشین متناهی را پوشش نمی‌دهد.


title: برنامه‌نویسی مبتنی بر اتوماتا

text: موارد زیر مشخصه‌های برنامه‌نویسی مبتنی بر اتوماتیک است:


title: برنامه‌نویسی مبتنی بر اتوماتا

text: ۱-زمان اجرای برنامه به وضوح از مراحل اتوماتا جدا می‌باشد. ۲-ارتباط میان مراحل فقط از طریق رفتن از یک وضعیت به وضعیت دیگر می‌باشد.


title: برنامه‌نویسی مبتنی بر اتوماتا

text: تمام مراحل اجرای یک اتومات به‌طور کلی یک چرخهٔ اتوماتا را می‌گویند.


title: برنامه‌نویسی مبتنی بر اتوماتا

text: برنامه‌ای در زبان C را در نظر که یک متن را از ورودی می‌خواند، خط به خط کلمه اول هر خط را چاپ می‌کند.


title: برنامه‌نویسی مبتنی بر اتوماتا

text: برنامه زیر می‌تواند مورد بالا را به روش سنتی برنامه‌نویسی C انجام بدهد: int main(void)


title: برنامه‌نویسی مبتنی بر اتوماتا

text: روش برنامه‌نویسی مبتنی بر اتوماتیک


title: برنامه‌نویسی مبتنی بر اتوماتا

text: همان کاری که برنامه قبل انجام میداد را می‌توانیم با ماشین متناهی انجام دهیم.توجه داشته باشید که تجزیه خطوط سه مرحله دارد :


title: برنامه‌نویسی مبتنی بر اتوماتا

text: 1- عبور کردن از space ها


title: برنامه‌نویسی مبتنی بر اتوماتا

text: 2- چاپ کردن کلمه


title: برنامه‌نویسی مبتنی بر اتوماتا

text: 3- گذر از همهٔ حروف کلمه


title: برنامه‌نویسی مبتنی بر اتوماتا

text: برنامه به شکل زیر می‌باشد :


title: برنامه‌نویسی مبتنی بر اتوماتا

text: int main(void)


title: برنامه‌نویسی مبتنی بر اتوماتا

text: اگرچه برنامه طولانی به نظر می‌رسد اما مزیت آن این است که فقط یک دستور خواندن دارد و همچنین تنها یک حلقه در برنامه وجود دارد نه 4 عدد.


title: برنامه‌نویسی مبتنی بر اتوماتا

text: کاملاً لازم نیست کد را به گرداننده‌ها ی جدا برای‌ها وضعیت تقسیم کنیم.برنامهٔ زیر همان کار برنامهٔ بالا را انجام می‌دهد با این تفاوت که یک مقدار کوتاه‌تر است.


title: برنامه‌نویسی مبتنی بر اتوماتا

text: مهمترین ویژگی برنامه قبل این است که کد مرحله اتوماتیک به صورت محلی تعریف شده‌است. با یک تابع جدا برای این قسمت ما بهتر می‌توانیم این ویژگی را اثبات کنیم.


title: برنامه‌نویسی مبتنی بر اتوماتا

text: enum states { before, inside, after }; void step(enum states *state, int c) }  int main(void)


title: برنامه‌نویسی مبتنی بر اتوماتا

text: این مثال به‌طور کامل ویژگی کد مبتنی بر اتوماتا را ثابت می‌کند.


title: برنامه‌نویسی مبتنی بر اتوماتا

text: یک اتوماتای متناهی می‌تواند به‌طور صریح و روشن توسط جدول انتقال بیان شود. در برنامه زیر جدولی وجود دارد که برای هر ترکیب جدول شامل یک وضعیت جدید و یک پرچم می‌باشد. enum states { before = 0, inside = 1, after = 2 }; struct branch { struct branch the_table[3][3] = { void step(enum states *state, int c)


title: برنامه‌نویسی مبتنی بر اتوماتا

text: اتوماتا و اتوماسیون برنامه‌نویسی مبتنی بر متن نشان دهندهٔ مطابقت میان برنامه‌نویسی و اتوماسیون می‌باشد.


title: برنامه‌نویسی مبتنی بر اتوماتا

text: یک چرخهٔ تولید به‌طور کلی به صورت زیر مدل می‌شود.


title: برنامه‌نویسی مبتنی بر اتوماتا

text: 1.مجموعه‌ای از مراحل که با ورودی مطابقت دارد.


title: برنامه‌نویسی مبتنی بر اتوماتا

text: 2.مجموعه‌ای از کارها که با حالت کنونی مطابقت دارد.


title: برنامه‌نویسی مبتنی بر اتوماتا

text: برنامه‌ای که در بالا ارائه شد از این دیدگاه به صورت زیر بیان می‌شود. SPC : ' ' EOL : '\n' states : (before, inside, after, end) setState(c) { doAction(c) { cycle {


title: برنامه‌نویسی مبتنی بر اتوماتا

text: در رشتهٔ اوتوماسیون از یک مرحله به مرحلهٔ دیگر رفتن به این بستگی دارد که چه حروفی به دستگاه وارد می‌شود. این می‌تواند این‌گونه ارائه شود که حروف از یک فایل متنی خوانده شود و به ترتیب وارد دستگاه شود. در واقع این اطلاعات در مورد مکان، سرعت، دما و دیگر عناصر حیاطی دستگاه می‌باشد.


title: برنامه‌نویسی مبتنی بر اتوماتا

text: مانند یک برنامه‌نویسی گرافیکی شاخه‌هایی وجود دارند که با یکدیگر اجرا می‌شوند که به صورت زیر می‌توان آن‌ها را نشان داد.


title: برنامه‌نویسی مبتنی بر اتوماتا

text: اگر زبان برنامه‌نویسی از ویژگی‌های شی گرایی استفاده کند می‌توان اوتومات‌ها را به صورت یک شی در نظر گرفت. با ابن کار چگونگی پیاده‌سازی آن و جزئیات آن پنهان می‌شود.


title: برنامه‌نویسی مبتنی بر اتوماتا

text: به عنوان مثال یک نسخه از برنامه‌ای که در بالا گفته شد با استفاده از ویژگی‌های شی گرایی به صورت زیر نوشته می‌شود. class StateMachine { public: }; struct StateMachine::branch StateMachine::the_table[3][3] = { int main(void)


title: برنامه‌نویسی مبتنی بر اتوماتا

text: اوتوماتای مبتنی بر برنامه‌نویسی به صورت گسترده‌ای در تحلیل لغوی و گرامری استفاده می‌شود.


title: برنامه‌نویسی مبتنی بر اتوماتا

text: در نظریهٔ اوتوماتیک فکر نیز می‌تواند مورد استفاده قرار بگیرد.


title: برنامه‌نویسی مبتنی بر اتوماتا

text: اوتومات‌های مبتنی بر برنامه‌نویسی برای توصیف معانی بعضی از زبان‌های برنامه‌نویسی مورد استفاده قرار میگیرد.


title: برنامه‌نویسی مبتنی بر اتوماتا

text: تکنیک مبتنی بر اوتومات‌ها به صورت گسترده‌ای در الکوریتم‌ها و نظریهٔ اوتوماتیک استفاده می‌شود. مثل تحلیل زبان‌های با قاعده.


title: برنامه‌نویسی مبتنی بر اتوماتا

text: یکی از ابتدایی‌ترین مقاله‌ها در این زمینه در سال 1968 چاپ شد.


title: برنامه‌نویسی مبتنی بر اتوماتا

text: اولین جایی که از اوتومات‌های مبتنی در برنامه‌نویسی به عنوان یک تکنیک عمومی نام برده شده‌است در سال 1963 توسط پیتر نور بود که نویسنده آن را تکنیک تورینگ ماشین نام‌گذاری کرده بود.


title: برنامه‌نویسی مبتنی بر اتوماتا

text: Nondeterministic programming


title: برنامه‌نویسی مبتنی بر اتوماتا

text: State pattern


title: برنامه‌نویسی مبتنی بر اتوماتا

text: Esterel


title: برنامه‌نویسی مبتنی بر اتوماتا

text: Umple


title: کاپیتان نمو

text: کاپیتان نمو ، شخصیتی خیالی است که اولین بار در کتاب‌های ژول ورن، نویسندهٔ فرانسوی ادبیات علمی–تخیلی از او نام برده شد. او با عنوان شاهزاده داکار (Prince Dakkar) نیز شناخته می‌شود.


title: کاپیتان نمو

text: نمو (Nemo) در زبان لاتین به معنی "هیچ کس" است. کاپیتان نمو در دو رمان از ژول ورن با نام‌های بیست هزار فرسنگ زیر دریا (۱۸۷۰) و جزیره اسرارآمیز (۱۸۷۴)، فرماندهی یک زیردریایی با نام ناتیلوس را برعهده دارد و در نمایشنامه‌ای از ژول ورن با نام سفری به ناممکن (۱۸۸۲) نیز حضور دارد.


title: کاپیتان نمو

text: در کتاب بیست هزار فرسنگ زیر دریا، از گذشتهٔ او صحبتی نمی‌شود و تنها می‌خوانیم که خانوادهٔ خود را از دست داده و اکنون تمایلات شدید ضدامپریالیستی دارد. (به ویژه ضد انگلستان)


title: کاپیتان نمو

text: در کتاب جزیره اسرارآمیز، او خود را شاهزاده داکار، فرزند راجای هندوی باندل‌کوند و نوهٔ تیپو سلطان (از قهرمانان مبارزات آزادی‌خواهانهٔ مردم هند) معرفی می‌کند. او می‌گوید که در نبرد سپاهیان علیه انگلیس شرکت داشته و با از دست دادن خانواده‌اش به انزوا روی می‌آورد و با اندک یاران باقی‌ماندهٔ خود به پژوهش‌های علمی و ساخت ناتیلوس می‌پردازد. پس از ساخت ناتیلوس، نام خود را به کاپیتان نمو تغییر می‌دهد و در دریاها ناپدید می‌شود. با گذشت زمان، افراد او یکی پس از دیگری درمی‌گذرند و او تنها می‌ماند: او پس از اینکه بالن افراد گم‌گشته به جزیره می‌افتد به آنها کمک می‌کند تا اینکه سرانجام در آخرین ساعات عمر خود، آنها را فرا می‌خواند و خود را معرفی می:ند و از آنها می‌خواهد که پس از مرگش ناتیلوس را غرق کنند تا آرامگاه او در بستر اقیانوس باشد. پناه‌آورندگان به جزیره، به آخرین وصیت او عمل می‌کنند و جسد او به همراه ناتیلوس به قعر اقیانوس می‌رود.


title: کاپیتان نمو

text: در کتاب "بیست هزار فرسنگ زیر دریا" ابتدا قرار بود که کاپیتان نمو یکی از نجیب‌زادگان لهستانی باشد که خانواده‌اش در جریان قیام ژانویه بدست نیروهای روسیهٔ تزاری کشته شده‌اند. اما ویراستار ژول ورن، پیر-ژول هرتزل، او را از این کار بازداشت چون از ممنوع شدن کتاب در بازار روسیه و نیز مخالفت دولت روسیه در هراس بود و از این رو اصلیت کاپیتان نمو در این کتاب نامشخص ماند.


title: کاپیتان نمو

text: کتاب بیست هزار فرسنگ زیر دریا در سال‌های ۱۸۶۹ و ۱۸۷۰ میلادی نوشته شد و در آن، سفرهای کاپیتان نمو با ناتیلوس در سال‌های ۱۸۶۶ تا ۱۸۶۸ گزارش شده‌است. کتاب جزیره اسرارآمیز در ۱۸۷۴ نوشته شده اما داستان آن به پس از جنگ داخلی آمریکا یعنی در سال‌های ۱۸۶۵ تا ۱۸۶۸ می‌پردازد. در کتاب جزیرهٔ اسرارآمیز می‌فهمیم که کاپیتان نمو، شش سال گذشته را در جزیره به سر برده و در همان‌جا نیز شاهد مرگ او هستیم اما این با تاریخ سفرهای او در کتاب "بیست هزار فرسنگ زیر دریا" ناسازگار است.


title: لارین دی

text: لارین دی (; – ) یک هنرپیشه، مجری تلویزیون، و پدیدآور اهل ایالات متحده آمریکا بود.


title: لارین دی

text: از فیلم‌ها یا برنامه‌های تلویزیونی که وی در آن نقش داشته‌است می‌توان به متکبرها، خبرنگار خارجی، گردن‌بند، و یکی زیبا بود، صدای سوم اشاره کرد.


title: خم درجه چهارم لوروت

text: در ریاضیات، خم درجه چهارم لوروت یک خم صفحه‌ای ناتکین از درجۀ چهار است که رأس‌های یک ستاره کامل را در بر می‌گیرد. این خم‌ها به افتخار ریاضی‌دان آلمانی، یاکوب لوروت، که نخستین بار آن‌ها را کشف کرد و به نامِ او خوانده می‌شود. در سال ۱۹۱۹، فرانک مورلی ثابت کرد که خم‌های لوروت یک زیرمجموعۀ باز از یک ابررویه درجۀ ۵۴ تشکیل می‌دهند که آن را «ابررویه لوروت» نام نهاد که در فضای پیمانه‌ای خم‌های درجۀ چهار یعنی، formula_1 جای می‌گیرد. بنینگ و بوتمر در سال ۲۰۱۱ نشان دادند که فضای پیمانه‌ای خم‌های لوروت گویا است.


title: قهرمان فیلم اکشن

text: قهرمان فیلم اکشن اصطلاحاً به بازیگری گفته می‌شود که معمولاً در فیلم‌های اکشن نقش قهرمان اصلی را بازی می‌کند. این بازیگران باید خصوصیات فیزیکی مناسبی داشته باشند و به همین دلیل باید در زندگی خود عاداتی مانند تمرین‌های تخصصی، خوابیدن برنامه‌دار، ورزش مداوم و رژیم غذایی خاصی را رعایت کنند. بسیاری از این بازیگران پیش از ورود به سینما، ورزشکار حرفه‌ای بوده‌اند. از این بازیگران می‌توان آرنولد شوارزنگر (بدن‌ساز) و جکی چان (رزمی‌کار)،اسکات ادکینز(رزمی)،ژان کلود ون دام(کیک بوکسور) را نام برد. جمشید هاشم‌پور در سینمای ایران نمونه‌ای از چنین بازیگرانی است.


title: آلبرتو نیسمان

text: ناتالیو آلبرتو نیسمان (۵ دسامبر ۱۹۶۳–۱۸ ژانویه ۲۰۱۵)، دادستان پروندهٔ انفجار در مرکز همیاری یهودیان آرژانتین (بمب‌گذاری آمیا) بود. در بمبگذاری مذکور که در سال ۱۹۹۴ رخ داد، ۸۵ نفر کشته شدند.


title: آلبرتو نیسمان

text: نیسمان در یک خانواده یهودی در بوئنوس آیرس زاده شد. وی حرفه‌اش را به عنوان دادستان در شهر مورون آغاز کرد. با یک قاضی به نام «ساندرا آرویو سالگادو» ازدواج نمود که حاصل آن دو فرزند دختر هستند.


title: آلبرتو نیسمان

text: نیسمان قبل از مرگ مشکوکش گفته بود: تحقیقات او نشان می‌دهد که کریستینا فرناندس د کیرشنر با دولت ایران «تبانی» کرده‌است که آرژانتین، از جمله در برابر دریافت امتیازهای نفتی از تهران، نقش مقامات وقت ایران را در انفجار ۲۰ سال پیش در کانون همیاری یهودیان آرژانتین «لاپوشانی» کند. وی همچنین هکتور تیمرمن، وزیر خارجه آرژانتین، را به همدستی با کرشنر برای کمک به ایران، متهم کرده و خواهان بازجویی از او نیز شده بود. اما هکتور تیمرمن و آنیبال فرناندز، رئیس دفتر ریاست جمهوری آرژانتین، روز پنجشنبه ۲۵ دی ۱۳۹۳، اتهامات مطرح شده از سوی آلبرتو نیسمان را رد کردند.


title: آلبرتو نیسمان

text: قرار بود نیسمان در جلسه غیرعلنی پارلمانِ آرژانیتن، دربارهٔ اتهاماتی که به رئیس جمهوری این کشور وارد می‌کند، توضیحاتی ارائه دهد و شهادت بدهد که کریستینا فرناندز کرشنر، رئیس‌جمهوری آرژانتین «سعی داشته نقش ایران در بمبگذاری مرکز یهودیان آمیا را لاپوشانی کند.» اما در تاریخ یکشنبه شب ۲۸ دی ۱۳۹۳ جسد آلبرتو نیسمان در آپارتمانش در طبقه سیزدهم برج لوپارک در بوئنوس آیرس پیدا شد. رسانه‌های آن کشور از اصابت چند گلوله به بدن وی خبر داده و مقامات دادستانی آرژانتین نیز این امر را تأیید کرده‌اند. نیسمان در روزهای پیش از این اتفاق گفته بود که به مرگ تهدید شده‌است.


title: آلبرتو نیسمان

text: روزنامه نیویورک تایمز (در شماره پنجشنبه دوم بهمن ۱۳۹۳) با استناد به بخش‌هایی از این گزارش ۲۸۹ صفحه‌ای نوشته که مقام‌های آرژانتین و ایران به توافقی رسیده بودند که بر اساس آن، آرژانتین به ایران گوشت صادر کند و از ایران نفت تحویل بگیرد و همچنین، نقش مقام‌های جمهوری اسلامی در انفجار مرکز یهودیان این کشور مشهور به آمیا را امحا کند.


title: آلبرتو نیسمان

text: بر اساس این گزارش، کریستینا فرناندز دو کریشنر، رئیس‌جمهوری و هکتور تیمرمن، وزیر امور خارجه آرژانتین از این توافق حمایت کرده بودند اما توافق فوق هرگز به اجرا در نیامد زیرا مقام‌های آرژانتین نتوانستند پلیس بین‌الملل (اینترپل) را قانع کنند تا نام مسئولان ایران را از فهرست افراد تحت تعقیب خود حذف کنند.


title: آلبرتو نیسمان

text: «دامیان پچر» که گفته می‌شود برای اولین بار خبر مرگ آلبرتو نیسمان، دادستان آرژانیتی پرونده انفجار مرکز یهودیان آرژانیتن (آمیا) را گزارش کرده، از ترس جانش به اسرائیل گریخته است. وی گزارشگر روزنامه «بوینس‌آیرس هرالد» است و در صبح شنبه(۲۴ ژانویه ۲۰۱۵) از آرژانتین خارج شده‌است. وی به رسانه‌ها گفته‌است: «از آرژانتین می‌روم چون جانم در خطر است. تلفن‌هایم همه شنود می‌شود.»


title: آلبرتو نیسمان

text: همسر سابق نیسمان می‌گوید که یافته اولیه پلیس دایر بر خودکشی او را بعید می‌داند.


title: آلبرتو نیسمان

text: ویویانا فین سرپرست تحقیقات دربارهٔ این مرگ روز دوشنبه گفت نشانه‌ها حاکی از آن است که آلبرتو نیسمان، خودکشی کرده‌است و نشانه‌ای از مشارکت دیگران در مرگ او وجود ندارد. این در حالیست جسد آلبرتو نیسمان درست پیش از آنکه قرار بود در جلسه غیرعلنی کنگره شهادت دهد پیدا شد.


title: آلبرتو نیسمان

text: به گزارش آسوشیتدپرس همکاران نیسمان می‌گویند هیچ نشانه‌ای از تمایل او به خودکشی وجود نداشته‌است. خانواده و دوستان نیسمان هم در یادداشت‌هایی که سه شنبه در روزنامه لاناسیون چاپ شد احتمال خودکشی او را رد کرده‌اند.


title: آلبرتو نیسمان

text: کریستینا فرناندز، رئیس‌جمهوری آرژانتین در واکنش به اتهاماتی که در خصوص مرگ آلبرتو نیسمان، دادستان پرونده آمیا مطرح شده، ابتدا به تفصیل از نقش خودش در عدالت‌خواهی برای آسیب‌دیدگان حمله به مرکز یهودیان بوئنس آیرس در سال ۱۹۹۴ دفاع کرد و بعد گفت نمی‌داند چه چیزی ممکن است باعث شده باشد نیسمان «چنین کاری (خودکشی) بکند.» اما این موضع یک روز بیشتر دوام نداشت. فرناندز فردای آنروز موضع کاملاً متفاوتی گرفت. او بیانیه‌ای حتی طولانی‌تر از واکنش اولش منتشر کرد و گفت که او خودکشی نکرده‌است. به گزارش خبرگزاری فرانسه (در تاریخ ۲ بهمن ۱۳۹۳)، فرناندز در پیام خود گفت: «دشمنان او (نیسمان) تا وقتی زنده بود از او استفاده کردند و بعد به این نتیجه رسیدند که قتل او به نفع آنان است». رئیس‌جمهوری آرژانتین به هیچ فرد مشخصی به عنوان متهم احتمالی در پرونده قتل آلبرتو نیسمان اشاره نکرده‌است.


title: آلبرتو نیسمان

text: طرفداران نیسمان که مقامات ارشد دولتی را به تلاش برای پرده پوشی نقش ایران در انفجار مرکز یهودیان متهم کرده بود خواستار رسیدگی عادلانه به ماجرای مرگ او شده‌اند. تظاهرکنندگان که پلاکاردهایی را حمل می‌کردند، به سرودخوانی و دادن شعارهایی مبادرت کرده و تلویحاً برخی مقامات دولتی را به دخالت در «قتل» نیسمان متهم کردند.


title: آلبرتو نیسمان

text: یکی از بزرگترین جوامع یهودی جهان در خارج از اسرائیل در آرژانتین زندگی می‌کنند و شمار آن‌ها به ۲۰۰ هزار نفر می‌رسد. یک هفته پس از مرگ مرموز آلبرتو نیسمان، گروه‌های یهودی در آرژانتین مراسم دولتی یادبود قربانیان هولوکاست را تحریم کردند. رهبران یهودیان گفتند که دولت تمرکزش را در تحقیقات دربارهٔ مرگ نیسمان از دست داده است. بعضی از آن‌ها از نطق طولانی تلویزیونی خانم فرناندز ابراز ناراحتی کردند چون گفتند که در آن برای مرگ آلبرتو نیسمان یا قربانیان بمبگذاری ۱۹۹۴ از خود همدردی زیادی نشان نداده. بازماندگان هولوکاست مراسم جداگانه‌ای در مرکز بازسازی شده یهودیان بوئنوس آیرس برگزار کردند.


title: آلبرتو نیسمان

text: دیه‌گو لاگومارسینو به قرض دادن یک هفت تیر به شخصی که مجوز استفاده از آن را نداشت (نیسمان) متهم شد. نیسمان به وسیله همان هفت تیر کشته شده‌است. لاگومارسینو دوست نیسمان و کارشناس کامپیوتر است. وی آخرین فردی است که نیسمان را زنده دیده. لاگومارسینو در تاریخ ۹ بهمن ۱۳۹۳ در یک کنفرانس خبری اظهار داشت: «او گفت که از این سلاح استفاده نمی‌کند… گفت این را می‌برم برای وقتی که اگر دیوانه‌ای چوب به دست پیدا شد و گفت تو خائن هستی، با خودم داشته باشم.» او تأکید کرد که نیسمن نگران امنیت دو دختر خود بود و گفته بود: «نمی‌دانی چه حسی است وقتی دخترانت نمی‌خواهند کنار تو باشند چون می‌ترسند اتفاقی برایشان بیفتد» علاوه بر این همکاران آلبرتو نیسمن می‌گویند که نیسمن نگران جان خود بوده و به محافظان خود اطمینان نداشته‌است.


title: آلبرتو نیسمان

text: در تاریخ ۱۴ بهمن ۱۳۹۳ سرپرست تحقیقات دربارهٔ مرگ مشکوک آلبرتو نیسمان اظهار داشت که این دادستان پیش‌نویس حکمی را برای دستگیری رئیس‌جمهور این کشور تنظیم کرده بود. خانم ویویانا فین سرپرست تحقیقات دربارهٔ مرگ آلبرتو نیسمان گفت که سند ۲۶ صفحه‌ای حکم جلب در یک سطل زباله در مجتمع آپارتمانی محل زندگی آقای نیسمان پیدا شد. این سند همچنین خواستار بازداشت هکتور تیمرمن وزیر خارجه آرژانتین و چند سیاستمدار هوادار رئیس‌جمهور می‌شود. وجود پیش‌نویس حکم جلب را اولین بار روزنامه آرژانتینی کلارین در روز یکشنبه فاش کرده بود. کلارین نوشته بود که این حکم در ماه ژوئن ۲۰۱۴ تنظیم شده بود شش ماه قبل از آنکه نیسمان، فرناندز را متهم کند. دولت آرژانتین در واکنش، آن گزارش را «زباله» خوانده بود.


title: آلبرتو نیسمان

text: در تاریخ ۱۸ ژوئیه ۲۰۱۷ وزارت امور خارجه آمریکا در بیست و سومین سالگرد بمبگذاری ساختمان مرکزی همیاری یهودیان در آرژانتین اعلام کرد که این انفجار توسط ایران انجام شده‌است و همزمان خواستار تحقیقات حول مرگ آلبرتو نیسمان قاضی این پرونده شد. این وزارتخانه ضمن ابراز همدردی با خانواده‌های قربانیان، بر لزوم اجرای عدالت در مورد عاملان بمب‌گذاری آمیا تأکید کرده‌است.


title: نمایشگاه خودرو ژنو

text: نمایشگاه میان‌کشوری خودرو ژنو () یک نمایشگاه خودرو است که به ماه مارس هر سال در شهر ژنو کشور سوئیس برگزار می‌گردد. محل برگزاری آن یک مرکز همایش در نزدیکی فرودگاه بین‌المللی ژنو است که توسط سازمان بین‌المللی تولیدکنندگان وسایل نقلیه موتوری سازمان‌دهی می‌شود و یکی از بزرگ‌ترین نمایشگاه‌های خودرو در سطح دنیا به حساب می‌آید.


title: نمایشگاه خودرو ژنو

text: این نمایشگاه خودرو که نخستین بار در سال ۱۹۰۵ برگزار شد، میزبان به‌تقریب تمامی انواع خودروهای با موتور درون‌سوز در طول تاریخ خودرو بوده‌است؛ یعنی از زمانی که خودروهای با سوخت بنزین و ماشین‌های بخار ساخته شدند. به طول معمول ابرخودروها بیش‌ترین توجه را در این نمایشگاه به خود جلب می‌کنند. دایره فعالیت این نمایشگاه تنها به خودرو محدود نبوده و مسائل مرتبط با آن همچون خودروهای نمونه، تجهیزات تازه، پیشرفت‌های تکنیکی، قراردادهای میان‌کشوری و مسائل سیاسی و اجتماعی نیز در این نمایشگاه خودرو مطرح شده‌است. باید در نظر داشت با وجود آنکه کشور سوئیس هیچ صنعت خودروی بومی ندارد، اما این نمایشگاه محل بسیار خوبی برای رقابت خودروسازان به حساب می‌آید.


title: نمایشگاه خودرو ژنو

text: بخش‌های گوناگون نمایشگاه خودرو ژنو از قرار زیر است:


title: نمایشگاه خودرو ژنو

text: همایشگاه میان‌کشوری حمل‌ونقل پیشرفته بخشی از نمایشگاه خودرو ژنو است که در آن در رابطه با خودروهای آینده سخن گفته می‌شود.


title: نمایشگاه خودرو ژنو

text: هشتاد و نهمین نمایشگاه خودرو ژنو از ۷ تا ۱۷ مارس ۲۰۱۹ برگزار شد.


title: نمایشگاه خودرو ژنو

text: هشتاد و هشتمین نمایشگاه خودرو ژنو از ۸ تا ۱۸ مارس ۲۰۱۸ برگزار شد.


title: نمایشگاه خودرو ژنو

text: هشتاد و هفتمین نمایشگاه خودرو ژنو از ۹ تا ۱۹ مارس ۲۰۱۷ برگزار شد.


title: نمایشگاه خودرو ژنو

text: هشتاد و ششمین نمایشگاه خودرو ژنو از ۳ تا ۱۳ مارس ۲۰۱۶ برگزار شد.


title: نمایشگاه خودرو ژنو

text: هشتاد و پنجمین نمایشگاه خودرو ژنو از ۵ تا ۱۵ مارس ۲۰۱۵ برگزار شد.هشتاد و چهارمین نمایشگاه خودرو ژنو از ۶ام تا ۱۶ام مارس ۲۰۱۴ ادامه داشت.


title: نمایشگاه خودرو ژنو

text: هشتاد و سومین نمایشگاه خودرو ژنو از ۵ام تا ۱۷ام مارس ۲۰۱۳ ادامه داشت.


title: نمایشگاه خودرو ژنو

text: هشتاد و دومین نمایشگاه خودرو ژنو از ۸ام تا ۱۸ام سال ۲۰۱۲ ادامه داشت.این نمایشگاه از سوم تا سیزدهم مارس ۲۰۱۱ ادامه داشت.


title: نمایشگاه خودرو ژنو

text: هشتادمین نمایشگاه خودرو ژنو از ۴ام تا ۱۴ام مارس سال ۲۰۱۰ ادامه داشت. بیش از ۸۰ خودرو نو در این نمایشگاه رونمایی شدند. همایش خبری این نمایشگاه در دوم مارس ۲۰۱۰ آغاز شد و بیش‌تر رونمایی‌های مهم این نمایشگاه هم در همین زمان صورت گرفت.


title: نمایشگاه خودرو ژنو

text: نمایشگاه خودرو ژنو سال ۲۰۰۹ از ۵ام تا ۱۵ام مارس همین سال ادامه داشت. این نمایشگاه از ۴ام تا ۱۶ام مارس ۲۰۰۸ ادامه داشت.


title: نمایشگاه خودرو ژنو

text: خودروهایی که قرار بود در این نمایشگاه رونمایی شوند، از این قرارند: به علاوه کمپانی سوبارو از مدل نو خودرو خود به نام boxer که دارای diesel engine بود رونمایی کرد و نیز کمپانی هوندا از نوترین نسل diesel engine خود رونمایی کرد.مهم‌ترین رونمایی‌های سال ۲۰۰۶ نمایشگاه خودرو ژنو از این قرارند: مهم‌ترین رونمایی‌های سال ۲۰۰۵ نمایشگاه خودرو زنو از این قرار است:مهم‌ترین رونمایی‌های سال ۲۰۰۴ نمایشگاه خودرو زنو از این قرار است:


title: نمایشگاه خودرو ژنو

text: مهم‌ترین رونمایی‌های سال ۲۰۰۳ نمایشگاه خودرو زنو از این قرار است:مهم‌ترین رونمایی‌های سال ۲۰۰۲ نمایشگاه خودرو زنو از این قرار است:


title: نمایشگاه خودرو ژنو

text: مهم‌ترین رونمایی‌های سال ۲۰۰۱ نمایشگاه خودرو زنو از این قرار است:مهم‌ترین رونمایی‌های سال ۲۰۰۰ نمایشگاه خودرو زنو از این قرار است:


title: نمایشگاه خودرو ژنو

text: مهم‌ترین رونمایی‌های سال ۱۹۹۹ نمایشگاه خودرو زنو از این قرار است: مهم‌ترین رونمایی‌های سال ۱۹۹۸ نمایشگاه خودرو ژنو از این قرار است:خودروهای زیر در سال ۱۹۹۵ در نمایشگاه خودرو ژنو رونمایی شدند:این خودروها در دهه ۱۹۸۰ در نمایشگاه خودرو ژنو رونمایی شدند:


title: اریک کریسمس

text: اریک کریسمس (; – ) هنرپیشه اهل بریتانیا بود. از فیلم‌هایی که وی در آن نقش داشته‌است می‌توان به جانی تفنگش را برداشت، باگزی، هرولد و موده، حمله قاتل گوجه‌ای، "جاذبه آندرومدا"، "همه من" و شکار موش اشاره کرد.


title: جک رایلی

text: جک رایلی (؛ زادهٔ ) یک هنرپیشه، و صدا پیشه اهل ایالات متحده آمریکا است. وی از سال ۱۹۶۲ میلادی تاکنون مشغول فعالیت بوده‌است.


title: امیل گراسوالد

text: امیل گراسوالد (؛ – ) یک دانشمند در زمینه آنالیز ریاضی اهل ایالات متحده آمریکا بود.


title: دیوید برسوود

text: دیوید برسوود (؛ زادهٔ ) یک دانشمند در زمینه آنالیز ریاضی اهل ایالات متحده آمریکا است.


title: ترویان بلیزاریو

text: ترویان بلیزاریو (؛ زادهٔ ) یک هنرپیشه اهل ایالات متحده آمریکا است.ترویان در سال ۲۰۱۰ موفق به کسب جایزه بهترین بازیگر زن شد. و در سال ۲۰۰۹ برای نقش اسپنسر هیستینگز در سریال دروغگویان کوچک زیبا انتخاب شد. وی از سال ۱۹۸۸ میلادی تاکنون مشغول فعالیت بوده‌است. ترویان بلیزاریو (Troian Bellisario) بازیگر، نویسنده و تهیه‌کنندهٔ آمریکایی در سال ۱۹۸۵ در کالیفرنیا به دنیا آمد. ترویان فرزند دو تهیه‌کننده ( Donald P. Bellisario و Deborah Pratt ) است. او بازیگری را در سن سه سالگی در یکی از فیلم‌های پدرش آغاز کردو پس از آن بازیگری را در کارهای تلویزیونی پدرش ادامه داد.


title: محاصره (فیلم ۱۹۹۸)

text: محاصره () فیلمی در ژانر اکشن، مهیج، و تریلر سیاسی به کارگردانی ادوارد زوئیک است که در سال ۱۹۹۸ منتشر شد.


title: محاصره (فیلم ۱۹۹۸)

text: پس از حملات تروریستی به نیویورک، رئیس جمهور حکومت نظامی اعلام می‌کند و «ویلیام دورو» (ویلس)، ژنرال فاشیست، وارد عمل می‌شود و تانک‌های خود را را به بروکلین می‌فرستد…


title: هلرتاون، پنسیلوانیا

text: هلرتاون، پنسیلوانیا (به انگلیسی: Hellertown, Pennsylvania) یک سکونتگاه مسکونی در ایالات متحده آمریکا است که در شهرستان نورث‌همپتون، پنسیلوانیا واقع شده‌است.


title: هلرتاون، پنسیلوانیا

text: هلرتاون ۵٬۶۰۶ نفر جمعیت دارد.


title: تعمیم دستور زبان مستقل‌ازمتن

text: تعمیم دستور زبان مستقل از متن (GCFC) گرامری است که با اضافه کردن توابع ترکیب که به صورت بالقوه غیر مستقل هستند، گرامر مستقل از متن را تعمیم می‌دهد. گرامر هد (و معادل‌های ضعیف آن) نمونه‌های از این نوع GCFC هستند که به صورت خاص برای پرداختن به انواع مختلفی از خصوصیات غیر CF زبان طبیعی به کار می‌رود.


title: تعمیم دستور زبان مستقل‌ازمتن

text: GCFC شامل دو مؤلفه است: مجموعه‌ای از توابع ترکیب که تاپل‌های رشته‌ای را باهم ترکیب می‌کنند و مجموعه‌ای از قوانین بازنویسی. توابع ترکیب همگی به فرم formula_1 هستند که در آن formula_2 تاپل رشته‌ای تکی یا استفاده خاصی از تابع ترکیب (به صورت بالقوه متفاوتی) است که به تاپل رشته کاهش می‌یابد. قوانین بازنویسی به صورت formula_3 هستند که در آن Y، Z و ... تاپل‌های رشته‌ای یا نمادهای غیر پایانی هستند. سمانتیک بازنویسی GCFCها نسبتاً ساده است. وقوع نماد غیرپایانی با استفاده از قوانین بازنویسی مثل گرامر مستقل از متن بازنویسی می‌شود و در نهایت تنها ترکیبات را می‌دهد (توابع ترکیب اعمال شده به تاپل‌های رشته یا ترکیبات دیگر). سپس توابع ترکیب اعمال شده، بعد از آن کاهش می‌یابند و تاپل‌ها هم به یک تاپل کاهش می‌یابند.


title: تعمیم دستور زبان مستقل‌ازمتن

text: ترجمه ساده گرامر مستقل از متن به GCFC را می‌توان به صورت زیر انجام داد. با داشتن گرامر در (۱) که زبان دو طرفه formula_4 را ایجاد می‌کند که در آن formula_5 رشته معکوس formula_6 است، می‌توان تابع ترکیب conc را به صورت (۲- الف) تعریف و قوانین را به صورت (۲-ب) بازنویسی کرد.


title: تعمیم دستور زبان مستقل‌ازمتن

text: حاصلضرب CF از abbbba به صورت زیر است:


title: تعمیم دستور زبان مستقل‌ازمتن

text: S


title: تعمیم دستور زبان مستقل‌ازمتن

text: aSa


title: تعمیم دستور زبان مستقل‌ازمتن

text: abSba


title: تعمیم دستور زبان مستقل‌ازمتن

text: abbSbba


title: تعمیم دستور زبان مستقل‌ازمتن

text: abbbba


title: تعمیم دستور زبان مستقل‌ازمتن

text: و حاصلضرب GCFC متناظر به صورت زیر است:


تعمیم دستور زبان مستقل‌ازمتن


title: تعمیم دستور زبان مستقل‌ازمتن

text: wier دو خصوصیت توابع ترکیب را بیان کرد: خطی بودن و منظم بودن. تابعی که به صورت formula_18 تعریف شده خطی است اگر و تنها اگر هر متغیر حداکثر یکبار در هر سمت = ظاهر شود و formula_19 را خطی می‌کند اما formula_20 را خطی نمی‌کند. تابع تعریف شده به صورت formula_18 منظم است اگر سمت چپ و سمت راست دقیقاً متغیرهای یکسانی داشته باشند این کار formula_22 را منظم می‌کند اما formula_19 یا formula_24 را منظم نمی‌کند. گرامری که در آن همه توابع ترکیب هم خطی و هم منظم هستند سیستم بازنویسی مستقل از متن خطی (LCFRS) نامیده می‌شود. LCFRS زیرکلاس مناسبی از GCFGهاست یعنی در کل دقیقاً توان محاسباتی کمتری نسبت به GCFGها دارد. از سوی دیگر، LCFRSها اکیداً رساتر از گرامرهای اندیس شده خطی و معادل ضعیف آنها گرامرهای اتصال درختی (TAGها) هستند. گرامر هد مثال دیگری از LCFRS است که در کل اکیداً قدرت کمتری نسبت به کلاس LCFRSها دارد.


title: تعمیم دستور زبان مستقل‌ازمتن

text: LCFRS به صورت ضعیف معادل با TAGهای چند ترکیبی (MCTAGها) و همچنین با گرامر مستقل از متن چندگانه (MCFGها (۱)) و گرامرهای مینیمالیست


title: تعمیم دستور زبان مستقل‌ازمتن

text: (MGها) است. زبان‌های ایجاد شده با LCFRS (و معادل‌های ضعیف آنها) را می‌توان به چند جمله‌ای زمانی تجزیه کرد.


title: جان داوسون

text: جان داوسون () (زاده ۱۷۳۴ – درگذشته ۱۹ سپتامبر ۱۸۲۰) یک جراح و ریاضی‌دان اهل بریتانیا بود. تحقیقات او بر روی محاسبه فاصله زمین تا خورشید بود.


title: ایگور کریمتس

text: ایگور کریمتس (؛ زادهٔ ) یک بازیکن فوتبال اهل ازبکستان است.


title: ایگور کریمتس

text: وی همچنین در تیم ملی فوتبال ازبکستان بازی کرده‌است.


title: رابرت وودهووس

text: رابرت وودهووس (؛ – ) یک ریاضی‌دان اهل انگلستان در زمینه آنالیز ریاضی بود.


title: جاشوا کینگ (ریاضی‌دان)

text: جاشوا کینگ (؛ – ) ریاضی‌دان اهل بریتانیا بود.


title: جان روبین بیتز

text: جان روبین بیتز (؛ زادهٔ ) یک هنرپیشه، و فیلم‌نامه‌نویس اهل ایالات متحده آمریکا است.


title: جان روبین بیتز

text: از فیلم‌ها یا برنامه‌های تلویزیونی که وی در آن نقش داشته است می‌توان به یک روز خوب اشاره کرد.


title: جان روبین بیتز

text: وی هم‌چنین برنده جوایزی هم‌چون کمک هزینه گوگنهایم شده است.


title: موزه بویمانس فان بنینگن

text: موزهٔ بویمانس فان بِنینگن موزه‌ای در شهر رتردام هلند است که به‌ویژه برای آثار هنری هلندی و فلامانش مطرح می‌باشد.


title: موزه بویمانس فان بنینگن

text: موزه در سال ۱۸۴۷ با مجموعه‌ای از آثار متعلق به فرانس یاکوب اوتو بویمانس با نام «موزهٔ بویمانس» آغاز بکار کرد. در سال ۱۹۵۸ مجموعه‌ای از آثار متعلق به دانیل ژرژ فان بنینگن به گنجینهٔ موزه افزوده شد و نام موزه به موزهٔ بویمانس فان بنینگن تغییر یافت.


title: موزه بویمانس فان بنینگن

text: گنجینهٔ موزهٔ بویمانس فان بنینگن شامل نقاشی‌ها و چاپ‌های دستی از هنرمندان هلندی و فلامان از اواخر سده‌های میانی تا سدهٔ ۲۰ میلادی است. وجود مجموعه‌ای از طراحی‌ها و نقاشی‌های باروک پیتر پل روبنس در این موزه قابل توجه می‌باشد. موزه همچنین دارای نقاشی‌های رنسانس ایتالیایی و دریافتگری فرانسوی است.


title: فرانک مورلی

text: فرانک مورلی (؛ – ) یک ریاضی‌دان اهل بریتانیا فعال در زمینه هندسه بود.


title: ساختمان ماشین‌ها

text: ساختمات ماشین‌ها یک تکنیک ریاضی مهم در نظریهٔ آتوماتا یا نظریه ماشین‌ها می‌باشد که برای نشان دادن وجود یک ماشین خودکار با یک ویژگی مطلوب تعیین شده، استفاده می‌شود. در بیشتر مواقع، آن به صورت یک الگوریتم ارائه می‌شود که یک ویژگی مطلوب را به عنوان ورودی می‌گیرد و یک ماشین خودکار با آن ویژگی را به عنوان خروجی تولید می‌کند. بسیاری از مسائل سخت در نظریه ماشین‌ها عبارت است از پیدا کردن ساختمان درست یک ماشین خودکار است به طوری که این مسئله در آن قابل حل باشد. برای مثال، ساختمان مشهور در نظریه McNaughton این سؤال را جواب داد که آیا ماشین بوخی غیر قطعی همیشه قابل تبدیل به یک ماشین مولر قطعی است.


title: ساختمان ماشین‌ها

text: ساختمان مجموعهٔ توانی یک الگوریتم برای ساخت یک ماشین متناهی قطعی از یک ماشین متناهی غیر قطعی داده شده‌است.


title: ساختمان ماشین‌ها

text: یک ساختمان ماشین‌ها را بهینه می‌نامند اگر یک ورودی برای ساختمان وجود داشته باشد به گونه‌ای که هیچ ماشینی که ویژگی مطلوب را برآورده می‌سازد و پیچیدگی کمتری از خروجی ساختمان دارد، وجود نداشته باشد.


title: رویداد بزرگ اکسیژنی

text: رویداد بزرگ اکسیژنی یا انقلاب اکسیژنی پدیدهٔ پیدایش گاز اکسیژن در جو زمین در اثر عوامل زیستی است. پژوهش‌های زمین‌شناسی، شیمیایی و ایزوتوپی، تاریخ این دگرگونی بزرگ را نزدیک به دو میلیارد و سیصد میلیون (۲٬۳۰۰میلیون) سال پیش نشان می‌دهند.


title: رویداد بزرگ اکسیژنی

text: در آن زمان از پیدایش سیانوباکترها حدود ۲۰۰ میلیون سال می‌گذشت و آن‌ها از راه فروغ آمایی یا فتوسنتز سرگرم آزاد سازی اکسیژن بودند ولی تا پیش از آغاز این رویداد بزرگ همهُ اکسیژن آزاد شده از راه مواد آلی و آهن محلول در محیط و شاید هم توسط هیدروژن موجود در هواکره دوباره جذب می‌شد.


title: رویداد بزرگ اکسیژنی

text: اشباع این ظرفیت‌ها رفته رفته باعث ورود روزافزون و آغاز انباشته شدن اکسیژن در جو زمین و شروع این رویداد بزرگ شد.


title: رویداد بزرگ اکسیژنی

text: اکسیژن می‌تواند برای اندامگان بی‌هوازی و بی‌هوازی اجباری مسموم‌کننده یا حتی کشنده باشد. این رویداد باعث محو بی‌هوازی‌ها شد و بنابراین از یک نگاه می‌توان گفت که سیانوباکترها مسوول یکی از بزرگترین انقراضها در تاریخ زمین بوده‌اند. از سوی دیگر، اکسیژن آزاد در هوا در برخورد با گاز متان که یک گاز گلخانه‌ای است باعث یخبندان هورونی شد که شاید بزرگترین یخبندان در تاریخ زمین باشد.


title: رویداد بزرگ اکسیژنی

text: در نهایت این فسفرگیری اکسایشی و اندامگان هوازی بودند که با فرگشت خود و مصرف اکسیژن حالت تعادلی را که تا امروز ادامه دارد به وجود آوردند. این پدیده افزون بر سایر پدیده‌های زیستی حیرت دوچندان دانشمندان در مورد پیدایش این سیاره خاکی را به همراه داشته‌است.


title: رویداد بزرگ اکسیژنی

text: پالئوسول‌ها، دانه‌های دیتریتی و لایه‌های بستر سرخ، همه گواه وجود اکسیژن در سطحی پایین هستند. پالئوسول‌های قدیمی‌تر از ۲٫۴ بیلیون سال دارای غلظت آهن کمتری هستند که نشان‌دهندهٔ کمبود اکسیژن است.دانه‌های دتریتوس مسن‌تر از ۲٫۴ بیلیون نیز دارای ماده‌ای هستند که تنها در شرایط اکسیژن کم وجود دارند.http://www.nasa.gov/home/hqnews/2007/sep/HQ_07215_Timeline_of_Oxygen_on_Earth.html https://en.wikipedia.org/wiki/Geological_history_of_oxygen http://www.newscientist.com/article/mg20527461.100-first-breath-earths-billionyear-struggle-for-oxygen.html


رویداد بزرگ اکسیژنی


title: ماشین بوخی توسعه یافته

text: ماشین بوخی توسعه یافته یک نوع دیگر از ماشین بوخی در نظریه آتوماتا می‌باشد. تفاوت آن با ماشین بوخی شرایط پذیرش آن می‌باشد که در اینجا یک مجموعه از مجموعه‌های حالت است. یک چرخهٔ اجرا توسط این ماشین پذیرفته می‌شود اگر آن حداقل یک حالت از هر مجموعه از شرط پذیرش را که اغلب نامحدود است، ببیند. ماشین بوخی توسعه یافته در قدرت بیان با ماشین بوخی هم ارز است. در وارسی صوری، روش چک کردن مدل نیاز دارد تا یک ماشین را از یک فرمول LTL (منطق زمانی خطی) به گونه‌ای بدست اورد که ویژگی‌های برنامه را مشخص کند. الگوریتم‌هایی وجود دارند که یک فرمول LTL را به یک ماشین بوخی توسعه یافته برای این منظور، تبدیل می‌کنند. به ویژه نماد GBA (ماشین بوخی توسعه یافته) برای این تبدیل مطرح شد.


title: ماشین بوخی توسعه یافته

text: به طور رسمی یک ماشین بوخی توسعه یافته یک چند تاییformula_1 است که شامل اجزاء زیر است:


title: ماشین بوخی توسعه یافته

text: A دقیقاً آن چرخه‌های اجرا را می‌پذیرد که در آن مجموعه حالتهای اتفاق افتاده که اغلب نامحدود است، شامل حداقل یک حالت از هرformula_7باشد. برای توضیح جامع تر ماشینωرا ببینید.


title: ماشین بوخی توسعه یافته

text: ماشین بوخی توسعه یافته برچسب دار(LGBA)یک گونهٔ دیگر است که در آن ورودی به عنوان برچسب‌هایی با حالات به جای برچسب‌های با انتقال‌ها، همراه است. ماشین بوخی توسعه یافته برچسب دارتوسط گرس و همکارانش معرفی شد. به طور رسمی، یک ماشین بوخی توسعه یافته برچسب دار یک چند تاییformula_8 است که شامل اجزاء زیر است:


title: ماشین بوخی توسعه یافته

text: فرض کنیدformula_15 یک ω-حرف روی الفبایΣباشد. حالformula_16 یک چرخهٔ اجرا از A روی حرفw است اگر formula_17 و برای هرformula_18داشته باشیمformula_19 و formula_20.


title: ماشین بوخی توسعه یافته

text: A دقیقاً آن چرخه‌های اجرایی را می‌پذیرد که در آن مجموعه حالتهای اتفاق افتاده که اغلب نامحدود است، شامل حداقل یک حالت از هر formula_21باشد.


title: ماشین بوخی توسعه یافته

text: برای بدست آوردن مدل غیر برچسب دار آن، برچسب‌ها از گره‌ها به انتقالات واردشده حذف می‌شوند.


title: ماشین بوخی توسعه یافته

text: ماشین بوخی توسعه یافته


title: تیموتی باتومز

text: تیموتی باتومز (؛ زادهٔ ) هنرپیشه اهل ایالات متحده آمریکا است. وی از سال ۱۹۷۰ میلادی تاکنون مشغول فعالیت بوده است.


title: تیموتی باتومز

text: از فیلم‌هایی که وی در آن نقش داشته است می‌توان به "جانی تفنگش را برداشت"، "دختر همسایه"، "شاهزاده و سرپرست" و "فیل" اشاره کرد.


title: لستاکا

text: لستاکا ، (با تلفظ ɫəsˈtakə در زبان کاتالان)، نام ترانه‌ای اعتراضی است که لوئیس لاک، خواننده و آهنگساز کاتالان در سال ۱۹۶۸ ساخت و شعر آن به زبان کاتالان را نیز خود سروده‌است. این ترانه را یکی از اثرگذارترین ترانه‌های او می‌دانند.


title: لستاکا

text: این ترانه در دوران دیکتاتوری ژنرال فرانکو سروده شد و به سرعت در میان آزادی‌خواهان اسپانیا محبوب شد. بعدها جنبش‌های آزادی‌خواهانه در دیگر کشورهای اروپایی از این ترانه و آهنگ آن استفاده کردند. از جملهٔ این اقتباس‌ها می‌توان به آهنگ موری از یاتسک کاچمارسکی اشاره کرد که در دههٔ ۱۹۸۰ میلادی به آهنگ اصلی جنبش اتحادیه همبستگی سولیدارنوشچ در لهستان تبدیل شده بود.


title: لستاکا

text: لوئیس لاک در این ترانه از ترکیبی کاتالانی برای موسیقی استفاده کرده و از "بسته بودن" به عنوان استعاره‌ای برای نداشتن آزادی بهره برده‌است.


title: لستاکا

text: متن ترانه به صورت گفتگویی است که در یک سپیده‌دم میان شاعر و پدربزرگش (با نام SiSet) روی می‌دهد. شاعر به پدربزرگش می‌گوید آیا نمی‌بینی که ما بسته‌ایم و تا وقتی خود را رها نکنیم نمی‌توانیم حرکت کنیم؟ پدربزرگ، رهایی را در همکاری همه و بالا بردن سطح آگاهی همگانی می‌داند. او نمادی از نسل پیشین است که باید همکاری و همراهی برای دستیابی به آزادی را به نسل جدید آموزش دهند.


title: دیسپلی‌پورت

text: دیسپلی‌پورت نسل جدید پورت‌های ارتباطی است که در جدیدترین کامپیوترها، کارت‌های گرافیک و همچنین لپ‌تاپ‌ها، ممکن است جایگزین اچ‌دی‌ام‌آی شود. این پورت تحت نظر اتحادیه‌ی استانداردهای الکترونیکی ویدئو یا VESA توسعه‌یافته و توسط همین اتحادیه کنترل می‌شود. در سال ۲۰۰۶ دیسپلی‌پورت به عنوان جایگزینی برای پورت آنالوگ VGA (یا Video Graphic Array به معنی آرایه‌ی گرافیکی ویدئویی) که در سال ۱۹۸۷ معرفی شده بود و همچنین پورت DVI (یا Digital Video Interface به معنی رابط ویدئویی دیجیتال) که در سال ۱۹۹۹ معرفی شده بود، معرفی شده است. این دو پورت اصولاً برای کامپیوترها طراحی شده بودند. حق امتیاز دیسپلی‌پورت رایگان است.


title: قوانین بی‌فایده

text: قوانین بی فایده ،در علم کامپیوتر نظری، به ویژه در نظریه زبان رسمی، از دستور زبان رسمی آن دسته از قواعد تولید نماد هستند که غیرقابل دسترسی یا غیر مولد هستند به طوری که می‌توان هرگز به کار گرفته نشوند.