ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

X
feed icon rss

Your email was sent successfully. Check your inbox.

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

Proceed reservation?

Export
Filter
  • 1975-1979  (10)
  • 1977  (10)
  • 1
    facet.materialart.
    Unknown
    Interpreting Scientific Growth: A Comment on Derek Price's "Science since Babylon" (1977)
    Cambridge : Periodicals Archive Online (PAO)
    History of science. 15:1=27 (1977:Mar.) 44-51 
    Details
    ISSN: 0073-2753
    Topics: History , Natural Sciences in General
    URL: http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&res_dat=xri:pao:&rft_dat=xri:pao:article:e363-1977-015-01-000002
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 2
    Electronic Resource
    Electronic Resource
    The use of Hoare's method of program verfification for the quicksort algorithm (1977)
    Springer
    Computing 18 (1977), S. 281-293 
    Details
    ISSN: 1436-5057
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Description / Table of Contents: Zusammenfassung Die vorliegende Arbeit analysiert die Erfahrungen, die bei der Durchführung formaler Korrektheitsbeweise an schon exsiterenden Programmen gemacht wurden. Mit Hilfe der Hoareschen Methode der Programmverfikation wurde der von an Emden angegebene Quicksort Algorithmus als richtig bewiesen. Dafür was es jedoch notwendig, eine Reihe von Veränderungen an dem Algorithmus vorzunehmen, um ihn an das Beweisverfahren und die existierenden Axiome anzupassen. Die gegenseitige Einflußnahme der Veränderungen und des Beweisverfahrens werden analysiert und Schlüse über die Verwendbarkeit des Hoareschen Verifikationsverfahrens für existierende Programme werden gezogen.
    Notes: Abstract Using the Quicksort Algortihm, given by van Emden, an analysis is made how Hoare's method of program verification can be applied to already existing programs. Changes to these programs become necessary to adopt them to the proving method and to the existing axioms. The interdependencies between these changes and the verification method are discussed and conclusions are draw about the applicability of Hoare's Methods for proving already existing programs.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF02244016
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 3
    Electronic Resource
    Electronic Resource
    Ethics and the unintended consequences of social research: A perspective from the sociology of science (1977)
    Springer
    Policy sciences 8 (1977), S. 111-124 
    Details
    ISSN: 1573-0891
    Source: Springer Online Journal Archives 1860-2000
    Topics: Political Science , Economics
    Notes: Abstract It is argued that “successful” social science requires the development of a social ethic or sense of research responsibility. An examination of impediments to ethical reflection in sociology suggests that an individualistic orientation is ineffective in coping with the unintended consequences of social research. Such consequences can be particularly harmful in the sociology of science where policy research and governmental support for its production often entails an “indiscriminate advocacy of knowledge.” Such advocacy raises anew questions of the power of scientific knowledge, the definition of client-professional relationships, and the collection of data which may not only violate the intent of individuals and groups supplying information, but may undermine the credibility of sociology itself.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF01712288
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 4
    facet.materialart.
    Unknown
    Oxydes de type perovskite du systeme CaNbO (1977)
    Elsevier
    Details
    Publication Date: 1977-11-01
    Print ISSN: 0022-4596
    Electronic ISSN: 1095-726X
    Topics: Chemistry and Pharmacology
    Published by Elsevier
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    PAPER CURRENT
  • 5
    facet.materialart.
    Unknown
    The use of Hoare's method of program verfification for the quicksort algorithm (1977)
    Springer
    Details
    Publication Date: 1977-12-01
    Print ISSN: 0010-485X
    Electronic ISSN: 1436-5057
    Topics: Computer Science
    Published by Springer
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    PAPER CURRENT
  • 6
    facet.materialart.
    Unknown
    A practical magnetic bearing (1977)
    In:  Other Sources
    Details
    Publication Date: 2011-08-17
    Description: A small compact magnetic bearing design developed and tested features a bearing capable of supporting over ten times its own weight, dimensioned 8 cm diam by 3.75 cm, with rare-earth cobalt magnets. Only 1% of the device payload figures as part of the magnetic suspension. The design is servoed in two axes and exhibits inherent stability in three more degrees of freedom, with full rotational freedom in the desired axis. Capacitive radial gap sensing allows stiff servoing of the rotation axis. Differential sensing and EM control linearize control functions. Low power drain, simple fabrication and assembly, and larger clearances than in air bearings or ball bearings are reported
    Keywords: MECHANICAL ENGINEERING
    Format: text
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    NASA TECHNICAL REPORTS
  • 7
    facet.materialart.
    Unknown
    Flywheel energy storage. II - Magnetically suspended superflywheel (1977)
    In:  Other Sources
    Details
    Publication Date: 2011-08-17
    Description: This article, the second of a two part paper, describes the general design requirements for a flywheel energy storage system. A new superflywheel energy storage system, using a spokeless, magnetically suspended, composite material pierced disk rotor is proposed. The new system is configured around a permanent magnet ('flux biased') magnetic suspension system with active control in the radial direction and passive control in the axial direction. The storage ring is used as a moving rotor and electronic commutation of stationary armature coils is proposed. There is no mechanical contact with the rotating ring and long life and low run down losses are projected. A discussion of major components for a 10 kwh system is presented.
    Keywords: ENERGY PRODUCTION AND CONVERSION
    Type: International Journal of Mechanical Sciences; 19; 4, 19; 1977
    Format: text
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    NASA TECHNICAL REPORTS
  • 8
    facet.materialart.
    Unknown
    Capacitive connectors for digital-data lines (1977)
    In:  Other Sources
    Details
    Publication Date: 2019-06-28
    Description: Proposed connector consisting of twin metal films separated by thin layers of insulating material transmits digital pulses capacitively. There is no direct contact between metal films; therefore, there is no ohmic contact drop and no wear when connections are changed. Since metal films are sealed in insulating material, there is no corrosion from exposure to atmosphere.
    Keywords: ELECTRONIC COMPONENTS AND CIRCUITS
    Type: GSC-12238 , NASA Tech Briefs (ISSN 0145-319X); 2; 2; P. 3
    Format: text
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    NASA TECHNICAL REPORTS
  • 9
    facet.materialart.
    Unknown
    Low-loss energy storage flywheel (1977)
    In:  Other Sources
    Details
    Publication Date: 2019-06-28
    Description: Magnetically-levitated, ironless-armature spokeless rotor is used. Ironless armature construction eliminates core losses due to hysteresis and eddy currents. Device combines features of homopolar salient poles and stationary ironless electronically commutated armature.
    Keywords: MACHINERY
    Type: GSC-12030 , NASA Tech Briefs (ISSN 0145-319X); 2; 1; P. 3
    Format: text
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    NASA TECHNICAL REPORTS
  • 10
    facet.materialart.
    Unknown
    Three phase full wave dc motor decoder (1977)
    In:  CASI
    Details
    Publication Date: 2019-06-27
    Description: A three phase decoder for dc motors is disclosed which employs an extremely simple six transistor circuit to derive six properly phased output signals for fullwave operation of dc motors. Six decoding transistors are coupled at their base-emitter junctions across a resistor network arranged in a delta configuration. Each point of the delta configuration is coupled to one of three position sensors which sense the rotational position of the motor. A second embodiment of the invention is disclosed in which photo-optical isolators are used in place of the decoding transistors.
    Keywords: ELECTRONICS AND ELECTRICAL ENGINEERING
    Format: application/pdf
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    NASA TECHNICAL REPORTS
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...