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

فرض کنیم s تکواره باشد.یک s-عمل راست مجموعه ناتهی aبه همراه یک نگاشت از a×s بهaاست،که در آن تصویر (a,s)به صورت asنمایش داده می شود،به گونه ای که برای هر s,tدر sوaدرa، داشته باشیم (as)t=a(st)وa1=a .به طور مشابه s-عمل چپ تعریف می شود.در این پایان نامه ابتدا تعریف s-عمل تصویری را گسترش می دهیم و s-عمل تصویری ضعیف و (s/i,s/j)- تصویری را معرفی می کنیم .سپس درون بر‏‏‏،هم حاصلضرب و حاصلضرب این عمل ها...

فرض کنیم ‎ (r‎, ‎m)‎ یک حلقه ی موضعی، نوتری و گرنشتاین ‎ n -‎بعدی باشد. برای هر ایده آل سره ی ‎ i ‎ از ‎ r ‎ با ‎grade(i)=c ، ثابت عددی ‎ au _{i‎, ‎j}(i) ‎ را به عنوان بعد سوکل ‎ h _{fm}^{i}(h _i^{n-j}(r)) ‎ تعریف می کنیم. درحالتی که ‎ r ‎ موضعی منظم بوده و شامل یک میدان باشد، این اعداد همان اعداد لیوبزنیک ‎ lambda _{i‎, ‎j} (r /i) ‎ می باشند. اگر‎ d = dim ‎(r /i‎‎) ‎، آن گاه از نماد ‎ au _{d‎,...

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

هدف پایان نامه، تعریف الصاق تصویری توماس -وایتهد و سپس کاربرد آن برای مطالعه الصاقهای پایا است . اگر g یک گروه لی باشد که بر منیفلد m از بعد dim m>-2 عمل میکند و m منیفلدی که الصاق خطی بی تاب -gپایا بپذیرید×، نشان داده می شود که هر کلاس هم ارز تصویری -gپایا روی m شامل یک الصاق خطی بی تاب -gپایا می باشد. این تعمیمی است از یک نتیجه که بوسیله agaoka و podesta، برای حالتیکه m فضای همگن تضعیفی می با...

در این رساله بر مبنای مقاله 13 تحقیق شده است که چه موقع هر مدول ساده دارای یک پیش غلاف تصویری است. ثابت می شود که (1) هر r- مدول راست دارای یک پیش غلاف تصویری است اگر و تنها اگر پوچ ساز چپ هر ایده آل راست ماکسیمال از r متناهی تولید باشد (2) هر r- مدول راست دارای غلاف تصویری پوشایی است اگر و تنها اگر r یک حلقه ps راست باشد (3) هر r- مدول راست ساده دارای یک پیش غلاف تصویری تکمین است اگر و تنها اگ...

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

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