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

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

هدف این پایان نامه بررسی مقا یسه ای تاثیر تدریس گرامر از طریق تمرینهای  تفسیری و نشانه های تصویری  بر درستی نوشتار زبان آموزان بوده است.زبان آموزان این تحقیق شامل 60 خانم با رنج سنی 21-35 بوده است که در موسسه علوم و فنون کیش در حال تحصیل زبان انگلیسی بودند. این زبان آموزان بعداز گذراندن امتحان آزمایش شده pet در دو گروه آزمایشی سی نفره قرار گرفتند.   pre-test شامل یک امتحان نوشتاری طراحی شده توس...

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

حل دستگاه های چندجمله ای چندمتغیره توسط پایه گروبنر، از قسمت های اساسی جبر محاسباتی است که توسط بوخ برگر در سال ‎1965‎ با ارائه در تز دکترایش وارد عرصه علمی شد. طی چند سال اخیر‎‎ ‎الگوریتم های مختلفی برای محاسبه ی پایه گروبنر ارائه شد که یکی از قویترین و کاراترین الگوریتم های موجود، الگوریتم ‎f5‎ است. این الگوریتم با داشتن محک های قوی، از محاسبات غیر ضروری (با حذف زوج های غیر مفید) جلوگیری می ک...

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

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

گمنامی خاصیتی قابل ردیابی نیست، از این رو بررسی گرهای مدل سنتی توانایی بیان و درستی یابی آن را ندارند. با بهره گیری از منطق شناختی برای مدل کردن پروتکل ها می توان گمنامی را با فرمول شناختی بیان و درستی یابی کرد.در این پایان نامه هدف استفاده از منطق شناختی پویا برای مدل سازی پروتکل های امنیت و خاصیت ها به ویژه خاصیت گمنامی است.

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