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

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

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

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

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

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

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

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

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

این پژوهش به « بررسی نقش رهبری توزیع شده در توسعه فردی کارکنان (مورد مطالعه : سازمان تامین اجتماعی استان اردبیل)» می پردازد. پژوهش حاضر از نظر هدف کاربردی می باشد و روش تحقیق از نوع توصیفی و پیمایشی است .