نتایج جستجو برای: عملگر گودل
تعداد نتایج: 2315 فیلتر نتایج به سال:
در محاسبه تحول سیستم های کوانتومی که در برهم کنش با یک منبع هستند اثر جفت شدگی با محیط در معادله مستر در نظر گرفته می شود. معادله مستر معادله عملگری برای عملگر چگالی کاهش یافته سیستم است. برای حل این معادله تکنیک های ریاضی وجود دارد. که از نمایش ماتریس عملگر چگالی بر پایه های مختلف بهره می برند. استفاده از حالات درهم تنیده گرمایی و نمایش کت- برداری روش جدیدی یرای حل معادله مستر است. در این روش ...
در این پایان نامه عملگرهای ترکیبی کراندار با نمادهای ماتریسی روی فضای هیلبرت l^2(mu)، که در آن mu یک اندازه بورل مثبت-تعریف شده با یک تابع چگالی لاپلاس، روی فضای اقلیدسی -dبعدی است، مطالعه می شود. همچنین هیپونرمالی و زیرنرمالی الحاقی چنین عملگرهایی به طور واضح برحسب نمادهای ماتریسی مشخص می گردد.
توسط محاسبات نمادین اثبات های ساده ای برای تصمیم ناپذیری منطق مرتبه اول و نظریه های ساختارهای پایه ای (مانند الحاق یا حساب) به دست می آیند. با استفاده از دستورزبان ها یک اثبات برای نشان دادن اینکه اعتبار در منطق مرتبه اول تصمیم ناپذیر است (برای فرمول هایی با سور پیشوند ?? در زبان شامل حداقل یک رابطه یک تایی و تابع دوتایی) ارایه می کنیم. یک اثبات مشابه، قضیه ناتمامیت اول گودل برای ساختار رشته ها...
با توجه به شرایط طبیعی کشورایران،عدم توجه به موضوع سیلاب ها میتواند خسارات های جبران ناپذیری به بار آورد که در این میان برآورد سیلاب و پهنه بندی نواحی سیل گیر اهمیت بسیار زیادی در کنترل خطرات دارد. به دلیل قرار گیری حوضه کن در شمال تهران و قرارگیری در دامنه ها وشیب های تند و خصوصیات بارش و پوشش گیاهی وقوع سیلاب یکی از دغدغه های عمده در این منطقه می باشد. همچنین ساخت وسازها وایجاد رستوران ها در ...
در این مقاله روش نوینی برای پایش فعال نوسانهای سازه ها ارائه می گردد. رابطه سازی این فرایند بر پایه اصول دینامیک سازه ها می باشد و در آن نوسانهای سازه با چندین عملگر و حسگر پایش می شود. در اینجا، نیروی هر عملگر به صورت نیروی معادل میرایی لزج پنداشته شده و تلاش می گردد نیروهای عملگرها به گونه ای محاسبه شوند که تعداد بیشتری از میرایی مودهای نوسان پایین سازه بحرانی شوند. . با این کار، نیروهای عملگ...
در این مقاله روش نوینی برای پایش فعال نوسانهای سازه ها ارائه می گردد. روشهای پیشین در زمینه پایش فعال نوسانهای سازه ها عموما بر اساس مباحث پیچیده ریاضی و کنترلی استوار بوده اند. در صورتی که رابطه سازی فرایند پیشنهادی بر پایه اصول دینامیک سازه ها می باشد و در آن نوسانهای سازه، با چندین عملگر و حسگر پایش می شود. در اینجا، نیروی هر عملگر به صورت نیروی معادل میرایی لزج پنداشته شده و تلاش می گردد نی...
در روش های مرسوم لرزه بازتابی عملیات لرزه نگاری به صورتی انجام می شود که از یک نقطه چند بازتاب به وجود آید، این مسئله با افزایش فاصله بین چشمه، گیرنده همراه است. برای از بین بردن اثر دو رافت بین چشمه و گیرنده از عملگر پردازشی تصحیح برونراند نرمال استفاده می شود. هنگامی که در زیر سطح زمین بازتابنده های شیب دار متقاطع با شیب متفاوت وجود دارد، این عملگر پردازشی در حذف اثر دو رافت داده های لرزه ای ...
به منظور بهره گیری بهتر از خدمات ماهواره، می بایست ماهواره وضعیت خود را در مدار تثبیت نماید و علی رغم اغتشاشات خارجی، سمت-گیری حقیقی داشته باشد. هدف اولیه این پژوهش، توسعه قوانین کنترلی برای پایداری سه محوره در ماهواره های دارای عملگر های مغناطیسی و بوم گرادیان جاذبه است. ماهواره باید در حالتی که بوم فضا را نشانه رفته است دارای پایداری سه محوره باشد. در این مقاله، به بررسی کنترل وضعیت پایدار ما...
فیزیک آماری اشاره به رویکردهای آماری و احتمالاتی به مکانیک کلاسیک و مکانیک کوانتوم دارد، بنابراین از عبارت مکانیک آماری نیز به همان معنا استفاده می شود. رویکرد احتمالاتی برای سیستم های کلاسیک در مواقعی که تعداد درجات آزادی و متغیرها زیاد و حل دقیق معادلات حاکم بر سیستم دشوار و یا کلاً غیر قابل حل هستند، خیلی خوب کار می کنند. یکی از سیستم هایی که برای توصیف قوانین ترمودینامیکی آن نیاز به مکانیک آ...
در این مقاله، با در نظر گرفتن دینامیک عملگر، به طراحی قانون هدایت در یک مساله هدایت دو بعدی پرداخته شده است. برای دستیابی به این هدف، با استفاده از رویکرد گام به عقب، روش هدایت تناسبی به گونهای تغییر داده خواهد شد تا پایداری سیستم حلقه بسته با وجود دینامیک عملگر تضمین گردد. از این رو سعی بر آن است که عملکرد حلقه هدایت (برای مثال مشخصات پاسخ گذرا و فاصله از دستدهی) با الگوریتم هدایت پیشنهادی د...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید