title: تجزیه‌کننده کاهشی بازگشتی

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


title: تجزیه‌کننده کاهشی بازگشتی

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


title: تجزیه‌کننده کاهشی بازگشتی

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


title: تجزیه‌کننده کاهشی بازگشتی

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


title: تجزیه‌کننده کاهشی بازگشتی

text: N() { مثال ساده روبرو که گرامر ساده‌ای از عبارت‌های ریاضی با پرانتز کامل، را نشان می‌دهد. در ادامه طبق تجزیه‌کننده کاهشی بازگشتی به زبان جاوا پیاده‌سازی شده‌است.  ::=  |  ::= "+" | "-" | "*" | "/" در تکه کد زیر، تابع ParseError جهت نمایش خطاهای نحوی در رشته ورودی کاربر تعریف شده‌است.  private static class ParseError extends Exception { تکه کد زیر برای این پیاده‌سازی شده که کاراکتر بعدی در ورودی را بخواند و اگر از جمله عملیات‌های مجاز بود، آن را برگرداند در غیر این صورت خطا دهد. static char getOperator() throws ParseError { کد زیر برای خواندن یک عبارت ریاضی از یک خط ورودی و برگرداندن مقدار نهایی آن است. در صورت که ورودی دارای خطای نحوی باشد، خطا برمی‌گرداند.


title: تجزیه‌کننده کاهشی بازگشتی

text: این تابع تا زمانی اجرا می‌شود که به یک عدد نهایی منجر شود. سپس به صورت بازگشتی به توابع فراخوانی کننده‌اش، نتیجه نهایی هر عبارت در هر مرحله را برمی‌گرداند private static double expressionValue() throws ParseError { گرامر محاسبه‌گر روبرو نیز توسط تجزیه‌کننده کاهشی بازگشتی به زبان پایتون که در ادامه آمده، حل شده‌است. exp ::= term | exp + term | exp - term term ::= factor | factor * term | factor / term factor ::= number | ( exp ) پیاده‌سازی در پایتون: class Calculator():


title: تجزیه‌کننده کاهشی بازگشتی

text: if __name__ == '__main__':


title: کد ریسه‌ای

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


title: کد ریسه‌ای

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


title: کد ریسه‌ای

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


title: کد ریسه‌ای

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


title: کد ریسه‌ای

text: در این بخش عملکرد کد ریسه‌ای را به صورت کلی و به همراه مثال توضیح می‌دهیم. فرض کنید کدی داریم که شامل سه دستورالعمل ماشین مجازی B ،A و C باشد. می‌توانیم برای اجرای این سه دستورالعمل، توابع سطح ماشینی به نام‌های Br ،Ar و Cr را تعریف کنیم و با استفاده از آنها کد مقابل را تولید کنیم. call Ar call Br call Cr حال با حذف تابع call کد را بازنویسی می‌کنیم. Ar Br Cr کد جدید در واقع دنباله‌ای از آدرس‌های کدی می‌باشد که دستورالعمل‌های ماشین را نشان می‌دهند. در نتیجه برای اجرای این تکه کد، نمی‌توانیم به ابتدای آن پرش کنیم. همچنین باید با استفاده از اشاره‌گری در یک ثبات، جدا از ثبات‌های PC و RA، به دستورالعمل فعلی اشاره کنیم. برای این منظور از ثبات اشاره‌گر دستورالعمل (IP) استفاده می‌کنیم. فرض می‌کنیم که IP به کلمه‌ای از دنباله‌ی کدها که دقیقاً بعد از کلمه دستورالعمل فعلی قرار دارد اشاره می‌کند. حال کافی است تا تنها کلمه را بارگیری کرده و با افزایش مقدار آن به اندازه یک کلمه، به رویه‌ای که بدان اشاره می‌کند پرش کنیم. کد مقابل نحوه این عملیات را در زبان اسمبلی MIPS نشان می‌دهد. lw $2,0($4) #get next instruction, $4=inst.ptr. addu $4,$4,4 #advance instruction pointer j $2 #execute next instruction به متد بالا NEXT نیز گفته می‌شود. این روش اولین بار در مقاله‌ای توسط بل ارائه شد.


title: کد ریسه‌ای

text: در اینجا به تبیین برخی از مدل‌های کد ریسه‌ای می‌پردازیم.


title: کد ریسه‌ای

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


title: کد ریسه‌ای

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


title: کد ریسه‌ای

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


title: کد ریسه‌ای

text: در این مدل لیستی از نمایه‌های ۸ یا ۱۲ بیتی به جدولی از اشاره‌گرها استفاده می‌شود. این روش معمولاً فشرده شده می‌باشد و حجم کد تولیدی آن چیزی حدود ۵۰ تا ۷۵ درصد کد تولید شده توسط مدل‌های دیگر می‌باشد.


title: کد ریسه‌ای

text: به صورت معمول در یک ماشین مجازی ریسه‌ای چهار ثبات وجود دارند که عبارتند از:


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

text: اتوماتای سنگ‌ریزه (به انگلیسی: pebble automaton)، یک درخت را به عنوان ورودی می‌گیرد و روی گره‌های درخت از طریق یال‌ها حرکت می‌کند. به علاوه، این اتوماتا یک مجموعه‌ی متناهی با اندازه‌ی ثابت از «سنگ‌ریزه‌ها» دارد که از 1 تا k شماره‌گذاری شده‌اند و می‌تواند آن‌ها را روی گره‌های درخت بگذارد. در یک گام اتوماتا می‌تواند روی گره فعلی بماند، به گره پدر برود، به گره فرزند چپ یا راست برود. همین‌طور می‌تواند سنگ‌ریزه‌ی iم را بردارد، یا سنگ‌ریزه‌ی i-1م را رو گره فعلی قرار دهد. این که در هر گام اتوماتا چه تصمیمی می‌گیرد، بستگی به حالت فعلی اتوماتا، مجموعه‌ی سنگ‌ریزه‌هایی که روی گره فعلی قرار دارد، برچسب گره فعلی، و نوع گره فعلی (ریشه، فرزند چپ یا راست، برگ یا گره داخلی) دارد.


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

text: مجموعه‌ی {TYPE = {r, 0, 1} × {l, i، انواع ممکن برای یک گره را دربردارد. در این‌جا r برای ریشه، 0 فرزند برای فرزند چپ، 1 برای فرزند راست، l برای برگ، و i برای گره درونی در نظر گرفته شده است. مجموعه‌ی {MOVES = {ε, ←, →, ↑, lift, drop، انواع حرکت‌های ممکن را برای اتوماتا دربرمی‌گیرد. در این‌جا ↑ برای رفتن به گره پدر، ← برای رفتن به فرزند چپ، → برای رفتن به فرزند راست، drop برای گذاشتن سنگ‌ریزه، و lift برای برداشتن سنگ‌ریزه در نظر گرفته شده است. همین‌طور مجموعه‌ی توانی یک مجموعه مانند S را با (P(S نشان می‌دهیم.


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

text: یک اتوماتای سنگ‌ریزه که k سنگ‌ریزه دارد، یک چندتاییِ (A = (Σ,Q, I, F, δ است، که Q مجموعه‌ای متناهی از حالت‌هاست، I ⊆ Q مجموعه‌ی حالات اولیه، F ⊆ Q مجموعه‌ی حالات پایانی، و δ رابطه‌ی گذر (به انگلیسی: transition relation) است.


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

text: (δ ⊆ (Q × TYPES × {1, . . . , k + 1} × P({1, · · · , k}) × Σ) × (Q × MOVES


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

text: چندتاییِ q, β, i, S, σ, q′,m) ∈ δ) بیان می‌کند که اگر A در حالت q باشد، سنگ‌ریزه‌های i تا k در درخت باشند، مجموعه‌ی S سنگ‌ریزه‌های گره فعلی را دربرداشته باشد، گره از نوع β باشد و برچسب σ داشته باشد، آن‌گاه A به حالت ′q می‌رود و باتوجه به m حرکت می‌کند.


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

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


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

text: یک اتوماتای سنگ‌ریزه است، اگر δ یک (به انگلیسی: partial function) از Q × types × {1, · · · , k + 1} × P({1, · · · , k}) × Σ به Q × moves باشد.


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

text: مجموعه‌ی زبان‌های تشخیص‌پذیر توسط اتوماتای سنگ‌ریزه‌ی قطعیِ قوی با n سنگ‌ریزه با sDPA نشان داده می‌شود. همین طور مجموعه‌ی زبان‌های تشخیص‌پذیر توسط اتوماتای (به انگلیسی: tree walking automaton) با TWA و مجموعه‌ی زبان‌های تشخیص‌پذیر توسط اتوماتای (به انگلیسی: bottom-up tree automaton) با REG نشان داده می‌شود.اگر formula_9، مجموعه‌ی ویژگی‌های قابل توصیف درخت در (به انگلیسی: transitive closure first-order logic) باشد، و formula_10همان مجموعه در باشد، ثابت می‌شود که formula_11، و در واقع formula_12. یعنی مجموعه‌ی زبان‌های تشخیص‌پذیر توسط اتوماتای سنگ‌ریزه با مجموعه‌ی زبانهای قابل‌توصیف در برابر است.


title: اتوماتون بوچی

text: اتوماتون بوچی (زبان انگلیسی: Büchi automaton) را می‌توان به عنوان اتوماتونی در نظر گرفت که می‌توانند رشته‌های نامتناهی الفبا را بپذیرد. این اتوماتون اولین بار توسط ژولیوس ریچارد بوچی () منطق‌دان سوئیسی در سال ۱۹۶۲ معرفی شد. اگر ω را به عنوان مجموعه اعداد طبیعی و Σ رابه عنوان الفبا در نظر بگیریم یک کلمه نامتناهی (یا یک ω-کلمه) را می‌توان به عنوان یک تابع از ω به Σ در نظر گرفت به این ترتیب مجموعه تمام کلمه‌های نامتناهی را باformula_1 نشان می‌دهیم.


title: اتوماتون بوچی

text: یک اتوماتون بوچی قطعی ۵ تایی formula_2 است که در ان:


title: اتوماتون بوچی

text: فرض کنید formula_2 یک اتوماتون بوچی متناهی باشد در این صورت یک تعمیم طبیعی از مفهوم اجرا (نسبت به اتوماتون قطعی متناهی) می‌تواند مطرح شود که به این صورت است که یک اجرا روی یک کلمه نامتناهی formula_7 را به صورت دنبالهٔ formula_8 تعریف می‌کنیم که از s شروع می‌کنیم و با formula_9 به formula_10 و سپس با formula_11 به formula_12 و… می‌رویم. به عنوان مثال در این اتوماتون:


title: اتوماتون بوچی

text: اگر formula_13 در اینصورت formula_14 یه اجرای A است.


title: اتوماتون بوچی

text: در این صورت می‌گوییم ماشین A رشته σ را قبول می‌کند اگر اجرایی وجود داشته باشد که در ان حداقل یکی از حالات قبول را به تعداد نامتناهی دیده باشیم.


title: اتوماتون بوچی

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


title: اتوماتون بوچی

text: مجموعه تمام ω-کلمه‌های را که یک بوچی اتوماتون قبول می‌کند زبان ان بوچی اتوماتون می‌گویند. حالا یک زبان formula_15 را بوچی تشخیص پذیر می‌گوییم اگر بوچی اتوماتون M ای پیدا شود که formula_16 . یک زبان بوچی تشخیص پذیر است اگر و فقط اگر یک زبان امگا‌ی منظم باشد. مثلاً formula_17 .


title: اتوماتون بوچی

text: فرض کنید A,B دو بوچی اتوماتون باشند و C یک اتوماتون متناهی باشد در این داریم:از بوچی اتوماتون معمولاً در وارسی مدل به عنوان یه نسخه نظریه ماشینی از یک فرمول در منطق موقت خطی استفاده می‌شود. Computer and System Sciences 8 (1974) No. 2, 117–141.


title: فیلم در ۱۹۹۱

text: این نوشتار به بررسی رویدادها و اتفاقات مهم سینما در سال ۱۹۹۱ می‌پردازد.


title: فیلم در ۱۹۹۱

text: ده فیلم پرفروش سال ۱۹۹۱:شصت و چهارمین دوره جوایز اسکار  چهل و نهمین مراسم گلدن گلوب


title: فیلم در ۱۹۹۱

text: نخل طلا (جشنواره فیلم کن):


title: فیلم در ۱۹۹۱

text: شیر طلایی (جشنواره فیلم ونیز):


title: فیلم در ۱۹۹۱

text: جشنواره بین‌المللی فیلم برلین (جشنواره فیلم برلین):


title: فیلم در ۱۹۹۱

text: ایالات متحده unless stated


title: فیلم در ۱۹۹۱

text: A


title: فیلم در ۱۹۹۱

text: B


title: فیلم در ۱۹۹۱

text: C


title: فیلم در ۱۹۹۱

text: D


title: فیلم در ۱۹۹۱

text: E


title: فیلم در ۱۹۹۱

text: F


title: فیلم در ۱۹۹۱

text: G


title: فیلم در ۱۹۹۱

text: H


title: فیلم در ۱۹۹۱

text: I


title: فیلم در ۱۹۹۱

text: J


title: فیلم در ۱۹۹۱

text: K


title: فیلم در ۱۹۹۱

text: L


title: فیلم در ۱۹۹۱

text: M


title: فیلم در ۱۹۹۱

text: N


title: فیلم در ۱۹۹۱

text: O


title: فیلم در ۱۹۹۱

text: P-Q


title: فیلم در ۱۹۹۱

text: R


title: فیلم در ۱۹۹۱

text: S


title: فیلم در ۱۹۹۱

text: T


title: فیلم در ۱۹۹۱

text: U-V


title: فیلم در ۱۹۹۱

text: W


title: فیلم در ۱۹۹۱

text: Y


title: تحلیل مستعار

text: تحلیل مستعار مجموعه‌ای از روش‌هایی است که تعیین می‌کند که آیا دو اشاره گر به شیء یکسانی در حافظه اشاره می‌کنند یا نه. الگوریتم‌های مختلفی برای تحلیل مستعار و راه‌های زیادی برای دسته‌بندی آن‌ها وجود دارد که عبارت است از: الگوریتم غیرحساس به جریان، الگوریتم حساس به متن و الگوریتم غیر حساس به متن، الگوریتم حساس به میدان و الگوریتم غیر حساس به میدان، مبتنی بر متحدسازی و مبتنی بر زیرمجموعه و غیره. در صورتی که دو اشاره‌گر به یک مکان اشاره کنند به آن‌ها مستعار می‌گویند. در نتیجه هر دو متغیری که می‌توانند مقادیرشان را از دو مقدار رسمی مجزا بگیرند نیز مستعار خواهند بود. در ابتدا تحلیل‌گرهای مستعار به یک جستار با کلماتی مثل: must, may و no جواب می‌دادند که نشان می‌داد که دو اشاره‌گر همیشه به یک شیء یکسان اشاره می‌کنند یا نه. وجود متغیرهای مستعار عملیات بهینه‌سازی را سخت‌تر می‌کنند زیرا نمی‌توانیم تشخیص دهیم که این کدام متغیر تغییر کرده‌است.


title: تحلیل مستعار

text: کلاس تحلیل مستعار یک رابط(interface) تعریف می‌کند که پیاده‌سازی های مختلفی از تحلیل مستعار باید آن را پشتیبانی کنند. این کلاس دو enum مهم به نام‌های AliasResult و ModRefResult دارد که به ترتیب نتیجهٔ یک جستار مستعار یا یک جستار mod/ref را نشان می‌دهند. رابط AliasAnalysis اطلاعات حافظه را به روش‌های مختلف نمایش می‌دهد. به خصوص شی‌های حافظه به عنوان آدرس شروع و اندازه، و فراخوانی توابع به صورت دستور یک فراخوانی واقعی که فراخوانی را انجام می‌دهند نشان داده می‌شوند. علاوه بر این رابط AliasAnalysis چند روش کمک‌کننده که به شما امکان گرفتن اطلاعات mod/ref را برای دستور دلخواه را می‌دهد. در در همهٔ رابط‌های AliasAnalysis باید در جستارهای شامل مقدارهای چندگانه، مقدارهایی که ثابت نیستند باید در همان تابع تعریف شوند. به‌طور کلی تحلیل مستعار تعیین می‌کند که آیا ارجاع به حافظه به قسمت یکسانی اشاره می‌کند یا نه. در نتیجه این اجازه به کامپایلر داده می‌شود که مشخص کند که متغیرهای برنامه توسط یک بخش از برنامه عوض می‌شوند یا خیر. برای مثال قطعه کد زیر را در نطر بگیرید:


title: تحلیل مستعار

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


title: تحلیل مستعار

text: در صورتی که مستعار نباشند آنگاه i برابر ۴ خواهد شد. اگر حالت دوم پیش بیاید i برابر ۵ می‌شود، چون p.foo + 3 = q.foo + 3. در هر دو حالت می‌توانیم بهینه‌سازی را روی آن‌ها اجرا کنیم. از طرفی، اگر نمی‌دانیم که این دو متغیر مستعار هستند یا نه نمی‌توان بهینه‌سازی را انجام داد و کل برنامه باید اجرا شود تا نتیجه به دست آید. در صورتی که وضعیت مستعار بودن دو ارجاع به حافظه نامشخص باشد می‌گوییم رابطهٔ may_alias دارند.


title: تحلیل مستعار

text: نوشتن یک تحلیل مستعار برای LLVM کار نسبتاً ساده‌ای است. پیاده‌سازی‌های مختلفی وجو دارد که می‌توان از آن‌ها استفاده کرد. در اولین مرحله باید مشخص کنیم چه نوع LLVM pass ای برای استفاده در تحلیل مستعار نیاز داریم. همانند سایر تحلیل‌ها و تبدیل ها، پاسخ باید از نوع مسئله‌ای که می‌خواهیم حل کنیم واضح باشد:


title: تحلیل مستعار

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


title: تحلیل مستعار

text: اگر زبانی که کامپایل می‌شود از نظر نوع امن باشد، بررسی‌کننده نوع(type checker) درست کار می‌کند و برنامه قادر به ایجاد اشاره گرهای اشاره‌کننده به متغیرهای محلی نیست. حال بهینه‌سازی‌های مفیدی می‌توان انجام داد. حالت‌های مختلفی وجود دارد که می‌دانیم دو محل از حافظه باید در کلاس‌های مستعار مختلفی باشند: وقتی تحلیل مستعار برای برنامه اجرا می‌شود هر عمل بارگذاری و ذخیره در حافظه باید با کلاسش برچسب‌گذاری شود. آنگاه اگر محل‌های formula_1 و formula_2 از حافظه را با کلاس‌های formula_3 و formula_4 در نظر بگیریم اگر formula_5 آنگاه formula_1 و formula_2 با هم may-alias خواهند بود و اگر formula_8 مستعار یکدیگر نخواهند بود.


title: تحلیل مستعار

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


title: منطق موقت خطی

text: منطق زمانی خطی (Linear temporal logic) در منطق، منطق زمانی خطی یا منطق زمانی خطی (در انگلیسی linear temporal logic or linear-time temporal logic(یک منطق زمانی موجهاتی است با توجیهاتی به زمان.


title: منطق موقت خطی

text: در منطق زمانی خطی یک مسئله می‌تواند بررسی فرموله کردن آینده یک مسیر می‌باشد مثلاً این که یک شرط در نهایت درست خواهد شد یا …


title: منطق موقت خطی

text: منطق زمانی خطی خود یک قسمتی از منطق پیچیده‌تر CTL* می‌باشد که اجازه شاخه شاخه شدن حالات زمان و سنجه‌ها را می‌دهد. همچنین منطق زمانی خطی را منطق زمانی گزاره ای (به انگلیسی propositional temporal logic , PTL) نیز می‌نامند.


title: منطق موقت خطی

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


title: منطق موقت خطی

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


title: منطق موقت خطی

text: یک مدل منطق زمانی خطی یک دنباله نامتناهی از حالاتی است که هر نقطه در هر لحظه از زمان دارای پیآمد (successor) خاصی است.


title: منطق موقت خطی

text: منطق زمانی خطی ابتدا برای صحت یابی رسمی برنامه‌های کامپیوتری در سال ۱۹۷۷ توسط امیرپنئولی در مقاله ای به نام "منطق زمانی برنامه‌ها (به انگلیسی: The Temporal Logic Of Programs) پیشنهاد شد. او در خلاصه این مقاله می‌نویسد:یک روش جامع و یکپارچه برای تصدیق (verification) پیشنهاد شده که برای برنامه‌های موازی و پی درپی قابل پیاده‌سازی است. روش اصلی اثبات پیشنهادی، استدلال زمانی است با این پیش فرض که اتفاقات دارای وابستگی زمانی می‌باشند.دو سیستم رسمی (formal systems) برای برآورده کردن اصول مورد نیاز استدلال زمانی معرفی شده‌است.یکی از فرم‌ها، فرمالیسم روش اثبات متناوب (method of intermittent assertions) است و دیگری انطباق با سیستم محکم (adaptation of the tense logic system K) که کاملاً برای استدلال در مورد رویدادهای همزمان مناسب است.


title: منطق موقت خطی

text: منطق زمانی زمانی یک دسته متناهی از متغیرهای گزاره (propositional variables)، عملگرهای منطقی ¬ و ∨، و در کنار ارتباط دهندگان معمول، فرمول‌های زمانی می‌توانند با عملگرهای زمانی تولید شوند.


title: منطق موقت خطی

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


title: منطق موقت خطی

text: یک فرمول منطق زمانی p تصدیق پذیر است اگر که یک دنباله از حالات S باشد به صورتی "S,0" |= "p. این زمانی درست خواهد بود که نفی آن غیرقابل تصدیق باشد. یک فرمول منطق گزاره ای زمانی یک فرمول زمانی هست اگر همه اتم‌های آن متغیرهای گزاره ای باشند. (یک فرمول زمانی گزاره ای در نتیجه شامل مقدار سنج‌ها و مسندهای مرکب نخواهد بود)"


title: منطق موقت خطی

text: اگر w = a,a,a... را یک ω-کلمه در نظر بگیریم. w(i) = a. w =... , a,a


title: منطق موقت خطی

text: به صورت رسمی، رابطه تصدیق پذیری |= بین یک کلمه و یک فرمول منطق زمانی زمانی به صورت زیر تعریف می‌شود:


title: منطق موقت خطی

text: w |= p اگر p ∈ w(0)


title: منطق موقت خطی

text: w |= ¬ψ اگر w |= ψ


title: منطق موقت خطی

text: w |= φ ∨ ψ اگر w |= φ یا w |= ψ


title: منطق موقت خطی

text: w |= X ψ اگر w |= ψ (در زمان گام بعدی ψ باید صحیح باشد)


title: منطق موقت خطی

text: w |= φ U ψ اگر وجود داشته باشد i ≥ ۰ به صورتی که w |= ψ، برای همه 0k و φ |= "w" (φ باید صحیح بماند تا زمانی که ψ صحیح بشود)


title: مرگ‌ها در ۲۰۱۸

text: ۱۷


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

text: یک گرامر ماتریسی (انگلیسی:Matrix grammar), یک گرامر منظم است که در آن به جای قانون‌های تکی، قانون‌ها در دنباله‌های متناهی باهم گروه شده‌اند. یک قانون نمی‌تواند به صورت مجزا اعمال شود، بلکه هر قانون به صورت دنباله‌ای از قانون‌ها اعمال می‌شود. به عنوان مثال برای اعمال یک قانون چندین بار باید بازنویسی انجام شود، به این صورت که ابتدا قانون اول انجام می‌شود سپس قانون دوم و به همین ترتیب تا آخرین قانون پیش می‌رود. این دنباله از قانون‌ها در یک ماتریس نمایش داده می‌شود.


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

text: گرامر ماتریسی گسترشی از گرامر بدون محتوا است.


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

text: یک گرامر ماتریسی یک پنج‌تایی مرتب به صورت زیر است:


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

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


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

text: فرض کنید formula_7 مجموعه زبان‌هایی باشد که با گرامر ماتریسی تولید می‌شود و formula_8 مجموعه زبان‌هایی باشد که با گرامر ماتریسی بدون formula_9 تولید می‌شود.


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

text: خصیصه های زیر وجود دارد:


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

text: گرامر formula_15 را در نظر بگیرید که در آن M مجموعه ماتریس‌های زیر است: [S → XY], [X → aXb, Y → cY], [X → ab, Y → c]


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

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


گرامر ماتریسی


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

text: این مثال از اقتباس شده است.


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

text: دوتا مسئله در زمینه این‌گونه گرامرها همچنان به صورت حل‌نشده باقی مانده است.


title: تجزیه‌کننده ال‌آر استاندارد

text: در علوم کامپیوتر یک تجزیه‌کننده استاندارد LR یا تجزیه‌کننده (۱)LR، یک تجزیه‌کننده (LR(k به ازای k=۱، یعنی با یک پایانه پیشرو است. ویژگی خاص این تجزیه‌کننده این است که هر گرامر (LR(k با k>1 را می‌توان به گرامر (۱)LR تبدیل کرد. این تجزیه‌کننده می‌تواند تمام زبان‌های مستقل از متن قطعی را مدیریت کنند. در گذشته، تجزیه‌کننده (LR(k به دلیل نیاز به حافظهٔ زیاد و وجود جایگزین‌هایی با قدرت کمتر مانند تجزیه‌کننده LALR و (۱)LL، کمتر مورد استفاده قرار می‌گرفت. با این حال اخیراً یک تجزیه‌کننده (۱)LR کمینه ارائه شده‌است که نیاز به حافظه آن نزدیک به تجزیه‌کننده LALR است که توسط چند تولیدکنندگان تجزیه‌کننده ارائه می‌شود.


title: تجزیه‌کننده ال‌آر استاندارد

text: در سال ۱۹۶۵، دانلد کنوت، تجزیه‌کننده (LR(k را که یک نوع تجزیه‌کننده انتقال-کاهش بود را اختراع کرد. این تجزیه‌کننده دارای پتانسیل شناخت تمام زبان‌های مستقل از متن قطعی بوده و می‌تواند هر دو اشتقاق چپ و راست ورودی را تولید کند. کنوت اثبات کرد که قدرت پذیرش زبان برای K=۱ در حالت بیشینه است و یک روش برای تبدیل گرامر (LR(k با K>1، به گرامر (۱)LR ایجاد کرد.


title: تجزیه‌کننده ال‌آر استاندارد

text: بزرگترین مشکل تجزیه‌کننده استاندارد (۱)LR نیاز به حافظهٔ زیاد برای ایجاد جدول-پارس داخلی خود است. در سال ۱۹۹۱ فرانک دو نسخه ساده شده از تجزیه‌کننده LR را به نام LALR و SLR را پیشنهاد کرد. این تجزیه‌کننده‌ها نیاز به حافظه کمتری نسبت به تجزیه‌کننده استاندارد (۱)LR دارند، اما قدرت تشخیص-زبان کمتری دارد. تجزیه‌کننده (۱)LALR رایج‌ترین پیاده‌سازی برای تجزیه‌کننده LR بوده‌اند.


title: تجزیه‌کننده ال‌آر استاندارد

text: با این حال یک نوع جدید تجزیه‌کننده (LR(۱ با نام تجزیه کننده (۱)LR کمینه در سال ۱۹۷۷ توسط دیوید پابر معرفی شد که نشان داد که می‌توان یک تجزیه کننده (۱)LR ایجاد کرد که حافظهٔ مورد نیاز آن نزدیک تجزیه‌کننده (۱)LALR می‌باشد. اخیراً بعضی از تولیدکنندگان تجزیه کننده‌ها، تجزیه‌کننده (۱)LR کمینه را ارائه می‌دهند که مشکل حافظه را حل کرده‌اند.


title: تجزیه‌کننده ال‌آر استاندارد

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


title: تجزیه‌کننده ال‌آر استاندارد

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


title: تجزیه‌کننده ال‌آر استاندارد

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


title: تجزیه‌کننده ال‌آر استاندارد

text: به عنوان مثال فرض کنید که زبان شامل نمادهای پایانه 'n'، '+'، '('، ')'، و غیرپایانه‌های 'E', 'T'، و قانون شروع 'S' که قوانین تولید زیر را شامل می‌شود: مجموعه قطعه‌های ۰ که نشان دهنده وضعیت اولیه است، از قانون شروع تولید می‌شود.


title: تجزیه‌کننده ال‌آر استاندارد

text: [$ ،S → • E]


title: تجزیه‌کننده ال‌آر استاندارد

text: علامت '•' نشانگر موقعیت فعلی تجزیه‌کننده در این قانون است. پایانه پیشرو در این قاعده بعد از کاما ذکر شده‌است. علامت '$' برای نشان پایان ورودی مورد انتظار است.


title: تجزیه‌کننده ال‌آر استاندارد

text: مجموعه بالا، مجموعه قطعه کامل شماره ۰ نیست. هر مجموعه قطعه‌ها باید بسته باشد، یعنی تمام قوانین تولید برای هر غیرپایانه که بعد از '•' بیاید باید به صورت بازگشتی در مجموعه قطعه‌ها قرار داده شود تا همه غیرپایانه مورد بررسی قرار گیرد. نتیجه این عملیات را بستار آن قطعه می‌گوییم.


title: تجزیه‌کننده ال‌آر استاندارد

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


title: تجزیه‌کننده ال‌آر استاندارد

text: در مثال بالا علامت شروع ما نیاز به پایانه 'E' دارد که 'E' خود نیاز به 'T' دارد و در نتیجه تمام قوانین تولید در مجموعه قطعه شماره ۰ ظاهر می‌شوند. در ابتدا، ما مسئله پیدا کردن پیشرو را نادیده گرفتیم و فقط به (LR(0 پرداختیم که قطعات آن شامل پایانه پیشرو نبودند؛ بنابراین مجموعه قطعه شماره ۰ دارای قطعه‌های زیر خواهد بود:


title: تجزیه‌کننده ال‌آر استاندارد

text: برای تعیین پایانه‌های پیشرو، از مجموعه‌های به اصطلاح FIRST و FOLLOW استفاده می‌شود. مجموعه (FIRST(A شامل پایانه‌هایی است که می‌توانند به عنوان اولین قسمت از هر زنجیره از قوانین تولید که از غیرپایانه A شروع شود. (FOLLOW(A شامل پایانه‌هایی است که می‌تواند دقیقاً بعد از A ظاهر شوند.


title: تجزیه‌کننده ال‌آر استاندارد

text: در مثال ما، (FIRST(S و (FIRST(E برابر { ')' ,'+' ,n } و (FIRST(T برابر {'+' ,n } می‌شود، همچنین (FOLLOW(S برابر { '$' } و (FOLLOW(E برابر { '(' ,'$' } همچنین (FOLLOW(T برابر { '(' ,'$' ,'+' } می‌شود.


title: تجزیه‌کننده ال‌آر استاندارد

text: با داشتن مجموعه‌های FOLLOW می‌توان مجموعه کامل قطعه‌ها را برای یک تجزیه‌کننده (LR(۱ ایجاد کرد، به این صورت که به ازای هر قطعه در مجموعه بستار آن (مانند (LR(0) و هر پایانه در مجموعه FOLLOW غیرپایانه سمت چپ یک قطعه جدید ایجاد کنیم.


title: تجزیه‌کننده ال‌آر استاندارد

text: بقیه مجموعه قطعه‌ها را می‌توان با الگوریتم زیر ایجاد نمود. در مثال ما پنج مجموعه جدید از مجموعه قطعه شماره ۰ ایجاد می‌شود.


title: تجزیه‌کننده ال‌آر استاندارد

text: مجموعه قطعه شماره ۱ برای غیرپایانه E


title: تجزیه‌کننده ال‌آر استاندارد

text: [$ ،• S → E]


title: تجزیه‌کننده ال‌آر استاندارد

text: مجموعه قطعه شماره ۲ برای غیرپایانه T


title: تجزیه‌کننده ال‌آر استاندارد

text: [$ ،• E → T]


title: تجزیه‌کننده ال‌آر استاندارد

text: [$ ،T → T • + n]


title: تجزیه‌کننده ال‌آر استاندارد

text: [+ ,T → T • + n]


title: تجزیه‌کننده ال‌آر استاندارد

text: مجموعه قطعه شماره ۳ برای پایانه 'n'


title: تجزیه‌کننده ال‌آر استاندارد

text: [$ ،• T → n]


title: تجزیه‌کننده ال‌آر استاندارد

text: [+ ،• T → n]


title: تجزیه‌کننده ال‌آر استاندارد

text: [( ،• T → n]


title: تجزیه‌کننده ال‌آر استاندارد

text: مجموعه قطعه شماره ۴ برای پایانه '+'


title: تجزیه‌کننده ال‌آر استاندارد

text: [$ ،T → + • T]


title: تجزیه‌کننده ال‌آر استاندارد

text: [+ ,T → + • T]


title: تجزیه‌کننده ال‌آر استاندارد

text: [$ ،T → • n]


title: تجزیه‌کننده ال‌آر استاندارد

text: [+ ,T → • n]


title: تجزیه‌کننده ال‌آر استاندارد

text: [$ ،T → • + T]


title: تجزیه‌کننده ال‌آر استاندارد

text: [+ ,T → • + T]


title: تجزیه‌کننده ال‌آر استاندارد

text: [$ ،T → • T + n]


title: تجزیه‌کننده ال‌آر استاندارد

text: [+ ،T → • T + n]


title: تجزیه‌کننده ال‌آر استاندارد

text: مجموعه قطعه شماره ۵ برای پایانه ')'


title: تجزیه‌کننده ال‌آر استاندارد

text: [$ ،( E → ( • E]


title: تجزیه‌کننده ال‌آر استاندارد

text: [( ,E → • T]


title: تجزیه‌کننده ال‌آر استاندارد

text: [( ,( E → • ( E]


title: تجزیه‌کننده ال‌آر استاندارد

text: [( ,T → • n]


title: تجزیه‌کننده ال‌آر استاندارد

text: [( ,T → • + T]


title: تجزیه‌کننده ال‌آر استاندارد

text: [( ,T → • T + n]


title: تجزیه‌کننده ال‌آر استاندارد

text: از مجموعه قطعه‌های ۲ و ۴ و ۵ چندین مجموعه قطعه دیگر تولید خواهد شد. لیست کامل آن بسیار طولانی می‌باشد و بنابراین در اینجا بیان نمی‌شود.


title: تجزیه‌کننده ال‌آر استاندارد

text: اگر [A → α • b β, a] در حالت شماره k بوده و حالت شماره k با b به حالت شماره m برود، عملیات [action[k, b = 'انتقالm' را اضافه می‌کنیم.


title: تجزیه‌کننده ال‌آر استاندارد

text: اگر [A → α •, a] در حالت شماره k باشد، عملیات [action[k, a = 'کاهش A → α' را اضافه می‌کنیم.


title: معاون رئیس‌جمهور افغانستان

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


title: معاون رئیس‌جمهور افغانستان

text: معاون رئیس‌جمهور، معاون شورا انقلاب بین آوریل ۱۹۷۸ و آوریل ۱۹۸۸ بود.


title: معاون رئیس‌جمهور افغانستان

text: معاونان ریاست جمهوری پس از قانون اساسی جدید منصوب و انتخابات صورت گرفت. چهار معاون ریاست جمهوری توسط رئیس جمهور انتخاب شدند و توسط مجلس ملی موافقت شد.


title: معاون رئیس‌جمهور افغانستان

text: در این دوره معاون ریاست جمهوری توسط رئیس جمهور منصوب می‌شد.


title: معاون رئیس‌جمهور افغانستان

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


title: معاون رئیس‌جمهور افغانستان

text: پس از سال ۲۰۰۴ معاونین رئیس جمهور به همراه رئیس جمهور از طریق انتخابات تعیین می‌شوند.


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

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


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

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


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

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


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

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


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

text: ۱- متغیرها: مجموعهٔ formula_1از متغیرهای حقیقی. به عدد formula_2بعد اتوماتا گفته می‌شود. مجموعهٔ formula_3نشان‌دهندهٔ مشتق متغیرها در هنگام تغییر است و مجموعهٔ formula_4نشان‌دهندهٔ مقدار متغیرها هنگام یک تغییر گسسته‌است. در مثال زیر قواعد بالا را بررسی می‌کنیم: اتوماتای ترکیبی که تصویر روبه‌رو می‌بینید یک ترموستات را مدل می‌کند. متغیر formula_17نشانگر دما است. در حالت کنترلی خاموش، گرم‌کننده خاموش است، و دما با توجه به شرط جاری formula_18سقوط می‌کند. در حالت کنترلی روشن، گرم‌کننده روشن است و دما با توجه به شرط جاری formula_19زیاد می‌شود. در ابتدا گرم‌کننده خاموش است و دما ۳۵٫۲ درجه است. با توجه به شرط پرش formula_20، در لحظه‌ای که دما به زیر ۳۵٫۵ درجه برود، گرم‌کننده ممکن است روشن شود. با توجه به شرط ناوردای formula_21دیرترین زمانی که ممکن است گرم‌کننده روشن شود زمانی است که دما به ۳۵ برسد.


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

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


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

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


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

text: "۱- قابلیت رسیدن یا ضمانت:" آیا سیستم می‌تواند به حالتی برسد که دارای ویژگی formula_28داده شده باشد؟


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

text: ۲- "قابلیت امنیت:" آیا سیستم می‌تواند برای همیشه در حالتی که دارای ویژگی formula_28است بماند؟


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

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


title: اوین روبار

text: اوین روبار (به کردی: Evin Rubar)، یک مستندساز کرد اهل سوئد است. او به عنوان خبرنگار تلویزیونی هم فعالیت می‌کند.


title: اوین روبار

text: اوین روبار در ۱۴ دسامبر ۱۹۷۵ در خانواده‌ای کرد به دنیا آمد. او به سبب فیل‌های مستندش که نگاهی انتقادی و فمینیستی به مسائل اجتماعی دارند شناخته شده‌است.


title: اقبال قزوینی

text: اقبال قزوینی (به عربی: "إقبال القزوینی"، به انگلیسی: "Iqbal al-Qazwini") رمان‌نویس، مترجم و روزنامه‌نگار زن عرب اهل عراق است.


title: اقبال قزوینی

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


title: اقبال قزوینی

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


title: اتحادیه زنان عراق

text: اتحادیه زنان عراق (به انگلیسی: Iraqi Women's League) یک سازمان زنان عراقی بود که در دههٔ ۱۹۵۰ تأسیس شد.


title: اتحادیه زنان عراق

text: به قدرت رسیدن صدام حسین در سال ۱۹۷۹ سبب سرکوب اعضای اتحادیه شد و قعالیت‌های آن به ناچار به صورت زیرزمینی دنبال شد. اقبال قزوینی نویسندهٔ عراقی به عنوان نمایندهٔ اتحادیه در فدراسیون دموکراتیک بین‌المللی زنان در سال ۱۹۷۸ در برلین شرقی در تبعید ماند.


title: اتحادیه زنان عراق

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


title: کاریس

text: کاریس (زاده ۱۷ آوریل ۱۹۸۱) رپر فرانسوی است.


title: کاریس

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


title: تابع ذاتی

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


title: تابع ذاتی

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


title: تابع ذاتی

text: توابع ذاتی اغلب برای پیاده‌سازی صریح برداری سازی و موازی سازی در زبان‌هایی است که این ساختارها را ندارند استفاده می‌شود. برخی از رابط‌های برنامه‌نویسی نرم‌افزار (API) برای مثال AltiVec و OpenMP از توابع ذاتی استفاده می‌کنند که عملیات vectorizable و multiprocessing-aware را در زمان کامپایل تعریف کنند. کامپایلر توابع ذاتی را پارس می‌کند و آن‌ها را به وکتور ریاضی یا multiprocessing کد شی مناسب برای پلت فرم هدف تبدیل می‌کند.


title: تابع ذاتی

text: کامپایلر برای C و ++C مایکروسافت اینتل و GNU Compiler Collection GCC توابع ذاتی را طوری پیاده‌سازی می‌کنند که در تناظر مستقیم با تک دستورالعمل x86 چند داده‌ای (MMX "Streaming SIMD Extensions" (SSE), SSE2 SSE3 SSSE3 SSE4) باشند. Microsoft Visual C++ کامپایلر ویژوال استودیو مایکروسافت از هیچ اسمبلر خطی برای x86-64 پشتیبانی نمی‌کند. برای جبران کمبود اسمبلی خطی توابع خطی جدیدی اضافه شده‌اند که به دستورالعمل‌های اسمبلی استاندارد متناظر می‌شوند که به‌طور معمول از طریق C/C++ در دسترس نیستند به عنوان مثال بیت اسکن.


title: تابع ذاتی

text: برخی از کامپایلرهای C و ++C توابع ذاتی غیرقابل حمل برای پلت فرم خاص ارائه می‌دهند. دیگر توابع ذاتی (مانند توابع درونی گنو) کمی بیشتر انتزاعی اند در مقایسه با توانایی‌های چندین سیستم عامل معاصر قابل حمل با پیاده‌سازی fall back بر روی سیستم عامل‌های بدون هیچ دستورالعمل مناسب. برای کتابخانه‌های ++C مانند "glm" یا کتابخانه‌های بردار ریاضی سونی معمول است که برای رسیدن به قابل حمل بودن از طریق کامپایل شرطی (بر اساس پرچم کامپایلر پلت فرم‌های خاص) که به‌طور کامل پریمیتیوهای سطح بالای قابل حمل را ارائه می‌دهد (به عنوان مثال یک نوع بردار ممیز شناور چهار عنصری) در تناظر با پیاده‌سازی‌های زبان برنامه‌نویسی سطح پایین مناسب در حالی که هنوز هم از نوع سیستم و درون خطی‌های ++C بهره می‌برد؛ از این رو استفاده لینک دادن بر دستی نوشتن فایل شی اسمبلی با استفاده از (application binary interface (ABI زبان C.


title: تابع ذاتی

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


title: دیزی شاه

text: دیزی شاه (زاده ۲۵ اوت ۱۹۸۴) بازیگر، مدل هندی است.


title: دیزی شاه

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


title: جی هو (فیلم)

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


title: جی هو (فیلم)

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


title: جی هو (فیلم)

text: یک نظامی سابق به نام جی اگنیهوتری(سلمان خان) این صحنه را می‌بیند و تصمیم به مبارزه با وزیر که سینگ نام دارد می‌گیرد او تصمیم می‌گیرد تا زنجیره خوبی‌ها را درست کند به این ترتیب که هر نفر به سه نفر کمک کند و او هم در مقابل و برای تشکر به سه نفر دیگر کمک کند دیری نمی‌گذرد که این حرکت فراگیر می‌شود و منجر به تقابل وزیر دشرات سینگ با جی می‌شود و…


title: بشکه‌سانان

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


title: فیلم در ۲۰۱۳

text: جداول زیر لیست فیلم‌های منتشر شده در سال ۲۰۱۳ است. سه فیلم معروف ("تاپ گان"، "پارک ژوراسیک "و "جادوگر شهر از ") به صورت 3D و آی‌مکس باز نشر شده‌است.


title: فیلم در ۲۰۱۳

text: جدول زیر لیست ده تا از پرفروش‌ترین فیلم‌های سال ۲۰۱۳ را نشان می‌دهد:


title: فیلم در ۲۰۱۳

text: فیلم "منجمد" و "مرد آهنی ۳" با فروش بیش از ۱.۲ میلیارد دلار در جایگاه ششم و هفتم فهرست پرفروش‌ترین فیلم‌های تاریخ قرار گرفته‌اند. منجمد دومین فیلم انیمیشن پس از انیمیشن "داستان اسباب‌بازی ۳ می‌باشد که توانسته بیش از ۱ میلیارد دلار فروش داشته باشد و در فهرست پر فروش‌ترین فیلم‌های انیمیشن تاریخ در سرار دنیا قرار گرفته‌است. فیلم پارک ژوراسیک پس از بازنشر 3D با فروش بیش از ۱ میلیارد توانست در جایگاه ۱۵ فهرست پر فروش‌ترین فیلم‌های تاریخ قرار بگیرد."


title: بشکه‌ایان

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


title: آب‌دزدک بشکه‌ای

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


title: بشکه‌چه‌ها

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


title: بشکه‌چه شگرف

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


title: بشکه‌چه گگن‌باور

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


title: آتش‌تن اطلسی

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


title: سالپ گرد بیکر

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


title: توری‌دارسانان

text: توری‌دارسانان نام یک راسته از ناجورتاژکان است.


title: جلبک طلایی

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


title: اخرایی‌تباران

text: اُخرایی‌تباران نام یک شاخه از ناجورتاژکان است.


title: نزیهه دلیمی

text: نزیهه دلیمی (به عربی: "نزیهة الدلیمی"، به انگلیسی: "Naziha Jawdet Ashgah al-Dulaimi") یکی از پیشاهنگان جنبش فمینیستی زنان عراق بود. او عضو بنیانگذار و نخستین رئیس اتحادیه زنان عراق در ۱۰ مارس ۱۹۵۲، نخستین وزیر زن در تاریخ مدرن عراق و نخستین وزیر زن در کابینهٔ کشورهای جهان عرب بود.


title: نزیهه دلیمی

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


title: نزیهه دلیمی

text: نزیهه دلیمی در سال ۱۹۴۱ به عنوان پشک از دانشگاه فارغ‌التحصیل شد. او در دوران دانشجویی با آرمان‌ها و اعتراضات حزب کمونیست عراق (ICP) آشنا شده‌بود. او در سال ۱۹۴۷ برای عضویت در حزب نامزد شده‌بود و در سال ۱۹۴۸ به عضویت کامل در حزب درآمد. او در ژانویهٔ ۱۹۴۸ به صورت فعالانه در جنبشی که «انتفاضة الوثبة» نامیده می‌شد و علیه قرارداد استعماری پورتسموث بود و همچنین در نبردهای میهنی دیگر درگیر شد. درگیرشدن فزایندهٔ او در کار سیاسی میهنی و آگاهی رشدیابندهٔ او از رنج‌های مردم در نتیجهٔ سرکوب حاکمان و ارتجاع اجتماعی، او را به پیوند بیشتر میان مبارزه برای اعتراضات میهنی و مبارزه برای ترقی اجتماعی متقاعد ساخت.


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: طی مطالعات صورت گرفته در طول سال ۲۰۰۳ تا ۲۰۰۶ در سوئد متوسط طول عمر این نژاد حدود ۱۲٫۵ سال است. شایع‌ترین بیماری‌های قلبی در گربه‌ها دیده می‌شود و این نژاد مستعد به این بیماری است. HCM یک بیماری پیشرونده است و می‌تواند منجر به نارسایی قلبی و فلج پاهای عقبی گردد که منشأ آن در قلب و نتیجه‌اش مرگ ناگهانی است.


title: خانه ظهیرالاسلام

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


title: خانه ظهیرالاسلام

text: خانه ظهیرالاسلام سال ۱۳۹۳ به ثبت ملی رسید اما این ثبت نیز تغییری در اوضاع این خانه ایجاد نکرد زیرا نام این خانه در هنگام ثبت ملی به نام خانه سردار تنکابنی ذکر شده و بنا شماره ثبت دریافت نکرد.


title: خانه ظهیرالاسلام

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


title: خانه ظهیرالاسلام

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


title: خانه ظهیرالاسلام

text: وی با بیان اینکه خانه ظهیرالاسلام در اختیار سازمان تأمین اجتماعی باقی می‌ماند افزود: امسال (۱۳۹۶) این خانه بازسازی شده و به بهره‌برداری می‌رسد.


title: خانه ظهیرالاسلام

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


title: خانه ظهیرالاسلام

text: بنای ظهیرالاسلام در خیابان قائدی و سر خیابان ظهیرالاسلام قرار دارد.


title: خانه ظهیرالاسلام

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


title: خانه ظهیرالاسلام

text: https://web.archive.org/web/20180103133409/http://shahrefarang.com/zahiroleslam-house /


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 ⊆ Σ یک زبان مستقل از متن قطعی است اگر (L$ = L(M برای ماشین پشته‌ای قطعی M ، درحالی که $ یک علامت جدید می‌باشد که در Σ نیست.


title: تجزیه قطعی

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


title: تجزیه قطعی

text: ایده اصلی تجزیه بالا به پایین ساخت یک ماشین پشته‌ای از یک گرامرو پس از آن قطعی کردن آن ماشین پشته‌ای است. بعضی از راه‌های قطعی کردن ماشین پشته‌ای عبارت اند از: گرامرهایی که پیش‌بینی یک علامت برای آن‌ها برای تجزیه بالا به پایین چپ به راست کفایت می‌کند گرامرهای (LL(1 می گویند. تجزیه پایین به بالا براساس کلاس (LR(K گرامرها به وجود آمده‌است."L" به معنای خواندن ورودی از چپ به راست است."R" به معنای این است که راست‌ترین تجزیه انجام خواهد شد. در تجزیه پایین به بالا مانند تجزیه بالا به پایین ماشین پشته‌ای به وجود می آوریم با این تفاوت که در تجزیه پایین به بالا ماشین پشته‌ای به وجود آمده راست‌ترین استخراج پایین به بالا از یک پایانه ورودی انجام می دهیم تا به علامت شروع S برسیم.


title: دیرین‌خرخاکی‌سانان

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


title: دیرین‌خرخاکی‌مانندها

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


title: محدودیت‌ها محاسبات

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


title: لیل پامپ

text: گزی گارسیا متولد ۱۷ اوت ۲۰۰۰ شناخته‌شده بعنوان لیل پامپ ، خواننده رپ و ترانه‌سرا اهل ایالات متحده آمریکا است. وی نخستین‌بار ترانه‌هایش را در موسیقی ساوندکلاود در سال ۲۰۱۶ بارگذاری کرد که تقریباً صد میلیون‌بار ترانه‌هایش در این وب‌گاه پخش و شنیده شده‌است. گارسیا برای ترانه‌اش «گوچی گنگ» که رتبه 1 در ۱۰۰ آهنگ داغ بیلبورد را از آن خود کرده‌است، به شهرت رسیده‌است. وی نخستین آلبوم استودیویی خود، "لیل پامپ"، را در ۶ اکتبر ٢۰١٧ منتشر کرد.


title: لیل پامپ

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


title: لیل پامپ

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


title: لیل پامپ

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


title: لیل پامپ

text: وی اولین آلبوم استودیویی خود، لیل پامپ را با هم‌کاری اسموک‌پارپ، گوچی مان، لیل یاتی، چیف کیف، ریک راس و تو چینز در ۶ اکتبر ۲۰۱۷ منتشر کرد.


title: سوءتفاهم (فیلم)

text: سوءتفاهم فیلمی به کارگردانی و نویسندگی احمدرضا معتمدی و تهیه‌کنندگی جلیل شعبانی محصول سال ۱۳۹۶ سازمان هنری رسانه‌ای اوج می‌باشد. این فیلم در ۲۴ بهمن ۱۳۹۷ در سینماهای ایران اکران شده‌است.


title: سوءتفاهم (فیلم)

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


title: مسجد عباس حلمی دوم

text: مسجد عباس حلمی دوم (مسجد محمد علی، مسجد العباسی) در دوران پادشاه «عباس حلمی دوم» از سلسله خدیوی در سال ۱۹۱۱ میلادی ساخته شده است.


title: مسجد عباس حلمی دوم

text: این مسجد یکی از مساجد تاریخی مصر است که در شهر «شبین الکوم» استان «منوفیه» قرار دارد. کمیته دائمی آثار اسلامی و قبطی مصر در تاریخ ۱۱ دی ماه ۱۳۹۶ اقدام به ثبت ملی این مسجد کرد.


title: خرید منحصربه‌فرد

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


title: خرید منحصربه‌فرد

text: خرید منحصر به فرد از موارد موانع ورود به بازار به‌حساب می‌آید.


title: خرید منحصربه‌فرد

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


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: تراز ساختمان داده یا هم‌تراز‌سازی داده ساختار روشی است که داده در حافظه رایانه، مرتب‌سازی و مورد دستیابی قرار می‌گیرد. این عمل دارای سه بخش کلی هم‌ترازسازی داده، داده‌ساختار لایه‌گذاری و دسته‌بندی می‌باشد.در زبان‌های برنامه‌نویسی، هر شی‌ای که به عنوان داده کاربرد دارد دارای دو ویژگی است: مقدار و مکان ذخیره‌سازی. منظور از هم‌ترازسازی داده این است که آدرس هر شی داده قابل تقسیم بر ۱، ۲، ۴ یا ۸ باشد. به‌طور مثال، اگر آدرس داده‌ای 12FEECh باشد که معادل ۱۲۴۴۹۰۸ در سیستم اعشاری است، آنگاه این داده در یک سیستم هم‌ترازسازی ۴ بایتی قرار دارد چرا که بزرگترین توانی از دو که آدرس داده بر آن بخش‌پذیر است، ۴ می‌باشد.


title: تراز ساختمان داده

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


title: تراز ساختمان داده

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


title: تراز ساختمان داده

text: کد زیر از زبان C را در نظر بگیرید. struct mystruct_A } x;


title: تراز ساختمان داده

text: struct mystruct_B } y; اندازهٔ ساختارهای تعریف‌شده در بالا به ترتیب ۱۲ و ۸ می‌باشد. در زبان C پروسهٔ لایه‌گذاری به صورت خود به خود صورت می‌گیرد. به‌طور مثال در مورد ساختار اولی که در کد بالا آمده‌است، اتفاقی مشابه زیر می‌افتد: struct mystruct_A { } x; در بالا می‌بینیم که طول داده‌ساختار کاراکتر به‌طور پیش‌فرض برابر ۱ بایت است، به همین علت خود کامپایلر ۳ بایت را به حافظه پس از جایی که این کاراکتر ذخیره شده‌است اضافه می‌کند تا شروع هر خانه حافظه‌ای که کد با آن سر و کار دارد دارای آدرسی مضرب ۴ باشد. همین اتفاق برای کاراکتر بعدی تعریف شده به عنوان c افتاده‌است.


title: تراز ساختمان داده

text: در مقابل پروسهٔ بسته‌بندی به صورت پیش‌فرض در کامپایلر C اتفاق نمی‌افتد و باید این تابع با عنوان formula_1 به‌طور خاص صدا زده‌شود: struct __attribute__((__packed__)) mystruct_A { به این ترتیب کد بالا از فرایند لایه‌گذاری که به صورت پیش‌فرض توسط کامپایلر صورت می‌گیرد جلوگیری می‌کند و ساختار یاد شده را در فضای ۶ بایت (هرکدام از ساختارهای کاراکتر ۱ بایت و ساختار عدد صحیح ۴ بایت) ذخیره می‌کند.


title: الب‌فیل‌هارمونی

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


title: الب‌فیل‌هارمونی

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


title: کنوانسیون حداقل سن کار (۱۹۷۳)

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


title: کنوانسیون حداقل سن کار (۱۹۷۳)

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


title: کنوانسیون حداقل سن کار (۱۹۷۳)

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


title: کنوانسیون حداقل سن کار (۱۹۷۳)

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


title: کنوانسیون حداقل سن کار (۱۹۷۳)

text: یکسال پس از تصویب اولین توافق‌نامه توسط کوبا و لیبی، این کنوانسیون به تصویب رسید. از ژوئن ۲۰۱۷، ۱۷۰ کشور این کنوانسیون را تصویب کرده‌اند.


title: ماهورا (فیلم)

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


title: ماهورا (فیلم)

text: این فیلم نامزد دریافت تندیس سیمرغ بلورین بهترین جلوه‌های بصری (سینا قویدل) در سی و ششمین دوره جشنواره فیلم فجر شد.


title: ماهورا (فیلم)

text: این فیلم در تاریخ ۱۱ مهر ۱۳۹۷ اکران شد و حدود پنج هفته بر روی پردهٔ سینما بود.


title: ماهورا (فیلم)

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


title: ماهورا (فیلم)

text: در ابتدا قرار بود محسن تنابنده بازیگر نقش اصلی مرد این فیلم باشد اما به دلیل آسیب دیدگی تنابنده از ناحیه زانو حضور او در این فیلم منتفی شده و ساعد سهیلی جایگزین وی شد.


title: خودسازمان‌دهی

text: خودسازمان‌یابی (Self-organization) فرایندی است، که در طی آن سازمان‌یافتگی درونی یک سیستم - به‌طور نرمال یک سیستم باز - به سمت پیچیدگی افزون‌تر تکامل پیدا می‌کند، بدون آنکه توسط عوامل بیرونی هدایتی دریافت نموده باشد، یا اعمال مدیریتی بر روی آن صورت پذیرفته باشد.


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: فیرنتزوئولا (به ایتالیایی: Firenzuola) یک کومونه در ایتالیا است که در استان فلورانس واقع شده‌است. فیرنتزوئولا ۲۷۱٫۹ کیلومتر مربع مساحت و ۴٬۹۲۱ نفر جمعیت دارد و ۴۲۲ متر بالاتر از سطح دریا واقع شده‌است.


title: فیرنتزوئولا

text: شهر Meharrize خواهرخواندهٔ فیرنتزوئولا هست.


title: سان جینزیو

text: سان جینزیو (به ایتالیایی: San Ginesio) یک کومونه در ایتالیا است که در استان ماچه‌راتا واقع شده‌است. سان جینزیو ۷۷٫۷ کیلومتر مربع مساحت و ۳٬۸۷۲ نفر جمعیت دارد و ۶۸۰ متر بالاتر از سطح دریا واقع شده‌است.


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

text: سانتومبونو ترمه (به ایتالیایی: Sant'Omobono Terme) یک کومونه در ایتالیا است که در استان برگامو واقع شده‌است. سانتومبونو ترمه ۱۰٫۸ کیلومتر مربع مساحت و ۳٬۹۷۸ نفر جمعیت دارد و ۴۲۷ متر بالاتر از سطح دریا واقع شده‌است.


title: لوره

text: لُوِرِه (به ایتالیایی: Lovere) یک کومونه در ایتالیا است که در استان برگامو واقع شده‌است. لوره ۷٫۳۶ کیلومتر مربع مساحت و ۵٬۴۰۸ نفر جمعیت دارد.


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: براین اساس بررسی مرکز پژوهشی بتا که در سال 1399 انجام شده است و در خبرگزاری فارس منتشر شد مشخص شد که تلگرام بیش از ۴۹ میلیون کاربر ایرانی دارد. این بستر در حال حاضر بیش از ۲ میلیون کانال دارد که در طول سال بیش از ۵۰۰ میلیون پست منتشر می کنند. این تعداد پست در مجموع بیش از ۱۰۰ میلیارد نمایش به خود اختصاص می دهد که این نشان گر آن است که هنوز تلگرام به عنوان پیام رسان در کاربرد های مختلف برای کاربران ایرانی کارد دارد.این پیام رسان در کل جهان بیش از ۴۰۰ میلیون دنبال کننده دارد که در حال حاضر ۴۹ میلیون آن ایرانی هستند. همچنین در بررسی این مرکز مشخص شد بیش از ۲ میلیون سوپر گروه فعال و پر مخاطب که سهم جدی در میان کاربران دارند در حال حاضر در حال فعالیت هستند.   تلگرام در ایران محبوب‌ترین اپلیکیشن پیام‌رسان محسوب می‌شد، تعداد زیادی از کاربران امکانات منحصربه‌فرد تلگرام را به‌عنوان دلیل انتخاب آن مطرح کرده‌اند؛ آن‌ها امکانات بهتر تلگرام ازجمله «کانال‌ها»، «استیکر» و «مالتی پلتفرم» بودن (البته در بین این‌ها به‌طور ویژه کانال‌ها) را دلیل این موضوع می‌دانند؛ و صدالبته مسدود بودن شبکه‌های اجتماعی دیگر نظیر فیس‌بوک نیز نقش مؤثری در این محبوبیت داشته‌است.


title: تلگرام در ایران

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


title: تلگرام در ایران

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


title: تلگرام در ایران

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


title: تلگرام در ایران

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


title: تلگرام در ایران

text: در اوت ۲۰۱۵ وزارت ارتباطات و فناوری اطلاعات ایران اعلام کرد که تلگرام موافقت کرده‌است که بر اساس درخواست دولت ایران برخی ربات‌ها و بسته‌های برچسب آن را محدود کند. براساس یک مقاله منتشر شده در Global Voices، این ویژگی‌ها توسط ایرانیان مورد استفاده قرار گرفت تا «به اشتراک گذاشتن نظراتی در مورد دولت ایران» بپردازند. این مقاله همچنین اشاره کرد که «برخی از کاربران نگران تمایل تلگرام به پاسخگویی به درخواست‌های دولت ایران مبنی بر مشارکت در آینده با سانسور دولت ایران یا حتی اجازه دسترسی دولت به اطلاعات تلگرام در مورد کاربران ایرانی هستند.» تلگرام اظهار داشت که همه چت‌های تلگرام حریم خصوصی هستند و هیچ درخواستی راجع به آن‌ها انجام نمی‌دهند. فقط درخواست‌های مربوط به محتوای عمومی (ربات‌ها و بسته‌های برچسب) پردازش می‌شود. در ماه مه سال ۲۰۱۶، دولت ایران از تمام برنامه‌های پیام‌رسانی از جمله تلگرام خواسته بود تا تمام اطلاعات کاربران ایرانی را به سرورهای ایران انتقال دهند. در تاریخ ۲۰ آوریل ۲۰۱۷، دولت ایران به‌طور کامل تماس‌های تلفنی جدید تلگرام را مسدود کرد، این سرویس به افراد اجازه می‌دهد تا از طریق ایمن و با رمزنگاری مکالمات خود را به‌طور خصوصی برقرار کنند.


title: تلگرام در ایران

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


title: تلگرام در ایران

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