نتایج جستجو برای: نگاشت m

تعداد نتایج: 541519  

هدف این مطالعه بررسی تاثیر آموزش صریح نگاشت استعاری بر روی یادگیری زبان تمثیلی توسط فراگیران دارای چیرگی نیمکره چپ و راست مغز است. تعداد نود زبان آموز انگلیسی در این مطالعه شرکت کردند. 30 نفر از آن ها در گروه کنترل قرار گرفتند و هیچگونه آموزش نگاشت استعاری دریافت نکردند. 60 نفر دیگر، پرسشنامه چیرگی مغز (دیویس، 1994) را دریافت کردند. بر اساس نتایج، فراگیران به گروه دارای چیرگی نیمکره چپ مغز و گر...

ژورنال: :مهندسی نقشه برداری و اطلاعات مکانی 0
حسن امامی h. emami department of surveying and geomatics, college of engineering, university of tehran, iranتبریز-خیابان آزادی روبروی دانشگاه هنر اسلامی ، مابین طالقانی و آخر شریعتی،کوچه شهدای فتاح زاده دوم پلاک 3 طبقه سوم محمد سعادت سرشت m. saadat seresht department of surveying and geomatics, college of engineering, university of tehran, iranایران- تهران- صندوق پستی: 4563-11155 - پردیس دانشکده های فنی دانشگاه تهران –گروه نقشه برداری عبدارضا صفری a. safari department of surveying and geomatics, college of engineering, university of tehran, iranایران- تهران- صندوق پستی: 4563-11155 - پردیس دانشکده های فنی دانشگاه تهران –گروه نقشه برداری

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

2010
Hana Chockler Arie Gurfinkel Ofer Strichman

Given a model M and a temporal logic formula φ[?], where ? is a placeholder, the query checking problem, as defined for the case of CTL by Chan in 2000, is to find the strongest propositional formula f such that M |= φ[? ← f ]. The motivation for solving this problem is, among other things, to get insight on the model. We consider various objectives to the LTL query-checking problem, and study ...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه تبریز - دانشکده علوم ریاضی 1391

فرض کنیم b و f دو منیفلد ریمانی با ابعاد مثبت و به ترتیب مجهز به متریک های ریمانی gb و gf باشند. تابع دیفرانسیل پذیر مثبت f روی b را در نظر می گیریم. منیفلد حاصلضرب b×f مجهز به متریک ریمانی g = gb+(f^2)gf را حاصل ضرب تاب دار b و f نامیم. منیفلد حاصلضرب(b × f, g) را با m = b ×f f نشان می دهیم. فرض کنید m1 ×? m2 حاصلضرب تاب دار از دو منیفلد ریمانی باشد و ?i : ni ?? mi برای i = 1, 2، غوطه وری ها...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه تحصیلات تکمیلی علوم پایه زنجان - دانشکده ریاضی و کامپیوتر 1391

منیفلدهای کیلری، منیفلدهای ریمانی مختلطی هستند که فرم کیلری آن ها بسته است؛ به این معنی که d?=0 . التصاق و انحنای این منیفلدها شکل خاصی دارد. هم چنین اثبات می شود که تنها نمادهای غیر صفر منیفلدهای کیلری، ?_k^ij و ?_k ?^(i ?j ? )=(?_j^ij ) ? است. علاوه بر این، تانسور انحنای این منیفلدها کاملاً توسط نگاشت های r_(ij ?kl ? )=r(?(?/(?z_i )) ,?(?/(?z ?_j )) ,?(?/(?z_k )) ,?(?/(?z ?_l ))) معین می ش...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه فردوسی مشهد - دانشکده ریاضی 1391

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

ژورنال: :کنترل 0
آرش شریفی arash sharifi دانشگاه آزاد اسلامی، واحد علوم و تحقیقات مهدی علیاری شوره دلی mahdi aliyari shoorehdeli دانشگاه صنعتی خواجه نصیر الدین طوسی محمد تشنه لب mohammad teshnehlab دانشگاه صنعتی خواجه نصیر الدین طوسی

در این مقاله به معرفی ساختاری نوین از سیستم فازی تاکاگی-سوگنو-کانگ (tsk) که دارای بخش استخراج ویژگی در قسمت ورودی می باشد، می پردازیم. روش پیشنهادی تحت عنوانsemi-polynomial data mapping fuzzy inference system و به اختصار (spmfis) معرفی می شود. در روش پیشنهادی از یک نگاشت داده شبه چند جمله ای به منظور تبدیل ورودیهای اصلی به ورودیهای جدید با ابعاد کاهش یافته استفاده می شود. در گام بعد خروجی حاصل ...

ژورنال: :مهندسی تونل و فضاهای زیر زمینی 0
مهدی زمانی لنجانی استاد دروس تخصصی ساناز امجدیان دانشجوی کارشناسی ارشد همندسی خاک و پی رضا خرداد استاد دروس تخصصی

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

ژورنال: :پژوهش فیزیک ایران 0
فاطمه آقائی f aghaei department of physics, isfahan university of technology, isfahan, 84156-83111, iranدانشکده فیزیک، دانشگاه صنعتی اصفهان، اصفهان سید سعید حسینی s hoseini department of physics, isfahan university of technology, isfahan, 84156-83111, iranدانشکده فیزیک، دانشگاه صنعتی اصفهان، اصفهان کیوان آقابابائی سامانی k aghababaei samani department of physics, isfahan university of technology, isfahan, 84156-83111, iranدانشکده فیزیک، دانشگاه صنعتی اصفهان، اصفهان

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

ژورنال: :مهندسی عمران شریف 0
خسرو برگی پردیس دانشکده های فنی، دانشکده ی مهندسی عمران ، دانشگاه تهران علی کاوه دانشکده ی مهندسی عمران، دانشگاه علم و صنعت ایران کارو لوکس پردیس دانشکده های فنی، دانشکده ی مهندسی برق و کامپیوتر، دانشگاه تهران حسین رحامی پردیس دانشکده های فنی، گروه علوم پایه مهندسی، دانشگاه تهران

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

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید