در این پایان نامه طرح های تسهیم راز بصری برای تصاویر رنگی، تحت ساختار دسترسی آستانه ای (t,n) که n بزرگتر یا مساوی یا بزرگتر و مساوی t اعداد صحیح دلخواه هستند، مورد بررسی قرار گرفته و روشی جبری برای ساخت ماتریس های پایه ای آن ارائه خواهد شد. ماتریس های پایه ای ساخته شده برای تولید n سهم از یک تصویر سرّی مورد استفاده قرار می گیرند. ماتریس های پایه ای در این روش، به دسته خاصی از ماتریس ها تعلق دارن...

دراین پایان نامه فضاهای شبه متریک و متریک های جزئی در مشّبکه های مقداری مطالعه می شود. کامل سازی فضاهای متریک جزئی که شامل دو کامل سازی و کامل سازی کروی است نیز مطالعه می شود. قضیه هایی در این بحث مورد بررسی قرار داده می شود. مثال هایی از v-متریک های جزئی که مجموعه مرتب جزئی کامل جهت دار پیوسته هستند آورده شده است .

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

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

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

در این رساله، ‏برخی‎ خواص مشتق روی حلقه ها و $(f,g)$-مشتق دوتایی متقارن روی گاما‎حلقه ها مورد بررسی قرار گرفته است.‎ مفهوم مشتق روی ابرحلقه های ضربی و کراسنر به عنوان تعمیمی از مفهوم مشتق روی حلقه ها معرفی و برخی خواص آن مورد مطالعه قرار گرفته است. در این میان‏، ابرحلقه های (ضربی و کراسنر) دیفرانسیل معرفی و برخی خواص آن ها مورد بررسی قرار گرفته است. سپس، به تعمیم مفهوم مشتق پرداخته شده و بدین ت...

در این پایان نامه، ابتدا توپولوژی های متفاوتی روی مشبکه (id(a متشکل از همه ایده آل های دوطرفه بسته جبر باناخ a درنظر گرفته می شود که در بین آنها توپولوژی های " $تو-اینفینیتی$، $تو-آر$ و $تو-ان$ از اهمیت خاصی برخوردارند. سپس مفهوم ترکیبات طیفی برای جبرهای باناخ، جبرهای تابعی باناخ و pi-جبرهای باناخ مورد بررسی قرار می گیرد. نشان داده می شود که برای جبرهای باناخ جابه جایی ترکیبات طیفی با هاسدورف ...

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

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

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