Diagnostics based on petri nets and logics
基于 Petri 网和逻辑的诊断
基本信息
- 批准号:5307818
- 负责人:
- 金额:--
- 依托单位:
- 依托单位国家:德国
- 项目类别:Priority Programmes
- 财政年份:2001
- 资助国家:德国
- 起止时间:2000-12-31 至 2002-12-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
Im Rahmen der von mir betreuten Promotionen von Herrn Kruse und Herrn Simon haben sich in jüngster Zeit neuere Möglichkeiten zur Diagnose in dynamischen Systemen ergeben. Herr Kruse kann in seiner Dissertation dadurch Aussagen diagnostizieren, daß er die Petri-Netz-Darstellungen logischer Formeln inklusive ihre Markierung dualisiert. Dabei ergeben sich Petri-Netze mit Transitionsmarken, die gegen die Kantenrichtung laufen und das Nicht-Schalten bzw. Nicht-Geschaltet-Haben von Transitionen ausdrücken. Es macht Sinn, Petri-Netze mit beiden Markentypen zu betrachten und in den resultierenden Netzen beide Markentypen gegeneinander laufen zu lassen. Dabei werden Gründe für das Nicht-Schalten von Transitionen aufgedeckt. Herr Simon hat in seiner Dissertation eine Logik des Handelns untersucht, die zu den Standard-Logiken dual ist, und hat diese für technische Problemstellungen anwendbar gemacht. Zudem hat er diese Logik um eine Zeitkomponente erweitert. In dem nun beantragten Projekt sollen beide Arbeiten zusammengeführt werden, um nicht nur hinsichtlich situationsartiger, sondern auch hinsichtlich prozeßartiger Spezifikationen diagnostizieren zu können. Wir werden außerdem Diagnose in erweiterten Zeitstempelnetzen betreiben, wodurch wir diskrete und kontinuierliche Zustands- und Prozeßgrößen von (technischen) Systemen berücksichtigen. Wir erwarten neben praktischen Ergebnissen für die Automatisierungstechnik auch grundlegende Erkenntnisse hinsichtlich der Ambivalenz von Situationen und Prozessen.
我是拉赫曼·德·冯·米勒和西蒙·哈本·西蒙之间的关系,这两个人在动态系统中得到了诊断。Kruse kann先生在Seiner的论文中提出了Aussagen的诊断方法,并提出了相应的解决方案。从现在开始,我们将在劳芬和沙尔滕之间建立一个过渡关系。这是一个很大的问题,也是一个很大的问题,因为它是一种新的技术。他说:“这是一件非常重要的事情。西蒙·哈特先生在塞纳尔的论文中提到了物流和物流的双重原则,以及技术问题和传统技术。这是一件非常重要的事情。在德姆修女的项目中,所有的人都知道,他们的情况很好,而且他们的诊断方法也是如此。我们被诊断为在两个人之间的一个错误的诊断,一个错误的解决方案。我们将为您提供更多的自动化解决方案。
项目成果
期刊论文数量(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 }}
Professor Dr. Kurt Lautenbach其他文献
Professor Dr. Kurt Lautenbach的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Professor Dr. Kurt Lautenbach', 18)}}的其他基金
Toolunterstützte Modellierung, Analyse und Synthese sicherheitsrelevanter Steuerungen für den Eisenbahnverkehr mit Petrinetztechnologien
使用 Petri 网技术对铁路交通安全相关控制进行工具支持的建模、分析和综合
- 批准号:
5439117 - 财政年份:2004
- 资助金额:
-- - 项目类别:
Research Grants
Störungsüberwachung und Synthese von Abfahrsteuerungen in hybriden Systemen
混合动力系统中的故障监测和停机控制综合
- 批准号:
5166698 - 财政年份:1999
- 资助金额:
-- - 项目类别:
Priority Programmes
Analyse zeitbewerteter Stellen/Transitionennetze mit Ordered Natural Decision Diagrams zur optimalen Steuerung von Produktionsprozessen
使用有序自然决策图分析时间评估位置/转换网络,以实现生产过程的最佳控制
- 批准号:
5269008 - 财政年份:1996
- 资助金额:
-- - 项目类别:
Priority Programmes
相似国自然基金
Data-driven Recommendation System Construction of an Online Medical Platform Based on the Fusion of Information
- 批准号:
- 批准年份:2024
- 资助金额:万元
- 项目类别:外国青年学者研究基金项目
Incentive and governance schenism study of corporate green washing behavior in China: Based on an integiated view of econfiguration of environmental authority and decoupling logic
- 批准号:
- 批准年份:2024
- 资助金额:万元
- 项目类别:外国学者研究基金项目
Exploring the Intrinsic Mechanisms of CEO Turnover and Market Reaction: An Explanation Based on Information Asymmetry
- 批准号:W2433169
- 批准年份:2024
- 资助金额:万元
- 项目类别:外国学者研究基金项目
含Re、Ru先进镍基单晶高温合金中TCP相成核—生长机理的原位动态研究
- 批准号:52301178
- 批准年份:2023
- 资助金额:30.00 万元
- 项目类别:青年科学基金项目
NbZrTi基多主元合金中化学不均匀性对辐照行为的影响研究
- 批准号:12305290
- 批准年份:2023
- 资助金额:30.00 万元
- 项目类别:青年科学基金项目
眼表菌群影响糖尿病患者干眼发生的人群流行病学研究
- 批准号:82371110
- 批准年份:2023
- 资助金额:49.00 万元
- 项目类别:面上项目
镍基UNS N10003合金辐照位错环演化机制及其对力学性能的影响研究
- 批准号:12375280
- 批准年份:2023
- 资助金额:53.00 万元
- 项目类别:面上项目
CuAgSe基热电材料的结构特性与构效关系研究
- 批准号:22375214
- 批准年份:2023
- 资助金额:50.00 万元
- 项目类别:面上项目
A study on prototype flexible multifunctional graphene foam-based sensing grid (柔性多功能石墨烯泡沫传感网格原型研究)
- 批准号:
- 批准年份:2020
- 资助金额:20 万元
- 项目类别:
基于大数据定量研究城市化对中国季节性流感传播的影响及其机理
- 批准号:82003509
- 批准年份:2020
- 资助金额:24.0 万元
- 项目类别:青年科学基金项目
相似海外基金
Synthesis of Petri Nets Based on the Union/Find Procedure
基于并/查找过程的Petri网综合
- 批准号:
410405972 - 财政年份:2019
- 资助金额:
-- - 项目类别:
Research Grants
Algorithms for Synthesis and Pre-Synthesis Based on Petri Net Structure Theory (ASYST)
基于Petri网结构理论的合成和预合成算法(ASYST)
- 批准号:
336738132 - 财政年份:2017
- 资助金额:
-- - 项目类别:
Research Grants
On Construction and Simulation of Petri Net Model of Human Meridian Based on Oriental Medicine
基于东方医学的人体经络Petri网模型的构建与仿真
- 批准号:
16K00395 - 财政年份:2016
- 资助金额:
-- - 项目类别:
Grant-in-Aid for Scientific Research (C)
Development and Evaluation of Model-Based Mutation Testing Techniques Using Petri Nets
使用 Petri 网的基于模型的突变测试技术的开发和评估
- 批准号:
26730038 - 财政年份:2014
- 资助金额:
-- - 项目类别:
Grant-in-Aid for Young Scientists (B)
Dynamic Support System Research for Earthquake Prevention Planning based on Petri Net Simulation Methodology on Background Image
基于背景图像Petri网仿真方法的防震规划动态支撑系统研究
- 批准号:
16510111 - 财政年份:2004
- 资助金额:
-- - 项目类别:
Grant-in-Aid for Scientific Research (C)
Research on an efficient analysis method of real-time software based on a level oriented net model
基于面向层次网络模型的实时软件高效分析方法研究
- 批准号:
15300009 - 财政年份:2003
- 资助金额:
-- - 项目类别:
Grant-in-Aid for Scientific Research (B)
Realization of Security Polices based on Enterprise Organizational Structur by using Evolutional Agent Architecture
利用进化Agent架构实现基于企业组织结构的安全策略
- 批准号:
13680490 - 财政年份:2001
- 资助金额:
-- - 项目类别:
Grant-in-Aid for Scientific Research (C)
Development of car-crash accident simulator based on Petri nets and its application to anti-accident measures for dangerous points
基于Petri网的车祸事故模拟器开发及其在危险点防事故措施中的应用
- 批准号:
10650523 - 财政年份:1998
- 资助金额:
-- - 项目类别:
Grant-in-Aid for Scientific Research (C)
Software Process Simulator Based on Petri-Net and Its Application to Actual Software Development
基于Petri-Net的软件过程模拟器及其在实际软件开发中的应用
- 批准号:
10680354 - 财政年份:1998
- 资助金额:
-- - 项目类别:
Grant-in-Aid for Scientific Research (C)
Design of Sequential Control Systems based on Net Models
基于网络模型的顺序控制系统设计
- 批准号:
07650485 - 财政年份:1995
- 资助金额:
-- - 项目类别:
Grant-in-Aid for Scientific Research (C)