Systemunterstützte Modellierung, Planung und Durchführung komplexer Arbeitsprozesse

系统支持的复杂工作流程的建模、规划和实施

基本信息

项目摘要

Effektive Systemunterstützung bei der Konzeption, Planung und Durchführung komplexer Arbeits- und Organisationsprozesse ist für viele Anwendungsbereiche von entscheidender Bedeutung. Dazu zählen konventionelle Anwendungen in Industrie und Verwaltung ebenso wie neuartige im Bereich des `elektronischen Arbeitens' (E-work). Effektive Unterstützung erfordert über den gegenwärtigen Stand der Technik hinaus insbesondere eine erhöhte Autonomie, Robustheit und Flexibilität der Systeme. Das Gebiet des KI Planens stellt eine Technologie bereit, die prinzipiell geeignet ist, diese Anforderungen zu erfüllen. Das hier vorgestellte Vorhaben zielt auf die Lösung von Forschungsfragen ab, die sich aus der Anwendung dieser Technologie im Bereich realistischer Einsatz- und Arbeitsprozessplanung ergeben. Es befasst sich -sowohl konzeptionell/methodisch als auch implementierungstechnisch- mit den Aspekten Domänenmodellierung, Planung, Berücksichtigung von Ressourcen, Interaktion und Informationsakquisition. In diesem Kontext wird eine Software-Architektur entwickelt, die drei Komponenten umfasst: eine Modellierungsumgebung, ein Planungssystem und einen Monitor. Die Modellierungsumgebung ist ein Werkzeug zur Spezifikation und Verwaltung komplexer Domänenmodelle. Sie verfügt über einen grafikgestützten Editor zur Domänenmodellierung und eine Visualisierungskomponente zur Darstellung der erzeugten Pläne. Geeignete Kriterien und deren Überprüfungdurch entsprechende Systemkomponenten garantieren die Konsistenz derspezifizierten Modelle. Das Planungssystem folgt dem Paradigma der hierarchischen Dekomposition. Es erweitert das klassische Hierarchical Task Network(HTN) Planen hinsichtlich verschiedener Aspekte -Integration von Zustandsabstraktion, Benutzerinteraktion und Informationsakquisition- und integriert Scheduling-Verfahren zur Ressourcenoptimierung auf allen Abstraktionsebenen. Der Monitor dient der Ansteuerung und Kontrolle des Planungssystems. Er ist die Schnittstelle zur Modellierungsumgebung und führt die Interaktion mit dem Benutzer durch. Schließlich initiiert und überwacht er die Ausführung der generierten Pläne. Dem Planungsformalismus wird eine formal logische Semantik unterlegt auf deren Basis die Konsistenzkriterien sowie weitere formale Eigenschaften von Domänenmodellen und Plänen formuliert und nachgewiesen werden können. Zur Evaluierung der hier vorgestellten Forschungsarbeiten dienen zunächst zwei Anwendungen aus dem Bereich der Katastropheneinsatzplanung: ein Ausschnitt aus der Einsatzplanung des Technischen Hilfswerks zur Bekämpfung der Oderflut im Juli 1997 und ein Evakuierungsplan der Abteilung Sicherheit des Universitätsklinikums Ulm.
有效的系统是在概念、规划和组织过程中复杂化的,它是一个复杂的工作和组织过程。 “elektronischen Arbeitens”(电子工作)。 geeignet ist, diese Anforderungen zu erfüllen。概念/方法也是实施技术技术的一部分,包括要求Domänen模型、规划、资源、交互和信息获取的解决方案。和 einen 监视器。 Kriterien und deren Überprüfungdurch entprechende Systemkomponenten garantieren die Konsistenz derspezifizierten Modelle。 -对规划系统的监控和控制进行资源优化和集成的集成。 Schließlich initiiert und überwacht er die Ausführung dergenerierten Pläne。 Formuliert und nachgewiesen werden können。 Oderflut 于 1997 年 7 月和乌尔姆大学临床实验室的评估计划。

项目成果

期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ monograph.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ patent.updateTime }}

Professorin Dr. Susanne Biundo-Stephan其他文献

Professorin Dr. Susanne Biundo-Stephan的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

相似国自然基金

海尔特兹树莓矢车菊素类化合物激活AMPK改善胰岛素抵抗的机制研究
  • 批准号:
  • 批准年份:
    2022
  • 资助金额:
    32 万元
  • 项目类别:
    地区科学基金项目
Hilbert模,Toeplitz代数和Corona问题
  • 批准号:
    10171019
  • 批准年份:
    2001
  • 资助金额:
    13.0 万元
  • 项目类别:
    面上项目

相似海外基金

TFB 66: Rechnergestützte Modellierung und Simulation zur Analyse, Synthese und Führung verfahrenstechnischer Prozesse
TFB 66:用于过程工程过程分析、综合和控制的计算机辅助建模和仿真
  • 批准号:
    28136350
  • 财政年份:
    2006
  • 资助金额:
    --
  • 项目类别:
    CRC/Transfer Units
Toolunterstützte Modellierung, Analyse und Synthese sicherheitsrelevanter Steuerungen für den Eisenbahnverkehr mit Petrinetztechnologien
使用 Petri 网技术对铁路交通安全相关控制进行工具支持的建模、分析和综合
  • 批准号:
    5439117
  • 财政年份:
    2004
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Toolunterstützte Modellierung, Analyse und Synthese sicherheitsrelevanter Steuerungen für den Eisenbahnverkehr mit Petrinetztechnologien
使用 Petri 网技术对铁路交通安全相关控制进行工具支持的建模、分析和综合
  • 批准号:
    5439115
  • 财政年份:
    2004
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Modellgestützte experimentelle Analyse und Modellierung der Mikrovermischung in Mikroreaktoren
基于模型的微反应器中微混合的实验分析和建模
  • 批准号:
    5385955
  • 财政年份:
    2002
  • 资助金额:
    --
  • 项目类别:
    Priority Programmes
Rechnergestützte Modellierung von Vielschichtsystemen für nanoskopische ferroelektrische Speicher
纳米铁电存储器多层系统的计算机辅助建模
  • 批准号:
    5288964
  • 财政年份:
    2000
  • 资助金额:
    --
  • 项目类别:
    Research Grants
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了