کتاب الکترونیکی

استدلال محدودیت برای مدل های دیفرانسیل

Constraint Reasoning for Differential Models

دانلود کتاب Constraint Reasoning for Differential Models (به فارسی: استدلال محدودیت برای مدل های دیفرانسیل) نوشته شده توسط «J Cruz»

اطلاعات کتاب استدلال محدودیت برای مدل های دیفرانسیل

موضوع اصلی: سایبرنتیک: هوش مصنوعی

نوع: کتاب الکترونیکی

ناشر: IOS Press

نویسنده: J Cruz

زبان: English

فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)

سال انتشار: 2005

تعداد صفحه: 243

حجم کتاب: 2 مگابایت

کد کتاب: 9781586035327 , 1-58603-532-0

توضیحات کتاب استدلال محدودیت برای مدل های دیفرانسیل

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

Comparing the major features of biophysical inadequacy was related with the representation of differential equations. System dynamics is often modeled with the expressive power of the existing interval constraints framework. It is clear that the most important model was through differential equations but there was no way of expressing a differential equation as a constraint and integrate it within the constraints framework. Consequently, the goal of this work is focused on the integration of ordinary differential equations within the interval constraints framework, which for this purpose is extended with the new formalism of Constraint Satisfaction Differential Problems. Such framework allows the specification of ordinary differential equations, together with related information, by means of constraints, and provides efficient propagation techniques for pruning the domains of their variables. This enabled the integration of all such information in a single constraint whose variables may subsequently be used in other constraints of the model. The specific method used for pruning its variable domains can then be combined with the pruning methods associated with the other constraints in an overall propagation algorithm for reducing the bounds of all model variables.

دانلود کتاب «استدلال محدودیت برای مدل های دیفرانسیل»

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.

برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.

برچسب ها
مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.
کتابخانه دیجیتال بَلیان