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

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

سابقه و هدف: پیدایش پرتوزایی خارج قلبی در کبد، مجاری صفراوی و روده‌ها از دشواری‌های تصویربرداری اسکن پرفیوژن میوکارد در تشخیص بیماری‌های عروق کرونر قلب به‌شمار می‌آید. هدف از این مطالعه، مقایسه میزان اثربخشی آب، شیر و آب لیموی طبیعی بر روی ترشح کبدی و پیرو آن کاهش پرتوزایی مزاحم زیرقلبی رادیوداروی 99mTc- sestamibiدر این نوع از اسکن‌ها می‌باشد. مواد و روشها: این مطالعه کارآزمایی بالینی بر روی 10...

امروزه حذف ویا کاهش نویز یک مساله اساسی در پردازش سیگنال¬های دیجیتال است و به سرعت روش¬های جدیدی برای این مهم پیشنهاد می¬شود.اساسا ارسال اطلاعات با هر کیفیتی که باشد آغشته شدن آن به نویز اجتناب ناپذیر است، اگرچه روش-هایی برای کاهش تاثیر نویز وجود دارد.گوسی بودن یا نبودن نویز از دو نظر حائز اهمیت است: اول پردازش و تحلیل رفتار آن¬ها،دوم اثر فیزیکی نویز روی پدیده مورد نظر. گوسی بودن نویز از منظر ا...

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

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

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