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

در فصل اول مروری بر تعاریف مورد نیازدر این پایان نامه را داریم که مربوط به تعاریف مشبکه ها و جبر می باشد . می توان گفت تعاریف این فصل پایه و اساس این کار را بنیان می کنند و کاربرد زیادی در فهم تعاریف گفته شده در فصول بعدی را نیز دارند. در فصل دوم به تعریف جبر استلزامی مشبکه ای می پردازیم و خواص ان را بررسی میکنیم. در ادامه با تعریف کردن رابطه روی این جبر خواص بدست امده از این رابطه را بررسی می کنیم . در فصل سوم با توجه به تعریفی که از ایده ال در جبر داشتیم ? تعریف جدیدی به نام ایده ال li را در یک جبر استلزامی مشبکه ای می گوییم . باز در ادامه با استفاده از لم ها و قضایای اثبات شده ? کوچکترین ایده ال li تولید شده توسط یک زیر مجموعه غیر تهی از l و ایده ال li اصلی را توسط تک عضوی a از جبر l را گوییم و به اثبات قضایایی ازاین موضوع می پردازیم . در فصل چهارم نیز به تعریف ایده ال li اول از جبر استلزامی مشبکه ای می پردازیم.

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

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

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

??جورخ-یدورو یزاس بلاق یارب ???ومعم هک تسا دناروخ سپ ??بصع یرامعم ??? 1 سکران ه??بش ل???شت هتسهآ یر?خأت طخ ود طسوت سکران ه??بش یدورو .دوش ??م هدافتسا ??طخ ر?غ یاه متس?س ??تقو رضاح لاح رد. تسا ??جورخ لان???س یر???د و تسا یدورو لان???س ًارصتخم ????? هک تسا هدش ر?خأت ??بصع ه??بش ??? ل??ش هب سکران یرامعم دوش ??م ??لمع هتفشآ ??نامز یاه یرس ???و??ش?پ هک .دشاب ??م 2 نا نا ید ??ت فا هداس ??م?ظنت ??نامز ??فرعم ار یدربهار همان نا?اپ ن?ا رد . م?نک ??م دودحم ار ???و??ش?پ یاه??اناوت راک ن?ا اب ن?اربانب رتهب یارب ار ش?تابساحم ناوت لماک روط هب سکران ه??بش ??لصا یرامعم دهد ??م هزاجا هک م?نک ??م یداهنش?پ یاههار ??با?زرا یارب هتفشآ یرز?ل ??نامز یاه یرس زا .دنک وجتسج ???و??ش?پ لمع ندرک .م?نک ??م هدافتسا ???و??ش?پ یاهراک رد درادناتسا ??بصع یاه ه??بش زا هراومه یداهنش?پ هار هک دنهد ??م ناشن م?دروآ تسدب هک ??ج?اتن ن?نچمه ام .تسا رتهب ??طخ رتل?ف و نا نا ید ??ت فا ، 3 ناملا نوچمه ???اه هدننک ???و??ش?پ ساسا رب یرس نآ زا هدافتسا اب ات م?داد ر??غت یزاف یاه یدورو زا هدافتسا اب ار سکران ??بصع ه??بش یرامعم .م?نک ??ن?ب ش?پ ار یزاف ??نامز یاه

چکیده در‎ این پایان نامه خواص اصلی از شاخه ها در جبرهای ‎ ‎bcc‎ ‎ ‏ضعیف و ارتباط بین انواع مختلف ایده آل های آن جبرها بررسی شده است و سپس یک شکل جدید از ایده آل های آن معرفی و توصیف می شود که توسط این ایده آل ها منحصراً یک جبر خارج قسمتی القا می شود و این جبر خارج قسمتی بوسیله بعضی گروه ها مشخص می گردد.‎‎ ‎ کلمات کلیدی: ‎ ضعیف،bcc‎‏جبر ‎ ‎،bccجبر ،bz‎ ، جبر‎‏‏ ایده آل‏، شاخه ‎

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

‏در این رساله‏، ‏ابتدا‎‎‎‎‎‎‎‎‎‎‎‎‎‎ مفهوم ‎ایده ال .‎‎‏-اول در یک ‎$‎‎‎pmv‎$‎‎‏-جبر را معرفی می کنیم. سپس به بررسی ارتباط بین ‎ایده ال های .-اول و ‎$‎‎‎mvf‎$‎‎‏-جبرها می پردازیم. ‏‏در ادامه ایده ال های تولید شده توسط یک زیر مجموعه ناتهی ‎$‎‎‎n‎$‎‎‎‏ از یک ‎$‎‎‎mv‎$‎‎‏-مدول ‎$‎‎‎m‎$‎‏ را مورد بررسی قرار داده و پوچساز یک ‎$‎‎‎a‎$‎‎‏-ایده ال از یک ‎$‎‎‎mv‎$‎‎‏-مدول را روی یک ‎$‎‎‎pmv‎$‎‎‏-جبر معرفی کرده و رابطه آنها را با ‎$‎‎‎a‎$‎‎‏-ایده ال های اول بررسی می کنیم. همچنین‏، به معرفی ایده ال های سرسخت یک ‎$‎‎‎mv‎$‎‎‏-جبر پرداخته و با توجه به اینکه ایده ال های سرسخت دارای ویژگی های جالبی هستند لذا در ادامه به بیان پاره ای از این ویژگی ها خواهیم پرداخت. سپس به بررسی ارتباط بین ایده ال های سرسخت و ایده ال های دیگر یک ‎$‎‎‎mv‎$‎‎‏-جبر می پردازیم. در ادامه‏، نشان می دهیم خارج قسمت یک ‎$‎‎‎mv‎$‎‎‏-جبر بر یک ایده ال سرسخت‏، یک جبر بولی است. ‎‎‎‎‏مفهوم رادیکال یک ایده ال در یک ‎$‎‎‎mv‎$‎‎‏-جبر ‎‏را‎ معرفی کرده و پاره ای از خصوصیات آن را مطالعه خواهیم کرد. رادیکال یک ایده ال را با استفاده از عضوهای ‎$‎‎‎mv‎$‎‎‏-جبر مشخص می کنیم. مفهوم یک ایده ال نیمه ماکسیمال در یک ‎$‎‎‎mv‎$‎‎‏-جبر معرفی شده است و رابطه آن را با سایر ایده ال های خاص دیگر بررسی می کنیم. ‎‎ ‎‏در ادامه‏، نشان خواهیم داد ‎$‎‎‎a/i‎$‎‏ یک ‎$‎‎‎mv‎$‎‎‏-جبر نیمه ساده است اگر و تنها اگر ‎$‎‎‎i‎$‎‏ یک ایده ال نیمه ماکسیمال از یک ‎$‎‎‎mv‎$‎‎‏-جبر ‎$‎‎‎a‎$‎‏ باشد. در پایان‏، مفهوم رادیکال یک ‎$‎‎‎a‎$‎‎‏-ایده ال‎‎‎‎‎‎‎ و ‎$‎‎‎a‎$‎‎‏-ایده‏ ال نیمه ماکسیمال را در یک ‎$‎‎‎mv‎$‎‎‏-مدول معرفی می کنیم.

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

در این پایان نامه ابتدا مشبکه های مانده و ساختارهای جبری mv و bl و جبرهایتینگ معرفی می شوند. فیلترهای بولی، اول، استلزامی مثبت، شبه متمم و پیچشی را روی مشبکه های مانده تعریف کرده و چند فرم از فیلتر اول و بولی را معرفی می کنیم. سپس با استفاده از قضایا رابطه بین آنها را بررسی می نماییم. تعریف –t نرم ها و عملگرهای مربوطه و مثال هایی از آنها آورده می شود. مشبکه های مانده بازه ایی مقدار (ivrl) معرفی شده و جبرهای مثلثی را با عملگرهای بستار u و درونی v با یک نقطه ثابت u که متفاوت از 0 و 1 می باشد می سازیم. ثابت می کنیم که یک نگاشت یک به یک بین کلاسی از (ivrl) ها و کلاسی از جبرهای مثلثی وجود دارد و نشان می دهیم هر (ivrl) توسیع یافته یک جبر مثلثی است و برعکس هر جبر مثلثی ایزومورف با یک (ivrl) توسیع یافته است . در انتها به بررسی فیلترهای (ivrl) روی جبرهای مثلثی می پردازیم و قضایای مربوط به فیلترها روی مشبکه های مانده را به این فیلترها نیز تعمیم می دهیم.

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

منطق اِحراز هویت باروز ابدی و نیدهام (ban) گام های مهمی در جهت تحلیل پروتکل های امنیت بر می دارد‏‏، و دارای چندین بازبینی پی در پی پیشرفته است. در این پایان نامه منطق های vo و svo را مطالعه می کنیم. vo یک گسترش از منطق های خانواده ban می باشد که برای اولین بار‏، بررسی کلید عمومی مبتنی بر پروتکل های ایجاد کلید اِحراز هویتی که هر دو عامل در اشتقاق کلید (یعنی‏، پروتکل های توافق-کلید) همکاری دارند را آسان تر می کند. شش هدف اصلی مجزا برای پروتکل های ایجاد کلید اِحراز هویت معرفی شده است. vo ‎ برای تحلیل سه پروتکل توافق-کلید مبتنی بر د‏یفی-هلمن استفاده شده است و مقایسه مستقیم این پروتکل ها را نسبت به اهداف صوری به دست آمده و فرضیات صوری مورد نیاز را راحت می کند. svo مبتنی بر یکسان سازی چهار منطق ماقبل از خانواده منطق های ban یعنی منطق های gny، at، vo و خود ban می باشد. svo ویژگی های مطلوب چهار منطق ماقبل و بیشتری را به تسخیر در می آورد‏؛ با این حال‏، این منطق به مراتب آسان تر و کاربردی ساده دارد. این منطق با به کار بردن روی پروتکل نیدهام-شرودر‎ شرح داده شده است‏، در همین راستا تحلیل های در بعضی موارد ممکن است منجر به نتایج نامناسبی شود. همچنین برای تحلیل دو پروتکل توافق-کلید به کار برده شده است و حمله به یکی از آن ها بررسی می شود.

در این پایان نامه ابتدا مشبکه های مانده و ساختارهای جبری bl و mv جبرها و جبر هایتینگ معرفی می شوند. مشبکه های مانده ای بازه ی مقدار (ivrl) و جبرهای مثلثی را با دو عملگر یکتایی ?,? و یک ثابت غیر قطعی u متفاوت از 0 و 1 را تعریف می کنیم و ثابت می کنیم که یک نگاشت یک به یک بین کلاسی از (ivrl) ها و کلاسی از جبرهای مثلثی وجود دارد و نشان می دهیم هر (ivrl ) توسیع یافته یک جبر مثلثی است و بر عکس هر جبر مثلثی ایزومورف با یک (ivrl) توسیع یافته است. و همچنین منطق جبرهای مثلثی با دو عملگر لزوم و امکان ? و ? را بیان می کنیم و صحت و تمامیت آن را ثابت می کنیم.

در ابتدای این پایان نامه مشبکه ی مانده و خاصیت های آن را بیان می کنیم سپس با استفاده از تعریف مشبکه مانده به بیان mv و bl و g(rl) – جبر می پردازیم. در ادامه به بیان تعریف فیلتر در مشبکه مانده پرداخته و انواع فیلترها را در مشبکه مانده بیان و رابطه بین آنها را تحقیق می کنیم و شرایط وجودی آنها را در جبرهای مختلف بررسی می کنیم. سپس به تعریف فیلتر سرسخت در مشبکه مانده پرداخته و ویژگی های آن را تحقیق کرده و رابطه این فیلتر را با سایر فیلترهای مشبکه مانده مورد بحث قرار دادیم. در انتها به بیان فیلتر فازی و انواع این فیلتر ها در مشبکه مانده می پردازیم و رابطه بین این فیلترهای فازی را مورد بررسی قرار می دهیم.

ابتدا مشبکه و نیم مشبکه مدولار متعامد را تعریف کرده و سپس قضایایی برای تصحیح در شناخت انها بیان کردیم

این پایان نامه بر آن است یک کران بالا برای 2^(?_? ) بیابد.برای نیل به مقصود،این پایان نامه در سه فصل و تنظیم گردیده است. در فصل اول،ابتدا مقدمات نظریه مجموعه ها، تعاریف اولیه و قضایای مقدماتی ،و در عین حال اساسی نظریه مجموعه ها،به همراه زبان نظریه مجموعه ها،به طود کامل و تا جای امکان ، به زبان ساده و گویا معرفی و بیان شده است. در فصل دوم به بررسی روابط اولیه حساب اعداد اصلی می پردازیم.هدف نهایی در این فصل،بیان و اثبات دو قضیه سیلور و گالوین-هاینال است.این دو قضیه از نیازهای اصلی برای اثبات قضیه شلا روی 2^(?_? ) می باشد.در این فصل،برای اثبات این دو قضیه،به تعاریف و لم های دیگری نیاز است که قبل از اثبات این دو قضیه،توضیح و اثبات آن ها آورده شده است. سر انجام در فصل سوم،قضیه شلا ثابت می شوداین قضیه اثبات می کندکه اگر ?_? یک عدد اصلی قویا حدی باشد،آن گاه 2^(?_? )<?_?.برای این منظور ابتدا نشان می دهیم 2^(?_? )=maxcof?_(n=0)^???_n و در پایان ثابت می کنیمmaxcof?_(n=0)^???_n <?_(?_4 ).

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

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

چکیده ندارد.

چکیده ندارد.

چکیده ندارد.

چکیده ندارد.

چکیده ندارد.

چکیده ندارد.

چکیده ندارد.

پیش از ظهور مکانیک کوانتمی، منطقی که بر فیزیک کلاسیک و مخصوصا مکانیک ، حاکم بود همان منطق کلاسیک بود. به این جهت درک تصویری که مکانیک کلاسیک از جهان ارائه می کرد طبیعی و قابل فهم بود. اما مکانیک کوانتومی نتایج و تصویری را ارائه می داد که حتی بعد از تکمیل صورتبندی آن یافتن تعبیری که مورد توافق همه باشد مشکل می نمود، در نتیجه چنین به نظر می رسید که منطق حاکم بر جهان اتمی، منطق کلاسیک نیست . فون نویمان و بیرکهوف با ارائه مثالهایی سعی کردند نشان دهند که قانون پخشی منطق کلاسیک p (q r) (p q) (p r) در مکانیک کوانتمی لزومی ندارد برقرار باشد. آنها در سال 1936 میلادی با استفاده از صورتبندی فضای هیلبرتی مکانیک کوانتومی، ساختاری جبری برای منطق کوانتوم ارائه کردند که عامتر از جبر بولی منطق کلاسیک است . این ساختار همان مشبکه ارتومدولار است که تعاریف و خواص آن را در فصل 4 بررسی می کنیم. لازمه مطالعه رهیافت فون نویمان و بیرکهوف آشنایی با خواص فضاهای هیلبرت و عملگرها (مخصوصا خواص زیرفضاهای بسشته و عملگرهای تصویری) را می طلبد که در فصل 2 با آنها آشنا می شویم. و این آشنا امکان بیان اصول مکانیک کوانتومی را در فصل 3 به ما می دهد که به این ترتیب مطالعه زمینه های فیزیکی که در فصل 1 صورت گرفته کامل می گردد. در فصل 5 بعد از ارائه رهیافت فون نویمان و بیرکهوف ، دو رهیافت که به ترتیب ساختارهای عامتری را به دست می دهند مطالعه خواهیم کرد. نهایتا در فصل خر با بیان دو قضیه معروف در زمینه متغیرهای پنهانی، مثالی از یک تاتولوژی کلاسیک که تاتولوژی کوانتومی نیست را ارائه می دهیم.

هدف از قضیه بیز (bayes theorm) در فرم فازی است . بدین جهت ابتدا به بیان مطالبی در رابطه با منطق دو ارزشی می پردازیم سپس منطق دو ارزش را جبری نموده و با بسط مطلب ، روی منطق های چند ارزشی، جبرهای چند ارزشی (در فصل 2 بطور کامل به جبرهای چند ارزشی پرداخته شده است ) را مطرح می کنیم. آنگاه بحث را روی مجموعه هایی با کرانهای نادقیق (مجموعه فازی) تعمیم می دهیم. در این تعمیم از -t نرمها بعنوان رابط استفاده کرد تا بدینوسیله با عنوان فرمولهای فازی، درجه اطمینان فرمولهای فازی و بعد از آن درجه اطمینان مشروط انها را ارئه نماییم. سپس با استفاده از این نتایج به هدف نهایی خواهیم پرداخت .

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

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

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

در فصل اول تعاریف مقدماتی از ترجیحات فردی و اجتماعی تابع رفاه اجنماعی و شرایط حوزه نا مقید(u) ، اصل پریتو(p) ، استقلال انتخابهای نامربوط(i) و عدم دیکتاتوری (d) ارائه شده است . در فصل دوم مرور مختصری راجع به عملگرها روی فاصله [0,1]داریم . یک زبان مرتبه اول برای روابط ترجیحی در فصل سوم شرح داده می شود. فصل چهارم دیدگاه ما را نسبت به قضیه ارو از توابع رفاه اجتماعی نشان می دهد. نهایتا" در فصل پنجم یک مشخصه کاملی از قاعده انتخاب جمعی فازی مهیا می کنیم که بر حسب شرایط حوزه نامقید، بی نامی، بی اثری و حساسیت مثبت ارائه شده است .

این پایان نامه در دو فصل ارائه شده است : فصل اول مشتمل بر دو بخش است ، در بخش اول تعاریف و نتایج مقدماتی مورد نیاز ضمن بحث گردآوری شده و در بخش دوم تعریف حوزه های هدایت شده و مختصری از خواص آنها بیان گردیده است . فصل دوم کلا" به بررسی حوزه های هدایت شده با استفاده از نمودار عقب بر اختصاص یافته است . در بخشهای پنجگانه آن حوزه های هدایت شده در حالت کلی و حالتهای خاص حوزه های archimedian-neotherian mori-accp مورد بررسی قرار گرفته اند.

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

در فصل اول این پایان نامه به تعریف انواع جبرهای استلزامی و فیلترهای آنها پرداخته و سپس قضایای نمایش را در مورد آنها بررسی می کنیم. در فصل دوم ‏‎s‎‏ و ‏‎r‎‏ و ‏‎-ql‎‏ استلزام را تعریف کرده و پس از تعریف انواع استلزام قضایایی را در مورد آنها می آوریم . در فصل سوم ابتدا لیستی از عملگرهای استلزام شناخته شده را ارائه و سپس نوع جبر و بعد از آن خواص ذکر شده در فصل اول و دوم را در مورد آنها بررسی می کنیم. در فصل چهارم با استفاده از نتایج و فصل قبل فیلترهای جبرهای استلزامی را بررسی می کنیم. در فصل پنجم با استفاده از نتایج حاصله عملگرهای استلزام را رده بندی خواهیم کرد.

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

در این پایان نامه، روی مجموعه ای از گزاره ها (که با ‏‎f‎‏ نمایش داده می شود.) و ارزش درستی شان را در یک مشبکه کامل می گیرند اصل استقرار منطقی را با استفاده از خانواده ای از زیر مجموعه های معمولی (فازی) ‏‎f‎‏ معرفی نموده و روابط استلزامی مختلفی را روی ‏‎f‎‏ تعریف می کنیم و ثابت می کنیم که این روابط پیش ترتیب هستند و در حالت کلی تر این روابط را با استفاده از t- نرم ها تعمیم داده و روابط ‏‎*‎‏- پیش ترتیب فازی را معرفی می نمائیم. در ادامه به تعریف ‏‎-cc‎‏ سیستم های فازی و ارتباط بین ‏‎-cc‎‏ سیستم ها و روابط پیش ترتیب می پردازیم. در این رساله همچنین، استقرار احتمالاتی و استقرا امکاناتی را با استفاده از یک سری اطلاعات احتمالی و امکاناتی روی ‏‎f‎‏ تعریف نموده و خواصی از آنها را مورد بررسی قرار می دهیم.