نتایج جستجو برای: نگاشت μ
تعداد نتایج: 30672 فیلتر نتایج به سال:
We introduce minimally expansive and GH-stable points for homeomorphisms on metric spaces μ-uniformly expansive, μ-shadowable strong μ-topologically stable Borel measures (with respect to a homeomorphism space). prove that: (i) shadowable point of compact space is topologically GH-stable; (ii) measure μ space) stable.
یکی از منابع خطاهای موجود در مشاهدات سامانه تعیین موقعیت جهانی (GPS)، تأخیر تروپسفری میباشد. معمولاً برآورد میزان تأخیر تروپسفری و مؤلفههای آن، در دو راستای انتشار سیگنال از ماهواره تا گیرنده ( راستای مایل) و راستای قائم، متداول میباشد که جهت تبدیل این تأخیر از راستای مایل به قائم و یا عکس آن از توابعی تحت عنوان توابع نگاشت جوی استفاده میگردد. از آنجائیکه تاکنون توابع نگاشت مختلفی توسط دانشم...
As part of an educational exercise designed to introduce school students the technique single-crystal X-ray diffraction and enhance their understanding primary secondary bonding, a group nine was given opportunity prepare new compounds solve refine data collected on crystalline materials they had prepared. Their investigation alkali metal salts 4-hydroxybenzoic acid (H 2 hba) yielded structures...
در سالهای اخیر، بانکها و مؤسسات مالی بیش از پیش به مدیریت ریسک عملیاتی توجه کردهاند. همانگونه که در توافقنامۀ بال و سایر چارچوبهای مدیریت ریسک اذعان شده است شناسایی ریسک، نخستین مرحلۀ فرایند مدیریت ریسک تلقی میشود. مدیریت و کنترل ریسک مستلزم شناسایی ریسکها و عوامل ایجادکننده و ساز و کار علت و معلولی آنها است. نگاشت ریسک یکی از ابزارهای پذیرفتهشده برای شناسایی ریسک عملیاتی است که تاکنون ر...
We define analogues of modal Sahlqvist formulas for the modal mucalculus, and prove a correspondence theorem for them.
THE SYMBOLISM of language is, or may be, twofold. By far the greater portion of its recognized content and structure is symbolic in a purely referential sense; in other words, the meaningful combinations of vowels and consonants (words, significant parts of words, and word groupings) derive their functional significance from the arbitrary associations between them and their meanings established...
In this work we present a categorical approach for modeling the pure (i.e., without constants) call-by-value -calculus, defined by Plotkin as a restriction of the classical one. In particular, we study the properties a category must enjoy for give rise to a model of such a language. This definition is enough general for grasping models in different settings.
The emerging technology of interacting systems calls for new verification methods to ensure their reliability. Concurrent Game Structures are expressive abstract models for which several logics have been studied. Yet, these logics are not sufficiently expressive to support certain strategic situation which arise naturally. We propose a second-order mu-calculus enabling a straightforward specifi...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید