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

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

در این مطالعه به بررسی نقش مخارج r&d داخلی و واردات تکنولوژی بر ارزش افزوده در صنایع بزرگ ایران، طی دوره زمانی 1385-1373 پرداخته شده است. برای این منظور از مدل های رشد درون زا که در آن تولید تابعی از تعداد شاغلان، موجودی سرمایه فیزیکی، r&d داخلی و واردات سرمایه ای-واسطه ای در نظر گرفته شده، استفاده گردیده است و مدل مزبور به روش داده های تابلویی برای بیست و یک گروه صنعتی برآورد شده است. پس از ان...

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

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

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

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

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

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