Lacoste-Romberg(G)型重力仪格值公式

本文根据Lacoste-Romberg(G)型重力仪(简称LCR(G)型重力仪)读数系统的结构特征,首次导出了LCR(G)型重力仪的相对重力公式和格值公式。并根据文[3]中提供的格值表,用本文导出的公式进行最小二乘曲线拟合,得到有关参数,利用所求参数计算了相应的格值,与文[3]中提供的格值符合得很好。

格值逻辑公式中短语和文字的可消性

本文分别给出了格值辽辑公式中短语和文字可消去的一些充要条件,从而为格值逻辑公式的化简提供了理论基础.

论分段格值计算重力单程观测法公式

国产石英弹簧大测程重力仪分段标定的格值相对变化 >1/ 14 0 0时 ,文中总结分段格值计算单程观测 (混合零点位移改正、固体潮改正、静掉格改正 )的公式。

格值交替树自动机

交替(树)自动机因其本身关于取补运算的简洁性及其与非确定型(树)自动机的等价性,成为自动机与模型检测领域研究的一个新方向.在格值交替自动机与经典交替树自动机概念的基础上,引入格值交替树自动机的概念,并研究了格值交替树自动机的代数封闭性和表达能力.首先,证明了对格值交替树自动机的转移函数取对偶运算,终止权重取补之后所得自动机与原自动机接受语言互补这一结论.其次,证明了格值交替树自动机关于交、并运算的封闭性.最后,讨论了格值交替树自动机和格值树自动机、格值非确定型自动机的表达能力;证明了格值交替树自动机与格值树自动机的等价性,并给出了二者相互转化的算法及其复杂度分析;同时,提供了用格值非确定型自动机来模拟格值交替树自动机的方法.