Struktur, Funktion und Verhalten dynamischer Modelle der Systembiologie: formale Wissensrepräsentation als Grundlage für computergestützte Modellierung und Simulation

Das Verstehen komplexer biologischer Phänomene auf der Basis dynamischer Modelle ist ohne Computerunterstützung nicht möglich. Seit mehr als einem Jahrzehnt werden enorme Anstrengungen unternommen, eine Softwareinfrastruktur für die systembiologische Modellierung und Simulation zu entwickeln. Die vorliegende Arbeit bietet den dafür notwendigen Standards, formalen Sprachen, Ontologien und auf diesen operierenden Programmen ein wissenschaftstheoretisches Fundament in Gestalt der sogenannten Wissensfacetten von Bio-Modellen. Die Wissensfacetten von Bio-Modellen stellen ein konzeptuelles Schema zur systematischen Beschreibung von Bio-Modellen, ihrer Verwendung und ihres Verhaltens dar. Dabei muss eine vollständige Beschreibung eines Bio-Modells seine Struktur, seine Funktion und sein Verhalten umfassen und seine intrinsische formale Semantik mit der extrinsischen biologischen Wirklichkeit in Beziehung setzen. Die formale Repräsentation der Wissensfacetten von Bio-Modellen bietet eine Grundlage für eine umfassende Computerunterstützung der Modellierung und Simulation in der Systembiologie. Geleitet durch die Wissensfacetten werden existierende Ansätze für die formale Repräsentation relevanter Wissensfragmente eingeordnet und bewertet sowie Defizite an Beschreibungsmitteln identifiziert. Ein großes Defizit liegt im Fehlen formalsprachlicher Mittel zur qualitativen Beschreibung des Verhaltens von Bio-Modellen. Im Rahmen dieser Arbeit wurde die Ontologie TEDDY entwickelt, auf deren Grundlage sich das Verhalten von Bio-Modellen propositional formalisieren lässt. TEDDY stellt eine formale begriffliche Basis der Theorie dynamischer Systeme dar. Die drei Hauptresultate der vorliegenden Arbeit sind eingebettet in grundsätzliche Betrachtungen zur Modellierung und Simulation in der Systembiologie und basieren auf allgemeinen Begriffen und Verfahren der Wissensrepräsentation sowie speziellen Methoden der qualitativen Beschreibung von Dynamik

Entwicklung einer semantischen Missionssteuerung für autonome Inspektionsroboter

Ziel dieser Arbeit ist die Entwicklung einer semantischen Missionssteuerung für autonome Inspektionsroboter, welche es ermöglicht, den Regelkreis bestehend aus Inspektionsplanung, Planausführung, Inspektionsdatenauswertung, Bewertung der Datenauswertungsergebnisse, Entscheidungsfindung und Neuplanung an Bord des Roboters zu schließen

Modelbased accounting and charging systems for digital products in the e-learning

In der Arbeit wurde ein Konzept entwickelt, das eine modellbasierte Betrachtung des Pricings digitaler Produkte ermöglicht

Vernetzt planen und produzieren VPP 2006 : Tagungsband Chemnitz 14. und 15. September 2006: Vernetzt planen und produzieren VPP 2006 : Tagungsband Chemnitz14. und 15. September 2006

Vor dem Hintergrund sich immer schneller und stärker wandelnder Marktbedingungen gelten Netzwerke als die Unternehmensform des 21. Jahrhunderts. Sie erlauben insbesondere kleinen und mittelständischen Unternehmen die Erhaltung und Erhöhung ihrer Wettbewerbsfähigkeit durch gezielte Kooperation und Bündelung ihrer Kompetenzen. Unternehmen benötigen dafür entsprechende Methoden und Instrumentarien. Diese stehen neben Theorien und Modellen im Mittelpunkt der wissenschaftlichen Arbeiten des Sonderforschungsbereiches (SFB) 457 „Hierarchielose regionale Produktionsnetze“ an der Technischen Universität Chemnitz. Zum nunmehr fünften Male findet am 14. und 15. September 2006 die Fachtagung „Vernetzt planen und produzieren – VPP 2006“ statt. Es werden auch in diesem Jahr die aktuellen Ergebnisse des SFB 457, weiterer nationaler und internationaler Forschungsarbeiten und -projekte auf dem Gebiet der Netzwerkforschung sowie Erkenntnisse und Erfahrungen der praktischen Umsetzung durch die Industrie von Wissenschaftlern und Praktikern vorgestellt und diskutiert. Als Referenten der Plenarveranstaltung werden Herr Prof. Kuhn von der Universität Dortmund, Herr Prof. Westkämper von der Universität Stuttgart, Herr Prof. Herzog von der Universität Bremen, Herr Prof. Nyhuis von der Universität Hannover und Herr Prof. Smirnov von der Russischen Akademie der Wissenschaften Sankt Petersburg in ihren Beiträgen verschiedene Aspekte von Netzwerken thematisieren. Neben den schon traditionellen Workshops zu verschiedenen Themenbereichen des Bildens und Betreibens von Netzwerken wird in diesem Jahr ein zusätzlicher Workshop zum Thema „Netzwerke und Cluster in der brasilianisch-deutschen Zusammenarbeit“ stattfinden. Dieser ist Teil des Besuches einer Delegation aus Vertretern der Regierung und Wirtschaft des brasilianischen Bundesstaates Bahia, die gemeinsam mit Vertretern des Bundesministeriums für Bildung und Forschung sowie des Sächsischen Ministeriums für Wirtschaft und Arbeit an der Tagung teilnehmen werden, um neue Kontakte zu schließen und weitere Kooperationsvorhaben zu initiieren. Die Tagung „Vernetzt planen und produzieren – VPP 2006“ ist gleichzeitig Abschlusskolloquium des SFB 457, welcher nach sieben Jahren intensiver und erfolgreicher Netzforschung dieses Jahr endet. Maßgeblichen Anteil am SFB 457 hatten die ehemaligen Sprecher Prof. Siegfried Wirth und Prof. Hartmut Enderlein

Multikonferenz Wirtschaftsinformatik (MKWI) 2016: Technische Universität Ilmenau, 09. - 11. März 2016; Band II

Übersicht der Teilkonferenzen Band II • eHealth as a Service – Innovationen für Prävention, Versorgung und Forschung • Einsatz von Unternehmenssoftware in der Lehre • Energieinformatik, Erneuerbare Energien und Neue Mobilität • Hedonische Informationssysteme • IKT-gestütztes betriebliches Umwelt- und Nachhaltigkeitsmanagement • Informationssysteme in der Finanzwirtschaft • IT- und Software-Produktmanagement in Internet-of-Things-basierten Infrastrukturen • IT-Beratung im Kontext digitaler Transformation • IT-Sicherheit für Kritische Infrastrukturen • Modellierung betrieblicher Informationssysteme – Konzeptuelle Modelle im Zeitalter der digitalisierten Wirtschaft (d!conomy) • Prescriptive Analytics in I