The Pioneer Anomaly

Radio-metric Doppler tracking data received from the Pioneer 10 and 11 spacecraft from heliocentric distances of 20-70 AU has consistently indicated the presence of a small, anomalous, blue-shifted frequency drift uniformly changing with a rate of ~6 x 10^{-9} Hz/s. Ultimately, the drift was interpreted as a constant sunward deceleration of each particular spacecraft at the level of a_P = (8.74 +/- 1.33) x 10^{-10} m/s^2. This apparent violation of the Newton's gravitational inverse-square law has become known as the Pioneer anomaly; the nature of this anomaly remains unexplained. In this review, we summarize the current knowledge of the physical properties of the anomaly and the conditions that led to its detection and characterization. We review various mechanisms proposed to explain the anomaly and discuss the current state of efforts to determine its nature. A comprehensive new investigation of the anomalous behavior of the two Pioneers has begun recently. The new efforts rely on the much-extended set of radio-metric Doppler data for both spacecraft in conjunction with the newly available complete record of their telemetry files and a large archive of original project documentation. As the new study is yet to report its findings, this review provides the necessary background for the new results to appear in the near future. In particular, we provide a significant amount of information on the design, operations and behavior of the two Pioneers during their entire missions, including descriptions of various data formats and techniques used for their navigation and radio-science data analysis. As most of this information was recovered relatively recently, it was not used in the previous studies of the Pioneer anomaly, but it is critical for the new investigation.Comment: 165 pages, 40 figures, 16 tables; accepted for publication in Living Reviews in Relativit

Rasiowa–Sikorski deduction systems in computer science applications

AbstractA Rasiowa-Sikorski system is a sequence-type formalization of logics. The system uses invertible decomposition rules which decompose a formula into sequences of simpler formulae whose validity is equivalent to validity of the original formula. There may also be expansion rules which close indecomposable sequences under certain properties of relations appearing in the formulae, like symmetry or transitivity. Proofs are finite decomposition trees with leaves having “fundamental”, valid labels. The author describes a general method of applying the R-S formalism to develop complete deduction systems for various brands of C.S and A.I. logic, including a logic for reasoning about relative similarity, a three-valued software specification logic with McCarthy's connectives and Kleene quantifiers, a logic for nondeterministic specifications, many-sorted FOL with possibly empty carriers of some sorts, and a three-valued logic for reasoning about concurrency

Are women with history of pre-eclampsia starting a new pregnancy in good nutritional status in South Africa and Zimbabwe?

Background Maternal nutritional status before and during pregnancy is an important contributor to pregnancy outcomes and early child health. The aim of this study was to describe the preconceptional nutritional status and dietary intake during pregnancy in high-risk women from South Africa and Zimbabwe. Methods This is a prospective observational study, nested to the CAP trial. Anthropometric measurements before and during pregnancy and dietary intake using 24-h recall during pregnancy were assessed. The Intake Distribution Estimation software (PC-SIDE) was used to evaluate nutrient intake adequacy taking the Estimated Average Requirement (EAR) as a cut-off point. Results Three hundred twelve women who had pre-eclampsia in their last pregnancy and delivered in hospitals from South Africa and Zimbabwe were assessed. 73.7 and 60.2% women in South Africa and Zimbabwe, respectively started their pregnancy with BMI above normal (BMI ≥ 25) whereas the prevalence of underweight was virtually non-existent. The majority of women had inadequate intakes of micronutrients. Considering food and beverage intake only, none of the micronutrients measured achieved the estimated average requirement. Around 60% of pregnant women reported taking folic acid or iron supplements in South Africa, but almost none did so in Zimbabwe. Conclusion We found a high prevalence of overweight and obesity and high micronutrient intake inadequacy in pregnant women who had the previous pregnancy complicated with pre-eclampsia. The obesity figures and micronutrient inadequacy are issues of concern that need to be addressed. Pregnant women have regular contacts with the health system; these opportunities could be used to improve diet and nutrition. Trial registration PACTR201105000267371 . Registered 06 December 2010