塔中地区沙漠地震资料处理技术

塔中Ⅰ号坡折带是塔中地区奥陶系碳酸盐岩油气聚集十分有利的区带,为典型的溶洞储集体。岩溶缝洞的发育在地震剖面上表现为“串珠状强反射”。为了对小尺度的溶蚀孔洞和裂缝发育带进行预测,在地震资料处理中,突出保幅叠前道集处理,强化去噪技术攻关,通过井控处理改善反褶积效果,以提高奥陶系内幕资料的分辨率。应用各向异性叠前时间偏移技术进一步改善了塔中奥陶系内幕反射特征。     

智能电能表中磁保持继电器工况的综合分析

介绍了智能电表的控制部件一磁保持继电器驱动电路的工作原理,准确定义了磁保持继电器的指令状态和实际状态,在此基础上,分析了继电器的各种正常、异常工况。论述了智能电表在电能表校验装置上拉闸指示异常的原因,并给出了缜密的控制软件设计方法。     

磁保持继电器应用中的问题及改进措施

介绍了磁保持继电器的工作原理,对电器二次回路中磁保持继电器应用中出现的问题进行了分析。提出了改进措施,对磁保持继电器在控制回路及电压切换回路中的功能进行了完善。     

水土保持工作中的植物措施

1概述 植物措施对保持水土有着特别显著的作用,它不但能涵养水源、改良土壤、防止水土侵蚀、巩固水土保持工程成果,还可以调节气候、防止空气污染、改造自然环境、为农业生产和人类生活创造良好的条件。在制定水土保持规划时,必须着眼于长远利益和根本利益,不能只顾眼前而忽视长远建设,不能只注重工程措施而忽视植物措施,二者必须紧密结合,才能有效的治理水土流失。     

快速预测电力系统结构保持模型稳定极限点

牛顿法和同伦延拓法都属于代数计算法,利用牛顿法解决系统多解问题的关键是确定初值。在对这2种方法的研究中发现:将1-0点和0-0点分别作为不动点,构造不动点同伦函数,由初值计算得到状态变量的值,以其作为牛顿法迭代初值进行计算,计算过程可以通过整体平移不动点位置保证牛顿迭代计算的收敛性,且能够快速获得在负荷较重情况下系统的高压、低压平衡点。该改进同伦延拓法避免了求解同伦曲线花费大量时间甚至从初始点趋向于无穷远的弊端。利用计算得到的 QV曲线上成对平衡点建立线性无关方程组,求解拟合QV曲线的多项式系数,再通过拟合曲线快速预测系统稳定极限点位置。该快速预测法计算耗时短,结果精度高。多个电力系统结构保持模型的分析结果验证了其快速性和精确性。     

分层准则调控的服务协同保障机制

为了提高服务协同的可靠性和简化异常处理设计过程的复杂性,在基于服务协同的虚拟组织中引入分层准则调控的服务协同保障机制,在功能准则层通过各业务间依赖关系生成异常依赖关联,从而在异常处理中通过异常依赖关联指导保障准则层的运作,并结合高效可行的运行机制,保障服务的一致性和可靠性。首先给出准则的定义,然后给出了异常依赖关联的自动生成算法,以及分层准则调控的服务协同保障机制,阐述了异常处理步骤,最后结合详细实例进行了情景分析。     

XML模式到关系数据模式转换的研究

分析和研究了DTD模式到关系模式的内联映射算法,提出一种带约束条件和函数依赖的映射方法。该方法结合给定规则对XML DTD进行简化,构造带约束条件的DTD图,并依照图中的一些函数依赖关系以及函数依赖关系的讨论得到最终关系集合,在引入映射方法的同时给出实例进行介绍,从而得到更加完备的关系模式。     

XML弱函数依赖及单依赖集合研究

XML弱函数依赖是在XML数据库中引入空值理论后的函数依赖。在空值、不完全树元组等概念的基础上,定义了弱函数依赖、单依赖集合,证明了单依赖集合判定定理和单依赖集合判定可终止定理。     

并行程序验证的调度策略

针对形式化程序验证中的并行调度问题,提出了基于依赖集的算法。通过引入依赖图和依赖集概念,以形式化方式描述程序语句间的依赖关系,然后给出了从语法分析树构造依赖图和依赖集的算法;最后在此基础上设计了并行调度算法并应用于计算机辅助程序验证系统。实验结果表明,该方法具有较高的并行效率。     

基于时空依赖关系和特征融合的弱监督视频异常检测

弱监督视频异常检测由于抗干扰性强、数据标注要求低,成为视频异常事件检测研究的热点。在现有的工作中,大多数弱监督视频异常检测方法认为各个视频段独立同分布,单独判断每个视频段是否异常,忽略了视频段间的时空依赖关系。为此,提出了一种基于时空依赖关系和特征融合的弱监督视频异常检测方法,在保留视频段原始特征的同时,使用视频段之间的索引距离和特征相似程度拟合视频段的时间和空间依赖关系,构建视频段的关系特征。通过融合原始特征和关系特征,更好地表达视频的动态特性和时序关系。在UCF-Crime和ShanghaiTech两个基准数据集上进行了大量实验,实验结果表明所提方法的AUC指标优于其他方法,AUC值分别达到了80.1%和94.6%。