Interface Contracts for Workflow+ Models: an Analysis of Uncertainty across Models

Workflow models are used to rigorously specify and reason about diverse types of processes. The Workflow+ (WF+) framework has been developed to support unified modelling of the control and data in processes that can be used to derive assurance cases that support certification. However, WF+ is limited in its support for precise contracts on workflow models, which can enable powerful forms of static analysis and reasoning. In this paper we propose a mechanism for adding interface contracts to WF+ models, which can thereafter be applied to tracing and reasoning about the uncertainty that arises when combining heterogeneous models. We specifically explore this in terms of design models and assurance case models. We argue that some of the key issues in managing some types of uncertainty can be partly addressed by use of interface contract

The web of Calabi-Yau hypersurfaces in toric varieties

Recent results on duality between string theories and connectedness of their moduli spaces seem to go a long way toward establishing the uniqueness of an underlying theory. For the large class of Calabi-Yau 3-folds that can be embedded as hypersurfaces in toric varieties the proof of mathematical connectedness via singular limits is greatly simplified by using polytopes that are maximal with respect to certain single or multiple weight systems. We identify the multiple weight systems occurring in this approach. We show that all of the corresponding Calabi-Yau manifolds are connected among themselves and to the web of CICY's. This almost completes the proof of connectedness for toric Calabi-Yau hypersurfaces.Comment: TeX, epsf.tex; 24 page

Hadronic Charmed Meson Decays Involving Tensor Mesons

Charmed meson decays into a pseudoscalar meson P and a tensor meson T are studied. The charm to tensor meson transition form factors are evaluated in the Isgur-Scora-Grinstein-Wise (ISGW) quark model. It is shown that the Cabibbo-allowed decay $D_s^+\to f_2(1270)\pi^+$ is dominated by the W-annihilation contribution and has the largest branching ratio in $D\to TP$ decays. We argue that the Cabibbo-suppressed mode $D^+\to f_2(1270)\pi^+$ should be suppressed by one order of magnitude relative to $D_s^+\to f_2(1270)\pi^+$. When the finite width effect of the tensor resonances is taken into account, the decay rate of $D\to TP$ is generally enhanced by a factor of $2\sim 3$. Except for $D_s^+\to f_2(1270)\pi^+$, the predicted branching ratios of $D\to TP$ decays are in general too small by one to two orders of magnitude compared to experiment. However, it is very unlikely that the $D\to T$ transition form factors can be enhanced by a factor of $3\sim 5$ within the ISGW quark model to account for the discrepancy between theory and experiment. As many of the current data are still preliminary and lack sufficient statistic significance, more accurate measurements are needed to pin down the issue.Comment: 11 page

Atomic X-ray Spectroscopy of Accreting Black Holes

Current astrophysical research suggests that the most persistently luminous objects in the Universe are powered by the flow of matter through accretion disks onto black holes. Accretion disk systems are observed to emit copious radiation across the electromagnetic spectrum, each energy band providing access to rather distinct regimes of physical conditions and geometric scale. X-ray emission probes the innermost regions of the accretion disk, where relativistic effects prevail. While this has been known for decades, it also has been acknowledged that inferring physical conditions in the relativistic regime from the behavior of the X-ray continuum is problematic and not satisfactorily constraining. With the discovery in the 1990s of iron X-ray lines bearing signatures of relativistic distortion came the hope that such emission would more firmly constrain models of disk accretion near black holes, as well as provide observational criteria by which to test general relativity in the strong field limit. Here we provide an introduction to this phenomenon. While the presentation is intended to be primarily tutorial in nature, we aim also to acquaint the reader with trends in current research. To achieve these ends, we present the basic applications of general relativity that pertain to X-ray spectroscopic observations of black hole accretion disk systems, focusing on the Schwarzschild and Kerr solutions to the Einstein field equations. To this we add treatments of the fundamental concepts associated with the theoretical and modeling aspects of accretion disks, as well as relevant topics from observational and theoretical X-ray spectroscopy.Comment: 63 pages, 21 figures, Einstein Centennial Review Article, Canadian Journal of Physics, in pres

X-ray Reflection By Photoionized Accretion Discs

We present the results of reflection calculations that treat the relevant physics with a minimum of assumptions. The temperature and ionization structure of the top five Thomson depths of an illuminated disc are calculated while also demanding that the atmosphere is in hydrostatic equilibrium. In agreement with Nayakshin, Kazanas & Kallman, we find that there is a rapid transition from hot to cold material in the illuminated layer. However, the transition is usually not sharp so that often we find a small but finite region in Thomson depth where there is a stable temperature zone at T \sim 2 x 10^{6} K due to photoelectric heating from recombining ions. As a result, the reflection spectra often exhibit strong features from partially-ionized material, including helium-like Fe K lines and edges. We find that due to the highly ionized features in the spectra these models have difficulty correctly parameterizing the new reflection spectra. There is evidence for a spurious $R-\Gamma$ correlation in the ASCA energy range, where $R$ is the reflection fraction for a power-law continuum of index $\Gamma$, confirming the suggestion of Done & Nayakshin that at least part of the R-Gamma correlation reported by Zdziarski, Lubinski & Smith for Seyfert galaxies and X-ray binaries might be due to ionization effects. Although many of the reflection spectra show strong ionized features, these are not typically observed in most Seyfert and quasar X-ray spectra.Comment: 16 pages, accepted by MNRAS, Fig. 8 is in colour Figures and tables changed by a code update. Conclusions unchange

Necessary Optimality Conditions for Higher-Order Infinite Horizon Variational Problems on Time Scales

We obtain Euler-Lagrange and transversality optimality conditions for higher-order infinite horizon variational problems on a time scale. The new necessary optimality conditions improve the classical results both in the continuous and discrete settings: our results seem new and interesting even in the particular cases when the time scale is the set of real numbers or the set of integers.Comment: This is a preprint of a paper whose final and definite form will appear in Journal of Optimization Theory and Applications (JOTA). Paper submitted 17-Nov-2011; revised 24-March-2012 and 10-April-2012; accepted for publication 15-April-201

Transversality Conditions for Infinite Horizon Variational Problems on Time Scales

We consider problems of the calculus of variations on unbounded time scales. We prove the validity of the Euler-Lagrange equation on time scales for infinite horizon problems, and a new transversality condition.Comment: Submitted 6-October-2009; Accepted 19-March-2010 in revised form; for publication in "Optimization Letters"

An Anatomy of Price Dynamics in Illiquid Markets: Analysis and Evidence from Local Housing Markets

Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/73407/1/j.1080-8620.2004.00082.x.pd

Hadronic Charmed Meson Decays Involving Axial Vector Mesons

Cabibbo-allowed charmed meson decays into a pseudoscalar meson and an axial-vector meson are studied. The charm to axial-vector meson transition form factors are evaluated in the Isgur-Scora-Grinstein-Wise quark model. The dipole momentum dependence of the $D\to K$ transition form factor and the presence of a sizable long-distance $W$-exchange are the two key ingredients for understanding the data of $D\to \bar Ka_1$. The $K_{1A}-K_{1B}$ mixing angle of the strange axial-vector mesons is found to be $\approx \pm37^\circ$ or $\pm58^\circ$ from $\tau\to K_1\nu_\tau$ decays. The study of $D\to K_1(1270)\pi, K_1(1400)\pi$ decays excludes the positive mixing-angle solutions. It is pointed out that an observation of the decay $D^0\to K_1^-(1400)\pi^+$ at the level of $5\times 10^{-4}$ will rule out $\theta\approx -37^\circ$ and favor the solution $\theta\approx -58^\circ$. Though the decays $D^0\to \bar K_1^0\pi^0$ are color suppressed, they are comparable to and even larger than the color-allowed counterparts: $\bar K_1^0(1270)\pi^0\sim K_1^-(1270)\pi^+$ and $\bar K_1^0(1400)\pi^0> K_1^-(1400)\pi^+$. The finite width effect of the axial-vector resonance is examined. It becomes important for $a_1(1260)$ in particular when its width is near 600 MeV.Comment: 19 page