google/wiki40b huggingface dataset:
حمام خسروآقا

پیشینه

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

جمعیت

این روستا در دهستان کوه یخاب قرار داشته و بر اساس سرشماری سال ۱۳۸۵ جمعیت آن (۵خانوار) ۲۱نفر
بوده است.
پادشاهی مونته‌نگرو

تاریخچه

خبر تأسیس پادشاهی مونته‌نگرو در ۲۸ اوت ۱۹۱۰ میلادی توسط نیکولاس اول در ستینیه اعلام شد. نیکولاس اول که از ۱۸۶۰ میلادی به عنوان شاهزاده بر مونته‌نگرو حکومت می‌کرد ، اقدامات متعددی در این کشور انجام داده بود؛ برای مثال ، واحد پول جدیدی به نام پرپر مونته‌نگرو عرضه کرده بود و نظام حکومتی پادشاهی مشروطه را در کشورش مستقر نموده بود.
با شروع جنگ جهانی اول در اروپا ، مونته‌نگرو با صربستان و متفقین متحد شد؛ اگرچه متحمل خسارات زیادی شد. از ۱۵ ژانویه ۱۹۱۶ تا اکتبر ۱۹۱۸ میلادی ، مونته‌نگرو در اشغال اتریش-مجارستان بود. با پایان جنگ ، دو کشور مونته‌نگرو و صربستان به تاریخ ۲۸ نوامبر ۱۹۱۸ میلادی با هم متحد شدند اما اینک میان فرمانروای صربستان و شاه نیکولاس اول اختلاف بر سر این که چه کسی شاه سرزمین جدید باشد ، درگرفت و عاقبت به شکست نیکولاس و تبعید او انجامید.
شهرستان بکستر، آرکانزاس

خصوصیات

شهرستان بکستر ۱٬۵۲۰٫۳۳ کیلومترمربع مساحت دارد.
پاپر (کهگیلویه)

جمعیت

این روستا در دهستان دهدشت غربی قرار دارد و براساس سرشماری مرکز آمار ایران در سال ۱۳۸۵، جمعیت آن ۳۱ نفر (۵خانوار) بوده‌است.
محمود فهمی حجازی

زندگی

محمود فهمی حجازی در استان دقهلیه، منصوره در سال ۱۹۴۰ متولد شد، او در دانشکده هنر، دانشگاه قاهره در دوره ۵۴–۱۹۵۸ درس‌خواند و درحه عالی گرفت، سپس درجه ممتاز کارشناسی (بالاترین درجه خود را در کالج در آن زمان) را کسب نمود.
تیتان (بم)

جمعیت

این روستا در دهستان دهبکری قرار دارد و براساس سرشماری مرکز آمار ایران در سال ۱۳۸۵، جمعیت آن زیر سه خانوار بوده‌است.
ابلسباخ

خواهرخوانده

شهر یون‌اشتات خواهرخواندهٔ ابلسباخ هست.
ویترنی

خواهرخوانده

شهر Lotzwil خواهرخواندهٔ ویترنی هست.
نتکوه

جمعیت

این روستا در دهستان مشیز قرار دارد و براساس سرشماری مرکز آمار ایران در سال ۱۳۸۵، جمعیت آن زیر سه خانوار بوده‌است.
کدمسترز

حال

در سال ۲۰۱۰ یک شرکت هندی توانست ۵۰٪ سهام شرکت را به دست آورد. همان سال اقدام به انتشار رایگان بازی (Lord of Rings Online) کرد. در اواسط سال ۲۰۱۲ اعلام شد بازی‌های مسابقه‌ای شرکت تحت عنوان Codemasters Racing نام‌گذاری می‌شوند. با اعلام کد مسترز فرمول یک: ۲۰۱۲(F1 ۲۰۱۲) به عنوان نخستین سری بازی‌های مسابقه‌ای حرفه‌ای کد مسترز منتشر شده‌است اما تا قبل از آن کد مسترز بازی‌های مسابقه‌ای دیگری همچون F1 2009, F1 2010 و F1 2011 را منتشر کرده بود. در سال ۲۰۱۳ Reliance Entertainment سهام خود را از ۵۰٪ به ۶۰٪ تغییر داد تا بیشترین مقدار را داشته باشد.

مجموعه فرمول یک (F1)

فرمول یک(مجموعه بازی) از سری بازی‌های ساخته شده توسط کد مسترز است که برای اولین بار در سال ۲۰۰۹ منتشر شد و در سال ۲۰۱۲ به صورت حرفه‌ای پیگیری شد. در این سری بازی‌ها کد مسترز قصد دارد تا با ایجاد فضای مسابقات اتوموبیل رانی حرفه‌ای بازیکن را در فضای هیجان‌آور رقابت فرمول یک قرار دهد.
هارونی (ابرکوه)

جمعیت

این روستا در دهستان اسفندار قرار دارد و براساس سرشماری مرکز آمار ایران در سال ۱۳۸۵، جمعیت آن ۴۶۹ نفر (۱۲۹خانوار) بوده‌است.
انجمن گویندگان جوان

تاریخچه

این انجمن در ابتدا با نام «گلوری انترتینمنت» فعالیت خود را آغاز کرده ود (سال ۱۳۸۲) و پس از ثبت (سال ۱۳۸۴)، گستره فعالیت خود را افزایش داده و شبکه‌های مختلف صدا و سیما، موسسات ویدئو رسانه دارای مجوز از وزارت فرهنگ و ارشاد اسلامی، کارگردانان و تولیدکنندگان انیمیشن‌های ایرانی و خارجی، سازمان ملل متحد، رادیو جوان، رادیو صدای آشنا و … همکاری نموده و نیز موفق به دریافت لوح سپاس از شبکه ۵ سیما، شانزدهمین جشنواره رادیویی تلویزیونی مراکز استان‌ها و تقدیرنامه از سازمان ملل متحد (پروژه جهانی غذا) شده‌است.

دیگر فعالیت‌ها

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

جمعیت

این روستا در دهستان مرغا قرار دارد و براساس سرشماری مرکز آمار ایران در سال ۱۳۸۵، جمعیت آن ۲۳۱ نفر (۳۸خانوار) بوده‌است.
الکهارت

خصوصیات

الکهارت ۴٫۰ کیلومترمربع مساحت و ۱٬۳۷۱ نفر جمعیت دارد و ۱۱۷ متر بالاتر از سطح دریا واقع شده‌است.
گادسپید یو! بلک امپرور

تاریخچه

نام گروه – Godspeed You! Black Emperor – برگرفته از یک مستند تلویزیونی سیاه و سفید ژاپنی به کارگردانی میتسو یاناجی‌ماچی در سال ۱۹۷۶ هست.
این گروه در ۱۹۹۴ در مونترآل، کوبک توسط افریم منک (گیتار الکتریک)، مایک مویا (گیتار الکتریک)، مائورو پزنته (گیتار بیس) پایه‌گذاری شد.

کنسرت‌ها

پخش حلقه‌های فیلم روی پرده، بخش مهم اجرای این گروه است و افریم منک نیز توضیحاتی درباره‌ی تصاویر ِ در حال پخش در زمینه قرار می‌دهد.
این گروه قبل از اینکه ویدئوی اصلی خودشان منتشر شود، به حضار اجازه می‌دهند که از اجراهای زنده‌شان ویدئو ضبط کنند و آن را منتشر کنند.

استفاده از موسیقی در فیلم و تلویزیون

آهنگ «East Hastings» از آلبوم اول این گروه «F♯ A♯ ∞» در فیلم بریتانیایی «۲۸ روز بعد» به کارگردانی دنی بویل استفاده شد، هرچند که به شدت ویرایش شده بود. این اقدام برای گادسپید غیرعادی بود و به هرحال بعد از پی‌گیری‌هایی که انجام شد، آهنگ از سی‌دی موسیقی متن فیلم حذف شد.
در سال ۲۰۰۵ گروه اجازه داد که از آهنگ‌های «Yanqui U.X.O.» در یک فیلم مستند به نام «Bombhunters» استفاده شود. این درحالی بود که آن‌ها معمولاً اجازه‌ای برای به‌کار بردن آهنگ‌های‌شان در فیلم‌ها نمی‌دادند، اما با ماهیت اجتماعی این فیلم می‌توانستند هم‌تراز شوند.
بخشی از آهنگ «Providence» نیز در مجموعه‌ی درام ِ «Superstorm» که بی‌بی‌سی در آوریل ۲۰۰۷ پخش می‌کرد استفاده شد.
دروازه بالارو

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

خواهرخوانده

شهر Mittersill خواهرخواندهٔ تریچزیمو هست.
قارچ سمی (فیلم)

داستان فیلم

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

بازیگران اصلی

جمشید هاشم پور، میترا حجار، فرهاد قائمیان، انوشیروان ارجمند، رؤیا تیموریان، امیر جعفری، عبدالرضا زهره کرمانی و افسون فرهت و بازیگران میهمان: آتنه فقیه نصیری و حسن عباسی
بارتلمه د لاس کاساس

گذشته و ورود به دنیای جدید

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

تسخیر کوبا و تغییر ضمیر

در سال ۱۵۱۳ لاس کاساس به عنوان یک کشیش در تسخیر کوبا همراه دیگو ولاسکس د کوئیار و پانفیلو د نارواز شرکت کرد. او در کارزارهای بایامو و کاماگوی شرکت کرد و در قتل‌عام هوتوای حاضر بود.

واپسین سالها و مرگ

بارتلمه بعد از استعفا از کلیسای چیاپاس بقیه عمرش را نیز در کار با دادگاه‌های امپراتوری در رابطه با سرخ‌بوستان گذراند. در سال ۱۵۵۱او سلولی در نزدیکی سنت گرگوریو محل اقامت خودش و دوستش رودریگو د لادرادا اجاره کرد.
بارتلمه دلای کاساس در ۱۸ ژوئیه ۱۵۶۶ در مادرید بدرود حیات گفت.
وادی حلفا

خصوصیات

وادی حلفا ۱۵٬۷۲۵ نفر جمعیت دارد.
الانگاد

خصوصیات

الانگاد ۱۸٫۳۵ کیلومترمربع مساحت و ۳۱٬۸۷۰ نفر جمعیت دارد.
صخر حبش

درگذشت

صخر حبش در ۱ نوامبر ۲۰۰۹ در رام‌الله درگذشت و دفن شد.
در اکتبر ۲۰۱۳، محمود عباس، رئیس‌جمهور فلسطین، مدال ستاره قدس را به او اهدا کرد.
دره کلگه پراشکفت

جمعیت

این روستا در دهستان دشت روم قرار دارد و براساس سرشماری مرکز آمار ایران در سال ۱۳۸۵، جمعیت آن ۵۲ نفر (۱۴خانوار) بوده‌است.
انجمن صنعت ضبط استرالیا

انجمن صنعت ضبط استرالیا (به انگلیسی: Australian Recording Industry Association (به اختصار: ARIA)) یک گروه تجاری و نماینده صنعت ضبط موسیقی استرالیا است که در سال ۱۹۸۳ با شش سازمان اصلی به نام‌های EMI،Festival،CBS،RCA،WEA و Universal تأسیس شد. این انجمن جایگزین انجمن محصولات ضبط استرالیا شد که در سال ۱۹۵۶ تشکیل شده‌بود. این انجمن بر جمع‌آوری، مدیریت و توزیع حق امتیاز در استرالیا نظارت می‌کند.

جدول‌های انجمن صنعت ضبط استرالیا

جدول‌های انجمن صنعت ضبط استرالیا جدول اصلی فروش موسیقی استرالیاست که هر هفته توسط انجمن صنعت ضبط استرالیا منتشر می‌شود.جدول‌ها نشان‌دهندهٔ بیشترین مقدار فروش یک آلبوم یا تک‌آهنگ در آن مدت می‌باشند.همهٔ رتبه‌بندی‌ها در جدول‌ها بر اساس هر دو نوع فروش فیزیکی و دیجیتالی در استرالیا می‌باشند.
سایبان (لارستان)

جمعیت

این روستا در دهستان درزوسابیان قرار دارد و براساس سرشماری مرکز آمار ایران در سال ۱۳۸۵، جمعیت آن ۸۹ نفر (۲۶خانوار) بوده‌است.
الاحکام الدینیة فی تکفیر قزلباش

الاحکام الدینیة فی تکفیر قزلباش عنوان کتابی است از حسین عبدالله شروانی که در نقد صفویان و عقائد آنان نوشته شده‌است. این کتاب به چهار باب تقسیم‌بندی می‌گردد.
برآفتاب‌چنار

جمعیت

این روستا در دهستان رباط قرار دارد و بر اساس سرشماری مرکز آمار ایران در سال ۱۳۸۵، جمعیت آن زیر سه خانوار بوده‌است.
ارکیللا، شیلی

خصوصیات

ارکیللا ۴۹۹٫۷ کیلومترمربع مساحت و ۸٬۴۶۶ نفر جمعیت دارد و ۳۰۶ متر بالاتر از سطح دریا واقع شده‌است.
عبدالعزیز حسن جلوف

باشگاهی

از باشگاه‌هایی که در آن بازی کرده‌است می‌توان به القطر اشاره کرد.

تیم ملی

وی همچنین در تیم ملی فوتبال قطر بازی کرده‌است.
آندرزژ بیالینیکی-بیرولا

آندرزژ بیالینیکی-بیرولا (انگلیسی: Andrzej Białynicki-Birula) یک ریاضیدان لهستانی است که بیشتر به سبب اثرش دربارهٔ هندسه جبری مشهور است. او به عنوان یکی از پیشگامان دیفرانسیل جبری شناخته می‌شود. او همچنین یکی از اعضای آکادمی لهستانی علوم است.
او در نووگرودک، جمهوری لهستان، یا ناواهروداک، بلاروس غربی فعلی است. او دکتری خود را از دانشگاه کالیفرنیا، برکلی در ۱۹۶۰ دریافت کرده است. او رسالهٔ خود را تحت راهنمایی جرارد هوشچیلد به انجام رسانید. از ۱۹۷۰، او پروفسور ریاضیات دانشگاه ورشو است.
سنت فیلیپ، باربادوس

خصوصیات

سنت فیلیپ ۶۰ کیلومترمربع مساحت و ۳۰٬۶۶۲ نفر جمعیت دارد.
اتوماتای ترکیبی

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

مثال

مثالی ساده از اتوماتای ترکیبی، کنترل‌گری است که دمای یک نیروگاه هسته‌ای را کنترل می‌کند. این کنترل‌گر یک سری وضعیت مثل عادی، حاد، و غیرفعال دارد که در هر زمانی در یکی از این وضعیت‌ها قرار دارد. این سیستم یک دماسنج دارد که متناظر با یک متغیر پیوسته در اتوماتا است. با تغییر این متغیر ممکن است وضعیت سیستم تغییر کند.

ترکیب دو اتوماتا

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

کاربرد اتوماتای ترکیبی در سیستم‌های تصدیق

در چک کردن مدل که بخشی از سیستم‌های تصدیق است، هدف چک کردن این موضوع به صورت سیستماتیک است که با توجه به تعریف داده‌شده از مدل و ویژگی‌های آن، آیا این ویژگی‌ها در مورد مدل صادق هستند یا خیر. یک نمونه از چنین سیستمی توسط Clarke, Sifakis و Emerson ارائه شده‌است که با کمک گرفتن از اتوماتاهای ترکیبی این کار را انجام می‌دهند. دو نمونه از قابلیت‌هایی که اتوماتاهای ترکیبی از حیث تصدیق سیستم به ما می‌دهند به شرح زیر است:
۱- قابلیت رسیدن یا ضمانت: آیا سیستم می‌تواند به حالتی برسد که دارای ویژگی داده شده باشد؟
۲- قابلیت امنیت: آیا سیستم می‌تواند برای همیشه در حالتی که دارای ویژگی است بماند؟

اتوماتای مستطیلی

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

جمعیت

این روستا در دهستان دربقاضی قرار دارد و براساس سرشماری مرکز آمار ایران در سال ۱۳۸۵، جمعیت آن زیر سه خانوار بوده‌است.
جرج میلر

جرج میلر (به انگلیسی: George Miller) نمایندهٔ حوزه انتخابیه یازدهم کالیفرنیا از حزب دموکرات ایالات متحده آمریکا در مجلس نمایندگان ایالات متحده آمریکا است که برای نخستین‌بار در ۳ ژانویه ۱۹۷۵ میلادی به‌عضویت این مجلس درآمد.
کنوورث

کنورث در ایران

واردات کنورث به ایران انگشت شمار بوده و تعدادی از این کامیون توسط شرکت ملی حفاری به کار گرفته شده‌است و یک عدد کنورث W900 نسل اول به صورت تک کابین (Day Cab) در یکی از استان‌های شمال کشور و یک عدد کنورث T800 دو کابین (Sleeper Cab) در یکی از جزایر منطقه آزاد گزارش شده‌است.
سختی راکول

سختی راکول (به انگلیسی: Rockwell Hardness) یکی از معیارهای سختی است که بر اساس مقاومت مواد در برابر فرورونده با اعمال بار بزرگتر در مقایسه با بار اولیه سختی آنها را تعیین می‌کند. معیارهای مختلفی برای این سختی وجود دارد که هرکدام توسط یک حرف انگلیسی نشان داده می‌شود. این روش سختی‌سنجی توسط استنلی راکول در ۱۹۱۹ ابداع شد.
شند (سبزوار)

جمعیت

این روستا در دهستان خواشد قرار داشته و بر اساس سرشماری سال ۱۳۸۵ جمعیت آن ۶۷ نفر (۲۱ خانوار)
بوده است.
سرتلان

جمعیت

این روستا در دهستان گرمسار قرار دارد و براساس سرشماری مرکز آمار ایران در سال ۱۳۸۵، جمعیت آن ۱۸ نفر (۵خانوار) بوده‌است.
جهیزیه

در ایران

جهاز یا جهیزیه در ایران معمولاً شامل سرویس کامل اثاثیه مورد نیاز برای یک زندگی دو یا سه نفره است. رسم تهیه جهاز قدمت بسیار زیاد دارد.

در اسلام

فاطمه، همسر علی بن ابیطالب با خود جهیزیه به خانه همسرش برد.
ناهید احمدی فرید

زندگی‌نامه

ناهید احمدی فرید زاده ۱۳۶۳ از هرات است. وی تحصیلات متوسطه خود را در لیسه/دبیرستان مهجوبه هروی هرات به اتمام رسانید. در سال ۱۳۸۶ از دانشکده حقوق دانشگاه هرات فارغ التحصیل و سند ماستری/فوق لیسانس خود را در سال ۱۳۸۹ در بخش روابط بین‌الملل از دانشگاه جورج واشینگتن در آمریکا کسب کرد.
بست نار

جمعیت

این روستا در دهستان کوهک قرار دارد و براساس سرشماری مرکز آمار ایران در سال ۱۳۸۵، جمعیت آن زیر سه خانوار بوده‌است.
پرچم گابن

نمادشناسی

در این پرچم رنگ سبز نماد جنگل‌ها و منابع طبیعی کشور، رنگ زرد نماد خط استوا (که از میان گابن می‌گذرد) و همچنین نشانگر خورشید و رنگ آبی نماد دریاست.
نمره‌نه

جمعیت

این روستا در دهستان حومه‌شرقی قرار دارد و براساس سرشماری مرکز آمار ایران در سال ۱۳۸۵، جمعیت آن ۱۳۶ نفر (۳۰خانوار) بوده‌است.
معماری زمینه‌گرا

زمینه‌گرایی

زمینه(context) در لغت به معنای مجموعه شرایط یا واقعیت‌های است که یک سوژه(سایت مورد نظر) را در بر می‌گیرد و همچنین به معنای شرایطی که چیزی در آن اتفاق می‌افتد و به شما کمک می‌کند تا آن را درک کنید. مراد از زمینه همان متن بستر و محیطی است که معماری در آن شکل می‌گیرد و هم محتوا و شکل  را در بر می‌گیرد. هر پدیده در محیط پیرامون خود تأثیر می‌گذارد و از آن تأثیر می‌گیرد و در تعامل با یکدیگر هستند. به‌طور کلی زمینه‌گرایی سازگاری با زمینه‌های  کالبدی تاریخی و اجتماعی فرهنگی است.

زمینه‌گرایی در معماری

معماری زمینه‌گرا به ضرورت توجه به محیط پیرامون اثر معماری تأکید دارد و بر این باور است که توازن میان معماری و محیط می‌تواند هم برای خود اثر و هم برای زمینه عاملی مؤثر و تقویت‌کننده باشد. زمینه‌گرایی الگویی است برای خلق محیط مطلوب‌تر لذا شناخت و آگاهی بیشتر و درکی عمیق‌تر نسبت به زمینه و محیط برای معماران و طراحان امری ضروری و اجتناب ناپذیر است. معماری زمینه‌گرا تلاشی است برای نشان دادن توان محیط مطلوب بصری در مقیاسی کلان‌تر از معماری پیام معماری زمینه‌گرا ضرورت توجه به محیط کالبدی پیرامون اثر معماری است.

مقیاس زمینه‌گرایی

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

زمینه‌گرایی کالبدی

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

زمینه‌گرایی تاریخی

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

زمینه‌گرایی اقلیمی

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

موقعیت جغرافیایی

موقعیت جغرافیایی شهرها و مناطق اطراف به شرح زیر است:
مینی‌ژوپ

مینی‌ژوپ (به فرانسوی: minijupe) (که معمولاً با نام دامن کوتاه شناخته می‌شود)، نوعی دامن کوتاه است که تا بالای زانو را می‌پوشانَد.

محبوبیت مینی‌ژوپ‌ها از نمایش لباسی در دههٔ ۱۹۶۰ در لندن سرچشمه می‌گیرد. قبل از آن، از این لباس فقط در میدان‌های ورزشی برای خانم‌ها استفاده می‌شد.
رویداد اجتماعی عمله و مینی‌ژوب که در تابستان سال ۱۳۴۶ خورشیدی و اندکی پس از مُد شدن دامن‌های مینی‌ژوپ در میان بانوان و دوشیزگان ایرانی در چهارراه سید علی اتفاق افتاد و مشهور بود که در این واقعه یک عمله یا کارگر بنّای روستایی با مشاهدهٔ زنی مینی‌ژوپ‌پوش عنان اختیار از کف داده و دیوانه‌وار به قصد تعرض یا تجاوز بدین زن حمله‌ور شده‌است.

منع پوشیدن مینی‌ژوپ

بر اساس مصوبهٔ پارلمان اوگاندا در دسامبر ۲۰۱۳، پوشیدن دامن کوتاه در اماکن عمومی ممنوع اعلام شد.
ولیلا دو ابرو

خصوصیات

ولیلا دو ابرو ۵۹ کیلومترمربع مساحت و ۲۶۱ نفر جمعیت دارد و ۱۵۲ متر بالاتر از سطح دریا واقع شده‌است.
طنز در اشعار حافظ

یکی از برجسته‌ترین ویژگیهای شعر حافظ لحن طنزآمیز کلام وی است. حافظ در سراسر دیوان خود بدون هیچ استثنایی رفتار مذهبی ریاکاران عصر را با طنز به چالش می‌کشد. در تمامی دیوان حافظ حتی یک مورد بیان طنزآمیز نمی‌توان یافت که در ساختار معنایی آن برخی از عناصر مذهب وجود نداشته باشد.

رابطه با سیاست مذهبی

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

تجاوز به حریم تابوهای مذهبی

حافظ برخی از تابوهای جامعه زمان خود از قبیل «صومعه»، «خانقاه»، «محتسب» و «شحنه» که وابسته به مذهب یا وابسته به حکومت بودند را هدف گرفته است.
حافظ به رمضان و روزه به طنز نگریسته است همچنانکه به دیگر آداب مقدس نیز با همین دیدگاه نگریسته است.

طنز توأم با مرثیه

میان طنز با خنده ملازمه ای نیست. گاه یک طنز می‌تواند شخصی را بگریاند.

سلاح طنز و اهداف مصلحانه حافظ

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