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

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

در این بررسی داده های زمین لرزه های دوره بلند تحلیل شد و برای محاسبه سرعت گروه و سرعت فاز مورد استفاده قرار گرفت. نگاشت های سه مولفه ای زمین لرزه سوم مه 1995 کازرون در ایران که پایگاه ایلیا (ILPA) شبکه بین المللی زلزله نگاری مؤسسه ژئوفیزیک دانشگاه تهران ثبت کرده بود. وهمچنین نگاشت های دوره بلند زمین لرزه سنت هلنا (بیست و هفت هفتم آوریل 1986 ) در دو ایستگاه زلزله نگاری KON اسپانیا و TOL نروژ مور...

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

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

زمینه و هدف: برای شبیه سازی بی وزنی در موش صحرایی از مدل بی وزنی پاهای عقبی استفاده می شود و مشخص شده است که پاسخ انقباضی آئورت شکمی در این شرایط کاهش می یابد. هدف از مطالعه حاضر بررسی پاسخ انقباضی عضلات صاف آئورت سینه ای در شرایط بی وزنی حاد و مزمن بود.  روش کار: مدل بی وزنی پاهای عقبی روی موش صحرایی نر بالغ نژاد ویستار برای 3 و 20 روز به منظور شبیه سازی بی وزنی بر روی زمین اجرا شد. آئورت سینه...

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

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

در این پایان نامه، ویژگی جالبی از فضاهای متری به نام کشسان پذیری را بررسی خواهیم کرد. فضاهای متری کشسانی را می توان به انواع انبساطی-انقباضی، غیر انبساطی-انقباضی و انقباضی-انبساطی تقسیم بندی کرد. فضاهای کشسان انبساطی-انقباضی دارای این ویژگی هستند که هر تابع دو سویی و غیر انقباضی از این فضا به خودش، طولپایی است. فضاهای متری را که انبساطی-انقباضی نیستند، فضاهای کشسان غیر انبساطی-انقباضی می نامیم....