政府赋能与数据约束:基层政府数字治理的实践逻辑与路径建构--基于“龙游通”数字治理的案例考察 被引量：28

1

作者 沈费伟 叶温馨 《河南社会科学》 CSSCI 北大核心 2021年第4期86-93,共8页

当前对于政府数字治理研究主要集中于地市级以上政府,基层政府数字治理研究成果非常稀少,尤其缺少对相应现实案例进行深度探究。基于政府赋能与数据约束的分析框架,以衢州市“龙游通”数字治理为例,在厘清现阶段基层政府数字治理实践逻... 当前对于政府数字治理研究主要集中于地市级以上政府,基层政府数字治理研究成果非常稀少,尤其缺少对相应现实案例进行深度探究。基于政府赋能与数据约束的分析框架,以衢州市“龙游通”数字治理为例,在厘清现阶段基层政府数字治理实践逻辑的基础上,提出新时期基层政府数字治理的路径构建。研究发现,当前基层政府数字治理已形成制度体系、组织协同、机制聚合、智能应用、公民参与的内生动力,但仍面临数据采集困难、数据保障滞后、数据运用效果不佳、数据计算落后的现实困境。技术、组织与行为是基层政府数字治理主要变革内容。基于此,未来需要从技术发展、组织优化、行为规范三方面推进基层政府数字治理能力建设,从而更好地提高基层政府数字治理绩效。 展开更多

关键词 基层政府 数字治理 政府赋能 数据约束 龙游通

下载PDF 职称材料

数据约束对数据质量的影响研究 被引量：5

2

作者 程录庆 《长江大学学报（自然科学版）》 CAS 2011年第5期100-102,6,共3页

提高数据质量是数据库技术研究的新热点,数据约束是客观世界的数据所应遵循的语义限制,其对数据质量的影响往往被专业人士所忽视。对出现过的数据约束表达作了分类,并从数据约束分析的角度讨论了数据的固有特性对数据库结构设计、数据... 提高数据质量是数据库技术研究的新热点,数据约束是客观世界的数据所应遵循的语义限制,其对数据质量的影响往往被专业人士所忽视。对出现过的数据约束表达作了分类,并从数据约束分析的角度讨论了数据的固有特性对数据库结构设计、数据输入、数据修复和数据查询的影响。 展开更多

关键词 数据质量 数据约束 数据约束分类

下载PDF 职称材料

一种改进的LDPC码BP译码算法 被引量：6

3

作者 郑伟 马晓越 赵成晨 《河北大学学报（自然科学版）》 CAS 北大核心 2016年第5期547-553,共7页

通过对LDPC码经典的BP译码算法进行研究,针对算法译码复杂度非常大、迭代次数多、不利于硬件实现的问题,提出了一种改进的BP译码算法.改进算法通过实时监控在连续3次迭代中译码是否稳定来减少在信噪比低于译码阈值时的迭代次数.同时,在... 通过对LDPC码经典的BP译码算法进行研究,针对算法译码复杂度非常大、迭代次数多、不利于硬件实现的问题,提出了一种改进的BP译码算法.改进算法通过实时监控在连续3次迭代中译码是否稳定来减少在信噪比低于译码阈值时的迭代次数.同时,在变量消息更新过程中对传递的校验信息进行数据约束,防止由于数据溢出而导致的译码失败.仿真结果表明,改进的BP算法,在性能损失不大的情况下可以有效地降低译码的复杂度,从而更利于硬件的实现. 展开更多

关键词 LDPC码 BP译码算法 迭代次数 数据约束

下载PDF 职称材料

带数据约束实时系统的模型检测 被引量：4

4

作者 倪水妹 曹子宁 李心磊 《计算机科学》 CSCD 北大核心 2014年第5期254-262,269,共10页

带数据约束的实时系统是指一种既带有时间约束又带有数据变量约束的计算系统。目前将离散数据约束和连续时间约束统一在一个模型中的规范及验证研究较少。文中提出了一种既带有连续数据约束又带有离散数据约束的规范——基于连续时间的... 带数据约束的实时系统是指一种既带有时间约束又带有数据变量约束的计算系统。目前将离散数据约束和连续时间约束统一在一个模型中的规范及验证研究较少。文中提出了一种既带有连续数据约束又带有离散数据约束的规范——基于连续时间的ZIA规范,并给出它的时序逻辑。MARTE是UML在嵌入式实时系统领域的建模规范,在工业界的应用非常广泛,但是目前对其模型检测的研究较少。在MARTE的基础上扩展Z,提出了Z-MARTE,并将Z-MARTE转换为基于连续时间的ZIA模型,在实现对连续时间ZIA模型检测的同时,也实现了对Z-MARTE的模型检测。最后通过一个实例进行验证,说明此方法可行有效。 展开更多

关键词 数据约束 实时系统 连续时间 MARTE ZIA 模型检测

下载PDF 职称材料

云计算和大数据环境下工作流数据感知调度 被引量：2

5

作者 李亚歌 叶春杨 周辉 《海南大学学报（自然科学版）》 CAS 2019年第2期127-133,共7页

为了解决具有数据约束的工作流多标优化调度问题,提出了一种在保证业务逻辑前提下并考虑数据约束的数据感知调度算法.首先通过将工作流调度建模为一个多目标优化问题,开发了一种数据感知蚁群算法(DACO)来搜索最优调度方式,其次在该算法... 为了解决具有数据约束的工作流多标优化调度问题,提出了一种在保证业务逻辑前提下并考虑数据约束的数据感知调度算法.首先通过将工作流调度建模为一个多目标优化问题,开发了一种数据感知蚁群算法(DACO)来搜索最优调度方式,其次在该算法中将判断每个任务所需的数据量和任务之间的数据约束,感知每个业务之间的数据流,最后分治策略来搜索最优调度.实验结果表明,该算法在效率和成本效益方面优于现有的求解方法. 展开更多

关键词 工作流 数据约束 数据感知

下载PDF 职称材料

数据完整性约束机制的差异性和优先级 被引量：2

6

作者 赵红霞 宁晓青 《网络安全技术与应用》 2014年第3期76-76,79,共2页

数据完整性约束用以保证数据库中数据的正确性、一致性和可靠性。本文分析阐述数据完整性约束类型的差异性和具体实现的约束方法,并通过实验验证对特定字段设置同一类数据完整性约束的方法存在优先级,设置不同类间的数据完整性约束的方... 数据完整性约束用以保证数据库中数据的正确性、一致性和可靠性。本文分析阐述数据完整性约束类型的差异性和具体实现的约束方法,并通过实验验证对特定字段设置同一类数据完整性约束的方法存在优先级,设置不同类间的数据完整性约束的方法也存在优先级。 展开更多

关键词 数据完整性 数据约束 优先级 差异性

原文传递

数据依赖的语义分析 被引量：1

7

作者 程录庆 《南阳师范学院学报》 CAS 2011年第9期51-54,共4页

数据依赖是一类数据约束,数据的语义解释决定了数据库中的数据应遵循的约束.数据库设计理论涉及一个基本问题——数据依赖的确定,实践中,对于数据依赖的确定,专业人员往往依赖实例数据的分析或者凭经验判断.为了探讨数据依赖的确定问题... 数据依赖是一类数据约束,数据的语义解释决定了数据库中的数据应遵循的约束.数据库设计理论涉及一个基本问题——数据依赖的确定,实践中,对于数据依赖的确定,专业人员往往依赖实例数据的分析或者凭经验判断.为了探讨数据依赖的确定问题,通过实例数据分析发现数据依赖的方法,指出其不可靠,提出了通过语义分析确定数据依赖的思路,并对函数依赖、包含依赖、多值依赖和连接依赖的语义分析作了阐释. 展开更多

关键词 数据依赖 数据约束 语义分析 数据库设计理论 数据库系统管理

下载PDF 职称材料

数据约束模型的相似最优校准一致性分析 被引量：1

8

作者 谢苗苗 方贤文 王丽丽 《计算机工程与应用》 CSCD 北大核心 2019年第1期261-265,共5页

数据约束模型的一致性分析是业务流程管理的重要问题。已有的方法主要单一考虑流程模型的控制流方面。但是,对于一个模型而言,考虑数据流的时候可能是不一致的,所以应该结合数据信息的影响分析业务流程模型的一致性。基于相似最优校准... 数据约束模型的一致性分析是业务流程管理的重要问题。已有的方法主要单一考虑流程模型的控制流方面。但是,对于一个模型而言,考虑数据流的时候可能是不一致的,所以应该结合数据信息的影响分析业务流程模型的一致性。基于相似最优校准的概念,根据算法计算出模型与日志的简化最优校准集,以便缩减已有方法所需的数量,然后映射校准移动到模型以确定模型行为不一致的区域,并添加控制节点进一步优化模型,最后通过具体实例验证该方法的可行性。 展开更多

关键词 数据约束 相似最优校准 校准移动 行为一致性

下载PDF 职称材料

面向概率ZIA时序及度量性质的检测研究 被引量：1

9

作者 倪水妹 曹子宁 《小型微型计算机系统》 CSCD 北大核心 2015年第3期550-555,共6页

带数据约束的概率系统是指一种既带有概率约束,又带有数据变量约束的计算系统,应用非常广泛.对这类系统而言,确保其正确性和可靠性是至关重要的.目前对带数据约束的概率系统模型的规范及验证研究较少,本文提出了一种针对概率系统的带数... 带数据约束的概率系统是指一种既带有概率约束,又带有数据变量约束的计算系统,应用非常广泛.对这类系统而言,确保其正确性和可靠性是至关重要的.目前对带数据约束的概率系统模型的规范及验证研究较少,本文提出了一种针对概率系统的带数据约束的规范.对于传统的时序逻辑如计算树逻辑和概率计算树逻辑来说,尽管这些逻辑很强大,但是只能反映系统的时序性质,为了解决这些局限性,本文提出一个新的形式化语言来表达度量性质查询,同时保留表达时序性质的能力.最后,文章给出针对概率系统度量性质的检测算法并通过实例说明本文提出的方法可行有效. 展开更多

关键词 数据约束 概率系统 概率计算树逻辑 度量性质

下载PDF 职称材料

基于约束校验的大型网络数据库查询方法研究

10

作者 徐新爱 《科技通报》 北大核心 2012年第10期144-146,149,共4页

针对大型网络数据系统中冗余信息过大,数据之间缺少正常的约束行为,而造成数据查询效率过低的问题,提出了一种基于约束校验的大型网络数据库查询方法。该方法对大型数据库中的正常数据和冗余数据在数据关联时进行必要的约束、判断分类,... 针对大型网络数据系统中冗余信息过大,数据之间缺少正常的约束行为,而造成数据查询效率过低的问题,提出了一种基于约束校验的大型网络数据库查询方法。该方法对大型数据库中的正常数据和冗余数据在数据关联时进行必要的约束、判断分类,运用数据关联决策理论对冗余数据进行过滤,保证数据关联过程中较高的约束性。实验结果表明,在大型网络数据库的实验平台上,该方法大幅提高了数据搜索的效率,效果显著。 展开更多

关键词 网络数据量 数据约束 关联规则

下载PDF 职称材料

刀具管理模块在工程数据库中的设计与实现

11

作者 杜洪勋 《机械设计与制造工程》 2014年第3期1-4,共4页

以立铣刀为例,从数据建模、数据依赖性分析以及约束条件的实现、用户界面编制等方面论述了刀具管理模块在工程数据库中的具体设计与实现方法。分析问题的思路以及采用的方法对于工程数据库的设计与实现具有参考意义。

关键词 工程数据库 刀具管理 数据依赖性 约束条件

下载PDF 职称材料

关系数据库触发器应用的研究

12

作者 温立辉 《无线互联科技》 2020年第19期54-55,共2页

针对关系数据库操作过程中如何更好地维护数据问题,文章讨论了触发器的基本功能以及基本实现原理,阐述触发器在数据维护中的适用业务场景;同时分析触发器机制的优、缺点,最后说明了触发器在数据运维中的重要作用。

关键词 数据审计 临时表 逐行检查 数据约束 级联操作

下载PDF 职称材料

基于C#实现信息系统的数据约束

13

作者 闫淼 戴微微 《电脑编程技巧与维护》 2013年第18期22-23,34,共3页

无论采用C/S或B/S结构设计及实现信息系统,在此过程中经常涉及如性别、民族等受约束的数据项的数据库设计与前台实现,借助现有的平台及编程语言高效、便捷地实现此类数据的设计及实现是所要解决的主要问题。

关键词 C#语言 信息系统 数据约束

下载PDF 职称材料

带数据约束的概率实时系统的验证

14

作者 张春燕 孙俊 《计算机科学》 CSCD 北大核心 2017年第S1期571-574,593,共5页

带数据约束的概率实时系统是指一种既带有概率时间约束又带有数据变量约束的计算系统。目前将离散数据约束和连续时间约束统一在一个概率模型中的规范及验证研究较少。提出了一种既带有连续数据约束又带有离散数据约束的规范——基于连... 带数据约束的概率实时系统是指一种既带有概率时间约束又带有数据变量约束的计算系统。目前将离散数据约束和连续时间约束统一在一个概率模型中的规范及验证研究较少。提出了一种既带有连续数据约束又带有离散数据约束的规范——基于连续时间的概率ZIA规范,并给出了它的时序逻辑。对于CTL和PCTL而言,尽管这些逻辑很强大,但是只能反映时序性质,因此提出一个新的形式化语言CTML来表达度量性质查询,同时保留表达时序性质的能力并给出概率ZIA规范的验证算法。 展开更多

关键词 数据约束 概率实时系统 连续时间 ZIA

下载PDF 职称材料

空间数据库数据约束系统及其实现 被引量：7

15

作者 方裕 陈斌 范建春 《地理与地理信息科学》 CSSCI CSCD 北大核心 2003年第4期24-27,共4页

空间数据库模型是构造地理信息系统的关键,如何在空间数据库中定义和实现空间实体间的约束关系直接影响到空间数据的完整性和一致性,是实现通用空间数据库约束系统的关键技术。该文讨论了传统GIS空间数据约束关系实现方法的局限性,提出... 空间数据库模型是构造地理信息系统的关键,如何在空间数据库中定义和实现空间实体间的约束关系直接影响到空间数据的完整性和一致性,是实现通用空间数据库约束系统的关键技术。该文讨论了传统GIS空间数据约束关系实现方法的局限性,提出了一个可扩展的空间数据约束描述和数据更新规则系统,并实现了系统原型。这一可扩展的约束系统将有利于解决GIS的多用户同步操作机制及分布式事务处理的实现问题。 展开更多

关键词 空间数据库 地理信息系统 空间数据约束系统 GIS 对象-关系数据库 并发控制

下载PDF 职称材料

深部地层智能压井多解性分析与优化策略

16

作者 王志远 梁沛智 +3 位作者 陈科杉 仉志 张剑波 孙宝江 《石油钻探技术》 CAS CSCD 北大核心 2024年第2期136-145,共10页

开发深部地层油气资源时普遍存在地质条件复杂、钻井周期长和井筒压力控制困难等问题,采用智能压井方法结合多源实时信息反馈,可实现井筒内气液分布状态和压力变化规律的实时预测与更新,但不同修正系数组合可能得到相同的压力计算结果,... 开发深部地层油气资源时普遍存在地质条件复杂、钻井周期长和井筒压力控制困难等问题,采用智能压井方法结合多源实时信息反馈,可实现井筒内气液分布状态和压力变化规律的实时预测与更新,但不同修正系数组合可能得到相同的压力计算结果,导致模型存在多解性难题。为此,分析了不同历史时间节点解空间形态的演变规律,揭示了模型多解性的本质源于少量数据约束下模型训练的不完善性;并对应建立了基于实时信息序列的模型全局训练优化方法及动态随机种群训练优化方法,测试了其对于模型全局最优解的搜索能力及适用条件。测试结果表明,全局训练优化方法在压井初期能够实现精准调控,但计算耗时较长;而动态随机种群训练优化方法在压井初期与预期值略有差异,但计算耗时较少。根据可用计算资源情况选择合适的训练优化方法,可实现多源实时数据约束下模型关于井筒气液流动规律的深度学习。 展开更多

关键词 深部地层 智能压井方法 模型多解性 多源实时数据约束 训练优化方法

下载PDF 职称材料

COMPSPEN:对形状性质与数据约束进行融合推理的分离逻辑求解器

17

作者 苏婉昀 高冲 +1 位作者 古新才 吴志林 《软件学报》 EI CSCD 北大核心 2023年第5期2181-2195,共15页

分离逻辑是经典霍尔逻辑的针对操作指针和动态数据结构的扩展,已经广泛用于对基础软件(比如操作系统内核等)的分析与验证.分离逻辑约束自动求解是提升对操作指针和动态数据结构的程序的验证的自动化程度的重要手段.针对动态数据结构的... 分离逻辑是经典霍尔逻辑的针对操作指针和动态数据结构的扩展,已经广泛用于对基础软件(比如操作系统内核等)的分析与验证.分离逻辑约束自动求解是提升对操作指针和动态数据结构的程序的验证的自动化程度的重要手段.针对动态数据结构的验证一般同时涉及形状性质(比如单链表、双链表、树等)和数据性质(比如有序性、数据不变性等).主要介绍能对动态数据结构的形状性质与数据约束进行融合推理的分离逻辑求解器COMPSPEN.首先介绍COMPSPEN的理论基础,包括能够同时描述线性动态数据结构的形状性质和数据约束的分离逻辑子集SLIDdata、SLIDdata的可满足性和蕴涵问题的判定算法.然后,介绍COMPSPEN工具的基本框架.最后,使用COMPSPEN工具进行了实例研究.收集整理了600个测试用例,在这600个测试用例上将COMPSPEN与已有的主流分离逻辑求解器Asterix、S2S、Songbird、SPEN进行了比较.实验结果表明COMPSPEN是唯一能够求解含有集合数据约束的分离逻辑求解器,而且总体来讲,能对线性数据结构上的同时含有形状性质和线性算术数据约束的分离逻辑公式的可满足性问题进行高效的求解,另外,也能对蕴涵问题进行求解. 展开更多

关键词 分离逻辑 形状性质 线性算术数据约束 集合数据约束 可满足性问题 蕴涵问题 约束求解器

下载PDF 职称材料

SCADA系统中坏数据的自动检测 被引量：4

18

作者 唐新安 胡铁斌 《电力自动化设备》 EI CSCD 北大核心 2002年第10期81-82,共2页

远动设备的故障常引起数据的异常或错误,而且这种故障通常难以察觉。如果系统能自动检测出异常的数据并及时报告,将使故障能得到及时处理,可大大提高系统的可靠性。提出了一种通过检测数据间是否满足预先设定的约束关系判断数据是否异... 远动设备的故障常引起数据的异常或错误,而且这种故障通常难以察觉。如果系统能自动检测出异常的数据并及时报告,将使故障能得到及时处理,可大大提高系统的可靠性。提出了一种通过检测数据间是否满足预先设定的约束关系判断数据是否异常的方法。约束关系是根据与数据一同存放在数据库中的数据类型确定的。这种方法已成功运用于供电局的调度系统中,有效地发现了多起故障,取得了良好的效果。 展开更多

关键词 SCADA系统 坏数据 自动检测 电网调度自动化系统 数据库设计 数据约束

下载PDF 职称材料

MRF随机场在文本图像清晰化算法中的应用 被引量：1

19

作者 沈剑 路林吉 《计算机技术与发展》 2011年第6期9-11,15,共4页

对于扫描或相机拍摄的低分辨率文本图片,提出一种基于马尔科夫随机场的文本图像清晰化算法。该算法首先引入了马尔科夫随机场模型,然后考虑平衡数据项与平滑项之间的关系从而确定出能量函数的表达式。利用改进过的置信度传播方法来解决... 对于扫描或相机拍摄的低分辨率文本图片,提出一种基于马尔科夫随机场的文本图像清晰化算法。该算法首先引入了马尔科夫随机场模型,然后考虑平衡数据项与平滑项之间的关系从而确定出能量函数的表达式。利用改进过的置信度传播方法来解决马尔科夫随机场中的最大后验估计问题,以达到最小化能量函数的目的。实验结果表明,本算法能够较有效地提高低分辨率图像的清晰度,一定程度上提高了图片的分辨率,尤其对文字的边缘部分有很好的锐化效果。 展开更多

关键词 图像复原 马尔科夫随机场 数据项约束 双峰值模型 置信度传播

下载PDF 职称材料

数据要素倍增效应的理论机制、制约因素与政策建议 被引量：5

20

作者 欧阳日辉 刘昱宏 《财经问题研究》 北大核心 2024年第3期3-18,共16页

近年来,数据要素已快速融入生产、分配、流通、消费和社会服务管理等各环节,逐渐成为数字时代的基础性资源、重要生产力和关键生产要素。构建以数据为关键要素的数字经济,充分发挥数据要素的放大、叠加和倍增作用,是经济高质量发展的必... 近年来,数据要素已快速融入生产、分配、流通、消费和社会服务管理等各环节,逐渐成为数字时代的基础性资源、重要生产力和关键生产要素。构建以数据为关键要素的数字经济,充分发挥数据要素的放大、叠加和倍增作用,是经济高质量发展的必然要求。本文界定了数据要素倍增效应的概念,基于转换倍增和循环倍增路径推导了数据要素倍增效应的模型,构建了链式决策优化的分析框架,论证了数据要素通过在宏观层面驱动要素配置决策和在微观层面驱动企业运行决策两条路径产生倍增效应。在实践中,数据要素积累不充分、运用不完善和规制不健全等因素制约了数据要素的价值释放。为充分发挥数据要素倍增效应,释放数据要素价值,必须在要素层健全数据整合机制、在产业层丰富数据应用场景、在制度层完善规章制度,强化数据要素供给和利用。 展开更多

关键词 数据要素倍增效应 数据要素价值 数字经济 决策优化 数据要素倍增制约

下载PDF 职称材料