川西拗陷上三叠统断层封闭性研究

本文用裂缝充填物、碳氧同位素、声发射、包体均一温度测定等方法确定川西拗陷上三叠统断层形成期次,研究其与油气演化的匹配关系;用钻井、流体性质、地层压力、断层面剖面图、断裂带地面调查等多种方法和资料,综合研究该区内断层的纵向、横向及有效封闭性。并进行区域评价,指出了封闭条件差、中等、好、极好的地区,为提高勘探效益提供了直接铱据。     

基于数据集扩充的即时软件缺陷预测方法

即时软件缺陷预测针对项目开发与维护过程中的代码提交来预测是否会引入缺陷。在即时软件缺陷预测研究领域,模型训练依赖于高质量的数据集,然而已有的即时软件缺陷预测方法尚未研究数据集扩充方法对即时软件缺陷预测的影响。为提高即时软件缺陷预测的性能,提出一种基于数据集扩充的即时软件缺陷预测(prediction based on data augmentation,PDA)方法。PDA方法包括特征拼接、样本生成、样本过滤和采样处理4个部分。增强后的数据集样本数量充足、样本质量高且消除了类不平衡问题。将提出的PDA方法与最新的即时软件缺陷预测方法(JIT-Fine)作对比,结果表明：在JIT-Defects4J数据集上,F₁指标提升了18.33%;在LLTC4J数据集上,F₁指标仍有3.67%的提升,验证了PDA的泛化能力。消融实验证明了所提方法的性能提升主要来源于数据集扩充和筛选机制。     

一类双调和方程的可解性

在洞型区域内研究边界值问题可追溯到Lions的工作,在那里他在考虑地质学一个问题时,在一个洞型区内分别给出了内外边界值,最近几年,双调和方程问题的研究一直比较活跃,但在洞型区域内对此问题的研究尚未见到。该文将双调和方程问题化为椭圆方程组问题,利用上、下解方法以及极值原理、嵌入定理和Leray-Schauder不动点定理证明了在洞型区域内一类双调和方程边值问题弱解的存在性定理。     

李超代数的Jacobson幂零性定理

本文将李代数的Jacobson定理推广到李超代数中,得到李超代数的Jacobson幂零性定理,证明了如下结论,如果一般线性李超代数中的诣零的李超闭子集张成的李超代数是有限维的,那么此李超代数在其底空间上必是严格上三角的。     

一种基于状态机的总线桥设计

随着半导体工艺技术的飞速发展,系统芯片SOC正逐渐成为集成电路设计中的主流发展趋势,基于IP重用的设计方法是提高SOC设计效率的有效途径。SOC设计通常采用层次化片上总线的体系结构,不同的IP集成在不同类型的总线上。为了实现SOC中集成在不同总线上的IP之间进行有效通信,可以采用设计总线桥的方法。文章提出了一种基于状态机的总线桥设计方法,设计结果通过了RTL功能验证。     

LF广义上(下)半连续多值映射

利用广义开集引入LF广义上与下半连续多值映射等概念,并研究了它们的各种性质．     

《中国海上油气》2013—2022年油气勘探类刊文情况分析

以《中国海上油气》2013—2022年刊出的471篇油气勘探类论文为数据源,对其被引情况和高被引情况进行分析。分析结果表明：（1）整体上论文刊出1年很难达到较高的被引率,刊出2～3年被引率开始进入增长期,并于4～6年逐渐趋于稳定,刊出至少7年以上被引率才能达到峰值。（2）被引次数达到100以及刊出3年出现较高被引次数的论文,具有极强的参考性、开创性、突破性、指导性意义;其他高被引论文的研究区域以海上为主,选题涉及天然气、深水区、高温高压、煤层气等,主要为勘探突破、勘探进展、勘探前景等类型。（3）该刊油气勘探类高水平作者群主要集中在从事与海洋油气勘探相关的科研领域;需要持续跟踪高被引作者群及相关团队的科研动态,加强合作,深挖其撰文潜力;对部分刊出时间不长的论文,可以考虑通过新媒体等多种传播途径加强宣传与推送。以上认识可以为该刊油气勘探栏目的发展提供客观的参考依据。     

基于最优神经网络的电路测试方法研究

在数字电路最优神经网络模型的基础上,研究基于该模型的电路测试生成方法.首先获得了多输入基本门电路的最优神经网络能量函数的一般表达式,然后对这种测试方法的原理、实现步骤、以及加速测试的措施等进行了详细研究.结果表明以最优神经网络模型为基础的电路测试方法在测试生成的速度方面快于其它类似方法,如基于Hopfield神经网络的电路测试生成,具有较好的应用潜力.     

数值网格生成方程中源项对网络正交性影响的研究

基于对数值网格生成的椭圆型偏微分控制方程中混合偏导数项非线性系数特性的 研究,从理论上推导了用于控制网格正交性的一种新源项给定形式,并讨论了其具体的数值实 现方法,数值计算结果表明,该新源项形式对生成网格的正交性具有很强的调节和控制能力。     

集值映射上半弱连续性与上半拟*连续性

Ｍ．ｓｏｌｖｅｉｇ Ｅｓｐｅｌｉｅ 和Ｊａｍｅｓ Ｅ．Ｊｏｓｅｐｈ研究了单值映射的弱连续性,给出了相关的等价命题,本文将其结果推广到半弱连续集值映射上,将（２）中的某些结果的连续条件减弱为上半弱连续,并讨论了上半弱连续性与上半拟＊连续性之间的关系。