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

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

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

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

عصری که درآن زندگی میکنیم عصرارتباطات و فناوری اطلاعات است که درتمام ارکان جوامع درحال نفوذ و بروز است. یکی ازمهمترین بخشهایی که درکوران این فن آوری قرارگرفته است ، صنعت بانکداری است که تحت عنوان بانکداری الکترونیکی درحال دگرگونی است. یکی ازابزارهای ضروری برای تحقق وگسترش تجارت الکترونیک ، وجودسیستم بانکداری الکترونیک است که همگام باسیستم های جهانی مالی وپولی ، عمل و فعالیتهای مربوط به تجارت الکترونیک راتسهیل نموده است. سرعت انجام کار ، سهیم شدن دراطلاعات وهدایت مبادلات بازرگانی با شبکه های ارتباطی ،امروزه به صورت یک اصل تردید ناپذیر موفقیت در بازار درآمدها است. ویژگی اصلی همه ی این فعالیتها تسهیل فرآیند ها ،کاهش هزینه ها ازطریق افزایش هماهنگی، بهبود دسترسی به مشتری وافزایش تنوّع خدمات ارائه شده به مشتریان است. استقرار بانکداری الکترونیک علاوه برارتقای سطح کیفی خدمات، 60 تا 70 درصد هزینه های بانکها را کاهش می دهدو میتواند با برقراری ارتباط سریع با تمام مخاطبان و ارائه ی خدمات مبتنی بر نیازهای فرد - فرد آنان، تحول همه جانبه در نظام بانکی ایجادکند. در پژوهش حاضربه بررسی تأثیر توسعه ی بانکداری الکترونیکیبانک کشاورزی با مدنظر قرار دادن ابعاد اصلی آن، بر هزینه های کارمزدی بانک و نحوه این تأثیر گذاری پرداخته ایم. سوال اصلی بدین نحو عنوان گشته است که آیا توسعه بانکداری نوین و الکترونیکی بر افزایش درآمد های کارمزدی بانک کشاورزیتأثیر دارد؟ متغیرهای مستقل پژوهش توسعه بانکداری نوین و الکترونیکی(فنی و تکنولوژیکی، مدیریتی، مالی) و متغیر وابسته آن درآمدهای کارمزدی بانکداری الکترونیکی می باشد. تحقیق با روش کاربردی و پیمایشی و توصیفی انجام شده و داده های بدست آمده توسط نرم افزار spss مورد بررسی قرار گرفته است.تحلیل آماری در دو بخش توصیفی و استنباطی انجام شده گردیده است.