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

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

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

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

Journal: :Mechanic of Advanced and Smart Materials 2022

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

Journal: : 2022

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

Journal: : 2023

شاخص سطح برگ استخراج‌شده (LAI) از تصاویر سنجش دور پارامتر مهمی، به‌منظور مدل‌سازی مکانی تولید پوشش گیاهی، محسوب می‌شود. معمولاً شاخص‌های گیاهی که با بازتاب طول موج‌های قرمز و مادون نزدیک محاسبه می‌شوند، در برآورد LAI استفاده روش‌های آماری، به‌کار می‌روند اما بسیاری این شاخص‌ها مقادیر متفاوت به اشباع می‌رسند. برای رفع محدودیت، محدودة لبة شده است؛ بنابراین، باید قابلیت داده‌های دور، ذرت علوفه‌ای، ...

Journal: : 2023

ضرورت دسترسی به کاربردهای وسیع تصاویر ابرطیفی سبب توسعة سیستم‌های تصویربرداری نوآورانه و اقتصادی در ثبت این شده است. به‌منظور استفاده از تصاویر، لازم است ارتباط هندسی دقیقی میان آنها فضای زمین برقرار شود فرایند نیازمند نقاط کنترلی بسیاری نکته راهکارهای اصلاح منطبق با ساختار هریک دوربین‌ها را بارز می‌کند. سنجندة (nm 400-1000) BaySpec OCI-F یکی نوآورانه‌ای که هندسة پوش‌بروم دریافت سنجنده، علاوه‌ب...

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

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

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

چکیده در این مطالعه از روش سری زمانی فازی برای پیش بینی شاخص کل بورس اوراق بهادار تهران (تپیکس) در سالهای 78 الی 88 استفاده شده است . به این صورت که داده های هرسال به دو بخش آموزشی و آزمایشی تقسیم شده و در هر سال از این روش برای پیش بینی داده های آزمایشی استفاده گردیده است . به منظور سنجش کارایی روش پیشنهادی ، این روش با روش آرما بر اساس متدلوژی باکس _جنکینز مورد مقایسه قرار گرفته است ، همچنین...

Journal: :مجلة کلیة الآداب جامعة الفیوم 2020

Journal: : 2022

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

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

حوزه آبخیز آق امام(2) با وسعت 2595 هکتار از جمله حوزه­های آبخیزی از استان گلستان می­باشد که از نظر فرسایش خاک و به ویژه فرسایش خندقی دارای مشکلات و معضلات قابل توجهی است. به منظور انجام این تحقیق در ابتدا تمامی خندق­های خطی موجود در منطقه (به تعداد 11 خندق) مورد شناسایی قرار گرفتند. سپس با اخذ نمونه­های خاک (به تعداد 11نمونه) از مناطق داخل خندق ها و مناطق حوزه آبخیز بالا دست آن­ها در دو عمق سطح...

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

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