用变分方法校准天气雷达测定区域降水量的数值计算和精度分析

本文应用武汉地区1987年5月25日和5月12日二次降水过程的WSR—81S型数字化雷达的彩色分层数字资料和自动雨量计校准子系统的雨量资料。分别用变分方法和平均校准方法去校准雷达测定区域降水量,并对这两种方法进行比较,发现变分校准技术的效果最佳,能够达到一定的精度。同时介绍了变分方程的数值解法及其权重系数的选择,分析比较了Column Max和ZPPI两种图像数字资料的使用效果。     

高层建筑液化地基处理的研究

本文主要介绍拟建于严重液化场区内高层建筑地基处理的研究成果。研究表明:采用袋装砂井处理,能够收到防液化效果,但应注意时间效应;当地震烈度为7°时,对桩基础的高层建筑,只需利用沉桩作用,即可获得较好的抗震加固效果;若袋装砂井与沉桩共同作用进行处理,其抗震加固效果尤为理想,即使当地震烈度达到8°时,也不会产生液化现象。     

第四章 控制

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

第五章 表处理

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