基于嵌套语义的约束代数

1

作者 陈良刚 《计算机科学》 CSCD 北大核心 2000年第5期96-99,共4页

1 引言约束数据库近期被Kanellakis等提出作为处理空间数据的一般性框架。约束数据库用约束来建模和检索数据。在数据层,约束能用有限的形式来表示可能是无限的关系元组集。例如,约束x^2+y^2≤9表示中心在点(0,0)处,半径为3的圆。在查... 1 引言约束数据库近期被Kanellakis等提出作为处理空间数据的一般性框架。约束数据库用约束来建模和检索数据。在数据层,约束能用有限的形式来表示可能是无限的关系元组集。例如,约束x^2+y^2≤9表示中心在点(0,0)处,半径为3的圆。在查询语言层,约束通过允许数学计算而增强了简单关系语言的表达能力,同时约束查询语言保留了关系查询语言的所有特征,如封闭性和自底向上求值。关系代数能被扩充来处理约束关系,这个新的代数叫做约束代数CALG。 展开更多

关键词 嵌套语义 约束代数 约束数据库 数据模型

在线阅读 下载PDF 职称材料

具有代数约束的STATCOM与凸极式发电机励磁协调控制研究 被引量：14

2

作者 李世芳 王杰 《中国电机工程学报》 EI CSCD 北大核心 2011年第13期26-32,共7页

主要研究含有静态同步补偿器装置的电力系统协调控制方法,以单机无穷大(single machine infinite bus,SMIB)系统为例,采用凸极式发电机(xd′≠xq)模型,并利用几何反馈线性化方法,进行励磁与静止同步补偿器(staticsynchronous compensato... 主要研究含有静态同步补偿器装置的电力系统协调控制方法,以单机无穷大(single machine infinite bus,SMIB)系统为例,采用凸极式发电机(xd′≠xq)模型,并利用几何反馈线性化方法,进行励磁与静止同步补偿器(staticsynchronous compensator,STATCOM)的协调控制。在所研究的系统模型中,假定STATCOM输出的电压向量方向与无穷大系统电压向量的夹角为任意的δS,建立凸极式发电机与STATCOM所组成的具有约束代数方程的非线性系统模型,弥补了凸极式发电机励磁与STATCOM协调控制技术研究的不足。克服了以往的STATCOM模型需要假设STATCOM输出电压向量在d轴的强约束条件,使得所研究的STATCOM模型与控制方法更加符合实际的工程应用。仿真结果表明了所提出的模型和协调控制方法的合理性和有效性。 展开更多

关键词 电力系统 凸极式发电机 静止同步补偿器 协调控制 几何反馈线性化 代数约束

在线阅读 下载PDF 职称材料

基于代数约束的图像生成 被引量：1

3

作者 李保洲 邓雁萍 李介谷 《上海交通大学学报》 EI CAS CSCD 北大核心 2000年第5期699-701,共3页

介绍一种新的由两幅不同角度的参考图像生成另一幅新的视角图像的图像生成方法 .该方法在极线几何的基础上 ,通过研究物体在 3个不同透视投影平面上对应点之间的相互关系 ,得到描述不同图像上对应点关系的一个三线性张量 .由此张量和参... 介绍一种新的由两幅不同角度的参考图像生成另一幅新的视角图像的图像生成方法 .该方法在极线几何的基础上 ,通过研究物体在 3个不同透视投影平面上对应点之间的相互关系 ,得到描述不同图像上对应点关系的一个三线性张量 .由此张量和参考图像便能得到新图像和参考图像之间的关系 ,进而生成新的视角图像 .和其他基于图像的二次投影方法相比 ,这里仅需要两幅参考图像 ,且实现方法简单快速 . 展开更多

关键词 图像生成 代数约束 二次投影 计算机图形学

在线阅读 下载PDF 职称材料

并肩三角形的几何定理和代数约束

4

作者 刘进忙 周炜 李涛 《空军工程大学学报（自然科学版）》 CSCD 北大核心 2016年第5期89-94,共6页

在对空中和海上目标的跟踪过程中,目标的航迹与雷达之间经常会构成一种特殊的"边并边"的三角关系。针对这种特殊的三角关系,引入了平面和球面并肩三角形的概念,研究了它们的几何定理和代数约束关系。针对实际作战环境中可能... 在对空中和海上目标的跟踪过程中,目标的航迹与雷达之间经常会构成一种特殊的"边并边"的三角关系。针对这种特殊的三角关系,引入了平面和球面并肩三角形的概念,研究了它们的几何定理和代数约束关系。针对实际作战环境中可能出现的目标运动状态发生变化或部分量测信息丢失问题,分别利用并肩三角形的边角关系和传统处理方法进行了目标跟踪的仿真实验。实验结果表明:传统处理方法往往由于运动模型的不匹配或量测间隔较大的原因,跟踪误差较大。所提出的并肩三角形的边角关系,能够充分利用具有边角关系的量测信息,得到较为理想的跟踪效果,证明了并肩三角形边角关系在实际作战过程中的适应性和有效性。 展开更多

关键词 并肩三角形 代数约束关系 目标跟踪

在线阅读 下载PDF 职称材料

具有线性代数约束的微分代数系统的Adomian分解解法

5

作者 冯再勇 陈宁 《西安理工大学学报》 CAS 北大核心 2015年第4期464-467,共4页

在回顾Adomian分解方法解微分方程的基础上,分析了利用Adomian分解方法解微分代数系统的主要困难。针对具有线性代数约束的微分代数系统给出了确定其代数变量解的便利方法,基于这种方法能够得到系统级数形式的精确解。最后举例验证了该... 在回顾Adomian分解方法解微分方程的基础上,分析了利用Adomian分解方法解微分代数系统的主要困难。针对具有线性代数约束的微分代数系统给出了确定其代数变量解的便利方法,基于这种方法能够得到系统级数形式的精确解。最后举例验证了该方法的有效性和实用性。 展开更多

关键词 微分代数系统 线性代数约束 Adomian分解 级数解

在线阅读 下载PDF 职称材料

基于代数约束的图像生成方法研究

6

作者 周小四 王淑华 李晓翔 《计算机工程》 CAS CSCD 北大核心 2002年第6期161-163,共3页

介绍一种利用代数约束的图像生成方法,用于从两幅不同角度的参考图像来生成另一幅新的视角图像。该方法通过研究物体在个不3同透视投影平面上对应点之间的相互关系,得到描述不同图像上对应点关系的一个三线性张量。由此张量和参考图像... 介绍一种利用代数约束的图像生成方法,用于从两幅不同角度的参考图像来生成另一幅新的视角图像。该方法通过研究物体在个不3同透视投影平面上对应点之间的相互关系,得到描述不同图像上对应点关系的一个三线性张量。由此张量和参考图像便能得到新图像和参考图像之间、对应点之间的代数关系,进而得到新的视角图像。和其他基于图像的二次投影方法相比,这里仅需要两幅参考图像,且实现方法简单快捷。实验效果令人较满意。 展开更多

关键词 代数约束 图像生成方法 三线性张量 二次投影 极线几何 计算机图形学

在线阅读 下载PDF 职称材料

代数约束与Harry-Dym方程的对合解

7

作者 袁忠信 《郑州大学学报（自然科学版）》 CAS 1991年第1期5-8,共4页

本文应用偏微分方程理论和非线性化方法寻求代数约束条件,证明了在代数约束下,矩阵 Lax 对被非线性化为两个有限维完全可积系统,且从相容的Hamilton 系统生成 Harry-Dym

关键词 代数约束 H-D方程 非线性化 对合解

在线阅读 下载PDF 职称材料

关系数据库中聚合代数约束的高效发现算法——AAC-Hunter

8

作者 张效伟 江大伟 +1 位作者 陈珂 陈刚 《计算机应用》 CSCD 北大核心 2021年第3期636-642,共7页

针对如何更好地维护关系数据库的数据完整性以及帮助审计员找出违规的报销记录的问题,提出了自动发现聚合代数约束(AAC)的算法AAC-Hunter。AAC是一种定义在数据库中两列的聚合结果之间的模糊约束,作用于大多数而非全部记录上。AAC-Hunte... 针对如何更好地维护关系数据库的数据完整性以及帮助审计员找出违规的报销记录的问题,提出了自动发现聚合代数约束(AAC)的算法AAC-Hunter。AAC是一种定义在数据库中两列的聚合结果之间的模糊约束,作用于大多数而非全部记录上。AAC-Hunter首先枚举连接、分组和代数表达式来产生候选AAC,然后分别计算这些候选AAC的值域集合,最后输出AAC结果。但该方法无法应对海量数据带来的性能挑战,因此AAC-Hunter提出了一套启发式规则减小候选约束空间规模以及基于中间结果复用和消除平凡候选AAC的两个优化策略来加速候选AAC的值域集合计算。实验结果表明了对比不使用启发式规则和优化策略的基线算法,AAC-Hunter在TPC-H和European Soccer数据集上分别减小了95.68%和99.94%的约束发现空间,分别缩短了96.58%和92.51%的运行时间。可见AAC-Hunter具备有效性,能够提升审计应用的效率和能力。 展开更多

关键词 约束发现 聚合代数约束 关系数据库 数据驱动 审计

在线阅读 下载PDF 职称材料

基于张量约束的图像二次投影

9

作者 李保洲 肖高逾 +1 位作者 邓雁萍 李介谷 《计算机工程与应用》 CSCD 北大核心 2000年第9期47-49,共3页

文章介绍了一种新的基于代数约束的图像生成方法，用于从两幅不同角度的参考图像来生成另一幅新的视角图像，即二次投影。该方法在极线几何的基础上，通过研究物体在三个不同透视投影平面上对应点之间的相互关系，得到描述不同图像上对... 文章介绍了一种新的基于代数约束的图像生成方法，用于从两幅不同角度的参考图像来生成另一幅新的视角图像，即二次投影。该方法在极线几何的基础上，通过研究物体在三个不同透视投影平面上对应点之间的相互关系，得到描述不同图像上对应点关系的一个三线性张量。由此张量和参考图像便能得到新图像和参考图像之间的关系，进而就可以生成新的视角图像。和其他基于图像的二次投影方法相比，这里仅需要两幅参考图像，且实现方法简单快速。实验给出了令人较满意的效果。 展开更多

关键词 图像二次投影 张量约束 计算机图形学 代数约束

在线阅读 下载PDF 职称材料

基于约束强跟踪滤波器的动态数据协调

10

作者 蒋余厂 刘爱伦 《化工学报》 EI CAS CSCD 北大核心 2011年第6期1626-1632,共7页

引言 在实际工业过程中,由于过程测量数据的不平衡性和不完备性,给过程分析和研究工作带来了很多困难,甚至失败。因此必须对过程数据进行校正,然而目前的数据校正方法大部分是面对稳态过程的，但实际情况中过程的条件更多地是处在变化... 引言 在实际工业过程中,由于过程测量数据的不平衡性和不完备性,给过程分析和研究工作带来了很多困难,甚至失败。因此必须对过程数据进行校正,然而目前的数据校正方法大部分是面对稳态过程的，但实际情况中过程的条件更多地是处在变化之中，此时稳态数据校正方法已不能满足要求。 展开更多

关键词 动态数据协调 强跟踪滤波器 代数约束

在线阅读 下载PDF 职称材料

含STATCOM装置的凸极式发电机励磁稳定控制设计 被引量：10

11

作者 李世芳 王杰 《电工技术学报》 EI CSCD 北大核心 2011年第7期173-180,共8页

针对单机无穷大系统,采用凸极式发电机(xd′≠xq)模型,建立了包含静态同步补偿器(STATCOM)的系统方程,并利用微分几何线性化方法,实现了凸极式发电机励磁与STATCOM的协调控制,克服了以往的STATCOM模型需要假设STATCOM输出电压矢量在d轴... 针对单机无穷大系统,采用凸极式发电机(xd′≠xq)模型,建立了包含静态同步补偿器(STATCOM)的系统方程,并利用微分几何线性化方法,实现了凸极式发电机励磁与STATCOM的协调控制,克服了以往的STATCOM模型需要假设STATCOM输出电压矢量在d轴的强约束条件。该设计方法进一步推广了微分几何线性化理论和控制器的应用范围,并提高了STATCOM与励磁协调控制的实用性。仿真结果表明文中所提出的模型和协调控制方法的合理性和有效性。 展开更多

关键词 凸极式发电机 STATCOM 协调控制 代数约束

在线阅读 下载PDF 职称材料

基于三线性张量生成图像的方法 被引量：1

12

作者 李保洲 邓雁萍 李介谷 《数据采集与处理》 CSCD 2000年第3期320-323,共4页

介绍了一种新的基于代数约束的图像生成方法 ,用于从两幅不同角度的参考图像生成另一幅新的视角图像 ,即二次投影。该方法在极线几何的基础上 ,通过研究物体在三个不同透视投影平面上对应点之间的相互关系 ,得到描述不同图像上对应点关... 介绍了一种新的基于代数约束的图像生成方法 ,用于从两幅不同角度的参考图像生成另一幅新的视角图像 ,即二次投影。该方法在极线几何的基础上 ,通过研究物体在三个不同透视投影平面上对应点之间的相互关系 ,得到描述不同图像上对应点关系的一个三线性张量。由此张量和参考图像便能得到新图像和参考图像之间的关系 ,进而生成新的视角图像。和其他基于图像的二次投影方法相比 ,这里仅需要两幅参考图像 ,且实现方法简单快速。实验给出了令人较满意的效果。 展开更多

关键词 代数约束 图像生成 三线性张量 计算机图形学

在线阅读 下载PDF 职称材料