SQL查询到扩充的元组关系表达式变换 被引量：1

1

作者 景宁 陈火旺 王鸿谷 《计算机研究与发展》 EI CSCD 北大核心 1991年第4期21-27,共7页

SOL是标准的关系数据库查询语言,本文在关系代数和元组演算的基础上,定义了一种扩充的元组关系表达式,它能表达SOL 的聚集函数、分组运算、嵌套子查询。将SQL 变换为扩充的元组关系表达式,使我们可以用扩充的元组关系表达式来研究SQL ... SOL是标准的关系数据库查询语言,本文在关系代数和元组演算的基础上,定义了一种扩充的元组关系表达式,它能表达SOL 的聚集函数、分组运算、嵌套子查询。将SQL 变换为扩充的元组关系表达式,使我们可以用扩充的元组关系表达式来研究SQL 的语义和查询优化。 展开更多

关键词 数据库 元组 关系表达式 SQL

在线阅读 下载PDF 职称材料

泛表的构造及与限制关系表达式的关系

2

作者 郝忠孝 张英慧 《计算机研究与发展》 EI CSCD 北大核心 1996年第10期783-788,共6页

在本文中提出了泛表的新概念，讨论了泛表的性质、构造一个泛表的规则，详细分析和研究了泛表与限制关系表达式之间的关系。

关键词 泛关系 泛模式 泛表 限制关系表达式 关系数据库

在线阅读 下载PDF 职称材料

泛α表、泛β表及相应关系表达式的理论

3

作者 郝忠孝 《计算机研究与发展》 EI CSCD 北大核心 1996年第10期789-795,共7页

本文提出了泛α表、泛β表的概念，给出了由单调关系表达式构造泛α表的规则、由泛关系表达式构造泛β表的规则。同时，讨论了相应的理论。

关键词 泛α表 泛β表 泛关系表达式 数据库

在线阅读 下载PDF 职称材料

亲属关系的逻辑意义及其自动推理 被引量：8

4

作者 陈振宇 袁毓林 +1 位作者 张秀松 周强 《计算机工程与应用》 CSCD 北大核心 2009年第16期43-47,共5页

用一阶谓词逻辑设计了一个亲属关系的自动推理模型。首先,把亲属关系(称谓)视为谓词,相关的人物视为变元,把亲属关系和有关性质用"或"、"与"及"逆"等运算符号联结成亲属关系表达式。然后,选取11种基本的... 用一阶谓词逻辑设计了一个亲属关系的自动推理模型。首先,把亲属关系(称谓)视为谓词,相关的人物视为变元,把亲属关系和有关性质用"或"、"与"及"逆"等运算符号联结成亲属关系表达式。然后,选取11种基本的亲属关系作为亲属基元,并构造亲属基元转换和化简的九大定理,用以描写和定义其他一百多种亲属关系,从而形成亲属关系转换的核心知识库。最后,给出一种简洁的亲属关系转换算法,主要包括连接、求逆、化简和组配等运算。 展开更多

关键词 一阶谓词逻辑 亲属关系 自动推理 亲属关系表达式 求逆 化简

在线阅读 下载PDF 职称材料

谐波摩擦传动柔轮径向力与径向变形关系的分析

5

作者 银国伟 张明成 王立新 《机械设计与制造》 北大核心 2010年第12期205-207,共3页

对双波谐波摩擦传动机构中的筒形柔轮构件进行简化建模,根据其特点,将其简化为一端受一对径向力作用,另一端为自由状态的薄壁圆柱壳体。根据纵向无弯矩理论,运用解析法推导出了在该模型下柔轮径向力与径向变形之间的关系表达式;通过分析... 对双波谐波摩擦传动机构中的筒形柔轮构件进行简化建模,根据其特点,将其简化为一端受一对径向力作用,另一端为自由状态的薄壁圆柱壳体。根据纵向无弯矩理论,运用解析法推导出了在该模型下柔轮径向力与径向变形之间的关系表达式;通过分析,分别得到了在其他条件一定时,柔轮的半径、壁厚及筒长对柔轮径向力与径向变形关系的影响曲线;为下一步研究另一端有约束情况下柔轮径向力与径向变形之间的关系奠定了基础。 展开更多

关键词 谐波摩擦传动 柔轮 径向力 变形关系 分析 RADIAL force relationship 径向变形 薄壁圆柱壳体 关系表达式 自由状态 影响曲线 简化建模 传动机构 有约束 矩理论 解析法 筒形 条件 特点

在线阅读 下载PDF 职称材料

关系代数查询算法在Foxpro系统中的移植

6

作者 张正玺 焦占亚 《陕西科技大学学报（自然科学版）》 2003年第3期105-107,共3页

Foxpro系统基本命令集中提供有在表文件中顺序查询和索引查询的命令 ,但都是一次一记录的查询方式。Foxpro系统尽管是最小关系系统 ,但是关系代数中的投影、选择、连接、笛卡尔积和并运算都有不同程度的实现。作者在文中重点讨论了利用... Foxpro系统基本命令集中提供有在表文件中顺序查询和索引查询的命令 ,但都是一次一记录的查询方式。Foxpro系统尽管是最小关系系统 ,但是关系代数中的投影、选择、连接、笛卡尔积和并运算都有不同程度的实现。作者在文中重点讨论了利用这些关系代数运算并借助关系代数表达式的查询算法 。 展开更多

关键词 查询算法 FOXPRO系统 移植 索引查询 关系代数表达式

在线阅读 下载PDF 职称材料

结构化数据到XML数据的语义映射 被引量：6

7

作者 潘顺 金远平 欧阳晔 《东南大学学报（自然科学版）》 EI CAS CSCD 北大核心 2002年第3期331-334,共4页

XML的DTD机制不足以表现结构化数据的语义 .本文在路径约束的基础上 ,提出一种新的语义映射机制 .引入域的概念描述结构化数据到XML数据的结构映射 ,将结构化数据的平面结构映射为XML数据的树状结构 .通过有域层次的键规则表达式 ,将结... XML的DTD机制不足以表现结构化数据的语义 .本文在路径约束的基础上 ,提出一种新的语义映射机制 .引入域的概念描述结构化数据到XML数据的结构映射 ,将结构化数据的平面结构映射为XML数据的树状结构 .通过有域层次的键规则表达式 ,将结构化数据中分散在各表中的键的定义映射到XML数据中 .利用域的概念和模板匹配的原理 ,引入域关系表达式及其扩展表达式来实现结构化数据到XML数据的语义映射 .由此构成的语义映射机制可以和XML数据的模式抽取很好的集成在一起 。 展开更多

关键词 结构化数据 XML数据 语义映射 XML 键规则表达式 域关系表达式 语义约束 数据库

在线阅读 下载PDF 职称材料

板式橡胶支座设计承载力与恒载支反力分析 被引量：4

8

作者 汪洁 刘健新 童申家 《西安建筑科技大学学报（自然科学版）》 CSCD 北大核心 2005年第3期378-380,共3页

支座是桥梁结构的重要部件,也往往是设计中未能充分重视的部件,尤其是桥梁的结构设计与支座的工业设计联系尚显薄弱,支座往往凭经验选择,缺乏清晰的依据.针对目前公路桥梁中应用最为广泛的板式橡胶支座,简要介绍了其品种等概况,并给出... 支座是桥梁结构的重要部件,也往往是设计中未能充分重视的部件,尤其是桥梁的结构设计与支座的工业设计联系尚显薄弱,支座往往凭经验选择,缺乏清晰的依据.针对目前公路桥梁中应用最为广泛的板式橡胶支座,简要介绍了其品种等概况,并给出了一个支座恒载反力的计算实例,通过对收集到的陕西境内大量实桥的恒载支反力计算,在中华人民共和国交通行业标准中的公路桥梁板式像胶支座系列范围内,采用统计和回归的方法给出了板式橡胶支座设计承载力与恒载支反力的关系表达式和趋势线,建立起桥梁受力分析与支座性能之间的关系,从而为桥梁设计中的支座选择提供一种参考的依据. 展开更多

关键词 板式橡胶支座 恒载反力 关系表达式 趋势线

在线阅读 下载PDF 职称材料

获得原子、分子多光子电离截面的一种新方法

9

作者 林美荣 张国昌 +1 位作者 张包铮 陈文驹 《原子与分子物理学报》 CAS CSCD 北大核心 1990年第S1期178-179,共2页

多光子电离技术已被广泛地应用于原子、分子的高激发态及超精结构的研究,但以往的工作主要集中研究原子、分子的高激发态能级结构及其对称性,对于多光子吸收截面、电离截面以及无辐射弛豫速率等动力学重要参数的研究还不多。而这些参数... 多光子电离技术已被广泛地应用于原子、分子的高激发态及超精结构的研究,但以往的工作主要集中研究原子、分子的高激发态能级结构及其对称性,对于多光子吸收截面、电离截面以及无辐射弛豫速率等动力学重要参数的研究还不多。而这些参数对于了解多光子电离过程的机制是十分重要的。我们曾提出用拟合多光子电离离子数衰变曲线的方法求得多光子共振吸收截面,并用这种方法成功地通过实验获得了苯分子的双光子共振吸收截面。本工作在前面工作的基础上,从理论上推导出二能级系统非共振电离及三能级系统共振电离两种情况下,电离离子数与激发光强的关系表达式,并提出一种通过拟合关系曲线获得多光子电离截面的方法. 展开更多

关键词 多光子电离 三能级系统 电离过程 高激发态 二能级系统 双光子 离子数 衰变曲线 关系表达式 吸收截面

在线阅读 下载PDF 职称材料

一种多模态信息融合的视频检索模型 被引量：7

10

作者 张静 俞辉 《计算机应用》 CSCD 北大核心 2008年第1期199-201,213,共4页

针对包含复杂语义信息的视频检索的需要,提出了一种基于关系代数的多模态信息融合视频检索模型,该模型充分利用视频包含的文本、图像、高层语义概念等多模态特征,构造了对应于多个视频特征的查询模块,并创新地使用关系代数表达式对查询... 针对包含复杂语义信息的视频检索的需要,提出了一种基于关系代数的多模态信息融合视频检索模型,该模型充分利用视频包含的文本、图像、高层语义概念等多模态特征,构造了对应于多个视频特征的查询模块,并创新地使用关系代数表达式对查询得到的多模态信息进行融合。实验表明,该模型能够充分发挥多模型视频检索及基于关系代数表达式的融合策略在复杂语义视频检索中的优势,得到较好的查询结果。 展开更多

关键词 TRECVID 视频检索 多模态信息融合 关系代数表达式

在线阅读 下载PDF 职称材料

量子符号执行的优化

11

作者 姜楠 王子臣 +1 位作者 王健 王海亮 《北京工业大学学报》 CAS CSCD 北大核心 2023年第6期621-629,共9页

量子符号执行是一种为量子程序生成测试用例的技术.目前,量子符号执行只机械地根据被调试程序中的每一个条件语句来连续划分测试用例空间,没有考虑整个表达式以及条件语句的嵌套,导致量子线路比较复杂.为了解决该问题,提出对量子符号执... 量子符号执行是一种为量子程序生成测试用例的技术.目前,量子符号执行只机械地根据被调试程序中的每一个条件语句来连续划分测试用例空间,没有考虑整个表达式以及条件语句的嵌套,导致量子线路比较复杂.为了解决该问题,提出对量子符号执行的优化.首先,通过对关系表达式进行化简,直接减少量子模块个数,或者通过值的替换间接减少量子模块个数.其次,对逻辑与和逻辑或2类逻辑表达式分别提出简化线路的方法.最后,提出将嵌套条件语句看作外层与内层的逻辑与来简化线路,优化对量子符号执行中测试用例空间的划分.实验表明,该优化方法降低了实现量子符号执行线路的成本,包括量子门和量子比特个数. 展开更多

关键词 量子符号执行 线路优化 量子程序测试 关系表达式简化 逻辑表达式简化 嵌套条件简化

在线阅读 下载PDF 职称材料

长江科学院获得一项国家发明专利

12

《长江科学院院报》 CSCD 北大核心 2015年第9期36-36,共1页

2015年7月,长江科学院水土保持研究所研发“一种土壤溅蚀动力定量监测系统和方法”获得中华人民共和国知识产权局颁发的发明专利证书。该发明提供一种土壤溅蚀动力定量监测系统和方法,能够更精确地进行雨滴动能的测算、溅蚀量的采样，... 2015年7月,长江科学院水土保持研究所研发“一种土壤溅蚀动力定量监测系统和方法”获得中华人民共和国知识产权局颁发的发明专利证书。该发明提供一种土壤溅蚀动力定量监测系统和方法,能够更精确地进行雨滴动能的测算、溅蚀量的采样，以及雨滴动能和溅蚀量之间关系表达式的建立，从而能够更精确地预测在选定区域的土壤溅蚀量。 展开更多

关键词 长江科学院 雨滴动能 水土保持研究 定量监测 发明专利 关系表达式 选定区域

在线阅读 下载PDF 职称材料

BASIC语言基础知识讲座(二)

13

作者 郭维源 《上海体育学院学报》 1986年第2期45-48,共4页

第二讲条件程序设计上一讲,我们介绍了简单程序设计方法,即借助于LET、INPUT、READ/DATA和PRINT语句,可编写出按行号先后顺序执行的程序。但有些情况,这些语句是无法处理的。如: 1.将全班学生的学号和成绩送入计算机,打印出不及格者的... 第二讲条件程序设计上一讲,我们介绍了简单程序设计方法,即借助于LET、INPUT、READ/DATA和PRINT语句,可编写出按行号先后顺序执行的程序。但有些情况,这些语句是无法处理的。如: 1.将全班学生的学号和成绩送入计算机,打印出不及格者的学号和成绩。2.已知三名运动员的跳远成绩是4.99米、4.89米以及5.02米。 展开更多

关键词 程序流程图 转移语句 程序设计方法 计算机 学号 行号 关系表达式 执行程序 运行程序 结束程序

在线阅读 下载PDF 职称材料