OpenMP Fortran程序中的未指定行为的静态检测

来源 :黑龙江科技学院学报 | 被引量 : 0次 | 上传用户:fjtv55
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7<
其他文献
以展宽的激光束为加热源,在超高温度梯度条件下Al_72Ni_12Co_16合金中获得了单相、十面体准晶定向生长组织.X射线衍射、透射电子显微镜、扫描电子显微镜和光学显微镜分析结果表明:在上
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7
篮球比赛一般可以分为上下半时的开局阶段、中间阶段和最后阶段。最后阶段,即比赛将结束的时候,是决定比赛胜负的关键时刻,比赛的情况最复杂,变化最频繁。双方争夺最激烈的阶段经
A semi-supervised vector machine is a relatively new learning method using both labeled and unlabeled data in classification. Since the objective function of th
以耐辐射藤黄微球菌Micrococcus luteus SC1204为研究对象,建立总蛋白双向电泳体系.结果表明,采用液氮研磨-酚/超高速离心法提取总蛋白,裂解液Ⅱ(8 mol/L尿素、2 mol/L硫脲、
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7
期刊
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7
如果把复杂难懂的交会对接过程简单类比成轮船靠泊码头,那么“神舟八号”与“天宫一号”的交会对接任务就会显得更容易理解.为实现中国首次无人交会对接任务,载人航天工程各
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7
Reliability, maintainability and testability(RMT) are important properties of equipment, since they have important influence on operational availability and lif