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

گستردگی و ماهیت توزیع¬شده¬ی شبکه¬های کامپیوتری بستری مناسب برای نفوذ و آسیب وارد نمودن به پروتکل¬های درحال اجرا روی این شبکه¬ها پدیدآورده است. یکی از پروتکل¬های لایه¬ی ip که در معرض آسیب¬های ناشی از این بستر ناامن و حفاظت نشده قرار دارد، پروتکل mobile ipv6 (mipv6) است. mipv6 پروتکلی برای اینترنت ipv6 است که مشکلات ناشی از جابجائی و تغییرات ip گره¬ها در شبکه را حل می¬کند. مکانیزم بهینه¬سازی مسیر...

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

گونه شناسی کشف صوری در مثنوی     سید مسلم مدنی [1]     تاریخ دریافت: 15/2/92   تاریخ تصویب: 18/9/92     چکیده   کشف و شهود همچون بنیان شناخت های عرفانی به شمار می رود. عارفان از رهگذر کشف، رویارویی بی واسطه با حقیقت را تجربه می کنند؛ از همین رو پرداختن به گونه های کشف و اندازۀ توان معرفتی هر یک، همواره در کانون تأمل های عارفانه بوده است. جلال­الدین محمد مولوی به مثابه عارفی اندیشه­مند، برپایۀ آ...

بزودی چکیده فارسی مقاله در وب سایت قرار خواهد گرفت.