数据约束相关论文
复杂断块油气田由于构造上断层多,断层组合关系复杂,历来是构造建模的难点,根据分步模拟及井点数据约束控制的思路,应用相应技术手......
在实际应用中,Web服务交互是异步的,而服务组合的正确性也会受相关时间和数据约束的影响.基于此,提出了一种异步Web服务组合的分析......
Queershan 合成花岗石的 pluton 位于晚古生代的 Yidun 弧 collision-orogenic 带的北方，东方西藏的高原。主要岩石类型是有在东方......
Combining the latest Planck,Wilkinson Microwave Anisotropy Probe(WMAP),and baryon acoustic oscillation(BAO)data,we explo......
霍尔逻辑是一种众所周知的基于一阶逻辑对命令式程序的行为进行推理和验证的形式系统。然而，使用霍尔逻辑对于存在指针和动态数据结......
本文在自主开发的多级安全空间数据库管理系统SecVISTA之上，针对存储隐通道和时间隐通道两大类，分别设计并实现了不同的隐通道消除模......
目前，嵌入式实时系统的广泛应用使得确保其正确性和可靠性成为当前的研究热点。MARTE（Modeling and Analysis of Real Time and Embe......
随着网络技术的迅速发展,面向服务的体系架构(SOA)以其良好的可重用性、松耦合性和互操作性,已成为一种工业界和学术界广泛接受的......
电子病历中数据的缺失、误入和不一致将直接损害其医学与法律效力及作用,问题可能出现在数据采录、更新、转储等诸多环节中.依据病......
业务流程模型主要由数据流和控制流两部分组成,这两者及其之间的关系包含了业务流程的建模、模型的分析与执行的重要信息,对流程模......
摘要：本文介绍了资料管理系统中动态建库、动态管理、数据约束这些技术的应用与实现。 关键词：资料管理系统动态建库，动态管理，数据......
期刊
带数据约束的概率系统是指一种既带有概率约束,又带有数据变量约束的计算系统,应用非常广泛.对这类系统而言,确保其正确性和可靠性......
数据完整性约束用以保证数据库中数据的正确性、一致性和可靠性。本文分析阐述数据完整性约束类型的差异性和具体实现的约束方法,......
当前对于政府数字治理研究主要集中于地市级以上政府,基层政府数字治理研究成果非常稀少,尤其缺少对相应现实案例进行深度探究。基......
数据依赖是一类数据约束,数据的语义解释决定了数据库中的数据应遵循的约束.数据库设计理论涉及一个基本问题——数据依赖的确定,......
带数据约束的概率实时系统是指一种既带有概率时间约束又带有数据变量约束的计算系统。目前将离散数据约束和连续时间约束统一在一......
在这份报纸，一个二水平的 Bregman 方法与图被介绍调整稀少的编码为高度 undersampled 磁性的回声图象重建。图调整了稀少的编码与......
串行作为隔离标准非常适用于传统事务,但会对工作流并发施加过多的限制。使用语义信息可以弱化或丢弃这些限制,但在并发控制中使用......
将应用于分布式系统控制的SCADA系统引入电厂水源地供水自动化系统,实现了供水系统的“三遥”（即遥控、遥测、遥信）功能,并根据“三......
通过对LDPC码经典的BP译码算法进行研究，针对算法译码复杂度非常大、迭代次数多、不利于硬件实现的问题，提出了一种改进的BP译码算法......
本文讨论了在Web建设中，基于数据库基本安全架构实现Web数据库的安全和保密。讨论了数据库加密的基本流程和特点以及数据库加密对数......
提出了一种基于真实数据并保持原始参数不变的植物叶柄器官建模方法。首先通过叶柄长度、叶柄半径参数建立柄的三维模型,并加入表......
无论采用C/S或B/S结构设计及实现信息系统,在此过程中经常涉及如性别、民族等受约束的数据项的数据库设计与前台实现,借助现有的平......
XML已成为Internet上的技术趋势,在保留原有关系数据库的同时发展XML文档是目前的最佳选择,它需要在保持数据依赖约束基础上实现关......
With SDO observations and a data-constrained magnetohydrodynamics(MHD)model,we identify a confined multi-ribbon flare th......
主要研究并行产品开发环境下基于数据和资源约束的产品开发过程建模,提出了一种动态产品开发过程建模算法,该算法能根据产品开发目......
提出一种基于数据约束的黄瓜叶片参数化建模方法。该方法首先通过对真实叶片形态数据的统计分析获得叶脉分布以及叶缘特征两类形态......
本文提出了报表信息的本质三个不同层次上的数据约束。一方面通过定义数据约束就可以定报表，另一方面，根据数据约束就能够生成报表数......
...
为了表达引起数据冗余的XML函数依赖，研究了XML中存在的复杂的多种形式的函数依赖约束，提出了一种DTD的路径语言，对于导航和定位XML文......
运动设备的故障常引起数据的异常或错误，而且这种故障通常难以察觉。如果系统能自动检测出异常的数据并及时报告，将使故障能得到及时......
针对大型网络数据系统中冗余信息过大,数据之间缺少正常的约束行为,而造成数据查询效率过低的问题,提出了一种基于约束校验的大型......
为了解决具有数据约束的工作流多标优化调度问题,提出了一种在保证业务逻辑前提下并考虑数据约束的数据感知调度算法.首先通过将工......
针对关系数据库操作过程中如何更好地维护数据问题,文章讨论了触发器的基本功能以及基本实现原理,阐述触发器在数据维护中的适用业......
我们从普朗克常数把新宇宙的微波背景(CMB ) 数据与 Baryon 声学的摆动(BAO ) 数据相结合抑制 Brans-Dicke (BD ) 理论，重力的经常......
为了提高业务操作的效率以适应当前瞬息多变的市场,许多公司需要采取高效且有效的方法对其行为一致性进行分析。由于消费者不同的......
提高数据质量是数据库技术研究的新热点,数据约束是客观世界的数据所应遵循的语义限制,其对数据质量的影响往往被专业人士所忽视。......
在信息系统的范畴内,数据约束不同于业务流程和数据流程,数据约束是数据应遵循的语义限制,反映应用领域的信息规则,对数据约束的形......
带数据约束的实时系统是指一种既带有时间约束又带有数据变量约束的计算系统。目前将离散数据约束和连续时间约束统一在一个模型中......
数据模型是信息系统数据架构设计中最重要的组成部分之一，直接关系到信息是否有价值，或者有多高价值。本期主要介绍数据模型的概念、......
数据约束模型的一致性分析是业务流程管理的重要问题。已有的方法主要单一考虑流程模型的控制流方面。但是,对于一个模型而言,考虑......
数据约束模型的一致性分析是业务流程管理的重要问题。已有的方法主要单一考虑流程模型的控制流方面。但是,对于一个模型而言,考虑......
