By Topic

IEEE Potentials

Issue 4 • Dec. 1992

Filter Results

Displaying Results 1 - 6 of 6
  • Automated reasoning

    Publication Year: 1992, Page(s):10 - 12
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (628 KB)

    Automatic reasoning, which is the attempt to prove statements with a computer, is discussed. Applications to mathematical theorem proving, diagnosis from first principles, logic circuit design and validation, and program verification and validation are described.<> View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Knowledge, data, and models

    Publication Year: 1992, Page(s):13 - 17
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1410 KB)

    The object-oriented approach to integrating knowledge data, and models is examined. Under the object-oriented paradigm, everything is an object, which is itself an encapsulation of data and methods to manipulate and access the data within the object. Thus knowledge, data, and models can be defined as special kinds of objects. Active knowledge/data language (KDL), a functional object-oriented datab... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Simulating societal systems

    Publication Year: 1992, Page(s):18 - 21
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1108 KB)

    Modeling of societal systems and the advantages and limitations of doing so are examined. The simulation of demographic-economic systems is considered. The application of societal simulation methods to determining whether education can decrease the risk of AIDS is discussed.<> View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Inflatable space structures

    Publication Year: 1992, Page(s):29 - 32
    Cited by:  Papers (9)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (818 KB)

    The importance of inflatable structures for activities in space is discussed, and their history is described. The changes in structural principles when such structures are used in a zero-gravity environment are highlighted. Technical issues arising for large precision structures, regarding environment, surface accuracy, analysis and electrical properties are considered. A typical large inflatable ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Optical computing

    Publication Year: 1992, Page(s):33 - 36
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (950 KB)

    An overview of optical computing is given, covering optical disks and holographic memories; bistable switches and spatial light modulators; binary digital logic and applications to image processing and matrix-vector multiplication. The future of optical computing is considered.<> View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Photonic switching

    Publication Year: 1992, Page(s):38 - 40
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (722 KB)

    Early landmarks in the development of optical communication are briefly reviewed, and the types of device used namely, relational and logic devices, are examined. Three kinds of optical switching networks in which they can be used are described. They are optical space-division switches, optical time-division switches and optical wavelength (frequency)-division switches.<> View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.

Aims & Scope

IEEE Potentials is the magazine dedicated to undergraduate and graduate students and young professionals.

Full Aims & Scope

Meet Our Editors

Editor-in-Chief
Sachin Seth
Texas Instruments
sachin3006@gmail.com