Entwurf und (quantitative) Analyse Komponenten-basierter Systeme

基于组件的系统的设计和(定量)分析

基本信息

项目摘要

In diesem Projekt sollen aufbauend auf einem Modell für Komponenten-basierte Systeme, dem Modell der Interaktionssysteme, theoretische Aspekte, Eigenschaften, Algorithmen und quantitative Erweiterungen Komponenten-basierter Systeme untersucht werden. Wir haben bereits gezeigt, dass es NP-hart ist zu entscheiden, ob ein Interaktionssystem lokal/global verklemmungsfrei ist, bzw. eine Menge von Komponenten lebendig ist und haben Kriterien vorgestellt, die Verklemmungsfreiheit bzw. Lebendigkeit garantieren und in polynomialer Zeit getestet werden können. Darauf aufbauend sollen folgende Fragen untersucht werden: 1. Komplexität (1.1 Zusammenhang zu 1-safe Petrinetzen und den dort bekannten Komplexitätsaussagen, 1.2 Entwicklung eines effizienten hybriden Algorithmus zur Etablierung der Verklemmungsfreiheit von Interaktionssystemen, 2. Kriterien (2.1 Entwicklung von Kriterien zum Nachweis von Robustheit von Interaktionssystemen bei Ausfall von Diensten, 2.2 Aufstellen von Kriterien, unter denen sich Lebendigkeit von Komponenten vererbt, 2.3 Einführung von Protokollen), 3. Probabilistische Erweiterung von Interaktionssystemen. Der Algorithmus aus 1.2 sowie die Algorithmen, die sich aus unseren Untersuchungen zu 2. und bereits vorhandenen Ergebnissen zum Fortschritt und zur Lebendigkeit ergeben, sollen in dem Werkzeug PRIS (Properties of Interaction Systems) implementiert werden.
在这个项目中,我们将建立一个基于组件的系统模型,该模型包括系统间的相互作用、理论方面、特征分析、建模和定量分析。我们已经注意到,NP-哈特已经开始工作了,因为它是一个地方/全球的交通自由系统。一个关于生存的要素的解释和对自由贸易的批评是一致的。Lebendigkeit garantieren und in polynomialer Zeit getestet韦尔登können. Darauf aufbauend sollen folgende Fragen untersucht韦尔登:1。Komplexität(1.1 Zusammenhang zu 1-safe Petrinetzen und den dort bekannten Komplexitätsaussagen,1.2 Entwicklung eines effizienten hybriden plummus zur Etablierung der Verklemmungsfreibrium von Interaktionssystemen,2. Kriterien(2.1 Entwicklung von Kriterien zum Nachweis von Robustheit von Interaktionsystemen bei Ausfall von Diensten,2.2 Aufstelen von Kriterien,unter denen sich Lebendigkeit von Komponenten verebt,2.3 Einführung von Protoklung),3. Interaktionssystemen的概率分析。1.2岁的学生说,他们是从2岁开始学习的。并在交互作用系统特性(PRIS)实现韦尔登中解决了Fortschritt和Lebendigkeit的任务。

项目成果

期刊论文数量(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
Äquivalenzen zur Verifikation stochastischer Systeme und deren Klassifizierung
随机系统验证的等价及其分类
  • 批准号:
    33853674
  • 财政年份:
    2006
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Aktionsverfeinerung in quantitativen und formalen Modellen reaktiver Systeme
反应系统的定量和形式模型中的动作细化
  • 批准号:
    5364713
  • 财政年份:
    2002
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Unterspezifikation in Prozessalgebren
过程代数中的不明确
  • 批准号:
    5200336
  • 财政年份:
    2000
  • 资助金额:
    --
  • 项目类别:
    Research Grants

相似海外基金

Ermittlung, bibliographische Erschließung, Digitalisierung sowie qualitative und quantitative Auswertung aller im deutschen Sprachraum von 1901 bis 1929 erschienenen Auktionskataloge
对 1901 年至 1929 年德语区出版的所有拍卖图录进行鉴定、书目索引、数字化以及定性和定量评估
  • 批准号:
    233419646
  • 财政年份:
    2013
  • 资助金额:
    --
  • 项目类别:
    Cataloguing and Digitisation (Scientific Library Services and Information Systems)
Hochauflösende, quantitative Palpation mittels Ultraschallstrahlungskraft und Magnetresonanztomographie
使用超声辐射力和磁共振成像进行高分辨率、定量触诊
  • 批准号:
    211814469
  • 财政年份:
    2012
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Nachweis und quantitative Bestimmung von Dimethylthallium in Oberflächengewässern als Folge montan-industrieller Emissionen
采矿工业排放导致的地表水中二甲基铊的检测和定量
  • 批准号:
    223674215
  • 财政年份:
    2012
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Quantitative Analyse sexueller Selektion und des Bateman'schen Prinzips in einem simultanen Hermaphroditen
同时雌雄同体性选择和贝特曼原理的定量分析
  • 批准号:
    194676565
  • 财政年份:
    2011
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Quantitative und artefaktfreie Mehrspektren-CT mit hoher Dosisnutzung und hoher Scangeschwindigkeit
定量、无伪影的多能谱 CT,剂量利用率高,扫描速度快
  • 批准号:
    187885109
  • 财政年份:
    2011
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Die quantitative Erfassung des Einflusses der Begleitelemente und Erstarrungsbedingungen auf die Veredelung von AlSi7Mg Gusslegierungen
定量测定伴生元素和凝固条件对AlSi7Mg铸造合金细化的影响
  • 批准号:
    190053621
  • 财政年份:
    2011
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Die Große Meteorbank (Nordost-Atlantik) - Trittstein oder Abstellgleis? Quantitative Unteruchungen zur Verbreitung, der Diversität und dem Ursprung der benthonischen Kuppenfauna
大流星河岸(东北大西洋)——垫脚石还是壁板?
  • 批准号:
    161751632
  • 财政年份:
    2010
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Besuch der Kurse "Introduction to the use of R" und "Quantitative Text Analysis" zur Vorbereitung des Forschungs- bzw. Habilitationsprojekts "Politische Determinanten der Reaktionen der OECD-Staaten auf die internationale Finanz- und Wirtschaftskrise 2008
参加“R 使用简介”和“定量文本分析”课程,为研究和训练项目“经合组织国家对 2008 年国际金融和经济危机反应的政治决定因素”做准备
  • 批准号:
    181382691
  • 财政年份:
    2010
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Quantitative Analyse stochastischer Einflüsse auf die Leistungsfähigkeit von Produktionssystemen mittels analystischer und simulativer Modellierung
使用分析和仿真建模对生产系统性能的随机影响进行定量分析
  • 批准号:
    164922740
  • 财政年份:
    2010
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Quantitative spektrale Auswertung nichtlinearer Ultraschall- und Körperschwingungen zur Bewertung von Fügeverbindungen und Materialschädigungen
非线性超声和身体振动的定量光谱评估,以评估接头连接和材料损坏
  • 批准号:
    166608876
  • 财政年份:
    2010
  • 资助金额:
    --
  • 项目类别:
    Research Grants
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了