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

برخی نامساوی های از نوع هاینز و یانگ را برای نرم های یکانی پایا نشان خواهیم داد. به عنوان مثال نامساوی از نوع هاینز شامل ضرب هادامار ‎$circ$‎ را برای ماتریس های ‎$n imes n$‎ به صورت ‎[2|||a^{1over2}circ b^{1over2}|||leq|||a^{s}circ b^{1-t}+a^{1-s}circ b^{t}|||leqmax{|||(a+b)circ i|||,|||(acirc b)+i|||}]‎ نشان می دهیم که در آن ‎$a$‎ و ‎$b$‎ ماتریس های نیمه معین مثبت ‎$n imes n$‎ و ‎$s‎, ‎tin ...

فرض کنیم ‎$‎‎‎b‎$‎ یک جبر باناخ نیم ساده جابه جایی و یکدار باشد. درون ریختی هایی از ‎$‎‎‎b‎$‎ را مورد بررسی قرار می دهیم که عملگرهای شبه فشرده هستند. نشان می دهیم اگر فضای سرشت ها‏ی ‎$‎‎‎b‎$‎ همبند باشد و ‎‎$‎‎‎t‎$‎‎ یک درون ریختی یکا‎نی بر ‎$‎‎‎b‎$‎ باشد‏، آنگاه عملگر ‎$‎‎‎t‎$‎ شبه فشرده است اگر و تنها اگر ‎دنباله ی عملگرهای ‎$‎‎‎t^n ‎$‎ با نرم عملگری به یک درون ریختی یکانی از رتبه یک‏ همگرا ب...

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

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

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