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

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

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

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

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

نحویان زبان عربی از «حرف جارة اصلی+ اسم مجرور» و «ظرف» با اصطلاح «شبه‌جمله» نام می‌برند. شبه‌جمله‌ها برای اینکه در ساختار کلامی جای گیرند و به ایفای نقش بپردازند، باید پیوند و ارتباط ویژه‌ای با جزء دیگری از کلام داشته باشند. از این پیوند با اصطلاح «تعلُّق» یاد شده و آن جزء نیز «متعلَّق» نامیده شده است. حال شاید یک شبه‌جمله شایستگی پیوند با چندین متعلَّق را داشته باشد که در این‌صورت پیوند با هر یک از ...

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

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

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