payamvha/NorthPersian-wiki-corpus-rag-v2 huggingface dataset:
تأثیر رنگ بر انسان کیست؟ توضیح بده.
تأثیرات رنگ‌ها بر حالات مختلف روحی و روانی انسان از دو طریق امکان‌پذیر می‌باشد. تأثیر اولیه رنگ به دریافت احساسی رنگ (فامداری) مربوط می‌شود که از طیف نور مرئی رنگ ناشی شده و از آن به احساس ذهنی تعبیر شده‌است. به عنوان نمونه فشار ملایم بر پلک‌ها و قرارگیری انسان تحت شوک الکتریکی در یک محیط تاریک احساس رنگ را برای انسان ایجاد می‌نماید که این احساس اثر مرئی، از خارج چشم نیست. دلیل این امر تحریک سلسله اعصاب شبکیه توسط الکتریسیته یا فشار ملایم می‌باشد. تأثیر دیگر رنگ‌ها اثرات ذهنی رنگ‌های عینی می‌باشد و احساس‌های معینی را شامل می‌گردد که رنگ‌ها در بیننده ایجاد می‌نماید. در این شکل از تأثیر فامها به دو دسته پیش آینده و پس رونده تقسیم‌بندی می‌گردند که به ترتیب نزدیک بودن و دور بودن اشیا را در ذهن تداعی می‌نماید. بر همین اساس فام‌های دارای طول موج بلندتر (مثل قرمز و نارنجی) گرمتر از فام‌های طول موج کوتاه تر (مثل آبی و سبز) احساس می‌شوند. احساس گرمی و سردی، پیش آیندگی و پس روندگی در واقع اثرات ذهنی رنگ‌های عینی هستند که از جنبه روان‌شناسی رنگ نه از جنبه فیزیولوژیک رنگ، مورد بحث قرار می‌گیرد. (Erdogan، 2008: 2129-2139)تأثیر رنگ‌ها علاوه بر روان و روح بر عملکرد و فیزیولوژیک انسان نیز تأثیر می‌گذارد. تأثیر رنگ بر فشار خون، میزان تنفس و زمان از نمونه این تأثیرات می‌باشد. پاسخ‌های فیزیولوژیکی و بیو مکانیکی فعال و دقیق از تشعشعات خورشیدی و محیط‌های مصنوعی بر روی بدن انسان اثبات این موضوع می‌باشد. انطباق ریتم‌های هورمونی بدن با شبانه روز و تاریکی و روشنی از پاسخ‌های بدن به رنگ‌ها می‌باشد. (موعدی، 1379: 56)در سال ۱۹۷۱ دکتر یوگن شورل ۱۴ در یک کلینیک در سوئیس با تحقیقاتی در زمینه رنگ درمانی تأثیر رنگ‌ها بر فشار خون، ضربان قلب، سرعت تنفس، حواس جسمانی، اثرات درد و واکنش‌های روانی مورد آزمایش قرار داد که به نتایج قابل ملاحظه ای در این زمینه دست یافت. تحقیقات مشابه دیگر از سوی فرانک گبرت بر روی دانشجویان ۲۰ تا ۴۰ ساله صورت گرفت. در این آزمایش‌ها رنگ قرمز و زرد به عنوان رنگ‌های محرک و رنگ‌ سبز آرام‌کننده بود؛ بنابراین رنگ هابا طول موج بلند محرک تر از رنگ‌ها با طول موج کوتاه هستند. (بختیاری فرد، 1388: 85-88)نکته حائز توجه به این رنگ‌ها در ارتباط با طبیعت، فرهنگ، باورهای دینی و تجربه‌های زندگی، هر یک معنایی ویژه به خود اختصاص می‌دهند. این ادراک رنگ در میان ملل و اقوام گاه متفاوت و گاه مشابه است. اما به هر حال تابع موقعیت‌های زمانی، مکانی و جغرافیایی بوده یا از فرهنگ، دین و آیین مردم نشات گرفته‌است. از سوی دیگر مفاهیمی که زمانی توسط افرادی برای رنگ‌ها برگزیده شده، در همان دوره اعتبار داشته‌است. (باخزری، 1345: 34-37)در یک دسته‌بندی کلی رنگ‌ها به دو دسته رنگ‌های اصلی شامل زرد، آبی، قرمز و رنگ‌های فرعی نظیر سبز، بنفش، نارنجی، زرد مایل به سبز، سبز مایل به آبی، آبی مایل به سبز، بنفش مایل به قرمز و… که از ترکیب رنگ‌های دیگر به وجود می‌آیند تقسیم‌بندی شده‌است. (لوشر، 1379: 264).بر این اساس هر رنگ ویژگی‌های منحصر به فردی را در طبیعت دارا بوده و بنا به این ویژگی‌ها استفاده از هر رنگ در معماری و محیط شهری جایگاه ویژه ای را به خود اختصاص داده‌است (ولان، 1387: 194).
سوفیک سارگسیان کیست؟ توضیح بده.
سوفیک سارگسیان (؛ ؛ زاده ) یک بازیگر اهل ارمنستان است. وی از سال ۱۹۷۴ میلادی فعالیت می‌کند.زندگی‌نامه.وی در ۸ دسامبر ۱۹۵۱ در ایروان به دنیا آمد و از دانشگاه دولتی علوم پرورشی خاچاطور آبوویان ارمنستان (۱۹۷۷) فارغ‌التحصیل شد. سارگسیان بین سال‌های ۱۹۷۸–۱۹۸۰ به هنرپیشه در تئاتر نمایشی هراچیا غاپلانیان فعالیت کرده‌است. وی از سال ۱۹۹۵ در انستیتو دولتی سینما و تئاتر ایروان تدریس می‌کند.
ماشین الگوریتم حالت کیست؟ توضیح بده.
روش ماشین حالت الگوریتمی (انگلیسی: Algorithmic state machine) یا (ASM) یک روش برای طراحی ماشین‌ها است. این ماشین برای نشان دادن نمودارهایمدارهای دیجیتال یکپارچه شده‌استفاده می‌شود. نمودار ASM، مانند نمودار حالت است اما غیررسمی تر و در نتیجه درک آن آسان‌تر است. یک نمودار ASM یک روش توصیف عملیاتی پی در پی و متوالی یک سامانه دیجیتال است.روش ASM.روش ASM از مراحل زیر تشکیل شده‌است.نمودار ای‌اس‌ام.نمودار ASM، شامل چهار عنصر اساسی است. نام واحد، واحد، چک کردن واحد، خروجی‌های شرطی. یک ASM به صورت یک مستطیل نشان داده می‌شود که حالت‌ها از یک نمودار منظم می‌باشد. خروجی از نوع ماشین مور در درون مستطیل نشان داده شده‌است.نام واحد: نام یک واحد در داخل دایره نشان داده شده‌است؛ و دایره در گوشه سمت چپ قرار دارد یا نام بدون دایره قرار دارد.باکس واحدخروجی واحد در داخل مستطیل نشان داده شده‌است.باکس تصمیم‌گیرییک لوزی نشان می‌دهد که شرط بیان شده مورد آزمایش قرار گرفته و مسیر خروجی به ترتیب انتخاب می-شود. شرایط بیان شامل یک یا چند ورودی به FSM می‌باشد. برای وضعیت ASM نشان داده شده توسط یک لوزی یا یک ورودی و دو خروجی است و به شرط انتقال بین دو حالت یا یک حالت و خروجی مشروط استفاده می‌شود. باکس تصمیم‌گیری حاوی شرایط بیان شده برای آزمایش بوده و این بیان شامل ورودی برای FSM می‌باشد.باکس خروجی شرطی: باکس خروجی شرطی به شکل بیضی نشان داده می‌شود که سیگنال خروجی از نوع میلی می‌باشد. این خروجی‌ها نه تنها به واحد بلکه همچنین به ورودی‌های FSM نیز بستگی دارد.مسیرداده.هنگامی که عملیات مورد نظر در یک مدار با استفاده از عملیات RTL توصیف شده‌است، اجراهای مسیرداده می‌توانند مشتق شوند. هر متغیر منحصر به فرد که یک مقدار در برنامه RTL را به خود اختصاص داده‌است که می‌تواند به عنوان یک واحد ثبت شده اجرا شود، وابسته به عملیات عملکردی که هنگام اختصاص یک مقدار به یک متغیر انجام می‌شود، ثبت برای آن متغیر ممکن است به صورت ساده بوده و متغیر در آن دیده شود و یک شمارنده پیش از بلوک منطقی به صورت ترتیبی قرار بگیرد. بلوک منطقی ترتیبی با یک ثبت مرتبط است؛ و می‌تواند یک کامپایلر را از طریق تابع منطقی ترکیبی اجرا کند.جزئیات نمودار ای‌اس‌ام.هنگامی که مسیرداده طراحی شد، نمودار ASM به یک نمودار دقیق تبدیل می‌شود. نماد RTL با سیگنال‌های تعریف شده در مسیرداده جایگزین می‌شود.
رودولف قوندیان کیست؟ توضیح بده.
رودولف روبنی قوندیان (؛ ؛ زاده – درگذشته ۱۷ ژوئیه ۲۰۱۹) یک بازیگر اهل ارمنستان بود که بین سال‌های ۱۹۷۰ تا ۲۰۱۰ میلادی فعالیت می‌کرد.زندگی‌نامه.وی در ۶ مارس ۱۹۵۲ در کیسلوفودسک، سرزمین استاوروپول به دنیا آمد و از انستیتو دولتی هنری و نمایشی ایروان فارغ‌التحصیل شد. وی در فرهنگستان دولتی تئاتر سوندوکیان فعالیت می‌کرد. وی همچنین برندهٔ جوایزی همچون هنرمند شایسته جمهوری ارمنستان (۲۰۱۷) شده است. وی پس از یک دوره طولانی بیماری در ۱۷ ژوئیهٔ ۲۰۱۹ در سن ۶۷ سالگی در بیمارستانی در بلژیک درگذشت و در همان‌جا به خاک سپرده شد.گزیده فیلمشناسی.از فیلم‌ها یا برنامه‌های تلویزیونی که وی در آن نقش داشته است می‌توان به "ناهاپت" (۱۹۷۷)، "رفیق پانجونی" (۱۹۹۳)، "خون"، "دانه انار" اشاره کرد.
ورویر پانویان کیست؟ توضیح بده.
ورویر مارتیروسی پانویان (؛ ؛ زاده – درگذشته ) یک بازیگر اهل ارمنستان بود. وی بین سال‌های ۱۹۶۷ تا ۱۹۷۷ میلادی فعالیت می‌کرد.زندگی‌نامه.وی در ۳ سپتامبر ۱۹۰۷ در وانادزور، استان لوری به دنیا آمد وی همچنین برندهٔ جوایزی همچون هنرمند مردمی ارمنستان شوروی (۱۹۶۱) شده است. وی در ۲۷ مهٔ ۱۹۷۷ در سن ۶۹ سالگی در آرتاشات درگذشت.گزیده فیلمشناسی.از فیلم‌ها یا برنامه‌های تلویزیونی که وی در آن نقش داشته است می‌توان به ناهاپتاشاره کرد.
آرتاشس گیوداکیان کیست؟ توضیح بده.
آرتاشس مکرتچی گیوداکیان (؛ ؛ – ) یک بازیگر اهل ارمنستان بود. وی بین سال‌های ۱۹۷۴ تا ۱۹۹۲ میلادی فعالیت می‌کرد.زندگی‌نامه.وی برندهٔ جوایزی همچون هنرمند شایسته ارمنستان شوروی شده است.گزیده فیلمشناسی.از فیلم‌ها یا برنامه‌های تلویزیونی که وی در آن نقش داشته است می‌توان به "ناهاپت" (۱۹۷۷)، "رفیق پانجونی" (۱۹۹۳)، "ستاره امید" (۱۹۷۸)، "یک تکه از آسمان" (۱۹۸۰)، "آرئویک" (۱۹۷۸)، "تانگوی کودکی ما" (۱۹۸۴) اشاره کرد.
در مورد ماراته‌آ توضیح بده.
ماراته‌آ (به ایتالیایی: Maratea) یک کومونه در ایتالیا است که در استان پوتنزا واقع شده‌است. ماراته‌آ ۶۷ کیلومتر مربع مساحت و ۵٬۲۰۵ نفر جمعیت دارد و ۳۰۰ متر بالاتر از سطح دریا واقع شده‌است.خواهرخوانده.شهرهای بولتسانو، سنتو، فرارا، کاروزینو و آوترانا خواهرخوانده‌های ماراته‌آ هستند.
در مورد سان بازیله توضیح بده.
سان بازیله (به ایتالیایی: San Basile) یک کومونه در ایتالیا است که در استان کزنتزا واقع شده‌است. سان بازیله ۱۸ کیلومتر مربع مساحت و ۱٬۲۸۳ نفر جمعیت دارد و ۵۴۰ متر بالاتر از سطح دریا واقع شده‌است.
در مورد کانا (کالابریا) توضیح بده.
کانا (به ایتالیایی: Canna) یک کومونه در ایتالیا است که در استان کزنتزا واقع شده‌است. کانا ۲۰ کیلومتر مربع مساحت و ۸۲۸ نفر جمعیت دارد و ۴۱۷ متر بالاتر از سطح دریا واقع شده‌است.
در مورد چیکالا توضیح بده.
چیکالا (به ایتالیایی: Cicala) یک کومونه در ایتالیا است که در استان کاتانزارو واقع شده‌است. چیکالا ۹ کیلومتر مربع مساحت و ۹۶۴ نفر جمعیت دارد و ۸۳۷ متر بالاتر از سطح دریا واقع شده‌است.
کاسانا آلیونیو چیست؟ توضیح بده.
کاسانا آلیونیو (به ایتالیایی: Cassano all'Ionio) یک کومونه در ایتالیا است که در استان کزنتزا واقع شده‌است. کاسانا آلیونیو ۱۵۴ کیلومتر مربع مساحت و ۱۸٬۶۵۲ نفر جمعیت دارد و ۲۵۰ متر بالاتر از سطح دریا واقع شده‌است.
چینش باد کیست؟ توضیح بده.
چینش باد یا برش باد () که گاهی به آن شیب باد نیز گفته می‌شود، به معنای تغییر سمت و سرعت باد در فاصله نسبتاً کوتاهی در اتمسفر زمین است.به عبارتی دیگر، تغییر محلی بُردار باد یا هریک از مؤلفه‌های آن در یک راستای معین را چینش باد می‌گویند.چینش باد به تغییر ناگهانی سرعت باد در یک فاصلهٔ کوتاه افقی گفته می‌شود که در این شرایط تغییر سریعی در میزان لیفت و در پی آن ارتفاع هواپیما رخ می‌دهد.همواره میزان زیادی چینش باد در جو موجود است اما برش‌های باد قوی موجب تشکیل چرخند و تگرگ می‌شود.همواره میزان زیادی چینش باد در نزدیک جبهه‌های هوا و رودبادها وجود دارد.چینش باد یک لایه جوی ناپایدار است که در CAT هم به وجود می‌آید.چینش قائم باد در محیط اطراف چرخندهای حاره‌ای بسیار با اهمیت است. منظور از چینش باد میزان تغییر در سرعت و جهت باد با افزایش ارتفاع است.هنگامی که برش باد ضعیف باشد توفان که قسمتی از چرخند است به صورت قائم رشد می‌کند و گرمای نهان ناشی از چگالش در هوایی که مستقیماً در بالای توفان قرار دارد آزاد می‌شود و به توسعه توفان کمک می‌کند هنگامی که برش باد قوی‌تری وجود داشته باشد توفان به صورت اریب و کج در می‌آید و گرمای نهان بر روی منطقه گسترده‌تری آزاد می‌شود.تعریف.چینش باد به تغییر سرعت برداری باد در فواصل افقی یا عمودی اشاره دارد. خلبانان هواپیما معمولاً چینش باد قابل توجه را تغییر افقی در سرعت برای هواپیماهای سبک و برای هواپیماهای مسافربری در ارتفاع بالا تعریف می‌کنند. تغییرات سرعت عمودی بیشتر از نیز به عنوان چینش باد قابل توجه برای هواپیما شناخته می‌شود. چینش باد در سطح پایین می‌تواند بر سرعت هواپیما در هنگام برخاستن و فرود به روش‌های فاجعه بار تأثیر بگذارد و خلبانان هواپیما آموزش دیده‌اند تا از ریزش باد ناشی از ریزپکش (کاهش باد مخالف بیش از ) جلوگیری کنند.چینش باد همچنین یک عامل کلیدی در شکل‌گیری توفان‌های تندری شدید است. خطر مضاعف آشفتگی در پرواز نیز اغلب با چینش باد همراه و مرتبط است. دلایل آن شامل موارد زیر است:ویژگی‌ها.چینش باد اتمسفری معمولاً به عنوان برش عمودی یا افقی باد توصیف می‌شود. چینش عمودی باد، تغییر در سرعت یا جهت باد با تغییر ارتفاع است. چینش افقی باد، تغییر در سرعت باد با تغییر موقعیت جانبی برای یک ارتفاع معین است.چینش باد یک پدیده هواشناسی ریزمقیاس است که در فاصله بسیار کمی رخ می‌دهد، اما می‌توان آن را با پدیده‌های هواشناسی میان‌مقیاس یا مقیاس سینوپتیک مانند خط‌های تندوَزه یا جبهه‌های هوای سرد مرتبط کرد. چینش باد معمولاً در نزدیکی مراکز ریزپکش و فروپکش ناشی از جبهه‌های توفان تندری، مناطقی با بادهای سطح پایین محلی بالاتر که به آنها رودبادهای سطح پایین گفته می‌شود، در نزدیکی کوه‌ها، وارونگی تابشی که به دلیل آسمان صاف و بادهای آرام رخ می‌دهد، ساختمان‌ها، توربین‌های بادی و قایق‌های بادبانی دیده می‌شود. برش باد اثرات قابل توجهی در کنترل هواپیما دارد و تنها یا یکی از دلایل بسیاری از سوانح هوایی بوده است.حرکت صوت در اتمسفر تحت تأثیر چینش باد قرار می‌گیرد، که می‌تواند جبهه موج را خم کند و باعث شود صداها در جایی قایل شنیدن باشند که معمولاً شنیده نمی‌شوند. چینش باد عمودی قوی در تروپوسفر همچنین گسترش چرخند حاره‌ای را مهار می‌کند، اما به سازماندهی توفان‌های تندری جداگانه در چرخه‌های زندگی طولانی‌تر کمک می‌کند که سپس می‌تواند هوای شدید ایجاد کند. مفهوم گرماباد توضیح می‌دهد که چگونه تفاوت سرعت باد در ارتفاعات مختلف به تفاوت دمای افقی بستگی دارد و وجود رودباد را توضیح می‌دهد.
در مورد ملیکوکا توضیح بده.
ملیکوکا (به ایتالیایی: Melicuccà) یک کومونه در ایتالیا است که در استان رجو کالابریا واقع شده‌است. ملیکوکا ۱۷٫۲ کیلومتر مربع مساحت و ۱٬۰۲۸ نفر جمعیت دارد.
چنتولا چیست؟ توضیح بده.
چنتولا (به ایتالیایی: Centola) یک کومونه در ایتالیا است که در استان سالرنو واقع شده‌است. چنتولا ۴۷ کیلومتر مربع مساحت و ۵٬۰۷۳ نفر جمعیت دارد و ۳۳۶ متر بالاتر از سطح دریا واقع شده‌است.
در مورد چروینو (کامپانیا) توضیح بده.
چروینو (به ایتالیایی: Cervino) یک کومونه در ایتالیا است که در استان کسرتا واقع شده‌است. چروینو ۸٫۰ کیلومتر مربع مساحت و ۵٬۱۳۷ نفر جمعیت دارد.
در مورد ساککو توضیح بده.
ساککو (به ایتالیایی: Sacco) یک کومونه در ایتالیا است که در استان سالرنو واقع شده‌است. ساککو ۲۳ کیلومتر مربع مساحت و ۵۸۲ نفر جمعیت دارد و ۵۰۰ متر بالاتر از سطح دریا واقع شده‌است.
در مورد ارریا توضیح بده.
اُرریا (به ایتالیایی: Orria) یک کومونه در ایتالیا است که در استان سالرنو واقع شده‌است. ارریا ۲۶٫۵۵ کیلومتر مربع مساحت و ۱٬۱۶۱ نفر جمعیت دارد و ۵۴۰ متر بالاتر از سطح دریا واقع شده‌است.
در مورد کنتورسی ترمه توضیح بده.
کُنتورسی تِرمه (به ایتالیایی: Contursi Terme) یک کومونه در ایتالیا است که در استان سالرنو واقع شده‌است. کنتورسی ترمه ۲۸٫۹۰ کیلومتر مربع مساحت و ۳٬۲۸۱ نفر جمعیت دارد و ۲۵۰ متر بالاتر از سطح دریا واقع شده‌است.خواهرخوانده.شهر مورو لوکانو خواهرخواندهٔ کنتورسی ترمه هست.
در مورد چرازو توضیح بده.
چِرازو (به ایتالیایی: Ceraso) یک کومونه در ایتالیا است که در استان سالرنو واقع شده‌است. چرازو ۴۵٫۹۵ کیلومتر مربع مساحت و ۲٬۵۱۰ نفر جمعیت دارد و ۳۴۰ متر بالاتر از سطح دریا واقع شده‌است.
مسئله تناظر پست کیست؟ توضیح بده.
مسئلهٔ تناظر پست (به انگلیسی: Post correspondence problem) یک مسالهٔ تصمیم‌ناپذیر بر روی رشته‌ها است که در سال ۱۹۴۶ میلادی به‌وسیلهٔ امیل پست معرفی و اثبات شد. با نگاشت این مسئله بر روی مسائل تصمیم‌ناپذیر دیگر می‌توانیم تصمیم‌ناپذیری آن‌ها را نیز اثبات کنیم (مانند تصمیم‌ناپذیری ماشین‌های تورینگ).علاوه بر این که یکی از دلایل اهمیت این مسئله اثبات دیگر مسائل تصمیم‌ناپذیر به‌وسیلهٔ آن است، می‌توان به این موضوع نیز اشاره نمود که درک و اثبات این مسئله بسیار ساده‌تر از دیگر مسائل تصمیم‌ناپذیر، مانند مسالهٔ توقف در ماشین تورینگ است.تعریف مسئله.یک "نمونه" از مسئلهٔ تناظر پست را این‌گونه تعریف می‌کنیم:هر نمونه از این مسئله شامل دو لیست از رشته‌هایی است که بر روی الفبای formula_1 تعریف شده‌اند. فرض کنید این دو لیست formula_2 و formula_3 نام دارند که برای یک مقدار formula_4 این‌گونه تعریف می‌شوند:formula_5formula_6برای هر formula_7 جفت formula_8 را یک جفت تناظر می‌گویند."جواب" مسئلهٔ تناظر پست را نیز این‌گونه تعریف می‌کنیم:برای یک نمونه از مسئله "جواب" وجود دارد اگر دنباله‌ای از اعداد صحیح مانند formula_9، formula_10، … و formula_11 وجود داشته باشد که شرط زیر را ارضاء کند:formula_12پس به‌طور کلی مسئلهٔ تناظر پست این‌گونه تعریف می‌شود:«"آیا برای یک نمونه از مسئلهٔ تناظر پست جوابی وجود دارد یا خیر؟"»مثال.فرض کنید formula_13 و دو لیست formula_2 و formula_3 را این‌گونه در نظر بگیرید:یک جواب برای این نمونه با formula_16، این‌گونه است: formula_17؛ زیرا در این صورت:formula_18formula_19که این دو شرط formula_20 را ارضاء می‌کنند.اثبات تصمیم ناپذیری مسئلهٔ تناظر پست.ایدهٔ کلی برای اثبات تصمیم ناپذیری مسئلهٔ تناظر پست این است که آن را بر روی یک مسئلهٔ تصمیم ناپذیر معروف دیگری نگاشت کنیم و بهترین گزینه مسالهٔ توقف است. این نگاشت را این‌گونه در نظر بگیرید: «یک مسئلهٔ تناظر پست می‌تواند یک ماشین تورینگ دلخواه را با یک ورودی خاص اجرا کند. مسئلهٔ تناظر پست در صورتی جواب دارد اگر و فقط اگر ماشین تورینگ ورودی‌اش را قبول و توقف کند.»
دختر دشت آرارات کیست؟ توضیح بده.
دختر دشت آرارات () یک فیلم است محصول سال ۱۹۴۹، به کارگردانی هامو بیک-نازاریان
مسئله ارتفاع ستاره کیست؟ توضیح بده.
مسئلهٔ ارتفاع ستاره که توسط Eggan Lawrence C مطرح شده‌است، مسئله‌ای در تئوری زبان صوری است که سعی در پاسخ به این پرسش دارد که آیا می‌توان همهٔ زبان منظم را به کمک عبارات منظمی که ارتفاع ستارهٔ محدودی دارند بیان کرد؟ ارتفاع ستارهٔ یک عبارت منظم، بیشینهٔ عمق ستاره‌های تو در تویی است که در آن عبارت وجود دارد.به‌طور مشخص‌تر، این مسئله بیان می‌کند که آیا همیشه عمق تو در توی یک کافی است و امکان‌پذیر است که همهٔ زبان‌های منظم را با عبارات منظم به عمق یک نشان داد؟ اگر پاسخ این سؤال منفی است، آیا الگوریتمی وجود دارد که عمق مورد نیاز را مشخص کند؟مسئلهٔ اولیه، نخستین بار توسط Eggan پاسخ داده شد [۱]. او با ارائه مثالی نشان داد که پاسخ این پرسش منفی است. او برای هر عدد طبیعی مانند n، یک زبان منظم با ارتفاع ستارهٔ n ارائه داد. ساخت این عبارات به صورت بازگشتی است و به این ترتیب صورت می‌گیرد که عبارت formula_1، از کنار هم قرار دادن دو نسخهٔ formula_2 و تغییر نام نسخهٔ دوم با نام‌های جدید و پس از آن اضافه کردن یک نشانهٔ جدید در انتها و اضافه کردن پرانتز و ستاره در اطراف عبارت ساخته شده تا اینجا، صورت می‌گیرد.با به‌کارگیری تنظیم «چپ» تصویر در سمت چپ متن ظاهر می‌شود.Eggan ثابت کرد که هیچ عبارت منظمی با ارتفاع ستارهٔ کمتر از n وجود ندارد که معادل با formula_2 باشد [۱]. هرچند مثال ارائه شده توسط او از الفبای بزرگی استفاده می‌کند که برای زبانی با ارتفاع ستارهٔ n، اندازهٔ آن 2"n"-۱ است. به همین دلیل، سؤال دیگری که مطرح کرد این بود که آیا مثال‌هایی روی الفبای دودویی وجود دارد که به این شکل باشند؟ این سؤال به سرعت توسط Dejean و Schützenberger پاسخ داده شد [۳]. آن‌ها مثالی بازگشتی از چنین عباراتی به ازای هر n ارائه دادند. formula_2 در هر گام به این صورت ساخته می‌شود که ابتدا به تعداد 2"n" نشانهٔ اول و سپس formula_2 و پس از آن به تعداد 2"n" نشانهٔ دوم و در انتها نیز formula_2 قرار می‌گیرد. در نهایت پرانتز دور این عبارت قرار گرفته و ستاره اضافه می‌شود.Dejean و Schützenberger و Salomaa نشان دادند که هیچ عبارت منظمی با ارتفاع ستارهٔ کمتری نمی‌تواند n را توصیف کند [۳٬۴].سؤال مطرح شدهٔ دوم، پاسخ به نسبت پیچیده‌تری نسبت به سؤال اول دارد و برای حدود دو دهه به عنوان یکی از مسائل معروف حل نشدهٔ حوزهٔ زبان‌های صوری شناخته می‌شد [2]. Hashiguchi در سال ۱۹۸۸ الگوریتمی برای تعیین ارتفاع ستارهٔ هر عبارت منظمی ارائه داد. اما این الگوریتم عملی نیست و به محاسباتی می‌انجامد که حتی برای مثال‌های کوچک نیز امکان‌پذیر نیست.الگوریتم بهینه‌تری توسط Kirsten در سال ۲۰۰۵ ارائه شد، اما حتی این الگوریتم هم فاصلهٔ زیادی با آنچه که قابل انجام است، دارد [۵].این الگوریتم توسط Colcombet و Löding در سال ۲۰۰۸ کلی‌سازی و بهینه‌سازی شده‌است [۶] و در سال ۲۰۱۷ در ابزار Stamina پیاده‌سازی شده‌است [۷].
گسل‌های ایران کیست؟ توضیح بده.
هر ناپیوستگی ثانویه زمین‌ساختی که بعد از ایجاد شکستگی در آن جابجایی رخ داده باشد به عنوان گسل شناخته می‌شود.بر این اساس هم گسل‌های کوچک در حد چند میلی‌متر و هم گسل‌هایی با طول چندین کیلومتر در این تعریف می‌گنجند.گسل‌ها بر تحولات زمین‌ساختی و تکوین حوضه‌های ساختاری - رسوبی ایران اثر قابل توجهی داشته‌اند. در این میان، گسل‌های طولی عمده هم‌زمان با جنبش‌های کوه‌زایی کاتانگایی (پرکامبرین پسین) به مراتب بیشتر است. روند این گسل‌ها در بیشتر جاها با روندهای زمین‌ساختی مربوط به چین‌خوردگی کاتانگایی هم‌خوان است و در راستای شمالی - جنوبی قرار دارد، ولی روندهای شمال‌غربی - جنوب‌شرقی (روند زاگرس) نیز گزارش شده‌است. علاوه بر این دو روند، راستای دیگری نیز در امتداد شمال‌شرقی - جنوب‌غربی بر گسل‌های ایران حاکم است؛ به گونه‌ای که سه امتداد اصلی قابل تشخیص است:این گسل‌ها مرز واحدهای ساختاری - رسوبی مختلف ایران را تشکیل می‌دهند و با فعالیت خود موجب تغییرات عمده در رخساره‌های سنگی، ضخامت رسوبات و تحولات زمین‌ساختی (ماگماتیسم، دگرگونی، شدت و الگوی چین‌خوردگی و…) می‌شوند و بنابراین شناخت آن‌ها از نظر زمان تشکیل، فعالیت، تأثیر آن‌ها بر زمین‌شناسی ایران و لرزه‌زمین‌ساخت بسیار مهم است.تعداد گسل‌های شناخته شده ایران ۵۷۵ عدد است. تعداد گسل‌های خطرناک ایران ۱۲۰ عدد است. میزان شهرهای لرزان ایران یعنی شهرهای با ریسک خطر بالا ۷۸ درصد می‌باشد.اصلی‌ترین گسل‌های تهران عبارتند از گسل مشا فشم، گسل شمال تهران، گسل جنوب تهران، گسل پارچین، گسل شمال ری، گسل جنوب ری، گسل کهریزک، گسل اشتهارد و گسل ایپک.امن‌ترین استان‌ها و مناطق ایران از نظر خطر گسل‌ها همدان اصفهان کردستان، مرکزی، مناطقی از خوزستان زنجان یزد و کرمان هستند.گسل‌های زمین‌لرزه‌ای.گسل زمین‌لرزه‌ای نوعی شکستگی زمین است که در اثر زمین‌لرزه کم‌ژرفا تولید شده باشد و به‌طور کلی با تجدید حرکت دوباره گسل‌های پیشین همراه هستند. این گونه گسل‌ها می‌توانند دربارهٔ سازوکار رهاسازی انرژی لرزه‌ای در طی زمین‌لرزه و نیز تنش‌های ناحیه، اطلاعات لازم را بدهند.بیشتر گسل‌های زمین‌لرزه‌ای شناخته‌شده ایران طول بیش از ۴۰ کیلومتر دارند و همه آن‌ها با زمین‌لرزه‌های مخرب با بزرگی بیش از ۷ همراهند. در همه حالت‌ها جهت گسل‌های زمین‌لرزه‌ای ایران گویای جهت فشاری در راستای شمال شمال‌شرقی - جنوب جنوب‌غربی است که با جهت حرکت شمال‌شرقی صفحه عربستان هماهنگی دارد.منابع.«مناطق کم خطر زلزله در ایران». ۲۰۱۷. جستجوگر اخبار تی نیوز Tnews.Ir. Accessed December 31 2017. http://tnews.ir/news/b44c101773523.html.
درخت رونده اتوماتا کیست؟ توضیح بده.
یک درخت رونده اتوماتا یک نوع اتوماتا متناهی است که به جای رشته‌ها درخت‌ها را تحلیل می‌کند. این مفهوم توسط Aho و Ullman پیشنهاد شده‌است.این درخت بسیار شبیه درخت گرامر درخت منظم و ماشین درختی به عبارتی می‌توان گفت این درخت نمایشی متفاوت از دو درخت یاد شده‌است.تعریف.تمام درخت‌های به این شکل دودویی هستند و دارای برچسب‌هایی با الفبای ثابت هستند در واقعیت این درخت‌ها دارای تعدادی حالت هستند که با آمدن حروف جدید مانند اتومات‌های واقعی از حالتی به حالت دیگر حرکت می‌کند و در نهایت اگر در حالت تأیید به کار خود پایان داد که آن درخت تأیید می‌شود و اگر در حالت رد یا حلقهٔ بی‌نهایت به کار خود پایان داد آن درخت رد می‌شود.اگر بخواهیم به صورت ریاضی تر آن را بگوییم هر درخت غیر قطعی رونده اتوماتا یک شش‌تایی A = (Q, Σ, I, F, R, δ) است که Σ الفبایی ثابت بوده، Q مجموعهٔ حالت‌ها ،I حالت‌های شروع، F حالت‌های تأیید و R حالت‌های رد است.همان‌طور که در تمامی اتومات‌ها رابطه‌هایی وجود دارد که با دیدن یک حرف از حالی به حالت دیگر می‌رود.δ ⊆ (Q × { root, left, right, leaf } × Σ × { up, left, right } × Q)Q اول به معنای حالت فعلی است که در حالت فعلی یکی از چهار حالت مشخص شده را داریم. منظور از Σ حرف دیده شده‌است و مورد بعدی به معنای حرکتی است که می‌کنیم که یکی از بالا، راست و چب است و Q آخر نیز به معنای حالتی است که در آن می‌رویم. پس رابطه‌های به صورت ۵ تایی‌هایی درین اتوماتا نمایان می‌شوند.مثال.یک مثال ساده از این درخت برای اجرا کردن الگوریتم جستجوی عمق اول بر روی درخت ورودی است. طبعاً برای هر مثال باید پارامترهای تعریف را مشخص کنیم. این اتومات‌های ۳ حالت دارد، formula_1.در ابتدا از ریشه که حالت ۰ است شروع می‌کنیم. حال با آمدن هر راس جدید به حالت چپ وارد می‌شویم و در صورتی که در برگ درخت باشیم به بالا می‌رویم که متناظر با همان حرکت بالا بود که در تعریف از آن یاد کرده بودیم. همان‌طور که گفتیم درین درخت می‌توان مشخص کرد که آیا زیر درختی پردازش شده‌است یا نه در این‌جا هم هر جا که زیر درخت سمت چپ پردازش شده باشد باید به حالت سمت راست برویم.formula_2خواص.بر خلاف ماشین درختی، درخت رونده اتوماتا به سختی قابل تجزیه و تحلیل است و حتی خواص سادهٔ آن نیز به سختی اثبات می‌شود و بعضاً اثبات‌های بسیار پیچیده و غیر بدیهی دارند.درین به برخی از خواص آن که اثبات شده‌است اشاره می‌کنیم
منطق جدایی کیست؟ توضیح بده.
منطق جدایی تعمیمی از منطق هور (Hoare logic) است که هدف اصلی ابداع آن، بررسی و وارسی ریاضی برنامه‌هایی است که داده‌ها را در حافظه تغییر می‌دهند و خانه‌های مختلف از حافظه هستند که در معرض تحول هستند. این منطق توسط جان سی رینولدز, Peter O'Hearn, Samin Ishtiaq و Hongseok Yang معرفی شده‌است.مفاهیم کلی.در برنامه‌هایی که از اشاره‌گر بهره می‌برند، استفاده از منطق‌های پیشین نظیر منطق هور ممکن نیست. علت آن است که در این‌جا، هر خانه از حافظه اهمیت دارد و باید زبان منطق مورد نظر، توانایی اشاره به قسمت‌های مختلف از حافظهٔ رایانه را داشته باشد. به این دلیل، نیاز به تعریف عملگری جدید حس شد. این احساس نیاز، منجر به تعریف عملگر formula_1 شد که به صورت شهودی یعنی دو عملوند آن، در قسمت‌های مجزا از حافظهٔ پشته هستند؛ لذا، با شکل‌گیری این منطق و ابزارهای آن، وارسی الگوریتم‌ها و برنامه‌های موازی امکان‌پذیر شده‌است.اعلان‌ها.منظور ما در این‌جا از حالت، وضعیت مقادیر موجود در حافظهٔ تصادفی و همچنین حافظهٔ پشته است. اعلان formula_2 در منطق جدایی، تعدادی حالت را مشخص می‌کند که در آن‌ها formula_2 درست است. با تعریف استقرایی ساختار لغوی منطق جدایی، عبارت formula_4 حالاتی را مشخص می‌کند که formula_2 در یک قسمت از ساختار حافظهٔ تصادفی/پشته و formula_6 در قسمتی کاملاً مجزا از آن درست باشد. پس تعریف استقرایی زبان منطق به این صورت است:حال می‌توان این عملگرها را در مفاهیم منطق مرتبهٔ اول به کار برد و با آن عباراتی در مورد تأثیر یک برنامه بر حافظه گفت یا در بیان مشخصات حافظه استفاده کرد.استدلال و استنتاج.در این منطق هم مانند دیگر منطق‌ها می‌توان اصول استنتاج تعریف و طبق آن‌ها استدلال کرد. برای مثال طبق تعریف عملگر formula_10، داریم:formula_12تمامی قواعد استنتاج در منطق هور، در منطق جدایی هم معتبر هستند؛ و همچنین در این منطق، قاعدهٔ قاب هست که برای سه‌تایی‌های هور تعریف می‌شود. یک سه‌تایی هور، به شکل کلیformula_13 است که یعنی اگر، حافظه قبل از اجرای برنامهٔ formula_14، در حالت formula_2 باشد، پس از اجرای آن به حالت formula_6 می‌رود. حال طبق قاعدهٔ قاب داریم:formula_17به‌وسیلهٔ این قاعده، می‌توان استدلالات محلی در مورد حافظه را گسترش داد و در مورد بخش بزرگ‌تری از حافظه صحبت کرد. استدلال محلی برای یک برنامهٔ formula_14، یعنی استدلال در مورد تمامی متغیرها و خانه‌های حافظه که توسط formula_14 تغییر می‌یابند. این‌ها را O'Hearn، ردپای formula_14 می‌نامد. او بیان می‌دارد که:«برای فهم رفتار یک برنامه، باید در مورد خانه‌هایی اطلاع کسب کنید که توسط آن برنامه تغییر می‌یابند. ارزش دیگر خانه‌ها به صورت خودبه‌خود ثابت باقی می‌ماند.»ابزارهای وارسی مدلّ‌ها و تحلیل برنامه‌ها.منطق جدایی به دلیل کاربرد در درستی‌یابی برنامه‌های کامپیوتری، عملکرد وسیعی در ابزارهای مختلف وارسی مدل‌ها و همچنین کاربردهای صنعتی دارد. به‌نحوی‌که O'Hearn که از مبدعین این منطق بوده، از سال ۲۰۱۳ در شرکت فیسبوک مشغول به کار است.به صورت کلی، ابزارهایی که از منطق جدایی استفاده می‌کنند در دسته‌های مختلف هستند:
چرخان‌تاژک‌داران کیست؟ توضیح بده.
چرخان‌تاژک‌داران یا داینوفلاژله‌ها نام یک شاخه از حبابچه‌داران است که تک‌یاخته و اکثراً دریازی هستند.این جانوران پلانکتونی‌اند و در آن‌ها کپسول مشخصی از جنس سلولز وجود دارد. کپسول دو قسمتی است و شیاری در آن وجود دارد که در برگیرنده دو تاژک است، یکی از تاژک‌ها رو به عقب امتداد دارد و دیگری تقریباً افقی است. معمولاً دارای لکه چشمی و تعدادی زیاد کلروپلاست قهوه ای، زرد یا مایل به سبز هستند. هسته درشت و یکی است. حضور تعدادی کیسه بزرگ که توسط کانال‌ها یا مجاری به بیرون راه دارند، از مشخصات این جانوران است. این حجم‌های غیرانقباضی که پوسول (pusule) نام گرفته‌اند، گرچه به سیستم کریچهای شباهت ندارند ولی احتمالاً درگرفتن آب و در عمل هیدرواستاتیک نقش ایفا می‌کنند.دسته‌ای از چرخان‌تاژک‌داران بدون رنگیزه هستند و به‌طریق جانوران تغذیه می‌کنند. از نظر ریخت‌شناسی شبه آمیب‌ها هستند.تولید مثل در چرخان‌تاژک‌داران تا حدودی شبیه تقسیم دوتایی طولی تاژکداران است و در امتداد یک صفحه مورب صورت می‌گیرد. این نوع تقسیم حتی در کیست نیز اتفاق می‌افتد. حتی در حالت کیستی تقسیم می‌تواند از نوع چندتایی باشد. افراد حاصل از تقسیمات متوالی دوتایی گاهی به‌طور موقت به هم چسبیده می‌مانند (مانند زنجیر). شواهد کافی از ممزوج شدن گامت‌ها یا یاخته‌های جنسی وجود ندارد.یک نمونه معروف از تاژک‌داران چرخان، سراتیوم (Ceratium) است که نمونه‌ای زره دار و دارای خار و دو تاژک است و به روش گیاهان تغذیه می‌کند. زره یا تک (Theca)، ضخیم و غیرقابل انعطاف است. خارها از امتداد بخش‌هایی از صفحات سازنده زره ایجاد شده‌اند و راست یا خمیده‌اند. خار جلویی، خار راسی (Apical spine) و خار یا خارهای عقبی (تا ۴ خار عقبی می‌تواند وجود داشته باشد)، خار یا خارهای مقابل راسی (Anapical spine) نامیده می‌شوند. طبق معمول بین صفحات سازنده زره دو شیار وجود دارد. شیار در موقعیت استوایی یا افقی به نام حلقه یا انولوس (Annulus) نیز نامیده می‌شود که معمولاً با یک صفحه به نام سینگولوم (Cingulum) پوشیده شده‌است. از میان منافذ زره برجستگی‌ها یا پاپیلاهای سیتوپلاسمی متعددی خارج و به شبکه‌ای از پاهای کاذب منتهی می‌شوند. این پاها سبب صید جانداران ریز می‌شوند، تغذیه گاهی از این نوع است. انواع آب شیرین دارای کلروپلاست‌های سبز و انواع دریایی زرد یا قهوه‌ای هستند.نمونه دیگر نوکتیلوکا (Noctiluca)است که همچون یک کره بزرگ (ژلاتینی) به قطر 1mm یا بیشتر است. شناور بر سطح دریا و معمولاً نزدیک ساحل یافت می‌شود. بی‌رنگ و بیگانه‌خوار است. یک تاژک کوتاه ضخیم و یک تاژک ظریف دارد. این موجود دارای خاصیت زیست‌تابی و مسئول فسفرسانس آب‌های ساحلی دریاها است.
در مورد سرعت نور (اتوماتای سلولی) توضیح بده.
در بازی زندگی کانوی (و اتوماتای سلولی مربوط) سرعت نور یک نرخ انتشار در سراسر شبکه از دقیقاً یک گام (به صورت افقی عمودی یا مورب) در هر نسل است. در یک نسل یک سلول تنها می‌تواند همسایه‌های نزدیکش را تحت تأثیر قرار دهد و بنابراین سرعت نور (در قیاس با سرعت نور در فیزیک) حداکثر نرخی که با آن اطلاعات می‌توانند منتشر شوند. از این رو یک حد بالا برای سرعتی که با آن هر الگوی حرکت می‌کند داریم.نماد.همان‌طور که در فیزیک سرعت نور با حرف &lt;math/&gt;. این در عوض مرجعی است برای توصیف میانگین سرعت انتشار هر سفینه فضایی. برای مثال یک گلایدر گفته می‌شود که سرعتی برابر &lt;math/&gt;توسط یک سلول ترجمه شود. به‌طور مشابه «سفینه فضایی سبک» گفته شده‌است که سرعتی برابر &lt;math/&gt;هر حالت داده شده ۴ نسل طول می‌کشد تا توسط دو سلول ترجمه شود.انتشار با سرعت نور.در حالی که &lt;math/&gt; یک کران بالای مطلق برای سرعت انتشار است حداکثر سرعت یک سفینه فضایی در بازی زندگی کانوی در واقع &lt;math/&gt;. دلیل این امر آن است که ساخت یک سفینه فضایی که بتواند در هر نسل حرکت کند غیرممکن است. (هر چند این موضوع در حالت کلی برای اتوماتای سلولی درست نیست؛ به عنوان مثال بسیاری از سفینه‌های فضایی با سرعت نور در دانه‌ها وجود دارند) با این حال این برای اشیاء ممکن است که با سرعت نور سفر کنند اگر آن‌ها به جای فضای خالی از مدیوم حرکت کنند. چنین رسانه ای شامل مسیرهای کهیر و خطوط سلول‌های زنده و مرده‌است. اگر با سرعت نور د کهکشان حرکت کنیم در۳۰ثانیه به ماه می‌رسیم و ۸/۳۰دقیقه به خورشید می‌رسیم و۲۰۰۰سال طول می‌کشد تا از کهکشان راه‌شیری خارج شده و چند میلیون سال طول می‌کشد تا به نزدیک‌ترین کهکشان برسیم.انتشار سریع تر از نور.الگوهای خاص می‌توانند به نظر برسند که با سرعت بیشتر از یک سلول در هر نسل حرکت می‌کنند اما مانند پدیده‌های سریع تر از نور در فیزیک این امر گمراه کننده است.به عنوان مثال "Star Gate", ترتیبی از سه گلایدر همگرا که متقابلاً در برخورد نابود می‌شوند. اگر یک سفینه فضایی سبک (LWSS) با گلایدرهای همگرا برخورد کند به نظر می‌رسد که در ۶ نسل ۱۱ حرکت رو به جلو انجام داده و در نتیجه سفری سریع تر از نور داشته‌است. این توهم به این خاطر اتفاق می‌افتد که واکنش حاصل از نابودی گلایدر با ایجاد و به زودی تخریب یکی دیگر از LWSSها همراه است. هنگامی که LWSS ورودی با گلایدرهای همگرا برخورد می‌کند به جای دیگر منتقل نمی‌شود اما به جای آن واکنش را به طوری که LWSS به تازگی ایجاد شده می‌تواند زنده بماند تغییر می‌دهد. تنها سیگنالی که منتقل می‌شود این است که تعیین کند آیا LWSS خروجی باید زنده بماند یا نه. این نیازی به رسیدن به مقصد خود ندارد تا بعد از اینکه LWSS منتقل شده‌است و بنابراین هیچ اطلاعاتی نیاز به سفر سریع تر از نور ندارد.
نظریه پاریک کیست؟ توضیح بده.
قضیهٔ پاریک یکی از قضایای علوم کامپیوتر نظری است که در سال ۱۹۶۱ توسط روهیت پاریک(Rohit Parikh) اثبات شده‌است و در سال ۱۹۶۶ اثبات ساده تری برای آن ارائه شده‌است.[3] اثبات می‌کند که یک زبان مستقل از متن روی یک الفبای تک حرفی باید منظم باشد. از قضیهٔ پاریک می‌توان در اثبات مستقل از متن بودن یا نبودن یک زبان استفاده کرد. علاوه بر این از این قضیه برای اثبات این که یک زبان حاوی رشته‌ای با تعداد برابری از دو پایانه داده شده هست یا خیر.[1] این قضیه بیان می‌کند که اگر توالی نشانه‌ها در نظر گرفته نشود آنگاه زبان‌های مستقل از متن از نظر مجموعه‌های منظم و نشان دادن وجود یک زبان مستقل از متن ذاتاً مبهم غیر متمایزاند.تعاریف مهم.اگر formula_1 مجموعهٔ یک الفبا باشد، بردار پاریک یک کلمه به صورت یک تابع در قالب formula_2 خواهد بود به‌طوری‌که formula_3 و formula_4 نشان دهندهٔ تعداد حرف formula_5 در کلمهٔ formula_6 است.می‌گوییم زیرمجموعه‌ای از formula_7 خطی است اگر به ازای بردارهای formula_8 این زیر مجموعه به صورت formula_9 باشد.می‌گوییم یک زیرمجموعه از formula_7 شبه‌خطی است اگر اجتماعی از چند زیرمجموعهٔ خطی باشد.فرض کنید formula_11 یک زبان مستقل از متن و formula_12مجموعهٔ بردارهای پاریک کلمات در formula_11باشد که formula_14. آنگاه formula_12 یک مجموعهٔ شبه خطی است.می‌گوییم دو زبان جابه‌جایی‌پذیرند اگر دارای مجموعهٔ بردارهای پاریک برابر باشند. اگر formula_16 یک مجموعه ی شبه‌خطی باشد، زبان شامل کلماتی که بردارهای پاریک آن‌ها در formula_16 است با بعضی از زبان‌های منطم جابه‌جایی‌پذیرند. در نتیجه هر زبان مستقل از متنی با بعضی از زبان‌های منظم جابه‌جایی‌پذیرند.اهمیت آن.در قضیهٔ پاریک اثبات می‌شود که بعضی از زبان‌های مستقل از متن فقط میتوانند گرامرهای مبهم داشته باشند که به این زبان ها، زبان‌های ذاتاً مبهم گفته می‌شود. به عبارتی دیگر بعضی از گرامرهای مستقل از متن را نمی‌توان به گرامر مستقل از متن غیر مبهمی تبدیل کرد.نگاشت پاریک.فرض کنید formula_1 الفبای یک زبان باشد که formula_19 و ترتیب formula_20 دلخواه ولی ثابت است. برای formula_21 تصویر پاریک معادل است با:که هر formula_23 تعداد formula_5‌ها در formula_6 hsj.نگاشت پاریک روی یک زبان به صورت مقابل تعریف می‌شود:برای یک زبان دلخواه مانند formula_11 که formula_27 قرار دهید formula_28مثال: (نگاشت پاریک کلمات یک گرامر مستقل از متن)گرامر مستقل از متن formula_29 را با قواعد زیر در نظر بگیرید:این بدین معناست که زبان تولید شده توسط formula_33 دارای رشته‌هایی است که a و b‌ها میتوانند در آن به صورت درهم آمیخته ظاهر شوند. اما از آنجایی که از تعریف زبان پیداست تعداد آن‌ها در رشته برابر خواهد بود. علاوه بر این همیشه از هر حرف حداقل یکی وجود دارد.حال اگر formula_34 و formula_35 را با توجه به تعریف بالا به ترتیب formula_36 و formula_37 بگیریم و رشته‌های formula_38 و formula_39 فرض کنیم. هر دو این رشته‌ها دارای نگاشت پاریک یکسان هستند؛ formula_40 که داریم formula_41اثبات.این قضیه با استقرا روی یک مجموعه از درخت‌های اشتقاق و با استفاده از نگاشت‌های پاریک به دست آمده از مجموعه ی درخت‌های اشتقاق پایانه‌ها و امکان بزرگ کردن آن‌ها در طول اشتقاق اثبات می‌شود.
محمدخان ایروانی کیست؟ توضیح بده.
محمد خان ایروانی (درگذشت ۱۲۵۵ قمری) همچنین معروف به محمدخان سردار ماکویی از فرماندهان نظامی ایران در دوره محمدشاه قاجار بود که درجه امیرتومانی داشت و بخشی از سپاه ایران را در جنگ هرات فرماندهی می‌کرد.او در سال ۱۲۵۲ قمری به دستور محمدشاه قاجار به حکومت عراق عجم منصوب شد.پسر او از همسر اولش محمدحسن خان سردار ایروانی بود. محمدخان در سال ۱۲۵۴ قمری باردیگر ازدواج کرد و زینت‌الدوله دختر فتحعلی‌شاه قاجار را به همسری گرفت و یک سال بعد در زمان محاصره شهر هرات درگذشت.
اردوگاه پناهندگان خان یونس کیست؟ توضیح بده.
اردوگاه پناهندگان خان یونس (به عربی: مخیم خان یونس)؛ (انگلیسی: Khan Yunis Camp) یک منطقهٔ مسکونی در فلسطین است، که در خان یونس واقع در غرب شهر خان یونس و ۲ کیلومتری شرق ساحل مدیترانه که در نوار غزه جنوبی قرار دارد. اردوگاه پناهندگان خان یونس ۳۷٬۷۰۵ نفر جمعیت دارد.آمار جمعیت.در حالی که آژانس امداد و اقدام سازمان ملل متحد برای آوارگان فلسطینی در خاور نزدیک UNRWA اعلام کرده‌است در سال ۲۰۱۰ که حدود ۷۲۰۰۰ پناهنده فلسطینی در اردوگاه زندگی می‌کنند، اداره مرکزی آمار فلسطین در سرشماری سال ۲۰۰۷ آمار جمعیت خان یونس را ۳۷۷۰۵ نفر ثبت کرده‌است.تاریخچه.اردوگاه خان یونس پس از جنگ شش روزه ۱۹۴۸-اعراب- اسرائیل احداث شد و حدود ۳۵٫۰۰۰ پناهنده فلسطینی در آن اسکان داده شدند. در ۳ نوامبر ۱۹۵۶، اردوگاه و شهر خان یونس توسط نیروهای ارتش اسرائیل اشغال شد و در عملیات تهاجمی که صورت گرفت حدود ۲۷۵ نفر کشته شدند که ۱۴۰ پناهنده از اردوگاه را در بر می‌گرفت. ساکنان اردوگاه تصریح کردند که بیشتر تلفات پس از پایان جنگ‌ها رخ داد و آن هنگامی بود که ارتش به خانه‌هایی که مظنون به حضور شورشیان مسلح می‌دید تهاجم کرد. با این حال، مقامات اسرائیلی اعلام کردند که تلفات ناشی از مقاومت ساکنان اردوگاه بوده‌است.وضعیت کنونی.طبق گزارش آژانس امداد و اقدام سازمان ملل متحد برای آوارگان فلسطینی در خاور نزدیک UNRWA، بسیاری از ساکنان این اردوگاه‌ها به دلیل عملیات توسط ارتش اسرائیل، خانه‌های خود را از دست دادند. UNRWA در اوائل دهه ۲۰۰۰ تلاش‌های بازسازی را آغاز کرد اما به دلیل تصرف این منطقه توسط حماس و محاصره اسرائیل در نوار غزه عمدتاً این پروژه متوقف شده‌است. UNRWA می‌گوید که حداقل ۱۰٬۰۰۰ خانه باید ساخته شوند.
اتوماتای سنگ‌ریزه کیست؟ توضیح بده.
اتوماتای سنگ‌ریزه (به انگلیسی: pebble automaton)، یک درخت را به عنوان ورودی می‌گیرد و روی گره‌های درخت از طریق یال‌ها حرکت می‌کند. به علاوه، این اتوماتا یک مجموعه‌ی متناهی با اندازه‌ی ثابت از «سنگ‌ریزه‌ها» دارد که از 1 تا k شماره‌گذاری شده‌اند و می‌تواند آن‌ها را روی گره‌های درخت بگذارد. در یک گام اتوماتا می‌تواند روی گره فعلی بماند، به گره پدر برود، به گره فرزند چپ یا راست برود. همین‌طور می‌تواند سنگ‌ریزه‌ی iم را بردارد، یا سنگ‌ریزه‌ی i-1م را رو گره فعلی قرار دهد. این که در هر گام اتوماتا چه تصمیمی می‌گیرد، بستگی به حالت فعلی اتوماتا، مجموعه‌ی سنگ‌ریزه‌هایی که روی گره فعلی قرار دارد، برچسب گره فعلی، و نوع گره فعلی (ریشه، فرزند چپ یا راست، برگ یا گره داخلی) دارد.تعریف دقیق.مجموعه‌ی {TYPE = {r, 0, 1} × {l, i، انواع ممکن برای یک گره را دربردارد. در این‌جا r برای ریشه، 0 فرزند برای فرزند چپ، 1 برای فرزند راست، l برای برگ، و i برای گره درونی در نظر گرفته شده است. مجموعه‌ی {MOVES = {ε, ←, →, ↑, lift, drop، انواع حرکت‌های ممکن را برای اتوماتا دربرمی‌گیرد. در این‌جا ↑ برای رفتن به گره پدر، ← برای رفتن به فرزند چپ، → برای رفتن به فرزند راست، drop برای گذاشتن سنگ‌ریزه، و lift برای برداشتن سنگ‌ریزه در نظر گرفته شده است. همین‌طور مجموعه‌ی توانی یک مجموعه مانند S را با (P(S نشان می‌دهیم.یک اتوماتای سنگ‌ریزه که k سنگ‌ریزه دارد، یک چندتاییِ (A = (Σ,Q, I, F, δ است، که Q مجموعه‌ای متناهی از حالت‌هاست، I ⊆ Q مجموعه‌ی حالات اولیه، F ⊆ Q مجموعه‌ی حالات پایانی، و δ رابطه‌ی گذر (به انگلیسی: transition relation) است.(δ ⊆ (Q × TYPES × {1, . . . , k + 1} × P({1, · · · , k}) × Σ) × (Q × MOVESچندتاییِ q, β, i, S, σ, q′,m) ∈ δ) بیان می‌کند که اگر A در حالت q باشد، سنگ‌ریزه‌های i تا k در درخت باشند، مجموعه‌ی S سنگ‌ریزه‌های گره فعلی را دربرداشته باشد، گره از نوع β باشد و برچسب σ داشته باشد، آن‌گاه A به حالت ′q می‌رود و باتوجه به m حرکت می‌کند.انواع.اتوماتای سنگ‌ریزه بسته به نحوه‌ی برداشتن سنگ‌ریزه‌ها، در دو نوع بررسی می‌شود:به صورت پیش‌فرض اتوماتا قوی در نظر گرفته می‌شود.قطعیت و عدم قطعیت.یک اتوماتای سنگ‌ریزه است، اگر δ یک (به انگلیسی: partial function) از Q × types × {1, · · · , k + 1} × P({1, · · · , k}) × Σ به Q × moves باشد.نمادگذاری.مجموعه‌ی زبان‌های تشخیص‌پذیر توسط اتوماتای سنگ‌ریزه‌ی قطعیِ قوی با n سنگ‌ریزه با sDPAn نشان داده می‌شود. همین طور مجموعه‌ی زبان‌های تشخیص‌پذیر توسط اتوماتای (به انگلیسی: tree walking automaton) با TWA و مجموعه‌ی زبان‌های تشخیص‌پذیر توسط اتوماتای (به انگلیسی: bottom-up tree automaton) با REG نشان داده می‌شود.یک نتیجه در منطق.اگر formula_9، مجموعه‌ی ویژگی‌های قابل توصیف درخت در (به انگلیسی: transitive closure first-order logic) باشد، و formula_10همان مجموعه در باشد، ثابت می‌شود که formula_11، و در واقع formula_12. یعنی مجموعه‌ی زبان‌های تشخیص‌پذیر توسط اتوماتای سنگ‌ریزه با مجموعه‌ی زبان‎های قابل‌توصیف در برابر است.
اتوماتون بوچی کیست؟ توضیح بده.
اتوماتون بوچی (زبان انگلیسی: Büchi automaton) را می‌توان به عنوان اتوماتونی در نظر گرفت که می‌توانند رشته‌های نامتناهی الفبا را بپذیرد. این اتوماتون اولین بار توسط ژولیوس ریچارد بوچی () منطق‌دان سوئیسی در سال ۱۹۶۲ معرفی شد. اگر ω را به عنوان مجموعه اعداد طبیعی و Σ رابه عنوان الفبا در نظر بگیریم یک کلمه نامتناهی (یا یک ω-کلمه) را می‌توان به عنوان یک تابع از ω به Σ در نظر گرفت به این ترتیب مجموعه تمام کلمه‌های نامتناهی را باformula_1 نشان می‌دهیم.تعریف.یک اتوماتون بوچی قطعی ۵ تایی formula_2 است که در ان:فرض کنید formula_2 یک اتوماتون بوچی متناهی باشد در این صورت یک تعمیم طبیعی از مفهوم اجرا (نسبت به اتوماتون قطعی متناهی) می‌تواند مطرح شود که به این صورت است که یک اجرا روی یک کلمه نامتناهی formula_7 را به صورت دنبالهٔ formula_8 تعریف می‌کنیم که از s شروع می‌کنیم و با formula_9 به formula_10 و سپس با formula_11 به formula_12 و… می‌رویم.به عنوان مثال در این اتوماتون:اگر formula_13 در اینصورت formula_14 یه اجرای A است.در این صورت می‌گوییم ماشین A رشته σ را قبول می‌کند اگر اجرایی وجود داشته باشد که در ان حداقل یکی از حالات قبول را به تعداد نامتناهی دیده باشیم.در اتوماتون بوچی غیرقطعی به‌جای تابع انتقال، رابطهٔ انتفال مطرح است و مانند NFA هر حالت تحت رابطهٔ انتقال به مجموعه ای از حالات منجر می‌شود و به‌جای حالت آغازی مجموعه از حالات ابتدایی در نظر گرفته می‌شود. در حالت کلی وقتی کلمه اتوماتون بوچی را به تنهایی به کار می‌بریم منظورمان اتوماتون بوچی غیرقطعی است.زبان‌های قابل تشخیص توسط اتوماتون بوچی.مجموعه تمام ω-کلمه‌های را که یک بوچی اتوماتون قبول می‌کند زبان ان بوچی اتوماتون می‌گویند. حالا یک زبان formula_15 را بوچی تشخیص پذیر می‌گوییم اگر بوچی اتوماتون M ای پیدا شود که formula_16 . یک زبان بوچی تشخیص پذیر است اگر و فقط اگر یک زبان امگا‌ی منظم باشد.مثلاً formula_17 .ویژگی‌های بستاری.فرض کنید A,B دو بوچی اتوماتون باشند و C یک اتوماتون متناهی باشد در این داریم:کاربرد.از بوچی اتوماتون معمولاً در وارسی مدل به عنوان یه نسخه نظریه ماشینی از یک فرمول در منطق موقت خطی استفاده می‌شود.منابع.Computer and System Sciences 8 (1974) No. 2, 117–141.
فیلم در ۱۹۹۱ چیست؟ توضیح بده.
این نوشتار به بررسی رویدادها و اتفاقات مهم سینما در سال ۱۹۹۱ می‌پردازد.پرفروش‌ترین فیلم‌ها.ده فیلم پرفروش سال ۱۹۹۱:جوایز.شصت و چهارمین دوره جوایز اسکار چهل و نهمین مراسم گلدن گلوبنخل طلا (جشنواره فیلم کن):شیر طلایی (جشنواره فیلم ونیز):جشنواره بین‌المللی فیلم برلین (جشنواره فیلم برلین):فیلم‌های مشهور منتشر شده در سال ۱۹۹۱.ایالات متحده unless statedA-D.ABCDE-K.EFGHIJKL-Q.LMNOP-QR-Y.RSTU-VWY
منطق موقت خطی کیست؟ توضیح بده.
منطق زمانی خطی (Linear temporal logic) در منطق، منطق زمانی خطی یا منطق زمانی خطی (در انگلیسی linear temporal logic or linear-time temporal logic(یک منطق زمانی موجهاتی است با توجیهاتی به زمان.در منطق زمانی خطی یک مسئله می‌تواند بررسی فرموله کردن آینده یک مسیر می‌باشد مثلاً این که یک شرط در نهایت درست خواهد شد یا …منطق زمانی خطی خود یک قسمتی از منطق پیچیده‌تر CTL* می‌باشد که اجازه شاخه شاخه شدن حالات زمان و سنجه‌ها را می‌دهد. همچنین منطق زمانی خطی را منطق زمانی گزاره ای (به انگلیسی propositional temporal logic , PTL) نیز می‌نامند.منطق زمانی یک فرمالیسم مناسب برای مشخص کردن و تصدیق خاصیت‌های یک سیستم واکنشی است.یک فرمول از منطق زمانی یک مجموعه از دنباله‌های نامتناهی را توصیف می‌کند که برای هر یک از فرمول‌ها کدام درست است. (که به آن خواص زمانی نیز گفته می‌شود) یک سیستم پیشنهادی یک خاصیت را زمانی تأیید می‌کند که تمامی محاسباتش مربوط به این مجموعه باشد.یک مدل منطق زمانی خطی یک دنباله نامتناهی از حالاتی است که هر نقطه در هر لحظه از زمان دارای پیآمد (successor) خاصی است.شروع و انگیزه.منطق زمانی خطی ابتدا برای صحت یابی رسمی برنامه‌های کامپیوتری در سال ۱۹۷۷ توسط امیرپنئولی در مقاله ای به نام "منطق زمانی برنامه‌ها (به انگلیسی: The Temporal Logic Of Programs) پیشنهاد شد. او در خلاصه این مقاله می‌نویسد:یک روش جامع و یکپارچه برای تصدیق (verification) پیشنهاد شده که برای برنامه‌های موازی و پی درپی قابل پیاده‌سازی است. روش اصلی اثبات پیشنهادی، استدلال زمانی است با این پیش فرض که اتفاقات دارای وابستگی زمانی می‌باشند.دو سیستم رسمی (formal systems) برای برآورده کردن اصول مورد نیاز استدلال زمانی معرفی شده‌است.یکی از فرم‌ها، فرمالیسم روش اثبات متناوب (method of intermittent assertions) است و دیگری انطباق با سیستم محکم (adaptation of the tense logic system Kb) که کاملاً برای استدلال در مورد رویدادهای همزمان مناسب است.نحو.منطق زمانی زمانی یک دسته متناهی از متغیرهای گزاره (propositional variables)، عملگرهای منطقی ¬ و ∨، و در کنار ارتباط دهندگان معمول، فرمول‌های زمانی می‌توانند با عملگرهای زمانی تولید شوند.معنا.یک فرمول منطق زمانی خطی می‌تواند با استفاده از یک رشته از حقیقت سنج‌هایی که زیر مجوعه از متغیرهای گزاره هستنند اثبات شوند.یک فرمول منطق زمانی p تصدیق پذیر است اگر که یک دنباله از حالات S باشد به صورتی "S,0" |= "p. این زمانی درست خواهد بود که نفی آن غیرقابل تصدیق باشد. یک فرمول منطق گزاره ای زمانی یک فرمول زمانی هست اگر همه اتم‌های آن متغیرهای گزاره ای باشند. (یک فرمول زمانی گزاره ای در نتیجه شامل مقدار سنج‌ها و مسندهای مرکب نخواهد بود)"اگر w = a0,a1,a2... را یک ω-کلمه در نظر بگیریم. w(i) = ai. wi =... , ai,ai+1به صورت رسمی، رابطه تصدیق پذیری |= بین یک کلمه و یک فرمول منطق زمانی زمانی به صورت زیر تعریف می‌شود:w |= p اگر p ∈ w(0)w |= ¬ψ اگر w |= ψw |= φ ∨ ψ اگر w |= φ یا w |= ψw |= X ψ اگر w1 |= ψ (در زمان گام بعدی ψ باید صحیح باشد)w |= φ U ψ اگر وجود داشته باشد i ≥ ۰ به صورتی که wi |= ψ، برای همه 0k و φ |= "w"k (φ باید صحیح بماند تا زمانی که ψ صحیح بشود)
گرامر ماتریسی کیست؟ توضیح بده.
یک گرامر ماتریسی (انگلیسی:Matrix grammar), یک گرامر منظم است که در آن به جای قانون‌های تکی، قانون‌ها در دنباله‌های متناهی باهم گروه شده‌اند. یک قانون نمی‌تواند به صورت مجزا اعمال شود، بلکه هر قانون به صورت دنباله‌ای از قانون‌ها اعمال می‌شود. به عنوان مثال برای اعمال یک قانون چندین بار باید بازنویسی انجام شود، به این صورت که ابتدا قانون اول انجام می‌شود سپس قانون دوم و به همین ترتیب تا آخرین قانون پیش می‌رود. این دنباله از قانون‌ها در یک ماتریس نمایش داده می‌شود.گرامر ماتریسی گسترشی از گرامر بدون محتوا است.تعریف دقیق.یک گرامر ماتریسی یک پنج‌تایی مرتب به صورت زیر است:که دارای خاصیت‌های زیر می‌باشد:خصیصه‌ها.فرض کنید formula_7 مجموعه زبان‌هایی باشد که با گرامر ماتریسی تولید می‌شود و formula_8 مجموعه زبان‌هایی باشد که با گرامر ماتریسی بدون formula_9 تولید می‌شود. خصیصه های زیر وجود دارد:مثال.گرامر formula_15 را در نظر بگیرید که در آن M مجموعه ماتریس‌های زیر است:[S → XY], [X → aXb, Y → cY], [X → ab, Y → c]این ماتریس‌ها که شامل قوانین زبان بدون محتوا می‌شوند، زبان زیر را تولید می‌کنند:formula_16این مثال از اقتباس شده است.مسئله حل‌نشده.دوتا مسئله در زمینه این‌گونه گرامرها همچنان به صورت حل‌نشده باقی مانده است.
معاون رئیس‌جمهور افغانستان کیست؟ توضیح بده.
معاون ریاست جمهوری افغانستان دومین مقام سیاسی در افغانستان است. معاونین کنونی ریاست جمهوری افغانستان به همراه رئیس جمهور توسط انتخابات تعیین می‌شود. هر کاندید ریاست جمهوری قبل از انتخاب دو معاون برای خود تعیین می‌کند. معاونین پیشین ریاست جمهوری افغانستان امرالله صالح (معاون اول ریاست جمهوری) و سرور دانش (معاون دوم ریاست جمهوری) است.با آنکه سردار محمد داوود خان پایه‌گذار جمهوری افغانستان و نخستین رئیس‌جمهور افغانستان بود، اما مقام معاون برای نخستین بار در افغانستان توسط شاه امان‌الله خان هنگامی بوجود آمد که نامبرده در سال ۱۹۲۶ سلطنت مشروطه اعلام کرد و مقام "یاور" (بعداً "معاون") را تشکیل داده و یاور محمود شاغاسی را منحیث "یاور اول حضور" (بعداً "معان اول") منتخب کرده بدین سمت برای بار نخست تقرر داد.جمهوری دموکراتیک افغانستان.معاون رئیس‌جمهور، معاون شورا انقلاب بین آوریل ۱۹۷۸ و آوریل ۱۹۸۸ بود.جمهوری دموکراتیک افغانستان.معاونان ریاست جمهوری پس از قانون اساسی جدید منصوب و انتخابات صورت گرفت. چهار معاون ریاست جمهوری توسط رئیس جمهور انتخاب شدند و توسط مجلس ملی موافقت شد.دولت اسلامی افغانستان.در این دوره معاون ریاست جمهوری توسط رئیس جمهور منصوب می‌شد.دولت موقت افغانستان.در طول اداره دولت موقت و دولت انتقالی افغانستان و تا زمانی که لویه جرگه قانون اساسی جدید را تصویب نکرده بود بیش از دو معاون در دولت موقت وجود داشت.جمهوری اسلامی افغانستان.پس از سال ۲۰۰۴ معاونین رئیس جمهور به همراه رئیس جمهور از طریق انتخابات تعیین می‌شوند.
اوین روبار کیست؟ توضیح بده.
اوین روبار (به کردی: Evin Rubar)، یک مستندساز کرد اهل سوئد است. او به عنوان خبرنگار تلویزیونی هم فعالیت می‌کند.زندگی.اوین روبار در ۱۴ دسامبر ۱۹۷۵ در خانواده‌ای کرد به دنیا آمد. او به سبب فیل‌های مستندش که نگاهی انتقادی و فمینیستی به مسائل اجتماعی دارند شناخته شده‌است.
اقبال قزوینی کیست؟ توضیح بده.
اقبال قزوینی (به عربی: "إقبال القزوینی"، به انگلیسی: "Iqbal al-Qazwini") رمان‌نویس، مترجم و روزنامه‌نگار زن عرب اهل عراق است.زندگی.اقبال قزوینی نویسندهٔ عراقی نمایندهٔ اتحادیه زنان عراق در فدراسیون دموکراتیک بین‌المللی زنان بود. او در اوایل دههٔ سوم زندگی‌اش در نتیجهٔ به قدرت رسیدن صدام حسین در عراق عراق را ترک کرده و در سال ۱۹۷۸ به برلین شرقی در آلمان شرقی رفت و از آن زمان تاکنون در آلمان ساکن بوده‌است. او از سال ۱۹۹۳ عضو انجمن جهانی قلم بوده‌است.قزوینی بیش از هر چیز به خاطر رمان «ممرات السکون» شناخته شده‌است که در سال ۲۰۰۵ توسط انتشارات دار ازمنه در عمان منتشر شد. این رمان با عنوان «پنجرهٔ زبیده» توسط عزت الخولی و امیره نویره در سال ۲۰۰۸ به انگلیسی ترجمه شد. قزوینی به عنوان رونامه‌نگار در نشریات متفاوتی از جمله الشرق الاوسط و الریاض به زبان‌های آلمانی و عربی به فعالیت پرداخته‌است.
اتحادیه زنان عراق کیست؟ توضیح بده.
اتحادیه زنان عراق (به انگلیسی: Iraqi Women's League) یک سازمان زنان عراقی بود که در دههٔ ۱۹۵۰ تأسیس شد.به قدرت رسیدن صدام حسین در سال ۱۹۷۹ سبب سرکوب اعضای اتحادیه شد و قعالیت‌های آن به ناچار به صورت زیرزمینی دنبال شد. اقبال قزوینی نویسندهٔ عراقی به عنوان نمایندهٔ اتحادیه در فدراسیون دموکراتیک بین‌المللی زنان در سال ۱۹۷۸ در برلین شرقی در تبعید ماند.پس از سقوط صدام فعالیت‌های اتحادیه پیگیری شد و در اوت ۲۰۰۳ تعداد اعضای آن به پانصد زن رسید، اگرچه بسیاری از اعضای جوان‌تر تجربهٔ سازمانی نداشتند.
کاریس کیست؟ توضیح بده.
کاریس (زاده ۱۷ آوریل ۱۹۸۱) رپر فرانسوی است.او در فیلم اوردرایو بازی کرده است .
تابع ذاتی کیست؟ توضیح بده.
در مبحث نرم‌افزار در نظریه کامپایلر یک تابع ذاتی (انگلیسی:Intrinsic function) (یا تابع درونی) یک تابع (subroutine) است که در یک زبان برنامه‌نویسی برای استفاده در دسترس است در حالی که پیاده‌سازی آن به‌طور خاص توسط کامپایلر انجام گرفته‌است. معمولاً تابع ذاتی ممکن است جایگزین یک توالی دستورالعمل به صورت خودکار تولید شده باشد مانند توابع تک خط. بر خلاف یک تابع تک خط کامپایلر دانش جامعی دربارهٔ تابع ذاتی دارد و در نتیجه می‌تواند برای یک وضعیت داده شده آن را بهتر یکپارچه سازی و بهینه‌سازی کند.کامپایلرهایی که توابع ذاتی پیاده‌سازی می‌کنند به‌طور کلی تنها زمانی که یک برنامه درخواست بهینه‌سازی دارد آن‌ها را فعال می‌سازد در غیر این صورت به پیاده‌سازی پیش‌فرض آن که توسط زبان در زمان اجرا آماده می‌شود برمی گردد.توابع ذاتی اغلب برای پیاده‌سازی صریح برداری سازی و موازی سازی در زبان‌هایی است که این ساختارها را ندارند استفاده می‌شود. برخی از رابط‌های برنامه‌نویسی نرم‌افزار (API) برای مثال AltiVec و OpenMP از توابع ذاتی استفاده می‌کنند که عملیات vectorizable و multiprocessing-aware را در زمان کامپایل تعریف کنند. کامپایلر توابع ذاتی را پارس می‌کند و آن‌ها را به وکتور ریاضی یا multiprocessing کد شی مناسب برای پلت فرم هدف تبدیل می‌کند.C و ++C.کامپایلر برای C و ++C مایکروسافتاینتل و GNU Compiler Collection GCC توابع ذاتی را طوری پیاده‌سازی می‌کنند که در تناظر مستقیم با تک دستورالعمل x86 چند داده‌ای (MMX "Streaming SIMD Extensions" (SSE), SSE2 SSE3 SSSE3 SSE4) باشند. Microsoft Visual C++ کامپایلر ویژوال استودیو مایکروسافت از هیچ اسمبلر خطی برای x86-64 پشتیبانی نمی‌کند. برای جبران کمبود اسمبلی خطی توابع خطی جدیدی اضافه شده‌اند که به دستورالعمل‌های اسمبلی استاندارد متناظر می‌شوند که به‌طور معمول از طریق C/C++ در دسترس نیستند به عنوان مثال بیت اسکن.برخی از کامپایلرهای C و ++C توابع ذاتی غیرقابل حمل برای پلت فرم خاص ارائه می‌دهند. دیگر توابع ذاتی (مانند توابع درونی گنو) کمی بیشتر انتزاعی اند در مقایسه با توانایی‌های چندین سیستم عامل معاصر قابل حمل با پیاده‌سازی fall back بر روی سیستم عامل‌های بدون هیچ دستورالعمل مناسب. برای کتابخانه‌های ++C مانند "glm" یا کتابخانه‌های بردار ریاضی سونی معمول است که برای رسیدن به قابل حمل بودن از طریق کامپایل شرطی (بر اساس پرچم کامپایلر پلت فرم‌های خاص) که به‌طور کامل پریمیتیوهای سطح بالای قابل حمل را ارائه می‌دهد (به عنوان مثال یک نوع بردار ممیز شناور چهار عنصری) در تناظر با پیاده‌سازی‌های زبان برنامه‌نویسی سطح پایین مناسب در حالی که هنوز هم از نوع سیستم و درون خطی‌های ++C بهره می‌برد؛ از این رو استفاده لینک دادن بر دستی نوشتن فایل شی اسمبلی با استفاده از (application binary interface (ABI زبان C.جاوا.این کامپایلر در لحظهٔ ماشین مجازی کانونی جاوا نیز توابع ذاتی برای جاوا apiهای خاص دارد. توابع ذاتی کانونی جاوا apiهای استانداردی هستند که ممکن است به تعداد یکی یا بیشتر پیاده‌سازی بهینه برای برخی از سیستم عامل‌ها داشته باشد.
دیزی شاه کیست؟ توضیح بده.
دیزی شاه (زاده ۲۵ اوت ۱۹۸۴) بازیگر، مدل هندی است.از فیلم‌هایی که وی در آن نقش داشته‌است می‌توان به جی هو، داستان نفرت ۳، مسابقه ۳، خدا قسم اشاره کرد.