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

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

متدی صحیح که این شاخص ها را به درستی ارزیابی نماید تا بتوان بر دقت این ارزیابی ها صحه گذارد، نیازمندند تابتوانند علاوه بر کنترل ادارات و زیر مجموعه های تابعه رقابتی سالم را در جهت نیل به اهداف سازمانها ارایه نمانید. این مقاله به ارایه روشی جهت ارزیابی عملکرد و رتبه دهی ادارات امور مالیاتی بر حسب شاخص های استخراجی با الهام ازمدل کارت امتیازی متوازن (BSC) در چهار دسته کلی (شاخص یاد گیری و رش...

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

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

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