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

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

Journal: :Mechanic of Advanced and Smart Materials 2022

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

Journal: : 2023

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

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

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

Journal: : 2022

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

Journal: : 2022

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

Journal: : 2022

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

Journal: : 2023

در این مقاله، به بررسی اثر پارامترهای گوناگون بر شکل تپ‌های گسیلی لیزر 2CO تپی پرداخته شده است. راستا، عوامل مختلفی مانند: فشار گاز و هم‌­چنین طول تشدیدگر تغییر داده شدند هر حالت به‌همراه اندازه انرژی آن‌ها ثبت گردیدند. نتایج نشان می‌­دهد که با افزایش گاز، به‌شدت می‌یابد، به‌گونه‌ای 2 برابر 3 شدن فشار، 5 برابر، پهنای زمانی تپ‌ها نیم یک‌سوم زمان برساخت آن‌­ها نیز 9/0 7/0 اندازه‌های اولیه‌ی خود م...

Journal: : 2023

در این پژوهش، تغییرات زمانی تپ‌های لیزری 2CO TEA که از اتاقکی حاوی گاز 6SF با فشار mbar 150-10 عبور می‌کند، شاریدگی‌های انرژی و فشارهای گازی مختلف بررسی شده است. نشان داده است برای هر شاریدگی، قطع معینی وجود دارد قطع، میخه تپ به طور کامل حذف می‌شود، درحالی دنباله دربرگیرنده کسر قابل توجهی اولیه آن است، برجامی‌ماند. شواهد تجربی برآمده داده‌های بیناب‌سنجی FTIR، گسست چندفوتونی مولکول‌های را پاسخگو...

Journal: : 2021

آلیاژهای منیزیم معمولاً دارای عدم تقارن تسلیم در حالت کشش و فشار هستند که این عامل ناشی از سازوکارهای مختلف تغییر شکل پلاستیک فعال تحت بارگذاری‌های کششی فشاری است. مقاله بر روی شبیه‌سازی المان حجمی نماینده‌ی سه‌بعدی آلیاژ اکسترود شده تمرکز دارد تا با کمک روابط کریستال پلاستیسیته تأثیر شدت بافت پایه ـ را بررسی کند. پلاستیسته مبتنی‌بر لغزش به‌صورت یک زیربرنامه نرم‌افزار آباکوس (U‌M‌A‌T) برای آزمون...

Journal: : 2023

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

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

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