【摘 要】
:
完备性问题是抽象数据类型理论中的一个基本问题。本文提出了相对完备与基始完备的概念;讨论了描述的基始完备与模型的行为等价、描述的相对完备与模型的计算等价之间的一致性;证明了基始完备的描述可唯一地扩充成为相对完备,原描述的“终结模型”恰好就是其极大扩充的“初始模型”,从而揭示了“初始代数语义”与“终结代数语义”这两种不同方法之间的内在联系。
【出 处】
:
中国科学(A辑 数学 物理学 天文学 技术科学)
论文部分内容阅读
完备性问题是抽象数据类型理论中的一个基本问题。本文提出了相对完备与基始完备的概念;讨论了描述的基始完备与模型的行为等价、描述的相对完备与模型的计算等价之间的一致性;证明了基始完备的描述可唯一地扩充成为相对完备,原描述的“终结模型”恰好就是其极大扩充的“初始模型”,从而揭示了“初始代数语义”与“终结代数语义”这两种不同方法之间的内在联系。
其他文献
本文利用多元样条的协调条件、平面图理论和空间同构的方法建立了对于所有μ≥1,k≥4μ+1和任意三角剖分T的样条空间S_k~μ(T)的维数公式,对于一类尽可能任意的三角剖分T=T(μ),本文也给出了当k≥μ+1时S_k~μ(T)的维数公式。特别当μ=1,2时此类剖分在逼近问题上有明显的实用性。
本文证明了对于△(G)≥3的外平面图G,全色数X_T(G)=△(G)+1。
对于分圆函数域k(Λ_M)的每个子域L,本文给出L中分圆单位系的秩公式和独立性的一些等价条件,并决定出具有独立分圆单位系的全部分圆函数域。
本文发展了一个解析的数学模型,用来描述密度层化的河口陆架水相互作用区上的定常流动。将各运动量按照垂直Ekman层的相对厚度展开后可以证明,在每一层中的零阶运动是地转的。据一阶运动的平衡关系,对于线性倾斜的海底地形,本文得到了流线分布的显式解。可以证明,河口卷流的流动特征依赖于口门处的层化和流动结构、海底坡度和背景沿岸流场。在一定条件下,在河口卷流的离岸一侧存在着盐锋。这些结果被用来同长江口和Che
本文在文献[1]的基础上,按照流场中长度尺度分布,惯性项与粘性项相对大小及数量级简化基本方程和划分流动区域的原则,给出:(1)可压缩绕球粘性流和射流的简化Navier-Stokes(NS)方程的层次结构和诸简化NS方程(SNSE),表明从边界层方程到NS方程和从Euler方程到NS方程的层次结构均包含十多种SNSE,但就SNSE的数学特征而言证明只有椭圆型,扩散抛物化和抛物型三类;(2)扩散抛物化
本文报告对正负电子三光子湮没进行的一系列实验的结果,包括三光子湮没光子的能量与角度关联、三光子湮没光子的角分布、三光子湮没光子的能谱、三光子湮没光子的线极化、测量三光子湮没强度的方法和三重态电子偶素衰变中轴子的上限。
本文在CfA红移巡天资料的基础上,对不同光度的星系进行空间两点相关函数的分析,并比较所得结果可以看到,不同光度星系的大尺度分布存在明显的差异。尽管其相关函数均以幂律形式表示,但其幂指数的绝对值,成团的幅度和成团的尺度均随光度的增加而增大。对不同光度星系大尺度分布的进一步研究,对宇宙中物质的分布和星系的起源和演化的研究都给出了新的限制。
本文提出了关于非线性电路和系统的故障诊断的一种新理论——Volterra泛函级数理论,并以此为基础,发展了非线性电路和系统故障诊断的故障方程递归法和故障证明的决策法。它们是两种SAT方法,不但大大减小了仿真的工作量,而且适于线性与非线性系统、硬故障和软故障、参数识别和故障隔离。同时它们又是完全解析的频域中的符号法,因而适于任意动态非线性系统。
本文认为Chandler摆动并不象过去所认为的那样复杂。一个具有单一固有频率,固定的初始位相和在实数域中变化的振幅这样的简单模式,可以很好地描述实际的Chandler摆动,并解释摆动的各种统计特征,该模式在物理上也容易被接受。
不久前,我们研究过在压电晶体表面一维源分布激发所产生的弹性波场。本文将推广到具有更普遍意义的二维任意源分布的激发问题。此时广义弹性波场是等于广义Green函数张量和广义力的双重点乘卷积。广义Green函数可以分别写成对应表面波、体波和静电效应三部分之和。利用二重积分的稳相方法,求得在远场的表面波和体波的渐近解,最后,举例进行了数值计算。