Entwurf und Analyse komplexer hybrider Systeme basierend auf formalen objektorientierten Spezifikationen

基于形式化面向对象规范的复杂混合系统的设计和分析

基本信息

项目摘要

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
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了