属性计算相关论文
本文主要研究C／C++程序缓冲区越界的静态检测。通过使用GCC编译器的前端编译源程序生成中间文件，将此中间文件作为程序分析的原始输......
针对波前构建法射线追踪中非规则的波前四边形网格与规则的矩形网格节点之间的相对定位问题，采用矢量叉积判断方法从四个方面较详细......
针对属性计算框架可客观地计算安全的度,但某些属性难以计算的问题。提出了转义性概念,研究公平性与无干扰之间的语义关系。仿真表......
提出了一种根据地震波特征点 (极值点、半极值点、拐点、最大相干点等 )对地震属性计算进行约束的新的属性计算方法———波形约束......
文章介绍了我局吸取国内外先进技术和方法研制的AVO属性工作站处理及解释新模式 ,提高了解释水平 ,在东海某气田储量计算中得到应......
