第三章 子句

Prolog 语言是一种新颖的程序设计语言,其最主要的特点是能象人脑那样进行逻辑推理。它的语法简单,程序效率高,容易掌握。Turbo-Prolog 是美国 Borland 国际有限公司推出的一种用于 IBM-PC 系列微机的 Prolog 语言。它具有良好的用户界面和丰富的标准谓词,可广泛应用于人工智能、专家系统、办公自动化、人工自然语言理解、自动推理、关系数据库等领域。本书从第一章到第五章介绍了 Prolog 语言的基础知识。第六章介绍了 Turbo-Prolog 的标准谓词。第七章介绍了几个比较典型的例子。第八章分专题介绍了用 Turbo-Prolog 进行程序设计时所涉及的技术问题和编程技巧。附录 A 介绍了运行 Turbo-Prolog 系统的方法。各章均有许多例子供读者练习。本书可供计算机专家和具有计算机基础知识的科研人员,大学生,研究生阅读。     

界面的射线扰动理论(Ⅰ)

本文提出了一个计算横向不均匀介质中射线轨道和振幅扰动的新方法。哈密顿方法导出了联合计算傍轴射线和扰动射线的方法。扰动射线是由于速度分布及界面形状的微小变化引起的。我们用简单明了的笛卡尔坐标代替在经典的动力学射线追踪方法中使用的射线中心坐标。其优点是傍轴射线可以非常灵活地被认为是没有被扰动的射线。首先研究初始条件的扰动或傍轴射线追踪。利用这个方法,在中心射线附近传播的射线束可以借助所谓的傍轴射线传播算子进行追踪。这个射线传播算子是本文中讨论的所有方法的基础。文中将讨论怎样有效地确定它。我们提出了一个有限元方法。在这个方法中,介质被分成具有简单速度分布的梯形元。我们认为当在每个元中采用恒定的慢度平方的梯度值时就能得出较简单单的结果。本文的第二部分将计算速度结构和界面的扰动对射线轨道、振幅和波形的影响。我们的结果可以很容易地用来计算走时、振幅和波形线性反演中的Fréchet导数。最后,给出了在有扰动界面的简单介质中计算合成地震图的一个例子,并给出了几种典型的参考介质中计算扰动射线的简化表达式。     

1986年7—9月的全球地震动态

1986年第三季度的全球地震活动属于中等以上水平。美洲西海岸地震带的地震活动仍很活跃。萨尔瓦多的一次中强震造成很大损失。中国台湾地区目前处于强地震的活跃幕。大洋岛弧带的地震活动与1985年持平。亚欧带东段地震较为频繁。罗马尼亚弗朗恰地区又发生一次强烈的中深震。     

北京的长城

北京地区修筑长城的历史可追溯到战国时期。此后,北魏、北齐修筑的路城均经过北京地区。明朝是修筑长城工程最重要的时期。规模浩大．工程艰巨,超过了以往任何一个朝代。现在北京地区的长城就以明长城为主。     

美国坦纳博士评论英文版《地震学报》

《地震学报》是中国地震学会主办的刊物。主编为陈运泰教授,由《地震学报》编辑部出版,季刊。英国珀格曼(Pergmon)公司负责中国境外的发行。一年4期,订价550西德马克。《地震学报》是一种较新颖的出版物,由科学出版社,北京出版。它创刊于1979年。原来只有中文版。该刊物的英文版是中文版的全     

城市群地震灾害特点与防震减灾对策

城市群是我国经济迅速发展的产物。我国东部地区已经涌现了大量的城市群。城市群地震灾害比单个城市的地震灾害更为复杂、严重。地震对社会经济的影响更大。本文首次对城市群的地震灾害特点、防震减灾对策进行了系统的讨论，并着重指出了城市群防震减灾研究的重点领域。     

文明始源地 古城焕新生--淮阳古城的生态修复与文化传承

子之汤兮,宛丘之上兮。洵有情兮,而无望兮。坎其击鼓,宛丘之下。无冬无夏,值其鹭羽。坎其击缶,宛丘之道。无冬无夏,值其鹭翿。——《诗经·陈风·宛丘》城市是文明的载体,也是文明起源的重要标志。《诗经·陈风·宛丘》所描绘的地方就是中国城市的重要发源地之一——淮阳,也称宛丘、陈州。中国历史记载以"三皇五帝"为始,淮阳,就是人皇始祖伏羲氏的都城所在。伏羲在此观天法地。     

墨西哥大震特点与震害重复性讨论

本文叙述了1985年9月19日墨西哥8.1级地震的震害特点。这次大震造成严重破坏的地区是距震中400公里的墨西哥城。但仅是城中心区遭强烈破坏,而在城周围位于火山岩上的建筑未遭破坏。原因是墨西哥城中心位于厚达30—50米的松散湖相沉积基础上。不良地基是地震破坏敏感的主要原因。由于开采地下水而使墨西哥城地面强烈下沉。强烈的地面振动则使某些建筑物产生附加下沉与变形。墨西哥城的地震破坏再次说明震害具有重复性特点,历史上遭受多次地震破坏的墨西哥城,破坏区发生在同一地方。中、墨虽然在地震发生机制上有所不同,但在震害重复性特点上是类似的。墨西哥大地震给我们提供了许多经验教训。     

关于全国地震数据库的几点看法

全国地震数据系统的建立和使用,可以使地震数据资源共享。在计算机上实现地震数据的管理有两条途径:·地震数据文件的管理。·地震数据库系统。前者的管理软件,可按需要编制,在操作系统的支持下,实现起来较容易。但有两个问题不易克服。数据和程序彼此不能相互独立。数据文件之问很难建立起内在的联系。总之其管理效率欠佳。     

苏联地球物理学家斯特罗纳生平简介

斯特罗纳生于1891年,卒于1944年。他是大克里沃伊罗格地区卓越的磁异常研究人员,是克列缅楚格地区磁异常的创始人。他的名字为乌克兰的地质学家或地球物理学家所熟知。他的磁测成果被广泛应用。斯特罗纳出身于农民家庭。进过彼得堡矿     

763地震仪测定电流常数的改进方法

７６３地震仪测定电流常数的改进方法严旭东（中国广东５１０３２０广州基准地震台）由于７６３地震仪是一套光记录测震系统，按要求对电流计的常数（Ｄ。。、ａ。及Ｐ。）测定也应用光记录的方式来进行，然后做量算确定。其中Ｄ。。、ａ。的测定记录、量算，根据规范的要...     

煤炭传奇之五 从偶然到必然——煤炭的早期利用

正人类发现煤炭的那一天,将永远是一个谜。时间曾精确地记载了那一刻,却又漫不经心地磨灭了那一刻。煤炭所饱含的亿万年前的太阳的力量,必将成为推动人类进步的主要动力。现在,我们到了该追随人类的时候了。凭着野兽留下的蛛丝马迹追捕猎物,是人类最早学会的技能之一。这种古老实用的方法,被考古学家们沿用至今。他们"嗅觉"灵敏,游走于世界各地,在历史的河床中挖掘着我们每个人的家族故事。     

用极大似然法估计模态参数

本文提出了一个估计模态参数的方法。此法利用修改的高斯极小化方法,给出一组使极大似然平方函数和为最小的模态参数。 这个方法适用于象桥、坝和建筑物等大型结构的偏心起振机振动试验和结构脉动响应的分析。所采用的数学模型为线性和参数时不变的。 计算机实验结果表明,这个方法具有令人满意的可识别效力。即使存在很强的模态耦合也能估计出系统的模态参数。还可以给出参数的置信域。文章的最后还给出了一个实际例子。     

相对重力测量的双程工作法

目前我国地震系统相对重力测量的重要目的是为了探索地震前兆。一般来说,二点之间的重力差——段差的精度能控制在10μgl。以内,大概能确定“异常量”——可能是地震前兆。我国各省局、队大都使用石英弹簧重力仪。如沃登、环球等。而且都是规定三程观察。但不同的仪器是否可采用不同的工作方法?关键是工作质量能否达到要求。我所的工作基本上是采用双程测量方法。因此曾产生一些反对的看法。有些同志提出怀疑或认为资料不能使用。为此我们把问题提出来,并加以分析。     

含弱层岩石破裂前兆规律的数值模拟分析

利用数值模拟软件RFPA^2D模拟了含断层带岩体的破裂过程及其应力、位移和声发射前兆的复杂性和规律性。模拟结果表明。应力和位移在同一点的变化情况不同。不同点在同一时刻的位移和应力也不同。应力、位移和声发射在时间和空间上的分布呈现出一系列复杂图像。但是这些复杂变化并不是随机的。都遵循相同的物理过程和一定的演化规律。应力和位移的变化量比应力和位移本身更重要。同时这些变化的大小和断层结构紧密相关。而单一物理量的异常并不一定预示着必然的破裂。     

煤炭传奇之一 生命的栋梁——碳

地球三四十亿年的生命交响乐,它的主旋律是碳的化学演变。没有碳,就没有生命。碳,是生命世界的栋梁之材。我们来自何方?将去往何处?从远古的蛮荒直至今天的文明,这种疑问始终与人类相伴相随。几乎每一个人,在他有限的一生之中,或多或少都给过类似的问题以思考时间。或许因为,对于绝大多数人来说,这类思考不能解决任何实际问题,而流于一时无所事事的灵光乍现。所以迄今为止,有关生命的来源,我们仍然知之甚少。     

谈地质科普中对地球的认识

地球,人类赖以生存的家园,是地质学的研究对象。人类不断认识、探索、改造地球。地质科普,先从认识地球开始。本文以较通俗易懂的语言,带领读者认识熟悉而又陌生的地球。文章从地球的诞生说起,介绍了地球多灾多难而又顽强成长的童年,地球的形状,内部圈层和外部圈层结构等。地球同世界上任何有生命的物体一样,也有生老病死,有始有终。46亿岁的地球虽然还处于青壮年期,但保护地球是人类永恒的使命。     

串联边界值偏移

本文提出串联边界值偏移。它是基于完全标量波动方程的反向时间外推。这个新方法适于纵向和横向速度变化。偏移的倾角是没有限制的。即使到90°的断层也能很好偏移。同相轴可以在不同深度同时成象。所建议的是一个无条件稳定的有限差分格式。它是Von Neumann格式的变形。此格式可由计算机有效地执行。当把串联的概念应用于边界值偏移,可以很容易达到速度的变化和成象的精确。在计算的过程中,使用在任何时刻地表所接收到的波场进行逆时外推直到时间为零时成象就形成。令由较低速度的偏移每一次输出为另一个阶段偏移的输入,就把偏移串联起来,为了消除边界效应,把吸收边界条件应用于偏移区域网格的左边、右边和底边使用此有限差分算法可得到更好的偏移剖面。     

一条扁担挑起的命运

在皖南美丽的齐云山上。有这样一位单亲母亲。丈夫早年去世后,为了抚育3个孩子。她做起了连男人都望而生畏的挑山工。她每天都挑着100多斤重的货物。无论风雨、不计寒暑地走在崎岖的山路上。     

特大雪山冰激凌

(一)台北。张书豪的哥哥去世了,死时不到三十岁。张书豪跟在父母身后,强忍着泪水走过哥哥的棺椁。棺椁里放着各种哥哥生前喜爱的遗物,其中有一本手题的《骑行者日志》。张书豪将这本还在规划中的骑行日志揣到怀里。"你既然已经下决心了,那就没什么好说的了。你平常根本就不骑车,干嘛非要去找死呢?"张书豪的女友与他吻别分手前警告他。他想找到同行者,没有。挚友好