逻辑描述相关论文
随着数据仓库的广泛建立,数据仓库系统的核心—用于数据仓库数据加载和刷新维护的ETL工具越来越重要.市场上存在大量的ETL工具,这......
软件测试是保证软件产品可靠性和正确性的有效方法，其中设计和生成有效的测试用例是决定测试质量的重要因素之一，而测试用例自动生成......
软件产品线工程通过管理软件产品的可变性和共性特征,提高软件开发效率,节约开发成本。模型检测是一种自动形式化验证技术。随着软......
关注装备的可持续制造能力有利于在提高生产效率的同时,解决以经济效益为驱动的制造模式带来的严重环境问题。工业机器人作为一种......
在讨论软件构件技术复用现状的基础上,借鉴工业控制领域的组态概念,提出了一种构件化动态软件系统组态模型。其基本思想是:在一定......
决策树算法是数据挖掘领域的重要算法之一.文章首先对决策树算法的数据进行逻辑描述,然后使用保险公司客户数据来构建决策树,利用P......
传统的工作流系统缺乏面向业务人员的统一数据描述和处理，导致技术人员过多地参与业务管理，大大削弱了业务人员的管理权限。为解决上......
本文将动态描述逻辑与语义服务描述语言相结合，提出了一种动态语义描述方法来描述Web服务，并在经典服务匹配基础上进行改进，完善了服......
红外视频数字处理技术有广泛的应用，红外高速数据通道是红外视频数字处理系统的核心，此红外视频数字处理系统主要是由红外视频同步，先......
论述了嵌入式电力通信规约适配器设计的必要性与可行性.运用面向对象的开发方法提出了设计与实现该规约适配器的核心思想--由统一......
由于感知的局限性,室内服务机器人可能无法获取完整的任务相关信息,因此,室内服务机器人面临的是一类不完全可知环境。本文针对该......
该文简单介绍了一种新的数据库概化方法,其主要贡献是在逻辑语言的描述基础上,给出一种通用的方法,对数据库的模式和内容都能起到......
通过研究Agent技术与语义Web服务技术在应用中结合的方式和Agent在语义Web服务技术体系中需要扮演的角色，以及Agent与语义Web服务结......
指出了中长期负荷预测是一个时变不稳定系统，受到许多定性语言值的影响。阐述了二维云模型有效地将概念的定性值与数字的定量值进行......
随着红外传感器品质及其应用目标的不断提高,要求热像仪中信息处理部件---红外图像高速通道性能与之匹配。信息技术的飞速发展为高......
为保证SCADE软件开发的安全性，研究了SCADE形式化验证技术，指出其不足，提出了基于代码生成器的解决方法。该方法对安全特性属性引入了......
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清......
