نتایج جستجو برای: مدل منطق بولین
تعداد نتایج: 125234 فیلتر نتایج به سال:
دراین مقاله، مدل سازی ریاضی جدیدی از دینامیک سیستم سرو- نیوماتیک ارایه می گردد. در این روش، نیروهای مزاحم درونی، مانند اصطکاک و نیروهای اعمالی ازخارج به سیستم، اعم از اغتشاشات و یا بارهای متصل به پیستون، می توانند با منطق مقتضی وارد مدل سازی سیستم شده و سهمی را از فشار کل در دو سمت پیستون به خود اختصاص دهند. به عنوان نمونه، توزیع فشار در دو سمت پیستون به گونه ای صورت گرفته که نیروی اصطکاک با تو...
هدف اصلی این پژوهش، تجزیهوتحلیل آماری باد و نقش آن در شکلگیری انواع تپههای ماسهای است. تجزیهوتحلیل دادههای بادسنجی پنج ایستگاه سینوپتیک منتخب در سواحل جنوبی ایران، با استفاده از نرمافزار wrplotانجام گرفت. ﻧﺘﺎﻳﺞ ﺣﺎﺻﻞ ﺍﺯ ﺭﺳـﻢ گلباد و گلطوفان، ﻧﺸﺎﻥ ﺩﺍﺩ ﻛﻪ ﺟﻬﺖ ﺑﺎﺩ غالب عموماً ﻏﺮبی ﺍﺳـﺖ و ﺑﺎﺩﻫﺎﻱ طوﻓﺎﻥﺯﺍ ﺑﻴﺸﺘﺮ ﺍﺯ ﺟﻬﺖ غرب و جنوب ﻏﺮﺏ ﻣﻲﻭﺯﻧﺪ. ﻧﺘـﺎﻳﺞ حاصل از ترسیم گلماسه با استفاده از نرمافزار...
منطق پیوسته تعمیمی از منطق کلاسیک به یک منطق با مجموعه مقادیر درستی بینهایت مقداری است. بسیاری از نتایج منطق کلاسیک و نظریه مدلِ آن به منطق پیوسته تعمیم داده شدهاند. منطق پیوسته نه تنها در بررسی و تحلیل خواص ساختارهای مباحث آنالیز ریاضی کاربردهای فراوانی دارد، بلکه باعث بوجود آمدن نگرشهای جدیدی در نظریه مدل منطق کلاسیک نیز شده است.در مقاله حاضر مروری خواهیم داشت بر سیر تکاملی منطق پیوسته از ر...
هدف اصلی در استریولوژی حصول اطلاعات کمی از تصاویر میکروسکوپی است. همچنین امکان این که پارامترهای اجسام سه بعدی را توسط نمونه های دو بعدی بدست آوریم فراهم می شود. استناط آماری از یک نمونه را با توجه به این که تغییرات نمونه گیری از تصادفی بودن جامعه (مدل –محور ) یا از انتخاب تصادفی نمونه (طرح-محور) ناشی شود می توان به دو روش مختلف تقریب زد. این دو نوع تقریب دارای مفاهیم کاربردی متفاوتی هستند بنا...
تاثیر مکان نیروگاه ها بر میزان هزینه تولید و انتفال انرژی و تاثیرات زیست محیطی و اقتصادی-احتماعی نیروگاه های حرارتی، انتخاب مکان مناسب برای این تاسیسات را ضروری می نماید. سامانه اطلاعات جغرافیایی (gis) امکان بررسی و تلفیق اطلاعات مورد نیاز برای مکان یابی را به گونه ای موثر فراهم می کند. به دلیل تاثیر شدید خطای داده های ورودی در فرایند مکان یابی در محیط سامانه اطلاعات جغرافیایی، در نوشتار حاضر ض...
در این تحقیق به مقایسه تحلیلی و عددی آبشار جریان برگشتی مدل R با آبشارهای Q QI سیستمهای چندجزیی پایدار پرداخته میشود. راستا برای اولین بار کدهای جهت طراحی منظور کد نرمافزار متلب نوشته شدهاند. نتایج نشان میدهد که دو جزء 1k 2k از خوراک Nc جزء، تعداد معدودی قابل تعریف است همگی حالات خاصی میباشد. همچنین یافتهها مجموع مقدار برش جزیی همیشه برابر یک است. طریق داده میشود صورتی میانگین ...
چکیده شهرکهای صنعتی به عنوان بخشی از ماهیت اقتصادی کشورها، منجر به ارتقای اشتغال و بهبود وضعیت درآمدی ساکنین در یک منطقهی جغرافیایی اعم از شهر یا روستا میشوند. استقرار بهینهی شهرکهای صنعتی میتواند متاثر از بستر طبیعی و عوامل اقتصادی- اجتماعی در کنار یکدیگر و نیز سیاستهای کلی یک کشور باشند. کلانشهر تبریز به عنوان یکی از مهمترین هستههای صنعتی کشور ظرفیت زیادی برای توسعهی اقتصادی د...
اهمیت به کارگیری روش های عقلانی و نظام مند در مدیریت و استفاده بهینه از منابع، به ویژه منابع طبیعی برای همگان روشن است. توسعه نامناسب مناطق مسکونی و صنایع، سبب تخریب اراضی کشاورزی و منابع طبیعی و گسترش به سمت پهنه های آسیب پذیر، نظیر حوزه های سیلابی و نیز شیب های نامناسب را به دنبال دارد که در حقیقت باعث به هم خوردن تعادل و پایداری اکولوژیک درسرزمین می شود. ضرورت ارزیابی توان اکولوژیک کاربری تو...
یکی از منابع مهم تأمین آب در بیشتر نقاط ایران سفرههای آب زیرزمینی است که در دهههای اخیر تحت تأثیر عوامل مختلف طبیعی و انسانی قرار گرفته است. از جمله عوامل طبیعی میتوان به جنس زمین و سازندهای زمینشناسی در هر منطقه اشاره کرد. در این پژوهش، بررسی کیفی منابع آب زیرزمینی و ارتباط آنها با سازندهای زمینشناسی مدنظر قرار گرفت. به این منظور، ابتدا با استفاده از نقشه زمینشناسی منطقه، سازندهای زمین...
این پایاننامه نتیجه درونیابی را در یک چارچوب فرمولهای منطق مرتبه اول نسبی سازی شده ارائه می کنیم، که در حقیقت زمینه مشترک برای درونیابی لیندون و درونیابی چندگونه ای ففرمن ارائه می دهد. این نتایج علاوه بر دادن پایه ای نظریه مدلی مشترک برای این دو نتیجه درونیابی مهم، همچنین منظری یکنوا برای برخی کاربردهای شناخته شده و برخی کاربردهای جدید ارائه می دهد، که کاربرد جدید شامل قضیه رده بندی فون بنثم می...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید