抽象解释全总域模型

抽象解释自1977年提出后,许多作者做了大量工作,将抽象解释理论应用于程序分析和验证研究等领域.本文为有关抽象解释论述构造了一个统一模型,称为抽象解释的全总域模型,目前现存的有关抽象解释文献所采取的框架都相容于全总域模型,且是等价的.在此基础上,我们还提出有关抽象解释理论需要解决的几个基本问题.模型和问题都可以作为今后抽象解释理论发展的参考基点.     

拉格斯特-隆贝格重力仪在煤田勘探上的应用

根据煤田与围岩存在密度差,会引起重力异常的实际情况,本文采用重力法进行煤田勘探,首先分析了重力勘探的可行性,然后在介绍了拉格斯特重力仪工作原理和技术指标的基础上,使用拉格斯特重力仪进行了煤田勘探,研究了煤田重力勘测的工作过程以及对重力异常的校正。     

发电机零起升压时的异常及处理

发电机零起升压的目的是为了检查设备有无故障点。它不像全压冲击那样很快地就加了全压,而是慢慢地使电压升高,这样一旦有故障那么定子电流就有反应,以便可以迅速把电压降下来,减少对设备的损坏,并进行相关调整,保证机组的安全运行。该文探析了发电机组在进行零起升压时遇到的一些问题,并阐述了处理方法。     

如何应对那几天的痛

正进入青春期的晓婷,生长发育得很好,可就一件事经常闹心——每次来月经时总是肚子痛。幸好不是太严重,忍一忍就过去了。可是,晓婷的父母听说,痛经会引起不孕不育,于是就带她到医院检查了一下。医生说没有发现异常病变,属于原发性痛经,只要晓婷注意日常保健和经期卫生,随着进一步的生长发育或结婚生育后就会好转的。     

蛟河舒兰井水温异常特征及映震分析

本文从吉林蛟河井与舒兰井井点位置和地震地质环境分析入手，对二处观测点资料异常可靠性进行评价。通过科学方法排除干扰，得出了基本的异常形态。对今后的观测水平提高和临震异常的扑捉有重要意义。     

时间序列异常值影响估计的探讨

在异常值影响的示性函数分别为脉冲函数和阶跃函数的条件下，对时间序列中经常出现的四类异常值的影响进行详细的分析，得到了其影响参数的估计值．     

农村异常宗教团体的调查与原因分析

改革开放后,中国社会进入了快速变迁时期,一些异常宗教团体开始出现。异常宗教信徒分为两类:祈求消灾者与规避风险者,但后者居多。前者皈信的主要原因是为了脱离匮乏状态,后者是为了应对社会变迁的冲击,用灵性的方法构筑一个"规避风险"的堡垒。如果能降低农民的匮乏程度及随社会变迁而带来的不确定感,就能很好地减弱皈信异常宗教团体的动机。     

神秘信仰因何存在

无论在东方还是西方,人们对各种"神秘信仰"的兴趣从来没有消失过,近现代以来变得愈来愈普遍。社会上流传着各种荒诞的说法,诸如心灵致动、思维传感、天外来客、UFO、史前文明、伊甸园的秘密、世纪之交等等。人们为何会对这些飘渺的话题感兴趣呢?     

云南班歪-爬窝地地区地球化学异常特征与找矿靶区预测

对云南班歪-爬窝地地区1∶2.5万地球化学数据研究表明,该地区的成矿元素组合主要为Ag-Pb-Zn-Cu;区内主要的铅锌矿床及矿化点都有相应元素显示异常,表明地球化学在本区具有重要指示意义.根据化探数据以及地质成矿规律、遥感影像分析,共圈定7个成矿靶区.经过野外证实,发现具有矿化现象,对下一步找矿具有重要意义.