مشخص سازی گروه ‏‎(psl (2,q))‎‏ به وسیله مرتبه اعضای آن

مشخص سازی تجزیه ی متناقض نیمگروهها به وسیله پیکربندی

چکیده ندارد.

ابرگروههای مشخص شده به وسیله روابط دوتایی

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

سرمقاله: سخن آغازین: "حق مشخص به شهر مشخص"

کنترل کلاسی از سیستم‌های مرتبه کسری با تاخیر در یک ناحیه مشخص

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

Automata Construction for PSL

The language PSL [1] is a temporal logic standardized by the Accellera standards organization and currently undergoing the process of becoming an IEEE standard. The core of PSL, denoted here LTL WR, is an extension of the linear temporal logic LTL. The extension takes two orthogonal directions. In one direction the logic is interpreted over finite, possibly truncated, as well as infinite words....

سطح مشخص بودگی نفس در مفهوم سازی قرآن

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