لینک دانلود و خرید پایین توضیحات
دسته بندی : پاورپوینت
نوع فایل : powerpoint (..ppt) ( قابل ویرایش و آماده پرینت )
تعداد اسلاید : 14 اسلاید
قسمتی از متن powerpoint (..ppt) :
بنام خدا Open System Architecture for CIM - CIMOSA
فهرست
یکپارچه سازی و مدل سازی سازمان
نگاهی به مدل معماری CIMOSA
معماری مرجع CIMOSA
مدل سازی سازمانی بر پایه فرایند CIMOSA
شالوده یکپارچه سازی CIMOSA
CIMOSA و زیستچرخ سامانه
مراحل یکپارچه سازی
یکپارچه سازی فیزیکی سامانه
یکپارچه سازی کاربرد ها
یکپارچه سازی کار ها (Business Integration)
نگاهی به CIMOSA
CIMOSA در واقع برای ESPRIT (برنامه راهبردی اروپا برای تحقیق و توسعه در فناوری اطلاعات) طراحی شد.(شروع سال 1985 – ارایه مدل سال 1996 )
معماری مرجع نیز توصیف سازمان را از سطح مدیریت تا سطح طبقه خرید در بر می گیرد.
CIMOSA شامل یک چارچوب مدلسازی سازمان و یک شالوده یکپارچه ساز است.
مدل های CIMOSA نه تنها برای تصمیم یاری استفاده می شوند، بلکه برای کنترل و بررسی عملکرد مدل اجرا شده نیز کاربرد دارد.
معماری مرجع CIMOSA
لینک دانلود و خرید پایین توضیحات
دسته بندی : پاورپوینت
نوع فایل : powerpoint (..pptx) ( قابل ویرایش و آماده پرینت )
تعداد اسلاید : 28 اسلاید
قسمتی از متن powerpoint (..pptx) :
تکنیک های مدل سازی
برای قرار دادن مقدار یک عبارت به صورت پیوسته و غالب در یک متغیر به کار می رود.
نتیجه این انتساب نسبت به انتساب رویه ای غالب است.
در فرایند تست و عیب یابی کاربرد دارد.
انتساب پیوسته رویه ای
این انتساب به دو روش پیاده سازی می گردد:
با کلمات کلیدی assign و deassign
با کلمات کلیدی force و release
انتساب پیوسته رویه ای
سمت راست حتماً reg و یا ترکیبی از reg ها است.
سمت چپ نمی تواند آرایه ای از reg ها باشد.
درون بلوک های رفتاری استفاده می شوند.
assign و deassign
با کلمه assign مقدار مورد نظر به reg اعمال می شود.
با کلمه deassign مقدار reg مورد نظر به حالت قبل از به کار بردن assign بر می گردد.
assign و deassign
reg Q;
//
always
Q=d;
//
always @(rst)
if(rst)
assign Q=1’b0;
else
deassign Q;
لینک دانلود و خرید پایین توضیحات
دسته بندی : پاورپوینت
نوع فایل : powerpoint (..ppt) ( قابل ویرایش و آماده پرینت )
تعداد اسلاید : 10 اسلاید
قسمتی از متن powerpoint (..ppt) :
بنام خدا
1
2
جنبه های گوناگون مدل از دیدگاههای مختلف
مقدمه
مدل پدیده ای است که عالم در راستای نزدیک شدن به واقعیت در مسیر یا جریان رسیدن به یک نتیجه علمی دست به ساختن یا ارائه آن می زند. همانگونه که در بحث جریان روش علمی دیدیم, اگر عالم بتواند به گونه ای اعتبار مدل را از طریق آزمایش (به معنی عام آن) با روشی علمی اثبات کند, مدل او وارد زیرمجموعه ای از دانش بشری موسوم به علم می گردد .
مدل در زمینه ای که ارائه می شود باید قادر به تجزیه و تحلیل یا بهتر بگویم توجیه حوادث گذشته و در صورت نیاز پیش بینی و توجیه رویدادهای آینده باشد. هر چه توان توجیهی مدل بیشتر باشد, استحکام و اعتبار آن نیز بیشتر است. پس مدل خود واقعیت نیست بلکه ساختاری برای نزدیک شدن به واقعیت و پاسخ چراهایی است که در پیرامون واقعیت یا در ارتباط با آن مطرح می شود. باز هم لازم است تأکید شود آنچه در اینجا مطرح می شود کاملاً نسبی است و تا حد زیادی از نگرش شخصی نگارنده تأثیر پذیرفته است .
3
انواع نگرشهای گوناگون برای تقسیم بندی مدلها
نگرش توصیفی تشریحی
مدل های استاتیک ( static ) و دینامیک ( Dynamic )
میزان قطعیت مدل ها (نوع دیگری از نگرش ها برای تقسیم بندی مدلها)
تقسیم بندی شکلی مدلها یا مدلهایی که به نوعی شبیه واقعیت هستند:
مدلهای ریاضی :
4
1 ) نگرش توصیفی تشریحی
1-1) مدلهای تشریحی ( Descriptive ) : انواعی از مدل که به صورت کلامی یا توصیفی سعی در نمایش پدیده ای دارند (مثل آناتومی صرفاً توصیفی بدن انسان مثلاً قلب یا توصیف کلامی زلزله). مدل های کلامی توصیفی تشریحی, از اولین نمونه های مدل سازی علمی هستند که بشر مورد استفاده قرار داد. مهمترین ضعف مدل های تشریحی, ناتوانی آنها در پیش بینی هستند, یعنی قابلیت پیش بینی اصولاً جزو هدفهای این گونه مدل ها نیست.
2-1) مدل های توصیفی با قابلیت توام توجیه و پیش بینی ( Prescriptive ) : هدف عالم از تبیین این مدل ها هم توجیه و هم پیش بینی است. مثل توصیف قانون جاذبه عمومی یا اصل کنش و واکنش در نیروها یا بیان مضرات سیگار برای انسان
5
(2 مدل های استاتیک (static) و دینامیک (Dynamic)
1-2) مدل های استاتیک : با بیانی کلامی یا با استفاده از نمادهای ریاضی پدیده ها را توصیف می کنند. مثلاً اگر در سیمی با مقاومت R , شدت جریان I را عبور دهیم اختلاف پتانسیلی به اندازه حاصلضرب مقاومت در شدت جریان ایجاد می شود ( I * R = V ). در مدل های استاتیک عامل زمان معمولاً مورد نظر نیست. مثلاً حجم مکعبی با ضلع a برابر است با a 3 .
2-2) مدل های دینامیک : دراین مدل ها عامل زمان هم مطرح می شود. مثلاً سرعت لحظه ای متحرکی در یک حرکت مستقیم الخط برابر است با مشتق فاصله نسبت به زمان یعنی یا . این مدل در سقوط آزاد متحرک (نقطه مادی) به صورت می شود, اگر فقط نیروی جاذبه را در نظر بگیریم (از سایر نیروهای ممکن مثل مقاومت صرفنظر کنیم), g دراینجا همان جاذبه زمین است (مثلاً 81/9). از مسایل مهمی که در مدل های دینامیکی که در رابطه با نیرو و حرکت مطرح می شوند, مقوله تعادل است که به دو صورت "تعادل پایدار" (Stable equilibrium) و "تعادل ناپایدار" است. تعادل از مسایل بسیار مهم و قابل بحث در علم و فلسفه است. طرح آن همیشه به صورت نسبی است و بین دو نوع تعادلی که مطرح شد, گاهی طیفی از انواع دیگر تعادل مطرح می شود. مثلاً این که گرایش پدیده های هستی به صورت تعادل گرایی یا برعکس است بحثی است که در بسیاری موارد طرح می شود (من برای پرسش ساده ای مثل "تعادل چیست؟" پاسخ جامعی ندارم به نظرم بستگی به حوزه و شرایط دارد).
لینک دانلود و خرید پایین توضیحات
دسته بندی : پاورپوینت
نوع فایل : powerpoint (..ppt) ( قابل ویرایش و آماده پرینت )
تعداد اسلاید : 21 اسلاید
قسمتی از متن powerpoint (..ppt) :
1
روشی جدید برای آزمون مدل ماشین های محدودیت احتمالی
2
مقدمه
طراحی به روش پیمانه ای و مؤلفه گرا
تعامل پیمانه ها با یکدیگر
واسط بین پیمانه ها
زبان هماهنگ سازی ریو
سیستم های همروند مبتنی بر مؤلفه
کانال ها
معنی ریو
قابل بیان با ماشین محدودیت
ریو با کانال های گم کننده یا خراب کننده پیام
قابل بیان با ماشین محدودیت احتمالی
3
چالش ها
آیا مدار ریو طراحی شده نیازهای سیستم را برآورده می سازد؟
آزمون مدل ماشین محدودیت معادل مدار ریو
آیا مدار ریو شامل کانال های گم کننده و خراب کننده نیازهای سیستم را برآورده می سازد؟
آزمون مدل ماشین محدودیت احتمالی معادل
4
رئوس مطالب
انواع کانال ها در ریو
مدارهای ریو
ماشین محدودیت معادل هر کانال
کانال های گم کننده پیام و ماشین محدودیت احتمالی ساده
کانال های سنکرون و ماشین محدودیت احتمالی
بررسی منطق زمانی ( PCTL )
نتیجه گیری و کارهای آتی
5
انواع کانال در ریو
هر کانال دارای یک سر مبدإ و یک سر مقصد می باشد.
کانال FIFO1 با میانگیر تک سلولی
داده در سر مبدإ نوشته شده و از سر مقصد خوانده می شود.
کانال FIFO نامحدود
نوشتن همواره فعال است ولی خواندن زمانی که میانگیر پر باشد فعال است.
کانال سنکرون
نوشتن در مبدإ مستلزم خواندن همزمان داده در مقصد است (برای هماهنگ سازی)
کانال FIFO1
کانال FIFO نامحدود
کانال سنکرون
لینک دانلود و خرید پایین توضیحات
دسته بندی : پاورپوینت
نوع فایل : powerpoint (..ppt) ( قابل ویرایش و آماده پرینت )
تعداد اسلاید : 40 اسلاید
قسمتی از متن powerpoint (..ppt) :
بنام خدا
1
2
دسته بندی با استفاده از مدل های خطی
دسته بندی
در مسایل دسته بندی یک بردار ورودی X به یکی از K کلاس مجزای C k اختصاص داده میشود.
برای این کار فضای ورودی به نواحی تصمیم گیری تقسیم بندی میشود که مرزهای آنرا سطوح تصمیم گیری می نامند.
در این فصل مدل هایی بررسی میشوند که سطوح تصمیم گیری از توابع خطی تشکیل میشوند. برای جدا سازی فضای ورودی D بعدی از ابرصفحه های D-1 بعدی استفاده میشود.
3
مسایل جدا پذیر خطی
مجموعه داده هایی که با یک سطح تصمیم گیری خطی جداپذیر هستند linearly separable یا جداپذیر خطی نامیده میشوند.
یک دسته بندی کننده خطی برای دسته بندی داده ها از ترکیب خطی ویژگی ها استفاده میکند.
دسته بندی کننده خطی بسیار سریع عمل میکند و برای داده ها با ابعاد بالا کارائی خوبی دارد. (البته درخت تصمیم میتواند سریعتر عمل نماید.)
4
داده جدا پذیر خطی
دسته بندی کننده غیرخطی
دسته بندی کننده خطی
Generative models vs. discriminative models
دو روش کلی برای تعیین پارامترهای دسته بندی کننده های خطی وجود دارد:
Generative models
این روش ها بر اساس مدل سازی توابع چگالی شرطی عمل میکنند نظیر
Naive Bayes classifier که در آن از فرض استقلال شرطی استفاده میشود.
discriminative models
در این روش ها از یک مدل جدا کننده استفاده میشود که سعی در افزایش کیفیت خروجی بر اساس داده های آموزشی دارد. نظیر:
Logistic regression
که در آن مدل بر این اساس بدست می آید که داده مشاهده شده توسط مدلی ساخته شده که توسط خروجی قابل توصیف است
Perceptron
که در آن سعی در کاهش خطای مشاهده شده در داده آموزشی است
Support vector machine
که در آن سعی در افزایش فاصله مرزی سطوح تصمیم گیری و داده های آموزشی است
5