The Degree Preserving Spanning Tree Problem: Valid Inequalities and Branch-and-cut method

Given a connected undirected graph G, the Degree Preserving Spanning Tree Problem (DPSTP) consists in finding a spanning tree T of G that maximizes the number of vertices that have the same degree in T and in G. In this paper, we introduce Integer Programming formulations, valid inequalities and a Branch-and-cut algorithm for the DPSTP. Reinforced with new valid inequalities, the upper bounds provided by the formulation behind our Branch-and-cut method dominate previous DPSTP bounds in the literature.     

Ion Product of Pure Water Characterized by Physics-Based Water Model

Pure water has been characterized for nearly a century, by its dissociation into hydronium (H₃O)¹⁺ and hydroxide (HO)^1- ions. As a chemical equilibrium reaction, the equilibrium constant, known as the ion product or the product of the equilibrium concentration of the two ion species, has been extensively measured by chemists over the liquid water temper-ature and pressure range. The experimental data have been nonlinear least-squares fitted to chemical thermodynamic-based equilibrium equations, which have been accepted as the industrial standard for 35 years. In this study, a new and statistical-physics-based water ion product equation is presented, in which, the ions are the positively charged protons and the negatively charged proton-holes or prohols. Nonlinear least squares fits of our equation to the experimental data in the 0-100 ℃ pure liquid water range, give a factor of two better precision than the 35-year industrial standard.     

Optimal feedback gains of a delayed proportional-derivative (PD) control for balancing an inverted pendulum

In the dynamics analysis and synthesis of a con-trolled system, it is important to know for what feedback gains can the controlled system decay to the demanded steady state as fast as possible. This article presents a sys-tematic method for finding the optimal feedback gains by taking the stability of an inverted pendulum system with a delayed proportional-derivative controller as an example. First, the condition for the existence and uniqueness of the stable region in the gain plane is obtained by using the D-subdivision method and the method of stability switch. Then the same procedure is used repeatedly to shrink the stable region by decreasing the real part of the rightmost charac-teristic root. Finally, the optimal feedback gains within the stable region that minimizes the real part of the rightmost root are expressed by an explicit formula. With the optimal feedback gains, the controlled inverted pendulum decays to its trivial equilibrium at the fastest speed when the initial val-ues around the origin are fixed. The main results are checked by numerical simulation.     

Optimal time delays in a class of reaction-diffusion equations

ABSTRACT

A class of semilinear parabolic reaction diffusion equations with multiple time delays is considered. These time delays and corresponding weights are to be optimized such that the associated solution of the delay equation is the best approximation of a desired state function. The differentiability of the mapping is proved that associates the solution of the delay equation to the vector of weights and delays. Based on an adjoint calculus, first-order necessary optimality conditions are derived. Numerical test examples show the applicability of the concept of optimizing time delays.     

A variational approach for a generalized emden-fowler equation

Existence of positive solutions of singular boundary value problems related to Emden-Fowler equation is proved. A general minimization theorem in Sobolev spaces is applied.     

Time reversal acoustic communication receivers: DSP implementation and fast channel estimation

A communication system is implemented on digital signal processors (DSPs) for the underwater acoustic environment. The implemented receiver uses time reversal multi-channel combining followed by a single-channel decision feedback equalizer. Periodic channel estimation is employed to track the channel fluctuations. These techniques are used to mitigate time-varying inter-symbol interference, which is the main challenge in the underwater acoustic channel at operating frequencies greater than 10 kHz. Various optimization tasks are performed to reduce the receiver computational complexity. A fast implementation of the matching pursuit algorithm is tested on the DSP platform. Its performance, in terms of accuracy and run-time, is compared with that of the basic matching pursuit algorithm. Experimental results of the transmission and demodulation of binary phase-shift keying signals at three different symbol rates were obtained in the local Delaware Bay. The low bit error rates demonstrate the effectiveness of our implementation.     

Characterizing and Generating Bivariate Empirical Rank Distributions Satisfying Certain Positive Dependence Concepts

Abstract

This article introduces an approach for characterizing the classes of empirical distributions that satisfy certain positive dependence notions. Mathematically, this can be expressed as studying certain subsets of the class S_N of permutations of 1, …, N, where each subset corresponds to some positive dependence notions. Explicit techniques for it-eratively characterizing subsets of S_N that satisfy certain positive dependence concepts are obtained and various counting formulas are given. Based on these techniques, graph-theoretic methods are used to introduce new and more efficient algorithms for constructively generating and enumerating the elements of various of these subsets of S_N. For example, the class of positively quadrant dependent permutations in S_N is characterized in this fashion.     

D-admissible hybrid control of a class of singular systems

This paper mainly studies the problem of designing a hybrid state feedback D-admissible controller for a class of linear and nonlinear singular systems. Based on the relationship between singular discrete systems and singular delta operator systems, several necessary and sufficient conditions for a linear singular delta operator system to be D-admissible (i.e. regular, causal and all finite poles lie in a prescribed circular region) with different representations are derived. Then, the existence conditions and explicit expressions of a desirable D-admissible controller are given by means of matrix inequalities and strict linear matrix inequalities, respectively. We further extend the obtained results to singular delta operator systems with Lipschitz nonlinear perturbations, and the design methods of hybrid controller are presented for the nonlinear case as well. Finally, numerical examples as well as simulations are provided to illustrate the effectiveness of the theoretical outcomes obtained in the paper.     

Dynamic output feedback consensus of continuous‐time networked multiagent systems

This article addresses the dynamic output feedback consensus problem of continuous‐time networked multiagent systems. Both a fixed topology and Markovian switching topologies are considered. The consensus algorithms are on the base of the output information of each agent's itself and its neighbors. Some sufficient conditions for consensus of multiagent systems are obtained in forms of bilinear matrix inequalities. The algorithm based on the homotopy continuation method is given to compute the feasible controller gains. Numerical simulations are given to show the effectiveness of the proposed results. © 2014 Wiley Periodicals, Inc. Complexity 20: 35–42, 2015     

Uniform stabilization to equilibrium of a nonlinear fluid–structure interaction model

We consider uniform stability to a nontrivial equilibrium of a nonlinear fluid–structure interaction (FSI) defined on a two or three dimensional bounded domain. Stabilization is achieved via boundary and/or interior feedback controls implemented on both the fluid and the structure. The interior damping on the fluid combining with the viscosity effect stabilizes the dynamics of fluid. However, this dissipation propagated from the fluid alone is not sufficient to drive uniformly to equilibrium the entire coupled system. Therefore, additional interior damping on the wave component or boundary porous like damping on the interface is considered. A geometric condition on the interface is needed if only boundary damping on the wave is active. The main technical difficulty is the mismatch of regularity of hyperbolic and parabolic component of the coupled system. This is overcome by considering special multipliers constructed from Stokes solvers. The uniform stabilization result obtained in this article is global for the fully coupled FSI model.