نتایج جستجو برای: روش z
تعداد نتایج: 517894 فیلتر نتایج به سال:
کسبوکارهای خانوادگی و بینالمللیشدن آنها توجه روزافزونی را به خود جلب کرده است. در طی سالها پژوهشگران سعی کردهاند ویژگیهای مختلف شرکتهای که موفقیت بازارهای بینالمللی کمک میکنند، شناسایی کنند. این پژوهش بر خانوادهگرایی تمرکز شده بررسی میشود چگونه خانوادهگرایی فرایند بینالمللیشدن نقش ایفا میکند. خانوادهگرایی شایستگیها قابلیتهایی اطلاق میشود خانوادگی، بهدلیل تعامل بین خانو...
به منظور تولید رادیوایزوتوپ تکنسیم-۹۹ حاصل از واپاشی رادیواکتیو مولیبدن-۹۹ و خالصسازی محصول فرایند انحلال اسیدی هدف مینیاتوری، لازم است آلودگی ید گازی در حد قابل قبولی کاهش یابد. این جاذبهای جامد استفاده میشود. یکی بهترین مورد موردنیت حاوی نقره تشکیل شده است. پژوهش روش سنتز مشخصات جاذب بررسی قرار گرفته برای تهیه بلورهای حفرهدار با اندازه حدود ۱۰ میکرومتر نسبت آلومینیم سیلیکون برابر 2/5 شد ...
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(...
We discuss experimental implications of extending the gauge structure of the Standard Model to include an additional U(1) interaction broken at or near the weak scale. We work with the most general, renormalizable Lagrangian for the SU(2)×U(1)×U(1) sector, with emphasis on the phenomenon of gauge kinetic mixing between the two U(1) gauge fields, and do not restrict ourselves to any of the “cano...
Fix a prime p. For nonnegative integers a, b, and d, we seek a formula for the number of subgroups of order pd in Z/paZ× Z/pbZ. Set Na,b,d = #{H ⊂ Z/pZ× Z/pZ : #H = p}. This is symmetric in a and b (Na,b,d = Nb,a,d), so when it is convenient we can limit attention to the case a ≤ b. Trivially Na,b,d = 0 if d > a + b, so we may assume 0 ≤ d ≤ a + b. For 1 ≤ a ≤ b, and a + b ≥ d, we will see that...
هرگاه ? در یک ضایطه قابل قبول صدق کند توسط عملگر انتگرالی v_? (f)??_0^1???(t)? (f(tz))/t dt کلاس توابع تحلیلی نرمالیزه که در شرط ?re e?^i? ((1-?+2?)(f(z))/z+(?-2?)f^ (z)+?zf^(z)-?)>0 صدق می کند را به کلاس توابع ستاره گون تصویر می کنیم. در این پایان نامه می خواهیم شرط لازم وکافی را برای این منظور حاصل کنیم. و همچنین می خواهیم کوچکترین مقدار را برای پارامتر ? بیابیم که تحت آن تابع f که در ش...
We apply the Dirac bracket quantization to open strings attached to branes in the presence of background antisymmetric field and recover an inherent noncommutativity in the internal coordinates of the brane. 1 E-mail: ardalan, arfaei, [email protected]
In this paper we develop a framework for semi-automated generation of test cases for object oriented programs from formal speci-cations. We use Object-Z as the formal speciication language. We have designed and prototyped a test system called OZTEST. It understands the characteristics of object-oriented speciications including inheritance. OZTEST maps the speciication to a corresponding impleme...
Recent research suggests that phonotactic probability (the likelihood of occurrence of a sound sequence) and neighborhood density (the number of words phonologically similar to a given word) influence spoken language processing and acquisition across the lifespan in both normal and clinical populations. The majority of research in this area has tended to focus on controlled laboratory studies r...
This article provides a formalization of the W3C Draft Core SHACL Semantics specification using Z notation. This formalization exercise has identified a number of quality issues in the draft. It has also established that the recursive definitions in the draft are well-founded. Further formal validation of the draft will require the use of an executable specification technology.
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید