刷新
{{item.name}}会员
Spezifikation und Verifikation von Steuerungen für kontinuierliche Systeme auf der Grundlage modularer Modelle und kompositioneller Analyse
基于模块化模型和成分分析的连续系统控制的规范和验证
基本信息
- 批准号：5267552
- 负责人：
- 金额：--
- 依托单位：
- 依托单位国家：德国
- 项目类别：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. Sebastian Engell其他文献
Professor Dr.-Ing. Sebastian Engell的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Professor Dr.-Ing. Sebastian Engell', 18)}}的其他基金
Towards Reliable and Efficient Real-Time Optimization of Processing Plants
实现加工厂可靠、高效的实时优化
- 批准号：
271280750 - 财政年份：2015
- 资助金额：
-- - 项目类别：
Research Grants
Novel Approaches to Nonlinear Optimizing Control under Uncertainty
不确定性下非线性优化控制的新方法
- 批准号：
192043881 - 财政年份：2011
- 资助金额：
-- - 项目类别：
Research Grants
Optimierungsbasierte Regelung verfahrenstechnischer Prozesse Teilantrag 3: Optimierungsbasierte Regelung des VARICOL-Prozesses
基于优化的过程工程过程控制 子应用 3：基于优化的 VARICOL 过程控制
- 批准号：
34424960 - 财政年份：2006
- 资助金额：
-- - 项目类别：
Research Grants
Optimization-based control of the VARICOL-process
基于优化的 VARICOL 过程控制
- 批准号：
5400164 - 财政年份：2003
- 资助金额：
-- - 项目类别：
Research Grants
Integrierte algorithmische und deduktive Verifikation verteilter Steuerungssysteme für hybride Prozesse
混合过程分布式控制系统的集成算法和演绎验证
- 批准号：
5301549 - 财政年份：2001
- 资助金额：
-- - 项目类别：
Priority Programmes
Model based process operation of emulsion copolymerisation of n monomers
基于模型的n单体乳液共聚工艺操作
- 批准号：
5350510 - 财政年份：2001
- 资助金额：
-- - 项目类别：
Research Grants
Prädiktive Regelung von chromatographischen Trennprozessen und Reaktoren im SMB-Betrieb
SMB 操作中色谱分离过程和反应器的预测控制
- 批准号：
5189246 - 财政年份：1999
- 资助金额：
-- - 项目类别：
Research Units
Modellgestützte Auslegung und Betrieb katalytischer Rektifikationskolonnen
催化精馏塔的基于模型的设计和操作
- 批准号：
5191248 - 财政年份：1999
- 资助金额：
-- - 项目类别：
Research Units
Formale Analyse von Sequential Function Charts
顺序功能图的形式分析
- 批准号：
5184070 - 财政年份：1999
- 资助金额：
-- - 项目类别：
Research Grants
Prozeßsynthese integrierter Reaktions- und Trennoperationen unter Berücksichtigung von Nebenreaktionen
考虑副反应的综合反应和分离操作的工艺合成
- 批准号：
5189252 - 财政年份：1999
- 资助金额：
-- - 项目类别：
Research Units
相似海外基金
Formale Spezifikation, Verifikation und Umsetzung von rollenbasierten Sicherheitsrichtlinien
基于角色的安全策略的正式规范、验证和实施
- 批准号：
25616799 - 财政年份：2006
- 资助金额：
-- - 项目类别：
Research Grants
Spezifikation und Verifikation von Informationsflüssen (InfoZert B)
信息流的规范和验证 (InfoZert B)
- 批准号：
15948980 - 财政年份：2006
- 资助金额：
-- - 项目类别：
Research Grants
Spezifikation, Verifikation und Sythese global asynchroner - lokal synchroner (GALS) Systeme und Schaltungen
全局异步-局部同步（GALS）系统和电路的规范、验证和综合
- 批准号：
5428633 - 财政年份：2004
- 资助金额：
-- - 项目类别：
Research Grants
Fahrerlose Transportsysteme als kooperative und adaptive Multiagentensysteme - Modellierung, Spezifikation, Verifikation und Simulation
无人驾驶运输系统作为协作和自适应多智能体系统 - 建模、规范、验证和模拟
- 批准号：
5245534 - 财政年份：2000
- 资助金额：
-- - 项目类别：
Priority Programmes
Fahrerlose Transportsysteme als kooperative und adaptive Multiagentensysteme - Modellierung, Spezifikation, Verifikation und Simulation
无人驾驶运输系统作为协作和自适应多智能体系统 - 建模、规范、验证和模拟
- 批准号：
5245560 - 财政年份：2000
- 资助金额：
-- - 项目类别：
Priority Programmes
Formale Spezifikation und Verifikation wesentlicher Sicherheitseigenschaften eines Mikrokerns
微内核基本安全属性的正式规范和验证
- 批准号：
5288276 - 财政年份：2000
- 资助金额：
-- - 项目类别：
Research Grants
Integration von Methoden zur Spezifikation und Verifikation von Sicherungseinrichtungen im spurgeführten Verkehr
轨道交通安全装置规范和验证方法的集成
- 批准号：
5135386 - 财政年份：1998
- 资助金额：
-- - 项目类别：
Priority Programmes
Integration von Methoden zur Spezifikation und Verifikation von Sicherungseinrichtungen im spurgeführten Verkehr
轨道交通安全装置规范和验证方法的集成
- 批准号：
5135392 - 财政年份：1998
- 资助金额：
-- - 项目类别：
Priority Programmes
Integration von Methoden zur Spezifikation und Verifikation von Sicherungseinrichtungen im spurgeführten Verkehr
轨道交通安全装置规范和验证方法的集成
- 批准号：
5292084 - 财政年份：1998
- 资助金额：
-- - 项目类别：
Priority Programmes
Spezifikation und Verifikation von Steuerungen für kontinuierliche Systeme auf der Grundlage modularer Modelle und kompositioneller Analyse
基于模块化模型和成分分析的连续系统控制的规范和验证
- 批准号：
5267558 - 财政年份：1996
- 资助金额：
-- - 项目类别：
Priority Programmes