力学科学的逻辑状况(英文)

在阐明力学科学及其特性的基础上提出了力学科学的逻辑状况问题,特别讨论了当前的一些热门话题、以及力学原理所表现的逻辑模式与传统力学特性分析方法的一致性.     

数字高程模型(DEM)数据库建设探讨

从制作技术、数据检查、质量管理等方面分析了数字高程模型数据库的建设。     

L(Q)逻辑的一种保持性定理

对广义逻辑Ｌ（Ｑ）的一种保持性定理给予了证明。     

基于语义的逻辑模型优化研究

在不改变模型结构的基础上,从语义描述的角度,根据模型扩展原则和优化指标确定扩展内容,采用扩展参照实体的标准值方式,通过语义约束来更好的响应企业的业务变化需求。从而有效的保证逻辑模型的实用性,稳定性,和可持续性。     

信念逻辑的更新模型

刻画信念逻辑的关系语义模型中的关系缺乏直观的解释,更新模型用合理性可以给信念逻辑提供一个更直观的解释。更新模型用动态的更新语义刻画信念算子。用有穷模型的方法证明信念逻辑相对于更新语义是框架可靠的和框架完全的。     

产品模型及其实现(英文)

产品信息建模是加工自动化的首要环节。文章介绍了在英国曼彻斯特大学理工学院（ＵＭＩＳＴ）开发的一个面向ＣＡＤ／ＣＡＰＰ／ＣＡＭ应用的产品模型,它侧重于加工过程之前的产品信息建模。该模型可以描述产品的几何与拓扑信息和技术信息。技术信息包括尺寸公差、形位公差、表面质量要求及加工余量等．产品模型的核心是一个内部开发应用的实体几何造型建模──ＴＴＭ。该建模器有可表示任何与零件几何形体有关信息的内在能力。     

模糊逻辑组合的灰度模型

首先对复合模糊命题的几种真值计算方法作了介绍，分析各种方法的优缺点，接着为了处理日益增多的模糊逻辑组合算子给用户带来不便的问题，提出模糊逻辑的灰度概念，给出一个处理逻辑组合的灰度模型。它能将具有不同灰度的模糊逻辑统一起来．     

基于逻辑回归的中文在线评论有效性检测模型

为了实现电子商务和社交网络中文在线评论有效性的自动化检测,提出了一种单一主题环境下基于逻辑回归的垃圾评论检测模型.中文在线评论有效性的检测可以归结为分类问题,结合中文在线评论的特点提取了9个特征以构建分类模型;为获取核心特征主题的相关度,采用基于关联规则的评论名词模式优化了ICTCLAS中文分词系统的主题识别,进而利用交叉语言模型获取在线评论主题相关度.实验中采取了人为标定的1 000条评论作为样本,把支持向量机分类模型作为对比进行试验,利用数据挖掘工具Weka进行计算.结果表明,采用优化评论名词模式下基于逻辑回归的垃圾评论检测模型结果的准确率达到83.54%,比支持向量机分类模型计算得到的准确率高2.10%.     

具有(F(V×V),R,→,■)模糊逻辑模型的稳定性结构

本文利用多边矩阵理论定义的正交性及对称性,给出了一种具有两种因果关系的模糊稳定性逻辑分析模型,这种稳定的逻辑分析模型结构清晰、简单,并且可用于解决许多复杂问题.     

道义逻辑D-系统的一种布尔值模型

本文为道义模态逻辑D－系统建立布尔值模型。首先定义道义模成公式○α的布尔值‖○α‖；其次证明在该定义下，道义模态逻辑系统D1、D2和D3的所有公理的布尔值为1；最后证明集合论的ZFC公理系统的布尔值模型V^B(B是一个完全的布尔代数）也是道义模态逻辑系统D1、D2和D3的布尔值模型。     

基于OLAP的多维关联规则挖掘研究

针对数据仓库中的多维数据模型及OLAP技术,给出了一套行之有效的基于OLAP的元规则指导的多维关联规则挖掘方案,最终挖掘出用户真正感兴趣的概念层次合理的多维关联规则.实验结果表明该方案是有效的.     

数据仓库与联机分析处理（OLAP）技术

数据仓库（Data warehouse）可以提炼和整理有效数据，提高处理速度，并且增加OLAP分析功能。为业务的分析和管理提供必要的手段。本文对数据仓库及联机分析处理技术作详尽阐述。     

有效支持空间OLAP的空间数据仓库模型研究

为了实现各类空间联机分析,提供更加全面灵活的空间决策支持,提出了一个空间数据立方体与空间索引结构相互协作的空间数据仓库模型,并同时构建了一个与之协作的空间索引结构aR^ B_tree．aR^ B_tree基于R^ _tree和B_tree实现,存储了空间维及时间维的聚集信息和层次关系,可以有效支持区域聚集查询．对各种空间联机分析操作进行了分类,分析表明该模型充分利用了传统数据仓库成熟的建模和联机分析技术,结合了空间索引结构在空间层次结构上的灵活特性,可以有效地支持各类空间联机分析．最后比较了aR^ B_tree与其他索引结构在区域聚集查询方面的性能．实验结果证明,在区域聚集查询中aR^ B_tree的节点访问次数和查询执行时间均小于现有索引结构．     

数据仓库与联机分析处理(OLAP)技术

数据仓库(Data warehouse)可以提炼和整理有效数据,提高处理速度,并且增加OLAP分析功能,为业务的分析和管理提供必要的手段.本文对数据仓库及联机分析处理技术作详尽阐述.     

基于超市OLAP系统数据挖掘的实现

针对SQLServer2000AnalysisServices中的数据挖掘功能,及其在某大型超市的OLAP系统中加以应用的情况,介绍了基于SQLServer2000的数据挖掘模型的建立、训练、浏览模型和进行预测的关键技术,给出了一种建立在已有的OLAP系统基础上的实现数据挖掘功能的具体方法,并指出运用该方法可以快速地开发数据挖掘的应用,有效地支持决策。     

在关系数据库上实现OLAP多维分析

讨论了如何从关系数据库上建立基于OLAP的数据维和每维中的数据层 ,并给出了决策系统分析的内容 ,从设计上实现了基于OLAP的多维分析     

联机分析处理(OLAP)技术研究

在简要分析ＯＬＡＰ与数据仓库关系的基础上,介绍了ＯＬＡＰ系统的一种体系结构,数据组织模式及其有关实现的关键技术。     

基于XML的OLAP技术研究

为了开发开放式OLAP服务系统,提出了对XML、关系数据库等异构数据源进行集成的技术和方法;同时为更好地表达用户的分析请求,提出了基于XML的概念建模技术,用于多维分析元数据的存储和统一表达。     

OLAP技术的分析

介绍了OLAP的概念 ,OLAP的分类 ,ROLAP和MOLAP的比较分析 ,OLAP与数据仓库的关系 ,OLAP工具的评估 ,流行的OLAP工具 ,为提高OLAP的性能可以采用星型模式组织数据、采用索引技术、大的数据表分片为许多小表、维的逆规范化、构建概要表、采用并行查询技术     

基于XML的OLAP实现方式研究

提出了一种基于XML的OLAP实现方式——X-OLAP．用XML本身的层次结构来体现数据仓库中元组之间的聚集关系．对于数据仓库中大量存在的基本单元组,该实现方式在不增加新节点的情况下能表示所有由基本单元组产生的综合数据,有效地减小了数据仓库的体积,并且证明了所有OLAP操作都可以在该X-OLAP上实现．