逻辑描述相关论文
随着数据仓库的广泛建立,数据仓库系统的核心—用于数据仓库数据加载和刷新维护的ETL工具越来越重要.市场上存在大量的ETL工具,这......
软件测试是保证软件产品可靠性和正确性的有效方法，其中设计和生成有效的测试用例是决定测试质量的重要因素之一，而测试用例自动生成......
软件产品线工程通过管理软件产品的可变性和共性特征,提高软件开发效率,节约开发成本。模型检测是一种自动形式化验证技术。随着软......
关注装备的可持续制造能力有利于在提高生产效率的同时,解决以经济效益为驱动的制造模式带来的严重环境问题。工业机器人作为一种......
中国美学史的写作应确立学科规范化的描述逻辑,这是学科趋向成熟的必然要求.规范化的逻辑描述,提倡以学界的通力合作弥补个体化的......
提出构件施工状态的概念，以14种区间到区间的时间逻辑描述施工状态之间的时间关系，由此可以精确描述施工方案中所要求的并行时间逻辑......
本文采用一阶逻辑描述空间完整性约束,利用逻辑系统的推理可以检查约束的合法性,并能自动导出触发器ECA规则.在实现的思路基础上,......
本文对RDF声明三元组的每一单元及声明的整体都进行了详尽的逻辑描述.对于RDF模式,类、成员、子类、子特性是最重要的宏数据描述.......
该文提出一种基于推理规则的代数求解法。该方法首先用改进的几何推理法（旨在克服谓词逻辑描述不够直观和过于细化的缺点）建立特定几......
本论文研究了决策树算法中最为重要的一种ID3算法，并引入逻辑描述的概念，定义了基于逻辑描述的ID3决策树算法，在一定程度上改善了......
在讨论软件构件技术复用现状的基础上,借鉴工业控制领域的组态概念,提出了一种构件化动态软件系统组态模型。其基本思想是:在一定......
ABEL语言的语句按功能可分为5大类，即标志语句、说明语句、逻辑描述语句、测试语句和熔丝图语句。表1列出各类语句的详细描述。......
ABEL硬件描述语言是美国DATA I／O公司开发的一种高级可编程逻辑设计硬件描述语言。它允许设计者以逻辑图、表达式、状态图以及真值......
为了解决锁住的问题，散布了地理信息万维网服务(官方补给的万维网服务) ，这篇论文提供一个基于本体论的方法。与这个方法，语义服务描......
决策树算法是数据挖掘领域的重要算法之一.文章首先对决策树算法的数据进行逻辑描述,然后使用保险公司客户数据来构建决策树,利用P......
传统的工作流系统缺乏面向业务人员的统一数据描述和处理，导致技术人员过多地参与业务管理，大大削弱了业务人员的管理权限。为解决上......
本文将动态描述逻辑与语义服务描述语言相结合，提出了一种动态语义描述方法来描述Web服务，并在经典服务匹配基础上进行改进，完善了服......
红外视频数字处理技术有广泛的应用，红外高速数据通道是红外视频数字处理系统的核心，此红外视频数字处理系统主要是由红外视频同步，先......
报表结构描述是报表生成的前提。本文通过复合型报表结构的推理分析，提出运用表达式描述的总体思想，并给出描述表达工的定义及编译与......
Ontology is defined as an explicit specification of a conceptualization. In this paper, an extended ontology model was c......
提出一种基于定性视觉特征的裂纹缺陷X光图像的仿真方法。从裂纹的定性视觉特征提取语义，进行逻辑描述，生成裂纹缺陷的骨架，对骨架各......
论述了嵌入式电力通信规约适配器设计的必要性与可行性.运用面向对象的开发方法提出了设计与实现该规约适配器的核心思想--由统一......
由于感知的局限性,室内服务机器人可能无法获取完整的任务相关信息,因此,室内服务机器人面临的是一类不完全可知环境。本文针对该......
该文简单介绍了一种新的数据库概化方法,其主要贡献是在逻辑语言的描述基础上,给出一种通用的方法,对数据库的模式和内容都能起到......
通过研究Agent技术与语义Web服务技术在应用中结合的方式和Agent在语义Web服务技术体系中需要扮演的角色，以及Agent与语义Web服务结......
指出了中长期负荷预测是一个时变不稳定系统，受到许多定性语言值的影响。阐述了二维云模型有效地将概念的定性值与数字的定量值进行......
随着红外传感器品质及其应用目标的不断提高,要求热像仪中信息处理部件---红外图像高速通道性能与之匹配。信息技术的飞速发展为高......
为保证SCADE软件开发的安全性，研究了SCADE形式化验证技术，指出其不足，提出了基于代码生成器的解决方法。该方法对安全特性属性引入了......
