نتایج جستجو برای: صوری سازی منطقی

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

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

تکنیکهای تبدیل فوریه گسسته در زمان ، در مطالعه سیگنالها و سیستمهای گسسته بسیار مفیدند. الگوریتم ‏‎fft‎‏ زمان لازم برای محاسبه تبدیل فوریه را کم می کند.‏‎fft‎‏در بسیاری از کاربردهای پردازش سیگنال از جمله ارتباطات، تشخیص صوت ، آنالیز طیف ، مدولاسیون‏‎qam‎‏، رادار نقش اصلی را بازی می کند. در این پایان نامه طراحی و شبیه سازی یک ‏‎fft‎‏ پروسسور 256 نقطه با زبان توصیف ‏‎vhdl‎‏ قابل سنتز بر روی ‏‎fpga...

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

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

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

-

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

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

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

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

آرش جلالی سید حسن میریان حسین ابادی

-

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

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

ژورنال: :مهندسی مکانیک مدرس 2015
محمد حسین کاردان محسن ایرانی رهقی

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

ژورنال: :نشریه دانشکده فنی 2002
محمدمهدی سپهری عباس حاجی فتحعلی ها

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

اصغر زمانی

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

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

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