We propose a generalized S-Parameter analysis for transmission lines with linear/nonlinear load terminations subject to arbitrary plane wave and port excitations. S-parameters are prevalently used to model transmission lines such as cable bundles and interconnects on printed circuit boards subject to port excitations. The conventional S-parameter approach is well suited to characterize interact...

Although several papers have studied no-idle scheduling problems, they all focus on flow shops, assuming one processor at each working stage. But, companies commonly extend to hybrid flow shops by duplicating machines in parallel in stages. This paper considers the problem of scheduling no-idle hybrid flow shops. A mixed integer linear programming model is first developed to mathematically form...

introduction:  the  advent  of  dual-modality  pet/ct  scanners  has  revolutionized  clinical  oncology  by  improving lesion localization and facilitating treatment planning for radiotherapy. in addition, the use of  ct images for ct-based attenuation correction (ctac) decreases the overall scanning time and creates  a noise-free  attenuation  map  (6map).  ctac  methods  include  scaling,  s...

In this paper a novel hybrid algorithm for harmonics estimation in power systems is proposed. The estimation of the harmonic components is a nonlinear problem due to the nonlinearity of phase of sinusoids in distorted waveforms. Most researchers implemented nonlinear methods to extract the harmonic parameters. However, nonlinear methods for amplitude estimation increase time of convergence. Hen...

The purpose of this report is to present research results on control of piecewise-linear hybrid systems of an investigation carried out as part of the project Verification of Hybrid Systems (VHS). Many engineering systems can in a first approximation be described by a piecewise-linear hybrid system. Moreover, the computational and complexity issues of this class of systems seems comparatively s...

Recently hybrid evolutionary computation (EC) techniques are successfully implemented for solving large sets of linear equations. All the recently developed hybrid evolutionary algorithms, for solving linear equations, contain both the recombination and the mutation operations. In this paper, two modified hybrid evolutionary algorithms contained time-variant adaptive evolutionary technique are ...

Decision rules offer a rich and tractable framework for solving certain classes of multistage adaptive optimization problems. Recent literature has shown the promise using linear nonlinear decision in which wait-and-see decisions are represented as functions, whose parameters variables to be optimized, underlying uncertain parameters. Despite this growing success, real-world stochastic problems...

Template polyhedra generalize intervals and octagons to polyhedra whose facets are orthogonal to a given set of arbitrary directions. They have been employed in the abstract interpretation of programs and, with particular success, in the reachability analysis of hybrid automata. While previously, the choice of directions has been left to the user or a heuristic, we present a method for the auto...

We investigate expressivity and complexity of hybrid logics on linear structures. Hybrid logics are an enrichment of modal logics with certain first-order features which are algorithmically well behaved. Therefore, they are well suited for the specification of certain properties of computational systems. We show that hybrid logics are more expressive than usual modal and temporal logics on line...