TDRSS orbit determination using short baseline differenced carrier phase

This paper discusses a covariance study on the feasibility of using station-differenced carrier phase on short baselines to track the TDRSS satellites. Orbit accuracies for the TDRSS using station-differenced carrier phase data and range data collected from White Sands, NM are given for various configurations of ground stations and range data precision. A one-sigma-position position accuracy of 25 meters can be achieved using two orthogonal baselines of 100 km for the station-differenced phase data and range data with 1 m accuracy. Relevant configuration parameters for the tracking system and important sources of error are examined. The ability of these data to redetermine the position after a station keeping maneuver is addressed. The BRTS system, which is currently used for TDRSS orbit determination, is briefly described and its errors are given for comparison

Mass retention efficiencies of He accretion onto carbon-oxygen white dwarfs and type Ia supernovae

Type Ia supernovae (SNe Ia) play a crucial role in studying cosmology and galactic chemical evolution. They are thought to be thermonuclear explosions of carbon-oxygen white dwarfs (CO WDs) when their masses reach the Chandrasekar mass limit in binaries. Previous studies have suggested that He novae may be progenitor candidates of SNe Ia. However, the mass retention efficiencies during He nova outbursts are still uncertain. In this article, we aim to study the mass retention efficiencies of He nova outbursts and to investigate whether SNe Ia can be produced through He nova outbursts. Using the stellar evolution code Modules for Experiments in Stellar Astrophysics, we simulated a series of multicycle He-layer flashes, in which the initial WD masses range from 0.7 to 1.35 Msun with various accretion rates. We obtained the mass retention efficiencies of He nova outbursts for various initial WD masses, which can be used in the binary population synthesis studies. In our simulations, He nova outbursts can increase the mass of the WD to the Chandrasekar mass limit and the explosive carbon burning can be triggered in the center of the WD; this suggests that He nova outbursts can produce SNe Ia. Meanwhile, the mass retention efficiencies in the present work are lower than those of previous studies, which leads to a lower birthrates of SNe Ia through the WD + He star channel. Furthermore, we obtained the elemental abundances distribution at the moment of explosive carbon burning, which can be used as the initial input parameters in studying explosion models of SNe Ia.Comment: 8 pages, 12 figures, 2 tables, published in Astronomy & Astrophysics (A&A 604, A31, 2017

Model checking probabilistic and stochastic extensions of the pi-calculus

We present an implementation of model checking for probabilistic and stochastic extensions of the pi-calculus, a process algebra which supports modelling of concurrency and mobility. Formal verification techniques for such extensions have clear applications in several domains, including mobile ad-hoc network protocols, probabilistic security protocols and biological pathways. Despite this, no implementation of automated verification exists. Building upon the pi-calculus model checker MMC, we first show an automated procedure for constructing the underlying semantic model of a probabilistic or stochastic pi-calculus process. This can then be verified using existing probabilistic model checkers such as PRISM. Secondly, we demonstrate how for processes of a specific structure a more efficient, compositional approach is applicable, which uses our extension of MMC on each parallel component of the system and then translates the results into a high-level modular description for the PRISM tool. The feasibility of our techniques is demonstrated through a number of case studies from the pi-calculus literature

A study of line widths and kinetic parameters of ions in the solar corona

Solar extreme-ultraviolet (EUV) lines emitted by highly charged ions have been extensively studied to discuss the issue of coronal heating and solar wind acceleration. Based on observations of the polar corona by the SUMER/SOHO spectrometer, this paper investigates the relation between the line widths and kinetic parameters of ions. It is shown that there exists a strongly linear correlation between two variables $(\sigma/\lambda)^2$ and $M^{-1}$, where $\sigma$, $\lambda$ and $M$ are the half-width of the observed line profile at $1/\sqrt{e}$, the wavelength and the ion mass, respectively. The Pearson product-moment correlation coefficients exceed 0.9. This finding tends to suggest that the ions from a given height of polar corona have a common temperature and a common non-thermal velocity in terms of existing equation. The temperature and non-thermal velocity are obtained by linear least-square fit. The temperature is around $2.8$ MK at heights of 57$''$ and 102$''$. The non-thermal velocity is typical 21.6 km s$^{-1}$ at height of 57$''$ and 25.2 km s$^{-1}$ at height of 102$''$.Comment: 7 pages, 2 figures, accepted for publication in Astrophysics and Space Scienc

An integrated model for green partner selection and supply chain construction

Stricter governmental regulations and rising public awareness of environmental issues are pressurising firms to make their supply chains greener. Partner selection is a critical activity in constructing a green supply chain because the environmental performance of the whole supply chain is significantly affected by all its constituents. The paper presents a model for green partner selection and supply chain construction by combining analytic network process (ANP) and multi-objective programming (MOP) methodologies. The model offers a new way of solving the green partner selection and supply chain construction problem both effectively and efficiently as it enables decision-makers to simultaneously minimize the negative environmental impact of the supply chain whilst maximizing its business performance. The paper also develops an additional decision-making tool in the form of the environmental difference, the business difference and the eco-efficiency ratio which quantify the trade-offs between environmental and business performance. The applicability and practicability of the model is demonstrated in an illustration of its use in the Chinese electrical appliance and equipment manufacturing industry

k-dependent SU(4) model of high-temperature superconductivity and its coherent-state solutions

We extend the SU(4) model [1-5] for high-Tc superconductivity to an SU(4)k model that permits explicit momentum (k) dependence in predicted observables. We derive and solve gap equations that depend on k, temperature, and doping from the SU(4)k coherent states, and show that the new SU(4)k model reduces to the original SU(4) model for observables that do not depend explicitly on momentum. The results of the SU(4)k model are relevant for experiments such as ARPES that detect explicitly k-dependent properties. The present SU(4)k model describes quantitatively the pseudogap temperature scale and may explain why the ARPES-measured T* along the anti-nodal direction is larger than other measurements that do not resolve momentum. It also provides an immediate microscopic explanation for Fermi arcs observed in the pseudogap region. In addition, the model leads to a prediction that even in the underdoped regime, there exist doping-dependent windows around nodal points in the k-space, where antiferromagnetism may be completely suppressed for all doping fractions, permitting pure superconducting states to exist.Comment: 10 pages, 7 figure