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

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

ژورنال: :مکانیک هوافضا 0
نجفی فرید دانشکد مهندسی مکانیک، دانشگاه صنعتی خواجه نصیرالدین طوسی همایی نژاد محمدرضا

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

ژورنال: :پژوهشهای جغرافیای طبیعی 2014
محمدرضا اختصاصی صدیقه دادفر

هدف اصلی این پژوهش، تجزیه‎وتحلیل آماری باد و نقش آن در شکل­گیری انواع تپه­های ماسه­ای است. تجزیه‎وتحلیل داده­های بادسنجی پنج ایستگاه سینوپتیک منتخب در سواحل جنوبی ایران، با استفاده از نرم­افزار wrplotانجام گرفت. ﻧﺘﺎﻳﺞ ﺣﺎﺻﻞ ﺍﺯ ﺭﺳـﻢ گل‎باد و گل‎طوفان، ﻧﺸﺎﻥ ﺩﺍﺩ ﻛﻪ ﺟﻬﺖ ﺑﺎﺩ غالب عموماً ﻏﺮبی ‪ﺍﺳـﺖ و ﺑﺎﺩﻫﺎﻱ طوﻓﺎﻥﺯﺍ ﺑﻴﺸﺘﺮ ﺍﺯ ﺟﻬﺖ غرب و جنوب ﻏﺮﺏ ﻣﻲﻭﺯﻧﺪ. ﻧﺘـﺎﻳﺞ حاصل از ترسیم گل‎ماسه با استفاده از نرم‎افزار...

ژورنال: منطق پژوهی 2019

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

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

هدف اصلی در استریولوژی حصول اطلاعات کمی از تصاویر میکروسکوپی است. همچنین امکان این که پارامترهای اجسام سه بعدی را توسط نمونه های دو بعدی بدست آوریم فراهم می شود. استناط آماری از یک نمونه را با توجه به این که تغییرات نمونه گیری از تصادفی بودن جامعه (مدل –محور ) یا از انتخاب تصادفی نمونه (طرح-محور) ناشی شود می توان به دو روش مختلف تقریب زد. این دو نوع تقریب دارای مفاهیم کاربردی متفاوتی هستند بنا...

ژورنال: :سنجش از دور و gis ایران 0
سارا بهشتی فر عباس علیمحمدی

تاثیر مکان نیروگاه ها بر میزان هزینه تولید و انتفال انرژی و تاثیرات زیست محیطی و اقتصادی-احتماعی نیروگاه های حرارتی، انتخاب مکان مناسب برای این تاسیسات را ضروری می نماید. سامانه اطلاعات جغرافیایی (gis) امکان بررسی و تلفیق اطلاعات مورد نیاز برای مکان یابی را به گونه ای موثر فراهم می کند. به دلیل تاثیر شدید خطای داده های ورودی در فرایند مکان یابی در محیط سامانه اطلاعات جغرافیایی، در نوشتار حاضر ض...

Journal: : 2023

در این تحقیق به مقایسه تحلیلی و عددی آبشار جریان برگشتی مدل R با آبشارهای Q QI سیستم‌­های چندجزیی پایدار پرداخته می‌­شود. راستا برای اولین بار کدهای جهت طراحی منظور کد نرم‌افزار متلب نوشته شده‌­اند. نتایج نشان می‌­دهد که دو جزء 1k 2k از خوراک Nc جزء، تعداد معدودی قابل تعریف است همگی حالات خاصی می­‌باشد. هم‌­چنین یافته‌­ها مجموع مقدار برش جزیی همیشه برابر یک است. طریق داده می‌­شود صورتی میانگین ...

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

ژورنال: انسان و محیط زیست 2018

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

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

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

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

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

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