A numerical method with the approximate global convergence property is developed for a 3-D Coefficient Inverse Problem for a hyperbolic PDE with the backscattering data. An important part of this technique is the quasi-reversibility method. Approximate global convergence theorem is proven. Results of two numerical experiments are presented.

Distributed applications built on top of Structured Overlay Networks (SONs) operate based on certain self-* behaviors of the underlying Peer-to-Peer network. Among those, self-organization and self-healing are the two most prominent and assumed properties. The operating environment of distributed systems continues to be more inhospitable with the advance and demand of new technologies; for exam...

Functional polymers bear specified chemical groups, and have specified physical, chemical, biological, pharmacological, or other uses. To adjust the properties while keeping material usage low, a method for direct synthesis of functional polymers is indispensable. Here we show that various functional polymers can be synthesized by in situ cross-linked polymerization/copolymerization. We demonst...

Abstract We consider a stochastic matching model with general compatibility graph, as introduced by Mairesse and Moyal (2016). show that the natural necessary condition of stability system is also sufficient for ‘first-come, first-matched’ policy. To do so, we derive stationary distribution under remarkable product form, using an original dynamic reversibility property related to Adan, Bušić, M...

While for synchronous deterministic cellular automata there is an accepted definition of reversibility, the situation is less clear for asynchronous cellular automata. We first discuss a few possibilities and then investigate what we call phase space invertible asynchronous cellular automata in more detail. We will show that for each Turing machine there is such a cellular automaton simulating ...

The numerical integration in time of the equations of motion for mechanical systems subject to holonomic constraints is considered. Schemes are introduced for the direct treatment of a diierential-algebraic form of the equations that preserve the constraints, the total energy, and other integrals such as linear and angular momentum arising from aane symmetries. Moreover, the schemes can be show...

We study a dynamic coordination process in which agents are uncertain about the actions of their fellow agents, and anticipate strategically relevant information. Because of the uncertainty and learning, (ir)reversibility of actions has important strategic consequences. We find that the reversibility option can either enhance or hamper efficient coordination, and we characterize the direction o...

An important class of discrete event systems, tandem queueing networks, are considered and formulated as mathematical programming problems where the constraints represent the system dynamics. The dual of the mathematical programming formulation is a network flow problem where the longest path equals the makespan of n jobs. This dual network provides an alternative proof of the reversibility pro...

We consider a system of rotators subject to a small quasi-periodic forcing. We require the forcing to be analytic and satisfy a time-reversibility property and we assume its frequency vector to be Bryuno. Then we prove that, without imposing any nondegeneracy condition on the forcing, there exists at least one quasi-periodic solution with the same frequency vector as the forcing. The result can...