期刊文献+
共找到3篇文章
< 1 >
每页显示 20 50 100
并发Java程序动态分析及重演技术研究 被引量:2
1
作者 方艳 金茂忠 刘超 《计算机工程与应用》 CSCD 北大核心 2001年第12期59-63,共5页
Java语言在并发程序方面的广泛应用对软件测试提出了新的挑战。众所周知,由于并发程序的不确定性,使得并发程序的设计、开发、调试和测试都非常困难。文章介绍了Safepro/Java中的多线程测试技术,通过对Java源程序进行适当的修改并... Java语言在并发程序方面的广泛应用对软件测试提出了新的挑战。众所周知,由于并发程序的不确定性,使得并发程序的设计、开发、调试和测试都非常困难。文章介绍了Safepro/Java中的多线程测试技术,通过对Java源程序进行适当的修改并且保持语义不变,跟踪并发Java程序的运行过程,收集有关数据并对数据进行分析,最终控制并发Java程序的重演。 展开更多
关键词 软件测试 JAVA语言 并发程序动态分析 同步序列 重演技术 软件开发
下载PDF
并发Java程序动态分析及重演技术研究
2
作者 王宏 《计算机光盘软件与应用》 2014年第12期147-148,共2页
由于Java程序的应用范畴越来越广,这就需要我们对其程序的应用与运作加以合理地了解与分析,本文主要通过对Java这种程序在实际的并发程序中的应用情况予以动态的分析与阐述,并对其予以技术的重演方面进行系统性的分析与探索,能够推动Jav... 由于Java程序的应用范畴越来越广,这就需要我们对其程序的应用与运作加以合理地了解与分析,本文主要通过对Java这种程序在实际的并发程序中的应用情况予以动态的分析与阐述,并对其予以技术的重演方面进行系统性的分析与探索,能够推动Java程序本身的发展。 展开更多
关键词 JAVA程序 并发程序 动态分析 重演技术 研究
下载PDF
Property Identification of Anomalous Seismic Bodies by GMES Techniques, A Case History 被引量:2
3
作者 刘云祥 孙卫斌 +1 位作者 李德春 徐晓芳 《Applied Geophysics》 SCIE CSCD 2005年第3期135-139,i0001,共6页
What are the anomalous seismic reflection bodies at depths of over 6000m?Are they reefs or igneous rock?This is a difficult problem for seismic techniques,but the GMES technique can handle it .The GMES technique is ... What are the anomalous seismic reflection bodies at depths of over 6000m?Are they reefs or igneous rock?This is a difficult problem for seismic techniques,but the GMES technique can handle it .The GMES technique is a joint exploration technique combining gravity,magnetic,electrical,and seismic techniques.The specific procedure is to conduct a 2D interface-constrained CEMP inversion using 2D seismic and log data followed by a property parameter inversion of the anomalous bodics using gravity and seismic data by the stripping technique.We then estimate the physical properties ofthe anomalous bodies,such as density,susceptibility,resistivity,velocity,and etc.to deduce the geological features of the bodies and provide a basis for drilling decisions.The work in the TZ area reported in this paper shows the applicability of the technique. 展开更多
关键词 GMES constrained inversion joint inversion and anomalous body
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部