Search
Now showing items 1-10 of 19
A New Class of Petri Nets for Modeling, Planning and Scheduling of Flexible, Manufacturing Systems
(1994)
This work addresses the modeling, verification, planning and scheduling problems of non-cycle discrete systems with emphasis on Flexible Manufacturing Systems. We introduce a special type of Petri nets, the Conflict-Free ...
Residue Calculus and Effective Nullstellensatz
(1996)
We provide new tools to compute multidimensional residues for rational functions, even over fields of positive characteristic. As a corollary one obtains solutions of the Betout equation for polynomials over a ring with a ...
A Population-Based Search from Genetic Algorithms through Thermodynamic Operation
(1994)
The guided random search techniques, genetic algorithms and simulated annealing, are very promising strategies, and both techniques are analogs from physical and biological systems. Through genetic algorithms, the simulation ...
Fast Evaluation of Demagnetizing Field in Three Dimensional Micromagnetics using Multipole Approximation
(2000)
Computational micromagnetics in three dimensions is of increasing interest with the development of magnetostrictive sensors andactuators. In solving the Landau-Lifshitz-Gilbert (LLG) equation, the governing equation of ...
Integral Geometry in Hyperbolic Spaces and Electrical Impedance Tomography
(1994)
We study the relation between convolution operators and the totally geodesic Radon transform on hyperbolic spaces. as an application we show that the linearized inverse conductivity problem in the disk can be interpreted ...
On the Converse to Pompeiu's Problem
(1997)
This is a reprint of a 1976 paper that appears in an inaccessible Brazilian journal and has become very looked after. It deals with the problem of determining a convex plane domain from the existence of infinitely many ...
A Genetic Algorithm for Minimax Optimization
(1997)
This paper describes a two-space genetic algorithm that finds solutions to minimax optimization problems. The genetic algorithm maintains two populations and searches both simultaneously. Each individual is evaluated with ...
Computing Balanced Realizations for Nonlinear Systems
(2000)
This paper addresses the problem of computability pertaining to the Scherpen(1994) theory and procedure for balancing of nonlinear systems. In contrastto Moore's (1981) balancing method for linear systems, the Scherpen ...
The Set-Valued Run-to-Run Controller in Semiconductor Manufacturing Processes
(1999)
In semiconductor manufacturing, run-to-run (RtR) control is paid moreand more attention. In this paper a set-valuedRtR control scheme is introduced. Different from conventional RtR controlmethods, the set-valued method ...
Resudus, Courants residuels et Courants de Green
(1994)
Some explicit formulas are provided in order to solve division problems in commutative algebra or questions related to intersection theory; it is shown here how the ides of analytic continuation of distributions leads to ...