Refine
Year of publication
Document Type
- Conference Proceeding (131)
- Article (reviewed) (30)
- Article (unreviewed) (22)
- Patent (21)
- Letter to Editor (11)
- Contribution to a Periodical (5)
- Report (1)
Conference Type
- Konferenzartikel (57)
- Konferenz-Abstract (48)
- Sonstiges (17)
- Konferenz-Poster (7)
- Konferenzband (2)
Language
- English (148)
- German (71)
- Multiple languages (1)
- Spanish (1)
Has Fulltext
- no (221) (remove)
Is part of the Bibliography
- yes (221) (remove)
Keywords
- RoboCup (20)
- Herzkrankheit (6)
- CST (5)
- Elektronische Pille (5)
- HF-Ablation (5)
- Rohrleitung (5)
- Synchronisierung (5)
- CRT (4)
- E-Learning (4)
- Intelligentes Stromnetz (4)
Institute
- Fakultät Elektrotechnik und Informationstechnik (E+I) (bis 03/2019) (221) (remove)
Open Access
- Open Access (221) (remove)
Formal verification (FV) is considered by many to be complicated and to require considerable mathematical knowledge for successful application. We have developed a methodology in which we have added formal verification to the verification process without requiring any knowledge of formal verification languages. We use only finite-state machine notation, which is familiar and intuitive to designers. Another problem associated with formal verification is state-space explosion. If that occurs, no result is returned; our method switches to random simulation after one hour without results, and no effort is lost. We have compared FV against random simulation with respect to development time, and our results indicate that FV is at least as fast as random simulation. FV is superior in terms of verification quality, however, because it is exhaustive.
Die Erfindung betrifft eine mobile Vorrichtung zur Messung und Aufzeichnung von Temperaturzeitreihen, bei der die Temperatur in regelmäßigen, vorbestimmten Intervallen erfaßt wird und in einem Halbleiterspeicher abgelegt wird. Erfindungsgemäß werden alle erforderlichen Funktionen einschließlich des Sensors und des Speichers in einer integrierten Schaltung zusammengefügt, welche zusammen mit einer Batterie und einem zeitbestimmenden Element (Quarz) in Form einer Chip-Karte integriert werden. Die Chip-Karte kann erfindungsgemäß durch den Hersteller und den Anwender konfiguriert werden, wobei Daten über den Meßvorgang sowie die Meßintervalle auf der Karte gespeichert werden. Die Karte verfügt ferner erfindungsgemäß über mehrere Betriebszustände, wobei im Zustand "passiv" nahezu kein Strom verbraucht wird (Lagerung), im Zustand "aktiv" eine Meßwerterfassung stattfindet, im Zustand "ruhen" alle Funktionen bis auf eine Zeitgeberfunktion inaktiviert sind. Das Auslesen der Daten ist erfindungsgemäß über Paßworte in mehreren Zugangsebenen abgesichert, eine Manipulation wird ebenso verhindert. Die Anzahl der speicherbaren Meßwerte wird erfindungsgemäß durch ein digitales, blockorientiertes Kompressionsverfahren erhöht. Die Auswertung und Darstellung der Daten erfolgt erfindungsgemäß durch ein externes Datenverarbeitungssystem, wobei die Schnittstelle durch Formgebung und elektrische Ausführung kompatibel mit weitverbreiteten Standards ausgeführt ist.
Die Erfindung betrifft eine Anordnung zur Messung von Temperatur und Luftdruck sowie der Überwachung des Verschleißes von Fahrzeugreifen, wobei hierfür eine Drahtschleife in das Profil eingebettet wird, die bei verschlissenem Reifen unterbrochen wird, die Messung von Temperatur und Druck in einem sehr kleinen, in die Reifenwange einvulkanisierten elektronischen Transponder erfolgt (Bild 2), der die Meßwerte auf Anforderung des Tranceivers induktiv mit einem digitalen Trägerfrequenzverfahren über eine radial in der Reifenwange integrierte Flachspule auf einen am Fahrzeug montierten Transceiver überträgt. Der Transponder besteht erfindungsgemäß aus einem/wenigen Siliziumchips, auf denen Temperatursensor und mikromechanischer Drucksensor zusammen mit einem Mikroprozessor und zugehöriger Auswerte- und Übertragungselektronik integriert sind, sowie wenigen externen Komponenten, alle in einem Kunststoffgehäuse aus einem Material, das aus der gleichen Stoffgruppe kommt wie das Reifenmaterial oder mit diesem sich sehr innig verbinden läßt, zusammengefaßt. Die Kommunikation erfolgt erfindungsgemäß zwischen Transceiver und Transponder in geträgerter digitaler Form, wobei der Transceiver ein Kommando an den Transponder ausstrahlt, der dieses z. B. durch Durchführung der Messung, Kompensation- und Linearisierung der Meßwerte und Übertragung der Meßdaten und/oder weiterer im Transponder gespeicherter Daten beantwortet.
Lattice vibrations and electronic transitions in the rare-earth metals: Praseodymium under pressure
(2004)
Praseodymium was investigated by Raman spectroscopy under pressure. A negative pressure shift of the E2g mode is observed in the dhcp phase, which indicates that the initial structural sequence hcp→Sm−type→dhcp→fcc as a whole in the regular lanthanides is associated with a softening of this mode. The pressure response of the phonon modes, observed in the monoclinic and α-uranium phases, where 4f bonding becomes important, is characteristic for anisotropic bonding properties.
The iSign project started in 2000 as a web-based laboratory setting for students of electrical engineering. In the meantime it has broadened into a heterogeneous learning environment offering learning material, adaptive user settings and access to a simulation tool. All these offerings can be accessed via web and wireless by different clients, such as PCs, PDAs and mobile phones. User adaptive systems offer unique and personalised environment for every learner and therefore are a very important aspect of modern e-learning systems. The iSign project aims to personalise the content structure based on the learner's behaviour, content pattern, policies, and system environment. The second aspect of the recent research and development within this project is the generation of suitable content and presentation for different clients. This generation is based additionally on the user preferences in order to obtain the desirable presentation for a given device. New, valuable features are added to the mobile application, empowering the user not only to control the simulation process with his mobile device but also to input data, view the simulation's output and evaluate the results. Experiences with students have helped to improve functionality and look-and-feel whilst using the iSign system. Our goal is to provide unconstrained, continuous and personalised access to the laboratory settings and learning material everywhere and at anytime with different devices.
The Division Industrial Chemistry of the Swiss Chemical Society organizes periodically a two-day event for the post-graduate education of its members. This event is known as the Freiburger Symposium. This year it focussed on sustainable chemical production. The twelve talks covered the following aspects: ethical needs for sustainability standards, the required, attained, and yet to be attained sustainability goals in chemical industry. Diverse case studies showed the highly developed awareness about the sustainability issue within the chemical community.
A platform of an electronic capsule is being developed for multi-task medical assistant application. It includes a near field telemetry unit for bidirectional communication system of 115 KHz low carrier frequency for inductive data transmission suited for human body energy transfer. The system triggers an actuator for drug delivery in various time and release forms via wireless external control, it has the ability to record temperature, measure pH of the body (additional sensors), and retrieve data to the outside. It consists of a 32bit processor, memory, external peripheries, and detection facility. The complete system is designed to fit small-size mass medical application with low power consumption, size of 7x25mm. The system is designed, simulated and emulated on FPGA. A final layout of the complete chip design is still under progress.
Aktiver RFID-Sensor
(2008)
Das in Schramberg ansässige Unternehmen Schweizer Electronic, einer der großen europäischen Leiterplattenhersteller, hat sich ein neues Geschäftsfeld als Systemlieferant für mikroelektronische Geräte erschlossen. Gemeinsam mit dem Institut für Angewandte Forschung der Hochschule Offenburg und Siemens hat das Unternehmen einen Datenlogger mit einer ISO 15693 kompatiblen 13,56 MHz RFID-Luftschnittstelle zur Serienreife entwickelt. Die SEAGsens Temperaturmessgeräte aus der Vorserienproduktion haben die ersten Feldtests erfolgreich bestanden. Die Großserienproduktion wird noch in diesem Jahr anlaufen.
This paper shows the results of the evaluation of two sets of mobile web design guidelines concerning mobile learning. The first set of guidelines is concerned with the usage of text on mobile device screens. The second set is concerned with the usage of images on mobile devices. The evaluation is performed by eye tracking (objective) as well as questionnaires and interviews (subjective) respectively.
Die vorliegende Erfindung betrifft ein Verfahren zur Laufzeitmessung mittels Ultraschall, bei dem ein komplexes Sendesignal erzeugt wird, mit dem zumindest ein Ultraschallsender durch Aussenden eines Ultraschallpulses angesteuert wird. Mit zumindest einem Ultraschallempfänger wird der Ultraschallpuls nach Durchlaufen einer Übertragungsstrecke empfangen und in ein komplexes Empfangssignal gewandelt. Das komplexe Empfangssignal wird mit dem komplexen Sendesignal korreliert, um ein komplexes Korrelationssignal zu erhalten. Das Korrelationssignal wird nicht nur nach Betrag, sondern auch nach Phase ausgewertet, um eine Laufzeit des Ultraschalls auf der Übertragungsstrecke zu bestimmen. Auf diese Weise wird zum einen eine höhere Genauigkeit der Laufzeitmessung erreicht, zum anderen beeinflussen andere akustische Laufwege des Ultraschallpulses die Messgenauigkeit nicht, so dass nur geringe Anforderungen an die Qualität der akustischen Übertragungsstrecke gestellt werden müssen.
This paper describes the magmaOffenburg 3D simulation team trying to qualify for RoboCup 2009. It focuses on two distinctive features of the team: decisions making using extended behavior networks and its software architecture and implementation in Java to open the simulation for the Java community.
Innovative technologies and concepts will emerge as we move towards a more dynamic, service-based, market-driven infrastructure, where energy efficiency and savings can be facilitated by interactive distribution networks. A new generation of fully interactive Information and Communication Technologies (ICT) infrastructure has to be developed to support the optimal exploitation of the changing, complex business processes and to enable the efficient functioning of the deregulated energy market for the benefit of citizens and businesses. The architecture of such distributed system landscapes must be designed and validated, standards need to be created and widely supported, and comprehensive, reliable IT applications will need to be implemented. The collaboration between a smart house and a smart grid is a promising approach which, with the help of ICT can fully unleash the capabilities of the smart electricity network.
Vorrichtung und Verfahren zur optischen Messung der Entfernung eines Objekts (DE102007060966A1)
(2009)
Eine Vorrichtung zur optischen Messung der Entfernung eines Objekts weist eine Quelle zur Aussendung optischer Strahlung, die eine eine optische Strahlung transportierende Lichtleitfaser aufweist, ein optisches Element, welches die optische Strahlung fokussiert und auf das Objekt abbildet, und einen Empfänger auf, der die optische Strahlung empfängt und in ein elektrisches Signal zur Weitergabe an eine Steuereinrichtung umwandelt. Die Lichtleitfaser ist mittels einer Verschiebeeinrichtung relativ zu dem optischen Element verschieblich. Ein Abschnitt der Lichtleitfaser führt zu dem Empfänger und ist mittels einer Kopplungseinrichtung mit einem von der Quelle zur Aussendung optischer Strahlung ausgehenden Abschnitt der Lichtleitfaser zu einer einzigen, mittels der Verschiebeeinrichtung verschieblichen Lichtleitfaser gekoppelt.
The device (1) has a detection unit (38) that is provided for detecting two electromagnetic radiations that are radiated by a light source (10) after partial radiography of a medium with applied magnetic field (44). A determination unit (40) is provided for determining a phase relation between the two detected electromagnetic radiations. An evaluation unit (46) is provided for determining a concentration value of a magneto-optic substance in the medium on the basis of the determined phase relation. Independent claims are also included for the following: (1) a method for determining concentration value of a magneto-optic substance in a medium (2) a computer program product for performing a method for determining concentration value of a magneto-optic substance in a medium.
The developed solution enables the presentation of animations and 3D virtual reality (VR) on mobile devices and is well suited for mobile learning, thus creating new possibilities in the area of e-learning worldwide. Difficult relations in physics as well as intricate experiments in optics can be visualised on mobile devices without need for a personal computer.
The idea of this game is to use a flashcard system to create a short story in a foreign language. The story is developed by a group of people by exchanging sentences via a flashcard system. This way, people can learn from each other without fear of making mistakes because the group members are anonymous.
There are some existing Java benchmarks, application benchmarks as well as micro benchmarks or mixture both of them,such as: Java Grande, Spec98, CaffeMark, HBech, etc. But none of them deal with behaviors of multi tasks operating systems. As a result, the achieved outputs are not satisfied for performance evaluation engineers. Behaviors of multi tasks operating systems are based on a schedule management which is employed in these systems. Different processes can have different priority to share the same resources. The time is measured by estimating from applications started to it is finished does not reflect the real time value which the system need for running those programs. New approach to this problem should be done. Having said that, in this paper we present a new Java benchmark, named FHOJ benchmark, which directly deals with multi tasks behaviors of a system. Our study shows that in some cases, results from FHOJ benchmark are far more reliable in comparison with some existing Java benchmarks.