强偏序时态模式中数据依赖推导规则研究

随着数据库与信息技术的发展,信息系统面临许多新的应用和需求,对时态信息处理的需求越来越迫切。时态信息处理已成为许多新一代数据库与信息系统的关键技术,时态数据库研究已经成为数据库与信息系统领域研究的热点和难点。就时态数据库中的难点问题强偏序时态数据库的数据依赖问题开展研究,因此选题紧靠学术前沿。针对强偏序时态模式中的数据依赖问题进行了讨论,提出了强偏序时态模块模式、强偏序模式的时态类型集概念,给出了强偏序时态模式中函数依赖的推导规则以及多值依赖的推导规则,理论分析的结果表明这些规则是正确的有效的,这对实现强偏序时态数据库的规范化设计具有重要的推动作用。

基于规则推导的正规式相交判定算法

正规式相交判定问题在扩展标记语言(extensible markup language,XML)类型检查中起着十分重要的作用。传统方法是将其转化为自动机的相交问题,在转化过程中会产生大量计算。基于XML模式语言的特点,提出了一种基于规则推导的正规式相交判定算法。该算法直接根据输入的正规式进行推导而无需进行任何转化计算。对于一般的正规式,尽管其仍然是指数级算法,但无需进行复杂的构造自动机的计算;而对于一些特殊的正规式,特别是在XML类型检查中广泛使用的One-Unambiguous正规式,该算法的时间复杂度降为多项式级。最后证明了该算法所使用的推导规则的正确性和完备性。

智慧政府框架下的政务系统云迁移策略推导

近年来智慧政府建设蓬勃发展,其政务协同、数据共享的发展理念对政务系统整合提出了明确需求。以系统云迁移实践为基础,对政务系统特点和属性与系统云迁移策略之间的内在联系进行探究,提出了一套基于系统属性参量选择适用云迁移策略的推导规则,并将这套规则应用于实际的政务系统云迁移方案制定中。

概念格上规则产生集的算法研究与应用

用传统的规则生成算法产生的关联规则集合相当庞大,其中很多规则可由其它规则导出。使用闭项集可以减少规则的数目,而概念格节点间的泛化和例化关系非常适用于规则的提取。目前几种基于概念格的规则提取算法局限于得到准确支持度、信任度的无冗余规则。提出了一种在概念格上挖掘出能推导出所有满足最小支持度、信任度规则的规则产生集算法,文中称之为组规则产生集算法,减少了规则的规模,提高了挖掘效率,进一步给出了组规则产生集的存储数据结构和根据应用需要用其导出单一后项规则的算法。

基于概念格的组规则产生集的算法研究

数据挖掘中传统的关联规则生成算法产生的关联规则集合相当庞大,其中很多规则可由其它规则导出。使用闭项集可以减少规则的数目,而概念格节点间的泛化和例化关系非常适用于规则的提取。目前几种基于概念格的规则提取算法局限于得到准确支持度、信任度的无冗余规则。提出了一种在概念格上挖掘出能推导出所有满足最小支持度、信任度规则的规则产生集算法,文中称之为组规则产生集算法,减少了规则的规模。在此基础上进一步给出了组规则产生集的存储数据结构并用其导出一般规则产生集的算法。

基于规范生成的文件模糊测试

为了解决传统文件模糊测试效率不高与功能遗漏的缺点,提出一种新的文件模糊测试算法。基于文件的规范,抽象地描述了文件推导规则,定义了文件模糊测试模板,设计了文件模糊变异模型。在规范描述下生成不同类型文件,然后对每类文件进行变异模糊测试,有效地减少了大量无效测试。实际测试中,已经验证3个已公开漏洞并发现两个未公开漏洞,表明了该算法的有效性。

不确定关系的数据依赖问题研究

数据依赖是属性间取值相互约束条件的形式化表示,函数依赖是一种对数据库模式设计及查询具有重要影响的数据依赖。对于不确定关系,由于一条元组中属性取值存在多种可能,属性间取值相互约束的情况要比一般关系中的复杂。为进一步研究不确定关系中数据间的联系,给出了不确定关系模式的形式化定义,提出了3类不确定函数依赖,并证明了其推导规则。此3类不确定函数依赖可以检查不确定关系的可能世界中是否存在违反规范化设计要求的风险,从而避免数据冗余,更新异常操作。

格律诗平仄的结构单位和分布链接规律以及应用

在格律诗的平仄句式中存在"音""结""连"三种结构单位,它们不同的特性与作用形成了它们在平仄句式中不同的分布链接规则,据此便可以推导出各种格律诗整首诗的平仄格式使用。文章对平仄句式的这三种单位的特性和由此形成的整首诗平仄格式推导规则以及具体推导过程作了分析阐释和演示。

面向数据质量的ETL框架的设计与实现

针对传统抽取-转换-装载(ETL)架构在数据质量控制方面的不足,提出一种面向数据质量管理的ETL架构。根据ETL过程的特点,设计多数据源接口模块、ETL元数据描述模块、ETL任务描述模块和数据质量控制模块等。该架构以数据质量为核心,通过建立数据分析模型,利用规则推导引擎对数据分析结果生成数据清洗方案,从而有效地对数据流进行质量评估和管理。基于该设计思想开发一个ETL工具-DQETL。DQETL采用统一建模语言进行设计,并提供友好界面对ETL过程进行集中管理。最后,结合实例阐述了在该框架下进行数据质量管理的一般步骤。

基于填充标记的自适应Web信息提取

提出一种自适应Web信息提取算法 ,基于自底向上规则模块层叠 ,通过在提取模板中填充一定数量有助于识别信息类别的SGML标记 ,较好地覆盖Web页中不可见信息 ,有效控制自适应过程中信息的过少和溢出 ,实现智能化Web信息提取 .

知道命题演算

含于语句中的“知道”一词表示一种主观模态,一般说来它有两种指义:命题指义和操作指义。在下面的四个例句中,语句1和2表达的是“知道”的命题指义,即主体“知道事情如何”;语句3和4表达的是主体“知道事情如何去作”,即“知道”的操作指义。

介绍I.M.柯丕《逻辑学导论》专门讲述“符号逻辑”的三章(下)

在“演绎法”这一章里,柯丕主要介绍在他设计的公理系统内证明有效复合判断推理有效的演绎方法,以及,证明无效复合判断推理无效的给成分语句指派真值的方法。此外,为了加深对实质蕴涵的理解,还对不相容的前提作了一些评论。 本来,理论上,真值表是足以检验任一真函论证是否有效的,但实践上。

河北饶阳方言的连读变调与规则推导

本文主要研究河北饶阳方言的声调系统,包括声调结构和变调推导。语音实验确定了单字调值与二字组连读调值,随后的音系分析发现变调具有平仄对立的特点,而传统的声调模型并不能捕捉这个特点。文章转向了对立层级理论,为饶阳声调确定了由平仄特征和音高特征构成的层级结构。在此基础上,设立了同化规则和异化规则,并构拟了从底层调到表层调的推导过程。

统计知识在数据库分析和知识库构造上的应用

在数据库中抽取高质量的决策信息是很必要的。采用图形界面的决策树是一种尝试。它采用统计操作来产生一个紧密、易于理解的概括，从而反映数据库的关系和结果域的划分。

语言学正面临战略转移的重要时刻

当前计算语言学中已经实现了战略转移。本文首先分析了计算语言学中所实现的这一场战略转移,说明了在传统语言学中也有必要进行这样的战略转移,并指出了在这场战略转移中,应当把理性主义方法和经验主义方法结合起来。

韩国学生普通话上声变调能产性的实验研究

本文通过真词、假词上声变调的实验分析考察不同汉语水平的韩国学生连读变调的习得机制。声学分析和数据统计显示,词语的类别、学习者的汉语水平都对变调的能产性产生影响,随着熟练度的提高,学习者运用了从词汇列举到规则推导不同的习得机制。

数学与蒙太古语法

从数学的角度建立语法的组织系统可以取得描写上的系统性、严密性和一致性。蒙太古语法主要是关于语义学的理论,因此在严格意义上,应把蒙太古语法称作蒙太古语义学。任何一种语义学都必须说明:什么是意义;句子意义的运算;语义学与句法学之间的关系。本文将从以下几个方面探索如何可用数学的基本原理取得上述的目的。