刷新
{{item.name}}会员
Modellierung, Analyse und Verifikation von Rezeptsteuerungen mit höheren Petrinetzen
使用更高 Petri 网对配方控制进行建模、分析和验证
基本信息
- 批准号：5267274
- 负责人：
- 金额：--
- 依托单位：
- 依托单位国家：德国
- 项目类别：Priority Programmes
- 财政年份：1996
- 资助国家：德国
- 起止时间：1995-12-31 至 1999-12-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
No abstract available
没有可用的摘要
项目成果
期刊论文数量（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.-Ing. Hans-Michael Hanisch其他文献
Professor Dr.-Ing. Hans-Michael Hanisch的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Professor Dr.-Ing. Hans-Michael Hanisch', 18)}}的其他基金
Formale Synthese verteilter Prozesssteuerungen
分布式过程控制的形式综合
- 批准号：
101803482 - 财政年份：2009
- 资助金额：
-- - 项目类别：
Research Grants
Formale Synthese verteilter Steuerungen
分布式控制的形式化综合
- 批准号：
14475508 - 财政年份：2005
- 资助金额：
-- - 项目类别：
Research Grants
Workbench zur inkrementellen und modularen Entwicklung offener Modelle
用于开放模型增量和模块化开发的工作台
- 批准号：
5301390 - 财政年份：2001
- 资助金额：
-- - 项目类别：
Priority Programmes
Störungsüberwachung und Synthese von Abfahrsteuerungen in hybriden Systemen
混合动力系统中的故障监测和停机控制综合
- 批准号：
5166692 - 财政年份：1999
- 资助金额：
-- - 项目类别：
Priority Programmes
Modellierung und Verifikation der Abarbeitungssteuerung von Funktionsblöcken nach IEC 1499 mit Signal-Ereignis-Netzen
根据 IEC 1499 使用信号事件网络对功能块的处理控制进行建模和验证
- 批准号：
5093124 - 财政年份：1998
- 资助金额：
-- - 项目类别：
Research Grants
Integration von Spezifikations- und Modellierungstechniken bei der Modellsynthese im Steuerungsentwurf
控制设计模型综合中规范和建模技术的集成
- 批准号：
5135403 - 财政年份：1998
- 资助金额：
-- - 项目类别：
Priority Programmes
Analyse zeitbewerteter Stellen/Transitionennetze mit Ordered Natural Decision Diagrams zur optimalen Steuerung von Produktionsprozessen
使用有序自然决策图分析时间评估位置/转换网络，以实现生产过程的最佳控制
- 批准号：
5268480 - 财政年份：1996
- 资助金额：
-- - 项目类别：
Priority Programmes
相似海外基金
Sympathie von Stimme und Sprechweise Analyse und Modellierung auditiver und akustischer Merkmale
声音和说话方式的共鸣 听觉和声学特征的分析和建模
- 批准号：
211929770 - 财政年份：2012
- 资助金额：
-- - 项目类别：
Research Grants
Analyse und Modellierung der Biomethanisierung von pflanzlicher Biomasse (BioMetModell)
植物生物质的生物甲烷化分析和建模 (BioMetModell)
- 批准号：
202567229 - 财政年份：2011
- 资助金额：
-- - 项目类别：
Research Grants
Modellierung, Berechnung und Analyse ringgespannter Zahnriemengetriebe
环形张紧同步带传动的建模、计算和分析
- 批准号：
158213476 - 财政年份：2010
- 资助金额：
-- - 项目类别：
Research Grants
Quantitative Analyse stochastischer Einflüsse auf die Leistungsfähigkeit von Produktionssystemen mittels analystischer und simulativer Modellierung
使用分析和仿真建模对生产系统性能的随机影响进行定量分析
- 批准号：
164922740 - 财政年份：2010
- 资助金额：
-- - 项目类别：
Research Grants
Biostatistische Modellierung und Analyse kombinierter fMRT- und EEG-Messungen
功能磁共振成像和脑电图联合测量的生物统计建模和分析
- 批准号：
113520118 - 财政年份：2009
- 资助金额：
-- - 项目类别：
Research Grants
Experimentelle Analyse und numerische Modellierung der Deformation dehnfähiger Textilien und deren Wechselwirkung auf Tragkörper
弹性织物变形及其与支撑体相互作用的实验分析和数值模拟
- 批准号：
84928300 - 财政年份：2008
- 资助金额：
-- - 项目类别：
Research Grants
Zeitvariante multivariate Analyse und Modellierung des EEG und vegetativer Größen (Herzfrequenz, Atmung) und deren Wechselwirkungen vor, während und nach EEG-Burstaktivität.
对脑电图和植物变量（心率、呼吸）及其在脑电图突发活动之前、期间和之后的相互作用进行时变多变量分析和建模。
- 批准号：
64857589 - 财政年份：2007
- 资助金额：
-- - 项目类别：
Research Grants
Semantische Modellierung, Analyse und Verifikation von sprachbasierter Software-Sicherheit
基于语言的软件安全语义建模、分析与验证
- 批准号：
47694595 - 财政年份：2007
- 资助金额：
-- - 项目类别：
Research Grants
Interdisziplinäre Forschung in Modellierung und Simulation, Datenstrukturen und Algorithmen; Synchronisierte Analyse und 3D-Visualisierung paralleler Ablaufsimulationen in interaktiv erstellten Ausprägungen
建模与仿真、数据结构与算法的跨学科研究；
- 批准号：
32439114 - 财政年份：2007
- 资助金额：
-- - 项目类别：
Research Grants
Formale Methoden für die Modellierung und Analyse von mobilen kontextbezogenen Systemen (A6)
建模和分析移动上下文系统的形式化方法 (A6)
- 批准号：
32499921 - 财政年份：2007
- 资助金额：
-- - 项目类别：
Collaborative Research Centres