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

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

در این رساله ابتدا جبرهای منطقی نظیر مشبکه های مانده ای، $mtl$-جبرها، $bl$-جبرها و جبرهای استلزامی مشبکه ای را معرفی و خصوصیات آنها را بیان می کنیم. سپس $ bck$-جبرها را که شاخه ای دیگر از جبرهای منطقی هستند معرفی کرده و به بررسی مشبکه ها در این جبر منطقی می پردازیم. با ارائه شبه $ bck $ مشبکه هاltrfootnote{ٍٍquasi bck-lattices} در $ bck$-جبرها، مفهوم مشبکه ها را گسترش داده و ارتباط بین $ bck $...

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

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

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

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

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

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

در این پایان نامه به چگونگی ارزیابی برنامهها با استفاده از مجموعه محدود دادههای ورودی- خروجی (0-1) می پردازیم. برای ارزیابی یک برنامه باید متغیرهای بولی آن را ارزیابی کنیم . برنامه را در ابتدا می توان به عنوان جعبه سیاهی به حساب آورد که n ورودی داشته و مطابق با تابعی می باشد که متغیرهای بولی x^ را تولید می کند. به عبارت دیگر هدف این کار تعیین توابع تولید کننده x^ است. که با انتخاب چند مجموعه و...