【摘 要】
：
本文为电子计算机向量运算识别器研制了一种识别与构造算法,这种算法自成体系,被命名为“下标追踪法”。跟坐标方法和时性关系矩阵方法相比较,它不仅增强了对于赋值语句循环的识别能力,而且把识别范围扩张到IF与GOTO语句,正在诸如151-3/4大型序列机一类的系统上加以实施。 文中介绍下标追踪法的基本思想、基本理论和基本方法,主要提出构造时序层次的公理系统——繁衍规则,证明了年长顺序定理与判别准则。
【出 处】
：
中国科学(A辑 数学 物理学 天文学 技术科学)
论文部分内容阅读
本文为电子计算机向量运算识别器研制了一种识别与构造算法,这种算法自成体系,被命名为“下标追踪法”。跟坐标方法和时性关系矩阵方法相比较,它不仅增强了对于赋值语句循环的识别能力,而且把识别范围扩张到IF与GOTO语句,正在诸如151-3/4大型序列机一类的系统上加以实施。 文中介绍下标追踪法的基本思想、基本理论和基本方法,主要提出构造时序层次的公理系统——繁衍规则,证明了年长顺序定理与判别准则。
其他文献
本文的主要结果有二:一是给出一个环成立Kthe猜测的充要条件;另一是给出环的任一诣零单侧理想必是幂零的充要条件。
本文在关联基波函数这种处理量子多体系的变分理论框架下,推导出一个描写费米子体系的新的积分方程。根据开联键的顶角具有的各种不同的拓扑结构,细致地考虑了费米子所特有的交换特性。由于在这种新的Chakravarcy-Woo表述中,可以得到径向分布函数的各个交换部份,因此第一次可以应用Chakravarty-Woo方法同时计算出三种形式的动能数值。
本文对两类广义非线性schrdinger方程组的初边值问题给出了守恒的差分格式,它保持了原来微分方程所具有的一个或两个守恒关系,文中综合地运用了差分算子的Coболев不等式,Gronwall不等式和嵌入定理对差分方程的解,作出了先验估计,在此基础上证明了差分格式的稳定性和收敛性。差分方程组是一个超越方程组,对它,我们给出追赶迭代法求解的公式,并证明了解的收敛性。
本文给出了正圆柱体的轴向牛顿引力场的一般表达式,进而讨论了中空圆柱体的平稳点附近的引力场行为。
本文定义了一种新的奇异方向,命名为Nevanlinna方向,并且对下级为有穷的亚纯函数,证明它的存在性。
空气动力学方程组的固壁边界问题是谷超豪指出的空气动力学方程组的两类特征边界问题之一.陈恕行,Ebin都研究过这个问题,取得了一定的结果。 本文利用该方程组本身的特殊结构,使解在边界处的法向微商直接被切向微商所控制,改进了文献[3,4]的结果,证明了局部的连续可微解的存在和唯一性定理,
本文研究了在流动方向有缓慢变化的任意截面渠道中的非线性周期波、孤立波以及孤立波在这种渠道中的分裂;导出了适用于这种渠道的变系数KdV方程,并求出了该方程的首项近似解;得出了波速、周期、波高和渠道几何尺寸之间的关系,得到了分裂后孤立波个数的判别式及分裂后孤立波波幅的表示式,并应用于矩形渠道和左右对称的三角形渠道。对于矩形渠道的情况,本文的结果和Madsen和Mei,Johnson,Svendsen和
本文从B-S方程出发讨论相对论介子束缚态的一些普遍性质,包括0~--1~-介子的对称性,0~--1~-介子质量分裂等。结果表明,标量(1)或静矢(γ~4)相互作用可满足0~--1~-对称性;在相对论情形下,由单胶子交换矢量(γ_μ)势所引起的0~--1~-质量分裂,将以质量平方形式出现;在重夸克(层子)模型中,只有以赝标(γ_5)为主的相互作用,可近似地满足0~--1~-对称性,并可能给出合理的质
VLA的观测表明,Mark.8是由三个子成分组成的,它们对应于光学上的块斑(Clumps),其射电辐射谱符合于光学薄情况下的热谱。这些子成分浸在弥漫的壳层(背景)中,后者的辐射谱是非热的。射电观测表明,Mark.8在6厘米波长上的射电图同光学观测有良好的对应关系。 在热辐射的假设下,文中计算了射电子成分的电子密度和所含的电离氢的质量,结果表明,这些块斑的确可能是超巨型的HII区。 根据VLA的高分
本文对求回归函数的极值及回归函数的根的Kiefer-Wolfowitz(KW)算法及Robbins-Monro(RM)算法作了修改,使它适用于量测误差远较鞅差序列为广的ARMA过程,并给出简单条件,使算法分别收敛到回归函数的极值及根。由于用了概率方法和微分方程方法相结合的新的处理方法,所以算法所要求的条件很少,对量测误差为鞅差序列的特例,也比已知的结果更好。