Payamvdn/NorthPersian_fa_wiki huggingface dataset:
وبرزن قرار گیرد به امید اینکه با کمک مالی ساتراپ شورشی، سپاهیان مزدور استخدام کند. آتنی ها سی کشتی جنگی و هشت هزار سرباز مزدور فرستادند، این کشتی ها و سپاهیان که تحت فرماندهی سردار آتنی تیموتوس قرار داشتند برای کمک به آریوبرزن آمده بودند. ولی به سپاهیان آتنی دستور داده بودند که پیمانهای منعقده با شاه را نقض نکنند! گویی کمک به آریوبرزن اصولاً نقض شرایط قرارداد صلح آنتالکیداس نیست. شورش به سرعت گسترش یافت و حتی به شهرهای فنیقیه هم رسید. وادفرداد که هنوز نسبت به شاه وفادار بود خود را مطلقاً تنها یافت و به این اندیشه افتاد که به جای اجرای یک جنگ خطرناک علیه دشمنان اردشیر، همان بهتر که به جبهه مخالفان او برود. در همان حال یکی از دامادهای اردشیر نیز به جبهه داتامش پیوست. این همان اروند یکم ساتراپ ارمنستان بود. ساتراپ های شورشی، شخصی به نام رئومیترس را نزد فرعون مصر تاکوس فرستادند و از وی کمک خواستند. تاکوس پول و کشتی برای شورشیان فرستاد. از طرف دیگر پی سیدیانها و لیسیانها نیز از شورشیان علیه شاه بزرگ پشتیبانی کردند. بدین ترتیب سراسر آسیای صغیر و پاره ای از مناطق همجوار آن همگی علیه شاه بزرگ به حالت جنگی درآمدند. ول
ی هدف اصلی هر یک حفظ منافع شخصی بود و هر کدام آماده بودند تا به متحدان خود خیانت کرده وارد مذاکره با شاه ایران شوند. آن ها به یکدیگر اعتمادی نداشتند. یرواند یکم در سال ۳۶۳ پ. م به جبهه اردشیر رفت در حالی که قرار بود به سوریه برود و بدین سان به سربازان مزدوری که در خدمتش بودند، خیانت کرد. پس از او، وادفرداد نیز به او پیوست. سرانجام در سال ۳۶۰ پ. م مهرداد فرزند آریوبرزن نیز به پدر خیانت کرد و او را کشت. سیاستمداران دربار شاه نیز از آن سو موفق شدند سپاهیان داتامش را علیه او بشورانند. اشخاص دیگر. اشخاص دیگری نیز بودند که اسم *Dātama یا Datámās داشتند. یکی از آن ها رهبر کادوسیان در حمله به دژ گاداتاس تحت رهبری کوروش بزرگ (۵۵۹–۵۲۹ پ. م) بود، که در نزدیکی بابل کشته شد. Datámās دیگر، میریاچ (رهبر ۱۰ هزار سواره نظام پارسی) بود که در رژه پیروزمندانه کوروش شرکت کرده بود. یک *Dātama (ایلامی Da-(ad/ud-)da-ma))، مقام رسمی در زمان داریوش اول (۵۲۲–۴۸۶ پ. م) بود که عملکردش نامشخص است، نام این شخص در لوح های پرسپولیس چندین بار آمده است و احتمالاً شخص دیگری که صاحب مهر پوسپولیتن شماره ۲۰ (احتمالاً از دوران حکومت خشایارشا اول تا
اردشیر اول بوده) که مربوط به کتیبه آرامی تکه تکه شده «مهر dtm» است. داتامش، یکی از شاهان کاپادوکیه که در شجره نامه مرتبط با خاندان کوروش بزرگ لیست شده است، گفته می شود که پسر آنافاس، یکی از «۷ پارسی» بوده و او را به تخت پادشاهی نشانده است. او همچنین به عنوان پدر آریا (رَ) منش شناسایی شده است. این داتامش به عنوان جنگجوی شجاع و کشته شده در جنگ ستایش شده است. در آخر، داتامش پارسی وجود داشته که فرمانده ناوگان ۱۰ کشتی که به سمت کیکلدش در ۳۳۴/۳۳۳ پ. م حرکت کرده اند، در عهد فرمانروایی داریوش سوم (۳۳۶–۳۳۰پ. م) می زیسته است. در حالی که ناوگان در نزدیکی سیفنوس لنگر انداخته بود، او بوسیله پرتیس مقدونی مورد حمله قرار گرفت و هشت کشتی او به دست پرتیس افتاد. داتامش توسط بدنه اصلی ناوگان پارسی فرار کرد.
در باور برخی ادیان خداباور، خدا در گذشته خود را به برخی افراد بشر نمایان ساخته که به این امر ظهور خدا به انسان یا تجلی خدا به انسان یا خدانمود (، ، ) گفته می شود. قدیمی ترین متنی که در آن از خدانمود سخن رفته حماسه گیلگامش است. در سنت کلاسیک غربی ایلیاد نخستین متنی است که در آن خدانمود ذکر شده است. در عهد عتیق، خدا بر آدم، ابراهیم، یعقوب، موسی، یوشع، ایلیا، و دانیال نمایان می شود. در کلیسای کاتولیک، کلیسای ارتودکس، و برخی کلیساهای لوتری جشن خدانمون در روز ششم ژانویه برگزار می شود.
در نظریه گراف، یک عامل از یک گراف "G" یک زیرگراف فراگیر است، برای مثال یک زیرگرافی که مجموعه رئوس برابری با "G" دارد. یک k"-عامل از یک گراف یک زیرگراف فراگیر "k"-منتظم است و یک k"-عامل بندی یال های گراف را به "k"-عامل های مستقل افراز می کند. گراف "G" را "k"-عامل پذیر می گویند هرگاه قابل "k"-عامل بندی شدن باشد. به طور کلی، یک ۱-عامل یک تطابق کامل است، و یک ۱-عامل بندی یک گراف "k"-منتظم یک رنگ آمیزی یالی با "k" رنگ است. یک ۲-عامل مجموعه ای از دور ها است که تمام رئوس گراف را پوشش می دهند. ۱-عامل بندی. اگر یک گراف ۱-عامل پذیر باشد، بنابراین باید یک گراف منتظم باشد. اما تمام گراف های منظم ۱-عامل پذیر نیستند. یک گراف "k"-منتظم ۱-عامل پذیر است اگر عدد رنگی "k" داشته باشد. به عنوان مثال: اما گراف های "k"-منتظمی وجود دارد که عدد رنگی آن ها k"+۱" است و این گراف ها ۱-عامل پذیر نیستند. به عنوان مثال: گراف های کامل. یک ۱-عامل بندی از یک گراف کامل متناظر است با جفت ها در رقابت های دوره ای. ۱-عاملبندی یک گراف کامل یک حالت خاص از قضیه بارانیای که به ۱-عامل بندی یک ابرگراف کامل مربوط است. یکی از روش های ساختن یک ۱-عامل بندی ا
ز یک گراف کامل این است که تمام رئوس به جز یکی را دور یک دایره بچینیم که یک چند ضلعی منتظم تشکیل بدهد، و راس باقیمانده را در وسط دایره قرار دهیم. اگر با این چیدمان رئوس، یک راه برای ساختن ۱-عامل گراف انتخاب یک یال "e" از مرکز به یکی از رئوس چند ضلعی و انتخاب تمام یال های عمود بر آن. ۱-عامل هایی که با این روش ساخته می شوند ۱-عامل بندی گراف را تشکیل می دهند. حدس 1-عامل بندی. فرض کنید "G" یک گراف ,"k"-منتظم با 2"n" راس باشد. اگر "k" به مقدار کافی بزرگ باشد، فهمیده می شود که "G" باید 1-عامل پذیر باشد: حدس 1-عامل بندی یک حدس قدیمی است که بیان می کند "k"≈"n" کافی است. در بیانی دقیق تر حدس می گوید: اگر "n" فرد باشد و "k" ≥ "n" باشد آنگاه "G" گرافی 1-عامل پذیر است. همین طور اگر "n" زوج باشد و 1 - "k" ≥ "n" آنگاه "G" گرافی 1-عامل پذیر است. حدس overfull حدس 1-عامل بندی را نتیجه می دهد. ۲-عامل بندی. اگر یک گراف ۲-عامل پذیر باشد، آنگاه آن باید برای یک "k" صحیح ۲"k"-منتظم باشد. جولیوس پترسون در سال ۱۸۹۱ نشان داد که شرط لازم کافی هم است: هر ۲k-منتظم ۲-عامل پذیر است. اگر یک گراف همبند ۲"k"-منتظم باشد و تعداد زوجی یال داشته ب
اشد، شاید "k"-عامل بشود، به این ترتیب که هر کدام از دو عامل های یک زیر مجموعهٔ متفاوت از یال های تور اویلری است. این قضیه فقط بر روی گراف های همبند صادق است. مثال نقض های گراف های ناهمبند، اجتماع تعدادی دورهای فرد یا "K"۲"k"+۱ مستقل است.
نومینگیا نام یک سرده از فروراسته خاگ دزدخزندگان است.
در نظریهٔ گراف، قضیه بروکس رابطه ای بین بیشترین یک گراف و عدد رنگی آن بیان می کند. بر اساس این قضیه، در یک گراف همبند که هر راسی حداکثر Δ همسایه دارد، راس ها می توانند تنها با Δ رنگ، رنگ آمیزی شوند، به جز در دو حالت، گراف های کامل و گراف های دوری با دور به طول فرد، که به Δ + ۱ رنگ نیاز دارند. این قضیه به افتخار نام گذاری شده است، کسی که یک اثبات از این مسئله را در سال ۱۹۴۱ منتشر کرد. یک رنگ آمیزی با تعداد رنگ هایی که قضیه بروکس ارائه می دهد، عموماً رنگ آمیزی بروکس یا Δ-رنگ آمیزی نامیده می شود گزاره رسمی. برای هر گراف بدون جهت همبند G با بیشترین درجه Δ، عدد رنگی G حداکثر Δ است مگر در حالتی که G خوشه یا دور فرد باشد، در این حالت عددرنگی Δ + ۱ است. اثبات. یک اثبات ساده شده برای قضیه بروکس ارائه داد. اگر گراف دوهمبند نباشد مؤلفه های دوهمبند آن را می توان به صورت جدا رنگ آمیزی کرد و سپس رنگ آمیزی ها را با هم ترکیب کرد. اگر گراف یک راس v با درجهٔ کمتر از Δ داشته باشد، آنگاه یک الگوریتم رنگ آمیزی حریصانه که راس های دور از v را قبل از راس های مجاور آن رنگ می کند حداکثر Δ رنگ استفاده می کند. ازاین رو، سخت ترین حالت اث
بات به گراف های Δ-منتظم دوهمبند با Δ≥۳ مربوط است. در این حالت، Lovász نشان داد که می توان یک درخت پوشا پیدا کرد به طوری که دو راس همسایه با ریشه v, u و w که با هم مجاور نیستند در درخت برگ باشند. یک رنگ آمیزی حریصانه از راس u و w شروع می کند و راس های باقی مانده از درخت پوشا را از پایین به بالا با حداکثر Δ رنگ، رنگ می کند. برای رنگ کردن هر راس به جز v، آن راس یک پدر در درخت دارد که هنوز رنگ نشده است، پس همسایه های رنگ شده این راس نمی توانند همهٔ رنگ ها را استفاده کرده باشند، در حالی که برای راس v هم دو راس همسایه آن، u و w رنگ یکسان دارند پس باز هم یک رنگ برای راس v باقی می ماند. تعمیم. یک تعریف عمومی تر از این تئوری به فهرست رنگ آمیزی اشاره می کند: برای هر گراف هم بند بدون جهت با بیش ترین درجه Δ که خوشه یا دور فرد نباشد، و یک فهرست از Δ رنگ برای هر راس، می توان به هر راس یک رنگ از این فهرست تخصیص داد به صورتی که هیچ دو راس همسایه، رنگ یکسان نداشته باشند. به عبارت دیگر، فهرست تعداد رنگ گراف هم یند بدون جهت G هرگز از Δ بیش تر نمی شود، مگر G خوشه یا دور فرد باشد. این قضیه توسط اثبات شده است. برای گراف های خاص، ح
تی کمتر از Δ رنگ نیاز است. نشان می دهد Δ – ۱ رنگ کافی است اگر و فقط اگر گراف داده شده هیچ Δ-خوشه نداشته باشد، Δ ارائه شده به اندازه کافی بزرگ است. برای ، یا به صورت کلی تر گراف هایی که همسایگی هر راسش به اندازه کافی متراکم باشد، (O(Δ/log Δ رنگ کافی است. درجه یک گراف در انواع دیگر رنگ آمیزی به صورت کران بالا نشان داده می شود: برای رنگ آمیزی یال، قضیه ویزینگ نتیجه می دهد که حداکثر Δ + ۱ رنگ لازم است. یک تعمیم از قضیه بروکس برای رنگ آمیزی کامل، که بیان می کند عدد رنگی کلی حداکثر Δ + ۲ است، توسط Behzad و Vizing حدس زده شده است. تئوری Hajnal–Szemerédi در بیان می کند هر گراف یک (Δ + ۱)-رنگ آمیزی دارد که در آن اندازه هر کلاس دو رنگ حداکثر یک اختلاف دارد. الگوریتم. یک Δ-رنگ آمیزی، یا حتی یک Δ-رنگ آمیزی فهرستی از یک گراف Δ-درجه ای ممکن است در زمان خطی پیدا شود. همچنین الگوریتم های کارآمدی برای پیدا کردن رنگ آمیزی بروکس در مدل های موازی و توزیع شدهٔ محاسبات وجود دارند.
ان اس دی یک پیاده سازی آزاد از پروتکل سامانه نام دامنه است. این برنامه توسط NLnet Labs آمستردام و با همکاری RIPE NCC نوشته شده است. ان اس دی مبتنی بر نرم افزار دیگری نیست و از ابتدا نوشته شده است. در تاریخ مارس ۲۰۰۸، سه تا از دی ان اس سرورهای root در اینترنت، از این برنامه استفاده می کرده اند و تعدادی سرویس دهنده دیگر که مسئول دامنه های سطح بالا هستند هم از این برنامه استفاده می کنند. این برنامه از فایل های ناحیه ای به شیوه بایند استفاده می کند و می توان فایل های ناحیه ای بایند را بدون تغییر در این برنامه هم استفاده کرد. مجموعه برنامه ها/فرایندهایی که NSD را تشکیل می دهند، به گونه ای نوشته شده اند که دیمن اصلی NSD به عنوان یک کاربر غیرممتاز اجرا می شود و می توان آن را به آسانی برای اجرا شدن در یک محیط chroot پیکربندی کرد و به این ترتیب، مشکلات امنیتی دیمن اصلی این برنامه، باعث نمی شود تا کل سیستم تحت تأثیر قرار گیرد.
سندمیل نرم افزاری همه منظوره برای ارسال و تبادل ایمیل است که از بسیاری از روش های فرستادن ایمیل از جمله SMTP (که برای تبادل ایمیل بر روی بستر اینترنت استفاده می شود) پشتیبانی می کند. این برنامه از نوادگان برنامه قدیمی تری به نام دلیورمیل است و توسط اریک آلمن نوشته شده است. سندمیل یکی از شناخته شده ترین پروژه های نرم افزاری آزاد و متن باز است. این برنامه هم به صورت یک نرم افزار آزاد و هم به صورت نرم افزار انحصاری منتشر می شود. اریک آلمن برنامه ای به نام delivermail را برای آرپانت نوشته بود که به همراه نسخه های ۴٫۰ و ۴٫۱ بی اس دی عرضه شد. او در اوایل دهه ۱۹۸۰ برنامه سندمیل را به عنوان یکی از مشتقات دلیورمیل، در دانشگاه برکلی نوشت. برنامه سندمیل به همراه سیستم عامل بی اس دی 4.1c که اولین نسخه از بی اس دی بود که از TCP/IP پشتیبانی می کرد، عرضه شد. در سال ۲۰۰۱، حدود ۴۲ درصد از سرویس دهنده ایمیل عمومی از برنامه سندمیل استفاده می کردند. آمارگیری های بعدی، نشاندهنده افت میزان استفاده از این برنامه بود، بطوریکه در یک آمارگیری که در سال ۲۰۱۳ توسط E-Soft, Inc انجام شده بود، تنها ۱۰٫۸۶ درصد از این برنامه استفاده می کردند
گروه ساس شرکت هلدینگ هوانوردی است، که مالک شرکت های هواپیمایی اسکاندیناوی، بلو۱، ویدیرئه و اسپن ایر می باشد، همچنین از سهام داران اصلی خطوط هواپیمایی ایر گرین لند و استونین ایر به شمار می آید. گروه ساس در سال ۱۹۴۶ با ادغام سه شرکت هواپیمایی حامل پرچم بنام های اروترانسپورت، دت دانسکه و دت نورسکه راه اندازی شد و در حال حاضر مالکیت این گروه متعلق به دولت سوئد (۲۱٫۴٪)، دولت دانمارک (۱۴٫۳٪)، دولت نروژ (۱۴٫۳٪) و بنیاد فاب (۷٫۶٪) (متعلق به خانواده والنبرگ) می باشد. دفتر مرکزی این شرکت در فرودگاه استکهلم-آرلاندا، سوئد قرار دارد و سهام آن در بازارهای بورس اوراق بهادار اسلو، بورس اوراق بهادار کپنهاگ و بورس اوراق بهادار استکهلم معامله می شود.
بردی دوگان (زاده ۳۰ اوت ۱۹۵۹) کارآفرین، بانکدار و مدیر ارشد اجرایی آمریکایی است، که اکنون به عنوان مدیر عامل اجرایی بانک کردیت سوئیس فعالیت می نماید.
لیائوشی بال نام یک سرده از تیره بادبان انگشتان است.
باستان بادبان انگشت نام یک سرده از راسته پتروسور است.
آلفرد اشر، (زاده ۲۰ فوریه ۱۸۱۹ – درگذشته ۶ دسامبر ۱۸۸۲) کارآفرین، سیاست مدار و مدیر ارشد اجرایی سوئیسی بود، که بنیانگذار شرکت ها و موسساتی چون کردیت سوئیس، سوئیس لایف، انستیتو تکنولوژی فدرال زوریخ، راه آهن شمال شرقی سوئیس و راه آهن گوتهارد می باشد.
زهرا سالاریه (متولد ۱۳۶۵ ، مازندران،بابل)بانوی ایرانی می باشد، که توانست دوره های سخت و طاقت فرسای کشتیرانی، ملوانی، تعمیر و نگهداری موتورهای دریایی را سپری کرده و نام خود را به عنوان "نخستین زن ایرانی دریانورد" ثبت کند، وی برای تحقق خواسته اش دو سال تمام را بر روی عرشه کشتی گذراند تا تمام شرایط کار بر روی کشتی را بیاموزد. وی در سن ۱۵ سالگی سکاندار قایق و کشتی های مسافربری شده است. و هم اکنون در زمینه تعمیر موتورهای دریایی، کاپیتانی کشتی های باری و مسافری فعال می باشد.
گنو بین یوتیلز نامی است که به دسته ای از ابزارهای برنامه نویسی که برای ایجاد و مدیریت کردن برنامه ها و فایل های باینری، فایل های آبجکت، کتابخانه ها، داده های پروفایلی، کدهای منبع اسمبلی و ... مورد استفاده قرار می گیرند گفته می شود. این بسته نرم افزاری در ابتدا توسط برنامه نویسان شرکت سیگنوس سلوشنز نوشته شد. بسیاری از این ابزارها در ترکیب با کامپایلرها (از جمله جی سی سی) ابزارهای کامپایل (نظیر make) و برنامه های اشکال زدایی (نظیر جی دی بی) مورد استفاده قرار می گیرند. برخی از این برنامه ها که از libbfd استفاده می کنند، قابلیت کار با قالب های پرونده ای فایل های آبجکت که توسط این کتابخانه پشتیبانی می شوند را هم دارند. H.J. Lu یک نسخه از این بسته نرم افزاری که مجهز به آخرین تغییرات و تکنولوژی هاست را اختصاص برای سیستم عامل لینوکس نگهداری و مدیریت می کند.
هودوریخت دندان نام یک سرده از راسته پتروسور است. "هودوریخت دندان" از قدیمی ترین و ابتدایی ترین خزندگان بال دار است و بقایای سنگواره ایش در سنگ های چین خورده ی کوه های شمال ایتالیا فراوانند. این جانور بی تردید نوعی خزنده ی بال دار بود و همه ی ویژگی های متمایزکننده ی این گروه را داشت، از جمله انگشت چهارمِ بسیار کشیده ای که غشای بالش را نگه می داشت. "هودوریخت دندان"، علاوه بر غشای بال، غشاهای دیگری هم میان مچ دست و گردن و میان پاها و دمش داشت که به هواسُری آن کمک می کردند. اما تحلیل اسکلت "هودوریخت دندان" نشان می دهد که می توانسته با بال زدن هم پرواز کند. "هودوریخت دندان" خزنده ی بال دار نسبتاً کوچکی بود و حدود ۱۰ کیلو وزن داشت؛ وزنی که در مقایسه با ابعاد غول آسای خویشاوندان آینده اش مثل "کوتزلکوتلوس" ناچیز به نظر می رسد. دندان های پیچیده ی "هودوریخت دندان" هم آن را از بیشتر خزندگان بال دار دیگر متمایز می کنند. بیشتر خزندگان بال دار دندان هایی ساده داشتند -یا اصلاً دندان نداشتند- اما "هودوریخت دندان" دهانی پر از دندان هایی عجیب داشت که هر کدامشان چند دندانه ی کوچک داشتند. این دندان ها برای گرفتن و خرد کردن شکار
عالی بودند و ممکن است که در نتیجه ی انطباق یافتن جانور با خوردنِ ماهی های بزرگ پدیدار شده باشند.
کتزلکوآتلوس نام یک سرده از راسته پتروسور است. کتزلکوآتلوس یک خزنده بالدار از دورهٔ کرتاسه پسین در آمریکای شمالی است. متعلق به خانوادهٔ اژدرهایان و بزرگ ترین جانور پرندهٔ شناخته شده است.
اژدرهایان نام یک تیره از راسته پتروسور است. نام این جانور از واژه فارسی اژدها گرفته شده است.این گروه از جانوران شامل بعضی از بزرگ ترین جانوران پرنده در کل زمان ها می شده است.
اژدرهاواران نام یک بالاخانواده از زیرراسته بال انگشتی سانان است.
ژیانگلینگ موتورز شرکت خودروسازی چینی است، که از طریق مشارکت انتفاعی با شرکت خودروسازی فورد، اقدام به تولید وسایل نقلیه تجاری می نماید، همچنین از طریق مشارکت با شرکت چانگان موتورز نیز خودروهای سواری با برند لندویند تولید می کند. ریشه های تأسیس این شرکت به سال ۱۹۵۲ بازمی گردد، که در قالب یک تعمیرگاه اتومبیل، در شهر نانچانگ فعالیت خود را آغاز کرد. در ۱۹۸۴ مونتاژ چند نمونه از کامیون های ایسوزو را آغاز کرد و در ۱۹۹۵ مشارکت با فورد آغاز گردید. دفتر مرکزی شرکت ژیانگلینگ موتورز در شهر نانچانگ، جیانگشی، جمهوری خلق چین قرار دارد و سهام آن در بازار بورس شنژن معامله می شود.
در سری های زمانی تاب دادن زمان هوشمند یا کش و قوس زمانی پویا (به انگلیسی: (Dynamic time warping(DTW) الگوریتمی برای اندازه گیری شباهت بین دو دنباله زمانیست که ممکن است در سرعت یا زمان متفاوت باشند. برای نمونه، DTW می تواند شباهت بین دو الگوی راه رفتن را بیابد حتی اگر سرعت یا شتاب راه رفتنشان در بازه های زمانی یکسان نباشد. DTW دنباله های زمانی داده های صوتی، ویدئویی و تصویری را تحلیل کرده است. در واقع هر داده ای که بتواند به صورت دنبالهٔ پشت سر هم اطلاعات به دست بیاید، DTW می تواند آن را تحلیل کند. یک کاربرد مهم این الگوریتم بازشناسی گفتار یکسان افراد مختلف با سرعت گفتار مختلف است. و از کاربردهای دیگر DTW می توان به تشخیص صدا، تشخیص دستخط و امضا اشاره کرد. همچنین استفاده های از آن در تشخیص تطبیق اشکال هندسی جزئی دیده شده است. در مجموع، DTW روشی است که بهینه ترین تطبیق بین دو دنباله زمانی با محدودیت های معین را پیدا می کند (برای مثال:سری زمانی). دنباله ها به صورت غیر خطی در محور زمان «کش و قوس پیدا می کنند» تا معیاری برای شباهت آن ها مستقل از برخی تغییرات غیر خطی در محور زمان به دست آورد. این روش تنظیم دنباله ب
سیاری از اوقات در دسته بندی سری زمانی مورد استفاده قرار می گیرد. اگرچه DTW معیاری همانند فاصله بین دو دنباله داده شده می یابد، تضمین نمی کند که نامساوی مثلث در مورد آن برقرار باشد. پیاده سازی. این مثال پیاده سازی الگوریتم DTW را برای دو دنباله رشته ای s و t از نشانه های مجزا ترسیم می کند. برای نشانه های x، y و (d(x,y برابر فاصله بین نشانه ها است. برای مثال |d(x,y)=|x-y گاهی ما قصد داریم که محدودیتی خاص اعمال نماییم. یعنی، نیاز داریم اگر [s[i با [t[j جورسازی شود، آنگاه |i-j| بیشتر از w نباشد، که w یک پارامتر پنجره ای است. ما می توانیم به سادگی الگوریتم بالا را برای اعمال محدودیت های خاص تغییر دهیم. با این حال، ویرایش داده شده در بالا تنها هنگامی کار می کند که |n-m| برگتر از w نباشد. یعنی نقطه انتهایی داخل طول قطری پنجره جای بگیرد. برای این که الگوریتم کار کند، بایستی پارامتر پنجره ای w طوری انتخاب شود که n - m| ≤ w|(خط علامتگذاری شده با (*) در کد را ببنید) int DTWDistance(s: array [1..n], t: array [1..m], w: int) { DTW := array [0..n, 0..m] w := max(w, abs(n-m))// adapt window size (*) for i := 0 to n for j:=
0 to m DTW[i, j] := infinity DTW[0, 0] := ۰ for i := 1 to n for j := max(1, i-w) to min(m, i+w) cost := d(s[i], t[j]) DTW[i, j] := cost + minimum(DTW[i-1, j ],// الحاق DTW[i , j-1],// حذف DTW[i-1, j-1])// تطبیق return DTW[n, m] محاسبه سریع. محاسبه الگوریتم DTW در حالت کلی از مرتبه زمانی (O(N^2 است. از جمله تکنیک های سریع تر برای محاسبه DTW می توان به SparseDTW وFastDTW اشاره نمود. یکی از کارهای معمول در این زمینه، به دست آوردن سری های زمانی مشابه است که می تواند با استفاده از کران پایین هایی چون LB_Keogh و LB_Improved تسریع گردد. در یک بررسی، Wang et al. گزارش نموده است که به کمک کران پایین های LB_Improved نتایج بهتری از کران پایین LB_Keoghبه دست آورده و نشان داده است که تکنیک های دیگر بهینه نیستند. دنباله متوسط. میانگین گیری از الگوریتم کش و قوس زمانی پویا هم ارز مسئله دنباله میانگین مجموعه ای از دنباله هاست. دنباله میانگین، دنباله ای است که مجموع مربع های فواصل آن از دنباله های مجموعه داده شده کمینه باشد. NLAAF روش دقیق حل این مسئله است. برای بیش از دو دنباله، مسئله مربوط به یکی از تنظیم های چندگانه است و ب
ه روشی هیوریستیک نیاز دارد. در حال حاضر روش مورد استفاده برای به دست آوردن میانگین مجموعه ای از دنباله ها به صورت پایدار به وسیله DTW،DBA نام دارد. COMASA با استفاده از DBA به عنوان یک پردازش بهینه سازی محلی، جستجو برای دنباله بهینه را به طور بهینه اتفاقی می کند.
بسیاری از علوم در محدوده های مورد بررسی خود با عدم قطعیت مواجه هستند. لذا آمار و ساختن یک مدل برگرفته از جامعهٔ کل در اکثر علوم نقش موثری را ایفا می کند. به طور کلی برای شناخت هر جامعه ای نیاز به داشتن داده هایی از آن جامعه است. اگر جامعهٔ مورد بررسی را کل فرض کنیم، نمونه های برداشته شده از آن جامعه جزء تلقی می شود و در نتیجه می توان بر پایه قوانین آماری پارامترهای آن خاصیت را روی مقدار اندازه گیری شدهٔ آن در اجزاء برداشت شده از کل جامعه تخمین زده در اکثر تکنیک های اکتشافی اساس تجزیه و تحلیل خود را بر احتمال پذیر بودن نتایج و تصمیم گیری های حاصل از آن قرار می دهند و از تحلیل قطعیت پذیر اجتناب می کنند. پیشوند Geo به فیزیک و شیمی اتصال پیدا کرده و اصطلاحات ژئوفیزیک و ژئوشیمی ایجاد شده است. با همین قیاس پیشوند Geo به کلمه آمار نیز پیوند خورد و واژه زمین آمار شکل گرفت. دو مقوله سری های زمانی و زمین آمار هم به لحاظ مفهومی و هم از منظر تاریخی دارای قرابت هستند. و هر دو از داده های وابسته (autocorrelated data) استفاده می کنند. اما زمین آمار بر خلاف سری های زمانی صرفاً از طریق آماردانها بسط نیافته است. و به همین سبب
واژه پردازی و مصطلحات آن با ادبیات آمار کلاسیک قدری متفاوت است. آنالیز زمین آماری به مفهوم بررسی پدیده های متغیر در زمان و مکان است و به طور کلی از طریق آنالیزمی توان به راحتی یک نقشه یا سطح پیوسته ای از نقاط نمونه برداری شده را ایجاد نمود. نقاط نمونه برداری شده می توانند مقادیر ارتفاع، عمق یا سطوح آلودگی باشند. همچنین آنالیزهای زمین آماری می توانند برای مدلسازیهای فضایی در کاربردهای مختلف سیستم های اطلاعات جغرافیایی نیز بکار برده شوند. یکی از مزایای این ابزارها و روش ها برازش سطح مدل به نقاط نمونه برداری شده است. آنالیزهای زمین آماری به دنبال راهی برای توصیف پیوستگی مکانی و همچنین جمع آوری ابزارهای آماری و قطعی و مدل نمودن این تغییرات مکانی است.
در نظریهٔ زبان های صوری، لم تزریق برای زبان های منظم یک ویژگی ضروری برای همهٔ زبان های منظم را توصیف می کند. به طور غیر صوری، بیان می کند که هر کلمهٔ به اندازهٔ کافی بزرگ در یک زبان منظم می تواند "تزریق" شود — یعنی یک قسمت میانی کلمه به تعداد دل خواه تکرار شود — تا کلمهٔ جدیدی ایجاد شود که همچنین در همان زبان قرار گیرد. مخصوصا لم تزریق بیان می کند که برای هر زبان منظم L یک عدد ثابت p وجود دارد به طوری که هر کلمه w در L با طول حداقل p می تواند به سه زیر رشته تقسیم شود، w = xyz، که در آن بخش میانی y خالی نیست، طوری که کلمه های ساخته شده با به تعداد دل خواه بار تکرار y (شامل صفر بار) باز هم در L باشند. این فرایند تکرار به «تزریق» معروف است. علاوه بر این، لم تزریق تضمین می کند که طول xy حداکثر p خواهد بود، که این محدودیتی بر راه هایی که w می تواند تقسیم شود تحمیل می کند. زبان های متناهی به وضوح لم تزریق را با قرار دادن p برابر طول بیشترین رشته در L به اضافهٔ یک ارضا می کنند. لم تزریق اولین بار توسط دانا اسکات و مایکل رابین در ۱۹۵۹ اثبات شد. این لم برای رد کردن خاصیت منظم بودن یک زبان خاص مورد سؤال کاربرد دارد. ای
ن لم یکی از معدود لم های تزریق است، که هر کدام قصد مشابهی دارند. شرح صوری. فرض می کنیم L یک زبان منظم باشد. در این صورت عدد صحیح تنها وابسته به L وجود دارد طوری که هر رشتهٔ w در L با طول حداقل p (به p طول تزریق گفته می شود) می تواند به صورت w = xyz نوشته شود (w می تواند به سه زیررشته تقسیم شود)، طوری که شرط های زیر را ارضا کند: y زیر رشته ای است که می تواند تزریق شود (حذف شود یا به به هر تعداد بار تکرار شود، و رشتهٔ حاصل در هر حال در L باشد). (۱) به این معنی است که طول لوپ y که تزریق می شود باید حداقل یک باشد. (۲) به این معنی است که لوپ y باید در p کاراکتر اول واقع باشد. |x| باید کوچکتر از p باشد (نتیجهٔ (۱) و (۲))، غیر از این دیگر هیچ محدودیتی بر روی x و z وجود ندارد. به زبان ساده، برای هر زبان منظم L، هر کلمهٔ به اندازهٔ کافی بزرگ (در L) می تواند به ۳ قسمت تقسیم شود. مثلاً w = xyz، طوری که همهٔ رشته های xykz برای هر k≥0 هم در L باشند. در زیر یک صورت بندی صوری لم تزریق آمده است: formula_1 کاربرد لم. لم تزریق معمولاً برای اثبات نامنظم بودن یک زبان خاص مورد استفاده قرار می گیرد. یک اثبات به وسیلهٔ برهان خلف می
تواند شامل یک کلمه (با طول خواسته شده) در زبان باشد که فاقد خاصیت بیان شده در لم تزریق است. به طور مثال زبان {L = {anbn : ≥ 0 روی الفبای {Σ = {a, b می تواند به روشی که در ادامه می آید اثبات شود که نامنظم است. فرض کنید w، x، y، z، p و i همان متغیرهایی باشند که در صورت لم تزریق در بالا استفاده شدند. فرض کنید w در L به صورت w = apbp داده شده باشد. با استفاده از لم تزریق، باید یک تجزیه w = xyz با xy| ≤ p| و y| ≥ 1| وجود داشته باشد طوری که xyiz به ازای هر i در L باشد. با استفاده از xy| ≤ p| می دانیم که y فقط شامل نمونه های a است. علاوه بر این، چون y| ≥ 1|، شامل حداقل یک نمونه از a است. حال y را تزریق می کنیم: xy2z دارای نمونه های بیشتری از حرف a نسبت به حرف b است، زیرا ما تعدادی نمونهٔ a بدون اضافه کردن نمونه ای از b اضافه کردیم. بنابراین xy2z در L نیست. پس به تناقض رسیدیم. از این رو، این فرض که L منظم است باید نادرست باشد. پس L منظم نیست. اثبات لم تزریق. برای هر زبان منظم یک ماشین حالات متناهی (FSA) وجود دارد که آن زبان را می پذیرد. تعداد حالات در چنین ماشین حالات متناهی ای شمرده می شود و این تعداد به عنوان طول
تزریق p استفاده می شود. برای یک رشته به طول حداقل p، فرض کنید s0 حالت آغازین و s1, ..., sp ترتیب p حالت بعدی باشد که در فرایند تولید رشته طی می شوند. از آن جا که FSA تنها p حالت دارد، در این دنباله که در آن p+1 حالت طی شده است باید حداقل یک حالت وجود داشته باشد که تکرار شده است. نام این حالت را S می گذاریم. انتقالاتی که ماشین را از اولین مواجهه با S به دومین مواجهه با S می برند با یک رشته تطابق دارند. این رشته در لم y نامیده می شود، و از آن جایی که ماشین بدون بخش y به یک رشته می رسد، یا رشتهٔ y می تواند به تعداد دل خواه بار تکرار شود، شرط های لم ارضا می شوند. به طور مثال شکل زیر یک FSA را نشان می دهد: FSA رشتهٔ abcd را می پذیرد. از آن جا که این رشته طولی دارد که حداقل به اندازهٔ تعداد حالات است، اصل لانه کبوتری نشان می دهد که باید حداقل یک حالت تکراری بین حالت آغازین و ۴ حالت بعدی وجود داشته باشد. در این مثال فقط q1 حالت تکراری است. از آن جا که زیر رشتهٔ bc ماشین را درون انتقالاتی که در حالت q1 شروع می شوند و در حالت q1 تمام می شوند می برد، این قسمت می تواند با دادن رشتهٔ abcbcd تکرار شود و FSA هنوز می پذیرد.