-
题名基于SUIF2的程序特征分析技术研究
被引量：3
- 1
-
-
作者
陈桂茸
窦勇
徐炜遐
-
机构
国防科学技术大学计算机学院
空军工程大学电讯工程学院
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
2007年第z1期254-258,共5页
-
基金
国家自然科学基金项目(90307001)
-
文摘
程序特征尤其是存储特征和循环特征对计算机系统及编译器的设计和优化至关重要,但庞大的软件系统和程序分析本身的复杂性使得实现程序特征提取和分析的自动化十分困难.针对这个问题,提出了一种新的基于SUIF2的程序特征分析方法,并以SUIF2为平台设计和实现了一个C程序特征分析工具.首先介绍了工具的设计思想和整体结构,然后详细说明了各部分的功能和实现原理,接着总结了该工具的特点,最后给出了SPEC2000中2个基准程序188.ammp和177.mesa的测试结果及分析.
-
关键词
suif2
程序特征
循环
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于SUIF2的静态死锁检测方法研究
- 2
-
-
作者
郝闯
张志祥
张静波
-
机构
海军工程大学电子工程学院计算机工程系
中国人民解放军
-
出处
《计算机与数字工程》
2012年第7期69-72,共4页
-
文摘
死锁是并发程序中常见的错误之一,且由于并发程序运行的不确定性使得死锁难以检测。针对该问题,通过对C多线程程序死锁的分析,提出了一种基于SUIF2的静态死锁检测方法,设计了基于SUIF2的C多线程程序静态死锁检测的框架结构和锁集分析算法。最后通过一个实例说明了该检测方法的有效性。
-
关键词
死锁
多线程程序
suif2
锁集分析
死锁检测
-
Keywords
deadlock
multi-threaded program
suif2
lockset analysis
deadlock detection
-
分类号
TP391
[自动化与计算机技术—计算机应用技术]
-
-
题名基于SWAT模型的黄河源区径流模拟
被引量：7
- 3
-
-
作者
王梦园
解宏伟
赵杰
吴一平
-
机构
青海大学水利电力学院
省部共建三江源生态与高原农牧业国家重点实验室
三江源协同创新中心
西安交通大学人居环境与建筑工程学院
-
出处
《青海大学学报（自然科学版）》
2019年第1期39-46,共8页
-
基金
国家重点研发计划项目(2017YFC0403600)
国家自然科学基金项目(51579131)
青海省科学技术厅项目(2017-SF-117)
-
文摘
为了研究SWAT分布式水文模型在黄河源区的适用性,采用该模型对黄河源区径流进行模拟。使用黄河源区的DEM数据、土地利用数据、土壤数据和气象数据建立黄河源区的SWAT模型,利用SWAT-CUP软件和SUIF-2算法进行参数率定,以纳什效率系数(NSE)和相对误差(R_e)作为模型的评判标准,分析SWAT模型对黄河源区的径流模拟效果。结果表明:黄河源区月径流模拟值与实测值吻合较好,模型模拟率定期(1975—2000年)和验证期(2001—2012年)的NSE和R_e分别为0.81,-0.004和0.80,0.058,表明SWAT模型能够很好的模拟黄河源区的月径流。SWAT模型在黄河源区具有较好的适用性。
-
关键词
SWAT模型
黄河源区
suif-2算法
径流模拟
-
Keywords
SWAT model
the Yellow River source region
suif-2 algorithm
runoff simulation
-
分类号
TV213.9
[水利工程—水文学及水资源]
-
