A10-057与FG5X-265对超导重力仪格值标定结果的对比分析

采用最小二乘与迭代算法,对A10-057绝对重力仪、FG5X-265绝对重力仪及iGrav-053超导重力仪的同期同址观测数据进行处理,得到FG5X-265及A10-057精密测定iGrav-053的格值因子分别为-883.9294 ns^(-2)/V、-884.134 ns^(-2)/V,标定精度为0.04826%、0.0937%,均优于0.1%。同时对比FG5X-265与A10-057在标定工作中各项测量指标与选取测量对数对标定结果的影响,通过列举多场景对格值精度的要求,最终证明A10型绝对重力仪具备标定相对重力仪的能力,为后续相对重力仪标定工作提供参考。

格值下推自动机与格值上下文无关文法

引入了格值下推自动机、格值上下文无关文法及它们的语言的概念,证明了格值下推自动机以两种不同方式接受的语言类的等价性,研究了格值Chomsky范式文法、格值上下文无关文法及其派生所产生的语言的等价条件,揭示了在一定条件下,格值下推自动机接受的语言类与格值上下文无关文法产生的语言类的等价性,证明了有理格值语言均被格值下推自动机识别。

CG型重力仪格值系数时空变化特征分析

对12台CG型重力仪格值系数的时空变化特征进行分析,结果表明,在同一读数范围内不同时间段所标定的格值系数会发生变化,在同一时间段内不同读数范围所标定的格值系数也存在差异。应用实例表明,利用测区内重力基准点间的数据来标定CG型重力仪的格值系数,其精度优于在国家基线场标定格值系数的精度。

以潮汐模型为约束的gPhone重力仪格值系数标定方法改进

以观测数据与DDW潮汐模型之差的均方根和重力残差为约束,对基于M2潮波标定gPhone重力仪格值系数的方法进行改进。利用改进方法对连续重力台网内的9台gPhone重力仪格值系数进行标定,基于M2潮波相对误差、残差振幅谱均方根等指标对标定结果进行精度评定,并与FG5绝对重力仪比测法、M_(2)潮波标定法进行比较。结果表明,改进方法的M2潮波潮汐因子与理论固体潮模型平均相对误差提高到0.2152%,残差振幅谱均方根平均达到1.6902μGal,与FG5比测法精度相当,优于M2潮波标定法。最后,讨论格值系数分布规律以及重力残差矢量与台站所在位置的经度依赖关系。

L集合范畴的格值函数空间及其性质

引入了L集合范畴中的一些基本概念,研究了L集合范畴的两种函数空间,即格值函数空间与伪格值函数空间,进一步指出了格值函数空间函子与格值积函子互为伴随,伪格值函数空间函子与格值并函子也互为伴随,并讨论了关于格值函数空间与伪格值函数空间的部分性质.

格值上下文无关文法的代数刻画

在格值逻辑框架下给出上下文无关文法及上下文无关语言的概念,给出格值逻辑意义下广义的格值子集构造方法,并证明了任一与除一步推导为格值以外,其余推导都是经典推导的之间的相互等价性。

以丽江地震台为例研究潮汐观测仪器格值变化检测及格值归化方法

针对形变固体潮汐类观测数据,提出了一种新的检测仪器格值变化的方法,即潮汐因子相除法,并从理论上推导了利用此方法检测由于格值变化引起潮汐因子变化的原理,同时还提出利用格值变化时间前后M2波潮汐因子比值作为系数进行格值归化的方法。最后,结合丽江地震台水平摆实际观测数据,验证了格值变化检测和格值归化方法的可行性,并论述了在分析数据长周期趋势变化前需进行格值检测和归化的重要性。

格值正则文法及其语言的性质

给出了(确定)格值正则文法与(确定)格值正则语言的定义.从一个新的角度,即文法的角度研究确定格值正则语言关于正则运算的封闭性,从而完善了格值正则语言的运算性质,并给出了格值正则文法与确定格值正则文法等价的条件.

格值可逆自动机的代数性质

首先在格值逻辑框架下引入格值自动机的概念,并提出可逆映射的概念,从而诱导出格值可逆自动机的概念;其次研究了格值可逆自动机的代数性质,同时给出保证该代数性质成立的充分必要条件.

格值上下文无关语言的运算性质

在格值逻辑框架下给出上下文无关文法及上下文无关语言的概念,并研究了格值上下文无关语言在正则运算下的封闭性。

几类格值自动机的关系

本文给出了四类格值自动机及其语言的定义,证明了前三类格值自动机的等价性,讨论了第四类格值自动机与前三类格值自动机的关系。

格值自动机与语言

引入了格值自动机及其语言的概念,给出了格值自动机的状态转移函数可扩充的充分必要条件,证明了确定型格值自动机与格值自动机等价的充分必要条件,研究了格值自动机的语言关于正则运算的封闭性及其条件.所得结论表明了格值自动机及其语言的特性与取值格代数性质的紧密联系.

基于格值逻辑的模糊概念格

从逻辑的角度,将非经典逻辑之一的格值逻辑引入概念格,建立了格值模糊形式背景,通过格结构来刻画对象与属性之间的模糊关系,证明了由蕴涵算子诱导的算子对是伽罗瓦连接,并讨论了相关的一些性质,进而给出了格值模糊概念格的构造算法。格值模糊概念格的建立为模糊性与不可比较性信息的处理提供了可靠的数学工具。

(Q)格值模型的省略型定理

将带广义量词Ｑ的一阶逻辑的二值弱模型推广到取值于完备弱可补格上，对有限的线性序弱可补格证明了省略型定理。

六台Z400重力仪的格值试验

简要介绍了利用野外基线法进行格值标定的方法以及格值试验的目的、要求和方法:通过对六台Z400重力仪的两次格值试验结果的分析,提出了在格值试验中使用长基线等建议。

格值交替树自动机

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

格值离散事件系统的监控

引入了赋值域是格时离散事件系统的形式化定义,并提出了由它所生成的语言的可控性概念,以及给出并证明了格值离散事件系统的可控性的充要条件。最后得到了给定语言的极大可控子语言和极小可控超语言的存在性的证明以及它们的表达式。

格值命题逻辑推理

本文给出了三类格值蕴涵算子公式.并以α→β=∨{x∈L|x∧α≤β}作为α蕴涵β的公式给出了格值命题逻辑推理的一些良好结论.

格蕴涵代数及基于格蕴涵代数的格值逻辑系统的研究

在智能信息处理领域中,非经典逻辑的研究已越来越受到十分广泛的关注,本文简要介招了近几年来我们在格值逻辑领域的一些理论研究工作,其中主要包括逻辑代数——格蕴涵代数、代数逻辑——格值逻辑以及相应的不确定性推理方面的内容。

Mizumoto格值有限自动机及其最小化

提出取值为格半群的Mizumoto格值有限自动机的概念,得到基于模糊字符串的Mizumoto格值有限自动机的扩张模型,并详细讨论了其性质。同时建立了扩张Mizumoto格值有限自动机与标准扩张Mizumoto格值有限自动机的等价性,在此基础上给出了其最小化算法。