springer berlin heidelberg jun 1972 (22 risultati)

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Outline.- A priori estimates for solutions of linear elliptic functional equations with constant coefficients.- A representation for continuous linear functionals on W o m,p (G) (1 248 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Analyse harmonique des mesures non bornees sur les groupes abeliens localement compacts.- Fiber bundle structures and harmonic analysis of compact heisenberg manifolds.- Unions of sets of interpolation.- Lacunarity for compact groups, III.- A new look at Mackey's imprimitivity theorem.- Fourier-Stieltjes transforms with an isolated value.- The range of Fourier-Stieltjes transforms of parts of measures.- Fourier Bessel transforms and holomorphic discrete series.- On the theory of the Eisenstein integral.- Harmonic analysis in the non-Euclidean disk.- Problems of extrapolation and spectral synthesis on groups.- Structure of induced representations and characters of irreducible representations of complex semisimple lie groups.- Hausdorff dimension, lacunary series, and some problems on exceptional sets.- Irreducibility theorems for the principal series.- Calcul symbolique sur l'alg¿e de wiener centrale de su(3).- Helson sets in Tn.- Recent advances in spectral synthesis.- Harmonic analysis on homogeneous vector bundles.- Action of algebraic groups of automorphisms on the dual of a class of type I groups.- L1-algebras and segal algebras.- Norms of characters and central p sets for U(n).- Some new characterizations of sidon sets.- The fourier transform of invariant distributions.- Characters of the group GL( , q). 332 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Automation of the Sequence analysis by Edman degradation of proteins and peptides.- Der Analysenautomat DSA-560.- Ein Analysenautomat aus Bausteinen, die Braun-SysteMatik.- Der Technicon Autoanalyzer.- Titrierautomaten zur Betriebskontrolle. 116 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 212 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The present Lecture Notes evolved from a course given at the Technische Hogeschool Eindhoven and later at the Technische Hogeschool Twente. They are intended for computer science students; more specifically, their goal is to introduce the notions of computability and decidability, and to prepare for the study of automata theory, formal language theory and the theory of computing. Except for a general mathematical background no preliminary knowledge is presupposed, but some experience in programming may be helpful. While classical treatises on computability and decidability are oriented towards the foundation of mathematics or mathematical logic, the present notes try to relate the subject to computer science. Therefore, the expose is based on the use of strings rather than on that of natural numbers; the notations are similar to those in use in automata theory; in addition, according to a common usage in formal language theory, most of the proofs of computability are reduced to the semi-formal description of a procedure the constructivity of which is apparent to anybody having some programming experience. Notwithstanding these facts the subject is treated with mathematical rigor; a great number of informal comments are inserted in order to allow a good intuitive understanding. I am indebted to all those who drew my attention to some errors and ambiguities in a preliminary version of these Notes. I want also to thank Miss L.A. Krukerink for her diligence in typing the manuscript. 84 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 212 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware - -categories.- Representations lineaires de schemas en groupes affines.- Dualite de Tannaka.- Graduations et filtrations.- Polarisations des categories tannakiennes sur IR.- Exemples tires de la geometrie algebrique. 424 pp. Französisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Automation of the Sequence analysis by Edman degradation of proteins and peptides.- Der Analysenautomat DSA-560.- Ein Analysenautomat aus Bausteinen, die Braun-SysteMatik.- Der Technicon Autoanalyzer.- Titrierautomaten zur Betriebskontrolle.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 116 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Opening Remarks.- Ion Gradient Hypotheses and the Energy Requirement for Active Transport of Amino Acids.- Models of Coupling and their Kinetic Characteristics.- Lipid-Protein Interaction in Presence of Alkali-Cations.- Neutral Amino Acids and the Ion Gradient Hypothesis.- Electrolyte Effects on the Transport of Cationic Amino Acids.- Transport of Amino Acids in Ehrlich Ascites Cells and Mouse Pancreas.- An Examination of the Energetic Adequacy of the Ion Gradient Hypothesis for Nonelectrolyte Transport.- Some Observations on the Nonhomogeneous Distribution inside the Ehrlich Cell.- The Influence of H+, Na+ and K+ on the Influx of Glutamate in Ehrlich Ascites-Tumor Cells.- Evidence for a Sodium-Independent Transport System for Glucose Derived from Disaccharides.- The Na-Independent Transport of Sugar in Renal Tubular Cells.- Sodium-Dependent Accumulation of Sugars by Isolated Intestinal Cells. Evidence for a Mechanism not Dependent on the Na+ Gradient.- The Effect of Sodium on the Transtubular Transport of D-Glucose in Rat Kidney and on the D-Glucose Binding to Isolated Brush Border Membranes.- Views Dissenting with the 'Gradient Hypothesis'. Intestinal Sugar Absorption, Studies in vivo and in vitro.- Two Modes of Sodium Extrusion from Dog Kidney Cortex Slices.- General Comment.- Sodium Activation of Intestinal Sugar and Amino Acid Transport: A General or an Individual Effect .- Is there any Evidence for a Transport System for Glucose Derived from Sucrose in Rat Kidney .- A Hypothesis on the Mechanism of Mutual Inhibition among Sodium-Dependent Transport Systems in the Small Intestine.- Does the Stoichiometry of Coupling Necessarily Reveal the Composition of the Ternary Complex .- Specific Comment on the Paper Presented by Dr. H. N. Christensen.- A Sodium Dependent,Non-Carrier Mediated Transport of a Passive Diffusing Substance across the Intestinal Wall.- K+-Ions, Swelling, and Sugar Transport in Muscle.- Sodium-Dependent Uptake of Iron-Transferrin in Rabbit Reticulocytes.- Carrier-Mediated, Na+-Independent Translocation of Calcium across the Brush Border Membrane of Rat Duodenum in vitro. 208 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Wir betrachten hier jenen Teil der Grundlagenforschung, der die 'intui tive' oder 'inhaltliche' Mathematik, d. h. das, was ein gew6hnlicher Mathematiker unter Mathematik versteht, systematisch beschreibt und analysiert. Im deskriptiven Teil wird die informale Mathematik in einer formal en Sprache (z. B. der der Mengenlehre) neu formuliert. Eine solche Sprache hat, verglichen mit der Sprache der informalen Mathematik, ein sehr eingeschr~nktes Vokabular und eine vollkommen exakte Grammatik; dadurch wird naturlich die Pr~zision erh6ht und der Blick von Unwesentlichem befreit. Im Gegensatz zu einer weitverbreiteten Ansicht, die weiter unten diskutiert wird, ist die Neuformulierung (die wie jede Beschreibung eines intuitiv erfa~ten Gegenstandes wesentlich von unserer Auffassung seiner Natur abh~ngt) nur ein Hilfsmittel der Grundlagenforschung: es handelt sich n~mlich darum, die Bedeutung von S~tzen der informalen Mathematik richtig wiederzugeben und nicht deren syntaktische Struktur; denn der ~u~eren Form nach haben die formale und die informale Sprache (glucklicherweisel) wenig gemeinsam. Auch sollte man bemerken, da~ die durch die Umformulierung erzielte Pr~zision zwar die technische Entwick lung f6rdert, aber kaum geeignet ist, Schwierigkeiten zu beseitigen, die aus Unzul~nglichkeiten der ursprunglichen Begriffe entstehen (gerade das Gegenteil ist der Fall: durch Nachdenken uber informale Begriffe werden wir zu einer guten Formalisierung gefuhrt). In den wohlbekannten 'Krisen' (siehe z. B. Teil A, Abschnitt 1 weiter unten) ruhrten die Widerspruche von durchaus expliziten Prinzipien (Axiomen, Regeln) her, so da~ diese Schwierigkeiten nichts mit ungenugender formaler Pr~zision zu tun hatten; das Problem lag vielmehr darin, unter verschiedenen, formal pr~zisen Prinzipien die gultigen herauszufinden. 296 pp. Deutsch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Die Inkas oder ihre Vorganger verfiigten iiber ein beachtenswer tes astronomisches, kalendarisches und auch mathematisches Wissen. In den Schriften der spanischen Chronisten finden wir hieriiber viele nutzliche Hinweise. Vor allen Dingen aber laBt uns die Ver messung der alten Tempel oder Heiligtumer in vielen Fallen ihre Zweckbestimmung erkennen. Eine starke und lebendige Ausdrucks kraft geht weiterhin von der Darstellung astronomischer Begeben heiten in Stein oder Keramik aus. Die Deutung dieser kiinstleri schen Darstellungen ermoglicht es dem Astronom, das in ihnen steckende himmelskundliche Gedankengut zu ahnen oder zu ver stehen. In diesem Buch soll der Versuch unternommen werden, dieses astronomische Wissen und vor allen Dingen auch die Beobachtungs methoden der Inka und ,der noch friiheren Volker des alten Peru ans Licht zu bringen. Wenn mir das gelungen ist, so sehe ich darin den schonsten Lohn fur meine Arbeit. Dem Herausgeber, Herrn Prof. Dr. K. von Frisch, bin ich fiir manche wertvolle Anregungen zu groBem Dank verpflichtet. 100 pp. Deutsch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Die Muskelrelaxantien sind heute unentbehrliche Bestandteile im Ar mentarium des Anasthesisten. Ihre faszinierende Geschichte ist von beru fener Seite oft und eingehend geschildert worden. Erinnem wir uns nur an einige Hohepunkte seit den ersten Berichten ALEXANDER VON HUM BOLDTS urn die Mitte des 18. Jahrhunderts uber die Herstellung des ge heimnisvollenPfeilgiftes der Indianer im Orinoco-Gebiet, wie beispielsweise die ersten Anwendungsversuche von Curare beim Tetanus urn 1815, die Identifizierung der Muskelendplatte als dessen Wirkungsort durch CLAUDE BERNARD urn 1850, und schlieJ3lich die Einfuhrung in die Anasthesie durch GRIFFITH im Jahre 1942. Die neuromuskulare Blockade ist damit zu einem wertvollen klinischen Hilfsmittel geworden. Dank intensiven Forschungs arbeiten von Chemikem und Pharmakologen haben bald weitere curareiihn lich wirkende Praparate zur Verfugung gestanden, und es sind neue Erkenn t nisse uber die Art ihrer Effekte vermittelt worden. Auf diesem Gebiet sind in Zurich von SCHMID und KARRER durch die StrukturaufkIarung natiirlicher Curare-Alkaloide und der synthetischen Herstellung von C-Toxiferin, sowle von W ASER durch die Untersuchung uber die Wirkungsmechanismen dieser Pharmaka an den Endplatten, be deutungsvolle Ergebnisse erarbeitet worden. Bei der vorliegenden Arbeit handelt es sich urn eine zusammenfassende Darstellung bisher bekannter Zirkulationseffekte dieser Priiparate, welche auf eigenen klinisch-pharma kologischen Untersuchungen basieren. Fur den praktisch tatigen Anas thesisten sind diese Ergebnisse eminent wichtig. Zurich, im Miirz 1972 G. HOSSLI Vorwort Noch in einem im Jahre 1941 erschienenen bekannten Phartnakologie buch (GoomlAN und GILMAN, 1941) war zu lesen, daB Curare keine all gemein anerkannten Anwendungen besitze. 68 pp. Deutsch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Die mit der Vennehrung unserer Kenntnis verkniipfte Aufspaltung der Wissenschaft in eine sHi.ndig wachsende Zahl von Einzeldisziplinen stellt. den Unterricht vor imrrier neue Aufgaben. Die Entwicklung der theoretischen Phy sik in den letzten ] ahrzehn ten ist ein besonders eindrucksvolles Beispiel einer durch Spezialisierung gewonnenEm Vertiefung unserer Einsieht in die grund legenden Gesetze des natiirlichen Geschehens. Ihr Arbeitsgebiet ist die Verwen dung mathematischer Methodim zur Beschreibung physikalischer Tatbcstande. In diesem Sinne ist sie eine erfolgreiche Verkniipfung von Mathematik und Physik. Man darf aber die Augen nieht verschlieBen vor der Tatsache, daB parallel mit dieser Entwicklung eine zunehmende Entfremdung zwischen diesen beiden Fachern eingetret~n ist, welche besonders im Unterrichtsbetrieb aui beiden Seiten schmerzlich empfunden wird. Der Mathematiker verweist etwa auftretende physikalische Gesiehtspunkte in das Gebiet der theoreti~chen Phy. sik. Eberiso besteht auf seiten der Experimentalphysik oft die Neigung, eine tiefere mathematische Behandlung der beobachteten Phanomene der 'Theorie' zu iiberlassen. So hat denn der Student, welcher in seinem dritten oder vierten Semester mit der theoretischen Physik anfangt, bis dahin auf der einen Seite iIi der Experimentalphysikdie wichtigsten physikalischen Tatsachen kennenge lernt. Auf der andern Seite wUl-de er in den Grundlehren der Infinitesimal rechnung und in der Technik des Differenzierens und Integrierens unterwiesen. 184 pp. Deutsch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Seit den Untersuchungen von Copp et al. (1962) ist bekannt, daß bei den Säugetieren neben dem Parathormon ein zweiter Faktor die Calcium-Homöostase beeinflußt, der von Copp et al. 'Calcitonin' genannt wurde. Experimente von Hirsch et al. (1963) ergaben, daß die Schilddrüse die Quelle dieses humoralen Faktors ist. Er wurde deshalb auch als 'Thyrocalcitonin' bezeichnet. Auf Grund der Ergebnisse von Perfusionsversuchen mit calciumreichem Blut an der Schilddrüse vermuteten Foster et al. (1964), daß das Calcitonin aus den sog. parafollikulären Zellen der Thyreoidea stamme. Diese Vermutung wurde von Hargis et al. (1966) auf Grund immunohistochemischer Befunde bestritten, dann aber mit verbesserter Methode von Bussolati und Pearse (1967) und Kracht et al. als zutreffend (1968) bestätigt. Die parafollikulären Zellen wurden in der Folge von Pearse (1966) 'C-Zellen' genannt. Lichtmikroskopisch-histochemische, cytochemische und elektronenmikroskopische Untersuchungen zeigten, daß sie bei allen untersuchten Säugern - einschließlich des Menschen - ein eigenständi ges Zellensystem in der Schilddrüse bilden, das klar vom thyroxinsynthetisieren den Follikelepithel abgegrenzt ist (Gabe, 1956; Sandritter et al. , 1956; Ekholm, 1964; Luciano und Reale, 1964; Pearse, 1966; Carvalheira und Pearse, 1967; Welsch und Pearse, 1969; Welsch et al. , 1969; Kalina etal. , 1970; Kracht etal. , 1970; Solcia et al. , 1970). 56 pp. Deutsch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Die vorliegende Arbeit entstand w!hrend meiner T!tigkeit als wissenschaftlicher Mitarbeiter am Institut fUr Steue rungstechnik der Werkzeugmaschinen und Fertigungseinrich tungen der Universit!t Stuttgart. Herrn Prof. Dr.-Ing. G.Stute, dem Leiter des Instituts, bin ich fUr seine wohlwollende UnterstUtzung zu groaem Dank verpflichtet. Mein Dank gilt auch Herrn Prof. Dr.-Ing. K.Lange fUr die eingehende Durchsicht der Arbeit und die sich daraus er gebenden Hinweise. Ebenfalls m6chte ich allen Mitarbeitern des Instituts, die mir bei der Anfertigung der Arbeit behilflich waren, meinen Dank aussprechen. Dieser Dank gilt besonders den Herren cand.-el. K.-H. B6bel, Dipl.-Ing. H.Henning und Dr.-Ing. A.Storr. Horst Schwegler - 4 - Inhaltsverzeichnis Seite Einleitung 14 1. Programmierung numerisch gesteuerter Fras 18 2. maschinen Programmiersysteme 19 2.1 Das Programmiersystem APT 19 2.2 Einschrankungen der WerkstUckgeometrie und 22 2.2.1 der Werkzeugbewegung bei APT Geometrische Definitionen 23 2.2.1.1 23 2.2.1.2 Fahranweisungen 24 2.3 Sonderprogramme zur Flachenbearbeitung Erfassung und Beschreibung gekrUmmter Flachen 26 3. 120 pp. Deutsch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Ausgehend von der Betrachtung der numerisch gesteuerten Werk zeugmaschine als ein informationsverarbeitendes System werden Aussagen Uber die notwendige und hinreichende Eingabedatenmen ge sowie Uber die Anforderungen an die numerische Steuerung als auch die Lageregelkreise gemacht. Ein fUr Lageregelkreise bei numerisch gesteuerten Werkzeugma schinen speziell geeignetes Optimierkriterium wird formuliert und das Berechnungsverfahren angegeben. FUr die in der Praxis haufig vorkommenden Lageregelkreisstrukturen werden die optima len Parameter bestimmt. Da die Diagramme normiert sind, konnen die Ergebnisse sehr einfach auf die speziellen Anwendungsfalle Ubertragen werden. Die fUr einfache Regelstrecken (Antrieb als Verzogerungsglied 1. und 2.0rdnung) bekannten Erfahrungswerte werden durch die Optimierungsrechnung bestatigt. Durch die Un tersuchung von Vorschubantrieben, bei welchen auch das schwin gungsfahige Spindel-Schlitten-System miteinbezogen ist, kann die vielgefragte Auskunft Uber die geeigneten FrequenzverhMlt nisse der Obertragungsglieder gegeben werden. Im letzten Abschnitt werden lineare Bahnverzerrungen behandelt. Als Testbahn wurde das Umfahren einer rechtwinkligen Ecke ge wahlt und hieran die charakteristischen Bahnabweichungen be stimmt. Der allgemeine Zusammenhang zwischen einer Bahn mit rechtem und beliebigem Winkel ist dargestellt. Samtliche Dia gramme sind wiederum vollstandig normiert, so daB allgemein gUltige Aussagen und ein Vergleich mit der Lageregelkreisop timierung moglich sind. 92 pp. Deutsch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Die vorliegende Arbeit entstand während meiner Tätigkeit als wissenschaftlicher Assistent am Institut für Steuerungs technik der Werkzeugmaschinen und Fertigungseinrichtungen der Universität Stuttgart. Herrn Prof. Dr. -Ing. G. Stute, dem Leiter des Institutes, danke ich für sein stetes Interesse und die wertvollen Anregungen während des Entstehens dieser Arbeit ganz herzlich. Mein Dank gilt auch Herrn Prof. Dipl. -Ing. K. Tuffentsammer für die eingehende Durchsicht der Arbeit und die Vorschläge zu ihrer Verbesserung. Außerdem möchte ich allen Mitarbeitern des Institutes danken, die mir durch kritische Hinweise und häufige Diskussionen sehr geholfen haben. Dieser Dank gilt besonders Herrn Dr. -Ing. A. Storr und Herrn Dipl. -Ing. H. Damsohn. Jörg Eisinger - 5 - Inhaltsverzeichnis Seite Vorwort 3 Schrifttum 8 Zeichenerklärung 11 1. Einleitung 16 2. Spezielle Bauformen von Mehrachsenfräsmaschinen 19 2. 1. Kinematik und Werkzeuglage an Mehrachsenfräs- 19 maschinen Bauformen der untersuchten Mehrachsenfr~sma 2. 2. 19 schinen 3. Kinematische Abweichungen von einem'Cut-Vector' 22 3. 1. Die Simultanbewegung 22 3. 2. Interpolation bei Mehrachsenfräsmaschinen 23 3 2 1. Lineare Interpolat ion 24 3. 2. 2. Parabolische Interpolation 24 3. 2. 3. Zirkulare Interpolation 25 3. 3 Transformationsgleichungen 25 3. . . . Abweichungen von der Sollfräserbahn bei Mehr- 29 achsenfräsmaschinen 3. ' . 1. Die Zweideutigkeit der Werkzeugachslage 30 3 . . . . 1. 1. Trägheitsmomente bezogen auf die rota- 33 torischen Achsen 3. '. 1. 2. Durchbiegung des Ständers und des Aus- 34 legers 3 . . . . 1. 3. Kollisionsbetrachtung 34 3. 4. 1. 4. 100 pp. Deutsch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -0 - Vorbereitungen. Definitionsschemata.- 1 - Aussagenkalkül.- Aufgaben.- 2 - Prädikatenkalkül.- Aufgaben.- 3 - Prädikatenkalkül mit Gleichheit.- Aufgaben.- 4 - Quantorenelimination.- Dichte Ordnungen mit erstem und letztem Element.- Diskrete Ordnungen ohne erstes und letztes Element.- Gewisse kommutative Gruppen mit diskreter Totalordnung.- Algebraisch abgeschlossene Körper.- Reell abgeschlossene Körper.- Atomare Boolesche Ringe.- Aufgaben.- 5 - Prädikatenkalkül mit mehreren Objektsorten.- Prädikatenkalkül mit k Objektsorten und Gleichheit.- Sprachen mit k Objektsorten, Gleichheit und Funktionszeichen.- Die Theorie der endlichen Typen.- Aufgaben.- 6 - Maximale Modelle, Modelle unendlicher Formeln.- Reduktion einer Klasse von Formeln zweiter Stufe.- Unendliche Formeln, die endlichstellige Relationen definieren.- Abzählbare Sprachen: Abz&hlbare Mengen von unendlichen Formeln.- Aufgaben.- 7 - Definierbarkeit.- Aufgaben.- ANHANG I - Die Axiomatische Methode.- ANHANG II - Grundlagen der Mathematik.- Die formalistisch-positivistische Doktrin der mathematischen Präzision.- Die Doktrin formaler Präzision.- Grundlegende Unterscheidungen.- Beispiele informaler Präzision.- Mängel der formalistischen Präzisionsdoktrin.- Der pragmatische Wert der formalistischen Doktrin.- Pädagogisches zur Grundlagenforschung.- A - Mengentheoretisch-semantische Grundlagen.- Zusammenfassung.- 1. Wie analysiert man intuitive Mathematik mit diesen Grundbegriffen.- Endliche Mengen: Verallgemeinerte Realisierungen. Der intuitive Ordinalzahlbegriff.- 2. Wie findet man Axiome für die mengentheoretischen Grundbegriffe .- 3. Wie kann man die bisherige Theorie A\*[A] verstärken .- 4. Historische Bemerkungen. Weitere Informationen über den intuitiven Gültigkeitsbegriff.- B -Kombinatorische Grundlagen.- Zusammenfassung.- 0 - Kombinatorisches Schließen.- (a) Kombinatorische Sprachen und Realisierungen.- (b) Kombinatorische Realisierung einer Formel: Kombinatorische Giiltigkeit.- (c) Mengentheoretische Übersetzungen kombinatorischer Identitäten; nicht-kombinatorische Beweise dieser Übersetzungen.- 1 - Wie analysiert man intuitive Mathematik mit den kombinatorischen Grundbegriffen .- (a) Repräsentation (Beschreibung) des mathe matischen Schließens mittels formaler Systeme.- (b) Reduktion intuitiver Prinzipien auf kombinatorische Prinzipien (Hilbertsches Widerspruchsfreiheitsproblem.- (c) Positive Lösungen zum Hilbertschen Problem.- 2 - Wie findet man Axiome für die kombinatorischen Grundbegriffe .- (a).- (c) Ein formales System.- Konsequenzen für das Hilbertsche Programm.- 3 - Ausbau der Theorie.- 4 - Kritische Zusammenfassung.- (a) Vergleich zwischen mengentheoretischen und kombinatorischen Grundlagen.- (b) Doktrinäre Grundlagen.- (c) Grober Formalismus.- 5 - Aktuelle Forschungsaufgaben.- C - Vergleich zwischen der semantischen und syntaktischen (kombinatorischen) Einführung in die mathematische Logik.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 296 pp. Deutsch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -1. Pharmakologie der Kreislaufwirkungen von Relaxantien.- 1.1. Einleitung.- 1.2. Acetylcholin als neurohumoraler Transmittor im peripheren Nervensystem.- 1.3. Histaminfreisetzung.- 1.4. d-Tubocurarin.- 1.5. Gallamin.- 1.6. Alcuronium.- 1.7. Pancuronium.- 1.8. Zusammenfassung.- 2. Fragestellungen.- 3. Methodik der eigenen Untersuchungen.- 4. Resultate.- 4.1. Die Kreislaufwirkungen der einzelnen Relaxantien.- 4.2. Rhythmusstörungen nach Relaxantien.- 4.3. Faktorielle Vergleiche.- 5. Diskussion.- 5.1. Zentralvenöser Druck.- 5.2. d-Tubocurarin.- 5.3. Gallamin.- 5.4. Alcuronium und Pancuronium.- 5.5. Rhythmusstörungen nach Relaxantien.- 5.6. Wirkungen von Halothan.- 5.7. Schlußfolgerungen.- 6. Zusammenfassung.- 6.1. Zusammenfassung.- 6.2. Summary.- 7. Literaturverzeichnis.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 68 pp. Deutsch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Inhaltsübersicht.- Schrifttum.- Zeichenerklärung.- 1. Einführung und Problemstellung.- 2. Die Digital-/Analoge Informationsverarbeitung bei der Numerischen Bahnsteuerung.- 2.1. Die numerische Bahnsteuerung als AbtastSteuerung.- 2.2. Anforderungen an die Lageregelkreise.- 3. Optimierung der Lageregelkreise.- 3.1. Die grundsätzlichen Eigenschaften des Lageregel-kreises.- 3.2. Wahl des Optimierkriteriums.- 3.3. Die Optimierung einfacher Lageregelkreise.- 3.4.Die Berechnung der Vergleichsregelfläche im Zeitbereich.- 3.5. Die Berechnung der Vergleichsregelfläche im Frequenzbereich.- 4. Bahnverzerrungen.- 4.1. Wahl der Testbahn.- 4.2. Die Bewertung linearer Bahnverzerrungen.- 4.3. Die Ermittlung der Bahnverzerrungen.- 4.4. Die Bahnverzerrungen in Abhängigkeit der Lage-regelkreisdimensionierung.- 5. Zusammenfassung.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 92 pp. Deutsch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -1. Einleitung.- 2. Programmierung numerisch gesteuerter Fräsmaschinen.- 2.1 Programmiersysteme.- 2.2 Das Programmiersystem APT.- 2.3 Sonderprogramme zur Flächenbearbeitung.- 3. Erfassung und Beschreibung gekrümmter Flächen.- 3.1 Mathematische Methoden zur Beschreibung einer Fläche.- 3.2 Näherungsweise Darstellung von Flächen unter Verwendung einer EDVA.- 3.3 Grundformen der Flächentheorie.- 4. Oberflächenstruktur gefräster Flächen.- 4.1 Gestaltabweichung technischer Oberflächen.- 4.2 Oberflächencharakter gefräster Flächen.- 4.3 Erfassung der theoretischen Gestaltabweichung gefräster Flächen.- 4.4 Erläuterung der verwendeten Begriffe.- 5. Fräsbearbeitung gekrümmter Flächen.- 5.1 Die Fräsverfahren.- 5.2 Kriterien zur Auswahl und Berechnung der erfor derlichen Fräsbahnen.- 5.3 Die Fräszeile.- 6. Ergebnis der Untersuchungen.- 6.1 Auswertung der Ergebnisse.- 6.2 Vorschlag verschiedener Methoden zur Fräsbahnberechnung.- 6.3 Konzeption eines Programmsystems.- 7. Programmtechnische Bestätigung der entwickelten Verfahren.- 8. Zusammenfassung.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 120 pp. Deutsch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -1. Einleitung.- 2. Spezielle Bauformen von Mehrachsenfräsmaschinen.- 3. Kinematische Abweichungen von einem 'Cut-Vector'.- 4. Parameter für Abweichungen vom Cut-Vector.- 5. Tatsächliche Bahngeschwindigkeit und Verfahrzeit am Cut-Vector.- 6. Anpassung der Datenmenge an die geforderte Genauigkeit der Fräserbahn.- 7. Die abweichungsfreie Fräserbewegung bei Mehrachsenfräsmaschinen.- 8. Entscheidungshilfen für den Anwender von Mehrachsenfräsmaschinen.- 9. Zusammenfassung.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 100 pp. Deutsch.