基于抽象实现结构图的数据流方程切片方法

提出在PASCAL抽象实现结构图上,采用数据流方程算法实现程序切片的自动化.该方法将过程蓝图的抽象实现结构图引入静态过程内切片领域,实现了程序表示形式与程序切片处理形式的统一,避免了传统方法产生控制流图的需要,简化了切片处理过程,提高了切片处理效率,并直观地反映了切片后的程序变化.     

快速成型制造中基于STL数据模型的分层算法研究

分析了针对快速成型工艺的典型分层方案；研究了针对CAD三维数据模型的典型分层算法；探讨了基于有向加权图的STL件数据模型的分层算法并给出了典型零件的分层切片实例．     

南图尔盖盆地SA区块河道砂体演化及定量刻画

针对河道砂体横向变化快而难以有效刻画评价的问题,综合应用分频检测、相位调整、地层切片及地质体雕刻等技术对南图尔盖盆地SA区块上侏罗统阿克萨布拉克组河道发育特征及期次进行了研究。首先,利用分频方法检测出目的层段可能存在的两期调谐厚度不同的河道沉积体;然后,采用波阻抗分析和90°相位转换,揭示目的层段地震负振幅与河道砂岩具有较好的对应关系;最后,在高频层序地层格架内制作等时地层切片的基础上,通过河道沉积特征及典型地层切片振幅的单井标定分析,识别并分期刻画出两期不同类型的河道砂体。结合河道弯度、宽厚比及储集体积等参数综合分析认为,早期河道具有低弯度曲流河特征,晚期河道为具有平直河特征的三角洲平原分流河道,且早期河道储集体积明显高于晚期河道。     

采区巷道布置方式的选择

本文建立了采区巷道布置方式选择的层次分析模型,介绍了采区巷道布置方式的选择方法,并提出了评判各种采区巷道布置方式的指标体系和参数值的确定方法,可供实际工作参考。     

5G行业专网应用研究进展

 梳理了国内外5G行业专网相关规范、标准及政策,列举了国外专网服务主要提供方式和平台、国内典型行业应用案例及解决方案;综述了组网方式、频谱策略、安全保障、运行维护4个领域的应用现状、代表性研究成果;阐述了网络切片、多接入边缘计算、增强上行、精准定位等主要关键技术原理及其在专网中应用现状,对主要潜在技术前景进行了前瞻;指出了面临的困难挑战,展望了未来的发展趋势,并给出了后续发展建议。     

程序分片技术及应用

程序分片是一种分析和理解程序的技术。系统介绍程序分片的概念，计算方法及分片工具，应用领域，研究现状和发展趋势等方面的问题。     

基于RPM的水轮机叶片复杂曲面制造技术

针对传统的木模铸造方法在制造水轮机叶片时存在精度差、周期长、成本高等缺点，提出了基于RPM技术制造具有复杂曲面水轮机叶片的新方法。该方法首先应用非均匀有理B样条理论进行水轮机叶片的整体造型，实现了叶片的数字化表示，在此基础上利用自由曲面和解析曲面的求交方法对叶片数字模型进行切片分层，最终实现在成型机上层积制作原型。实例分析表明，该方法能够克服传统制造方法的不足，有明显的优越性。     

三江源区高寒草甸退化与水塔功能的关系

为便于利用空区探测系统(CMS)采集的采空区点云数据,在三维重建之前对点云数据进行精简是一个必要的环节,提出了一种基于切片的采空区点云数据精简方法.根据采空区点云数据采集的原理,将采空区理想化处理,分析扫描角、扫描线间距及扫描点水平距离之间的关系,据此确定切片间距阈值.将最近点投影到切片上拟合成曲线,结合改进后的偏角法对曲线进行采样精简处理,并以实例证明该方法的有效性.     

地震沉积学在杏树岗油田扶余油层中的应用

松辽盆地杏树岗油田扶余油层以陆相河流、三角洲沉积体系为主,砂体厚度薄,横向变化快。由于地震分辨率的限制,大部分地震反射连续性差,能量变化大,空间分布非常不稳定,在细分层序单元内(一般是四级或四级以上层序)等时对比追踪每一个层序界面是困难的,而沿等时切片进行属性提取与分析,则存在穿时现象。针对这种情况,利用地震沉积学基本理论,结合松辽盆地实际沉积特征,采用基于参考标准层的层拉平精细解释、井震统层建立等时地层格架、等比例地层切片技术、最佳属性视窗刻画地震地貌等技术对该区河道砂体进行了精细刻画,在实际应用中取得了良好的效果,研究区内河道沉积特征得到清晰刻画,同时也进一步丰富和发展了地震沉积学,并形成了陆相地震沉积学研究方法和基本工作流程。     

基于切片度量的重构对象识别

为了提高识别重构对象的效率和正确性,提出一种自动化识别重构对象的技术.首先,在程序切片的基础上,构造一种度量函数来量化元素间的依赖程度.然后,利用度量结果识别出在原程序的位置和从属关系不合理的元素,从而自动识别出程序中的"坏味道".与以往的手动识别相比,该方法可以自动地分析源代码,指出程序中不合理的地方,从而提高重构识别的效率,并建议使用相应的重构手段对"坏味道"实施更改,使代码更加合理、易于维护.最后,利用3个重构实例显示该方法能够识别出一些重构对象,从而验证了该方法的可行性.