27 research outputs found
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