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

محاسبة اثر جرم های توپوگرافی در فاصلة نزدیک، یکی از مراحل اساسی در محاسبات تعیین ژئوئید است. برای عملی ساختن این محاسبات، به شناخت توپوگرافی در قالب یک مدل رقومی زمین ((dtm) digital terrain model) نیاز است. توپوگرافی امروزه به صورت مدل های رقومی با توان تفکیک (spatial resolution)، دقت و صحت های متفاوت بیان می شود. در این مقاله هدف، بررسی اثر مدل رقومی بر محاسبات تعیین ژئوئید است. برای این منظور...

تحلیل پوششی داده­ها (dea) تکنیکی است که کارایی واحدهای تصمیم­گیرنده (dmu) را براساس ورودی­ها و خروجی­های آن ها اندازه گیری می­نماید. از آنجا که پیش­بینی کارایی واحدها برای برنامه­ریزی دقیق­تر برای آینده اهمیت بسزایی دارد، این مقاله ابتدا مدلی جدید به نام مدل تحلیل پوششی داده­های تصادفی فازی چندهدفه (mofs-dea) با اوزان مشترک در محیطی پویا  ارایه می­نماید که تغییرات داده­ها را در طول دوره­های متو...

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

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

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