一个基于两区间八边形约束的抽象域

抽象解释静态程序分析技术用来发现运行时错误,保证程序正确性,已经被成功应用到工业界。抽象域是抽象解释理论中的一个重要方面,然而大部分已存在的数值抽象域无法表示程序的非凸性质,抽象域的这种凸性限制很多时候会影响数值分析的精度,甚至带来更多误报。基于两区间八边形约束,提出了一个新的数值抽象域,其约束形式为x±y∈[a,b]∪[c,d],其中x和y表示变量取值,a,b,c,d∈R。该抽象域的域元素是用两区间八边形约束表示,因此可以表达某类非凸性质,表达能力强于经典的八边形抽象域,并且相对于八边形抽象域,域操作的计算复杂度并没有提高太多。     

Remote Sensing Prospecting in High Vegetation Coverage Area——A Case Study of the in Datuanbao Copper Ore Deposit

This article described the way to extract information of copper and lead anomaly in high vegetation coverage area through a case study from the Datuanbao copper ore deposit and its environs,Jiangcheng,Yunnan Province.Principal component analysis,false color composite,stretch Histogram and supervise classification etc were analyzed in the remote sensing images using ENVI4.6 software.It is suggested that the linear structure,which is delineated by convolution filter and morphological analysis method,is characterized by statistical self-similarity and fractal geometry.It is found that the high value of fractal dimension is roughly coincident with the copper and lead anomaly of vegetation by the comparison between contour maps of plant geochemical anomaly and fractal dimensions,which is calculated by box-counting.As a matter of fact,80 percent of copper and lead deposits or occurrences are located in areas of high value of fractal dimension and vegetation anomaly.By the comprehensive analysis of stratigraphy,igneous rocks,copper and lead mineralizations,fractal dimension of linear structures and vegetation anomaly from remote sensing,nine exploration targets with three levels of probabilities are figured out.     

Grammar semantics, analysis and parsing by abstract interpretation

We study abstract interpretations of a fixpoint protoderivation semantics defining the maximal derivations of a transitional semantics of context-free grammars akin to pushdown automata. The result is a hierarchy of bottom-up or top-down semantics refining the classical equational and derivational language semantics and including Knuth grammar problems, classical grammar flow analysis algorithms and parsing algorithms.     

Towards a Mobile Code Management Environment for Complex,Real-Time,Distributed Systems

We present a novel mobile code management environment,currently under design and development. Our design employs anopen architecture, suitable for ``plug-and-play' with COTS andother groups' tools. While we have studied new algorithms, costand objective functions, and other fundamental issues, the maincontribution of this experimental research work is in the environmentitself. It should be noted that networked platforms, such asthe World Wide Web, are inherently not suitable for traditional,predictable real-time applications. Thus, real-time concernsnecessarily need to be blended with others concerns, and thetarget applications, making use of our environment, will toobe a blend of partially hard real-time and partially (or mostly)soft-real- time ones. The prototype environment will thereforesupport performance-based analysis and management focusing notonly on predictability but also on compilation, efficiency, safetyand other tradeoffs. We have selected the Java language and itsbytecode format as a representation for mobile code as well asa language for our implementation.     

Discovering invariants via simple component analysis

We propose a new technique combining dynamic and static analysis of programs to find linear invariants. We use a statistical tool, called simple component analysis, to analyze partial execution traces of a given program. We get a new coordinate system in the vector space of program variables, which is used to specialize numerical abstract domains. As an application, we instantiate our technique to interval analysis of simple imperative programs and show some experimental evaluations.     

龙门山盆-山耦合带遥感地质解译

随着晚三叠世龙门山造山带的崛起,四川前陆盆地开始形成。强烈的喜马拉雅运动使龙门山进一步崛起,造就了龙门山与四川前陆盆地的盆-山耦合景观。结合遥感解译与实地调查,发现江油-灌县断裂带控制着前陆盆地的边缘,是一个构造形迹较为复杂的盆-山耦合断裂,由二王庙断裂和香水断裂组成,其主体断裂为二王庙断裂。而在四川前陆盆地西缘的香水断裂是半隐伏乃至全隐伏的盆地基底断裂构造,断裂在江油南西裸露地表且控制盆地边界,但在江油北东到广元则处于隐伏状态。香水断裂对盆地边缘早-中侏罗世盆地沉积相和晚侏罗世-早白垩世所谓＂城墙岩系＂巨厚磨拉石建造的形成均具有较强的控制性。     

英语饮食习语的像似性解读

英语饮食习语是英语民族国家饮食文化的浓缩,像似性地传达他们的饮食文明.从皮尔斯符号三分法的拟象符角度,阐释数量像似性、顺序像似性以及对称像似性在英语饮食习语构成上的体现.大量的例证表明习语并非不可分割、不可解读的,而是可以进行理据性分析的.     

分频相位分析技术在断层解释中的应用

相干技术通常是识别断层的常用方法,但在实际勘探过程中．常规的相干分析技术在识别复杂地质条件下的断裂系统有一定的不适应性。对此,本文开发了分频相位技术来解决常规相干的不适应性．利用分频突出断层响应的最优势频带．和相位对地层产状变化敏感的特点．克服了传统相干对垂向断距小的断层识别能力不足的问题。并将该技术应用在上海平湖地区及辽东地区,证实了分频相位技术针刈具体的目标研究区其优势频率的断层分布特征具有其独特的作用。