نتایج جستجو برای: عملگر گودل

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

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

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

در این پایان نامه عملگرهای ترکیبی کراندار با نمادهای ماتریسی روی فضای هیلبرت ‎l^2(mu)‎، که در آن mu یک اندازه بورل مثبت-تعریف شده با یک تابع چگالی لاپلاس، روی فضای اقلیدسی ‎-d‎بعدی است، مطالعه می شود. همچنین هیپونرمالی و زیرنرمالی الحاقی چنین عملگرهایی به طور واضح برحسب نمادهای ماتریسی مشخص می گردد.

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

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

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

بابک کریم پور, جواد علامتیان علی کیهانی,

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

ژورنال: :مهندسی عمران مدرس 0
بابک کریم پور دانشگاه صنعتی شاهرود علی کیهانی دانشگاه صنعتی شاهرود جواد علامتیان دانشگاه آزاد مشهد

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

ژورنال: :فیزیک زمین و فضا 2002
علیرضا گلال زاده عبدالرحیم جواهریان

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

ژورنال: :مکانیک هوافضا 0
مهدیه ترمه m. termeh kh.n. toosi univ. of tech.دانشگاه صنعتی خواجه نصیر طوسی سید علی اکبر موسویان s.a.a. moosavian kh.n. toosi univ. of tech.دانشگاه صنعتی خواجه نصیر طوسی ابوالفضل زارع شاه آبادی a. zare shahabadi yazd branch, islamic azad univ.دانشگاه آزاد اسلامی، واحد یزد

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

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

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

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

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

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