A constraint-weaving approach to points-to analysis for AspectJ

来源 :城市道桥与防洪 | 被引量 : 0次 | 上传用户:myxiu
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥主桥连续预应力混凝土变截面箱梁2#~7#块、8#、8
其他文献
采用多元颗粒模型描述了3种非球形颗粒,即玉米形颗粒、椭球形颗粒和圆柱形颗粒,分析了其碰撞机理,建立了非球形颗粒的运动方程,通过实验验证了模型的可靠性,并研究了不同颗粒
宗教和中国传统儒家哲学对人生终极关怀的设定体现和满足了人的一部分精神需求,但它们都是不科学的.在当今时代条件下,马克思主义哲学以开放和发展的体系对人生终极关怀重新
我院自1973年7月至1981年9月经临床血液学检查确诊为原发性血小板增多症10例,现报告如下。资料分析一、性别与年令:男3例,女7例,男女之比为04.3∶1,年令5~62岁,30岁以上8例,5
论文以文献阅读、资料整理和史料挖掘等为基础,运用比较、分析等方法对黄海化学工业研究社的人才群体、科研课题及其行了探讨,并对其制度模式方面进行了考察,得出如下结论:一
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊
论文分五章.第一章,绪论.通过对现实问题和理论文献的分析,明确了问题指向,把握了文献实质,客观地阐述了该课题研究的必要性、可能性和现实性.第二章,产业技术与城市化的概念
提出了一种结合C-均值聚类的自适应共振(Adaptive Resonance Theory 2,ART2)神经网络无监督学习分类方法,用于风电机组齿轮箱设备群的故障诊断.利用某风电场齿轮箱运行数据,
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
关于毛泽东和邓小平的经济建设辩证法思想一直是国内理论界的研究热点。以往的研究多是从历史进程的角度,回顾我国社会主义经济建设与改革的历程,总结其成功的经验和失败的教训
基于GOME和SCIAMACHY的对流层NO2卫星遥感数据,分析了1996~2010年中国对流层NO2柱浓度的时空变化特征。首先采用余弦函数拟合模型对NO2遥感数据中的无效值进行了修正,然后分析了NO2的空间分布与年际变化趋势。研究表明:中国对流层NO2的空间差异明显,西部地区15a平均对流层NO2柱浓度大多在0.5×1015 mol/cm2以下,而东部地区则大多在3.0×1015 mol/cm2