基于等价变换的分布式查询优化方法研究 被引量：10

1

作者 陈波 高秀娥 陈来杰 《计算机工程与设计》 CSCD 北大核心 2006年第3期390-392,共3页

分析了分布式数据库的查询准则、代价估算及分布式查询的层次结构,并利用关系操作与SQL描述存在对应关系的特点,将分布式查询转换关系代数表达式,对关系代数表达式进行等价变换实现查询的优化,最后以实例对基于关系代数等价变换的分布... 分析了分布式数据库的查询准则、代价估算及分布式查询的层次结构,并利用关系操作与SQL描述存在对应关系的特点,将分布式查询转换关系代数表达式,对关系代数表达式进行等价变换实现查询的优化,最后以实例对基于关系代数等价变换的分布式数据库查询优化方法进行验证。 展开更多

关键词 关系代数 等价变换 分布式数据库 查询优化 SQL

在线阅读 下载PDF 职称材料

Camassa-Holm方程的等价变换 被引量：1

2

作者 邱燕红 田宝单 《量子电子学报》 CAS CSCD 北大核心 2009年第6期654-657,共4页

利用改进的直接方法得到了一类Camassa-Holm方程的等价变换和对称群定理,建立了方程新解与旧解之间的关系,在已有的一些精确解的基础上利用对称群定理得到了Camassa-Holm方程的许多新的显式精确解。

关键词 非线性方程 等价变换 直接方法 CAMASSA-HOLM方程 精确解

在线阅读 下载PDF 职称材料

SDL语言SAVE功能的等价变换 被引量：1

3

作者 刘玉璋 杨放春 《通信学报》 EI CSCD 北大核心 1994年第4期39-47,共9页

本文提出ＣＣＩＴＴ在ＳＤＬ基本集中定义的ＳＡＶＥ概念是可导出的新观点，并通过形式化地定义适合ＳＤＬ的扩展有限状态自动机（ＥＦＳＭ）模型，导出了一个消除ＳＡＶＥ的变换算法，同时证明了该算法保持了变换前后ＥＦＳＭ的等价性。

关键词 SDL语言 等价变换 SAVE

在线阅读 下载PDF 职称材料

一般非齐次非线性扩散方程的等价变换和高维不变子空间 被引量：1

4

作者 朱春蓉 窦彩玲 《数学年刊（A辑）》 CSCD 北大核心 2015年第3期291-302,共12页

结合压力变换和不变子空间方法中的等价变换,给出了一般非齐次非线性扩散方程的等价方程,并给出了等价方程的高维不变子空间.由此构造了一般非齐次非线性扩散方程的广义分离变量解,并给出了几个例子解释这个过程.

关键词 非线性扩散方程 不变子空间方法 等价变换 压力变换

在线阅读 下载PDF 职称材料

基于代数等价变换的线性互补问题内点算法

5

作者 李兴斯 何素艳 +1 位作者 潘少华 张洪武 《大连理工大学学报》 EI CAS CSCD 北大核心 2004年第3期337-341,共5页

分析了对线性互补问题的中心化方程xs=μe实施代数等价变换的作用,揭示出彭积明等人近期提出的自正则邻近度量方法相当于一种等价的幂变换,并在更一般的基础上,建立了一个基于幂变换的内点算法.通过一些考题与现有内点算法进行了数值比... 分析了对线性互补问题的中心化方程xs=μe实施代数等价变换的作用,揭示出彭积明等人近期提出的自正则邻近度量方法相当于一种等价的幂变换,并在更一般的基础上,建立了一个基于幂变换的内点算法.通过一些考题与现有内点算法进行了数值比较,结果显示了新算法的有效性和稳定性,并对某些问题显示出一定的优势. 展开更多

关键词 代数等价变换 线性互补 内点算法 幂变换 邻近性度量 线性规划

在线阅读 下载PDF 职称材料

DEDS双子模型的等价变换及其应用

6

作者 吴昊 肖雁鸿 彭永进 《控制理论与应用》 EI CAS CSCD 北大核心 2000年第1期23-26,共4页

提出了DEDS双子模型的等价变换与等价系统 ,给出了其定义 ,研究了其主要特性和计算方法 ,探讨了其在DEDS双子模型的简化、规范化及性能分析方面的应用 .文中还给出了等价变换在建模、传函矩阵计算和有关定理证明方面应用的实例 .

关键词 等价系统 等价变换 传函矩阵 双子模型 DEDS

在线阅读 下载PDF 职称材料

关于并行递归程序等价变换的若干研究

7

作者 蔡经球 《小型微型计算机系统》 CSCD 北大核心 1989年第11期32-36,共5页

一般而言,要把并行递归程序转化为等价的尾递归程序(它直接对应于循环迭代程序)是十分困难的。本文指出,具有某种性质的两类(分别称为α类和β类)并行递归程序可以转化为等价的尾递归程序,从而具有较高的时空运行效率。

关键词 并行递归程序 等价变换 程序变换

在线阅读 下载PDF 职称材料

sine-Gordon方程、sinh-Gordon方程与Getmanov方程之间的等价变换

8

作者 郭福奎 《应用数学》 CSCD 北大核心 1991年第1期112-115,共4页

1 广义Zakharov-Shabat系统的谱不变位势方程对于广义的Zakharov-Shabat系统(1.1)AKNS给出的谱不变位势应满足的条件有 r=-g,a_x=2qb,b_x=-2qa,q_i=2ib,(1.2) r=q,a_x=-2qb,b_x=-2qa,q_i=2ib,(1.3)并据此得到了(1.1)的谱不变位势方程 r=... 1 广义Zakharov-Shabat系统的谱不变位势方程对于广义的Zakharov-Shabat系统(1.1)AKNS给出的谱不变位势应满足的条件有 r=-g,a_x=2qb,b_x=-2qa,q_i=2ib,(1.2) r=q,a_x=-2qb,b_x=-2qa,q_i=2ib,(1.3)并据此得到了(1.1)的谱不变位势方程 r=-q=(1/2)u_x,a=(i/4)cosu,u_(xt)=sinu,(1.2a) r=q=(1/2)u_x,a=(i/4)coshu,u_(xt)=sinhu.(1.3a)由(1.2) 展开更多

关键词 谱不变位势 等价变换 N-孤子解

在线阅读 下载PDF 职称材料

外联接的等价变换与逻辑分析

9

作者 张二忠 楼荣生 《计算机科学》 CSCD 北大核心 1997年第6期73-76,共4页

在关系数据库巾,外联接是在允许空值情次下很重要的操作,()racle,Sybase等数据库管系统能够文持SQL外联接操作。由于目前对9QI,外联接和经典外联接研究还较少,因而限制了们的使用。

关键词 关系数据库 外联接 等价变换 逻辑分析

在线阅读 下载PDF 职称材料

特殊的多变量系统等价变换及其在自适应控制中的应用

10

作者 张青林 《安徽大学学报（自然科学版）》 CAS 1995年第1期47-51,共5页

对ｍ个输入ｍ个输出的可观且可控的多变量线性系统，且可观指数ｖｉ与可控指数μｉ均为ｒ，本文给出极其类似于单变量系统的频率及时域的各种表达式及其等价变换计算方法。在通过最小二乘辨识模型和经由状态估计与状态反馈进行极点任意... 对ｍ个输入ｍ个输出的可观且可控的多变量线性系统，且可观指数ｖｉ与可控指数μｉ均为ｒ，本文给出极其类似于单变量系统的频率及时域的各种表达式及其等价变换计算方法。在通过最小二乘辨识模型和经由状态估计与状态反馈进行极点任意配置的多变量系统自适应控制器设计方面，本文给出标准表达式将使推导过程变得简单明了。 展开更多

关键词 等价变换 多变量系统 自适应控制

在线阅读 下载PDF 职称材料

T型电路的等价变换实质及特性分析

11

作者 孟彦京 赵广社 《陕西科技大学学报（自然科学版）》 1995年第S1期20-23,共4页

磁场加速法分析中一个常用的方法就是引入α的等价变换，这种变换的实质是什么？物理意义是什么？本文加以说明。

关键词 等价变换 物理意义

在线阅读 下载PDF 职称材料

基于等价热力变换分析法的热泵性能分析软件 被引量：2

12

作者 陈则韶 谢文海 +1 位作者 胡芃 贾磊 《流体机械》 CSCD 北大核心 2013年第11期71-75,共5页

介绍了一种等价热力变换分析法的原理及基于该方法研发的热泵性能分析软件。等价热力变换分析法,是通过定义系统能量交换过程和循环的等效热力温度,把实际热泵内不可逆循环等价变换为逆卡诺循环进行分析的方法;其使用的3个关键参数:等... 介绍了一种等价热力变换分析法的原理及基于该方法研发的热泵性能分析软件。等价热力变换分析法,是通过定义系统能量交换过程和循环的等效热力温度,把实际热泵内不可逆循环等价变换为逆卡诺循环进行分析的方法;其使用的3个关键参数:等价逆卡诺循环的等效热源温度、等效冷凝温度和热泵理论循环的输出热流量,根据物性数据库拟合获得。而后,根据等价热力变换分析法,编制了热泵性能分析与优化软件。软件包括4个主功能模块:热泵性能单值分析、热泵性能区间分析、热泵有效能单值分析以及热泵有效能区间分析。通过选择相应的工质,并输入相应的设计参数,用户能够方便地获得相应工况下热泵的性能参数以及各环节有效能消耗数据。本软件适合变工况性能的模拟和预测,对热泵设计单位和用户有参考价值。 展开更多

关键词 等价热力变换 性能分析与优化软件 有效能

在线阅读 下载PDF 职称材料

带幂非线性项变系数非线性波动方程的李对称分类与等价性变换

13

作者 黄定江 杨勤民 周水庚 《数学年刊（A辑）》 CSCD 北大核心 2012年第4期389-398,共10页

从微分方程群理论分析角度,研究了一类含有3个任意函数和2个幂非线性项的变系数非线性波动方程.由于方程具有很强的任意性和非线性项,可通过等价性变换寻找方程的不变对称分类.首先给出了等价性变换的一般结果,其中包括一些包含任意元... 从微分方程群理论分析角度,研究了一类含有3个任意函数和2个幂非线性项的变系数非线性波动方程.由于方程具有很强的任意性和非线性项,可通过等价性变换寻找方程的不变对称分类.首先给出了等价性变换的一般结果,其中包括一些包含任意元的非局部变换.然后对所研究的方程,利用广义扩展等价群和条件等价群给出了方程的完全对称分类.最后获得并分析了方程的特殊类相似解. 展开更多

关键词 对称分类 等价性变换 波动方程 不变解 李代数

在线阅读 下载PDF 职称材料

论高级Petri网系统的等价谱系 被引量：9

14

作者 郝克刚 葛玮 《计算机学报》 EI CSCD 北大核心 1993年第7期553-558,共6页

高级网系统简洁明了,在Petri网系统的应用中是非常有效的。本文讨论了高级网系统的等价变换,提出了高级网系统的两种极端形式——最高网系统和最低网系统,并且证明了所有高级网系统都可以构造与其等价的最高网系统和最低网系统。此外,... 高级网系统简洁明了,在Petri网系统的应用中是非常有效的。本文讨论了高级网系统的等价变换,提出了高级网系统的两种极端形式——最高网系统和最低网系统,并且证明了所有高级网系统都可以构造与其等价的最高网系统和最低网系统。此外,还提出了高级网系统的等价谱系,旨在从理论上分析清楚高级网系统的本质。 展开更多

关键词 PETRI网系统 等价变换 最高网系统 最低网系统 软件工程

在线阅读 下载PDF 职称材料

一种基于SQL变换的分布式空间查询优化算法 被引量：1

15

作者 黄舟 陈斌 +3 位作者 方裕 彭霞 张珂 解学通 《高技术通讯》 CAS CSCD 北大核心 2007年第10期1013-1018,共6页

基于新一代GIS技术体系的空间数据的分布特点,提出了一种新的应用于分布式空间查询处理的混合启发式优化算法（HHOA）。该算法参考了传统的基于关系代数变换的启发式优化算法,同时为了克服单调采用直接连接或者半连接的弊端,引入了直接... 基于新一代GIS技术体系的空间数据的分布特点,提出了一种新的应用于分布式空间查询处理的混合启发式优化算法（HHOA）。该算法参考了传统的基于关系代数变换的启发式优化算法,同时为了克服单调采用直接连接或者半连接的弊端,引入了直接连接和半连接相混合的策略,实现更高的查询执行效率。实例研究表明,尤其是在涉及空间连接的查询前提下,该算法能够有效支持分布式空间查询的处理。 展开更多

关键词 新一代GIS 分布式空间查询 空间查询语言 等价变换

在线阅读 下载PDF 职称材料

关系代数派生算子语义表达式间等价性证明 被引量：2

16

作者 杨波 薛锦云 《计算机科学与探索》 CSCD 2008年第1期97-103,共7页

关系代数的派生算子在关系数据库查询语言中得到了广泛应用。它们的语义有两种常见的表示方式,一种是基于原始算子的表达式,一种是基于一阶逻辑的表达式。但有关的文献资料都没有给出这两种表达式等价性的严格证明。文章尝试通过一系列... 关系代数的派生算子在关系数据库查询语言中得到了广泛应用。它们的语义有两种常见的表示方式,一种是基于原始算子的表达式,一种是基于一阶逻辑的表达式。但有关的文献资料都没有给出这两种表达式等价性的严格证明。文章尝试通过一系列等价变换,证明派生算子语义的这两种表达式间的等价性。从派生算子(主要是除算子)语义的原始算子表达式出发,根据关系代数表达式的特点,通过一步步的等价变换,得到派生算子语义的一阶逻辑表达式。所使用的变换方法能为关系代数表达式的正确性证明打下基础。 展开更多

关键词 关系代数的派生算子 原始算子 一阶逻辑 除算子 等价变换

在线阅读 下载PDF 职称材料

几种递归变换的改进模式

17

作者 张为群 王旭仁 罗旭东 《计算机科学》 CSCD 北大核心 1995年第5期86-88,共3页

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

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

在线阅读 下载PDF 职称材料

RR变换及其推广

18

作者 范明 《郑州大学学报（理学版）》 CAS 1989年第2期40-44,共5页

RR变换能够把一类二重递归化为尾递归.本文给出RR变换的正确性证明,并拓广RR变换,给出一种新的递归算法等价变换模式——R^n变换.R^n变换能够把一类多分支的n重递归化为尾递归,从而直接对应于迭代结构.

关键词 等价变换 卷叠 递归算法 模式 尾递归 展开

在线阅读 下载PDF 职称材料

二进制翻译技术综述 被引量：3

19

作者 谢汶兵 田雪 +3 位作者 漆锋滨 武成岗 王俊 罗巧玲 《软件学报》 EI CSCD 北大核心 2024年第6期2687-2723,共37页

随着信息技术的快速发展,涌现出各种新型处理器体系结构.新的体系结构出现为处理器多样化发展带来机遇的同时也提出了巨大挑战,需要兼容运行已有软件,确保较为丰富的软件生态群.但要在短期内从源码编译构建大量生态软件并非易事,二进制... 随着信息技术的快速发展,涌现出各种新型处理器体系结构.新的体系结构出现为处理器多样化发展带来机遇的同时也提出了巨大挑战,需要兼容运行已有软件,确保较为丰富的软件生态群.但要在短期内从源码编译构建大量生态软件并非易事,二进制翻译作为一种直接从二进制层面迁移可执行代码技术,支持跨平台软件兼容运行,既扩大了软件生态群,又有效降低了应用程序与硬件之间的耦合度.近年来,二进制翻译技术研究取得了较大进展.为总结现有成果并分析存在的不足,首先介绍二进制翻译技术的分类以及典型的二进制翻译系统,之后从指令翻译方法、关键问题研究、优化技术等方面分别进行分析总结,接着阐述二进制翻译技术的核心应用领域,最后对二进制翻译技术的潜在研究方向进行展望. 展开更多

关键词 二进制翻译 翻译效率 等价变换 软件迁移 多融合优化

在线阅读 下载PDF 职称材料

基于有限相量测量单元测量故障分量信息的故障定位算法 被引量：14

20

作者 徐浩 苗世洪 +3 位作者 姜臻 张磊 曾飞 刘沛 《电力系统自动化》 EI CSCD 北大核心 2013年第2期43-48,共6页

提出了一种基于有限同步相量测量单元(PMU)测量故障分量信息的故障定位算法。采用间隔母线配置PMU的布点策略,即在2条配置有PMU的母线之间间隔一条非零注入并且未配置PMU的母线。该算法首先运用叠加原理获得系统的纯故障等值模型,进而... 提出了一种基于有限同步相量测量单元(PMU)测量故障分量信息的故障定位算法。采用间隔母线配置PMU的布点策略,即在2条配置有PMU的母线之间间隔一条非零注入并且未配置PMU的母线。该算法首先运用叠加原理获得系统的纯故障等值模型,进而对纯故障等值模型进行等价变换,以获得故障线路两端的系统阻抗等值模型和故障点注入电流源的转移等值模型,最后结合这2种等值模型,实现对故障点的精确定位。该算法没有迭代过程,不存在伪根问题,且计算量小。此外,该算法不受电网拓扑、过渡电阻、振荡状态及系统运行方式的影响。动模试验结果验证了该方法的有效性。 展开更多

关键词 相量测量单元 故障分量 故障定位 等价变换

在线阅读 下载PDF 职称材料