نتایج جستجو

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

از بوچی اتوماتون معمولاً در [[وارسی مدل]] به عنوان یه نسخه نظریه ماشینی از یک فرمول در [[منطق موقت خطی]] استفاده می * [[وارسی مدل]] ...

...ر سال ۱۹۸۱ بوده و پس از آن، Queille و Sifakis با کمی تفاوت، از آن در وارسی مدل‌ها استفاده کردند. به علت سادگی، کارایی و گستردگی کاربرد این منطق، امروزه در ...sity Press | isbn=0-521-54310-X}}</ref> حال معنای یک عبارت در منطق روی این مدل و با حالت شروع <math>s</math>، برای فرمول‌های حالت به صورت استقرایی با قواع ...

...x links, C.ACM 12, 260 (1969).</ref> که پروتکل بیت متناوب را با استفاده از مدل سازی حالت محدود موجودیت های پروتکل ارائه داد و همچنین اشاره کرد که پروتکل م ...حاوی پیام های در حال انتقال است (که ارسال می شود ، اما هنوز مصرف نشده است) مدل می شود. تجزیه و تحلیل قابلیت دسترسی با تجزیه و تحلیل تمام توالی های احتمالی ...

...معمولاً با استفاده از درستنمایی ماکزیمم، نمونه‌های [[اعداد تصادفی]] از این مدل برازش شده بیرون کشیده می‌شوند. معمولاً نمونه‌های بیرون کشیده شده اندازه‌ای ...جر به روشهایی می‌شود که متفاوت اند با روش‌های استنباط آماری پایه برای همین مدل. ...

...د که [[ان‌پی کامل]] است. مسئله SAT در موارد متنوع و گسترده‌ای مثل «[[وارسی مدل]]»، «[[زمان‌بندی و برنامه‌ریزی خودکار]]» و «[[:en:Diagnosis_(artificial_int ...

...ی]] آن‌ها را بیان می‌کند. معادلات دیفرانسیل در علوم فیزیکی، [[مدل ریاضیاتی|مدل‌سازی ریاضی]] و ریاضیات دیده می‌شوند. برای نمونه، می‌توان [[قوانین حرکت نیوت کاربرد قضیهٔ مقدار میانگین، وارسی تابع با استفاده از مشتق آن است. ...

...تمی و مقدار زمانی مقداری حقیقت را اختصاص می‌دهد. مفهوم " {{متغیر|ϕ}} در یک مدل {{متغیر|U}} =({{متغیر|T}}, <, {{متغیر|V}}) در زمان {{متغیر|u}} " به اختصار * با توجه به {{متغیر|F}} '''معتبر است''' اگر برای هر مدل {{متغیر|U}} =({{متغیر|T}} ,<, {{متغیر|V}}) با ({{متغیر|T}} ,<) در {{متغیر|F ...

...] بستر لایه به لایه را ایجاد می کند و یک شبکه پلیمری ایجاد می کند. بر خلاف مدل سازی رسوب ذوب شده ، جایی که مواد اکسترود شده بلافاصله برای تشکیل لایه ها سخ ...یک ، نسبت تورم و نسبتهای ضخامت لایه و ضخامت دو لایه بستگی دارد. بنابراین ، مدل های تنظیم شده که منحنی میانگین و انحنای گاوسی را توصیف می کنند ، به ترتیب د ...

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

...l.pone.0079004.g005.png|بندانگشتی|مدل بخش‌بندی شده از [[استخوان ران]]. این مدل سطح خارجی (قرمز)، سطح بین قسمت چگال و اسفنجی (سبز) و سطح مربوط به مغز استخو ...ت و شکل مرز آن توصیف می‌کند. هر یک ازین اجزا توسط یک تابع [[توزیع احتمال]] مدل می‌شود. محاسبه طول کد مربوط به آن در ادامه توضیح داده می‌شود: ...

گرچه در ابتدا یک گونه از مدل زایا برای [[یادگیری بی‌نظارت|یادگیری بدون ناظر]] (Unsupervised learning) پی ...یک عکس باشد، در تلاش برای گمراه کردن شبکه تفکیک‌کننده خواهد بود؛ بنابراین، مدل توانمند می‌شود تا به روش بدون ناظر به وجود آوردن عکس‌ها را فرا بگیرد. ...