Workbench zur inkrementellen und modularen Entwicklung offener Modelle
Workbench zur inkrementellen und modularen Entwicklung offener Modelle
批准号:
5301390
负责人:
Professor Dr.-Ing. Hans-Michael Hanisch
金额:
$0.0万
依托单位国家:
德国
项目类别:
Priority Programmes
财政年份:
2001
资助国家:
德国
项目状态:
已结题
起止时间:
2000-12-31 至 2002-12-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
Ziel der Arbeiten ist es, verschiedenartige Ansätze zur Modellierung, Simulation und gegebenenfalls Analyse von zeitbewerten und hybriden Systemen mittels NCES und anderer Modellformen zu integrieren und dazu ein offenes, inkrementelles Modellierungswerkzeug als Prototyp zu entwickeln. Das Werkzeug versteht sich als Experimentalsystem und nicht als kommerziell verwertbares Produkt im Einsatz in der Industrie. Es oll vielmehr ein Modellierungsparadigma in einer teilweisen Umsetzung exemplarisch verdeutlichen, das nach Ansicht des Antragstellers geeignet ist, den Anforderungen der modernen Automatisierungstechnik gerecht zu werden. Es soll einen ersten Schritt in Richtung einer heterogenen Entwicklungsumgebung zum Steuerungsentwurf darstellen, in die zukünftig sukzessive die Vorarbeiten des Antragstellers sowie anderer interessierter Fachkollegen und Forschergruppen einfließen können. Daher soll es verteilt, inkrementell und offen im Hinblick auf Anpaßbarkeit und Erweiterbarkeit durch anderer Anwender innerhalb und außerhalb der eigenen Forschungsgruppe sein.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Formale Synthese verteilter Prozesssteuerungen
-
批准号:101803482
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:2009
-
负责人:Professor Dr.-Ing. Hans-Michael Hanisch
-
依托单位:
Formale Synthese verteilter Steuerungen
-
批准号:14475508
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:2005
-
负责人:Professor Dr.-Ing. Hans-Michael Hanisch
-
依托单位:
Störungsüberwachung und Synthese von Abfahrsteuerungen in hybriden Systemen
-
批准号:5166692
-
项目类别:Priority Programmes
-
资助金额:$0.0万
-
财政年份:1999
-
负责人:Professor Dr.-Ing. Hans-Michael Hanisch
-
依托单位:
Modellierung und Verifikation der Abarbeitungssteuerung von Funktionsblöcken nach IEC 1499 mit Signal-Ereignis-Netzen
-
批准号:5093124
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:1998
-
负责人:Professor Dr.-Ing. Hans-Michael Hanisch
-
依托单位:
Integration von Spezifikations- und Modellierungstechniken bei der Modellsynthese im Steuerungsentwurf
-
批准号:5135403
-
项目类别:Priority Programmes
-
资助金额:$0.0万
-
财政年份:1998
-
负责人:Professor Dr.-Ing. Hans-Michael Hanisch
-
依托单位:
Analyse zeitbewerteter Stellen/Transitionennetze mit Ordered Natural Decision Diagrams zur optimalen Steuerung von Produktionsprozessen
-
批准号:5268480
-
项目类别:Priority Programmes
-
资助金额:$0.0万
-
财政年份:1996
-
负责人:Professor Dr.-Ing. Hans-Michael Hanisch
-
依托单位:
Modellierung, Analyse und Verifikation von Rezeptsteuerungen mit höheren Petrinetzen
-
批准号:5267274
-
项目类别:Priority Programmes
-
资助金额:$0.0万
-
财政年份:1996
-
负责人:Professor Dr.-Ing. Hans-Michael Hanisch
-
依托单位:
国内基金
海外基金
锌调蛋白Zur识别两类靶标DNA的结构基础
-
批准号:31700052
-
项目类别:青年科学基金项目
-
资助金额:22.0万元
-
批准年份:2017
-
负责人:明振华
-
依托单位: