فرض کنید m_n(f) فضای خطی از ماتریس های مربعی از اندازه n روی میدان f باشد, که f حداقل n عضو دارد به طوری که مشخصه اش 2 نیست و h_n(f) زیرفضای یک فضای برداری ماتریس های مربعی n×n روی میدان f باشد که شامل ماتریس های متقارن مربعی از اندازه n است. برای هر a=?(a)?_ij?m_n(f) تابع پرمننت pera=???a_(1?(1))…a_(n?(n)) ?_(??s_n ) , به طور مشابه با تابع دترمینان deta=???sgn(?)a_(1?(1))…a_(n?(n)) ?_(??s_n ) ...

در این پایان نامه، پس از پرداختن به مقدماتی از ماتریس های نرمال ، ماتریس های تقریباً نرمال بیان می شود و سپس الگوریتم لانزوس، که اساس کار را در این پایان نامه تشکیل می دهد و برای کاهش ماتریس های تقریباً نرمال، به شکل سه قطری بلوکی است، بیان می شود. این پایان نامه شامل سه فصل بوده، و هدف نگارنده از آن، بیان یک روش برای کاهش ماتریس های تقریباً به شکل سه قطری بلوکی است و در پایان مطالبی در مورد مقا...

روش جبری جدیدی برای کاهش اندازه ماتریس انتقال در نوارهایی با پهنای r جایگاه, برای شبکه های مربعی و مثلثی فرومغناطیسیهای آیزینگ و پاتس سه حالتی بسط داده شده است. این کاهش اندازه به گونه ای بنا شده است که بزرگترین مقدار ویژه هر دو ماتریس انتقال اصلی و کاهش یافته کاملا یکسان شوند. در این روش ماتریس انتقال اصلی در شکل ویژه بلوکه شده نوشته می شود, به گونه ای که در هر بلوک, جمع عنصرهای هر ردیف از مات...

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

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

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

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

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

خداشناسی عقلی بر سه دسته مبادی تصدیقی، یعنی مبادی معرفت‌شناختی، زبان‌شناختی و هستی‌شناختی استوار است که مهم‌ترین مبنای هستی‌شناختی آن، قانون علیت و فروع آن است. درمجموع چهار دیدگاه در مناط نیاز به علت و به ‌بیان دیگر، چهار تقریر از قانون علیت وجود دارد که پذیرش هر یک، نتایج خاصی در خداشناسی فلسفی در پی دارد. بنا به ‌ادعای برخی فیلسوفان غربی، «هر موجودی نیازمند علت است»؛ درنتیجه را...

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