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

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

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

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

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

یکی از راه­های مقابله با فیدینگ و نویزهای موجود در کانال مخابراتی استفاده از کدهای کانال می باشد. تاکنون بیشتر فعالیت­های انجام شده در این زمینه  مربوط به کدهای تعریف شده در میدان­های با مرتبه محدود  یا بعبارت دیگر میدان­های گالوا بوده است. سابقه کدهای تعریف شده در میدانهای با مرتبه نامحدود مانند میدانهای حقیقی و مختلط به بیش از دو  دهه قبل باز می- گردد؛ ولی در سالیان اخیر این موضوع بعلت قابلیت...

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

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

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

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