权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

Integration von Methoden zur Spezifikation und Verifikation von Sicherungseinrichtungen im spurgeführten Verkehr

轨道交通安全装置规范和验证方法的集成

基本信息

批准号：
5135392
负责人：
Professor Dr.-Ing. Jörn Pachl
金额：
--
依托单位：
Institut für Eisenbahnwesen und Verkehrssicherung
依托单位国家：
德国
项目类别：
Priority Programmes
财政年份：
1998
资助国家：
德国
起止时间：
1997-12-31 至 2004-12-31
项目状态：
已结题

来源：
https://gepris.dfg.de/gepris/projekt/5135392?language=en
关键词：
Integration von Methoden zur Spezifikation

项目摘要

No abstract available

没有可用的摘要

项目成果

期刊论文数量（0）

专著数量（0）

科研奖励数量（0）

会议论文数量（0）

专利数量（0）

数据更新时间：{{ journalArticles.updateTime }}

DOI：
{{ item.doi }}
发表时间：
{{ item.publish_year }}
期刊：
{{ item.journal_name }}
影响因子：
{{ item.factor }}
作者：
{{ item.authors }}
通讯作者：
{{ item.author }}

数据更新时间：{{ journalArticles.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ monograph.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ sciAawards.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ conferencePapers.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ patent.updateTime }}

Professor Dr.-Ing. Jörn Pachl其他文献

Professor Dr.-Ing. Jörn Pachl的其他文献

DOI：
{{ item.doi }}
发表时间：
{{ item.publish_year }}
期刊：
{{ item.journal_name }}
影响因子：
{{ item.factor }}
作者：
{{ item.authors }}
通讯作者：
{{ item.author }}

立即体验

相似国自然基金

半有限von Neumann代数中投影集上的Wigner定理

批准号：
批准年份：
2025
资助金额：
0.0 万元
项目类别：
省市级项目

CUL7基因突变导致Von Hippel Lindau蛋白细胞内蓄积增多致3-M综合征软骨细胞分化异常的分子机制研究

批准号：
82302106
批准年份：
2023
资助金额：
30 万元
项目类别：
青年科学基金项目

非交换Weyl-von Neumann定理及其弱形式在von Neumann代数中的拓展

批准号：
12271074
批准年份：
2022
资助金额：
45 万元
项目类别：
面上项目

线性保持方法在量子信息研究中的应用

批准号：
12001420
批准年份：
2020
资助金额：
24.0 万元
项目类别：
青年科学基金项目

关于算子代数上非交换Weyl-von Neumann定理的研究

批准号：
12001437
批准年份：
2020
资助金额：
24.0 万元
项目类别：
青年科学基金项目

模型空间上截断Toeplitz算子的可约性

批准号：
12001089
批准年份：
2020
资助金额：
24.0 万元
项目类别：
青年科学基金项目

有限von Neumann代数的相对顺从性

批准号：
12001085
批准年份：
2020
资助金额：
24.0 万元
项目类别：
青年科学基金项目

关于超有限II_1因子中一类算子的不变子空间和单个元生成问题的研究

批准号：
11961037
批准年份：
2019
资助金额：
29.0 万元
项目类别：
地区科学基金项目

算子代数中齐性空间的微分几何结构

批准号：
11901453
批准年份：
2019
资助金额：
25.0 万元
项目类别：
青年科学基金项目

非交换Orlicz空间的性质及其闭子空间

批准号：
11901038
批准年份：
2019
资助金额：
23.0 万元
项目类别：
青年科学基金项目

相似海外基金

Entwicklung von Methoden zur Herstellung und automatisierten Bearbeitung schädigungstoleranter, gehipter Zr02-Keramiken für Dentalanwendungen (T05#)

开发用于牙科应用的耐损伤、髋关节 Zr02 陶瓷的生产和自动化加工方法（T05

批准号：
239698378
财政年份：
2013
资助金额：
--
项目类别：
Collaborative Research Centres (Transfer Project)

Erhöhung der Betriebssicherheit von Materialflusssteuerung durch Anwendung von Methoden des Schaltkreisentwurfs, insb. des Model Checkings

通过使用电路设计方法，特别是模型检查，提高物料流控制的运行可靠性

批准号：
212755448
财政年份：
2012
资助金额：
--
项目类别：
Research Grants

Methoden zur Kopplung von zentraler Planung und autonomer Steuerung in der Fertigung

生产中中央计划与自主控制的耦合方法

批准号：
219950293
财政年份：
2012
资助金额：
--
项目类别：
Research Grants

Konzepte und Methoden zur Unterstützung von Fachanwendern bei der Umsetzung von Adaptivität und Compliance-Richtlinien in Geschäftsprozessen

支持业务用户在业务流程中实施适应性和合规性指南的概念和方法

批准号：
219206707
财政年份：
2012
资助金额：
--
项目类别：
Research Grants

String-Geometrie: höhere differentialgeometrische Methoden zur Untersuchung von klassischen, differential-geometrischen und topologischen Aspekten von String-Mannigfaltigkeiten

弦几何：用于研究弦流形的经典、微分几何和拓扑方面的高级微分几何方法

批准号：
217926572
财政年份：
2012
资助金额：
--
项目类别：
Scientific Networks

Entwicklung von Methoden zur dynamischen Erkennung von Schadcode mit Techniken des maschinellen Lernens.

开发使用机器学习技术动态检测恶意代码的方法。

批准号：
198804171
财政年份：
2011
资助金额：
--
项目类别：
Research Grants

Entwicklung und Evaluation von effizienten und genauen theoretischen Methoden zur Berechnung Raman Spektren von Kofaktoren in Proteinen

开发和评估计算蛋白质中辅因子拉曼光谱的高效准确的理论方法

批准号：
197254636
财政年份：
2011
资助金额：
--
项目类别：
Research Grants

Numerische Modellierung von Wärme- und Massentransportprozessen in Protein basierten Schäumen mittels Lattice-Boltzmann-Methoden

使用格子-玻尔兹曼方法对蛋白质泡沫中的热和质量传输过程进行数值模拟

批准号：
199440457
财政年份：
2011
资助金额：
--
项目类别：
Research Grants

Untersuchung der konvergenten Validität von Methoden der Erwachsenenbindungsforschung in einer klinischen und einer nicht-klinischen Stichprobe

检查临床和非临床样本中成人依恋研究方法的收敛有效性

批准号：
199442904
财政年份：
2011
资助金额：
--
项目类别：
Research Grants

Entwicklung von Methoden des Maschinellen Lernens zur funktionellen Charakterisierung von Peroxisomen

开发用于过氧化物酶体功能表征的机器学习方法

批准号：
189920290
财政年份：
2011
资助金额：
--
项目类别：
Research Grants

会员权益说明：