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

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

حرکت مولکولهای dna از میان یک آرایه شش وجهی از ستونهای ریز تحت میدان الکتریکی یکنواخت به عنوان یک فرآیند فوکر-پلانک که متاثر از مدل سدآنتروپی نیز هست به وسیله کامپیوتر شبیه سازی شد و معادله فوکر-پلانک حاکم بر رفتار آنها به روش شبیه سازی عددی دینامیک براونی، با روش اولر حل شد. میانگین زمانی سرعت، واریانس و میانگین < x2 > در یک زمان معین، برای مولکولهای مختلف dna در شرایط مختلف محاسبه و با نتایج ...

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

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

هدف اصلی از این مطالعه تهیه نقشه حساسیت زمین لغزش در کوهستان شیرپناه ، با استفاده از مدل آنتروپی و ارزیابی این مدل در پهنه بندی وقوع زمین لغزش­های کوهستان شیرپناه و شناخت میزان تاثیر هریک از عوامل پنج گانه در وقوع زمین لغزش می­باشد.  در این پژوهش از عکس­های هوایی، تصاویر ماهواره­ای، نقشه توپوگرافی 50000، نقشه زمین­شناسی 100000/1 و همچنین تحقیقات میدانی به منظور شناخت منطقه و عکسبرداری از لغزش­ه...

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

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

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