排序方式: 共有28条查询结果,搜索用时 0 毫秒
1.
2.
面向对象形式规格说明语言Object-Z与进程代数CSP相结合是当今的一个热点,它既可以表示复杂的模块化数据与算法,又可以表示系统的行为,但求精与验证对它们结合后的规格说明需要分别进行处理。本文提出了一个方法,把Object-Z规格说明转化为CSP规格说明,可以方便地处理结合后的规格说明,因此求精与推理对结合后的规格说明可以按CSP规则与方法一致来进行处理。此外,转化后的Object-Z规格说明可以按照CSP方法进行模型检查。 相似文献
3.
4.
5.
6.
C++是一种非常流行的计算机编程语言,在使用的过程中容易出现内存泄漏问题,而该问题往往难以识别。给出了一种对C++内存泄漏问题进行分析的方法,该方法得到C++源代码的抽象语法树,从抽象语法树中提取程序控制流图,然后将类的构造函数、普通成员函数以及析构函数的程序控制流图相互连接形成新的程序控制流图,并设计算法对控制流图进行检测。最后通过一些内存泄漏的典型实例进行测试,实验表明本方法有效。 相似文献
7.
设计开发了通用型化工过程在线测量数据校正与模拟优化系统 CPDRS,并在化工装置上得到应用 ,取得了满意的结果。着重探讨了目前过失误差侦破方法的局限性 ,提出了过程模拟与统计检验相结合的组合检验法 ;分析了线性与非线性数据校正的特点 ,提出了组合校正法。首次提出了对测量数据进行预处理的时间序列分析法 ,既增加了测量数据的冗余度 ,又提高了数据校正的速度和校正值的精度 ,可充分利用 DCS的大量历史数据 ,适用于在线数据校正过程 ;同时还对物性数据库及其推算方法进行了探讨 相似文献
8.
设计开发了通用型化工过程在线测量数据校正与模拟优化系统CPDRS,并在化工装置上得到应用,取得了满意的结果。着重探讨了目前过失误差侦破方法的局限性,提出了过程模拟与统计检验相结合的组合检验法;分析了线性与非线性数据校正的特点,提出了组合校正法。首次提出了对测量数据进行预处理的时间序列分析法,既增加了测量数据的冗余度,又提高了数据校正的速度和校正值的精度,可充分利用DCS的大量历史数据,适用于在线数据校正过程;同时还对物性数据库及其推算方法进行了探讨。 相似文献
9.
对Virgo104钢的力学性能进行了检验,并研究了与之匹配的两种气保焊焊丝及一种焊条的焊接接头力学性能.试验结果表明,Virgo104钢中心与表面的力学性能基本一致,具有良好的强度与塑性匹配,而且具有优良的低温冲击韧度,特别是其高的Wp/Wi(约3.0)及高的侧向膨胀率(约15%),表明该钢具有优良的抗脆性断裂性能.焊缝金属及焊接接头具有良好的力学性能,其中HS367L焊丝的焊缝金属,在焊态下具有较高的塑性,预示出较高的抗焊接裂纹性能. 相似文献
10.