陈容1,2,3,陈岚1,3,,,WAHLAArfanHaider1,2,31.中国科学院微电子研究所北京1000292.中国科学院大学北京1000493.三维及纳米集成电路设计自动化技术北京市重点实验室北京100029基金项目:国家科技重大专项(2018ZX03001006-002)详细信息作者简介 ...

柯璇1,2,,石颖1,2,3,4,,,王银凤5,61.东北石油大学地球科学学院,大庆1633182.黑龙江省油气藏形成机理与资源评价重点实验室,大庆1633183.东北石油大学非常规油气研究院,大庆1633184.东北石油大学陆相页岩油气成藏与高效开发教育部重点实验室,大庆1633185.吉林大学地 ...

张洁1,,罗健1,夏瑜1,胡文亮1,,,张国栋1,何玉春1,杨克兵21.中海石油(中国)有限公司上海分公司,上海2003352.中石油华北油田勘探开发研究院,河北任丘062552基金项目:国家重大科技专项大型油气田及煤层气开发《东海深层大型气田勘探评价技术》课题（2016ZX05027-002）、国 ...

摘要/Abstract摘要：利用卫星测高数据解算重力场是获取大范围海域重力异常的主要途径.然而,由于涉及到全球范围的多重积分,传统串行计算方法效率低下.针对上述问题,本文研究提出一种高效的海域重力异常计算方法.该快速方法利用逆Stokes公式进行重力场解算,同时针对其中不同点位多重循环计算的效率低下 ...

摘要/Abstract摘要：在岩石导电机理上,纯水层阿尔奇公式有两点必须改进.第一,岩石骨架不导电,岩石孔隙中的地层水导电,当孔隙度为零时,岩石的电导率为零,电阻率为无穷大.但在现在使用的双对数坐标系下,此坐标点($\phi$=0,F=∞)无法实现.须将电阻率之比改为电导率之比,并采用普通坐标.第二 ...

摘要/Abstract摘要：弹性纵波俗称为膨胀波,为什么其速度公式中出现剪切模量?本文证明了平面纵波和球面纵波均在引起体应变的同时引起偏应变.由于体应变和偏应变同时发生,纵波速度公式就既含反映体积恢复能力的体积模量K、又含反映形状恢复能力的剪切模量μ.纵波速度也常用剪切模量和拉梅常数λ表示,后者表示 ...

摘要该文针对2018机器阅读理解技术竞赛提出一个基于双向注意流(BiDAF)BiDAF的阅读理解模型,实作于DuReader中文问答数据集。该文观察到基线系统采用与问题最相近的段落,作为预测的筛选条件,而改以完整段落来预测答案,结果证实优于原方法。并利用fastText训练词向量以强化上下文信息,最 ...

摘要:首先应用模糊集截集的方法，给出了多值逻辑系统n中广义重言式的一个等价刻画，并利用模糊集间的标准Hammin距离，定义了公式间的Hamming距离、Hamming相似度与Hamming真度，给出了计量逻辑学基本概念的Hamming距离表示方法.然后给出了计量逻辑学中公式真度的一个分解定理，这个定 ...

摘要:交替投影时序逻辑（alternatingprojectiontemporallogic，简称APTL）公式简单易懂，表达能力强；不仅可以描述经典时序逻辑LTL可以描述的性质，而且可以描述与区间相关的顺序和循环性质以及开放系统和多智能体系统中与博弈相关的性质.在验证系统是否满足所给的APTL公式 ...

2020年9月27日，科信所独立开发的《林业搜索全文检索系统V1.0》获中国版权保护中心软件著作权登记。林业搜索全文检索系统V1.0是林业专业知识服务系统（http://forest.ckcest.cn/）的综合检索系统。该系统采用Elastic Search分布式全文搜索引擎技术和Spring M ...