基于构件检索的构件适配模式

针对传统的规约匹配可能出现的部分匹配问题，定义了输入适配、输出适配、串行适配、选择适配和递归组合模式等5种构件适配模式，并将其按照原子构件和复合构件的适配方式进行分类．通过研究原子构件适配模式所具有的清晰的前后置条件约束和逻辑关系，进一步从适配理论上分析了相应的复合构件适配算法的可行性．将切片思想引入需求规约的描述，得到分解的子规约，能较好地精化检索条件，从而提高构件检索的杏伞率和杏准率，并提高库中构件的可复用件．     

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

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

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

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

胜利油田S12块内源微生物群落选择性激活条件研究

在考察了胜利油田S12块注入水和油井产出水中细菌群落状况的基础上,针对烃类降解菌、产甲烷菌、硝酸盐还原菌等有益于采油的细菌群落,研究了营养条件对细菌群落激活的影响.结果表明,激活剂配方St-12能较好地刺激有益内源菌群落的生长,且对硫酸盐还原菌、铁细菌及硫细菌等对采油不利的细菌起到了一定的抑制作用.室内岩心模拟试验表明,在水驱基础上内源微生物驱可以提高采收率最高达9.14%.     

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

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

采区巷道布置方式的选择

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

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

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

程序分片技术及应用

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

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

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

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

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