نتایج جستجو برای: parsa yekta z
تعداد نتایج: 149850 فیلتر نتایج به سال:
Alphabetical name order is the default norm for joint publications in economics. However, alphabetical order confers greater benefits on the first author. In a two-author model, we introduce and study certified random order : the uniform randomization of names made universally known by a commonly understood symbol. Certified random order (a) distributes the gain from first authorship evenly ove...
فرض کنیم w یک زیر مجموعه ناتهی از یک گروه آزاد باشد. خودریختی ? از یک گروه g را یک خودریختی حاشیه ای می نامیم اگر برای هر x?g داشته باشیم x^(-1) ?(x)?w^* (g)، جایی که w^* (g) زیرگروه حاشیه ای گروه g است. در این پایان نامه ثابت می کنیم که اگر g یک گروه باشد و w یک زیر مجموعه غیرتهی از f_? باشد به طوری که w^* (g)?w(g)?z(g)، آن گاه ?aut?_(w^* ) (g)?hom(g/w(g) ,w^* (g)) و هم چنین برای هر -pگروه متن...
فرض کنید h^2 فضای هاردی باشد. عملگر ضربی(انتقال به جلو) m_(z(f)=zf(z)) تعریف می شود با توجه به قضیه بورلینگ: aیک زیر فضای بسته ی پایای m_z است اگر و تنها اگرh^2 a=?؛ که ? یک تابع داخلی است. اگرu یک گوی واحد، p?uو u) ? z) (z): =(p-z)/(1-p ?z) ?_p برای هر عدد صحیح نامنفی n، فرض کنید ??_p (z))?^n ) (z)= ?((1-?|p|?^2)/(1-p ?z)) b_n b_n ها پایه برای فضای هاردی h^2 می باشد که به پایه گایکر معرو...
Active objects have their own thread of control and passive objects are controlled by others. In Object-Z, all objects are modelled as passive objects. Timed Communicating Object Z (TCOZ) extends the Object-Z notation with Timed CSP’s process and timing constructs. The blending of the concepts of object and non-terminating process leads to the notion of active object in TCOZ. This paper conside...
This paper presents a formal framework for modelling and analysing mobile systems. The framework comprises a collection of models of the dominant design paradigms which are readily extended to incorporate details of particular technologies, i.e., programming languages and their run-time support, and applications. The modelling language is Object-Z, an extension of the well-known Z specification...
In this article, we consider the uniqueness of the difference monomials $f^{n}(z)f(z+c)$. Suppose that $f(z)$ and $g(z)$ are transcendental meromorphic functions with finite order and $E_k(1, f^{n}(z)f(z+c))=E_k(1, g^{n}(z)g(z+c))$. Then we prove that if one of the following holds (i) $n geq 14$ and $kgeq 3$, (ii) $n geq 16$ and $k=2$, (iii) $n geq 22$ and $k=1$, then $f(z)equiv t_1g(z)$ or $f(...
This paper presents a minimal and complete set of structural refactoring rules for the Object-Z specification language that allow for the derivation of arbitrary object-oriented architectures. The rules are equivalence preserving and work in concert with existing class refinement theory, so that any design derived using the rule set can be shown to be equivalent to, or a refinement of, the orig...
Object-Z is strong in modeling the data and operations of complex systems. However, it is weak in specifying real-time and concurrent systems. The Timed Communicating Object-Z (TCOZ) extends Object-Z notation with Timed CSP's constructs. TCOZ is particularly well suited for specifying complex systems whose components have their own thread of control. This paper demonstrates expressiveness of th...
With the advent of zSeries processors and z/OS, IBM decided to offer a new software cost structure. The new pricing structure, Sub-Capacity Workload License Charges, attempts to reduce the cost of key IBM software in the z/OS environment. This paper discusses the author’s experiences with Sub-Capacity License Charges, the tools available to help manage the LPARs running sub-capacity WLC, result...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید