TOPEX satellite concept. TOPEX option study report

Candidate bus equipment from the Viking, Applications Explorer Mission, and Small Scientific Satellite programs for application to the TOPEX mission options is assessed. Propulsion module equipment and subsystem candidates from the Applications Explorer Mission satellites and the Small Scientific Satellite spacecraft are evaluated for those TOPEX options. Several subsystem concepts appropriate to the TOPEX options are described. These descriptions consider performance characteristics of the subsystems. Cost and availability information on the candidate equipment and subsystems are also provided

Self-learning Multiscale Simulation for Achieving High Accuracy and High Efficiency Simultaneously

We propose a new multi-scale molecular dynamics simulation method which can achieve high accuracy and high sampling efficiency simultaneously without aforehand knowledge of the coarse grained (CG) potential and test it for a biomolecular system. Based on the resolution exchange simulations between atomistic and CG replicas, a self-learning strategy is introduced to progressively improve the CG potential by an iterative way. Two tests show that, the new method can rapidly improve the CG potential and achieve efficient sampling even starting from an unrealistic CG potential. The resulting free energy agreed well with exact result and the convergence by the method was much faster than that by the replica exchange method. The method is generic and can be applied to many biological as well as non-biological problems.Comment: 14 pages, 6 figure

Testing liberal norms: the public policy and public security derogations and the cracks in European Union citizenship

European Union law has curtailed the traditional discretion Member States have in ordering non-nationals to leave their territory. Although Directive 2004/28 (the Citizenship Directive) has enhanced the system of protection afforded to offending European Union citizens, it still contains a number of cracks that lead to policy incoherence and gaps in rights protection. This is evident in the first rulings on Article 28(3) of Directive 2004/38 concerning the deportation of offending EU citizens. These issues also threaten to transform European Union citizenship from a fundamental status into a thin overlay that, under pressure from national executive power, loses its effect and significance. To be sure, EU citizenship has demonstrated that community belonging does not have to be based on organic-national qualities, cultural commonalities, or individuals' conformity to national values, but the continued deportation of long-term resident Union citizens makes nationality the ultimate determinant of belonging. The subsequent discussion suggests possible remedies and makes recommendations for institutional reform

Single Spin Asymmetry Parameter from Deeply Virtual Compton Scattering of Hadrons up to Twist-3 accuracy: I. Pion case

The study of deeply virtual Compton scattering has shown that electromagnetic gauge invariance requires, to leading order, not only twist two but additional twist three contributions. We apply this analysis and, using the Ellis-Furmanski-Petronzio factorization scheme, compute the single (electron) spin asymmetry arising in the collision of longitudinally polarized electrons with hadrons up to twist 3 accuracy. In order to simplify the kinematics we restrict the actual calculation to pions in the chiral limit. The process is described in terms of the generalized parton distribution functions which we obtain within a bag model framework.Comment: 18 pages, Late

An Inverse Scattering Transform for the Lattice Potential KdV Equation

The lattice potential Korteweg-de Vries equation (LKdV) is a partial difference equation in two independent variables, which possesses many properties that are analogous to those of the celebrated Korteweg-de Vries equation. These include discrete soliton solutions, Backlund transformations and an associated linear problem, called a Lax pair, for which it provides the compatibility condition. In this paper, we solve the initial value problem for the LKdV equation through a discrete implementation of the inverse scattering transform method applied to the Lax pair. The initial value used for the LKdV equation is assumed to be real and decaying to zero as the absolute value of the discrete spatial variable approaches large values. An interesting feature of our approach is the solution of a discrete Gel'fand-Levitan equation. Moreover, we provide a complete characterization of reflectionless potentials and show that this leads to the Cauchy matrix form of N-soliton solutions

Combining Models of Approximation with Partial Learning

In Gold's framework of inductive inference, the model of partial learning requires the learner to output exactly one correct index for the target object and only the target object infinitely often. Since infinitely many of the learner's hypotheses may be incorrect, it is not obvious whether a partial learner can be modifed to "approximate" the target object. Fulk and Jain (Approximate inference and scientific method. Information and Computation 114(2):179--191, 1994) introduced a model of approximate learning of recursive functions. The present work extends their research and solves an open problem of Fulk and Jain by showing that there is a learner which approximates and partially identifies every recursive function by outputting a sequence of hypotheses which, in addition, are also almost all finite variants of the target function. The subsequent study is dedicated to the question how these findings generalise to the learning of r.e. languages from positive data. Here three variants of approximate learning will be introduced and investigated with respect to the question whether they can be combined with partial learning. Following the line of Fulk and Jain's research, further investigations provide conditions under which partial language learners can eventually output only finite variants of the target language. The combinabilities of other partial learning criteria will also be briefly studied.Comment: 28 page

Some triviality results for quasi-Einstein manifolds and Einstein warped products

In this paper we prove a number of triviality results for Einstein warped products and quasi-Einstein manifolds using different techniques and under assumptions of various nature. In particular we obtain and exploit gradient estimates for solutions of weighted Poisson-type equations and adaptations to the weighted setting of some Liouville-type theorems.Comment: 15 pages, fixed minor mistakes in Section

Conductance through the disclination dipole defect in metallic carbon nanotubes

The electronic transport properties of a metallic carbon nanotube with the five-seven disclination pair characterized by a lattice distortion vector are investigated. The influence of the disclination dipole includes induced curvature and mixing of two sublattices. Both these factors are taken into account via a self-consistent perturbation approach. The conductance and the Fano factor are calculated within the transfer-matrix technique. PACS: 73.63.Fg, 72.80.Rj, 72.10.F

A knowledge-based approach to configuration layout, justification, and documentation

The design, development, and implementation is described of a prototype expert system which could aid designers and system engineers in the placement of racks aboard modules on Space Station Freedom. This type of problem is relevant to any program with multiple constraints and requirements demanding solutions which minimize usage of limited resources. This process is generally performed by a single, highly experienced engineer who integrates all the diverse mission requirements and limitations, and develops an overall technical solution which meets program and system requirements with minimal cost, weight, volume, power, etc. This system architect performs an intellectual integration process in which the underlying design rationale is often not fully documented. This is a situation which lends itself to an expert system solution for enhanced consistency, thoroughness, documentation, and change assessment capabilities