【摘 要】
：
在代数语义学中,为了描述不一定终止的程序,把∑代数中的运算推广为载体集上的偏函数,并证明了:在一定条件下,共弱初始模型和弱终结模型是存在的。但是,已有的方法仅能适用于程序的静态结构与动态结构一致的情况。本文提出一种公理化方法,可以妥善地描述包括goto语句和分程序嵌套等动态成份的程序的代数语义,从而扩充了代数语义的应用范围。
【出 处】
：
中国科学(A辑 数学 物理学 天文学 技术科学)
论文部分内容阅读
在代数语义学中,为了描述不一定终止的程序,把∑代数中的运算推广为载体集上的偏函数,并证明了:在一定条件下,共弱初始模型和弱终结模型是存在的。但是,已有的方法仅能适用于程序的静态结构与动态结构一致的情况。本文提出一种公理化方法,可以妥善地描述包括goto语句和分程序嵌套等动态成份的程序的代数语义,从而扩充了代数语义的应用范围。
其他文献
本文考虑了一个由交换标量和矢量玻色子而相互作用着的核子系统的相对论Dirac-Hartree模型。我们应用此模型,对~(16)O,~(40)Ca和~(48)Ca等闭壳核作了相对论自洽场计算,在计算自洽迭代势中,采用样条函数方法和高斯积分,以改进数值计算,对结合能、能量本征值、自旋—轨道劈裂、均方根半径等等,作出了计算。这个模型能较好地描述这些物理量,计算结果对于标量玻色子参数变化的敏感性也作了讨论
使用X光背景照明诊断技术得到时间分幅。两维空间分辨消融型球靶内爆物理过程的信息,与解析模型比较推算出部分内爆过程动力学参量。在此基础上进一步讨论并建议使用双分幅X光背景照明诊断技术的可行性。
本文论述了在较宽脉冲或在人为引入预脉冲的激光与等离子体相互作用中的二次谐波发射的新特性,特别是在时间分辨特性上的截止或迟后发射的行为。研究表明,受激布里渊散射是导至低z靶所发射的二次谐波时间截止特性的主要原因;而经典逆轫致吸收则可能是决定高z靶的二次谐波发射的时间分辨特性的重要机制。
本文应用光弹方法,对带形裂缝的散射声场作了初步的实验研究。首次给出了当脉冲平面纵波和脉冲SV横波以不同入射角入射时,在带形裂缝上发生散射过程的照片,并进行了分析。实验结果与我们以前所作的理论分析对初始散射过程的预计较好地相符。光弹法观察又进一步显示了随后时期的一些散射现象。
本文对于零压物优的Friedmann宇宙模型,探讨在不同减速因子q_0下体积检验V/V_m的问题。首先了解在不同q_0值下,相当于红移(z,z_m)的V/V_m值。其次是对前人假定q=0和1下己算过的资料,即对3CR,4C和Parkes三表中三类样品,在一系列不同的q_0值下,计算平均值,并和前人的结果作比较,最后,分析研究q_0,z和V/V_m间的关系,并讨论体积检验方法的可靠性。得到结论:(1
本文对于多变量铁磁链方程组的齐次边值问题采用Galerkin方法证明了该问题弱解的存在性,并讨论了该问题的解当t→∞时的渐近性质和“blow up”问题。
本文讨论具有自转的Maclaurin椭球体在一快速运动的点质量潮汐力作用下,其形状、转动与各向异性压力下的各种关系。椭球体用20000个质点的无碰撞系统来模拟,由快速Fourier交换可计算得到自洽解。
文献[1—4]就弱混合条件下平稳序列的极值之极限分布进行过讨论。本文进一步推广到更一般的序列(包括同分布序列)的情形,并且得出文献[2,4—6]所涉及的高斯序列的极值问题正是本文所述渐近独立序列的极值问题的特殊情形,使所得结论包括了文献[1—7]中相应的主要结果。另外,本文以t_(?)代替通常的n,以u_n(x)代替x/a_(n)+b_n(a_n>0),使讨论更一般化。
本文提出了一种用瞬态相干光学效应直接测定偶极跃迁矩阵元的新方法。用CW激光器和Stark开关技术实现对气体分子的脉冲激发,当提供合适的相移,可以得到带有弛豫振荡的光学旋转回波效应,由振荡频率与偶极跃迁矩阵元的线性关系,可以直接确定偶极跃迁矩阵元的精确值。文中给出了完整的理论计算和实验方法,对~(13)CH_3F分子振转能级间偶极跃迁矩阵元的精确测量结果表明,理论考虑和实验方法都是正确的,这种方法的
本文应用交换技巧以及直接方法研究了二阶线性系统(1)的平凡解的稳定性,得到若干充分条件、必要条件以及充分必要条件,推广了文献[1—8]中的有关结果。