Refine
Year of publication
Document Type
- Doctoral Thesis (84)
- Article (18)
- Conference Proceeding (17)
- Preprint (17)
- Report (9)
- Habilitation (3)
- Other (2)
- Bachelor Thesis (1)
- Course Material (1)
Has Fulltext
- yes (152)
Is part of the Bibliography
- no (152)
Keywords
- Mobilfunk (12)
- Model checking (7)
- Ambient Intelligence (5)
- Netzwerk (5)
- mobile radio (5)
- MIMO (4)
- System-on-Chip (4)
- CDMA (3)
- Cache (3)
- DRAM (3)
- Elektrotechnik (3)
- Networked Automation Systems (3)
- Niederspannungsnetz (3)
- OFDM (3)
- Regelung (3)
- Response-Zeit (3)
- SRAM (3)
- Smart Grid (3)
- Szenario (3)
- Verifikation (3)
- probabilistic model checking (3)
- wahrscheinlichkeitsbasierte Modellverifikation (3)
- Automatisierungssystem (2)
- Bounded Model Checking (2)
- Chisel (2)
- Elektromobilität (2)
- Empfangssignalverarbeitung (2)
- Empfängerorientierung (2)
- FPGA (2)
- Field-programmable gate array (FPGA) (2)
- Formale Beschreibungstechnik (2)
- Formale Methode (2)
- Hardware (2)
- Hardwareverifikation (2)
- Interferenz (2)
- Joint Transmission (2)
- MIMO-Antennen (2)
- Networked Control Systems (2)
- Netzbasierte Automatisierungssysteme (2)
- Netzzustandsschätzung (2)
- Niederspannung (2)
- PIM (2)
- Self-X (2)
- Sendesignalverarbeitung (2)
- Sendesignalvorverarbeitung (2)
- Simulation (2)
- Smart Meter (2)
- Synchronisation zyklischer Prozesse (2)
- TD-CDMA (2)
- Zedboard (2)
- Zellulares Mobilfunksystem (2)
- Zynq (2)
- air interface (2)
- beyond 3G (2)
- distributed control systems (2)
- impedance spectroscopy (2)
- mobile radio systems (2)
- receiver orientation (2)
- synchronization of cyclic processes (2)
- thermisches Gebäudeverhalten (2)
- verification (2)
- verteilte Steuerungen (2)
- A/D conversion (1)
- ADAS (1)
- ADAU 1761 (1)
- AFDX (1)
- ARM Processor (1)
- AXI4-Stream (1)
- Adaptive Antennen (1)
- Adaptive Entzerrung (1)
- AmICA (1)
- Arithmetic data-path (1)
- Arithmetik (1)
- Audio (1)
- Automatisierungstechnik (1)
- Backlog (1)
- Basisband (1)
- Batteriemanagement (1)
- Batterien (1)
- Betriebsmittel (1)
- Bilanzierung (1)
- Bildverarbeitung (1)
- Bitvektor (1)
- Boolean networks (1)
- Bootstrapping (1)
- Breitbandempfänger (1)
- Buffer (1)
- CAD (1)
- CAM (1)
- CMOS (1)
- CMOS-Schaltung (1)
- CPLD (1)
- Channel estimation (1)
- Clock and Data Recovery Circuits (1)
- Cloud Computing (1)
- Codierung (1)
- Computeralgebra (1)
- Computersimulation (1)
- Context Awareness (1)
- Control Design Styles (1)
- Data Spreading (1)
- Data path (1)
- Data retention voltage (DRV) (1)
- Data width converter (1)
- Datenbankanbindungen und Datenorganisation (1)
- Datenrückgewinnungsschaltungen (1)
- Datenspreizung (1)
- Demand Side Integration (1)
- DesLaNAS (1)
- Design Styles (1)
- Detektionsverfahren (1)
- Digitale integrierte Schaltung (1)
- Digitalmodulation (1)
- Direct Sampling Receiver (1)
- Direktantrieb (1)
- Distributed Hash Tables (1)
- Downlink (1)
- Downsizing/Upsizing (1)
- Drahtloses Sensorsystem (1)
- Duftstoffe (1)
- Dynamically reconfigurable analog circuits (1)
- E-Auto (1)
- EAG (1)
- EDA (1)
- Eigenschaftsprüfung (1)
- Eingebettetes System (1)
- Elektroautomobil (1)
- Elektrohydraulik (1)
- Embedded System (1)
- Embedded Systems (1)
- Emerging Memories (1)
- Energieerzeugung (1)
- Energieffizienz (1)
- Energieversorgungsnetz (1)
- Energiewende (1)
- Energy Efficiency (1)
- Entscheidungsproblem (1)
- Entwurfsautomation (1)
- Erdschluss (1)
- Erdschlussentfernung (1)
- Erfüllbarke (1)
- Erfüllbarkeitsproblem (1)
- Erreichbarkeit (1)
- Error Correction Codes (1)
- Error correcting coding (ECC) (1)
- Ersatzwertgenerierung (1)
- Ethernet (1)
- Evolutionärer Algorithmus (1)
- FFT (1)
- Fahrrad (1)
- Feature extraction (1)
- Fehler (1)
- Fehlerwiderstand (1)
- Fifth generation (5G) mobile networks (1)
- Financial Mathematics (1)
- Firmware (1)
- Flash Memories (1)
- Flexibilität (1)
- Formal Verification (1)
- Funkdienst (1)
- Funktionale Sicherheit (1)
- Gebäude (1)
- Gebäudetechnik (1)
- Gemeinsame Kanalschaetzung (1)
- Geräusch (1)
- Giga bit per second (1)
- Gleichzeitigkeit (1)
- Green Computing (1)
- Green-IT (1)
- Gröbner basis (1)
- HMC (1)
- Hamming code (1)
- Hand gestures (1)
- Hardware Description Langauge (HDL) (1)
- Hardware Description Language (HDL) (1)
- Hardware-in-the-loop (1)
- Hardware/Software co-verification (1)
- Haushalt (1)
- Heston Model (1)
- Hierarchische verteilte Architekturen (1)
- High-Performance Computing (HPC) (1)
- Hochleistungsrechnen (1)
- IEC 61508 (1)
- Identification (1)
- Informatik (1)
- Information Theory (1)
- Informationstheorie (1)
- Informationsübertragung (1)
- Interferenzklassifizierung (1)
- Interferenzreduktion (1)
- Interzellinterferenz (1)
- Investigation (1)
- Jitter (1)
- Kanalschätzung (1)
- Knowledge transfer (1)
- Koexistenz (1)
- Kommunikationstechnik (1)
- Konzentrationsmessung (1)
- Kraftwelligkeit (1)
- Kraftwelligkeitsausgleich (1)
- LV network (1)
- Large Synchronous Networks (1)
- Lastprofil (1)
- Layout (1)
- Leistungseffizienz (1)
- Leistungsflussregler (1)
- Linearmotor (1)
- Linux (1)
- Logic Design (1)
- Logiksynthese (1)
- Low Jitter (1)
- Low Power (1)
- Low Voltage (1)
- Low leakage (1)
- Low-Power (1)
- Luftschnittstellen (1)
- MIMO Systeme (1)
- Machine learning (1)
- Maschennetz (1)
- Measurement (1)
- Mehrbenutzer-Informationstheorie (1)
- Mehrtraegeruebertragungsverfahren (1)
- Memristor (1)
- Memristors (1)
- Mobile Telekommunikation (1)
- Mobilfunksysteme (1)
- Modelica (1)
- Modellbasierte Fehlerdiagnose (1)
- Modellgenerierung (1)
- Modulationsübertragungsfunktion (1)
- Multi-user information theory (1)
- Multicore Resource Management (1)
- Multicore Scheduling (1)
- Nachbarkanalinterferenz (1)
- Near Memory Computation (1)
- Network (1)
- Network inference (1)
- Netzbasierte Automatisierungssysteme (NAS) (1)
- Netzkonzept (1)
- Netzplanung (1)
- Netzregler (1)
- Netztopologie (1)
- Neural ADC (1)
- Node Platform Design (1)
- Noise control (1)
- OFDM mobile radio systems (1)
- OFDM-Mobilfunksysteme (1)
- Oberschwingung (1)
- Operationen (1)
- Optische Abbildung (1)
- PDD (1)
- PSPICE (1)
- PTA (1)
- PV-Anlage (1)
- Partikel-Schwarm-Optimierung (1)
- Permutationsäquivalenz (1)
- Petri nets (1)
- Phasenwechselmaterial (1)
- Pheromone (1)
- Photonische Kristalle (1)
- Photovoltaik (1)
- Photovoltaikanlage (1)
- Planungsgrundsätze (1)
- Plug and Play (1)
- Potenzial (1)
- Power Efficiency (1)
- Precoding (1)
- Prior knowledge (1)
- Processing-in-Memory (1)
- Processors (1)
- Produktion (1)
- Programmverifikation (1)
- Property checking (1)
- Property-Driven Design (1)
- Protocol Compliance (1)
- Psychoakustik (1)
- QoS (1)
- RTL (1)
- Reachability (1)
- Real-Time (1)
- Real-Time Systems (1)
- Regelkennlinie (1)
- Regularität (1)
- Reverse Engineering (1)
- SDR (1)
- SECDED (1)
- STT-MRAM (1)
- Schaltwerk (1)
- Scheduler (1)
- Signalverarbeitung (1)
- Smart Memory Cube (1)
- Smart-Grid (1)
- Smart-Meter (1)
- Software Defined Radio (1)
- Software-Defined Radio (1)
- Softwarewiederverwendung (1)
- Spectrum Management System (1)
- Spectrum Sharing (1)
- Speech recognition (1)
- Speicher (1)
- Spektrumnutzungsregeln (1)
- Spiking Neural ADC (1)
- Spin Orbit Torque Memory (1)
- State Estimation (1)
- Sternpunkterdung (1)
- Stochastischer Automat (1)
- Storage Class Memories (1)
- Streaming (1)
- Supercomputer (1)
- Symbolic execution (1)
- Symmetrie (1)
- Symmetriebrechung (1)
- Synchronnetze (1)
- Systementwurf (1)
- TTEthernet (1)
- Taktrückgewinnungsschaltungen (1)
- Telekommunikation (1)
- Texturanalyse (1)
- Time series data (1)
- Time-Triggered (1)
- ToF (1)
- Topologie (1)
- Topologiefehler (1)
- Training (1)
- Transaktionen (1)
- Transparente Wärmedämmung (1)
- UMTS (1)
- UTRA (1)
- Unterdrückung (1)
- Upper bound (1)
- VHDL (1)
- VMEbus (1)
- Verdeckung (1)
- Verification (1)
- Versorgungsaufgabe (1)
- Verteilnetz (1)
- Vorschubantrieb (1)
- Vorverarbeitung (1)
- WCET (1)
- Wideband (1)
- Wireless Communication (1)
- Wireless Sensor Network (1)
- Wireless sensor network (1)
- Wärmepumpe (1)
- Zahnspulenwicklung (1)
- Zeitsynchronisierung (1)
- Zellularer Ansatz (1)
- Zugesicherte Eigenschaft (1)
- Zugriffskonflikte (1)
- access conflict (1)
- adaptive Antennen (1)
- adaptive antennas (1)
- analysis (1)
- asynchronous circuits (1)
- autonomous networking (1)
- batteries (1)
- battery management (1)
- beam refocusing (1)
- benchmark (1)
- binary analysis (1)
- biosensors (1)
- bitvector (1)
- bounded model checking (1)
- building (1)
- bus controller (1)
- carrier-grade point-to-point radio networks (1)
- classification of interference (1)
- code coverage analysis (1)
- coexistence (1)
- cogging (1)
- coherent power gain (1)
- context awareness (1)
- context management (1)
- context-aware topology control (1)
- coordinated backhaul networks in rural areas (1)
- coverage (1)
- crossphase modulation (1)
- depth sensing (1)
- design automation (1)
- digital integrated circuit (1)
- digital signal processing (1)
- distribution system (1)
- driver status and intention prediction (1)
- drowsiness detection (1)
- dynamic calibration (1)
- electro-hydraulic systems (1)
- engineering (1)
- erdschlusskompensiertes Netz (1)
- fault-tolerant control (1)
- fehlertolerante Regelung (1)
- formal (1)
- formal description technique (1)
- formal method (1)
- fourier transformation (1)
- front end (1)
- functional safety (1)
- fuzzy Q-learning (1)
- fuzzy logic (1)
- generic self-x sensor systems (1)
- generic sensor interface (1)
- half-selected cell (1)
- handover optimzaiion (1)
- hardware (1)
- hardware verification (1)
- heterogeneous access management (1)
- iMSys (1)
- imaging (1)
- ion-sensitive field-effect transistor (1)
- jenseits der dritten Generation (1)
- joint channel estimation (1)
- jump table analysis (1)
- layout (1)
- linear motor (1)
- logic synthesis (1)
- loss of information (1)
- low voltage grid (1)
- machine code analysis (1)
- measurement (1)
- mehreren Uebertragungszweigen (1)
- mobility robustness optimization (1)
- model generation (1)
- model-based fault diagnosis (1)
- multi-carrier (1)
- multi-core processors (1)
- multi-domain modeling and evaluation methodology (1)
- multi-user (1)
- multi-user detection (1)
- multiuser detection (1)
- multiuser transmission (1)
- negative bit line (1)
- negative refraction (1)
- non-conventional (1)
- operations (1)
- optical code multiplex (1)
- other-channel interference (1)
- photonic crystals (1)
- photonic crystals filter (1)
- power (1)
- preprocessing (1)
- preventive maintenance (1)
- probabilistic modeling (1)
- probabilistic timed automata (1)
- probability of dangerous failure on demand (1)
- probe pruning (1)
- processing gain (1)
- property checking (1)
- property cheking (1)
- prädiktive Regelung (1)
- read assist (1)
- readout system (1)
- real-tiem (1)
- real-time scheduling (1)
- real-time systems (1)
- received signal processing (1)
- regelbarer Ortsnetztransformator (1)
- regularity (1)
- reinforcement learning (1)
- reverse (1)
- safety-related systems (1)
- satisfiability (1)
- self calibration (1)
- self-optimizing networks (1)
- sensor fusion (1)
- sequential circuit (1)
- service area (1)
- silicon nanowire (1)
- simulation (1)
- software (1)
- software reuse (1)
- solares Bauen (1)
- static instrumentation (1)
- sternpunktisoliertes Netz (1)
- symmetry (1)
- target sensitivity (1)
- technology mapping (1)
- test feeder (1)
- thermisch (1)
- time utility functions (1)
- timeliness (1)
- tooth-coil (1)
- trade-off (1)
- transactions (1)
- trasmit signal processing (1)
- vermaschtes Netz (1)
- wavelength multiplex (1)
- windowing (1)
- wireless communications system (1)
- wireless networks (1)
- wireless sensor network (1)
- wordline underdrive (1)
- write assist (1)
- write margin (1)
- yield (1)
- Überdeckung (1)
Faculty / Organisational entity
- Fachbereich Elektrotechnik und Informationstechnik (152) (remove)
To continue reducing voltage in scaled technologies, both circuit and architecture-level resiliency techniques are needed to tolerate process-induced defects, variation, and aging in SRAM cells. Many different resiliency schemes have been proposed and evaluated, but most prior results focus on voltage reduction instead of energy reduction. At the circuit level, device cell architectures and assist techniques have been shown to lower Vmin for SRAM, while at the architecture level, redundancy and cache disable techniques have been used to improve resiliency at low voltages. This paper presents a unified study of error tolerance for both circuit and architecture techniques and estimates their area and energy overheads. Optimal techniques are selected by evaluating both the error-correcting abilities at low supplies and the overheads of each technique in a 28nm. The results can be applied to many of the emerging memory technologies.
This paper aims to improve the traditional calibration method for reconfigurable self-X (self-calibration, self-healing, self-optimize, etc.) sensor interface readout circuit for industry 4.0. A cost-effective test stimulus is applied to the device under test, and the transient response of the system is analyzed to correlate the circuit's characteristics parameters. Due to complexity in the search and objective space of the smart sensory electronics, a novel experience replay particle swarm optimization (ERPSO) algorithm is being proposed and proved a better-searching capability than some currently well-known PSO algorithms. The newly proposed ERPSO expanded the selection producer of the classical PSO by introducing an experience replay buffer (ERB) intending to reduce the probability of trapping into the local minima. The ERB reflects the archive of previously visited global best particles, while its selection is based upon an adaptive epsilon greedy method in the velocity updating model. The performance of the proposed ERPSO algorithm is verified by using eight different popular benchmarking functions. Furthermore, an extrinsic evaluation of the ERPSO algorithm is also examined on a reconfigurable wide swing indirect current-feedback instrumentation amplifier (CFIA). For the later test, we proposed an efficient optimization procedure by using total harmonic distortion analyses of CFIA output to reduce the total number of measurements and save considerable optimization time and cost. The proposed optimization methodology is roughly 3 times faster than the classical optimization process. The circuit is implemented by using Cadence design tools and CMOS 0.35 µm technology from Austria Microsystems (AMS). The efficiency and robustness are the key features of the proposed methodology toward implementing reliable sensory electronic systems for industry 4.0 applications.
Indoor positioning system (IPS) is becoming more and more popular in recent years in industrial, scientific and medical areas. The rapidly growing demand of accurate position information attracts much attention and effort in developing various kinds of positioning systems that are characterized by parameters like accuracy,robustness,
latency, cost, etc. These systems have been successfully used in many applications such as automation in manufacturing, patient tracking in hospital, action detection for human-machine interacting and so on.
The different performance requirements in various applications lead to existence of greatly diverse technologies, which can be categorized into two groups: inertial positioning(involving momentum sensors embedded on the object device to be located) and external sensing (geometry estimation based on signal measurement). In positioning
systems based on external sensing, the input signal used for locating refers to many sources, such as visual or infrared signal in optical methods, sound or ultra-sound in acoustic methods and radio frequency based methods. This dissertation gives a recapitulative survey of a number of existence popular solutions for indoor positioning systems. Basic principles of individual technologies are demonstrated and discussed. By comparing the performances like accuracy, robustness, cost, etc., a comprehensive review of the properties of each technologies is presented, which concludes a guidance for designing a location sensing systems for indoor applications. This thesis will lately focus on presenting the development of a high precision IPS
prototype system based on RF signal from the concept aspect to the implementation up to evaluation. Developing phases related to this work include positioning scenario, involved technologies, hardware development, algorithms development, firmware generation, prototype evaluation, etc.. The developed prototype is a narrow band RF system, and it is suitable for a flexible frequency selection in UHF (300MHz3GHz) and SHF (3GHz30GHz) bands, enabling this technology to meet broad service preferences. The fundamental of the proposed system classified itself as a hyperbolic position fix system, which estimates a location by solving non-linear equations derived from time difference of arrival (TDoA) measurements. As the positioning accuracy largely depends on the temporal resolution of the signal acquisition, a dedicated RF front-end system is developed to achieve a time resolution in range of multiple picoseconds down to less than 1 pico second. On the algorithms aspect, two processing units: TDoA estimator and the Hyperbolic equations solver construct the digital signal processing system. In order to implement a real-time positioning system, the processing system is implemented on a FPGA platform. Corresponding firmware is generated from the algorithms modeled in MATLAB/Simulink, using the high level synthesis (HLS) tool HDL Coder. The prototype system is evaluated and an accuracy of better than 1 cm is achieved. A better performance is potential feasible by manipulating some of the controlling conditions such as ADC sampling rate, ADC resolution, interpolation process, higher frequency, more stable antenna, etc. Although the proposed system is initially dedicated to indoor applications, it could also be a competitive candidate for an outdoor positioning service.
Entwicklung eines Verfahrens zur dreiphasigen Zustandsschätzung in vermaschten Niederspannungsnetzen
(2018)
Betreiber von Niederspannungsnetzen sind im Zuge der Energiewende durch den anhaltenden Ausbau dezentraler Erzeugungsanlagen und dem Aufkommen der Elektromobilität mit steigenden Netzauslastungen konfrontiert. Zukünftig wird ein sicherer Netzbetrieb ohne Leitungsüberlastungen grundsätzlich nur gewährleistet sein, wenn der Netzzustand durch geeignete Systeme ermittelt wird und auf dessen Basis ein intelligentes Netzmanagement mit regelnden Eingriffen erfolgt.
Diese Arbeit befasst sich mit der Entwicklung und dem Test eines Verfahrens zur dreiphasigen Zustandsschätzung in vermaschten Niederspannungsnetzen. Als Eingangsdaten dienen dabei Spannungs- und Strommesswerte, welche im Wesentlichen durch Smart Meter an Hausanschlusspunkten messtechnisch erfasst werden. Das Verfahren zielt darauf ab, Grenzwertverletzungen mit einer hohen Wahrscheinlichkeit zu erkennen.
Schwerpunkte der Betrachtung sind neben der Systemkonzeptionierung zum einen die Vorverarbeitung der Systemeingangsdaten im Rahmen der Generierung von Ersatzmesswerten sowie der Erkennung von Topologiefehlern und zum anderem die Entwicklung eines Schätzalgorithmus mit linearem Messmodell und der Möglichkeit zur Lokalisierung grob falscher Messdaten.
The objective of this thesis consists in developing systematic event-triggered control designs for specified event generators, which is an important alternative to the traditional periodic sampling control. Sporadic sampling inherently arising in event-triggered control is determined by the event-triggering conditions. This feature invokes the desire of
finding new control theory as the traditional sampled-data theory in computer control.
Developing controller coupling with the applied event-triggering condition to maximize the control performance is the essence for event-triggered control design. In the design the stability of the control system needs to be ensured with the first priority. Concerning variant control aims they should be clearly incorporated in the design procedures. Considering applications in embedded control systems efficient implementation requires a low complexity of embedded software architectures. The thesis targets at offering such a design to further complete the theory of event-triggered control designs.
An interrupter for use in a daisy-chained VME bus interrupt system has beendesigned and implemented as an asynchronous sequential circuit. The concur-rency of the processes posed a design problem that was solved by means of asystematic design procedure that uses Petri nets for specifying system and in-terrupter behaviour, and for deriving a primitive flow table. Classical designand additional measures to cope with non-fundamental mode operation yieldeda coded state-machine representation. This was implemented on a GAL 22V10,chosen for its hazard-preventing structure and for rapid prototyping in studentlaboratories.
Wireless sensor networks are the driving force behind many popular and interdisciplinary research areas, such as environmental monitoring, building automation, healthcare and assisted living applications. Requirements like compactness, high integration of sensors, flexibility, and power efficiency are often very different and cannot be fulfilled by state-of-the-art node platforms at once. In this paper, we present and analyze AmICA: a flexible, compact, easy-to-program, and low-power node platform. Developed from scratch and including a node, a basic communication protocol, and a debugging toolkit, it assists in an user-friendly rapid application development. The general purpose nature of AmICA was evaluated in two practical applications with diametric requirements. Our analysis shows that AmICA nodes are 67% smaller than BTnodes, have five times more sensors than Mica2Dot and consume 72% less energy than the state-of-the-art TelosB mote in sleep mode.
Programs are linguistic structures which contain identifications of individuals: memory locations, data types, classes, objects, relations, functions etc. must be identified selectively or definingly. The first part of the essay which deals with identification by showing and designating is rather short, whereas the remaining part dealing with paraphrasing is rather long. The reason is that for an identification by showing or designating no linguistic compositions are needed, in contrast to the case of identification by paraphrasing. The different types of functional paraphrasing are covered here in great detail because the concept of functional paraphrasing is the foundation of functional programming. The author had to decide whether to cover this subject here or in his essay Purpose versus Form of Programs where the concept of functional programming is presented. Finally, the author came to the conclusion that this essay on identification is the more appropriate place.
In system theory, state is a key concept. Here, the word state refers to condition, as in the example Since he went into the hospital, his state of health worsened daily. This colloquial meaning was the starting point for defining the concept of state in system theory. System theory describes the relationship between input X and output Y, that is, between influence and reaction. In system theory, a system is something that shows an observable behavior that may be influenced. Therefore, apart from the system, there must be something else influencing and observing the reaction of the system. This is called the environment of the system.
In diesem Aufsatz geht es um eine Klassifikation von Programmen nach zwei orthogonalen Kriterien.Programm und Software werden dabei nicht als Synonyme angesehen; Programm sein wird hiergleichgesetzt mit ausführbar sein, d.h. etwas ist dann und nur dann ein Programm, wenn man die Fragebeantworten kann, was es denn heißen solle, dieses Etwas werde ausgeführt. Es gibt durchaus Softwa-regebilde, bezüglich derer diese Frage keinen Sinn hat und die demzufolge auch keine Programme sind - beispielsweise eine Funktions - oder eine Klassenbibliothek.Klassifikation ist von Nutzen, wenn sie Vielfalt überschaubarer macht - die Vielfalt der Schüler einergroßen Schule wird überschaubarer, wenn die Schüler "klassifiziert" sind, d.h. wenn sie in ihren Klas-senzimmern sitzen. Die im folgenden vorgestellte Klassifikation soll die Vielfalt von Programmenüberschaubarer machen.
Bei der Programmierung geht es in vielfältiger Form um Identifikation von Individuen: Speicherorte,Datentypen, Werte, Klassen, Objekte, Funktionen u.ä. müssen definierend oder selektierend identifiziert werden.Die Ausführungen zur Identifikation durch Zeigen oder Nennen sind verhältnismäßig kurz gehalten,wogegen der Identifikation durch Umschreiben sehr viel Raum gewidmet ist. Dies hat seinen Grunddarin, daß man zum Zeigen oder Nennen keine strukturierten Sprachformen benötigt, wohl aber zumUmschreiben. Daß die Betrachtungen der unterschiedlichen Formen funktionaler Umschreibungen soausführlich gehalten sind, geschah im Hinblick auf ihre Bedeutung für die Begriffswelt der funktionalen Programmierung. Man hätte zwar die Formen funktionaler Umschreibungen auch im Mosaikstein "Programmzweck versus Programmform" im Kontext des dort dargestellten Konzepts funktionaler Programme behandeln können, aber der Autor meint, daß der vorliegende Aufsatz der angemessenerePlatz dafür sei.
Formalismen und Anschauung
(1999)
In der Philosophie ist es selbstverständlich, daß Autoren, die Erkenntnisse früherer Philosophen weitergeben oder kommentieren, die Originalliteratur kennen und sich in ihrer Argumentation explizit auf bestimmte Stellen in den Originaldarstellungen beziehen. In der Technik dagegen ist es allgemein akzeptierte Praxis, daß Autoren von Lehrbüchern, in denen Erkenntnisse früherer Forscher dargestellt oder kommentiert werden, nicht die Originaldarstellungen zugrunde legen, sondern sich mit den Darstellungen in der Sekundärliteratur begnügen. Man denke an die Erkenntnisse von Boole oder Maxwell, die in sehr vielen Lehrbüchern der Digitaltechnik bzw. der theoretischen Elektrotechnik vermittelt werden, ohne daß die Autoren dieser Lehrbücher auf die Originalschriften von Boole oder Maxwell Bezug nehmen. Dagegen wird man wohl kaum ein Buch über Erkenntnisse von Aristoteles oder Kant finden, dessen Autor sich nicht explizit auf bestimmte Stellen in den Schriften dieser Philosophen bezieht.
Die systemtheoretische Begründung für die Einführung des Zustandsbegriffs findet man im Mosaik-stein "Der Zustandsbegriff in der Systemtheorie". Während sich die dortige Betrachtung sowohl mitkontinuierlichen als auch mit diskreten Systemen befaßt, wird hier die Betrachtung auf diskrete Sy-steme beschränkt.
Umgangssprachlich wurde das Wort Daten schon gebraucht, lange bevor der Computer erfundenwurdeund die AbkürzungEDV für "Elektronische Datenverarbeitung" in die Alltagssprache gelangte.So sagte beispielsweise der Steuerberater zu seinem Klienten: "Bevor ich Ihre Steuererklärung fertigmachen kann, brauche ich von Ihnen noch ein paar Daten." Oder der Straßenbaureferent einer Stadtschrieb an den Oberbürgermeister: "Für die Entscheidung, welche der beiden in Frage stehenden Stra-ßen vorrangig ausgebaut werden soll, müssen wir noch eine Datenerhebung durchführen." Bei diesenDaten ging es zwar oft um Zahlen - Geldbeträge, Anzahl der Kinder, Anzahl der Beschäftigungsmo-nate, gezählte Autos - , aber eine Gleichsetzung von Daten mit Zahlen wäre falsch. Zum einen wärenZahlen ohne mitgelieferte Wörter wie Monatseinkommen, Kinderzahl u.ä. für den Steuerberater nutz-los, zum anderen will das Finanzamt u.a. auch den Arbeitgeber des Steuerpflichtigen wissen, und dazumuß eine Adresse angegeben werden, aber keine Zahl.
Für die Systemtheorie ist der Begriff Zustand ein sehr zentraler Begriff. Das Wort "Zustand" wird um-gangssprachlich recht häufig verwendet, aber wenn man die Leute fragen würde, was sie denn meinen,wenn sie das Wort Zustand benützen, dann würde man sicher nicht die präzise Definition bekommen,die man für die Systemtheorie braucht.