关系模型上数据语义的正确性判别

指出某些应用领域要求对数据库施加专门的数据约束，把判断一个数据库是否满足这种约束的问题归为数据语义判别，提出了用相关语义网络的表示方法来表达数据约束，运用激活传递的推理方法解决这个问题。     

基于联结语义的概念结构建模方法研究

针对零件结构中几何元素与附着于几何元素之上的设计意图的统一表示问题，提出了基于联结语义的概念结构建模方法.该方法在零件概念结构抽象和分解的基础上，以更符合设计者表达习惯的语义形式简洁地表示零件结构间的约束关系.分析了在结构设计过程中的联结语义及其蕴涵的约束信息，建立了联结语义的约束规则集描述方法.采用联结语义关联图给出了面向概念设计的零件结构模型，实现了结构联结约束信息的抽象表达.实例研究结果表明，该建模方法使设计者可以更直观、自然地在高层次的语义层表达产品设计信息，实现工程语义的形式化表述.     

XML DTD转换为关系模式的原语义约束

从XML DTD模式到关系模式转换中所引起的语义约束丢失问题入手，分析了引起语义约束丢失的原因，并在传统转换算法的基础上加以改进和扩充，得到一个既能保持结构的对应转换，又能保持原语义约束的转换算法.改进方法的关键是在XML DTD到关系模式的转换过程中能正确地找到一中间转换式图(ADG).该图能很好的表示出原语义约束的各种情况，遍历该图各节点并结合给出的算法可获得正确表示关系模式中的语义约束.     

超级媒体智能化扩充模型初探（Ⅰ）

对基于语义网络知识表示的超级媒体智能化扩充模型进行了探讨，给出了结构化知识在超级媒体中的存储和管理方法，提出了基于语义网络的超级媒体智能化扩充的系统结构。     

不相容决策系统中获取规则的粗糙集方法

获取规则是数据挖掘的一项重要技术，近年来粗糙集方法在这个领域获得快速发展。面对大型数据库中存在不相容数据的客观现实，根据粗糙集理论，提出了不确定等价类的概念，在此基础上提出挖掘可能性规则的方法，该方法有效地利用了数据库中的统计信息，并给出了例子予以说明。     

本体与规则整合的推理方法研究及设计

在给出混合知识表示的基础上,提出基于Tableau演算的变种算法Model-Tableau,将其与以SLD原理为基础的Top-down算法混合,给出知识查询的推理方法设计。最后,给出了算法相关证明和系统原型。结果表明:该方案丰富了语义Web的知识表示能力,有效解决了由本体层和规则层结合所产生的查询推理问题。     

基于复合模态词模态逻辑的大数据知识表示方法及其在水文信息中应用

针对狭义或广义模态逻辑在大数据知识表示中的不足,给出一种新的大数据表示方法:基于复合模态词模态逻辑的大数据表示方法。给出其语言、语法与语义,证明该逻辑在一般可达关系下的公理系统K2的可靠性定理与完备性定理,并结合水文信息给出这种大数据知识表示应用实例。     

UML类图模型到RDF(S)的映射方法的研究

在语义Web中,资源描述框架(RDF)用于实现Web上信息资源的语义描述,为本体层提供了表示语义信息的基础,统一建模语言UML作为面向对象的标准建模语言,研究从UML类图中提取领域知识将其转换为RDF(S),有利于克服直接在知识领域构建本体对专家知识的要求过高,减少领域专家的参与,便于本体的自动构建,有利于提高本体构建的质量和效率,对语义Web的开发实现有重要意义。在此通过对RDF(S)和UML类图模型比较分析,提出了由UML类图模型到RDF(S)的映射规则及算法。主要研究UML类图模型向RDF(S)映射的方法,将现有数据领域模型UML中的信息转换为RDF(S),实现RDF(S)本体的自动构建,提高本体构建的效率。     

基于RBAC数据库的误用检测模型

为进一步提高RBAC(Role Based Access Control)数据库的安全性,提出构建以角色为基础的误用检测模型.通过对审计日志的形式化定义来实现对原始审计数据的预处理,利用对记录项的支持率、距离值等参数的聚类来生成轮廓文件的方法,并由轮廓文件给出了该模型的安全审计规则.研究表明:以角色为基础的误用检测模型可以有效地控制来自数据库内部人员的滥用职权.     

扩展的加权约束逻辑程序在产品配置中的应用

为了更好地表达产品配置问题中的复杂知识形式,以加权约束逻辑程序语言为基础,将规则的头部扩展为析取约束的形式,提出了一种扩展的加权约束逻辑程序语言,给出了其稳定模型语义.这种扩展的加权约束逻辑程序进一步加强了知识的表达和推理能力,但没有增加计算复杂性.以一个计算机配置实例讨论了扩展的加权约束逻辑程序在产品配置问题中的应用.     

电网调度操作票专家系统中的知识表示方法

针对以往操作票专家系统中电网一次接线图与其拓扑结构知识库相互独立,分别由两个功能模块单独管理带来的不便,重点论述了基于图形界面的地区电网调度操作票专家系统中的知识表示及获取方法;提出了一种基于图论中“关联集”的框架结构表示电网拓扑结构知识的方法及其自动获取,这种方法原理简单、构思新颖、完全可以表示复杂的电网结构。介绍了“扩充的‘规则架＋规则体’模式”对操作规程中领域知识的描述形式及其推理机制。     

面向对象的机械设计专家系统工具的研究

介绍了面向对象的机械设计专家系统开发工具ＯＭＥＳＴ的系统结构,描述了面向对象的知识表示方法,着重阐述了适用于机械设计的规则—框架—过程知识表示法,以及如何将多种知识表示融合于知识对象中,讨论了面向对象的推理机制等     

基于关系数据库表示产生式规则

本文在分析产生式规则的数据结构模型基础上,提出了利用关系数据库表示产生式规则的思路,论述了基于关系数据库表示产生式规则的具体方法。     

基于关系约束的XML元素近似查询研究

近年来,XML已成为信息表示、交换和发布的标准,因此,XML数据查询已成数据库（DB）和信息检索（IR）领域广发研究的问题。XML通常被视为一个标签树,常用的方法是近似查询。由于在用户查询通常有一定的关系约束出现,在分析了用户查询对XML元素和值关系约束之后,本文提出了使用关系约束近似提取XML元素的方法     

论油田产品销售中的风险导向审计

在江汉油田企业实施风险导向审计有利于提高企业风险意识,有利于促进企业内部控制制度的健全和完善,有利于构建企业风险管理框架,有利于确保实现企业经营目标。实施风险评估程序,要按"战略系统分析———经营环节分析———剩余风险分析"程序初步确定每个审计目标的控制或实质性测试的方法,然后制定审计计划、实施审计、完成审计报告。要想开展好风险管理审计工作,必须提高内审人员的素质、转变现有审计模式和工作理念、强化审计过程控制、转化审计成果运用。     

Snort规则优化技术分析

规则优化是Snort2.0及以上版本检测引擎的主要部件。规则检测技术的效率直接取决于用于 检测规则的规则集质量。创建理想的规则集,是使snort规则检测速度得到提高的关键。本文讲述了snort规 则优化的具体过程,优化时出现的问题及对问题的解决办法。     

模糊聚类在规则空间中的应用

规则空间是一种用来识别被试认知错误类型的数学模型,但其分类标准（参照点）一直依赖专家根据经验在测试前手工确定,使用难度太高,无法大规模普及使用。本文使用模糊聚类方法在测试后辅助确定规则空间中的参考点,使得普通教育工作者也能借助计算机使用规则空间模型。     

Enhanced Pattern Representation in Information Extraction

Traditional pattern representation in information extraction lack in the ability of representing domainspecific concepts and are therefore devoid of flexibility. To overcome these restrictions, an enhanced pattern representation is designed which includes ontological concepts, neighboring-tree structures and soft constraints. An information-extraction inference engine based on hypothesis-generation and conflict-resolution is implemented.The proposed technique is successfully applied to an information extraction system for Chinese-language query front-end of a job-recruitment search engine.     

高校预算管理审计的思考

高校预算管理是学校财务管理的核心,是学校经济活动的前提和保障之一。预算管理审计则是评价高校预算管理行为、强化预算管理监督,促进资源优化配置、提高办学资金使用效益的重要手段。通过分析对比国内外高校预算管理审计现状及存在的问题,结合新形势下对预算管理审计的要求,探讨了事前、事中和事后审计相结合的预算管理全过程审计思路、模式及方法,以期对高校预算管理工作的完善、预算管理审计工作的推进有所裨益。     

论抽样审计的方法及其运用

随着现代审计的发展,审计内容、审计目标都发生了很大变化,审计人员常用的详细审计方法严重制约了审计工作质量的提高,而在内部控制制度评审的基础上,运用抽样审计的理论和方法不仅可以解决大量的审计实务问题,还大大提高了审计效率和审计质量.