Home
Copyright © 2018 Jiri Kriz, www.nosco.ch

Jiri Kriz

Ich bin auch hier: stackoverflow mathexchange MATHEMATICS LinkedIn

Ich heisse Jiri Kriz und bin der Autor dieser Nosco Seiten. Ich studierte Mathematik und Informatik an der ETH Zürich und schloss das Studium mit einer Promotion ab. Nach meinem Studium arbeitete ich als Informatiker an der ETH Zürich und im BBC/ABB Forschungszentrum. In dieser Zeit verfasste ich einige wissenschaftliche Publikationen und hielt die Vorlesung Angewandte Künstliche Intelligenz an der ETH Zürich.

Danach gründete ich zusammen mit meinem Geschäftspartner die Informatikfirma Nosco AG und widmete mich der Entwicklung kommerzieller Software. In den letzten Jahren war ich Manager und Softwareentwickler bei der UBS.

In meiner Berufskarriere habe ich viele Softwaresysteme (mit-)entwickelt. Die erfolgreichsten waren:

Ich habe in verschiedenen Sprachen programmiert, insbesondere:

Berufskarriere

ZeitJahreAktivität
2009 - ...9Programmierung dieser Homepage
Webmaster bei GSL Grüt
2002 - 20097Direktor und Senior Softwareingenieur, UBS
1989 - 200213Inhaber und Senior Softwareingenieur, Nosco AG
1986 - 199913Dozent ETH, Vorlesung Angewandte Künstliche Intelligenz
1979 - 198910Senior Scientist, Informatik, ABB Forschungszentrum
1976 - 19782Research Scientist, ETH Zürich, Institut für Reaktortechnik
1973 - 19763Dr. sc. Math., ETH Zürich
1973 - 19763Assistent ETH Zürich, Institut für Angewandte Mathematik (Prof. E. Stiefel)
1968 - 19724Dipl. Math. ETH (Mathematik und Informatik)
1965 - 19683Mathematikstudium, Karlsuniversität Prag
Zeit 2009 - ...
Jahre 9
Aktivität Programmierung dieser Homepage
Webmaster bei GSL Grüt
Zeit 2002 - 2009
Jahre 7
Aktivität Direktor und Senior Softwareingenieur, UBS
Zeit 1989 - 2002
Jahre 13
Aktivität Inhaber und Senior Softwareingenieur, Nosco AG
Zeit 1986 - 1999
Jahre 13
Aktivität Dozent ETH, Vorlesung Angewandte Künstliche Intelligenz
Zeit 1979 - 1989
Jahre 10
Aktivität Senior Scientist, Informatik, ABB Forschungszentrum
Zeit 1976 - 1978
Jahre 2
Aktivität Research Scientist, ETH Zürich, Institut für Reaktortechnik
Zeit 1973 - 1976
Jahre 3
Aktivität Dr. sc. Math., ETH Zürich
Zeit 1973 - 1976
Jahre 3
Aktivität Assistent ETH Zürich, Institut für Angewandte Mathematik (Prof. E. Stiefel)
Zeit 1968 - 1972
Jahre 4
Aktivität Dipl. Math. ETH (Mathematik und Informatik)
Zeit 1965 - 1968
Jahre 3
Aktivität Mathematikstudium, Karlsuniversität Prag

Jetzt bin ich pensioniert und entwickle diese Seiten als leidenschaftlicher Programmierer. Ich bilde mich auch weiter. Ich besuche Vorlesungen in Informatik und Mathemaik an der ETH Zürich als Fachhörer. Ich nehme teil an Coursera Online-Kursen im Internet, z.B.:

Ich entwickle und unterhalte die Homepage des Dorfvereins GSL Grüt - sicher - lebenswert. Ab und zu schreibe ich einen Beitrag in Stackoverflow und Math.Stackexchange. Auf Stackoverflow bin ich unter den besten 5% weltweit.

Jiri on Stack Exchange

Neben diesen geistigen Aktivitäten helfe ich meiner Frau in der Küche.

Publikationen

J. Kriz

A Uniform Solution of the Lambert Problem, Celestial Mechanics 14 (1976) 509-513.

A uniform method (with respect to the type of the conic section) for solving the Lambert boundary value problem is presented. It is derived by using the KS-transformation and consists in solving one nonlinear equation. It can be used either in the ordinary x-frame (physical space) as well as in the KS-coordinates (regularized space).

Search with Google

Jiri Kriz

Variationsformeln zur Lösung von gestörten Randwertproblemen in der Astrodynamik und ein Beitrag zum Lambert Problem. Diss. ETH 5789, ETH Zürich 1976.

Methods for solving boundary-value problems in astrodynamics are developped and applied to interplanetary transfer- and flyby-trajectories.

A new uniform method (with respect to the type of the conic section) for the classical Lambert Problem is presented and results in the solution of one nonlinear equation only. The uniformly valid state-transition matrix of the Keplerian motion is established by means of the KS-transformation.

Perturbed boundary-value problems are treated by integrating the perturbed trajectory numerically and by performing the differential correction technique using the analytical state-transition matrix of the unperturbed motion. Feasibility and efficiency of this procedure are demonstrated by several realistic, in part strongly perturbed and ill-conditioned transfer- and fly-by-trajectories.

ZUSAMMENFASSUNG

Unter einem astrodynamischen Randwertproblem versteht man die Bestimmung der Bahn eines Mobils im Gravitationsfeld (des Sonnensystems), sodass sie gewisse vorgeschriebene Bedingungen erfullt. Zur Behandlung dieses komplexen Problems werden in der vorliegenden Arbeit theoretische Methoden untersucht und entwickelt. Es werden semi-numerische Verfahren erarbeitet und auf die Berechnung von realistischen interplanetaren Transfer- und Flyby-Bahnen angewandt. Dabei zeigt sich eine deutliche Verbesserung und Abkürzung der Rechenzeit gegenüber klassischen numerischen Methoden.

Die Basis der Untersuchungen bildet die ungestörte Bewegung. Dieses analytisch lösbare Zweikörperproblem (Sonne - Mobil) wird zweckmässig mit Hilfe der Kunstaanheimo/Stiefel-Transformation behandelt. Durch Verwendung der sog. Stumpff-Funktionen erhält man eine uniform gültige, d.h. vom speziellen Bahntypus (elliptisch, parabolisch, hyperbolisch) unabhängige Lösung (Kap. 1.1).

Die Bahnberechnung einer interplanetaren Sonde, die ausgehend von der Erde einen Zielplaneten (unter eventuell nahem Vorbeiflug an einem Zwischenplaneten) erreichen und zusätzliche Randbedingungen erfüllen soll, wird in folgender Form gelöst:

a) Es wird eine Ausgangsnäherung ermittelt, indem die Bahn aus heliozentrischen ungestörten Keplerbogen zusammengesetzt wird (4.2). Die Bestimmung eines solchen Bogens erfordert die Lösung des sog. Lambert Problems, d.h. es ist eine Keplerbahn durch zwei Punkte mit vorgeschriebener Laufzeit zu konstruieren. Fur diese klassische Randwertaufgabe der Himmelsmechanik wird eine neue Lösungsmethode entwickelt, welche das Problem auf eine einzige nichtlineare algebraische Gleichung reduziert (1.2, und Literaturhinweis [6]).

b) Die heliozentrischen Bogen werden an den Flyby-Planeten durch planetozentrische Hyperbeln verknüpft (4.2). Für die Berechnung der approximativen Startgeschwindigkeit in einem gegebenen Punkt des Erdsystems, sodass eine Abflughyperbel mit vorgeschriebener asymptotischen Geschwindigkeit resultiert, wird eine allgemein gültige Lösungsformel hergeleitet (1.3).

c) Die zusätzlichen Nebenbedingungen werden differentiell durch Variation der Anfangswerte, resp. durch Unterwegs-Korrekturen befriedigt. Die dazu benötigte sog. Uebergangsmatrix wird mit Hilfe der KS-Transformation einfach hergeleitet und kompakt und uniform dargestellt (2). Mittels der kanonischen Mechanik wird auch die Inverse der KS-Uebergangsmatrix analytisch berechnet (2.1) und als Nebenresultat ergeben sich die Störungsgleichungen fur die Elemente der Keplerbahn (3.1).

d) Fur realistische Bahnberechnung müssen die Störungen der Planeten berücksichtigt werden. Statt die Übergangsmatrix durch rechenaufwendige numerische Integration der Variationsgleichungen, resp. benachbarter Bahnen, zu berechnen, machen wir den folgenden Versuch: Die Bahn wird zwar unter Berücksichtigung der Störungen numerisch integriert, fur ihre Verbesserung (Variation) benutzen wir jedoch die analytische Übergangsmatrix der ungestörten Bewegung (4.2). Dieses Vorgehen und seine Auswirkung auf die Konvergenz des iterativen (Newton-) Prozesses wird theoretisch untersucht (3.3) und an realistischen Beispielen der Weltraumfahrt getestet (5). Es erweist sich selbst bei schwierigen, stark gestorten Flyby-Problemen als erfolgreich und kostensparend (5.2).

In der Arbeit wird auch auf die auftretenden numerischen und programmiertechnischen Probleme eingegangen, z.B. auf die "Instabilität" der Iteration (3.3), die schlechte Kondition (3.3), die Berechnung von Stumpff-Funktionen (5.1), usw.

An dieser Stelle mochte ich Herrn Prof. Dr. E. Stiefel herzlich danken fur sein stetes Interesse, das er dieser Arbeit entgegengebracht hat, fur seine Unterstützung und viele Anregungen. Mein Dank geht auch an Herrn Prof. Dr. P. Läuchli fur die Übernahme des Korreferates und endlich an die Herren Dr. U. Kirchgraber und Dr. J. Nötzli fur viele anregende Diskussionen.

J. Kriz

Variational formulae for Solving Perturbed Boundary-Value Problems in Astrodynamics, Celestial Mechanics 18 (1978) 371-382.

The uniform valid state transition matrix of the pure Keplerian motion is established by means of the KS-transformation. Perturbed interplanetary transfer- and flyby-problems are treated by integrating the perturbed trajectory numerically and by performing the differential correction technique using the analytical transition matrix of the unperturbed motion. Numerical examples show the efficiency of this procedure and the improvement of the computing time and accuracy in comparison with the shooting method.

Search with Google

H.J. Halin, J. Kriz

On the accurate treatment of fixed and variable time delays, Summer Computer Simulation Conference, Seattle, WA; United States; 25-27 Aug. 1980. pp. 130-134.

The disadvantages of some frequently used techniques for approximating time delays are briefly discussed. It is shown that these difficulties do not exist when performing integration by means of a semianalytical integration method. This technique consists of expanding the state variables of a system in power series, while making use of analytical recursion formulas for the calculation of the coefficients of the series. By exploiting the analytical features of the power series method, time delay with fixed and variable delay times can be handled efficiently and accurately without any additional approximation. Two sample problems are solved using a new simulation package (the Power Series Continuous Simulation Program).

CSA Illumina (the link may change)
Search with Google

J. Kriz

Variations of a differential system containing discontinuities, Computer Methods in Applied Mechanics and Engineering 26 (1981) 247-258.

The paper deals with differential equations with discontinuous right-hand sides. The variational equations for the partial derivatives of the solution with respect to the initial values are established. Formulae for the jump in the partial derivatives at the points where the right-hand side is discontinuous are derived. An application to a two-point boundary value problem is given. The theory is extended to allow general variations and transformations of variables at the points of discontinuity.

Search with Google

J. Kriz, H. Sandmayr

Extension of Pascal and its Application to Quasi-Parallel Programming and Simulation, Software - Practice and Experience, 10 (1980), 773-789.

This paper describes an extension of Pascal by coroutines as a basic tool to make quasi-parallel programming possible. This extension is acheived by predefined procedures, i.e. by semantical means without modification of the syntax of the language. Process and simulation concepts are developed entirely in the extended Pascal. These concepts are suited for quasi-parallel programming and for process-oriented simulation of discrete-event systems. The presented simulation system is easy to implement, it is flexible and modifiable. It retains the powerful facilities and the portability and availability of Pascal.

Search with Google

J. Kriz

A Queueing Analysis of a Symmetric Multiprocessor with Shared Memories and Busses, IEE Proc. E Comp. Digit. Techn., 130, No. 3 (1983), 83-89.

The performance of a symmetric multiprocessor system on the level of memory requests is studied. The multiprocessor consists of a number of identical processors, each having its local private memory and each being connected via a system of identical buses to all global memory modules. The system is modelled by a Markovian queueing network and solved approximately by a hierarchical decomposition technique. A closed-form solution for the steady-state probabilities is presented and its numerical properties are discussed. Formulas for computing various performance measures are included. Simple lower and upper bounds for the throughput are derived which converge to the exact value as the number of processors increases.

IEEE Xplore (the link may change)
Search with Google

R. Gueth, J. Kriz

Semiformal Specification and Design of Multilevel Computer Systems, in Methodologies for Computer System Design, Proc. IFIP WG10.1 Working Conference, Lille, France, Sept. 1983, eds. W.K. Giloi, B.D. Shriver, North-Holland, 1985, 273-289.

An engineering approach to functional design and specification of multilevel computer systems is presented. The overall system is designed as a hierarchy of abstract state machines and described in a MODULA-2 like language. Functions are defined either by input-output specification or operationally. Standard mathematical notation is applied as needed. This semiformal specification appears to be easy, concise, comprehensible and still precise enough to avoid ambiguous interpretation. The specification can be turned into an executable MODULA-2 program and hence used for fast prototyping. The approach is demonstrated by an extensive example based on a realized operating system kernel supporting quasi-parallel programming.

Open Library (the link may change)
Search with Google

J. Kriz

Throughput Bounds for Closed Queueing Networks, Performance Evaluation, 4, (1984), 1-10.

Analytical lower and upper bounds for the throughput of closed queueing networks with single and delay (infinite) serves are studied. The numerical evaluation of these bounds requires a small number of significant operations which is independent of the population N. The previously known balanced-job bounds are generalized to networks containing delay servers (terminals) and a hierarchy of bounds is obtained for single and multiple class networks. For the single class network, further new bounds are derived: lower and upper bounds that require the evaluation of one square root and an upper bound that requires a constant number of exponentiations. This upper bound does not employ the balancing of server loadings and is especially useful for asymtotic analysis in the case of a large number of customers N.

CSA Illumina (the link may change)
Search with Google
Search with Google Scholar

R.C. Gueth, J. Kriz, T. Lalive d'Epinay

Distributed Microprocessor Control Systems based on the Broadcast Principle, ISA-Powid Symposium, Dallas, Texas, May 1984, 147-152.

A class of advanced distributed process control systems is introduced. The presented systems are local area networks consisting of a large number of microprocessor-based computer nodes that perform control and monitoring functions. The computer nodes communicate by broadcasting state information in source-addressed messages. The potential advantages of this communication mechanism over conventional destination-addressed message passing are: no side effect of function executions, convenient monitoring of running systems, facilitation of incremental system construction and system extension while the system is in service, support of backward error tracing and the identification of fault sources. There already exist a few distributed process control systems that are based on broadcasting source-addressed messages. The technological progress in high-speed data transmission and further research in broadcast-oriented computer communication will broaden the application range of these systems.

Search with Google
Search with Google Scholar

R.C. Gueth, J. Kriz, Th. Lalive d'Epinay

Broadcast-based Communication in Distributed Control Systems, Eurocon'84, 6th European Conf. on Electronics, Brighton, England, Sept. 1984, 321-325.

The introduced systems are bus-structured local area networks whose operation is based on broadcasting information in source-addressed messages. A source-address is a system wide identifier that reflects unambiguously the place where a message is created. The presented form of communication is particularly well suited for the publication of real-time data in distributed systems. Its advantages over destination-addressed message passing are: no side effects, i.e. messages from different sources cannot interfere with each other at a destination; convenient monitoring of running systems; easy system extension at run time. We discuss broadcast mechanisms for the publication of real-time state and event information and present realized systems for industrial process control.

Open Library (the link may change)
Search with Google

R. Gueth, J. Kriz

Broadcast Protocols in Distributed Control Systems, 6th IFAC Workshop on Distributed Control Systems, Monterey, USA, 1984.

Search with Google

R. Gueth, J. Kriz, S. Zueger

Broadcasting Source-Addressed Messages, 5th Int. Conf. Distributed Control Systems, IEEE, Denver, USA, May 1985, 108-115.

Broadcasting source-addressed messages (BSM) is introduced as a primary form of communication in distributed computer systems. Each broadcast message is labeled by a source address, which is a unique identifier that reflects the place where the message is created. A node interested in messages of a certain source can filter them from the transmission channel by performing an associative address matching. BSM is an asynchronous communication between the sender and anonymous receivers. We distinguish broadcast strategies with respect to the reliability of transmission - unreliable, reliable - and the type of message receipt - updating, buffering. Advantages of BSM over destination-addressed message passing are: no side effects, convenient monitoring and easy extension of distributed systems at run time. BSM makes possible new forms of distributed computation and is particularly suitable for real-time processing. We present two realized BSM-based systems for distributed control and monitoring of industrial processes.

Search with Google

J. Kriz, H. Sugaya

Logic Programming, Computer Systems in Process Control, ed. R. Güth, Plenum Press, 1986, 305-341.

Search with Google

R. Güth, J. Kriz

Informatikforschung in einem Industrieunternehmen, Technische Rundschau, 1. Juli 1986, TR 27, Jahrgang 78, 56-83.

J. Kriz, H. Sugaya

Knowledge-based Testing and Diagnosis of Analog Circuit Boards, FTCS 16, 16th Int. Symp. Fault-Tolerant Comp. Syst., 1986, Wien, 373-383.

Search with Google

H.J. Appelrath, J. Kriz

Wissensbasierte Expertensysteme, Neue Zürcher Zeitung, Beilage Forschung und Technik, 29.10.1986, 91-92. Auch: Information, Nr. 1, Jan. 1987, 51-51.

Search with Google

J. Kriz, H. Sugaya

Logic Programming for Industrial Applications, IFIP WG 10.1 Workshop on Concepts and Characteristics of Knowledge-Based Systems, Yokohama. Japan, 1987, ABB Research Report CRB 88-016C, 1988.

Search with Google

J. Kriz, editor

Knowledge-based Expert Systems in Industry, Ellis Horwood, Chichester, England, 1987 (book).

Search with Google

J. Kriz

Werkzeuge und Begriffe für die Arbeit mit Expertensystemen, ETG-Tagung Expertensysteme in der elektrischen Energieversorgung, Zürich 1989, 29-39.

D. Baggi, A. Bürgi, W. Fichtner, J. Kriz

Expertensysteme im betrieblichen und gesellschaftlichen Zusammenhang, Forschungspolitische Früherkennung, Schweizerischer Wissenschaftsrat (Hrg.), B/30, Bern 1989.

J. Kriz

Einführung in Expertensysteme Bulletin SEV/VSE 81 (1990) 3, 19-23.