基于常微分方程的程序死锁检测研究

基本信息
批准号:90818013
项目类别:重大研究计划
资助金额:50.00
负责人:丁佐华
学科分类:
依托单位:浙江理工大学
批准年份:2008
结题年份:2011
起止时间:2009-01-01 - 2011-12-31
项目状态: 已结题
项目参与者:王兆青,蒋义伟,靳聪明,铁治欣,梁道雷,韩维,张娜,章靠,江明月
关键词:
常微分方程。状态爆炸并发程序连续Petri网死锁检测
结项摘要

状态空间爆炸问题是困扰程序分析领域几十年的问题。在对并发系统、分布式系统做静态分析时,系统中状态的数目会随着过程(或进程)的增加而呈指数级增长。本项目提出一种基于常微分方程的方法,在实际的程序死锁检测中,可以避开状态爆炸问题。.我们通过对离散系统的连续化,用常微分方程组来描述并发程序。其中每一个方程描述了一个事件引起程序状态的变化。线性化程序对应一组线性常微分方程。一个并发结构对应一组非线性常微分方程。程序状态可由0到1之间的数来度量。这个度量指出该状态在程序运行时能达到的程度。基于此,我们可以对程序性质进行分析。代之离散事件系统中穷举所有状态去分析程序的性质,我们可以通过分析常微分方程的解来得到。特别地,我们根据方程的解研究了程序有死锁的充分必要条件。对小型程序我们可由MATLAB解出所有的方程,并描出状态曲线。对大型程序,我们将开发出并行计算系统用于求解大规模非线性常微分方程组。

项目摘要

项目成果
{{index+1}}

{{i.achievement_title}}

{{i.achievement_title}}

DOI:{{i.doi}}
发表时间:{{i.publish_year}}

暂无此项成果

数据更新时间:2023-05-31

其他相关文献

1

二维FM系统的同时故障检测与控制

二维FM系统的同时故障检测与控制

DOI:10.16383/j.aas.c180673
发表时间:2021
2

武功山山地草甸主要群落类型高光谱特征

武功山山地草甸主要群落类型高光谱特征

DOI:
发表时间:2016
3

血管内皮细胞线粒体动力学相关功能与心血管疾病关系的研究进展

血管内皮细胞线粒体动力学相关功能与心血管疾病关系的研究进展

DOI:10.13191/j.chj.2017.0028
发表时间:2016
4

汽车侧倾运动安全主动悬架LQG控制器设计方法

汽车侧倾运动安全主动悬架LQG控制器设计方法

DOI:
发表时间:2017
5

黄曲霉毒素B1检测与脱毒方法最新研究进展

黄曲霉毒素B1检测与脱毒方法最新研究进展

DOI:10.3969/j.issn.1000-4440.2021.03.031
发表时间:2021

丁佐华的其他基金

批准号:61170015
批准年份:2011
资助金额:55.00
项目类别:面上项目
批准号:61572441
批准年份:2015
资助金额:64.00
项目类别:面上项目

相似国自然基金

1

基于二型模糊逻辑的多核程序数据竞争与死锁检测方法研究

批准号:61202029
批准年份:2012
负责人:杨璐
学科分类:F0203
资助金额:23.00
项目类别:青年科学基金项目
2

常微分方程边值问题

批准号:19571008
批准年份:1995
负责人:葛渭高
学科分类:A0301
资助金额:7.50
项目类别:面上项目
3

常微分方程稳定性研究

批准号:18770427
批准年份:1987
负责人:徐道义
学科分类:A0504
资助金额:0.70
项目类别:面上项目
4

常微分方程中的拓扑方法

批准号:19871005
批准年份:1998
负责人:葛渭高
学科分类:A0301
资助金额:9.50
项目类别:面上项目