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

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

در این تحقیق، برای بررسی حذف درجای MTBE و بنزن از آب زیرزمینی، آزمایش‌هایی در ستون خاک یک‌بُعدی با شرایط فیزیکی و شیمیایی مشابه منطقۀ مطالعاتی ترتیب داده شد. با توجه به شرایط طبیعی محدودکنندۀ محیط، یعنی ریزدانه‌بودن آبخوان، نفوذپذیری پایین، محدودۀ pH خنثی و بالابودن عوامل مزاحم مثل یون‌‌ها و سایر مواد آلی، برای حذف آلاینده‌‌‌های مورد هدف به روش اکسیداسیون شیمیایی، از واکنش فنتون (H2O2/Fe) و نانو...

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

در این پژوهش تأثیر رزوناتورهای خودروهای سوزوکی ویتارا، تندر 90، پژو 206 معمولی و پژو 206 صندوق‌دار به منظور کاهش تراز صدای خودرو بررسی شد. آزمایش‌ها به صورت آزمایش فاکتوریل 4×5×10 در قالب طرح کامل تصادفی انجام شد که نوع رزوناتور در چهار سطح،‌ دامنه صوت در پنج سطح (05/0، 15/0، 25/0، 35/0 و 45/0) و فرکانس‌ تحریک در 10 سطح (32، 64، 128،‌ 256، 512، 1024، 2048، 4096، 8192 و 16348 هرتز) فاکتورهای این...

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

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

هدف: رانندگی از جمله مشاغل دارای وظایف شناختی (cognitive task) پیچیده است که نیازمند سطح بالایی از هوشیاری و واکنش به هنگام در شرایط اضطراری می باشد. هر عاملی که منجر به تخریب عملکرد شناختی در پردازش ذهنی راننده شود، ریسک رخداد تصادف را افزایش می دهد صدای ترافیک از جمله عوامل مخرب عملکرد شناختی است که در این مطالعه مورد بررسی قرار گرفت. روش بررسی: در این مطالعه نمونه ای به حجم 80 نفر(40 مورد و ...

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