Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
Filter
Collection
Keywords
Publisher
Years
  • 1
    ISSN: 1436-5057
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Type of Medium: Electronic Resource
    Signatur Availability
    BibTip Others were also interested in ...
  • 2
    Electronic Resource
    Electronic Resource
    Springer
    Computing 1 (1966), S. 50-61 
    ISSN: 1436-5057
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Description / Table of Contents: Zusammenfassung Es werden Endliche Automaten betrachtet, deren Übergangsmatrix block-stochastisch ist. Die block-stochastische Struktur definiert eine Äquivalenzbeziehung zwischen Zuständen des Automaten. Die Bedeutung und Auswirkung dieser Relation wird untersucht, und zwar insbesonders in Hinsicht auf die in den einzelnen Zuständen des Automaten angenommenen Sprachen.
    Notes: Summary Finite automata are considered whose transition matrix is blockstochastic. The block-stochastic structure defines an equivalence relation among states of the automata. The implications of this relation are investigated, especially with respect to the languages accepted in the states of the automata.
    Type of Medium: Electronic Resource
    Signatur Availability
    BibTip Others were also interested in ...
  • 3
    Electronic Resource
    Electronic Resource
    Springer
    Computing 1 (1966), S. 80-87 
    ISSN: 1436-5057
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Type of Medium: Electronic Resource
    Signatur Availability
    BibTip Others were also interested in ...
  • 4
    Electronic Resource
    Electronic Resource
    Springer
    Computing 1 (1966), S. 119-126 
    ISSN: 1436-5057
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Description / Table of Contents: Summary This paper gives a contribution to the hypothesis ofLense regarding the movements of the second order zeros of the derivativesI′ ν (z) of Bessel functions for every negativ variable ν.
    Notes: Zusammenfassung Die Arbeit liefert einen Beitrag zur derLense'schen Vermutung über die Bewegung der Doppelnullstellen der AbleitungI′ ν (z) der Besselfunktionen bei veränderlichem negativen ν.
    Type of Medium: Electronic Resource
    Signatur Availability
    BibTip Others were also interested in ...
  • 5
    ISSN: 1436-5057
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Description / Table of Contents: Summary In this paper we present a method for the computation of some inverse elementary transcendental functions usingRichardsons “Deferred Approach to the Limit”. A comparison of this method with other methods is also given.
    Notes: Zusammenfassung In dieser Arbeit wird gezeigt, wie man mit Hilfe desRichardson-Algorithmus Funktionswerte der Inversen einiger elementarer transzendenter Funktionen in einfacher Weise berechnen kann. Hierzu wurden auf einer Digitalrechenanlage auch einige Vergleichsrechnungen durchgeführt.
    Type of Medium: Electronic Resource
    Signatur Availability
    BibTip Others were also interested in ...
  • 6
    Electronic Resource
    Electronic Resource
    Springer
    Computing 1 (1966), S. 154-158 
    ISSN: 1436-5057
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Description / Table of Contents: Summary There are stated general iteration processes to solve differential equations, and it is shown that the method (a) described in [1] p. 162 for the n-th order equation (b) is a special case of them.
    Notes: Zusammenfassung Es wird auf allgemeine Iterationsvorschriften zur Lösung von Differentialgleichungen hingewiesen und gezeigt, daß darunter auch das in [1] p. 162 angeführte Verfahren (a) $$\begin{gathered} _{v + 1} y^{(k)} (x) = \sum\limits_{\alpha = 0}^{n - k - 1} {a_{k + 1 + \alpha } } \frac{{(x - x_0 )^\alpha }}{{\alpha !}} + \hfill \\ + \int\limits_{x_0 }^x {\frac{{(x - t)^{n - k - 1} }}{{(n - k - 1)!}}} f(_v y(t),_v y'(t), \ldots ,_v y^{(n - 1)} (t),t)dt \hfill \\ \end{gathered} $$ für die Differentialgleichungn-ter Ordnung (b) $$y^{(n)} = f(y,y', \ldots y^{(n - 1)} ,x){\text{ }}(y^{(k)} (x_0 ) = a_{k + 1,} k = 0, \ldots ,n - 1)$$ als Spezialfall enthalten ist.
    Type of Medium: Electronic Resource
    Signatur Availability
    BibTip Others were also interested in ...
  • 7
    Electronic Resource
    Electronic Resource
    Springer
    Computing 1 (1966), S. 93-104 
    ISSN: 1436-5057
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Description / Table of Contents: Summary A development originating from symbolic logic, programming languages and the formal investigation of natural languages leads to the abstract mathematical definition of a language Σ [A] as a free semigroup over an alphabet of generators, equipped with a binary transitive relation σ. σ represents the structure and can be expressed by a Hasse diagram. An important class contains languages for which the relation σ is isotonic under the semigroup operation (Semi-Thuë-Systems and Thuë-Systems, languages inBackus form, Chomsky-languages). An isotonic language σ can be interpreted as the transitive hull of the semigroup hull of a relation π („productions”). Essentially, we have a (partially) ordered semigroup. The central problem is the study of intervals [z, b] wherez is a fixed, distinguished minimal element: whether or not [z, b] is non-empty (word problem), what structure, i.e. relation induced by σ is carried by [z, b] (analysis problem). The analysis is particularly simple for languages which are dead-end-free with respect toz, that is for which the predomain ofb is always finite and coincides with [z, b], ifz σ b. If [z, b] contains more than one chain, then the chains are grouped, in particular for isotonic languages, in classes of phrase structures. Σ [A] is called unique with respect toz, if any non-empty [z, b] contains only one phrase structure. Languages which are dead-end-free and unique with respect toz are of particular practical importance, and in this connection also modifications leading to such a language, provided they are compatible on the postdomain ofz. Finally the importance of this abstract method for the study of formal problems in natural languages is shortly illustrated.
    Notes: Zusammenfassung Die von der mathematischen Logik, den Programmierungssprachen und der formalen Untersuchung natürlicher Sprachen herrührende Entwicklung führt zur mathematisch-abstrakten Definition einer Sprache ζ [A] als einer freie Halbgruppe über einem Alphabet von Erzeugenden, versehen mit einer zweistelligen transitiven Relation σ, σ, das die Struktur wiedergibt, kann durch ein Hasse-Diagramm ausgedrückt werden. Eine wichtige Klasse enthält die Sprachen, für die die Relation σ isoton ist unter der Halbgruppenverknüpfung (Semi-Thuë-Systeme und Thuë-Systeme, Sprachen inBackus-Form, Chomsky-Sprachen). In isoton-Sprachen kann σ als transitive Hülle der Halbgruppenhülle einer Relation π („Produktionen”) aufgefaßt werden. Im wesentlichen handelt es sich dann um (halb-) geordnete Halbgruppen. Das zentrale Problem ist die Untersuchungen der Intervalle [z, b], woz ein festes ausgezeichnetes minimales Element ist: ob [z, b] nicht-leer ist (Wortproblem), welche Struktur, d. h. welche durch σ induzierte Relation [z, b] trägt (Änalyseproblem). Die Analyse ist besonders einfach fürz-sackgassenfreie Sprachen, bei denen der Vorbereich vonb stets endlich ist und, fallsz σ b, mit dem Intervall [z, b] zusammenfällt. Enthält [z, b] mehrere Wege, so werden diese insbesondere für isotone Sprachen in Klassen von Phrasenstrukturen eingeteilt. Σ [A] heißt eindeutig bezüglichz, wenn jedes nicht-leere [z, b] nur eine Phrasenstruktur enthält. Von besonderer praktischer Bedeutung sind diez-sackgassenfreien, bezüglichz eindeutigen Sprachen, und damit die bezüglich des Nachbereichs vonz treuen Umformungen in solche Sprachen. Abschließend wird kurz die Bedeutung dieses abstrakten Vorgehens für die Untersuchung formaler Probleme bei natürlichen Sprachen erörtert.
    Type of Medium: Electronic Resource
    Signatur Availability
    BibTip Others were also interested in ...
  • 8
    Electronic Resource
    Electronic Resource
    Springer
    Computing 1 (1966), S. 133-145 
    ISSN: 1436-5057
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Description / Table of Contents: Summary In linear programming often it is important whether a given linear programming problem is equivalent to a transportation problem. In this case, the stepping-stone method could be taken for solving the problem, instead of the simplex method, which requires more storage capacity and computing time.—To decide this question a so-called simplex matrix is used, which results from the given linear programming problem treated by the simplex method. By help of two necessary conditions as well as a necessary and sufficient condition it can be concluded whether the linear programming problem belonging to that simplex matrix is equivalent to a transportation problem or not.—The practical handling of the developed algorithm is shown by an example.
    Notes: Zusammenfassung In der linearen Planungsrechnung interessiert oft, ob ein gegebenes lineares Optimierungsproblem sogar ein Transportproblem ist. Dann könnte man nämlich zur Lösung des Problems statt der Simplexmethode die Stepping-Stone-Methode anwenden, die weniger Speicherplatz und Rechenzeit erfordert.—Zur Klärung dieser Frage geht man von einer sogenannten Simplexmatrix aus, die aus dem mit der Simplexmethode behandelten linearen Optimierungsproblem entstanden ist. Mit Hilfe von zwei notwendigen Bedingungen sowie einer notwendigen und hinreichenden Bedingung läßt sich dann entscheiden, ob das zu jener Simplexmatrix gehörige lineare Optimierungsproblem ein Transportproblem ist oder nicht.—Die praktische Handhabung des entwickelten Verfahrens wird an einem Beispiel gezeigt.
    Type of Medium: Electronic Resource
    Signatur Availability
    BibTip Others were also interested in ...
  • 9
    Electronic Resource
    Electronic Resource
    Springer
    Computing 1 (1966), S. 146-153 
    ISSN: 1436-5057
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Description / Table of Contents: Summary We consider the conformal mapping of the interior of the unit circle onto the interior of a general closed curve by the method ofTheodorsen. There is to solve a singular nonlinear integral equation. By discretisation one gets a system of nonlinear equations; we examine different iterative methods of solving this system. A theorem is proved which says that the single step iteration converges twice as fast as the total step iteration (on the latter a convergence theorem ofOpitz, Ostrowski andSaltzer is known). In the next section we apply the SOR-method (Successive Over-Relaxation) to the systems of linear equations which appear at every step of theNewton-method. Compared with direct methods the computational work is reduced, especially on great systems. Finally we propose to apply the SOR-method directly to the nonlinear system. Conjetures on the “limit of convergence” and the “optimal relaxation factor” are confirmed by an example.
    Notes: Zusammenfassung Bei der konformen Abbildung des Inneren des Einheitskreises auf ein einfach zusammenhängendes Gebiet nach der Methode vonTheodorsen tritt eine singuläre nichtlineare Integralgleichung auf. Durch Diskretisation entsteht daraus ein nichtlineares Gleichungssystem, mit dessen iterativer Lösung wir uns beschäftigen. Es wird ein Satz bewiesen, der besagt, daß das Einzelschrittverfahren doppelt so schnell konvergiert wie das Gesamtschrittverfahren (für das ein Konvergenzsatz vonOpitz, Ostrowski undSaltzer bewiesen wurde). Im nächsten Abschnitt wenden wir das SOR-Verfahren (Successive Over-Relaxation) auf die beimNewton-Verfahren in jedem Schritt entstehenden linearen Gleichungssysteme an; der Rechenaufwand kann, verglichen mit direkten Verfahren, besonders bei großen Systemen stark reduziert werden. Schließlich wird vorgeschlagen, das SOR-Verfahren direkt beim nichtlinearen System anzuwenden. Vermutungen über die “Konvergenzgrenze” und den “optimalen Relaxationsfaktor” werden durch ein numerisches Beispiel erhärtet.
    Type of Medium: Electronic Resource
    Signatur Availability
    BibTip Others were also interested in ...
  • 10
    Electronic Resource
    Electronic Resource
    Springer
    Computing 1 (1966), S. 159-161 
    ISSN: 1436-5057
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Type of Medium: Electronic Resource
    Signatur Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...