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

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

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

سینتیک آزاد سازی فلزات سنگین (روی، سرب، نیکل، مس و کادمیوم) از دو نمونه رسوب رسی گرفته شده از عمق 0 تا 10 سانتی متری پائین دست رودخانه قره چای واقع در استان همدان که با نمک نیتراته این فلزات آلوده شده بودند، با روش ستون آبشویی مطالعه شد. سرعت آزادسازی فلزات سنگین از نمونه های آلوده در ابتداء سریع و با گذشت زمان از سرعت آزادسازی آن ها کاسته شد. سرب رفتار متفاوتی نسبت به سایر فلزات از خود نشان دا...

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

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

در این پایان نامه نوعی از حلقه ها منسوب به حلقه های ارزیابی را بررسی کرده و در ادامه زیرحلقه های ارزیابی و شبه ارزیابی را مورد مطالعه قرار می دهیم.

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