适用PC-E500便携式计算机的计算公路中桩、边桩坐标程序

在快速发展的公路建设事业中,使用GPS坐标控制系统的高等级公路日渐增多,并且,随着中国加入WTO,以及高精度的测量设备的广泛采用,其他等级公路也开始普遍应用坐标控制。使用坐标控制的公路项目,她有着线型流畅、行车速度快而舒适、环境优美等特点,而她的这一切优点都来源于高质量的设计与施工,     

菜单式典型图形平差程序

本文采用计算机图形学编制了菜单式典型图形平差程序。各种典型图形按页分屏显示,直接根据图形提示输入原始数据和观测数据,即可得到平差结果。     

平曲线坐标计算程序

根据铁路、公路施工放样测量的现场情况,使用CASIO4800P语言编写程序,对线路复合平曲线各点的大地坐标（局部坐标）及测量数据进行计算,并可根据已知点大地坐标（局部坐标）计算其对应的线路里程及至线路中心距离。     

固定转换参数的GPS网平差与坐标转换模型

分析了起始数据误差与坐标轴指向变化对于转换参数的影响 ,提出了采用固定转换参数的GPS基线向量与地面已知数据进行联合平差与转换的模型 ,探讨了采用该模型计算时应该注意的问题 .利用这一模型处理了上海地铁M8线GPS控制网的数据 ,结果表明 :当已知点位于GPS网的一侧时 ,采用这一模型能够显著地提高GPS控制网的外符合精度 .     

绘平面控制网图和误差椭圆图程序

本程序采用ＢＡＳＩＣ语言编制，用于ＰＣ－Ｅ５００袖珍计算机和ＮＦ－ＰＰ４０精密四色绘图仪。该程序适用于绘制各种平面控制网图和各点上的误差椭圆图。本程序使用键盘输入语句和置数语句、读数语句，计算机根据输入的数据，逐一打印，以便查对，然后绘出平面控制网图。根据使用者的需要，是否绘出各未知点上的误差椭圆图。最后打印出绘图比例尺。     

导线测量严密平差定权方法研究

阐述了导线测量严密平差观测值权的几种确定方法,通过大量工程实例的平差结果比较,研究分析了各种定权方法的合理性和特点,并对提高导线网平差结果可靠性的处理方法提出了新的认识和建议。     

短程三维导线网平差

本文提出的短程三维导线网按带有未知数的条件、分区平差法,可解决当方程式内未知数过多而计算机內存少的矛盾,加快了计算速度,並且其结果与三维导线网的整体平差的结果一致。     

基于待定点坐标的附和导线网间接平差原理研究

本文通过对一个附和路线中的待定点的坐标平差值、方差协方差阵、点位中误差和导线边边长的相对中误差的计算来绘出待定点的点位误差椭圆以及更好的了解导线网间接平差的原理和操作过程。     

对一测边网条件方程有误的分析

对测量普遍使用的测边网中条件平差问题进行了分析 ,比较了两种条件的方程式 ,指出了一个错误条件方程式的错误原因是一个没有度量标准的式子 ,并以实例进行了证明     

自由选择网的共享合成运算

给出了自由选择网 FC(free choice nets)的共享合成运算 ,并研究了共享合成网的性质 ,这些结果可为 FC网系统合成的静态和动态特性考察提供有力手段     

新扩展强化非对称选择网的活性

利用Petri网结构理论与对偶性，在非对称选择网(AC)中找到了一个子类：新扩展强化非对称选择网(NESAC)，它包含了强化非对称选择网(SAC)与扩展强化非对称选择网(ESAC)对称．给出了NESAC网结构活判定的充分必要条件以及它们的证明。     

以等价观测值法平差导线网

导线网是建立平面控制网的主要方法之一。由于导线网的点数较多,使得在微型计算机上进行平差计算带来困难。本文针对导线网的特点,提出以等价观测值的方法,按结点平差。平差的原理是每条导线节可以建立三个条件方程式,把条件方程式转化为误差方程式。这些误差方程式对应着一组虚拟观测值,并且证明这些虚拟测值是互相独立的,这样给平差带来方便。     

Petri网的两类广义组合并网

Petri网运算和组合是合成复杂系统的有效方法,由此提出了Petri网的两类广义组合并网,讨论了保持网的可重复性,相容性,有界性和守恒性的条件,为Petri网对于大系统的分析提供了新途径。     

Petri网的块组合并网及性能分析

提出Petri网的两类块组合并网,讨论了保持网的结构性质的条件,这些结果对Petri网的合成和分析是非常有用的.     

一级光电导线测量及其平差方法的研究

光电导线采用全站仪进行导线测量,按规范要求测出联测角、转折角和导线边长,并通过内业计算得出各导线点坐标,作为后续测量工作的依据。在内业计算中,角度闭合差和坐标增量闭合差都不得超过相关规范中一级导线的规定,方可进行闭合差修正。经分析,坐标增量闭合差的改正数算法存在一定问题,因此提出了新的计算方法,进一步提高导线测量结果的精度。     

基于随机Petri网的容灾系统安全性分析

该文采用基于状态的随机模型对容灾系统进行安全性分析。通过构建一个通用的远程容灾系统模型,使用随机回报网SRN描述了整个系统模型的备份与恢复过程,包括SRN模型中的各个位置、变迁的含义,对该系统模型进行建模。使用随机Petri网软件包SPNP对所建立模型进行仿真,通过对不同概率参数的设定得出系统可用性的量化值。仿真实验结果表明:不同的参数变化对系统可用性的影响不同,在本地备份中失效检测对于系统可用性的影响最大,远程备份中的失效检测对于系统可用性的影响最小。