A coupled-mode theory is derived from the scalar wave equation for the interaction between forwardand backward-traveling waves in a general slowly varying coupled waveguide array containing an arbitrary number of guides with a grating overlay. The equations include the effects of nonnegligible model overlap terms and changes in modal overlap but still demonstrate power conservation. Numerical r...

The effective numerical description of challenging problems arising from engineering applications demands often the selection of an appropriate reduced aka ”surrogate” model. The latter should result from a trade-off between reliability and computational affordability (see, e.g., [1, 8]). Different approaches can be pursued to set up the reduced model. In some cases, one can take advantage of s...

In this paper we discuss two hybrid languages , L(∀) and L(↓), and provide them with complete axiomatizations. Both languages combine features of modal and classical logic. Like modal languages, they contain modal operators and have a Kripke semantics. Unlike modal languages, in these systems it is possible to ‘label’ states by using ∀ and ↓ to bind special state variables . This paper explores...

An unsteady two-dimensional finite-volume solver was developed based on Van Leer’s flux splitting algorithm in conjunction with “Monotonic Upstream Scheme for Conservation Laws (MUSCL)” limiters and the two-layer Baldwin-Lomax turbulence model was also implemented. To validate the solver, two test cases were prepared and the computed results had good agreements with reference data. The rotating...

AbsfractThis paper presents novel and efficient kinematic modeling techniques for “hyper-redundant” robots. This approach is based on a “backbone curve” that captures the robot’s macroscopic geometric features. The inverse kinematic, or “hyper-redundancy resolution,” problem reduces to determining the time varying backbone curve behavior. To efficiently solve the inverse kinematics problem, we ...

Previous results for combining decision procedures for the word problem in the non-disjoint case do not apply to equational theories induced by modal logics—which are not disjoint for sharing the theory of Boolean algebras. Conversely, decidability results for the fusion of modal logics are strongly tailored towards the special theories at hand, and thus do not generalize to other types of equa...