34 research outputs found
Stochastische Systeme. Markoffketten. Stochastische Frozasse. VJarteschlangen. /Bei/ Wolf-Dieter Heller, Henner Lindenberg, Manfred Nuske.
CB.4
Heterogeneous Active Agents, II: Algorithms and Complexity
In Part I of this series of papers, we developed a language called Agent Programs for defining the operational behavior of software agents and defined a set of successively more satisfying (epistemically) semantics for such agent programs. In Part II of this series of papers, we study the computation price to be paid (in terms of complexity) for these epistemic desiderata. In particular, we develop algorithms for the above semantics, and describe results on their computational complexity. We show that (surprisingly) the reasonable status set semantics is the easiest to compute of the semantics proposed
D-28334 Bremen
In this paper, we describe a conic approach to the stability theory of uncertain polynomials. We present necessary and sufficient conditions for a conic set p0 + K of polynomials to be Hurwitz stable (K is a convex cone of polynomials of degree ≤ n and deg p0 = n). As analytical tools we derive an edge theorem and Rantzer type conditions for marginal stability (semi-stability). The results are applied to prove an extremal ray result for conic sets whose cone of directions is given by an interval polynomial
Error-Tolerant Agents
The use of agents in today's Internet world is expanding rapidly. Yet, agent developers proceed largely under the optimistic assumption that agents will be error-free. Errors may arise in agents for numerous reasons --- agents may share a workspace with other agents or humans and updates made by these other entities may cause an agent to face a situation that it was not explicitly programmed to deal with. Likewise, errors in coding agents may lead to inconsistent situations where it is unclear how the agent should act. In this paper, we define an agent execution model that allows agents to continuing acting "reasonably" even when some errors of the above types occur. More importantly, in our framework, agents take "repair" actions automatically when confronted with such situations, but while taking such repair actions, they can often continue to engage in work and/or interactions with other agents that are unaffected by repairs.
Heterogeneous Active Agents, III: Polynomially Implementable Agents
. In (Eiter, Subrahmanian, and Pick 1999), the authors have introduced techniques to build agents on top of arbitrary data structures, and to "agentize" new/existing programs. They provided a series of successively more sophisticated semantics for such agent systems, and showed that as these semantics become epistemically more desirable, a computational price may need to be paid. In this paper, we identify a class of agents that are called weak regular---this is done by first identifying a fragment of agent programs (Eiter, Subrahmanian, and Pick 1999) called weak regular agent programs (WRAPs for short). It is shown that WRAPs are definable via three parameters---checking for a property called "safety", checking for a property called "conflict freedom" and checking for a "deontic stratifiability" property. Algorithms for each of these are developed. A weak regular agent is then defined in terms of these concepts , and a regular agent is one that satisfies an additional "boundedness" ..
Lyapunov exponent and rotation number of two dimensional linear stochastic systems with small diffusion
SIGLETIB: RA 6154 (151) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische InformationsbibliothekDEGerman
Dosierte Mikrostimulation von Frakturzonen DOMFRA Schlussbericht
SIGLEAvailable from TIB Hannover: F01B1257 / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische InformationsbibliothekArbeitsgemeinschaft Industrieller Forschungsvereinigungen 'Otto von Guericke' e.V. (AIF), Koeln (Germany); Bundesministerium fuer Bildung, Wissenschaft, Forschung und Technologie, Bonn (Germany)DEGerman
VERMEIL. Verfahren und Methoden zur wissensbasierten Entwicklung zur wissensbasierten Entwicklung zuverlaessiger Leitanlagen Abschlussbericht
A simulator for technological processes has been specified and implemented in ELLA. Thereby, some of the well-known problems concerning the description of technological processes and hardware could be solved by a new approach. To this, we mention the description of general loops, the verification and the portation on arbitrary architectures (e.g. SMP, FPGA, ASIC). The grinding circuit of a cement mill has been modeled and, based on it, a simulation has been implemented. This has been made by using a physical modeling approach as well as means from system identification from real process data. Important, missing data has been determined approximately by suitable techniques. The simulation runs stable in the working scope and supplies adequate process values. (orig.)SIGLEAvailable from TIB Hannover: RB 631(1998,2)+a / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische InformationsbibliothekBundesministerium fuer Bildung, Wissenschaft, Forschung und Technologie, Bonn (Germany)DEGerman
Uebergeordneter energiewirtschaftlicher Vergleich grosser Windkraftanlagen Schlussbericht
Main task of the project is to work out a comparison of european large scale wind turbines based on the accompanied power supplying and wind technical measuring programmes of seven plants from Denmark, Germany, Great Britain, the Netherlands and Sweden, which were chosen for the placed above comparison. The plants were designed as prototype or research projects and started operation between 1985 and 1993. They have in common the central or northern European location, a successful finished test period and the availability of data gained over a period of at least 12 months. The installed rated output of the plants lies between 1.000 and 3.000 kW. The main points of the analysis are the evaluation of the statistics of operational data and the statistics of energy production. After that the specific locational facts were judged following the pattern of the report 'Development of a standard measuring programme for windturbines' from September 1989. The comparison of the particular rates results on the base of the last two years of the available working period. (orig.)Es wird eine vergleichende uebergeordnete technisch-wissenschaftliche Beurteilung der Ergebnisse aus den begleitenden energiewirtschaftlichen und windtechnischen Messprogrammen an mehreren ausgewaehlten grossen Windkraftanlagen durchgefuehrt. Fuer den uebergeordneten Vergleich wurden sieben Anlagen in Daenemark, Deutschland, Grossbritannien, den Niederlanden und Schweden ausgesucht. Es handelt sich dabei um Anlagen, die 1985 bis 1993 in Betrieb gingen und als Prototypen oder Forschungsprojekte konzipiert wurden. Ihnen gemeinsam ist ihr mittel- bzw. nordeuropaeischer Standort, ein erfolgreich abgeschlossener Probenbetrieb sowie die Verfuegbarkeit von Betriebsdaten ueber einen Zeitraum von mindestens 12 Monaten. Die installierte Nennleistung der Anlagen liegt zwischen 1.000 und 3.000 kW. Schwerpunkte der Untersuchung bilden die Auswertung der Betriebs- und der Energieabgabestatistiken. Weiterhin werden die standortspezifischen Gegebenheiten in Anlehnung an den Bericht ueber die 'Entwicklung eines standardisierten Messprogramms fuer Windkraftanlagen' vom September 1989 beurteilt. Der Vergleich der einzelnen Werte erfolgt auf der Basis der jeweils letzten beiden Jahre des zur Verfuegung stehenden Betriebszeitraumes. (orig.)SIGLEAvailable from TIB Hannover: F96B226+a / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische InformationsbibliothekBundesministerium fuer Bildung, Wissenschaft, Forschung und Technologie, Bonn (Germany)DEGerman