Improved contact algorithms for implicit FE simulation of sheet forming

open110Nsciescopu

Understanding the penguin amplitude in B→ϕKB \to \phi K decays

We calculate branching ratios for pure penguin decay modes, $B\to \phi K$ decays using perturbative QCD approach. Our results of branching ratios are consistent with the experimental data and larger than those obtained from the naive factorization assumption and the QCD-improved factorization approach. This is due to a dynamical penguin enhancement in perturbative QCD approach.Comment: 7 pages, 2 figures, version to appear in PL

Helicity conservation and factorization-suppressed charmless B decays

Toward the goal of extracting the weak angle alpha, the decay B^0/B^0-bar to a_0^{+/-}pi^{-/+} was recently measured. The decay B^0 to a_0^+pi^- is not only forbidden in the factorization limit of the tree interaction, but also strongly suppressed for the penguin interaction if short-distance QCD dominates. This makes extraction of alpha very difficult from a^{+/-}\pi^{-/+}. We examine the simlar factorization-suppressed decays, in particular, B^0\to b_1^+pi^-. The prospect of obtaining alpha is even less promising with b_1^{+/-}pi^{-/+}. To probe how well the short-distance dominance works, we emphasize importance of testing helicity conservation in the charmless B decays with spins.Comment: The version to appear in Phys. Rev. D after minor alteration

Study of pure annihilation type decays B→Ds∗KB \to D_s^{*} K

In this work, we calculate the rare decays $B^0 \to D_s^{*-} K^+$ and $B^+ \to D_s^{*+} \bar{K}^0$ in perturbative QCD approach with Sudakov resummation. We give the branching ratio of $10^{-5}$ for $B^0 \to D_s^{*-}K^+$, which will be tested soon in $B$ factories. The decay $B^+ \to D_s^{*+} \bar{K}^0$ has a very small branching ratio at ${\cal O}(10^{-8})$, due to the suppression from CKM matrix elements $|V_{ub}^* V_{cd}|$. It may be sensitive to new physics contributions.Comment: 14 pages, 1 figur

Perturbative QCD analysis of B→ϕK∗B \to \phi K^* decays

We study the first observed charmless $B\to VV$ modes, the $B\to\phi K^*$ decays, in perturbative QCD formalism. The obtained branching ratios $B(B\to\phi K^*)\sim 15 \times 10^{-6}$ are larger than $\sim 9\times 10^{-6}$ from QCD factorization. The comparison of the predicted magnitudes and phases of the different helicity amplitudes, and branching ratios with experimental data can test the power counting rules, the evaluation of annihilation contributions, and the mechanism of dynamical penguin enhancement in perturbative QCD, respectively.Comment: 14 pages, 2 tables, brief disscussion on hard sacle added, version to appear in PR

Final-State Phases in Doubly-Cabibbo-Suppressed Charmed Meson Nonleptonic Decays

Cabibbo-favored nonleptonic charmed particle decays exhibit large final-state phase differences in $\bar K \pi$ and $\bar K^* \pi$ but not $\bar K \rho$ channels. It is of interest to know the corresponding pattern of final-state phases in doubly-Cabibbo-suppressed decays, governed by the $c \to d u \bar s$ subprocess. An experimental program is outlined for determining such phases via measurements of rates for $D \to K^* \pi$ and $K (\rho, \omega,\phi)$ channels, and determination of interference between bands in Dalitz plots. Such a program is feasible at planned high-intensity sources of charmed particles.Comment: 12 pages, LaTeX, 2 figures, to be submitted to Phys. Rev. D. Revised versio

Threshold resummation for exclusive B meson decays

We argue that double logarithmic corrections $\alpha_s\ln^2 x$ need to be resumed in perturbative QCD factorization theorem for exclusive $B$ meson decays, when the end-point region with a momentum fraction $x\to 0$ is important. These double logarithms, being of the collinear origin, are absorbed into a quark jet function, which is defined by a matrix element of a quark field attached by a Wilson line. The factorization of the jet function from the decay $B\to\gamma l\bar\nu$ is proved to all orders. Threshold resummation for the jet function leads to a universal, {\it i.e.}, process-independent, Sudakov factor, whose qualitative behavior is analyzed and found to smear the end-point singularities in heavy-to-light transition form factors.Comment: 10 pages, more details are include

Leveraging Semantic Web Service Descriptions for Validation by Automated Functional Testing

Recent years have seen the utilisation of Semantic Web Service descriptions for automating a wide range of service-related activities, with a primary focus on service discovery, composition, execution and mediation. An important area which so far has received less attention is service validation, whereby advertised services are proven to conform to required behavioural specifications. This paper proposes a method for validation of service-oriented systems through automated functional testing. The method leverages ontology-based and rule-based descriptions of service inputs, outputs, preconditions and effects (IOPE) for constructing a stateful EFSM specification. The specification is subsequently utilised for functional testing and validation using the proven Stream X-machine (SXM) testing methodology. Complete functional test sets are generated automatically at an abstract level and are then applied to concrete Web services, using test drivers created from the Web service descriptions. The testing method comes with completeness guarantees and provides a strong method for validating the behaviour of Web services