地震沉积学在渤海蓬莱油田中的应用研究

综合该区地震、地质及测井资料,结合层序地层学理论和钻井沉积相分析,利用地震沉积学的90°相位转换技术和地层切片技术,重新建立该区的等时地层格架,开展储层平面展布研究。研究结果表明,在等时地层格架下划分的油组小层更符合油田生产动态,能有效指导油田注采井网调整;在岩心和测井资料基础上,结合地层切片属性分析该区储层平面展布规律,提出该区馆陶组为辫状河三角洲沉积体系。     

高校学报的变相重复发表现象及其预防措施

在对当前变相重复发表类文章的概念进行界定和分类的基础上,探讨了这一现象产生的主要原因和预防措施,希望能够减少这一现象的发生。变相重复发表现象出现的主要原因:一是编辑部审稿不严,工作不够细致;二是作者本身的原因,且此为主因。作者基于自身和外部压力的原因,往往作出变相重复发表的行为。故预防这一现象的发生需要从加强作者的写作(或学术)伦理道德修养,加强审编者的责任意识两方面入手。     

分割虚拟人切片数据的SVM多类分割方法*

针对虚拟人切片数据量大、解剖结构复杂等特点,对分割虚拟人切片图像的基于二叉树SVM多类分割方法进行研究.基于二叉树的SVM多类分割方法较其他SVM多分类方法更符合人们分割虚拟人切片图像的习惯,而且能获得较高的分割性能和质量.通过对该方法的性能分析,为组织高效的二叉树SVM多类分割方法提供了理论支持.     

翅片管切片成型机的控制系统

基于翅片管切片成型机的加工要求，设计电气控制系统的主控制器采用PLC控制，工件进给采用交流伺服电机控制，切削工作采用变频器无级调速控制。本文论述了翅片管切片成型机控制系统的硬件系统设计以及电气系统实现的关键技术。     

利用变量状态转换模型进行部分软件错误的检测

应用程序中的功能通常是通过对变量的操作来实现。应用程序中变量的操作包括赋值、引用等不同的方式。针对普通变量和指针变量在程序中的使用方式,对变量的状态进行了分析,并根据变量使用的特点,定义了普通变量和指针变量的状态转换模型。在此基础上,给出了与变量有关的软件错误的定义,并讨论了基于变量切片的软件错误的检测方法。     

面向自动修复并融合失效场景的缺陷定位方法

为了应对日益增长的软件修复开销,研究高效的软件自动修复技术成为学术界和工业界的共识。缺陷定位作为自动修复技术的前端,是实现快速准确自动修复的关键,其精度直接影响自动修复的性能。然而,初步研究表明,现有缺陷定位技术缺乏对自修复需求的考虑,对自修复算法支持有限。有必要研究面向自修复的高精度自动化缺陷定位技术,以提升自修复性能。因此,提出了失效场景的缺陷定位方法来应对该问题。提出的方法首先采用程序切片技术,构造出与失效相关的场景;然后对失效场景的各个元素实施可疑值度量;最后将可疑值度量化的场景交给自动修复技术实施修复。初步实验结果表明,本缺陷定位方法能有效提升自动修复性能。     

蛋白质构象空间局部增强差分进化搜索方法

针对蛋白质构象空间搜索问题,提出一种蛋白质构象空间局部增强差分进化搜索方法。在差分进化算法框架下,采用Rosetta Score3粗粒度知识能量模型有效降低构象空间的搜索维数,加快算法收敛速度;引入基于知识的片段组装技术可以有效提高预测精度;利用Monte Carlo算法良好的局部搜索性能对种群做局部增强,以得到更为优良的局部构象;结合差分进化算法较强的全局搜索能力,可以对构象空间进行更为有效的采样。5个测试蛋白实验结果表明,所提算法具有较好的搜索性能和预测精度。     

一种基于HLS的移动流封装与切片部署架构

介绍利用HLS协议实现移动流媒体视频系统的部署架构,提出除了采用ffmpeg和segmenter工具外,还可以选择ts Muxer GUI开发工具,通过适当参数配置实现TS快速流封装和切片功能。利用网络分析仪测试并记录服务器和客户端流传输交互过程,解决移动播放过程中简单性、灵活性、可扩展问题,可以广泛地用于移动互联网络环境。     

运用切片技术和模型检验进行构件接口测试

为了达到运用切片技术对构件模型进行状态空间压缩的目的,在构件之间接口的交互关系的基础上,提出了用测试驱动节点和扩展的构件节点建立构件系统的功能依赖图的具体方法和步骤,并通过基于模型检验的接口变异测试方法对三角形问题的Java Bean构件在切片前后的模型分别进行了测试。实验结果表明,该方法能够有效地压缩系统的状态空间,提高测试效率,同时也保证了对构件接口测试的全面性和正确性。     

基于时空切片的球拍类体育视频比赛镜头抽取

提出了一种基于短时切片的球拍类体育视频比赛镜头提取方法。该方法对视频时空切片分帧,通过对切片帧聚类、合并、边界检测和映射获取比赛镜头。实验表明该方法具有很好的鲁棒性和准确度。