تحلیل گفتمان انتقادی روشی است برای درک بهتر و شناسایی لایه‌های پنهان متون به خصوص متون سیاسی در این روش متون سیاسی توصیف، تفسیر و تبیین می‌شوند. بررسی بیانات رهبر معظم انقلاب جهت درک بهتر پیامها و رهنمودهای سازندۀ ایشان به صورت تحلیل علمی و در چهارچوب نظریه تحلیل گفتمان انتقادی ضرورتی آشکار است. در این مقاله با روش اسنادی و تحلیلی با تحلیل گفتمان انتقادی خطبه‌های نماز جمعۀ تهران در تاریخ ۲۷/۱۰/...

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