با ظهور منطق صوری جدید و پیشرفت در متمایز کردن صورت از ماد ّه، مواردی از خلط صورت با ماد ّه در منطق قدیم آشکار شده است. عده ای معتقدند این خلط در قاعدۀ عکس مستوی که از قواعد صوری بسیار مهم است و در اثبات بسیاری از دیگر قواعد صوری هم به کار می رود، وجود دارد؛ چون در مواردی از اعمال قاعدة عکس مستوی، استنتاج وجودی از شرطی صورت می گیرد و اصل صادق، امـّا عکس کاذب است. علّت اینکه پیشینیان آن را معتبر می ...

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

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

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

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

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

‏در این پایان نامه‏، شبیه سازی و پیاده سازی مرحله ی آزمایش ماشین بردار پشتیبان مواز‎‏ی ‎(psvm)‎‏ را ارائه می دهیم. مرحله ی آموزش به صورت جدا و از پیش توسط نرم افزار ‎matlab‎‏ صورت گرفته است و از نتایج آن در مرحله ی آزمایش استفاده گردیده است. در این پایان نامه‏ از قطعه ‎fpga‎‏ ساخت شرکت ‎xilinx‎‏ به نام ‎‎‎‎‎spartan3e‎‎‎‏ استفاده شده که از طبقه ی ‎fpga‎‏ های ارزان قیمت و دارای منابع محدود می باش...

مشتقات رنگ های آزو سنتزی تهیه می شوند که دارای گروه عاملی n=n می باشند و کاربرد اصلی آنها در صنایع غذائی و نساجی است. قسمت آروماتیکی تعیین کننده رنگ است. در این کار از الگوریتم کلونی مورچه و مدل رگرسیون خطی جهت پیشگویی ?max یک سری30- تایی از مشتقات رنگ های آزو استفاده شده است. در ابتدا پس از بهینه سازی ساختار مولکولی توسط نرم افزار hyper chem، در مجموع 1521 توصیف کننده به وسیله نرم افزارهای h...

گیرنده‌های سامانه موقعیت‌یاب جهانی موجود در ماهواره‌های گرانی‌سنجی اطلاعات ارزشمند موقعیت سه‌بُعدی ماهواره را به‌صورت تقریباً پیوسته اندازه‌گیری می‌کنند. با این‌حال سرعت ماهواره را که کاربردهای بسیار مهمی در ژئودزی ماهواره­ای دارد نمی­توان به‌طور مستقیم اندازه­گیری کرد. برای نمونه به‌منظور بازیابی میدان گرانش زمین به روش ماهواره‌ای نیاز به سرعت و یا شتاب ماهواره است تا با به‌کارگیری روش انتگرال ا...

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