摘要：频域输入输出法和最小二乘配置法是融合多种重力场信息精化局部大地水准面的两种方法。本文,笔者主要介绍了这两种融合方法的基本原理,推导了相关的实用计算公式,并在理论上比较了两者之间的异同。以融合GPS水准和重力异常数据精化局部大地水准面为例,通过实测数据计算分析了两种方法在精化局部重力场方面的精度情况。

摘要：给出了偏微分方程的h型有限元分析的双层网格最优精化设计方法。第一层是细化后验误差相对大的单元。后验误差是通过简化计算由单元平均流量为连接的单元Neumann型子问题而得到的误差界。简化计算就是只把由1／2单元尺寸所构成的网格上的泛函作为单元残余误差方程的试探函数,这样计算成本将非常小。某些精化后的网格的几何性质将变得很差,所以第二层又用Laplace光顺算法对网格的质量进行改进,并用两个例题验证了该方法。结果表明,算法达到最优收敛率,并提高了精度。

摘要：B方法是一种软件形式化方法,支持从规格说明到代码生成的整个软件开发周期。本文比较系统地分析了B方法规格说明的构造结构,并结合所设计的实例演示了用B方法编写规格说明的过程,简略地给出了其规格说明的证明义务,并对其规格说明进行了一次精化。

摘要：对大地高、正高与正常高的关系进行阐述,对机场工程场址条件较为困难时使用区域似大地水准面精化的方式满足大比例尺测图的可能性进行叙述,对"移去-恢复法"的计算方法、误差来源与精度评定方法进行论述,在实际算例中使用不同的EGM模型、不同的残差拟合方法所得到的结果进行比对,提出适合于机场工程大比例尺测图用控制网点正常高值拟合的方法。

摘要：内存管理是操作系统的重要组成部分,一个安全可靠的内存管理程序,对于操作系统的运行十分关键.采用传统软件开发方法开发的内存管理系统,安全性和可靠性得不到很好的保证.为此提出用形式化的B方法开发内存管理系统.首先使用B方法建立了内存管理的形式化模型,利用B工具对该阶段生成的证明义务进行证明,保证系统在初始规范说明层次上的内在一致性和设计的正确性.然后根据B方法分层构造的思想对上一阶段得到的抽象规范模型进行精化.最终得到一个可实现的内存管理模型,该模型更好地保证了系统的一致性和可靠性.

摘要：近几年来,GPS定位技术在测量专业迅猛发展,以其精度高、速度快、费用省、操作简便等优良特性被广泛应用于导航、动力大地测量如监测地壳变形、精化(似)大地水准面以及建立各种控制网等.可以说GPS定位技术已完全取代了用常规测角、测距手段建立大地控制网,在其平面定位技术日益成熟的同时,越来越多的人们开始关注GPS在测高方面的应用.

摘要：B方法是支持规格说明到软件设计和执行的形式化方法。文章研究了B方法中一种抽象机库的实现模型和生成代码,对该方法的特点进行评述。验证了B的正确可靠的实现方法,充分利用B方法的精化原则,提高了B形式化方法的开发验证效率。

摘要：Formal methods offer the promise of significant improvement on quality and reliability of critical embedded software. B-Method is employed to develop general-service ballistic computer programs in the paper, each of which can be adapted to a family of service/weapon-specific ballistic computers. Based on the structuring mechanisms of B-method, a unified approach is proposed to systematically control the complexity of ballistic parameters in the process of type and operation refinement, and ultimately a series of high reliable, reusable, and scalable programs are produced. Experiences with the application of the method and tools are also discussed.

摘要：0323450一种将设计模式用于程序精化演算的并行程序设计方法研究[刊]/万剑怡//计算机研究与发展.—2003,40(2).—318～324(E)并行程序设计是并行计算的难点之一。提出了一种将设计模式用于程序精化演算的并行程序设计方法。它通过在 Z 语言的 Schema 演算体系中扩充并行的概念和表示,使用设计模式。

摘要：工控行业对于多数人来说，貌似一个陌生的行业，但事实上它与我们日常生活息息相关。它主要是通过自动化来控制生产和制造过程，而整个控制过程最为重要的工具就是工控机，也称IPC，它和我们日常使用的PC在原理上是基本一致的，是一种加固的增强型的PC，专门应用于工业环境之中。比如路桥控制收费系统、通讯保障、智能交通管控系统、楼字监控安防、语音呼叫中心、POS柜台收银机、铁路、高速公路、航天、地铁、户外广告等等。