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

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

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

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

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

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

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

چکیده ندارد.

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

تلفات تبخیر از سطح آزاد آب یکی از پارامترهای مهم در مدیریت منابع آب است. در این تحقیق از مدل درختی M5 به‌عنوان یکی از شیوه‌های داده­کاوی در برآورد تبخیر از سطح آزاد آب سد علویان مراغه استفاده شد. نتایج حاصل نشان داد بهترین حالت مدل درختی M5 با ضریب همبستگی 851/0 و جذر میانگین مربعات خطا کمتر از 587/1 میلی­متر قادر به ارائه روابط خطی جهت مدل‌سازی مقدار تبخیر از سطح آزاد آب می‌باشد. روابط ارائه ش...