نتایج جستجو برای: صوری سازی منطقی
تعداد نتایج: 114070 فیلتر نتایج به سال:
تکنیکهای تبدیل فوریه گسسته در زمان ، در مطالعه سیگنالها و سیستمهای گسسته بسیار مفیدند. الگوریتم fft زمان لازم برای محاسبه تبدیل فوریه را کم می کند.fftدر بسیاری از کاربردهای پردازش سیگنال از جمله ارتباطات، تشخیص صوت ، آنالیز طیف ، مدولاسیونqam، رادار نقش اصلی را بازی می کند. در این پایان نامه طراحی و شبیه سازی یک fft پروسسور 256 نقطه با زبان توصیف vhdl قابل سنتز بر روی fpga...
مکاشفۀ صوری حالتی روحی است که در مواجهه با حقایق و در ارتباط خیال متصل با خیال منفصل برای سالکِ عارف حاصل می شود. در بسیاری از موارد، این مکاشفات صادق و رحمانی اند، اما اگر پای وهم و هواهای نفسانی در میان باشد و شیطان عرصه را برای تمثلات خود مناسب ببیند، موهومات را حقایقی انکارناپذیر می نمایاند. عارف برای تشخیص مکاشفات شیطانی از رحمانی به ناچار باید بعد از مفارقت از چنین مکاشفاتی و در مقام تحلیل...
-
اطلاعات یک عنصر کلیدی در جامعه ماست بنابراین محرمانگی، احراز هویت و صحت اطلاعات آن باید تضمین شده باشد.....این پایان نامه روی بررسی تصمیم پذیری محرمانگی در پروتکل های امنیت متمرکز است. صوری سازی های استفاده شده برای دستیابی به نتیجه های موجود در این زمینه متنوع و برخی از اثباتها اشکال دارد. در این پایان نامه این نتیجه ها تحت صوری سازی یکسان ارائه و اشکالها تصحیح شده است.
کلیدزنی یک عمل اساسی در شبکه های مخابراتی، کامپیوترهای رقمی و سیستم های پردازش سیگنال است. توسعه سیستم های مخابراتی نوری با نرخ بالای انتقال اطلاعات، نیاز به طراحی مدارهای منطقی و کلیدهای تمام نوری را بیش از پیش افزایش داده است. مزدوج های موازی غیرخطی یکی از عناصر نوری مهم جهت استفاده در ارتباطات و محاسبات اپتیکی است که باعث جذابیت های زیاد تحقیقاتی شده است. تعداد زیادی از کاربردهای این ابزار ...
درابتدا مروری گذرا بر کارهای انجام شده در زمینه تولید امواج پلاسمونی سطحی با گرافن و همچنین مدولاتورهای تراهرتز ارائه و شرایط لازم برای ایجاد امواج پلاسمونی در سطح فلز بررسی می شود. سپس، با بهره گیری از رابطه پاشندگی گرافن و رابطه کوبو، خواص پلاسمونی گرافن مرور خواهد شد. آنگاه، پس از توضیح درباره روش مدل کردن مواد مورد استفاده، برای درستی آزمایی نتایج شبیه سازی، دو مقاله تازه منتشر شده در حوزه ...
هدف از انجام این مقاله، کنترل و مانیتورینگ یک ربات توانبخشی با دو درجه آزادی به منظور توانبخشی اندام تحتانی بیمارانی است که به دلایلی نظیر ضایعه نخاعی، سکته مغزی، اختلال عضلانی و یا عمل جراحی توانایی حرکتی خود را از دست داده و نیاز به توانبخشی دارند. پس از تعیین حرکات، که شامل حرکت باز و بسته کردن مفصل زانو و حرکت باز و بسته کردن مفصل ران می باشند، با استفاده از تحلیل و شبیه سازی دینامیکی، عملک...
در این مقاله مساله زمان بندی خدمه راه آهن با مطالعه موردی راه آهن ایران مورد بررسی قرار گرفته و با اطلاعات واقعی مساله زمان بندی رؤسای قطارهای مسافری حل شده اند. برای حل این مساله نخست شبکه ای از تقدم و تأخر فعالیتها در قالب سویه های وظیفه و انتقال در حالت چند قرارگاهی طراحی شده است . سپس ، روش جدیدی برای مدل سازی ریاضی بیان شده که میتواند پاسخگوی حل بهینه مسائل در اندازه های کوچک تا متوسط باشد...
در مقاله حاضر ضمن توجه به اهمیت مستند سازی تجارب مدیران به تحلیل کیفی اصول مستند سازی تجارب روسای دانشگاه پرداخته و در نهایت براساس مصاحبه صورت گرفته با خبرگان ، ساختار فرایند مستندسازی، ارزیابی و انتشار تجربیات به عنوان یک چارچوب و با روش علمی و کاربردی طراحی شد. ساختارطراحی شده از شیوه های مدیریت دانش، مدیریت استراتژیک ، مدیریت کیفیت، مدیریت ارزیابی عملکرد، مدیریت فناوری اطلاعات و نیز تکنیکه...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید