Entwurf und Analyse komplexer hybrider Systeme basierend auf formalen objektorientierten Spezifikationen
基于形式化面向对象规范的复杂混合系统的设计和分析
基本信息
- 批准号:5373609
- 负责人:
- 金额:--
- 依托单位:
- 依托单位国家:德国
- 项目类别:Priority Programmes
- 财政年份:1997
- 资助国家:德国
- 起止时间:1996-12-31 至 2001-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. Stefan Jähnichen其他文献
Professor Dr.-Ing. Stefan Jähnichen的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Professor Dr.-Ing. Stefan Jähnichen', 18)}}的其他基金
Automatische Modellierung und Simulation von technischen Systemen mit Unsicherheit
不确定性技术系统的自动建模与仿真
- 批准号:
214747581 - 财政年份:2013
- 资助金额:
-- - 项目类别:
Research Grants
Formale, mechanisch unterstützte Fundierung aspektorientierter und kollaborationsbasierter Sprachen
面向方面和基于协作的语言的正式、机械支持的基础
- 批准号:
24572631 - 财政年份:2006
- 资助金额:
-- - 项目类别:
Research Grants
Maschinelles Lernen zur Funktionsvorhersage für Proteine im großen Maßstab
用于大规模蛋白质功能预测的机器学习
- 批准号:
5250282 - 财政年份:2000
- 资助金额:
-- - 项目类别:
Research Grants
Adaptive depth simulation of hybrid models within generic modeling and simulation frameworks
通用建模和仿真框架内混合模型的自适应深度仿真
- 批准号:
5168304 - 财政年份:1999
- 资助金额:
-- - 项目类别:
Priority Programmes
Kern-Algorithmen zum Lernen in Feature-Räumen
特征空间学习的核心算法
- 批准号:
5184858 - 财政年份:1999
- 资助金额:
-- - 项目类别:
Research Grants
相似国自然基金
水相液滴化学在污染物分析、中间体监测、有机合成和污染物降解中的应用
- 批准号:22376048
- 批准年份:2023
- 资助金额:50 万元
- 项目类别:面上项目
非光滑Dirac方程的高效数值算法和分析
- 批准号:12371395
- 批准年份:2023
- 资助金额:43.5 万元
- 项目类别:面上项目
超声诱导多波段应力发光材料的设计和机理分析及其光遗传学应用
- 批准号:52372160
- 批准年份:2023
- 资助金额:51 万元
- 项目类别:面上项目
胚胎发育和组织修复中的上皮组织演化力学行为的理论和数值分析
- 批准号:12302407
- 批准年份:2023
- 资助金额:30 万元
- 项目类别:青年科学基金项目
石斑鱼PPARα和PPARβ与SGIV抗感/易感性状关联的机制分析
- 批准号:42376087
- 批准年份:2023
- 资助金额:51 万元
- 项目类别:面上项目
相似海外基金
Analyse und Entwurf von integrierter CMOS Hochvoltelektronik in Niedervolttechnologien
低压技术中集成 CMOS 高压电子器件的分析和设计
- 批准号:
207214355 - 财政年份:2011
- 资助金额:
-- - 项目类别:
Research Grants
Entwurf und Analyse einer Vektor-Regelschleife für hochempfindliche GNSS Signalverfolgung
高灵敏度 GNSS 信号跟踪矢量控制环路的设计和分析
- 批准号:
103298646 - 财政年份:2009
- 资助金额:
-- - 项目类别:
Research Grants
Analyse und Entwurf linearer und nichtlinearer Verkopplungsregelungen und Deskriptorsysteme
线性和非线性耦合控制和描述符系统的分析和设计
- 批准号:
137727026 - 财政年份:2009
- 资助金额:
-- - 项目类别:
Research Grants
Entwicklung systemtheoretischer Methoden zur Analyse und zum Entwurf von Agentensystemen (AUREG-IST)
开发用于分析和设计代理系统的系统理论方法(AUREG-IST)
- 批准号:
54063571 - 财政年份:2008
- 资助金额:
-- - 项目类别:
Research Grants
Analyse und Entwurf effizienter, nichtiterativer und robuster Sendetechniken in mehrträgerbasierten Funksystemen
基于多载波的无线电系统中高效、非迭代和鲁棒传输技术的分析和设计
- 批准号:
72415229 - 财政年份:2008
- 资助金额:
-- - 项目类别:
Priority Programmes