نتایج جستجو برای: خصوصیات منطق زمانی خطی
تعداد نتایج: 112421 فیلتر نتایج به سال:
معماریهای رویدادگرا مدلی هماهنگکننده برای یکپارچهسازی اجزا در سیستمهای توزیعشده اتصال ضعیف فراهم میکند. این امر یکپارچهسازی اجزای خودمختار و ناهمگن در یک سیستم پیچیده را تسهیل میکند و در نتیجه انعطافپذیری، مقیاسپذیری و انطباقپذیری که بسیاری از دامنههای برنامههای کاربردی نیاز دارند، را فراهم مینماید. از سوی دیگر ماشینهای حالت انتزاعی یک روش رسمی موفق در زمینه مدلسازی سیستمهای رو...
هیدروفرمینگ لوله بهطور گسترده، در تولید قطعات ساختاری اتومبیل استفاده میشود. یکی از خصوصیات تولیدشده با این فرایند، نسبت استحکام به وزن بالا میباشد. لولۀ فشار پایین، روشهای پیشنهادشده برای حل مشکلات قبیل نیاز بالای سیال و آببندی روش انجام پایین لوله، شبیه فشردن جسم جامد است آن برخلاف بالا، قالب بالایی طول فرایند ثابت نبوده همزمان اعمال داخلی حرکت کرده را تحت قرار میدهد. مقاله، لولههای...
مراقبت سلامت خانگی، ارائه مجموعهای از خدمات مراقبتی در منزل پیشگیری تا توانبخشی و مراقبتهای اولیه حرفهای پرستاری است. این پژوهش یک مدل ریاضی دوهدفه بر اساس رویکرد برنامهریزی خطی عدد صحیح مختلط برای مسئله مسیریابی زمانبندی مراقبت خانگی با اهداف حداقلسازی هزینههای سفر پرستاران حداکثر تفاوتهای زمان کاری بین شده درنظرگرفتن حالتهای دوگانه حملونقل عمومی خصوصی، مراکز درمانی آغازین پای...
شاخص سطح برگ استخراجشده (LAI) از تصاویر سنجش دور پارامتر مهمی، بهمنظور مدلسازی مکانی تولید پوشش گیاهی، محسوب میشود. معمولاً شاخصهای گیاهی که با بازتاب طول موجهای قرمز و مادون نزدیک محاسبه میشوند، در برآورد LAI استفاده روشهای آماری، بهکار میروند اما بسیاری این شاخصها مقادیر متفاوت به اشباع میرسند. برای رفع محدودیت، محدودة لبة شده است؛ بنابراین، باید قابلیت دادههای دور، ذرت علوفهای، ...
ضرورت دسترسی به کاربردهای وسیع تصاویر ابرطیفی سبب توسعة سیستمهای تصویربرداری نوآورانه و اقتصادی در ثبت این شده است. بهمنظور استفاده از تصاویر، لازم است ارتباط هندسی دقیقی میان آنها فضای زمین برقرار شود فرایند نیازمند نقاط کنترلی بسیاری نکته راهکارهای اصلاح منطبق با ساختار هریک دوربینها را بارز میکند. سنجندة (nm 400-1000) BaySpec OCI-F یکی نوآورانهای که هندسة پوشبروم دریافت سنجنده، علاوهب...
منطق زمانی توزیع شده یک منطق گویا و مناسب برای بررسی خصوصیات صوری ارتباط همزمان عاملها در یک سیستم چند عاملی میباشد.در این پایان نامه یک نسخه از منطق زمانی توزیع شده برای فرمولبندی دقیق و بررسی خاصیتهایی از مدلهای امنیتی مختلف و ایجاد ارتباط بین مدلها معرفی میکنیم. همچنین قواعد بستار پیامها و بر اساساین قواعد محتوا و بخشهای بلافصل یک پیام تعریف میشود. علاوه بر این یک مدل بر پایه کانال بیان میشو...
چکیده در این مطالعه از روش سری زمانی فازی برای پیش بینی شاخص کل بورس اوراق بهادار تهران (تپیکس) در سالهای 78 الی 88 استفاده شده است . به این صورت که داده های هرسال به دو بخش آموزشی و آزمایشی تقسیم شده و در هر سال از این روش برای پیش بینی داده های آزمایشی استفاده گردیده است . به منظور سنجش کارایی روش پیشنهادی ، این روش با روش آرما بر اساس متدلوژی باکس _جنکینز مورد مقایسه قرار گرفته است ، همچنین...
خشونت طلبی و عدم مدارا با پیروان دیگر ادیان یا توجه به تکثرگرایی عقیدتی دینی، یکی از اتهاماتی است که جانب بسیاری مستشرقان همواره در طی تاریخ متوجه قرآن، پیامبر اسلام (ص) مسلمانان بوده است. ظهور این اتهام دراندیشة خصوص اهل کتاب بیشتر موضوعاتی همچون جهاد برخورد مخالفان خود مدینه سه طایفة یهودی «بنی قینقاع، بنی النضیر القریظه» یهودیان خیبر فدک ویژه شدت مقابلة قریظه» پس بعثت نبی مکرم ارزیابی میش...
حوزه آبخیز آق امام(2) با وسعت 2595 هکتار از جمله حوزههای آبخیزی از استان گلستان میباشد که از نظر فرسایش خاک و به ویژه فرسایش خندقی دارای مشکلات و معضلات قابل توجهی است. به منظور انجام این تحقیق در ابتدا تمامی خندقهای خطی موجود در منطقه (به تعداد 11 خندق) مورد شناسایی قرار گرفتند. سپس با اخذ نمونههای خاک (به تعداد 11نمونه) از مناطق داخل خندق ها و مناطق حوزه آبخیز بالا دست آنها در دو عمق سطح...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید