برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید

09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب The Mathematical Foundation of Symbolic Trajectory Evaluation

دانلود کتاب بنیاد ریاضی ارزیابی سمبولیک

مشخصات کتاب

The Mathematical Foundation of Symbolic Trajectory Evaluation

دسته بندی: ریاضیات
ویرایش:  
نویسندگان: Chou C.-T.  
سری:  
 
ناشر:  
سال نشر: 1999 
تعداد صفحات: 14 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 232 کیلوبایت

قیمت کتاب (تومان) : 30,000

میانگین امتیاز به این کتاب :
تعداد امتیاز دهندگان : 16

در صورت تبدیل فایل کتاب The Mathematical Foundation of Symbolic Trajectory Evaluation به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب بنیاد ریاضی ارزیابی سمبولیک نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

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

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

توضیحاتی درمورد کتاب به خارجی

In this paper we elucidate the mathematical foundation underlying both the basic and the extended forms of symbolic trajectory evaluation (STE) with emphasis on the latter. In addition, we make three contributions to the the┐ory of STE which, we believe, are new. First, we provide a satisfactory answer to the question: what does it mean for a circuit to satisfy a trajectory assertion? Second, we make the observation that STE is a form of data flow analysis and, as a corollary, propose a conceptually simple algorithm for (extended) STE. Third, we show that the ternary model of circuits used by STE is an abstract interpre┐tation of the ordinary boolean model via a Galois connection. We hope that our exposition will make SТЕ, especially its extended form, less mysterious.