نتایج جستجو برای: تحلیلگر منطقی

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

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

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

ژورنال: آب و فاضلاب 2015

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

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

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

ژورنال: :فصلنامه علمی- پژوهشی آب و فاضلاب 2015
اردلان ایزدی غلامرضا رخشنده رو

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

Journal: : 2022

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

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

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

ژورنال: :روش های عددی در مهندسی (استقلال) 0
کسری نوروزیان k. norouzian مسعود تجریشی و احمد ابریشمچی m.tajrishy and a. abrishamchi

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

In this paper, the theoretical foundation, the way of implementation and the uses of Pars Morph, a Persian morphological analyzer is introduced. Pars Morph is a rule-based Persian morphological analysis system, which analyzes the internal structure of word in Persian and determines the grammatical category and function of the word parts. Pars Morph being in link with a lexicon covering about 45...

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

این پژوهش تحت عنوان "بازیابی مولفه های منطقی در آموزش فلسفه به کودکان" در جهت بررسی متون آموزشی فلسفه کودکان و استخراج مولفه های منطقی از آن ها انجام شده است. لذا مولفه های منطق ارسطویی در این پژوهش به مولفه های تصوری و تصدیقی تقسیم شده است. مولفه های تصوری از مباحث تعریف و تقسیم و مولفه های تصدیقی از مباحث استدلال و صناعات خمس تشکیل شده است. از جمله نتایج بدست آمده این پژوهش عبارت است از: وجود...

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

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