در این پایان نامه به مطالعه تقریب توابع پیوسته در فضاهای باناخ می پردازیم. ماابت می کنیم که اگر x یک فضای باناخ بینهایت بعدی با فضای دوگان تفکیک پذیر x* باشد آنگاه هر تابع پیوسته f:x?ir را می توانیم به طور یکنواخت توسط تابعی هموار از رده c1 تقریب بزنیم که هیچ نقطه بحرانی نداشته باشد. ما همچنین شرایطی را روی فضای باناخ تفکیک پذیر x ایجاد می کنیم تا بتوان تابع تقریب زننده را هموار از رده ی cp برا...

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

در این پروژه به بررسی تشخیص خطا مبتنی بر مدل می پردازیم. اساس کار با استفاده از مدلسازی پتری انجام می پذیرد. در این حال خروجی مدل را با خروجی سیستم مقایسه می کنیم و با تعیین مانده به تشخیص خطا می پردازیم. برای بدست آوردن تابع تبدیل سیستم از روش حداقل مربعات بازگشتی استفاده شده است. با بدست آوردن تابع تبدیل سیستم، تابع را دیجیتال می کنیم و مدل دیجیتال را توسط مدل پتری پیوسته پیاده سازی می کنیم. ...

در جرایم کیفری، جهت تحمیل مجازات بر مجرم، ضروری است که عنصر مادی[1] و عنصر روانی[2] فعل به طور هم زمان وجود داشته باشند. ولی در قانون استثنائاتی وجود دارد که قانون گذار برای جلوگیری از ارتکاب بعضی رفتارهای خطرناک و حمایت از منافع عمومی، مقرراتی را وضع نموده که انجام آن عمل را به جهت مشکل بودن اثبات سوءنیت، صرف هزینه های زیاد، اطاله دادرسی و ... به طور مطلق ممنوع کرده است. این فرآیند که «مسئولیت...

هر فرد آشنا به منطق می داند که اگر میان دو مفهوم کلی، نسبت عموم و خصوص مطلق برقرار باشد، همان نسبت - ولی با انقلاب‎- میان نقیض های آنها نیز برقرار است. اما باوجود دلایل مستدل در اثبات این قاعده، منطق دان بزرگ دبیران کاتبی قزوینی(600- 675 ق) شبهه ای در این زمینه طرح کرده و با ذکر مثال نقضی از منطق موجهات (در خصوص امکان عام و خاص)، کلیت قاعده را مورد تردید قرار داده است. دو نامه‏ طرح شبهه توسط کا...

ز انجایی که برای حل معادلات انتگرال منفرد (sies) که مبنای آنها مسائل تماس -شکست در مکانیک جامدات است روشهای عددی وجود دارد این روشها مبنای بسیاری از تحقیقات بوده است (که شامل روشهای هسته ی باز تولیدی می باشد .)

امروزه در تحقیقات حوزه پردازش و بازشناخت گفتار، هجا به دلیل ارتباط قوی آن با تولید و ادراک گفتار در انسان، به عنوان یک واحد زیرکلمه ای هر روز بیشتر مورد توجه قرار می گیرد. آشکارسازی خودکار مرزهای هجایی گامی مهم در تحقیقات مرتبط با نوای گفتار، تولید گفتار طبیعی و حتی بازشناسی گفتار است. در این مقاله روش جدیدی برای آشکارسازی خودکار مرزهای هجایی در سیگنال گفتار پیوسته فارسی با تکیه بر اطلاعات صوتی...

نرم افزار gpss (gps software) جعبه ابزار متلب است که آقای دکتر جمال عسگری آن را تهیه کرده است. این جعبه ابزار حاوی توابع اساسی برای تعیین موقعیت مطلق دقیق (ppp) و همچنین توابع جانبی برای پردازش و نمایش اطلاعات gps و مدل های یونسفر و تروپسفر است. تعیین موقعیت مطلق دقیق را می توان حالت بهبود یافته تعیین موقعیت نقطه ای (spp) که از مشاهدات کد استفاده می کند، در نظر گرفت. تفاوت اصلی تکنیک تعیین موقع...

اماره -چه قانونی و چه قضایی-بر دو نوع مطلق و نسبی است. اماره مطلق آن است که اجازه اثبات خلاف آن داده نمی شود و اماره نسبی عکس آن است . امارات از هر نوع مبتنی بر اموری هستند که در عالم خارج،غالبا جاری می باشد و در نتیجه،کاشف از واقع امر هستند وبه تبع این معنا،حین تعارض با اصل عملی که صرفا برای رفع تحیر وضع شده اند،برآن حاکم می شوندامارات قانونی نسبی زحمت دادرس را برای فیصله دادن دعوا بسیار کم می...