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

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

در تحقیق حاضر سه موضوع در حوزه یادگیری واژگان زبان دوم مورد بررسی قرار گرفت که عبارت بودند از (1) بررسی تاثیرات ترجمه و تصویر خوانی بر یادآوری کوتاه مدت واژگان توسط زبان آموزان مبتدی (2) بررسی تاثیرات این دو شیوه بر یادآوری دراز مدت زبان آموزان از طریق آزمون متنی (3) بررسی عامل همگونی/ ناهمگونی بین شرایط یادگیری و شرایط آزمون. بدین منظور50 دانش آموز مبتدی ایرانی که دانشی از زبان دوم (انگلیسی) ن...

بررسی رفتار حفریات زیرزمینی با تکیه بر اندازه­گیری جابجایی­ها از رایجترین روش­های ارزیابی پایداری است. در این تحقیق تأثیر عملیات استخراجی در کارگاه­های 245 پسرو و 245 پیشرو بر وضعیت گالری پست 5 معدن بزرگ پابدانا که متحمل مشکلات گوناگون شامل جابجایی بیش از حد مقطع عرضی گالری، ایجاد تغییر شکل های گوناگون قاب­های نگهداری و شکست و تخریب آنها گردیده، ارائه شده است. ابزار مورد استفاده متر همگرایی­سنج...

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

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

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

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

آنالیز پخش بار یکی از مهم ترین وظایف مطالعات برنامه ریزی و بهره برداری از سیستم توزیع است. با توجه به اتصال نامتعادل در بین خطوط سیستم های توزیع، سیستمی آمیخته از اجزا تکفاز، دو فاز و سه فاز و بارهای نامتعادل به وجود می آید. همچنین سیستم های توزیع با نسبت خطوط r/x بالا و ساختمان شعاعی شبکه شناخته می شوند. یکی از بهترین روش-های پخش بار سیستم توزیع، پخش بار پیشرو-پسرو است. مدل سازی ترانسفورماتور ...

در واج‌شناسی خودواحد که اوّلین بار توسط گلدسمیت به‌صورت یک حوزۀ مستقل در واج‌شناسی زایشی مطرح شد، بازنمایی واجی در لایه‌های متفاوت صورت می‌گیرد.‌ در این رویکرد، هر مشخّصه یا گروهی از مشخّصه‌ها که در یک زبان، یک نقش واجی ایفا کند، در یک لایۀ مستقل قرار می‌گیرد. «مشخّصه‌ها» در واج‌شناسی خودواحد، استقلال و موجودیت خاصّ خود را دارند. هدف از نگارش مقالۀ حاضر، معرفی، تحلیل و توصیف فرآیندهای واجی همخوانی د...