In object-oriented systems, object associations generally result in a complex structure whose precise description is a crucial part of the sys-tem's formal speciication. A particularly common object association arises when one object exclusively controls (owns) another. As exclusive object control is an important aspect of safety and security critical systems, speciic notation to capture direct...

This paper specifies the formal semantics of XSLT. Using Object-Z specification language to describe each constructs of the language as objects, the stylesheet itself was specified by underlying objects. This work will contribute to the implementation of XSLT.

For a nite group G the commutativity degree denote by d(G) and dend:$$d(G) =frac{|{(x; y)|x, yin G,xy = yx}|}{|G|^2}.$$ In [2] authors found commutativity degree for some groups,in this paper we nd commutativity degree for a class of groups that have high nilpontencies.

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

در سال‌های أخیر با افزایش پیچیدگی، سطح عدم­اطمینان نیز یافته است؛ ازاین‌رو مدیریت ریسک زنجیره تأمین یکی از موضوع‌هایی است که موردتوجه سازمان‌ها قرار گرفته است. ریسک‌های موجود تأمین، وارده ناحیه تأمین‌کنندگان پژوهش حاضر به‌کارگیری مدلی به‌منظور ارزیابی صنایع غذایی شی­‌فو، به شناسایی محتمل و اتخاذ تصمیماتی راستای می­‌پردازد. مدل به‌کار‌گرفته‌شده، ترکیبی محاسبات کلامی فازی (FLC) محاسبه مقدار عوامل...

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