payamvha/North_RAG huggingface dataset:
قسمت اول که ورودی‌های حمام به آن متصل بوده محل استفادهٔ افراد معمولی و سربینهٔ دوم که کوچکتر و از نظر ارتباط با هوای آزاد و سرد بیرون در امان بیشتری بود مربوط به افراد ثروتمند بوده است. در صحن حمام گلشن هشت ستون سنگی قرار دارد که بزرگ‌ترین گنبد این حمام با هشت متر ارتفاع در میانه این ستون‌های سنگی می‌باشد. تمامی صحن توسط کف‌پوش های موزاییکی تزیین شده‌اند که همچنان بعد از سپری شدن چندین سال مشاهده می‌شود. بر اثر زمین‌لرزه در سال ۱۳۶۹ قسمت زیادی از این حمام تخریب شد. مساحت حمام قبل از زمین‌لرزه و خراب شدن
تخریب شد. مساحت حمام قبل از زمین‌لرزه و خراب شدن بالغ بر ۸۰۰ متر بود ولی بعد از آن تنها ۶۴۵ متر مساحت دارد و اثری از مابقی این بنا نیست.
خورشید پیر چاق نام یک آهنگ از گروه موسیقی سایکدلیک/پراگرسیو راک پینک فلوید است و در آلبومی که این گروه در سال ۱۹۷۰ ،"مادر قلب‌اتمی"،منتشر کرد قرار دارد.نوشتن و خواندن در این آهنگ توسط دیوید گیلمور،گیتاریست گروه، انجام شده است. درباره آهنگ. پینک فلوید این آهنگ را در سالهای ۱۹۷۰-۱۹۷۱ به صورت زنده به اجرا درآورد و اجراهای زندهٔ این آهنگ به چهارده دقیقه نیز به طول می‌انجامید.دیوید گیلمور این آهنگ را در تورهای شخصی خود که در سال‌های ۲۰۰۱-۲۰۰۲ و توری که برای آلبوم "در یک جزیره" ترتیب داده بود نیز به اجرا درآورد و
"در یک جزیره" ترتیب داده بود نیز به اجرا درآورد و معمولاً در این اجراهای اخیر از گیتار آکوستیک استفاده می‌کرد.
اَرته‌بَرزَن نام فرزند ارشد داریوش بزرگ هخامنشی بود که سال‌ها فرماندهی گارد جاویدان را به عهده داشت. نام ارته‌برزن به معنی «والایی ارته (حق)» است. (مقایسه با آریوبرزن «والایی آریا، به تعالی رساندن آریا»). داریوش بزرگ از همسر اول خود دختر گئوبَروه که قبل از رسیدن به مقام شاهی با او ازدواج کرده‌بود سه پسر داشت و از آتوسا دختر کوروش بزرگ چهار پسر داشت که بزرگترین پسرش از همسر اولش ارته‌برزن نام داشت و چون بزرگترین پسر بود شاهی را حق خود می‌دانست از طرفی خشایارشا پسر ارشد آتوسا چون نوهٔ کوروش بزرگ بود شاهی را
پسر ارشد آتوسا چون نوهٔ کوروش بزرگ بود شاهی را برای خود می‌خواست که سرانجام به دلیل اینکه ارته‌برزن قبل از شاهی پدر به دنیا آمده بود اما خشایارشا پس از رسیدن پدر به این مقام به دنیا آمده بود، به ولیعهدی شاهنشاهی هخامنشی برگزیده شد. منابع. مشارکت کنندگان ویکی‌پدیا، ""، ویکی‌پدیا آلمانی دانشنامه آزاد (بارگیری ۲۵ اسفند ۱۳۹۵)
دنباله کاوی یکی از مباحث داده‌کاوی است که سعی می‌کند بین داده‌های ورودی، الگوهایی که از لحاظ آماری به هم مرتبط هستند را پیدا کند. معمولاً فرض می‌شود که مقادیر دنباله‌ها گسسته است. دنباله‌کاوی یک حالت خاصی از داده کاوی ساختاری می‌باشد. محاسبات متعددی باید برای دنباله‌کاوی صورت بگیرد از جمله ساختن پایگاه داده‌ها و اندیس‌های کارآمد برای اطلاعات دنباله‌ای، استخراج الگوهای تکراری، مقایسه‌ی دنباله‌ها از نظر شباهت و ترمیم کردن عناصری در دنباله‌ها که از دست رفته‌اند. در حالت کلی دنباله‌کاوی می‌تواند به دو دسته‌ی
در حالت کلی دنباله‌کاوی می‌تواند به دو دسته‌ی رشته‌کاوی و آیتم‌کاوی تقسیم شود، در حالی که رشته‌کاوی بر مبنای الگوریتم‌هایی است که روی رشته‌ها عمل انجام می‌دهند و مجموعه آیتم‌کاوی بر مبنای قوانین آموزشی انجمنی. رشته‌کاوی. رشته‌کاوی به‌طور معمول با تعداد محدودی حروف الفبا سروکار دارد که در رشته‌ها ظاهر می‌شوند، در حالی که طول رشته‌ها ممکن است بسیار طولانی باشد. به عنوان مثالی از این حروف الفبا می‌توان به مجموعه حروف اسکی (استاندارد) که در زبان نوشتاری استفاده می‌شوند اشاره کرد یا حروف 'A' , 'G'،'C' و 'T' در
می‌شوند اشاره کرد یا حروف 'A' , 'G'،'C' و 'T' در رشته‌های دی‌ان‌ای یا اسید آمینه‌ها در رشته‌های پروتئین. در زیست‌شناسی، تجزیه و تحلیل چیدمان حروف الفبا در رشته به ما کمک می‌کند که ژن‌ها و پروتئین‌ها را شناخته و به خواص آن‌ها پی ببریم. در واقع پیدا کردن رشته‌ی یک دی‌ان‌ای یا پروتئین هدف اصلی نیست، بلکه هدف اصلی این است که به کمک رشته‌ی دی‌ان‌ای یا پروتئین پی به ساختار و عملکرد آن‌ها ببریم. برای این کار ابتدا باید مناطق مهم در رشته‌ها را تشخیص داده و سپس به هر منطقه یک عملکرد اختصاص دهیم. در بسیاری از مواقع
منطقه یک عملکرد اختصاص دهیم. در بسیاری از مواقع این کار مستلزم این است که رشته‌ی داده شده را با رشته‌هایی که از قبل در اختیار داشتیم مقایسه کنیم. اگر فرض کنیم که در رشته‌ها عمل جایگیری، حذف و جهش رخ داده است، آن‌گاه مقایسه بین رشته‌ها دشوار می‌شود. یک طبقه‌بندی بر الگوریتم‌های مقایسه رشته‌ها در بیوانفورماتیک در مقاله‌ی String Mining in Bioinformatics, آمده‌است که شامل موارد زیر می‌شود: مجموعه آیتم‌کاوی. برخی از مسائل در دنباله‌کاوی به دنبال پیدا کردن مجموعه آیتم‌ها و ترتیب ظاهر شدنشان می‌باشند. به‌طور مثال
آیتم‌ها و ترتیب ظاهر شدنشان می‌باشند. به‌طور مثال دنبال قانونی به شکل "اگر {مشتری ماشین بخرد} او احتمالاً تا یک هفته‌ی بعد {بیمه می‌خرد}" می‌گردیم. به‌طور سنتی مجموعه آیتم‌کاوی در بازاریابی کاربرد داشته‌است. سعی بر این بوده است که در معاملات بزرگ به دنبال خریدهایی باشند که اکثراً با هم اتفاق می‌افتند و نظم حاکم بر آن‌ها را پیدا کنند. به‌طور مثال با مطالعه‌ی سبد خرید مشتری‌ها در یک سوپرمارکت این قانون را می‌توان استخراج کرد که "اگر مشتری پیاز و سیب زمینی بخرد، او احتمالاً در همان خرید همبرگر نیز خواهد
بخرد، او احتمالاً در همان خرید همبرگر نیز خواهد خرید". یک طبقه‌بندی بر الگوریتم‌های مجموعه آیتم‌کاوی در مقاله Frequent pattern mining: current status and future directions. آمده‌است.
ترانه‌شناسی گروه سمفونیک پاور متال ایتالیایی راپسودی آو فایر که در سال ۱۹۹۳ با نام تاندرکراس بنیاد گذاشته‌شد و سپس در سال ۱۹۹۵ به راپسودی و در سال ۲۰۰۶ به نام کنونی تغییر یافت تا سال ۲۰۱۲ شامل ۹ آلبوم استودیویی، ۲ آلبوم چندآهنگه، ۱ آلبوم زنده، ۱ آلبوم گلچین، ۴ تک‌آهنگ (سینگل)، ۱ دی‌وی‌دی و ۲ آلبوم دمو به شرح زیر است.
نرخ بهره استقراض بین‌بانکی لندن که اغلب از آن با عنوان اختصاری «لیبور» یاد می‌شود، نرخ سود متوسطی است که به صورت روزانه توسط بانک‌های اصلی لندن تعیین می‌شود و به وسیله آن بانک‌ها از یک‌دیگر با نرخ بهره‌ای پائین‌تر از نرخ‌های بهره معمول پول استقراض می‌کنند. بانک‌هایی که با کمبود موقت نقدینگی مواجه شده‌اند، از این پول برای قرض‌دادن به مشتریان‌شان استفاده می‌کنند. در بریتانیا، سازمان خدمات مالی بریتانیا مسئولیت نظارت بر نحوه مراحل نرخ بهره استقراض بین‌بانکی لندن را برعهده دارد. معادل نرخ بهره استقراض بین‌بانکی
را برعهده دارد. معادل نرخ بهره استقراض بین‌بانکی لندن در اتحادیه اروپا، «یوریبور» نام دارد که برای مبادلات بین‌بانکی بانک‌های فعال در معاملات حوزهٔ یورو کاربرد دارد. نحوه محاسبه نرخ لیبور. در نظام وام‌دهی متقابل بین‌بانکی، بانکی که با کمبود موقت نقدینگی مواجه شده‌است، برای تأمین جریان مالی خود، از بانکی که دارای مازاد نقدینگی است وام کوتاه‌مدت دریافت می‌کند و به این ترتیب، لزومی ندارد تا مبالغ زیادی پول نقد را بدون استفاده نگهداری کند. نرخی که بانک وام‌دهنده از بانک وام‌گیرنده مطالبه می‌کند، منعکس‌کننده
از بانک وام‌گیرنده مطالبه می‌کند، منعکس‌کننده ارزیابی وام‌دهنده از اعتبار و توانایی مالی بانک وام‌گیرنده است. برای محاسبه لیبور، از هر یک از بانک‌های اصلی در لندن خواسته می‌شود تا هر روز، نرخی را که بانک‌های دیگر برای وام دهی به آن مطالبه می‌کنند، و نرخی که همین بانک برای وام‌دهی به بانک‌های دیگر در نظر می‌گیرد را در اختیار یک مرکز مشخص قرار دهد. متوسط این نرخ‌ها، نرخ لیبور را تشکیل می‌دهد.
تی-کافی (به انگلیسی: Tree-based Consistency Objective Function For alignment Evaluation) یک نرم‌افزار هم‌ترازسازی چند توالی است که از روش پیشرونده استفاده میکند. به این صورت که یک کتابخانه از همترازسازی‌های دوتایی تولید می‌کند که به همترازسازی چندتوالی کمک میکند. همچنین این نرم‌افزار می‌تواند همترازسازی‌های چند توالی که از قبل وجود دارد را با هم ترکیب کند و در آخرین نسخه ی آن از اطلاعات ساختاری فایل‌های بانک داده پروتئین استفاده می‌کند (3D-Coffee) . از جمله ویژگی‌های پیشرفته ی آن این است که می‌تواند کیفیت
ویژگی‌های پیشرفته ی آن این است که می‌تواند کیفیت همترازسازی را ارزیابی کرده و همچنین وقوع موتیف‌ها را تشخیص دهد. به صورت پیش‌فرض همترازسازی‌ها را در فرمت aln (کلاستال) تولید میکند، ولی می‌تواند فرمت‌های PIR، MSF و فست ای را هم پشتیبانی کند. متداول‌ترین فرمت‌ها از جمله PIR و فست ای را پشتیبانی میکند. مقایسه با سایر نرم‌افزارهای همترازسازی. هنگامی که خروجی به صورت پیش‌فرض به فرمت Clustal باشد، تا حد زیادی با خروجی که به فرمت ClustalW/X باشد تفاوت دارد. به‌طوری‌که برنامه‌هایی که فرمت Clustal را پشتیبانی
برنامه‌هایی که فرمت Clustal را پشتیبانی می‌کنند نمی‌توانند آن را بخوانند. خوشبختانه ClustalX خروجی تی-کافی را می‌تواند به عنوان ورودی بگیرد. پس ساده‌ترین راه حل این است که خروجی تی-کافی را به عنوان ورودی ClustalX گرفته و سپس دوباره خروجی بگیریم. یک راه دیگر این است که با دستور "-output=clustalw_aln" صریحاً فرمت خروجی را ClustalW قرار دهیم. یکی از ویژگی‌های خاص تی-کافی این است که می‌تواند روش‌های متفاوت و نوع داده‌های متفاوت را با هم ترکیب کند. در آخرین نسخه، تی-کافی رشته‌های پروتئین و ساختارهایشان و
نسخه، تی-کافی رشته‌های پروتئین و ساختارهایشان و رشته‌های آران‌ای و ساختارهایشان را با هم ترکیب میکند. تغییرات. ام-کافی. ام-کافی یک حالت خاصی از تی-کافی است که در آن میتوان خروجی بسته‌های متفاوت همترازسازی چند توالی (Muscle ، ClustalW، Mafft، ProbCons و...) را با هم ترکیب کرد. این حالت تقریباً از همترازسازی‌های تکی بهتر جواب می‌دهد. نکتهٔ قابل توجه این است که روی مناطقی که همهٔ بسته‌ها توافق دارند، همترازسازی به خوبی صورت می‌گیرد و خروجی ام-کافی همترازسازی روی این نقاط است. 3دی-کافی. یک حالت خاصی از تی-کافی
این نقاط است. 3دی-کافی. یک حالت خاصی از تی-کافی است که در آن میتوان رشته و ساختار را در یک همترازسازی ترکیب کرد. همترازسازی‌هایی که بر مبنای ساختار هستند میتوانند از همترازسازهای متداول مانند TMalign ، Mustang و sap استفاده کنند. آر-کافی. حالت خاصی از تی-کافی است که در آن میتوان رشته‌های آران‌ای را با کمک ساختار دومشان همتراز کرد.
رامی مخلوف (زاده در دمشق) بازرگان ثروتمند و پسر دایی بشار اسد رئیس‌جمهور سوریه است. او مالک اصلی شرکت سیریاتل بزرگترین شرکت تلفن همراه سوریه است. رامی مخلوف در زمینه‌های گوناگون تجاری مانند مخابرات، نفت و گاز، ساخت‌وساز، امور بانکی، شرکت هواپیمایی، و خرده‌فروشی فعال است. رامی مخلوف از دایره نزدیکان بشار اسد و یکی از بانفوذترین و قدرتمندترین مردان سوریه است. به گفته تحلیلگران هیچ شرکت خارجی بدون گرفتن رضایت او نمی‌تواند در سوریه آغاز به کار کنند. روابط خانوادگی. رامی مخلوف یکی از ثروتمندان سوریه و از طریق
رامی مخلوف یکی از ثروتمندان سوریه و از طریق عمه‌اش انسیه مخلوف همسر حافظ اسد به خانواده اسد متصل است. رامی مخلوف و بشار اسد، همبازی دوران کودکی بودند. در سال ۲۰۰۸ ثروت او نزدیک به ۶ میلیارد دلار آمریکا برآورد شد. حافظ اسد از سال ۱۹۹۰ خصوصی‌سازی را آغاز کرد که این کار به نفع خانواده مخلوف تمام شد. خانواده مخلوف با اتکا به پشتیبانی بشار اسد شروع به راه‌اندازی شبکه ای از مغازه‌های خرده‌فروشی کرد که از پرداخت هرگونه حقوق گمرکی معاف بودند. رامی مخلوف به عنوان یکی از سه راس مثلث قدرت شیعیان علوی در سوریه شناخته
از سه راس مثلث قدرت شیعیان علوی در سوریه شناخته می‌شد. گفته می‌شود پس از مرگ حافظ اسد، بشار اسد قدرت سیاسی، ماهر اسد قدرت نظامی، و رامی مخلوف قدرت اقتصادی کشور را با یکدیگر تقسیم کردند. وفاداری رامی مخلوف به بشار اسد و پشتیبانی از او از هنگام ریاست‌جمهوری بشار اسد زبانزد بوده است. رامی مخلوف در حمایت مالی از بشار اسد در جنگ داخلی سوریه نقشی حیاتی داشته است. کنش‌های تجاری. در سال ۲۰۰۴ رامی مخلوف تلاش کرد حق امتیاز انحصاری واردات خودرو و قطعات مرسدس-بنز را به دست بیاورد. این شرکت از این کار خودداری کرد. چون
دست بیاورد. این شرکت از این کار خودداری کرد. چون این امتیاز از سال ۱۹۶۰ (میلادی) در انحصار خانواده سنکر بود. این خودداری باعث توقف کامل فعالیت‌های مرسدس بنز در سوریه شد و تا اختلافات حل نشده بود اجازه فعالیت دوباره به این شرکت داده نشد. هم‌اکنون این امتیاز بار دیگر به خانواده سنکر واگذار شده‌است. دامنه فعالیت‌های اقتصادی مخلوف بسیار گسترده‌است. او در زمینه گردشگری و رستوران‌های لوکس، املاک و مستغلات سرمایه‌گذاری کرده‌است. او همچنین در شرکت هوایی مروارید نخستین شرکت خصوصی هوایی سوریه، چندین بانک خصوصی از
شرکت خصوصی هوایی سوریه، چندین بانک خصوصی از جمله بانک بین‌المللی اسلامی سوریه، بیبلوس بانک، الباراکا بانک، بانک بین‌المللی قطر از طریق خرید سهام سرمایه‌گذاری کرده‌است. وی همانند پدرش محمد مخلوف در زمینه شرکت‌های بیمه و خدمات مالی فعال است. انحصار واردات تنباکو به سوریه هم در دست او است. رامی مخلوف همچنین ارتباط نزدیکی با بشرا اسد خواهر بزرگتر بشار و همسرش آصف شوکت دارد. وی همچنین در چندین پروژه تجاری با ماهر اسد برادر کوچکتر بشار اسد در لبنان همکاری کرده و به دنبال تنش بین این دو در سال ۲۰۰۵ مخلوف، بخشی از
دنبال تنش بین این دو در سال ۲۰۰۵ مخلوف، بخشی از کسب‌وکار خود را به دبی منتقل کرد. اتهام رشوه خواری. مخالفان دولت سوریه رامی مخلوف را هشت‌پا و مظهر فساد و رشوه خواری اقتصاد سوریه می‌دانند. ایالات متحده آمریکا از سال ۲۰۰۸ وی را در فهرست تحریمی‌های خود افزود. جنگ سوریه در سال ۲۰۱۱. فعالان مخالف دولت می‌گویند که رامی مخلوف تأمین کننده راهپیمایی‌های دولتی در پشتیبانی از بشار اسد است.از ۹ مه ۲۰۱۱ اتحادیه اروپا مخلوف را به همراه ۱۲ نفر دیگر از مقام‌های سوری به دلیل مشارکت در سرکوب مداوم مردم سوریه تحریم کرد. این
مشارکت در سرکوب مداوم مردم سوریه تحریم کرد. این تحریم‌ها شامل مسدود کردن دارایی‌ها و ممنوعیت سفر به اتحادیه اروپا می‌شود. در سال ۲۰۱۱ خبرگزاری سوریه (سانا) می‌گوید مخلوف می‌خواهد سهامش را در شرکت سیریاتل بفروشد و درآمد آن را صرف امور خیریه و کمک به بازماندگان معترضان کند. اختلاف با بشار اسد. از سال ۲۰۱۹ شایعه‌هایی از اختلاف میان بشار اسد و رامی مخلوف بر سر جنگ قدرت شنیده می‌شد. تا جایی که گفته شد در تابستان ۲۰۱۹ شایعه بازداشت خانگی رامی مخلوف به گوش رسید. به نظر می‌آید تحریم‌ها و هزینه جنگ داخلی سوریه باعث
نظر می‌آید تحریم‌ها و هزینه جنگ داخلی سوریه باعث شده تا بشار اسد از صاحبان سرمایه در این کشور، پول مطالبه کند. در ۳۰ آوریل ۲۰۲۰ رامی مخلوف با انتشار ویدیویی ۱۵ دقیقه‌ای در فیس‌بوک از بشار اسد کمک خواست که نشانی از اختلاف او با رییس‌جمهور سوریه و دوست قدیمش است. او با لحنی گله‌مند گفت که «حلقه‌ای از مقام‌ها» باعث و بانی رنج و دردسرهای او هستند؛ کسانی که «همواره مرا مظنون جا زده‌اند». او خود را «بخش کوچک و ساده‌ای از کل نظام» خواند و با عجز و لابه از «آقای رییس‌جمهور» خواست حرفش را باور کند. در ۳ مه ۲۰۲۰
رییس‌جمهور» خواست حرفش را باور کند. در ۳ مه ۲۰۲۰ رامی مخلوف با انتشار ویدیویی خبر از دستگیری کارکنان خود و درخواست از او برای کناره‌گیری داد.
مری وارنوک، بارونس وارنوک (۱۴ آوریل ۱۹۲۴ - ۲۰ مارس ۲۰۱۹)، فیلسوف بریتانیایی‌ست. پژوهش‌های او در حوزه اخلاق، تربیت، ذهن و اگزیستانسیالیسم است.
لیسه دریایی آبی‌رنگ (نام‌های معمول: پرستوی دریایی، گلوکوس آبی‌رنگ، لیسه اقیانوسی آبی‌رنگ) گونه‌ای لیسه دریایی لجه‌نشین، شکم‌پایی اقیانوسی و نرم‌تنی در تیره خاکستری‌لیسه‌سانان است. این جانور تنها گونه در سرده خاکستری‌لیسه‌ایان است ولی خویشاوندی نزدیکی با Glaucilla marginata، یکی دیگر از اعضای تیره خاکستری‌لیسه‌سانان دارد. لیسه دریایی آبی‌رنگ ناوچه پرتغالی شکار می‌کند و نیش آن برای انسان‌ها دردناک و در بعضی موارد کشنده است. توصیف ظاهری. اندازه عادی این جانور به ۳ سانتی‌متر می‌رسد. رنگ آن در بخش پشتی خاکستری
به ۳ سانتی‌متر می‌رسد. رنگ آن در بخش پشتی خاکستری نقره‌ای است و روی شکم تاریک و آبی‌رنگ است. خط‌های آبی تاریکی نیز در لبه پاها وجود دارند. شکل بدن از سر تا ته باریک‌شونده و صاف است که شش پیوند فرعی از آن جدا می‌شوند. دندان‌های سوهانکی این جانور دارای شیارهای دندانه‌دانه بر تیغه خود هستند. گستره پراکندگی. این لیسه دریایی در مناطق لجه‌ای همه اقیانوس‌های جهان و در آب‌های معتدل و استوایی پیدا می‌شود. مناطقی که این جانور یافت می‌شود شامل کرانه‌های شرقی و جنوبی آفریقای جنوبی، آب‌های اروپا، کرانه شرقی استرالیا و
جنوبی، آب‌های اروپا، کرانه شرقی استرالیا و موزامبیک می‌شوند. این جانور با کشش سطحی اقیانوس به بالا و پایین آب کشیده می‌شود.
شرکت کودا آتوموتیو نام یک تولیدکنندهٔ خودرو برقی بود. این کمپانی آمریکایی که در سال ۲۰۰۹ میلادی در کالیفرنیا تأسیس شد، خودرو تمام‌برقی تولید می‌کرد. این خودرو از نخستین خودروهایی است که از باتری یون لیتیومی آهنی فسفات برای هر شارژ استفاده می‌کرد. در سال ۲۰۱۳ این شرکت لس آنجلسی اعلام ورشکستگی کرد.
مهدی بهزاد ریاضی‌دان مشهور ایرانی و یکی از پیشگامان در نظریه گراف است. او مؤلف دو کتاب در این زمینه منتشره ۱۹۷۲ و ۱۹۷۸ است که سال‌ها مرجع اصلی این زمینه بودند. عدد اردوش او ۱ است. او در بسیاری از دانشگاه‌ها از جمله دانشگاه شیراز،شهید بهشتی، میشیگان، صنعتی شریف، و ایالتی میشیگان و ام آی تی تدریس کرده‌است. او از مؤسسان انجمن ریاضی ایران و اولین دبیرکل فرهنگستان علوم ایران است. او اکنون عضو پیوسته فرهنگستان علوم جمهوری اسلامی ایران است. مهدی بهزاد واضع عدد رنگی کلی (انگاره بهزاد) است که ۶۰ سال است که به قوت
کلی (انگاره بهزاد) است که ۶۰ سال است که به قوت خود باقی است و اثبات یا رد نشده‌است. او اولین استاد تمام دانشگاه صنعتی شریف است. بهزاد از چهره‌های ماندگار کشور و همچنین برگزیده جایزه علامه طباطبایی بنیاد ملی نخبگان در سال ۱۳۹۰ است.
در علوم کامپیوتر و نظریه گراف، مسئله مسافر کانادایی (به انگلیسی: Canadian Traveller Problem , به اختصار: CTP) یک کلیت از مسئله یافتن کوتاهترین مسیر در گراف‌ها است. به عبارت دیگر، گراف نازل شده‌است در حالی که گراف هنوز در حال کاوش است، و گره‌های طی می‌شوند حتی اگر آن‌ها کمکی برای رسیدن به مسیر نهایی نکنند. این مسئله بهینه‌سازی توسط کریستوس پاپادیمیتریو و میهالیس یاناکاکیس به همراه مسائل گوناگون دیگر از سال ۱۹۸۹ مورد مطالعه قرار گرفته و معرفی شده‌است. اسم مسئله ظاهراً از گفتگوی برنامه‌نویسها کامپیوتری با
مسئله ظاهراً از گفتگوی برنامه‌نویسها کامپیوتری با راننده‌های کانادایی که از مشکل بارش برف که جاده‌ها را به‌طور تصادفی مسدود می‌کرد گرفته شده‌است. نسخه تصادفی، که در آن هر یک از گره‌های آن با احتمال از مستقل بودن در گراف همراه شده‌است، توجه قابل ملاحظه‌ای درتحقیق در عملیات تحت نام مسئله یافتن کوتاهترین مسیر تصادفی با منابع (به انگلیسی: the Stochastic Shortest Path Problem with Recourse , به اختصار: SSPPR) داشته‌است. مقدمه. فرض کنید که یک نقشه راه داده می‌شود که در آن چند جاده به همراه زمان گذشتن از آن
که در آن چند جاده به همراه زمان گذشتن از آن جاده‌ها مشخص است. با این حال، این نقشه راه نامطمئن است، برخی از جاده‌ها ممکن است برای سفر در زمان‌های خاص نامناسب باشند و توسط برف مسدود شوند؛ و تنها پس از رسیدن به آخر جاده می‌توان نشان داد که به انتها رسیده‌است یا خیر. مسئله مسافر کانادایی یک تدبیر استراتژی سفر است که یک مسیر خوب را تضمین می‌کند با توجه به اینکه عدم قطعیت بر مسئله حاکم است. پاپادیمیتریو و یاناکاکیس ثابت کردند که اگر تعدادی از جاده‌ها ممکن است مسدود شوند و ثابت نباشند، پس استراتژی ای مسئله از
مسدود شوند و ثابت نباشند، پس استراتژی ای مسئله از نوع "PSPACE complete"است. متغییرها. در درجه اول، پنج پارامتر تعیین‌کننده تعداد متغیرهای مسئله مسافر کانادایی وجود دارد. اولین پارامتر، چگونگی ارزش گذاری مسیر یک سیاست برای یک مثال یا "تحقق" مشخص می‌شود. در مسئله یافتن کوتاهترین مسیر تصادفی با منابع، هدف به حداقل رساندن هزینه مسیر می‌باشد (بعنوان مجموع کل مرزهای قیمت گره ضرب در تعداد دفعاتی که گره گرفته شد). برای مسئله مسافر کانادایی، کار، به حداقل رساندن نسبت رقابتی مسیر می‌باشد، یعنی به حداقل رساندن تعداد
رقابتی مسیر می‌باشد، یعنی به حداقل رساندن تعداد دفعات، هر چقدر مسیر ایجادشده طولانی‌تر باشد، کوتاهترین مسیر را در "تحقق" داریم. پارامتر دوم، چگونگی ارزیابی یک سیاست با توجه به "تحقق"های مختلف همراه با یک مثال موردنظر می‌باشد. در یک مسئله مسافر کانادایی باید به بررسی بدترین مورد و در SSPPR، به مورد متوسط پرداخت. برای تحلیل مورد متوسط، باید توزیع پیشین را در "تحقق"ها مشخص کرد. پارامتر سوم محدود به نسخه‌های تصادفی بوده و در مورد فرضیه‌هایی در رابطه با توزیع "تحقق"ها و چگونگی نمایش "تحقق"ها در ورودی می‌باشد.
و چگونگی نمایش "تحقق"ها در ورودی می‌باشد. در مسئله مسافر کانادایی تصادفی و مسئله یافتن کوتاهترین مسیر تصادفی مستقل از گره (i-SSPPR)، هر گره نامشخصی (یا هزینه) احتمال محقق شدن را دارد و حتی اینکه گره گراف، مستقل از محقق شدن دیگر گره‌ها می‌باشد. حتی اگر این مسئله یک ساده‌سازی قابل توجه باشد، مسئله هنوز کلاس پی خواهد بود. متغیر دیگر، عدم وجود فرضیه در مورد توزیع است، اما هر محقق را باید با احتمال غیرصفر مشخص کرد (مثل احتمال ۰٫۱ مجموعه گره‌های ،، احتمال ۰٫۲) که به آن مسئله یافتن کوتاهترین مسیر تصادفی توزیع
که به آن مسئله یافتن کوتاهترین مسیر تصادفی توزیع می‌گوید و NP کامل است. اولین متغیر سخت‌تر از دومی است، چون مورد اول می‌تواند در فضای لگاریتمی، توزیعی را نشان دهد که دومی، در فضای خطی نشان می‌دهد. پارامتر چهارم و آخر، چگونگی تغییر شکل گراف در طول زمان است. در CTP و SSPPR، "تحقق" ثابت می‌شود، اما مشخص نیست. در مسئله یافتن کوتاهترین مسیر تصادفی با منابع یا مسئله یافتن کوتاهترین مسیر مورد انتظار، "تحقق" جدیدی از توزیع بعد از هر مرحله از سیاست، انتخاب می‌شود. این مسئله را می‌توان در یک زمان چندجمله‌ای با کاهش
مسئله را می‌توان در یک زمان چندجمله‌ای با کاهش آن تا یک فرایند تصمیم مارکو (Markov) با افق چندجمله‌ای، حل کرد. تعمیم مارکو، که "تحقق" گراف ممکن است روی "تحقق" بعدی تأثیر بگذارد، بسیار سخت‌تر است. یک پارامتر بعدی، چگونگی کشف دانش جدید در "تحقق" است. در متغیرهای قدیمی CTP، عامل، وزن دقیق گره را از طریق رسیدن به رأس کناری، مشخص نمی‌کند. متغیر جدیدی اخیراً پیشنهاد شده که یک عامل توانایی سنسور راه دور را از هر مکانی روی "تحقق" دارد. در این متغیر، باید هزینه حرکت را بعلاوه هزینه عملیات سنسور به حداقل رساند.
حرکت را بعلاوه هزینه عملیات سنسور به حداقل رساند. تعریف رسمی. متغیر را از سال ۱۹۸۹ تعریف کردیم. هدف، به حداقل رساندن نسبت رقابتی در بدترین مورد است. باید با معرفی عبارات خاص شروع کرد. یک شکل مشخص و گروهی از اشکال غیرجهت‌دار را در نظر گرفت که می‌توانند با اضافه‌کردن یک یا چند گره از یک مجموعه خاص، ساخته شوند. به‌طور رسمی formula_1 است؛ که "E" را گره‌هایی می‌گیریم که در گراف وجود دارد و "F" گره‌هایی است که ممکن است در گراف داشته باشیم. می‌گوییم که formula_2 'تحقق' طرح گراف است. بعلاوه، یک ماتریس هزینه مورد
'تحقق' طرح گراف است. بعلاوه، یک ماتریس هزینه مورد نظر داریم، "ω"، که formula_3 هزینه رفتن از رأس "i" به "j" می‌باشد و فرض کنید این گره، در "تحقق" باشد. برای هر رأس "v" در "V", formula_4 را گره مجاور با توجه به مجموعه "B" روی "V" می‌نامیم. بعلاوه، برای "تحقق" formula_2 , formula_6 را هزینه کوتاهترین مسیر به شکل "s" تا "t" بگیرید. به این مسئله آفلاین (off-line) می‌گویند چون الگوریتم چنین مسئله‌ای، اطلاعات کامل هندسی دارد. می‌گوییم که استراتژی formula_7 برای رهگیری چنین شکلی، از formula_8 تا "E" ادامه دارد،
رهگیری چنین شکلی، از formula_8 تا "E" ادامه دارد، جایی که formula_9، مجموعه توانی "X" را نشان می‌دهد. هزینه formula_10 استراتژی formula_7 را با توجه به "تحقق" مخصوص formula_12 تعریف می‌کنیم. Let formula_13 and formula_14. For formula_15, define formula_16, formula_17, and formula_18. If there exists a "T" such that formula_19, then formula_20, otherwise let formula_21. به عبارت دیگر، سیاست را براساس گره‌هایی محقق کنیم که در گراف (formula_22) هستند و گره‌هایی که در (formula_23) باشند. وقتی گامی را در گراف
که در (formula_23) باشند. وقتی گامی را در گراف جلو می‌رویم، گره مجاور مکان جدید خود را خواهیم شناخت. آن گره‌هایی که در شکل هستند، صرف نظر از بودن گره‌ها، به formula_22 اضافه می‌شوند و از مجموعه گره‌های ناشناخته formula_23 خارج می‌شوند. اگر هدف هیچ وقت نائل نگردد، می‌گوییم که یک هزینه نامحدود داریم. اگر به هدف برسیم، هزینه مسیر را بعنوان مجموع هزینه‌های گره‌های طی شده تعریف می‌کنیم. سرانجام، مسئله مسافر کانادایی را تعریف می‌کنیم. پاپادیمیتریو و یاناکاکیس اظهار داشتند که در این مسئله یک بازی دونفره (نظریه
داشتند که در این مسئله یک بازی دونفره (نظریه بازیها) داریم که بازیگران در هزینه مسیرهای مربوط به خود را رقابت می‌کنند و مجموعه گره توسط بازیگر دوم انتخاب می‌شود. پیچیدگی. تجزیه و تحلیل مسئله مسافر کانادایی در مورد پیچیدگی نشان می‌دهد که این مسئله از نوع "PSPACEکامل" (PSPACE-complete) باشد. اما همچنین در مورد اینکه این مسئله از نوع P-hard# باشد؛ بحث است. در هر صورت این بحث هنوز به نتیجه‌ای نرسیده‌است. نسخهٔ تصادفی این مسئله هم در تحقیق در عملیات، به عنوان مسئله یافتن کوتاهترین مسیر تصادفی با منابع شناخته
مسئله یافتن کوتاهترین مسیر تصادفی با منابع شناخته شده‌است.
علی‌محمد رنجبر، استاد ایرانی مهندسی برق بود. او اولین رئیس دانشگاه صنعتی شریف پس از انقلاب اسلامی ایران بود. او در شهر بروجرد به دنیا آمد و فوق لیسانس و دکترای خود را در سال‌های ۱۳۴۷ و ۱۳۵۴ از دانشگاه‌های تهران و امپریال کالج لندن گرفت. وی در طول دوران کاری خود، در دانشکده مهندسی برق دانشگاه صنعتی شریف و دانشگاه علوم و تحقیقات تهران با رتبه استاد تمام مشغول بوده‌است. رنجبر همچنین از سال ۱۳۷۶ تا ۱۳۸۵ رئیس پژوهشگاه نیرو نیز بود. علایق پژوهشی او حوزه سیستم‌های قدرت و حفاظت سیستم‌های قدرت، ماشین‌های الکتریکی و
قدرت و حفاظت سیستم‌های قدرت، ماشین‌های الکتریکی و شبکه‌های هوشمند بود. وی در سال ۱۳۸۳ به عنوان چهره ماندگار برگزیده شد و در سال ۱۳۹۳ از برگزیدگان چهارمین دوره جایزه علمی علامه طباطبایی بنیاد ملی نخبگان بود. وی که داماد آیت‌الله روح‌الله کمالوندخرم‌آبادی بود به تاریخ ۱۲ تیر سال ۱۴۰۰ درگذشت.
علی خدایی (زادهٔ ۱۳ فروردین ۱۳۳۷، تهران) نویسنده معاصر است. زندگی ادبی. خدایی فارغ‌التحصیل رشتهٔ علوم آزمایشگاهی از دانشگاه اصفهان است و در اصفهان سکونت دارد. دومین مجموعه داستان او با نام "تمام زمستان مرا گرم کن" در سال ۱۳۸۰ برندهٔ جایزه هوشنگ گلشیری شد و در جایزه منتقدان و نویسندگان مطبوعاتی عنوان «بهترین مجموعه داستان دهه ۸۰» را به دست آورد. در نظرسنجی روزنامه همشهری نیز که در سال ۱۳۹۰ با شرکت ۴ گروه نویسندگان، منتقدان، روزنامه‌نگاران و ناشران انجام شد، این مجموعه داستان در کنار "زندگی مطابق خواسته تو
این مجموعه داستان در کنار "زندگی مطابق خواسته تو پیش می‌رود" نوشتهٔ امیرحسین خورشیدفر به عنوان بهترین مجموعه داستان دههٔ ۸۰ برگزیده شد. خدایی داور جایزه گلشیری نیز بوده است. آثار. از علی خدایی تاکنون سه مجموعه داستان کوتاه منتشر شده است:
مقبره مولانا سید حسن ولیدر استان مازندران بخش لاریجان واقع در جاده هراز و در بخش لاریجان روستا نیاک قرار دارد. سید حسن ولی مرد زاهد و عارف ای بود از نسل امام حسن مجتبی (ع) که در سال ۸۵۶ هجری قمری وفات یافت. این مکان زیارتی به فاصله یک کیلومتری با جاده اصلی هراز قرار دارد و همه ساله میزبان علاقه مندان از اقصی نقاط کشور در تمام فصول به ویژه در اردیبهشت ماه و درمراسم برف چال می‌باشد. در این مکان در کنار مقبره درویش تاج الدین سید حسن ولی ، قبری است متعلق به برادر وی سید عالی (سید علی) و قبری از یکی از دراویش و
وی سید عالی (سید علی) و قبری از یکی از دراویش و مریدان سید ولی، درویش سهراب که قبر و مزار این بزرگواران وجود دارد که در سنوات مختلف زمان بازسازی گردیده است. سید حسن ولی در ۷۲ سالگی و (بدون آنکه ازدواج کند ، به روایتی) به سال ۸۶۵ ه. ق در گذشته است.