1) height sequences
高程序列
2) GPS height time series
GPS高程时间序列
1.
Autoregressive moving average (ARMA) method is applied to modeling GPS height time series of IGS fiducial stations.
ARMA可用于时间序列建模,本文利用ARMA模型改进了部分IGS连续跟踪站GPS高程时间序列。
3) sequential programs
序列程序
1.
In order to avoid the infeasible path and state explosion problem during test cases generation,this paper presents a formal method to generate test cases for sequential programs written in a flow based program language.
为避免现有产生测试用例过程中隐含的不可行路径和状态爆炸问题,提出一种对基于流的序列程序产生测试用例的形式化方法。
4) program sequence
程序序列
5) main program sequence
主程序序列
6) equations sequence
方程序列
1.
In this paper,the existence and uniqueness theorem of the solutions for system of nonlinear set-valued operator equations sequence in a class of Menger PN-space with(φ,Δ)-type probabilistic contractor couple are presented and proved,which generalizes the corresponding results of Chang S S etc.
给出并证明了Menger PN-空间中一类具有(φ,Δ)-型概率收缩偶序列的非线性集值算子方程序列解的存在性及其迭代收敛定理,推广了张石生等人的结果,利用此定理,获得了一个映象序列的不动点定理,并研究了关于Fuzzy映象的非线性方程序列的解。
补充资料：大地高程
见高程系统。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条