-
题名几种递归变换的改进模式
- 1
-
-
作者
张为群
王旭仁
罗旭东
-
机构
西南师范大学
北京轻工业学院
-
出处
《计算机科学》
CSCD
北大核心
1995年第5期86-88,共3页
-
文摘
递归变换是程序自动设计中的一个研究课题。文[3,4]分别提出了几种递归变换,其可用条件中都包括单位元.我们基于文[8]的思想,讨论了对文[3,4]中几种变换的改进。
-
关键词
程序设计自动化
递归变换
Cooper变换
等价变换
-
Keywords
Automatic programming,Program trasformation, Recursive transformation.
-
分类号
TP311.51
[自动化与计算机技术—计算机软件与理论]
-
-
题名广义查询的一般右线性递归变换的正确性
- 2
-
-
作者
范明
-
机构
郑州大学计算机科学系
-
出处
《郑州大学学报（自然科学版）》
CAS
1993年第4期30-33,共4页
-
基金
河南省自然科学基金
河南省教委自然科学基金
-
文摘
在先前的研究中,我们提出了一种可用于处理广义查询的一般右线性变换,本文旨在证明该变换的正确性,并简略讨论其有效性。
-
关键词
数据库
递归查询
右线性递归变换
广义查询
-
Keywords
Deductive database
recursive query
generalized right-linear reeursion
-
分类号
TP311.13
[自动化与计算机技术—计算机软件与理论]
-
-
题名二阶A型Cooper变换的增强型
- 3
-
-
作者
廖元秀
潘晓玲
罗旭东
-
机构
广西师范大学数学系
-
出处
《高技术通讯》
CAS
CSCD
1995年第7期40-42,共3页
-
基金
863计划及国家自然科学基金
-
文摘
对二阶Ａ型Ｃｏｏｐｅｒ变换进行增强，放宽可用性条件，并证明了其正确性，最后举例说明其应用。
-
关键词
程序设计
递归变换
软件
自动化
-
Keywords
Automatic programming,Program transformation,Transverse program transformation,Recursive transformation.Structure induction
-
分类号
TP311.51
[自动化与计算机技术—计算机软件与理论]
-
-
题名扩展一阶B型Cooper变换
- 4
-
-
作者
潘晓玲
罗旭东
-
机构
北京轻工业学院自动化工程系
-
出处
《北京轻工业学院学报》
1995年第1期18-22,共5页
-
文摘
提出一种扩展一阶Ｂ型Ｃｏｏｐｅｒ变换模式，用结构归纳法证明了其正确性，并给出应用示例。
-
关键词
程序变换
递归变换
自动程序设计
-
Keywords
Program transformation
Recursive transformation
automated programming
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于多时间尺度状态估计的配电网实时态势预测
被引量：16
- 5
-
-
作者
李延真
郭英雷
彭博
孙媛媛
李良子
-
机构
国网山东省电力公司青岛供电公司
山东大学电气工程学院
-
出处
《电力工程技术》
2020年第2期127-134,共8页
-
基金
国家电网有限公司科技项目(SGYTHT/17-JS-201)。
-
文摘
为有效提升泛在电力物联网建设过程中的配电网运行安全感知能力,提出了一种基于多时间尺度状态估计的配电网实时态势预测方法,该方法可实现对配电网安全态势的快速、准确预测。首先,基于多元混合量测提出了多时间尺度递归动态状态估计方法,通过状态预测与伪量测递归变换改进了已有的量测线性等效变换方法,缩短了状态更新周期,在递归变换算法中添加了校正算法以消除伪量测波动误差,提高了状态估计算法的计算速度。然后基于状态估计得到历史估计状态,采用分区多元时间序列分析方法建立了实时状态预测模型,实现了配电网的实时安全性态势预测。最后在Matlab仿真平台中基于实际算例对所提方法进行了分析,结果验证了所提配电网实时态势预测方法的准确性和有效性。
-
关键词
配电网态势感知
泛在电力物联网
多时间尺度量测
状态估计
递归变换
-
Keywords
distribution system situational awareness
ubiquitous power Internet of Things
multi-timescale measurement
state estimation
recursive estimation
-
分类号
TM764
[电气工程—电力系统及自动化]
-
