一种多敏感空指针引用错误的静态检测方法

空指针引用错误是一种常见的、难以发现和避免的程序错误。针对该错误,结合传统静态分析方法和符号执行方法,提出一种过程内流敏感、路径敏感和过程间上下文敏感的多敏感静态分析方法。对全局指针、局部指针以及函数的指针类参数进行建模,对指针指向地址进行简化分类。在函数间传递指针的指向状态,在函数内遍历路径,使用约束求解的方式判定路径可达性,当函数分析结束后,在退出点进行指针状态信息合并,以减少漏报和误报。在此基础上,使用人工标注错误触发条件的方式进一步提高分析效率,减少漏报和误报。实验证明,该方法能够高效地检测出各类空指针引用错误。     

分组训练卷积字典的图像去噪算法

卷积稀疏编码(convolutional sparse coding,CSC)这一全局模型因字典的特殊结构而受到广泛关注,其中卷积字典学习算法(slice-based dictionary learning,S-BCSC)是最为有效的CSC模型优化算法.虽然S-BCSC算法非常有效,但算法在应用中对整幅图像只使用一个固...     

Temporal and spatial distribution of tropospheric CO<Subscript>2</Subscript> over China based on satellite observations

Mid-troposphere CO₂ data retrieved by the AIRS (atmospheric infrared sounder) were validated with five ground-based stations and aircraft measurements in the Northern Hemisphere. AIRS CO₂ products show good agreement with ground and aircraft observations. The data had a monthly average accuracy better than 3 ppmv. In this study, the spatial and temporal distribution of mid-troposphere CO₂ from January 2003 to December 2008 was analyzed based on this satellite product. The average concentration of atmospheric CO₂ was higher in the Northern Hemisphere than in the Southern Hemisphere. The yearly average results show a gradual increase from 2003 to 2008. In China, the annual growth rate was about 2 ppmv/a, similar to the United States, Europe, Australia and India, but was slightly lower than Canada and Russia. Mid-troposphere CO₂ concentrations were higher over northern China than over southern areas, due to differences in natural conditions and industrial layout. There were four centers of high CO₂ concentration between 35° and 45°N over China, with low concentrations over Yunnan Province. There was a significant seasonal CO₂ variation with peak concentration in spring and the lowest concentration in autumn.     

我看《牛拖船》

在散文集<牛拖船>中,作者运用朴实的语言、独特的视角、纯真的情感,集中地描绘了萧山沙地的风情,赋予了作品现实主义的精神.这种现实性的获得是由沙地的历史和自然环境、丰富的生活民情、作者自身的经历所决定的.     

Identification of susceptibility genes loci associated with type 2 diabetes

In this study, we selected 10 susceptible SNPs loci to investigate their contribution to susceptibility to type 2 diabetes in Han Chinese among Hubei population. We genotyped SNPs rs5219, rs1801282, rs1470579, rs1111875, rs1081661, rs7754840, rs4506565, rs13266634, rs4402960, and rs5643981 by using the method of polymerase chain reaction-ligase detection reaction (PCR-LDR). In a case-control study, we have genotyped the 10 candidate susceptibility SNP loci, and here, we reported that the SNP rs5219 in KCNJ1...     

A combination of leaf rust resistance gene Lr34 and lesion mimic gene lm significantly enhances adult plant resistance to Puccinia triticina in wheat

Leaf rust caused by Puccinia triticina is an economically-important disease in wheat worldwide.A combination of different types of resistance genes may significantly enhance rust resistance under rust-favorable conditions.To investigate the interactions between the rust resistance gene Lr34 and the lesion mimic gene lm on 1BL in Ning 7840,a segregating F8-10 population of 180 recombinant inbred lines was developed from Ning 7840/Chokwang and evaluated for both lesion mimic expression and leaf rust response at the adult plant stage in a greenhouse.A major quantitative trait locus(QTL),derived from Sumai 3,was co-localized with Lr34 on chromosome 7D and explained 41.5% of phenotypic variations for rust severity and 22.1% for leaf tip necrosis(LTN).The presence of Lr34 was confirmed by Lr34-specific markers cssfr1 and cssfr2 in Ning 7840 and Sumai 3.Unlike Lr34,lm conditioned a spontaneous lesion mimic phenotype and had a significant effect on reducing uredinial size,and a smaller effect on severity.Additive effects were observed between lm and Lr34 for severity and LTN,and an epistatic effect was observed for infection type.Single marker analysis also identified several other QTL with minor effects on severity,infection type,or LTN.     

浅谈钻井冲洗液在钻探施工中的重要性

介绍了常用钻井冲洗液的类型及适用地层，通过亲自实践总结出钻井冲洗液在钻探施工中的重要性。为今后相关钻探施工工作提供借鉴。     

以科学发展观统领经济发展方式转变

加快经济发展方式转变,充分反映了科学发展观的内在要求,充分体现了破解经济发展深层次矛盾的迫切需要。这是一场经济社会领域和思想领域的深刻变革,是对党员干部队伍的现实考验。作为老工业基地的太原市要实现科学发展,必须紧紧抓住加快经济发展方式转变的重大战略机遇,进一步凝聚思想共识、突出战略重点、明确重要任务,真正从根本上解决经济社会发展不平衡、不协调、不可持续等深层次问题,推动经济社会又好又快发展。     

有机溶质在含盐固定液中保留参数变化规律的研究——(Ⅱ)溶质——盐存在特殊相互作用的体系

本文将改进的Scatchard-Hildebrand的溶液理论用于研究在环丁砜含盐溶液中,有机溶质和碱金属盐有特殊相互作用(氢键作用、电荷迁移作用)时,气液色谱保留参数的变化规律。并求得了特殊相互作用平衡常数K_0。     

钛扩散铌酸锂条形光波导的导模

本文用加权余量法求解钛扩散铌酸锂条形光波导的传播常数,给出有关截止频率、高宽比、扩散深度等参数的计算公式与曲线,用以确定单模条形光波导的单模工艺条件.