检索结果-内蒙古大学图书馆

几种递归变换的改进模式

引用

计算机科学 1995年第5期22卷 86-88页

作者：张为群王旭仁罗旭东西南师范大学重庆630715 北京轻工业学院北京100037

递归变换是程序自动设计中的一个研究课题。文[3,4]分别提出了几种递归变换,其可用条件中都包括单位元.我们基于文[8]的思想,讨论了对文[3,4]中几种变换的改进。

关键词：程序设计自动化递归变换 Cooper变换等价变换

来源：评论

学校读者我要写书评

暂无评论

递归变换语法与多级双向矩阵

引用

计算机学报 1979年第4期 265-277页

作者：黄肇德张寿萱浙江大学上海造船工艺研究所

本文论述了程序设计语言的变换,给出了程序设计语言变抉的元语法——递归变换语法,同时给出其实现的方法——多级双向矩阵,作为一个实例,本文给出了“多带上一机”的方法。递归变换语法以基语言的语法为基础,采用通常的语法公式,增加第... 详细信息

本文论述了程序设计语言的变换,给出了程序设计语言变抉的元语法——递归变换语法,同时给出其实现的方法——多级双向矩阵,作为一个实例,本文给出了“多带上一机”的方法。递归变换语法以基语言的语法为基础,采用通常的语法公式,增加第二右部并在其中插入语义子程序来实现用户所使用或定义的语言至基语言的映照。多级双向矩阵是同样模式的矩阵的叠式结构。本文并描述了已在DJS-8计算机上实现的变换生成系统——TGS。

关键词：递归变换布尔矩阵语法文法计算机

来源：评论

学校读者我要写书评

暂无评论

递归变换语法与多级双向矩阵

引用

浙江大学学报(工学版) 1978年第4期 28-40页

作者：黄肇德张寿萱浙江大学六机部十一所

本文论述了程序设计语言的变换。本文定义了将用户定义的语言映照为基语言的元语法——递归变换语法,同时给出其实现的方法——多级双向矩阵。作为一个实例,本文解决了“多带上一机”的问题。

关键词：递归变换定义翻译机器语言语法文法计算机归约条件

来源：评论

学校读者我要写书评

暂无评论

关于倒数方程解法中递归变换系数的推导

引用

数学通报 1983年第9期 22-26页

作者：张君达北京第三师范学校

[1]中指出每一个x~n+1/x~n或x~n+(-1)/x~n可以表为多项武Fn(x+1/x)或Fn(x-1/x),并给出递归变换的分离系数表A与表B。本文将在[1]的基础上,给出表A、表B的第n行元素的计算,同时介绍这个结果的一个应用。

关键词：递归变换倒数方程同解方程方程的根正偶数多项式第二数学归纳法自然数

来源：评论

学校读者我要写书评

暂无评论

基于多时间尺度状态估计的配电网实时态势预测

引用

电力工程技术 2020年第2期39卷 127-134页

作者：李延真郭英雷彭博孙媛媛李良子国网山东省电力公司青岛供电公司山东青岛266002 山东大学电气工程学院山东济南250061

为有效提升泛在电力物联网建设过程中的配电网运行安全感知能力,提出了一种基于多时间尺度状态估计的配电网实时态势预测方法,该方法可实现对配电网安全态势的快速、准确预测。首先,基于多元混合量测提出了多时间尺度递归动态状态估计方... 详细信息

为有效提升泛在电力物联网建设过程中的配电网运行安全感知能力,提出了一种基于多时间尺度状态估计的配电网实时态势预测方法,该方法可实现对配电网安全态势的快速、准确预测。首先,基于多元混合量测提出了多时间尺度递归动态状态估计方法,通过状态预测与伪量测递归变换改进了已有的量测线性等效变换方法,缩短了状态更新周期,在递归变换算法中添加了校正算法以消除伪量测波动误差,提高了状态估计算法的计算速度。然后基于状态估计得到历史估计状态,采用分区多元时间序列分析方法建立了实时状态预测模型,实现了配电网的实时安全性态势预测。最后在Matlab仿真平台中基于实际算例对所提方法进行了分析,结果验证了所提配电网实时态势预测方法的准确性和有效性。

关键词：配电网态势感知泛在电力物联网多时间尺度量测状态估计递归变换

来源：评论

学校读者我要写书评

暂无评论

二阶A型Cooper变换的增强型

引用

高技术通讯 1995年第7期5卷 40-42页

作者：廖元秀潘晓玲罗旭东广西师范大学数学系北京轻工业学院自动化工程系

对二阶Ａ型Ｃｏｏｐｅｒ变换进行增强，放宽可用性条件，并证明了其正确性，最后举例说明其应用。

关键词：程序设计递归变换软件自动化

来源：评论

学校读者我要写书评

暂无评论

程序设计方法学(下)

引用

计算机研究与发展 1983年第3期 1-33页

作者：仲萃豪冯玉琳中国科学院计算所中国科学技术大学

十、程序的形式推导技术10.1 程序的形式语义程序变量的一组可能取值,称为是一个状态,Hoare公式{P}S{θ}的前谓词P和后谓词Q分別确定了程序S执行的初始状态和终结状态所需满足的条件,因此,可以说,这种谓词刻画了程序语言结构的语义特征... 详细信息

十、程序的形式推导技术10.1 程序的形式语义程序变量的一组可能取值,称为是一个状态,Hoare公式{P}S{θ}的前谓词P和后谓词Q分別确定了程序S执行的初始状态和终结状态所需满足的条件,因此,可以说,这种谓词刻画了程序语言结构的语义特征。然而,前谓词P确定的只是一个充分条件,以满足前谓词P的程序状态作为初始状态,执行程序S,导致的结果状态必然满足Q