期刊文献+
共找到14篇文章
< 1 >
每页显示 20 50 100
Oracle Text技术在复杂结构数据库中的应用 被引量:5
1
作者 蒙辉 陈燕 《计算机技术与发展》 2007年第4期38-40,44,共4页
全文检索技术是智能信息管理的关键技术之一,Oracle Text作为Oracle9i的一个组件,提供了强大的全文检索功能。但Oracle Text全文检索技术只是针对表结构相对固定的数据库,而对表结构以及表数量不断变化的数据库实现全文检索的能力是不... 全文检索技术是智能信息管理的关键技术之一,Oracle Text作为Oracle9i的一个组件,提供了强大的全文检索功能。但Oracle Text全文检索技术只是针对表结构相对固定的数据库,而对表结构以及表数量不断变化的数据库实现全文检索的能力是不足的。文中介绍了Oracle Text全文检索技术的方法和步骤,阐述了其在复杂结构数据库中的具体应用,最后程序实现了所设计的全文检索技术。 展开更多
关键词 ORACLE TEXT 复杂结构数据 全文检索
下载PDF
基于复杂结构数据聚类的推荐系统 被引量:1
2
作者 李琳娜 张志平 《高技术通讯》 CAS CSCD 北大核心 2011年第11期1115-1120,共6页
针对目前推荐系统存在的不能处理结构复杂、语义丰富领域的推荐问题以及对项目空间和用户空间本质特征理解的狭窄性和简单性、稀疏性问题、可扩展性问题,研究了基于复杂结构数据聚类的推荐方法,提出了一个新颖、有效、具有高可扩展性... 针对目前推荐系统存在的不能处理结构复杂、语义丰富领域的推荐问题以及对项目空间和用户空间本质特征理解的狭窄性和简单性、稀疏性问题、可扩展性问题,研究了基于复杂结构数据聚类的推荐方法,提出了一个新颖、有效、具有高可扩展性的基于复杂结构数据聚类的混合型推荐系统HRSCCSD。该系统能同时融合用户语义、项目语义和项目协同多方面信息,极大地拓展了当前推荐系统的应用深度和广度。实验表明,所提出的推荐技术在覆盖性、准确性以及可扩展性方面均优于当前主流的推荐技术。 展开更多
关键词 复杂结构数据(CSD) 推荐系统 Escher语言 高阶逻辑
下载PDF
基于高阶逻辑的复杂结构数据半监督聚类
3
作者 李琳娜 陈海蕊 王映龙 《计算机科学》 CSCD 北大核心 2009年第9期196-200,共5页
半监督聚类近年来成为了机器学习和数据挖掘领域的研究热点。目前存在的半监督聚类方法都采用属性-值的知识表示方式。但属性-值语言在表示复杂结构数据时存在很多弊端,而基于高阶逻辑的知识表示语言Escher能较好地表示复杂结构数据。在... 半监督聚类近年来成为了机器学习和数据挖掘领域的研究热点。目前存在的半监督聚类方法都采用属性-值的知识表示方式。但属性-值语言在表示复杂结构数据时存在很多弊端,而基于高阶逻辑的知识表示语言Escher能较好地表示复杂结构数据。在Escher的知识表示方式下,首先当先验知识是实例之间的约束信息时,提出了搜索K-Means算法的K个初始质心的方法;其次,对先验知识不完全、能够发现的初始质心的个数r小于K的情况,提出了搜索其余的K-r个初始质心的算法MSS-KMeans和SMSS-KMeans;最后在复杂结构数据集上,验证了所提算法的可行性。最终的实验结果表明,基于高阶逻辑知识表示方式的半监督聚类方法要优于基于属性-值语言的半监督聚类方法。 展开更多
关键词 高阶逻辑 模板 半监督聚类 复杂结构数据 先验知识
下载PDF
基于类C语言内存模型的复杂数据结构验证方法
4
作者 李薛剑 王俊宜 《计算机技术与发展》 2024年第8期57-66,共10页
对系统中操作复杂结构程序的正确性验证是保证软件高可信的重要途径,目前大多数基于高层抽象建模和程序结构拆分的方法难以满足复杂数据结构程序的验证要求。针对这一问题,论文提出基于类C语言内存模型的验证方法。首先,以内存块为基础... 对系统中操作复杂结构程序的正确性验证是保证软件高可信的重要途径,目前大多数基于高层抽象建模和程序结构拆分的方法难以满足复杂数据结构程序的验证要求。针对这一问题,论文提出基于类C语言内存模型的验证方法。首先,以内存块为基础将复杂数据结构的操作进行函数形式的定义和描述,形式化描述内存对象操作性质;其次,针对程序层定义了符合复杂结构描述的文法和语义,并基于符号化的程序逻辑进行推理。实验对嵌入式操作系统内核μC/OS-III中的复杂数据结构进行分析和自动化验证,断言描述和验证条件脚本通过了自动定理证明器的求解。 展开更多
关键词 形式化验证 复杂数据结构 程序逻辑 内存模型 操作系统内核
下载PDF
带复杂数据结构的模型检测工具
5
作者 张轶 林惠民 《计算机研究与发展》 EI CSCD 北大核心 2004年第11期1990-1999,共10页
模型检测是近二十几年来最成功的自动验证技术之一 ,而模型检测工具的开发是将模型检测和实际相结合的关键 为了有效地对涉及到复杂数据类型的并发传值系统进行模型检测 ,总结了以扩展的带赋值符号迁移图和模态图分别作为并发系统和逻... 模型检测是近二十几年来最成功的自动验证技术之一 ,而模型检测工具的开发是将模型检测和实际相结合的关键 为了有效地对涉及到复杂数据类型的并发传值系统进行模型检测 ,总结了以扩展的带赋值符号迁移图和模态图分别作为并发系统和逻辑公式的语义模型来实现模型检测工具的工作 ,特别是将复杂数据结构引入传值进程定义语言和带赋值符号迁移图 展开更多
关键词 模型检测 传值进程 带赋值符号迁移图 谓词μ演算 复杂数据结构
下载PDF
基于高阶逻辑的复杂结构归纳学习研究 被引量:1
6
作者 李琳娜 杨炳儒 周法国 《计算机科学》 CSCD 北大核心 2008年第9期136-143,共8页
归纳学习的目的在于发现样例与离散的类之间的映射关系,样例及归纳的映射都需用某个形式化语言描述。归纳学习器采用的形式化语言经历了属性-值语言、一阶逻辑、类型化的高阶逻辑三个阶段,后者能克服前二者在知识表达及学习过程中的很... 归纳学习的目的在于发现样例与离散的类之间的映射关系,样例及归纳的映射都需用某个形式化语言描述。归纳学习器采用的形式化语言经历了属性-值语言、一阶逻辑、类型化的高阶逻辑三个阶段,后者能克服前二者在知识表达及学习过程中的很多缺点。本文首先阐述了基于高阶逻辑的复杂结构归纳学习产生的历史背景;其次介绍了基于高阶逻辑的编程语言——Escher的知识描述形式及目前已提出的三种学习方法;复杂结构的归纳学习在机器学习领域的应用及如何解决一些现实问题的讨论随后给出;最后分析了复杂结构归纳学习的研究所面临的挑战性问题。 展开更多
关键词 归纳学习 高阶逻辑 归纳逻辑编程 遗传编程 复杂结构数据
下载PDF
C语言指针教学中定义复杂数据结构的作用及方法
7
作者 张瑜 《电子技术与软件工程》 2018年第12期174-174,共1页
在高校的C语言教学中,指针模块一直以来都是教学重点和难点,高校教师致力于探索易于学生理解和接受的教学方法。在学习C语言中复杂数据结构的学习中,指针的定义起到了关键作用,指针本身就具有相当大的难度,加上复杂数据结构的抽象性,给... 在高校的C语言教学中,指针模块一直以来都是教学重点和难点,高校教师致力于探索易于学生理解和接受的教学方法。在学习C语言中复杂数据结构的学习中,指针的定义起到了关键作用,指针本身就具有相当大的难度,加上复杂数据结构的抽象性,给高效教师的教学带来较大难度。本文对指针及指针变量作了明确的定义,阐明了指针在定义复杂数据结构中的方法以及作用。 展开更多
关键词 C语言指针 复杂数据结构 定义 变量
下载PDF
复杂类型数据挖掘技术的研究现状
8
作者 王丹丹 刘同明 《华东船舶工业学院学报》 2003年第1期72-76,共5页
随着数据汇集工具、先进数据库技术以及万维网(www)技术的迅速发展,出现了大量结构各异的复杂数据类型,如空间数据,多媒体数据,时序数据,文本数据等。本文评述复杂数据类型的挖掘技术及其研究现状,并展望这一领域的发展趋势。
关键词 复杂结构数据 数据挖掘 现状
下载PDF
高阶逻辑下知识表示与聚类方法的研究
9
作者 许晟 杨珺 +2 位作者 唐志刚 李琳娜 杨炳儒 《计算机应用研究》 CSCD 北大核心 2010年第8期2878-2881,共4页
针对一阶逻辑在复杂结构数据环境中存在模式搜索空间庞大和不能发明新谓词的缺点,提出了使用类型化的高阶逻辑知识表示语言Escher去表示各种复杂结构的数据,利用其强类型语法有效地约束知识发现过程中模式的搜索空间和高阶的特点去解决... 针对一阶逻辑在复杂结构数据环境中存在模式搜索空间庞大和不能发明新谓词的缺点,提出了使用类型化的高阶逻辑知识表示语言Escher去表示各种复杂结构的数据,利用其强类型语法有效地约束知识发现过程中模式的搜索空间和高阶的特点去解决新谓词构造的问题。设计了以Escher为基础的复杂结构数据中的知识发现过程和基于复杂结构数据的聚类算法,并以实验验证了其有效性。 展开更多
关键词 复杂结构数据 一阶逻辑 高阶逻辑 知识发现
下载PDF
基于高阶逻辑的双基融合机制
10
作者 刘英华 李广原 +1 位作者 刘永彬 郭建威 《微电子学与计算机》 CSCD 北大核心 2011年第9期217-219,共3页
随着知识库规模的扩大及结构的日趋复杂,一阶逻辑表达能力有限的问题暴露得越来越严重,基于高阶逻辑的知识表示显得尤为必要.原有基于KDK和KDK*的研究必然导致向高阶逻辑研究的拓展.首先概述了基于知识库的知识发现,然后介绍了高阶逻辑... 随着知识库规模的扩大及结构的日趋复杂,一阶逻辑表达能力有限的问题暴露得越来越严重,基于高阶逻辑的知识表示显得尤为必要.原有基于KDK和KDK*的研究必然导致向高阶逻辑研究的拓展.首先概述了基于知识库的知识发现,然后介绍了高阶逻辑知识表示语言Escher、双基融合机制KDK和KDK*,最后在高阶逻辑背景下,扩展双基融合机制的内涵,给出了面向高阶逻辑的KDK*过程模型逻辑等价定理. 展开更多
关键词 高阶逻辑 双基融合机制 复杂结构数据 知识库中的知识发现
下载PDF
C语言指针教学难点探析 被引量:1
11
作者 杨天明 《中国科教创新导刊》 2014年第8期137-138,共2页
从C语言指针的概念出发,分析了c语言指针教学中的几个难点问题,探讨了指针在定义复杂数据结构中的作用及理解方法.
关键词 C语言教学 指针 复杂数据结构
下载PDF
The Calculation of Parameters for DNA Kinetic Structure Based on Monte-Carlo Multiple Integrals 被引量:1
12
作者 崔向军 蔡禄 《Agricultural Science & Technology》 CAS 2010年第5期5-6,16,共3页
Based on protein-DNA complex crystal structural data in up-to-date Nucleic Acid Database,the related parameters of DNA Kinetic Structure were investigated by Monte-Carlo Multiple Integrals on the base of modified DNA ... Based on protein-DNA complex crystal structural data in up-to-date Nucleic Acid Database,the related parameters of DNA Kinetic Structure were investigated by Monte-Carlo Multiple Integrals on the base of modified DNA structure statistical mechanical model,and time complexity and precision were analyzed on the calculated results. 展开更多
关键词 Monte-Carlo method Multiple integrals DNA Time complexity Precision
下载PDF
AIGC技术中Transformer模型相关专利分析
13
作者 王静 杨哲 《中国科技信息》 2023年第18期15-18,共4页
AIGC简述生成式人工智能(Artificial Intelligence Generated Content,AIGC)是指一种可以学习复杂数据结构和规律,并用这些规律来生成新数据或解决问题的算法,其与传统机器学习算法相比,有更强大的“涌现能力”(Emergen Tability)。在国... AIGC简述生成式人工智能(Artificial Intelligence Generated Content,AIGC)是指一种可以学习复杂数据结构和规律,并用这些规律来生成新数据或解决问题的算法,其与传统机器学习算法相比,有更强大的“涌现能力”(Emergen Tability)。在国外,许多AI厂商在大模型领域已经进行了相对成熟的技术研究和前瞻性的技术布局。 展开更多
关键词 机器学习算法 人工智能 专利分析 复杂数据结构 数据 生成式 模型相关
下载PDF
Analysis and evaluation of structural complexity of circular economy system's industrial chain
14
作者 Hua-Ling SONG Yi ZHANG +1 位作者 Chun-Lei LI Chuan-Peng WANG 《Journal of Coal Science & Engineering(China)》 2013年第3期427-432,共6页
This paper examined the method to evaluate structural complexity of circular economy system's industrial chain, which applied entropy information and hierarchical metrics to produce complexity degrees according to th... This paper examined the method to evaluate structural complexity of circular economy system's industrial chain, which applied entropy information and hierarchical metrics to produce complexity degrees according to the theory of complex system. We developed an evaluation model to make a general metrics for circular economy system of industrial chains. The development of the evaluation tree drew upon five factors to identify the structural complexity. The evaluation model generated unitive entropy information from six data definition (node, level of community, metabolic span, degree of node, number of relation and connectivity of node) according to the evaluation tree. The industrial chains of Tashan circular economy park of Datong Coal Mine Group and Gujiao circular economy park of Xishan Coal-Electricity Group were evaluated by the proposed method. The key factors stunted by the decline of structural complexity were identified and the unitive metrics of entropy information of the industrial chain was shown for realigning the circular economy systems. 展开更多
关键词 COMPLEXITY circular economy system industrial chain evaluation of complexity
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部