نتایج جستجو برای: منطق زمانی توزیع شده

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

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

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

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

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

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

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

ژورنال: :مهندسی برق مدرس 0
jasem jamali amirkabir university of technology ramin aghajafari atomic energy organization of iran ruzbeh moini amirkabir university of technology seyed hossin sadeghi amirkabir university of technology

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

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

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

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

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

پایان نامه :دانشگاه تربیت معلم - تهران - دانشکده روانشناسی و علوم تربیتی 1392

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

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

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

Journal: : 2022

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

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

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