برنج از جمله ارزشمند ترین گیاهان زراعی، با سابقه کشت طولانی بوده و امروزه از محصولات مهم غذایی دنیا ‏محسوب می شود. نتایج تحقیقات بیانگر عملکرد بالاتر تبدیل برنج در صورت برداشت شلتوک در رطوبت های بیشتر از ‏رطوبت مناسب انبارداری است. بنابراین برای جلوگیری از فاسد شدن این محصول استراتژیک، عملیات خشک کردن ‏بر روی آن صورت می گیرد. بدلیل آن که این عملیات به طور مستقیم بر کیفیت محصول اثر گذار است، کنترل این ‏فرآیند از جنبه های مختلف بسیار مهم می باشد. یکی از این جنبه ها، سینتیک افت رطوبت محصول طی فرآیند خشک ‏شدن می باشد. از دیگر جنبه ها می توان به فراسنجه های مرتبط با عملکرد خشک کن، رنگ، خواص شیمیایی و غذایی و ‏دیگر ویژگی های کیفی محصول پس از خشک کردن اشاره کرد. روش معمول برای مطالعه عوامل موثر بر فرآیند ‏خشک کردن محصولات کشاورزی، روش آماری و روش حل معادلات دیفرانسیل حاکم بر فرآیند است. از آنجا که ‏در این مطالعه چندین متغیر ورودی و خروجی موثرند، تحلیل آماری این نوع مسائل مستلزم ارائه روابط ریاضی متعددی ‏است که اغلب استفاده و تفسیر آن ها مشکل است. در روش حل روابط ریاضی حاکم نیز از ساده سازی و فرضیات ‏متعددی استفاده می شود که بر دقت این مدل ها تاثیر گذار است. امروزه با توسعه سریع فناوری های رایانه ای و توسعه نرم ‏افزارهای مربوط، از فناوری هوش مصنوعی مانند شبکه های عصبی برای حل مسائل مربوط به مدلسازی سیستم ها و ‏فرآیندها استفاده می شود.‏‎ ‎یک شبکه عصبی مصنوعی، مجموعه ای از عناصر محاسباتی متصل به همدیگر می باشد که ‏شبیه نرونهای زیستی بوده و قادر است بدون هیچ دانش قبلی ارتباط ذاتی موجود میان داده های مسئله را کشف و در ‏خود حفظ کند. در این پژوهش به منظور پیش بینی برخی از فراسنجه های موثر بر عملیات خشک کردن بستر عمیق ‏شلتوک برنج شامل سرعت هوای خشک کن (5/0، 8/ 0و 1/1 متر بر ثانیه)، دمای هوای خشک کن (70،60،50،40و80 ‏درجه سلسیوس) و رطوبت نسبی هوای ورودی (70،60،50،40 درصد) از شبکه های مصنوعی عصبی و روش رگرسیون ‏چند متغیره استفاده شد. علاوه بر سینتیک افت رطوبت، سه متغیر وابسته آهنگ خروج محصول به عنوان شاخص ظرفیت ‏کاری خشک کن ، آهنگ تبخیر به عنوان شاخص کیفی سینتیک خشک شدن و درصد ترک خوردگی دانه به عنوان ‏شاخص کیفی محصول خشک شده مورد بررسی قرار گرفت. برای ایجاد الگوهای آموزش و آزمون و ارزیابی شبکه ‏های عصبی، آزمایش های خشک کردن تحت تیمارهای مختلف به وسیله یک خشک کن آزمایشگاهی انجام گرفت و ‏نتایج این آزمایش ها در طراحی شبکه عصبی بکار گرفته شد. در حدود 70 درصد الگوها برای آموزش و 30 درصد ‏برای آزمون و ارزیابی شبکه استفاده شد. از سه شبکه عصبی پرسپترون چند لایه استاندارد (‏mlp‏)، پرسپترون چند لایه ‏پیشخور عمومی (‏gff‏) و پرسپترون چند لایه پیشخور مدولار (‏mnn‏) برای مدل سازی استفاده شد. پیش بینی سینتیک ‏افت رطوبت با استفاده از یک شبکه با چهار ورودی و یک خروجی صورت گرفت و برای پیش بینی سه فراسنجه دیگر ‏یک بار بطور مجزا برای هر کدام از فراسنجه ها و بار دیگر بصورت همزمان، شبکه های عصبی مورد نظر طراحی شدند. ‏نتایج نشان داد شبکه های مجزا دقت بالاتری دارند. در پیش بینی سینتیک خشک شدن بهترین نتیجه برای شبکه ‏gff‏ با ‏توپولوژی 1- 15- 4، الگوریتم آموزش لونبرگ- مارکوارت و تابع تانژانت هایپربولیک با مقدار خطای مربعات میانگین ‏نرمال 000792/0 و ضریب همبستگی 996/0حاصل شد. در پیش بینی آهنگ خروج محصول ، آهنگ تبخیر و درصد ‏ترک دانه نیز به ترتیب شبکه های ‏gff‏ با توپولوژی1-4-4-3 و خطای مربعات میانگین نرمال 001325/0، توپولوژی‎ ‏1-7-3 و خطای مربعات میانگین نرمال 001554/0 و توپولوژی 1-11-3 و خطای مربعات میانگین نرمال ‏‏001251/0بهترین نتایج را ارائه داد. نتایج آزمون آنالیز حساسیت حاکی از موثر بودن هر سه متغیر ورودی بر متغیرهای ‏خروجی بود. مقایسه نتایج بدست آمده از شبکه عصبی با نتایج رگرسیونی نشان دهنده دقت بیشتر شبکه عصبی در پیش ‏بینی متغیرهای وابسته بود.‏ کلمات کلیدی: شلتوک برنج، سینتیک خشک شدن، فراسنجه های فرآیند و محصول، شبکه عصبی مصنوعی

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

در تیوری محاسبات مسایل تصمیم گیری به دو دسته تصمیم پذیر و تصمیم ناپذیر تقسیم می شوند. یک مسیله تصمیم پذیر مسیله ای است که قابل حل باشد به این معنی که بتوان یک الگوریتم برای آن طراحی کرد، در غیر این صورت مسیله مورد نظر تصمیم ناپذیر خواهد بود. مسایل تصمیم پذیر به نوبه خود و با توجه به مرتبه زمانی حل خود به دسته های متفاوتی تقسیم می شوند. دسته ای از آنها مسایلی هستند که برای آنها الگوریتمی با مرتبه زمانی چند جمله ای موجود می باشد. این مسایل به کلاس مرتبه زمانی p تعلق دارند. از طرف دیگر مسایلی وجود دارند که اثبات شده است الگوریتمی با مرتبه زمانی چند جمله ای برای آنها وجود ندارد. همچنین مسایلی وجود دارند که تعلق یا عدم تعلق آنها به کلاس p اثبات نشده است. تمام مسایل np-complete و برخی از مسایل np-hard از این دسته مسایل می باشند. مسیله ارضاءپذیری (sat) اولین مسیله ای بود که np-complete بودن آن اثبات شد. هدف این مسیله تشخیص وجود یا عدم وجود یک مقداردهی برای متغیرها به نحوی که یک عبارت منطقی داده شده مقدار true بگیرد، می باشد. تمام مسایل np-complete به طور موثری قابل کاهش به یکدیگر می باشند. بنابراین اگر یکی از آنها با یک مرتبه زمانی چند جمله ای بر حسب اندازه مسیله حل شود، تمامی آنها با این مرتبه زمانی قابل حل خواهند بود. کلاس np-hard شامل بسیاری از مسایل بهینه سازی از جمله مسیله max-sat می باشد، که این مسیله گونه بهینه سازی مسیله ارضاءپذیری می باشد. هدف این پروژه بررسی و بهبود برخی از الگوریتم های مسایل sat و max-sat می باشد. در ابتدا مسیله sat و برخی از الگوریتم های آن مورد بررسی قرار گرفتند. سپس کاهش مسیله sat به دیگر مسایل np-complete با الگوریتم های نسبتاً سریع مورد بررسی قرار گرفت. اگر چه کاهش پذیری با الگوریتمی با مرتبه زمانی چند جمله ای صورت می گرفت، اما اندازه نمونه مسیله با هر کاهش به طور موثری افزایش می یافت. سپس روش دیگری که روش بازه ای نامیده شد، پیشنهاد و مورد بررسی قرار گرفت. در روش بازه ای هر مقداردهی به متغیرها به صورت یک عدد در مبنای دو نمایش داده شد، هر بیت نشان دهنده مقدار یک متغیر بود. سپس یک جستجوی ویژه برای پیدا کردن یک مقداردهی درست در صورت وجود بر روی فضای حالت مقادیر مختلف عدد دودویی مربوطه انجام گرفت. روش های هرس کردن متفاوت و ویژه ای برای کاهش اندازه فضای حالت مورد استفاده قرار گرفت. همچنین یک مدار سخت افزاری طراحی شد و بر روی چند نمونه مورد آزمایش قرار گرفت. به هر حال هیچ یک از این روش ها در به دست آوردن یک راه حل سریع قابل اعتماد برای این مسیله موفق نبودند. به هر حال یک روش موفق در این پروژه پیشنهاد شد که در آن یک نمونه مسیله sat با استفاده از یک الگوریتم ساده سازی مورد پیش پردازش قرار می گرفت. الگوریتم مورد نظر بر روی نمونه ورودی عمل کرده و یک نمونه ساده تر و در عین حال معادل را به عنوان خروجی برمی گرداند. آزمایش های انجام شده که بر مبنای برخی از الگوریتم های استاندارد مسیله sat بودند، نشان دادند که الگوریتم پیشنهادی به طور قابل توجهی زمان مورد نیاز برای حل مسیله را کاهش داده است. به ویژه، الگوریتم مورد نظر زمان اجرای دو الگوریتم شناخته شده مسیله sat یعنی rsat و minisat را بر روی چندین نمونه پایگاه داده استاندارد نزدیک به 25 درصد کاهش داده است. در این پروژه، علاوه بر مسیله تصمیم گیری sat، مسیله بهینه سازی max-sat نیز مورد بررسی قرار گرفت. در ابتدا یک الگوریتم اکتشافی که k-half-sat نامیده شد، پیشنهاد شده و با یک الگوریتم که بر مبنای روش بهینه سازی کولونی مورچه ها بود، مقایسه شد. سپس، یکی از بهترین الگوریتم ها به نام maxsatz مورد بررسی قرار گرفته، پیاده سازی شده و با شرکت دادن یک جستجوی محلی بهبود داده شد. انتظار می رفت الگوریتم به دست آمده که ترکیبی از روش شاخه و حد و جستجوی تپه نوردی بود بتواند درخت جستجو را بهتر هرس کند. این روش با الگوریتم اصلی مقایسه شد که نتایج مثبتی بر روی بسیاری از پایگاه داده های استاندارد در بر داشت.

یافتن جواب بهینه برای بسیاری از مسایل دنیای واقعی مستلزم انجام یک جستجوی کامل در فضای مسیله و بررسی تمام راه حل های ممکن است. تحقیقات بسیاری در این راستا صورت گرفته و الگوریتم های جستجوی مکاشفه ای مختلفی مانند a*، ida*، kbfs و... برای حل این گونه مسایل ارایه شده اند. این الگوریتم های جستجو از یک تابع مکاشفه ای (heuristic) برای ارزیابی حالت های مختلف استفاده می کنند و کارایی آنها به دقت تابع مکاشفه ای مورد استفاده وابسته است. توابع مکاشفه ای در محیط های جستجوی تک عاملی، هزینه ی رسیدن به حالت هدف از حالت جاری مسیله را تخمین می زنند. الگوریتم های a* و مشتقات آن به یک تابع مکاشفه ای قابل قبول نیاز دارند تا یافتن پاسخ بهینه را تضمین کنند. قابل قبول بودن به این معنی است که تابع مکاشفه ای هیچ گاه هزینه ی رسیدن به حالت هدف را بیش از مقدار بهینه تخمین نزند. هر چه تابع مکاشفه ای دقیق تر باشد، الگوریتم جستجو نیز کاراتر خواهد بود. تحقیقات بسیاری در جهت یافتن توابع مکاشفه ای دقیق تر انجام شده است. هدف در این پایان نامه ارایه راه کارهایی برای بهبود دقت توابع مکاشفه ای مبتنی بر حافظه است. پایگاه داده ی الگو از جمله توابع مکاشفه ای مهم قابل قبولی است که تاکنون ارایه شده و بهترین روش موجود برای حل بهینه ی بسیاری از مسایل می باشد. مشکل اصلی پایگاه داده های الگو حافظه ی زیادی است که برای ذخیره سازی نیاز دارند. در این تحقیق ابتدا به کاهش مشکل حافظه در پایگاه داده های الگو می پردازیم. برای حل مشکل حافظه در این توابع، با استفاده از الگوریتم های یادگیری ماشین روشی جدید برای فشرده سازی پایگاه داده ی الگو ارایه می کنیم. نتایج بدست آمده بهبود چشم گیر این روش نسبت به روش های فشرده سازی پیشین از لحاظ کاهش میزان حافظه ی مورد نیاز و تعداد گره های تولید شده در طی جستجو (در نتیجه کاهش زمان اجرا) را نشان می دهند. آزمایش های انجام گرفته بر روی برخی مسایل استاندارد، کاهش 61 برابری حافظه ی مورد نیاز برای ساخت پایگاه داده ی الگو را نشان می دهد. در بخش دوم این پایان نامه از روش جستجوی مرزی به منظور بهبود توابع مکاشفه ای استفاده می کنیم. در این راستا روشی کارآمد برای ترکیب پایگاه داده ها ی الگو و جستجوی مرزی پیشنهاد می دهیم. ترکیب این دو روش در چند سال اخیر مورد توجه محققان قرار گرفته و تلاش هایی در این زمینه صورت گرفته است. ترکیب پایگاه داده ی الگو و جستجوی مرزی به صورت معمول نیازمند حافظه ی بسیار زیادی است که با افزایش عمق به صورت نمایی افزایش می یابد. در این تحقیق روشی جدید برای نگاشت حالت های مختلف مسایل پازل به حالت هدف ارایه گردیده که امکان ترکیب این دو روش را با میزان حافظه ی محدود فراهم می کند. نتایج بدست آمده بهبود روش ارایه شده در مقایسه با روش های ارایه شده ی قبلی را نشان می دهد.

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

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

سامانه های توصیه گر، ابزارهای نرم افزاری و تکنیک هایی هستند که برای کاربران پیشنهادهایی از آیتم ها تهیه می کنند. امروزه با رشد سریع وب و اطلاعات موجود بر روی آن، سامانه های توصیه گر توجه زیادی به خود جلب کرده اند. بسیاری از وب سایت های معتبر برای ارائه خدمات به کاربران خود از یک توصیه گر بهره می برند. به طور کلی، یک سامانه توصیه گر با رویکرد پالایش گروهی، از کاربران و آیتم ها تشکیل شده است، به شکلی که هر کاربر تعدادی از آیتم ها را در کتابخانه خود جمع آوری کرده و سامانه توصیه گر با توجه به این آیتم ها و آیتم هایی که دیگر کاربران جمع آوری کرده اند، آیتم های جدیدی که کاربر تا به حال جمع آوری نکرده و احتمالاً به آن ها علاقمند باشد ، به او پیشنهاد می دهد. تا کنون برای توسعه توصیه گرها از تکنیک ها و تکنولوژی های مختلفی استفاده شده است. ما در این تحقیق روش جدیدی در سامانه های توصیه گر با رویکرد پالایش گروهی ارائه می دهیم که بر اساس حافظه است و از تشابه بین دو کاربر برای تولید پیشنهاد استفاده می کند، همچنین با تعریف یک همسایگی وزن دار در بین آیتم ها، یک پس زمینه کلی از علاقه به آیتم ها را در نطر می گیریم که با عث افزایش دقت پیشگویی الگوریتم جدید می شود. مجموعه داده ویژه ای با نام movielens برای ارزیابی توصیه گرها ایجاد شده، که اکثر توصیه گرها را با این مجموعه داده ارزیابی کرده اند. ما روش پیشنهادی در این پایان نامه را با روشی کاربر محور بر اساس همبستگی پیرسون که یکی از پرکاربردترین روش ها در بین روش های کاربرر محور است و روش های nbi، nbiw و inbi، که بر اساس دانش فعلی ما نتایج ارزیابی قابل قبولی در بین دیگر روش های آیتم محور دارند، مقایسه کرده ایم. نتایج آزمایشات با توجه به معیارهای ارزیابی، نشان می دهد روش پیشنهادی نتایج ارزیابی بهتری، نسبت به این روش ها دارد.

اسماء و صفات الهی همواره مورد بحث و نظر توسط اندیشمندان در حوزه دین قرار گرفته است و بر همین اساس مکاتب مختلف فکری شکل گرفته است. در این میان برخی از صفات و اسماء الهی هم تنها ترجمه ای ساده شده و کمتر مورد توجه قرار گرفته است .«ربّ» از جمله همین اسماء و صفات الهی است که کمتر در قرون گذشته مورد بحث واقع شده است. در حیطه لغت نیز این واژه به گونه های مختلف ترجمه شده است. همچنین در تفاسیر نیز کمتر به آن پرداخته شده است. در این میان علمای علم کلام در حیطه اسماء و صفات الهی بحثهای زیادی کرده اند اما بصورت مصداقی کمتر به ربوبیت الهی به معنای صاحب اختیار مطلق پرداخته اند. کشف معنای واژه از استعمالات به کار رفته در متون کهن و خصوصاً متون دینی همچون قرآن ما را در رسیدن به محدوده معنایی واژه و روابط معنایی آن با دیگر اسماء و صفات الهی یاری می رساند. هم از این رو با رجوع به قرآن درمی یابیم این واژه نقشی کلیدی در تثبیت معنای «الله» و اثبات اختیارات نامحدود و مطلق او در عالم وجود، دارد. از طرفی با مراجعه به تاریخ درمی یابیم مخالفان اسلام ناب اساساً همین اختیار مطلق الهی را هدف گرفته اند و برخی از آنها همچون حق حاکمیت اجتماعی و سیاسی را از خداوند سلب نموده اند و آن را در حوزه اختیارات انسانها قرار داده اندوتحت عنوان اهل حلّ و عقد و یا خرد جمعی حاکمیت انسان را جایگزین حاکمیت الله در تشریع قوانین اجتماعی و سیاسی نموده اند . لذا بزرگان دینی ما سعی در احیاء تراث وحیانی پیامبر اسلام نموده و قرآن را محور عقاید اسلامی و تنها معیار حقانیت این اعتقادات معرفی نموده اند .دراین میان حضرت امام علی علیه السلام به دلیل حضور در هنگامه انزال وحی و پس از آن که دوره شکل گیری و نهادینه شدن انحراف است دارای جایگاه ویژه ای است .هم از این رو رجوع به منابع اصیل اسلامی همچون قرآن و نهج البلاغه مارا به کشف حقیقت و اثبات حوزه اختیارات مطلق الهی نزدیک تر می سازد.این تحقیق انکشاف حوزه معنایی «ربّ» در قرآن و نهج البلاغه و اثبات وحدت ادبیات دینی در این دو حوزه را در ضمن اثبات اختیارات مطلق برای خدا به عهده خواهد داشت.

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