无源数据约束下多源域自适应的风电齿轮箱故障诊断方法

针对在数据隐私和安全性的背景下,无法接触源域数据导致领域自适应方法不可用的问题,提出一种无源数据约束下多源域自适应的故障诊断方法。首先,通过信息最大化损失促使源域与目标域数据在特征空间进行对齐;然后利用自监督伪标签策略挖掘目标域数据的特征表征信息,并采用熵筛选策略抑制噪声伪标签的影响;最后通过自适应加权有效利用多个源域的知识并抑制负迁移影响,实现无源数据约束下的风电齿轮箱的故障诊断。通过动力传动综合实验台数据和某风场风电机组CMS数据对所提方法进行验证与应用。结果表明:所提方法仅利用预训练的源域模型和目标域无标签数据即可有效实现目标域风电齿轮箱故障诊断。

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

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

数据约束对数据质量的影响研究

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

基于数据约束的黄瓜叶片参数化建模

提出一种基于数据约束的黄瓜叶片参数化建模方法。该方法首先通过对真实叶片形态数据的统计分析获得叶脉分布以及叶缘特征两类形态特征参数,用来约束叶片整体形状并分区域描述叶缘形态细节,再根据参数值计算出叶片轮廓特征点的三维坐标,利用轮廓中轴骨架建模方法生成叶片的三维网格,最后采用纹理贴图技术增加真实感。试验结果表明,采用该方法可以快速、灵活地构建出黄瓜叶片的三维形态,具有较强的真实感效果。

空间数据库数据约束系统及其实现

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

利用试井数据约束的随机地质建模方法

传统的随机模拟方法建立的地质模型由于很少考虑动态资料而不能反映压力、产量等动态特征。为此,在前人研究的基础上,提出一种利用试井动态资料约束的随机地质建模方法,即由传统的随机模拟方法建立初始模型;再利用试井资料,采用模拟退火算法优化、修正初始模型,使之与试井测试结果相匹配。在修正地质模型中,采用解析解和数值解相结合的方法计算井底压力,可节约90%以上的计算时间。实例表明,修正后的模型符合试井测试(动态)资料,提高了地质模型的精度。

基于数据约束的植物叶柄三维形态交互建模方法

提出了一种基于真实数据并保持原始参数不变的植物叶柄器官建模方法。首先通过叶柄长度、叶柄半径参数建立柄的三维模型,并加入表面绒毛的模拟以增强真实感;为了丰富模型的形态,提出了基于交互的形态调整方法,该方法以关节链及逆向运动学为基础,辅以误差补偿算法,使交互调整过程中模型的原始参数(长度、半径)保持不变。试验结果表明,该方法可以快速、灵活地构建出叶柄器官的三维形态,具有较好的真实感效果,且变形过程中参数的变化很小。

带数据约束实时系统的模型检测

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

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

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

保持数据约束的关系数据库至XML文档的转换

XML已成为Internet上的技术趋势,在保留原有关系数据库的同时发展XML文档是目前的最佳选择,它需要在保持数据依赖约束基础上实现关系数据库与XML文档的转换。这一过程中,模式转换必须先于数据转换,因为现有的关系数据库通常是规范化的,重建XML文档树结构才能实现这一转换。为了达成此目的,首先依据已有的数据依赖约束将规范化的关系联合进一组表格,实现反向规范化,然后将这些联合表格映射为一组DOM,归并成XML文档树,根据用户选择的根结点,以及与它相连的结点形成一个期望的局部文档树,被选的XML文档树又映射为DTD格式的XML模式。这样就可以将联合表映射成一组DOM,并将其归并成单一DOM,最终转换成XML文档。

数据约束表达研究——比较条件函数依赖与传统函数依赖

在信息系统的范畴内,数据约束不同于业务流程和数据流程,数据约束是数据应遵循的语义限制,反映应用领域的信息规则,对数据约束的形式化表达是设计和管理数据库系统的基本任务.为了探讨数据约束的形式化表达问题,对条件函数依赖和传统函数依赖这两种数据约束表达方法作了比较研究.通过比较分析两者的表达能力、表达形式、对数据约束规律的揭示以及应用范围,指出了数据约束表达的三个层次.研究对数据库系统的设计与管理有理论参考价值.

基于微焦点CT与数据约束模型的古代家猪牙齿显微结构研究

本文对一例考古发掘出土的古代家猪下颌骨及牙齿进行了微焦点CT成像,通过加置滤波片有效减弱了线束硬化对CT图像的影响。基于数据约束模型(DCM)对样品三维结构进行了定量计算,获取了包含小于CT图像体元尺寸在内的样品跨尺度结构信息。对样品中孔隙及高吸收组分的联通特性进行了跨尺度计算,得到这两种组分的三维团簇分布。与常见的图像阈值分割法相比,DCM模型有效减弱了部分体积效应对图像分析的影响。本文研究结果为考古样品的内部形态测量、结构分析提供了数据基础,为考古样品的数字建模存档提供一种新的方法。

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

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

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

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

数据约束模型的相似最优校准一致性分析

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

时域全波形反演影响因素分析及井数据约束探索

以声波时域全波形反演原理为基础,分析了数据完备性、数据噪声、正问题(包括正问题表征、震源子波、边界及频散等)、初始模型、正则化以及多尺度等因素对时域全波形反演的影响,并提出了相应的实用化建议;探索了加入井数据约束的反演策略,给出了相应的井约束全波形反演误差泛函与梯度计算公式以及CPU并行实现流程,利用复杂地震地质模型分析验证了方法的正确性.

基于数据和资源约束的并行产品开发过程建模

主要研究并行产品开发环境下基于数据和资源约束的产品开发过程建模，提出了一种动态产品开发过程建模算法，该算法能根据产品开发目标和资源的变化动态地调整产品开发过程管理模型，有效提高产品开发的并行程度。

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

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

约束数据域的Delaunay三角剖分算法研究及应用

研究了一种约束Delaunay三角网生成算法,它充分利用分治算法与生长算法的优点,对离散点、构网中实时生成的边及三角形采用分块进行网格索引,有效地减少了搜索目标点、边及三角形的时间,从而提高了构网速度,并将该算法用于地面模型的构建中,实现了地形三维可视化。

智能车辆自动超车系统的数据驱动路径跟踪约束控制

针对智能车辆自动超车系统,提出了一种新的数据驱动超车路径跟踪约束控制方案,系统控制方案的设计仅利用自动超车系统的输入/输出数据,并不包括车辆的模型信息,所以针对不同的车型均能够实现自动超车的数据驱动路径跟踪约束控制.在控制器的设计过程中,针对控制输入受变化范围和变化速率的限制,提出了一种新的动态抗饱和补偿器来解决饱和问题.最后给出了数据驱动约束控制与原型无模型自适应控制(model free adaptive control,MFAC)以及PID控制的仿真结果对比,结果表明,本文所提控制方案能够很好的完成自动超车过程的路径跟踪,且相比原型MFAC以及PID控制方案,本文方案具有更小的跟踪误差和更快的响应速度.