刷新
{{item.name}}会员
Aktionsverfeinerung in quantitativen und formalen Modellen reaktiver Systeme
反应系统的定量和形式模型中的动作细化
基本信息
- 批准号：5364713
- 负责人：
- 金额：--
- 依托单位：
- 依托单位国家：德国
- 项目类别：Research Grants
- 财政年份：2002
- 资助国家：德国
- 起止时间：2001-12-31 至 2005-12-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
..Ziel ist: 1. Die Entwicklung und Untersuchung des Konzeptes von Aktionsverfeinerung in verschiedenen quantitativen Erweiterungen von Modellen nebenläufiger/reaktiver Systeme. 2. Aufbauend auf den theoretischen Ergebnissen das Konzept der Aktionsverfeinerung zu dem, UML Beschreibungstechniken hinzuzufügen und theoretisch zu untermauern.
.. Ziel ist：1. Die Entwicklung und Untersuchung des Konzeptes von Aktionsverfeinerung in verzedenen quantitativen Erweiterungen von Modellen nebenläufiger/reaktiver System. 2.从理论上讲，UML是一种非常有效的技术，它可以帮助我们理解UML的基本原理。
项目成果
期刊论文数量（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 }}
Professorin Dr. Mila Majster-Cederbaum其他文献
Professorin Dr. Mila Majster-Cederbaum的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Professorin Dr. Mila Majster-Cederbaum', 18)}}的其他基金
Kompositionale Analyse Komponenten-basierter Systeme mittels Cross-Checking
使用交叉检查对基于组件的系统进行组成分析
- 批准号：
175932198 - 财政年份：2011
- 资助金额：
-- - 项目类别：
Research Grants
Entwurf und (quantitative) Analyse Komponenten-basierter Systeme
基于组件的系统的设计和（定量）分析
- 批准号：
51503470 - 财政年份：2007
- 资助金额：
-- - 项目类别：
Research Grants
Äquivalenzen zur Verifikation stochastischer Systeme und deren Klassifizierung
随机系统验证的等价及其分类
- 批准号：
33853674 - 财政年份：2006
- 资助金额：
-- - 项目类别：
Research Grants
相似海外基金
Experimentierplatz zur quantitativen optischen und Terahertz-Spektroskopie
定量光学和太赫兹光谱实验场
- 批准号：
246255889 - 财政年份：2013
- 资助金额：
-- - 项目类别：
Major Research Instrumentation
Optimierung von E-Selektin spezifischen Ultraschallkontrastmitteln und deren Nachweis in experimentellen Mammakarzinomen mit quantitativen Ultraschalltechniken
E-选择素特异性超声造影剂的优化及其在实验性乳腺癌中使用定量超声技术的检测
- 批准号：
157638599 - 财政年份：2010
- 资助金额：
-- - 项目类别：
Research Grants
Histologische und physikochemische Untersuchungen an eisenhaltigen Dendriten des Nervus ophthalmicus medialis im Oberschnabel von Vögeln zur qualitativen und quantitativen Charakterisierung des reizleitenden Apparates eines Magnetfeldrezeptors
鸟类上喙内侧眼神经含铁树突的组织学和物理化学研究，用于磁场受体刺激传导装置的定性和定量表征
- 批准号：
53428982 - 财政年份：2008
- 资助金额：
-- - 项目类别：
Research Grants
Entwicklung von qualitativen und quantitativen Messverfahren zu Lehr-Lern-Prozessen für Modellierung und Systemverständnis in der Informatik
开发用于计算机科学建模和系统理解的教学过程的定性和定量测量方法
- 批准号：
68237260 - 财政年份：2008
- 资助金额：
-- - 项目类别：
Research Grants
Entwicklung einer in vitro Methodik zur qualitativen und quantitativen Evaluation der intrinsischen Thrombogenizität kardiovaskulärer Prothesen
开发定性和定量评估心血管假体内在血栓形成性的体外方法
- 批准号：
26887463 - 财政年份：2006
- 资助金额：
-- - 项目类别：
Research Grants
MR Phasenkontrastbildgebung zur kardialen Ischämiediagnostik und quantitativen Analyse der Kontraktilität bei linksventrikulärer Dilatation
磁共振相位对比成像用于心脏缺血诊断和左心室扩张收缩力的定量分析
- 批准号：
18673692 - 财政年份：2005
- 资助金额：
-- - 项目类别：
Research Grants
Die Erforschung der Mechanismen und Interaktionen zwischen Bioaktivation von 5-FU und HSV-1 Onkolyse und die Entwicklung einer quantitativen Erfassung der Virus Replikation mittels PET bei der Behandlung diffuser kolorektaler Metastasen der Leber mit gent
药物治疗弥漫性结直肠肝转移瘤中 5-FU 和 HSV-1 溶瘤作用的机制和相互作用的研究以及使用 PET 定量检测病毒复制的进展
- 批准号：
5455348 - 财政年份：2005
- 资助金额：
-- - 项目类别：
Research Fellowships
3D-Mikrokalibrierstrukturen und Referenzflächen zur quantitativen Analyse der Topographie von mikrostrukturierten Membranen
用于定量分析微结构膜形貌的 3D 微校准结构和参考表面
- 批准号：
5436818 - 财政年份：2004
- 资助金额：
-- - 项目类别：
Priority Programmes
3D-Mikrokalibrierstrukturen und Referenzflächen zur quantitativen Analyse der Topographie von mikrostrukturierten Membranen
用于定量分析微结构膜形貌的 3D 微校准结构和参考表面
- 批准号：
5436816 - 财政年份：2004
- 资助金额：
-- - 项目类别：
Priority Programmes
Kombinatives 2D-Messverfahren zur simultanen quantitativen Bestimmung von Strömungsfeld, Mischungsbruch und Temperatur am Beispiel von Mikro-Fluidik-Anwendungen
以微流体应用为例同时定量测定流场、混合分数和温度的组合二维测量方法
- 批准号：
5406830 - 财政年份：2003
- 资助金额：
-- - 项目类别：
Priority Programmes