Locally monotone Boolean and pseudo-Boolean functions

We propose local versions of monotonicity for Boolean and pseudo-Boolean functions: say that a pseudo-Boolean (Boolean) function is p-locally monotone if none of its partial derivatives changes in sign on tuples which differ in less than p positions. As it turns out, this parameterized notion provides a hierarchy of monotonicities for pseudo-Boolean (Boolean) functions. Local monotonicities are shown to be tightly related to lattice counterparts of classical partial derivatives via the notion of permutable derivatives. More precisely, p-locally monotone functions are shown to have p-permutable lattice derivatives and, in the case of symmetric functions, these two notions coincide. We provide further results relating these two notions, and present a classification of p-locally monotone functions, as well as of functions having p-permutable derivatives, in terms of certain forbidden "sections", i.e., functions which can be obtained by substituting constants for variables. This description is made explicit in the special case when p=2

Autonomous space processor for orbital debris

The development of an Autonomous Space Processor for Orbital Debris (ASPOD) was the goal. The nature of this craft, which will process, in situ, orbital debris using resources available in low Earth orbit (LEO) is explained. The serious problem of orbital debris is briefly described and the nature of the large debris population is outlined. The focus was on the development of a versatile robotic manipulator to augment an existing robotic arm, the incorporation of remote operation of the robotic arms, and the formulation of optimal (time and energy) trajectory planning algorithms for coordinated robotic arms. The mechanical design of the new arm is described in detail. The work envelope is explained showing the flexibility of the new design. Several telemetry communication systems are described which will enable the remote operation of the robotic arms. The trajectory planning algorithms are fully developed for both the time optimal and energy optimal problems. The time optimal problem is solved using phase plane techniques while the energy optimal problem is solved using dynamic programming

Semiclassical Calculation of Quantum-Mechanical Wave Functions for a Two-Dimensional Scattering System

The semiclassical theory developed by Maslov and Fedoriuk is used to calculate the wave function for two‐dimensional scattering from a Morse potential. The characteristic function S and the density Jacobian J are computed in order to obtain the primitive wave function. The incident part shows distorted plane‐wave behavior and the scattered part shows radially outgoing behavior. A uniform approximation gives a wave function that is well‐behaved near the caustic

Efficient systems for the securities transaction industry : a framework for the European Union

This paper provides a framework for the securities transaction industry in the EU to understand the functions performed, the institutions involved and the parameters concerned that shape market and ownership structure. Of particular interest are microeconomic incentives of the industry players that can be in contradiction to social welfare. We evaluate the three functions and the strategic parameters - the boundary decision, the communication standard employed and the governance implemented - along the lines of three efficiency concepts. By structuring the main factors that influence these concepts and by describing the underlying trade-offs among them, we provide insight into a highly complex industry. Applying our framework, the paper describes and analyzes three consistent systems for the securities transaction industry. We point out that one of the systems, denoted as 'contestable monopolies', demonstrates a superior overall efficiency while it might be the most sensitive in terms of configuration accuracy and thus difficult to achieve and sustain

Phase diagram of symmetric binary mixtures at equimolar and non-equimolar concentrations: a systematic investigation

We consider symmetric binary mixtures consisting of spherical particles with equal diameters interacting via a hard-core plus attractive tail potential with strengths epsilon_{ij}, i,j=1,2, such that epsilon_{11} = epsilon_{22} > epsilon_{12}. The phase diagram of the system at all densities and concentrations is investigated as a function of the unlike-to-like interaction ratio delta = epsilon_{12}/epsilon_{11} by means of the hierarchical reference theory (HRT). The results are related to those of previous investigations performed at equimolar concentration, as well as to the topology of the mean-field critical lines. As delta is increased in the interval 0 < delta < 1, we find first a regime where the phase diagram at equal species concentration displays a tricritical point, then one where both a tricritical and a liquid-vapor critical point are present. We did not find any clear evidence of the critical endpoint topology predicted by mean-field theory as delta approaches 1, at least up to delta=0.8, which is the largest value of delta investigated here. Particular attention was paid to the description of the critical-plus-tricritical point regime in the whole density-concentration plane. In this situation, the phase diagram shows, in a certain temperature interval, a coexistence region that encloses an island of homogeneous, one-phase fluid.Comment: 27 pages + 20 figure

Two-parameter nonsmooth grazing bifurcations of limit cycles: classification and open problems

This paper proposes a strategy for the classification of codimension-two grazing bifurcations of limit cycles in piecewise smooth systems of ordinary differential equations. Such nonsmooth transitions (C-bifurcations) occur when the cycle interacts with a discontinuity boundary of phase space in a non-generic way. Several such codimension-one events have recently been identified, causing for example period-adding or sudden onset of chaos. Here, the focus is on codimension-two grazings that are local in the sense that the dynamics can be fully described by an appropriate Poincaré map from a neighbourhood of the grazing point (or points) of the critical cycle to itself. It is proposed that codimension-two grazing bifurcations can be divided into three distinct types: either the grazing point is degenerate, or the the grazing cycle is itself degenerate (e.g. non-hyperbolic) or we have the simultaneous occurrence of two grazing events. A careful distinction is drawn between their occurrence in systems with discontinuous states, discontinuous vector fields, or that have discontinuity in some derivative of the vector field. Examples of each kind of bifurcation are presented, mostly derived from mechanical applications. For each example, where possible, principal bifurcation curves characteristic to the codimension-two scenario are presented and general features of the dynamics discussed. Many avenues for future research are opened.