语义树方法及其可靠性和完备性 被引量：1

1

作者 李舟军 王兵山 《国防科技大学学报》 EI CAS CSCD 北大核心 1994年第3期49-53,共5页

Ａｎｄｒｅｗｓ在《ＡｎＩｎｔｒｏｄｕｃｔｉｏｎｔｏＭａｔｈｅｍａｔｉｃａｌＬｏｇｉｃａｎｄＴｙｐｅＴｈｅｏｒｙ：ＴｏＴｒｕｔｈＴｈｒｏｕｇｈＰｒｏｏｆ》一书中给出的语义树方法是一种能直接适用于句子集的反驳方法，但其中... Ａｎｄｒｅｗｓ在《ＡｎＩｎｔｒｏｄｕｃｔｉｏｎｔｏＭａｔｈｅｍａｔｉｃａｌＬｏｇｉｃａｎｄＴｙｐｅＴｈｅｏｒｙ：ＴｏＴｒｕｔｈＴｈｒｏｕｇｈＰｒｏｏｆ》一书中给出的语义树方法是一种能直接适用于句子集的反驳方法，但其中关于语义树方法的可靠性和完备性定理（３２０１）及其证明是错误的。本文通过例子指出并纠正了这一错误，同时对修正后的可靠性和完备性定理给出了详细的证明。 展开更多

关键词 抽象协调类 语义树 可靠性 完备性

在线阅读 下载PDF 职称材料

Smalltalk-80的形式语义研究

2

作者 李舟军 王兵山 《国防科技大学学报》 EI CAS CSCD 北大核心 1993年第3期80-89,共10页

Smalltalk-80是原型的面向对象程序设计语言和环境。本文简要地介绍了Smalltalk-80的基本概念和抽象文法,给出了其形式模型,并基于该模型描述了Smalltalk-80的静态指称语义和动态指称语义。

关键词 面向对象 程序设计 SMALLTALK-80

在线阅读 下载PDF 职称材料

高性能油基钻井液的研制及在彭页3HF井的应用 被引量：31

3

作者 何恕 李胜 +2 位作者 王显光 林永学 李舟军 《钻井液与完井液》 CAS 北大核心 2013年第5期1-4,95,共4页

彭页3HF井为一口页岩气评价井，水平段长1150m，三开龙马溪组页岩黏土矿物含量高达30．05％，以伊利石和伊／蒙混层为主，且页岩微裂缝发育，对钻井液性能要求高。研制出了能增强油水两相乳化效果的大分子乳化剂和新型提切剂，新型提切... 彭页3HF井为一口页岩气评价井，水平段长1150m，三开龙马溪组页岩黏土矿物含量高达30．05％，以伊利石和伊／蒙混层为主，且页岩微裂缝发育，对钻井液性能要求高。研制出了能增强油水两相乳化效果的大分子乳化剂和新型提切剂，新型提切剂通过电性作用可增强油水界面膜的强度，减少分散相的团聚几率，能与乳化剂协同增效，进一步提升体系乳化稳定性；结合优选的改性褐煤降滤失剂SMFLA-O和封堵剂SMRPA、SMFibre-O等，形成了一套高性能油基钻井液。该油基钻井液在该井三开钻进期间，塑性黏度为20～28mPa·S，动切力为10～15Pa，表现出低黏高切的流变性；破乳电压高，性能稳定；封堵防塌能力强，无剥落、掉块现象，且钻井液消耗量低；井眼清洁、无岩屑床，摩阻、扭矩低，无托压现象，确保了该井顺利完钻，累计进尺1815m。 展开更多

关键词 页岩气井 油基钻井液 乳化剂 提切剂 钻井液配方 流变性 井眼稳定

在线阅读 下载PDF 职称材料

液体火箭发动机故障检测和诊断中数据挖掘策略的分析 被引量：10

4

作者 胡小平 张丽娟 +1 位作者 王艳梅 李舟军 《国防科技大学学报》 EI CAS CSCD 北大核心 2005年第3期1-5,共5页

分析了液体火箭发动机的工作特点,提出了应用数据挖掘方法从数据仓库的角度对液体火箭发动机进行故障检测和诊断的策略。对在液体火箭发动机故障检测和诊断的不同问题中可能应用的数据挖掘方法进行了分析比较。分析表明,聚类、分类、关... 分析了液体火箭发动机的工作特点,提出了应用数据挖掘方法从数据仓库的角度对液体火箭发动机进行故障检测和诊断的策略。对在液体火箭发动机故障检测和诊断的不同问题中可能应用的数据挖掘方法进行了分析比较。分析表明,聚类、分类、关联、时间序列分析和孤立点检测等数据挖掘方法适用于液体火箭发动机的故障检测和诊断。 展开更多

关键词 液体火箭发动机 故障诊断 数据挖掘 聚类 分类 关联 时间序列分析 孤立点检测

在线阅读 下载PDF 职称材料

油水比对油基钻井液性能的影响研究 被引量：12

5

作者 李胜 夏柏如 +2 位作者 韩秀贞 王显光 李舟军 《油田化学》 CAS CSCD 北大核心 2017年第2期196-200,共5页

为获得适合页岩气水平井的低油水比下性能优良的油基钻井液,利用Turbiscan Lab型分散稳定性分析仪研究了油水比对油包水乳状液的粒径及稳定性的影响,考察了油水比对油基钻井液性能的影响。研究结果表明,油水比由90∶10降至60∶40时,油... 为获得适合页岩气水平井的低油水比下性能优良的油基钻井液,利用Turbiscan Lab型分散稳定性分析仪研究了油水比对油包水乳状液的粒径及稳定性的影响,考察了油水比对油基钻井液性能的影响。研究结果表明,油水比由90∶10降至60∶40时,油包水乳状液的平均粒径由5.65μm增至8.21μm;随着油水比降低,乳状液的背散射光强度值变化幅度逐渐增大,油包水乳状液稳定性变差。在处理剂加量不变的条件下,油水比由90∶10降至60∶40,热滚后的油基钻井液的塑性黏度由16 m Pa·s增至55 m Pa·s,动切力由7 Pa增至30 Pa,破乳电压由1211 V降至303 V。通过提高乳化剂加量、降低有机土加量在低油水比条件下获得了性能优良的油基钻井液,并成功用于焦页54-3HF、焦页25-2HF、焦页54-1HF等多口井的现场施工。 展开更多

关键词 油水比 油基钻井液 流变性 乳化稳定性

在线阅读 下载PDF 职称材料

一个改进的云存储数据完整性验证方案 被引量：16

6

作者 周恩光 李舟军 +1 位作者 郭华 贾仰理 《电子学报》 EI CAS CSCD 北大核心 2014年第1期150-154,共5页

在云计算环境中,客户将数据存储在不可信的云存储服务器上.如何在本地没有数据副本的情况下,高效地对客户存储的远程数据进行完整性验证是一个亟待解决的问题,针对此问题已相继提出一系列解决方案.提出已知证据伪造攻击的概念,即拥有一... 在云计算环境中,客户将数据存储在不可信的云存储服务器上.如何在本地没有数据副本的情况下,高效地对客户存储的远程数据进行完整性验证是一个亟待解决的问题,针对此问题已相继提出一系列解决方案.提出已知证据伪造攻击的概念,即拥有一定数量证据的敌手可以伪造新的合法证据.指出已有的一些数据完整性验证方案无法抵抗已知证据伪造攻击.利用基于等级的认证跳表提出一个改进方案,该方案支持完全数据更新和公开审计. 展开更多

关键词 云存储 完整性验证 公开审计 数据更新

在线阅读 下载PDF 职称材料

面向网络环境的SQL注入行为检测方法 被引量：15

7

作者 赵宇飞 熊刚 +1 位作者 贺龙涛 李舟军 《通信学报》 EI CSCD 北大核心 2016年第2期88-97,共10页

SQL注入攻击是Web应用面临的主要威胁之一,传统的检测方法针对客户端或服务器端进行。通过对SQL注入的一般过程及其流量特征分析,发现其在请求长度、连接数以及特征串等方面,与正常流量相比有较大区别,并据此提出了基于长度、连接频率... SQL注入攻击是Web应用面临的主要威胁之一,传统的检测方法针对客户端或服务器端进行。通过对SQL注入的一般过程及其流量特征分析,发现其在请求长度、连接数以及特征串等方面,与正常流量相比有较大区别,并据此提出了基于长度、连接频率和特征串的LFF(length-frequency-feature)检测方法,首次从网络流量分析的角度检测SQL注入行为。实验结果表明,在模拟环境下,LFF检测方法召回率在95%以上,在真实环境下,该方法也取得较好的检测效果。 展开更多

关键词 WEB安全 SQL注入 网络流量 异常检测

在线阅读 下载PDF 职称材料

无文件系统嵌入式固件后门检测 被引量：11

8

作者 忽朝俭 薛一波 +1 位作者 赵粮 李舟军 《通信学报》 EI CSCD 北大核心 2013年第8期140-145,共6页

在无文件系统嵌入式固件中,系统代码和应用代码集成在单个文件中,无法看到熟悉的系统调用名字,故针对此类固件的分析将更为困难。以此类固件为研究对象,分析了其中的库函数识别问题,并提出了一种针对网络套接字和字符串/内存操作函数的... 在无文件系统嵌入式固件中,系统代码和应用代码集成在单个文件中,无法看到熟悉的系统调用名字,故针对此类固件的分析将更为困难。以此类固件为研究对象,分析了其中的库函数识别问题,并提出了一种针对网络套接字和字符串/内存操作函数的基于启发式规则的识别方法。在此基础上,讨论了多种典型的后门类型检测问题,包括未授权侦听者、非预期功能、隐藏功能和向外的连接请求等,并在一款实际系统上成功检测出多个后门(其中有一个严重级别的)。实验结果表明,提出的针对无文件系统嵌入式固件的库函数识别方法对于此类固件的安全分析具有重要的参考价值。 展开更多

关键词 嵌入式系统 固件 文件系统 库函数识别 后门检测

在线阅读 下载PDF 职称材料

白-平2HF井回收油基钻井液的优化研究及应用 被引量：7

9

作者 李胜 王显光 +1 位作者 李舟军 任立伟 《特种油气藏》 CAS CSCD 北大核心 2013年第6期112-115,147,共4页

为实现白-平2HF井回收油基钻井液的重复利用,采用具有塑性黏度低、动切力高、低转速数高、乳化稳定性好的高性能油基钻井液改善老浆的流变性和乳化稳定性,并将优化后的回收油基钻井液应用于白-3HF井四开水平段.现场应用结果表明,该钻井... 为实现白-平2HF井回收油基钻井液的重复利用,采用具有塑性黏度低、动切力高、低转速数高、乳化稳定性好的高性能油基钻井液改善老浆的流变性和乳化稳定性,并将优化后的回收油基钻井液应用于白-3HF井四开水平段.现场应用结果表明,该钻井液具有良好的流变性、乳化稳定性以及封堵防塌性.1 000 m水平段钻进期间井壁稳定,井眼清洁,摩阻仅为40～60 kN,四开水平段井径扩大率为2.57％.在老浆利用率为67％的情况下,将密度为1.70g/cm3回收油基钻井液的油水比由96∶4降至85∶15,实现了老浆的重复利用,有效降低了油基钻井液的成本. 展开更多

关键词 油基钻井液 稳定性 流变性 油水比 白-平2HF井

在线阅读 下载PDF 职称材料

基于花费链最优匿名的等长可传递电子现金系统 被引量：5

10

作者 张江霄 李舟军 +2 位作者 高延武 冯春辉 郭华 《电子学报》 EI CAS CSCD 北大核心 2015年第9期1805-1809,共5页

针对现有的可传递电子现金系统在传递协议中电子现金长度和传递次数成正比的问题,利用Groth-Sahai证明系统和累加器原理,首次提出花费链构建法,并在标准模型下构建一个具有最优匿名性的传递协议中电子现金长度不变的可传递电子现金系统... 针对现有的可传递电子现金系统在传递协议中电子现金长度和传递次数成正比的问题,利用Groth-Sahai证明系统和累加器原理,首次提出花费链构建法,并在标准模型下构建一个具有最优匿名性的传递协议中电子现金长度不变的可传递电子现金系统.基于花费链构建法,用户无需存储任何花费凭证;与现有系统相比,在传递协议中,用户传递电子现金的长度是常量;在安全性上,新系统具有最优匿名性,即全匿名性、完美匿名性1和完美匿名性2.最后,在标准模型下给出系统的安全证明,该系统具有不可伪造性、最优匿名性、不可重复花费性和不可诬陷性. 展开更多

关键词 可传递电子现金系统 花费链 有限累加器 Groth-Sahai证明 交互签名

在线阅读 下载PDF 职称材料

一种低油水比低成本油基钻井液性能研究 被引量：5

11

作者 韩秀贞 王显光 +2 位作者 李舟军 何恕 林永学 《中外能源》 CAS 2015年第4期67-71,共5页

油基钻井液具有抗高温、抗盐钙侵、润滑性好、利于井壁稳定以及对油气层损害程度小等突出优点，已成为钻探高难度水平井、大斜度定向井、高温深井和复杂地层的首选体系。目前国内现场使用的油基钻井液的油水比普遍较高、处理剂加量大，... 油基钻井液具有抗高温、抗盐钙侵、润滑性好、利于井壁稳定以及对油气层损害程度小等突出优点，已成为钻探高难度水平井、大斜度定向井、高温深井和复杂地层的首选体系。目前国内现场使用的油基钻井液的油水比普遍较高、处理剂加量大，成本难以有效降低。针对油田开发降低成本的迫切需求，研制了一套低油水比、低成本的油基钻井液体系。通过对乳化剂、有机土和降滤失剂进行评价，确定了其加量，并通过优化，最终确定了低油水比钻井液配方：0号柴油＋1．0％-2．5％有机土＋2．0％～3．5％乳化剂＋3．0％～4．0％降滤失剂＋CaCl2水溶液（25％的CaCl2）＋2．0％的CaO＋重晶石，油水比为70：30—60：40，乳化剂加量仅为2．0％～3．5％，抗温能力可达170℃，密度可控制在1．0-2．0g，cm3之间。该低油水比钻井液体系具有较好的抗污染能力、流变性能和极低的滤失量，不仅可满足现场钻井施工的技术要求，而且大幅度降低了油基钻井液的成本。应用前景良好。 展开更多

关键词 油基钻井液 油水比 抗温性能 流变性能 密度

在线阅读 下载PDF 职称材料

评分偏差对于推荐质量的影响 被引量：3

12

作者 胡必云 李舟军 +1 位作者 王君 巢文涵 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2012年第6期823-828,共6页

从理论上分析了评分偏差对于推荐质量的影响;基于潜在偏好及已知评分对评分偏差进行度量,其中潜在偏好通过心理测量学模型计算得出;通过设定不同的评分偏差水平,对评分偏差的影响进行了实验验证.理论分析及实验验证表明:评分偏差可导致... 从理论上分析了评分偏差对于推荐质量的影响;基于潜在偏好及已知评分对评分偏差进行度量,其中潜在偏好通过心理测量学模型计算得出;通过设定不同的评分偏差水平,对评分偏差的影响进行了实验验证.理论分析及实验验证表明:评分偏差可导致推荐准确度及覆盖度下降;基于高质量的评分数据,协同过滤算法可为用户作出好的推荐. 展开更多

关键词 人工智能 信号过滤与预测 信息检索 评分偏差 数据质量 协同过滤 推荐准确度 覆盖度

在线阅读 下载PDF 职称材料

一种新的复合核函数及在问句检索中的应用 被引量：4

13

作者 王君 李舟军 +1 位作者 胡侠 胡必云 《电子与信息学报》 EI CSCD 北大核心 2011年第1期129-135,共7页

问句检索在问答系统中有着重要的作用,其核心问题在于研究查询问句与候选问句之间的相似性计算问题,实现问句之间的高精度匹配。该文采用树核函数的方法计算问句之间的结构相似性,并针对原有算法的不足,做了相应的改进。为降低句法解析... 问句检索在问答系统中有着重要的作用,其核心问题在于研究查询问句与候选问句之间的相似性计算问题,实现问句之间的高精度匹配。该文采用树核函数的方法计算问句之间的结构相似性,并针对原有算法的不足,做了相应的改进。为降低句法解析器性能对树核函数的影响,该文在改进的树核函数基础上,将其与字符串核结合,提出了一种能同时融合问句的句法信息,词性信息和词序信息的复合核函数,用以计算问句之间的综合语义相似性。在社区问答系统Yahoo!Answer的数据上进行测试,相对传统的基于词频的特征向量法,问句检索平均准确率提高了24.02%。 展开更多

关键词 信息检索 问答系统 问句检索 复合核函数

在线阅读 下载PDF 职称材料

N-烷基丙烯酰胺合成及在油田化学品中的研究与应用 被引量：4

14

作者 孔勇 杨小华 +1 位作者 李舟军 王琳 《油田化学》 CAS CSCD 北大核心 2015年第2期296-300,共5页

在介绍国内外N-烷基丙烯酰胺合成技术和工业化基础上,介绍了N-烷基丙烯酰胺作为合成高性能聚合物单体在钻井液处理剂、油井水泥外加剂、压裂液化学剂和三次采油化学剂等油田化学品的研究和应用进展,并指出今后的研发方向。

关键词 N-烷基丙烯酰胺 油田化学品 应用 综述

在线阅读 下载PDF 职称材料

基于逆序二叉树的高效可分电子现金系统 被引量：4

15

作者 张江霄 郭华 李舟军 《电子与信息学报》 EI CSCD 北大核心 2014年第1期22-26,共5页

针对于Izabachene等人(2012)在标准模型下构建的可分电子现金系统花费协议和存款协议效率低的问题,该文利用Groth-Sahai(GS)证明系统和累加器原理,首次提出了逆序二叉树构建法,并在标准模型下构建了一个高效的可分电子现金系统。与现有... 针对于Izabachene等人(2012)在标准模型下构建的可分电子现金系统花费协议和存款协议效率低的问题,该文利用Groth-Sahai(GS)证明系统和累加器原理,首次提出了逆序二叉树构建法,并在标准模型下构建了一个高效的可分电子现金系统。与现有系统相比,新系统在构建二叉树时可以并行计算二叉树叶子节点的序列号和在花费协议中可以直接证明用户花费路径的正确性,从而保证花费协议中用户的计算量是常量;新系统在安全性上不仅具有弱不可诬陷性,同时也具有强不可诬陷性;最后在标准模型下给出了系统的安全性证明,证明了该系统具有不可伪造性、匿名性、不可重复花费性和不可诬陷性。 展开更多

关键词 可分电子现金系统 标准模型 逆序二叉树 有限累加器 Groth—Sahai fcs)证明

在线阅读 下载PDF 职称材料

基于粗糙集理论的液体火箭发动机故障诊断 被引量：7

16

作者 王艳梅 胡小平 +1 位作者 李舟军 张丽娟 《导弹与航天运载技术》 北大核心 2006年第2期50-54,共5页

粗糙集理论作为一种处理不完备信息的有力工具,已广泛应用于人工智能的许多领域,特别是数据挖掘和知识发现领域。文章将基于粗糙集理论的数据挖掘技术应用于液体火箭发动机故障诊断的知识发现,在智能诊断的知识自动获取方面取得较好的... 粗糙集理论作为一种处理不完备信息的有力工具,已广泛应用于人工智能的许多领域,特别是数据挖掘和知识发现领域。文章将基于粗糙集理论的数据挖掘技术应用于液体火箭发动机故障诊断的知识发现,在智能诊断的知识自动获取方面取得较好的结果。 展开更多

关键词 粗糙集理论 数据挖掘 知识发现 液体火箭发动机 故障诊断

在线阅读 下载PDF 职称材料

无固相有机盐环空保护液的研究与应用 被引量：4

17

作者 宋兆辉 李舟军 薛玉志 《钻井液与完井液》 CAS 北大核心 2013年第4期49-51,95,共3页

元坝103H井是中石化西南油气分公司在四川盆地川东巴中低缓构造带部署的一口重点超深水平井。该井完钻后,为延长井下管具的使用寿命,须在油管与套管间充注密度为1.3 g/cm3的无固相环空保护液。结合套管和油管的腐蚀机理分析,决定采用有... 元坝103H井是中石化西南油气分公司在四川盆地川东巴中低缓构造带部署的一口重点超深水平井。该井完钻后,为延长井下管具的使用寿命,须在油管与套管间充注密度为1.3 g/cm3的无固相环空保护液。结合套管和油管的腐蚀机理分析,决定采用有机盐作为无固相环空保护液的主剂。通过对有机盐、缓蚀剂和杀菌剂等处理剂的室内优选,形成了无固相有机盐环空保护液配方。经测定,在160℃养护72 h,P110钢片的腐蚀速率为0.061mm/a;在160℃、10 MPa下养护24、72和168 h后,TP110TS钢片的腐蚀速率分别为0.022 6、0.016 6、0.023 5mm/a;此外该保护液还具有pH值易于调节、密度调节范围宽(1.0～1.5 g/cm3)、杀菌效果好(杀菌率大于95%),可生物降解等优点。在元坝103H井现场配制的环空保护液从井下高温高含硫环境返出后性能保持稳定,对油、套管防腐效果好, 展开更多

关键词 无固相环空保护液 无机盐 防腐 生物可降解

在线阅读 下载PDF 职称材料

基于时间序列分析的网络流量预测模型研究 被引量：9

18

作者 周德懋 李舟军 康荣雷 《现代电子技术》 2009年第8期115-117,共3页

通过对网络流量数据作为时间序列进行小波变换建模,应用于未来时间的网络流量数据预测。首先对流量数据序列进行多尺度分解,对分解到不同尺度上的数据分别利用不同的时间序列模型进行分析,然后进行预测数据的折衷处理,得到网络流量多尺... 通过对网络流量数据作为时间序列进行小波变换建模,应用于未来时间的网络流量数据预测。首先对流量数据序列进行多尺度分解,对分解到不同尺度上的数据分别利用不同的时间序列模型进行分析,然后进行预测数据的折衷处理,得到网络流量多尺度预测模型。仿真结果表明与单一应用RBF神经网络的时间序列预测模型相比,该模型预测效果良好,具有较高的预测精度和很好的模型适应性。 展开更多

关键词 网络流量 时间序列分析 径向基神经网络 小波变换建模

在线阅读 下载PDF 职称材料

利用关联规则检测液体火箭发动机启动关机过程的故障 被引量：4

19

作者 王艳梅 胡小平 李舟军 《火箭推进》 CAS 2006年第1期19-23,共5页

提出了一种基于关联规则的故障检测方法,根据发生故障时相应参数之间的关联关系是否有效来判断是否故障。对液体火箭发动机的启动过程试车数据进行挖掘的应用实例表明,该方法能够有效地挖掘参数之间的关联关系,有效地检测出液体火箭发... 提出了一种基于关联规则的故障检测方法,根据发生故障时相应参数之间的关联关系是否有效来判断是否故障。对液体火箭发动机的启动过程试车数据进行挖掘的应用实例表明,该方法能够有效地挖掘参数之间的关联关系,有效地检测出液体火箭发动机启动过程中的故障。 展开更多

关键词 液体火箭发动机 启动-关机过程 故障检测 关联规则 数据挖掘

在线阅读 下载PDF 职称材料

基于双难题的环Z_n上圆锥曲线的数字签名 被引量：3

20

作者 林松 李舟军 王标 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2009年第9期1067-1071,共5页

通过对一个剩余类环Zn上圆锥曲线Cn(a,b)数字签名方案(X iao 06方案)的安全性分析,发现该方案的公开参数选取和算法设计存在问题,导致利用韦达定理可以分解模数n,说明X iao06方案的安全性不是基于整数分解难题的.针对此缺陷,采取保密部... 通过对一个剩余类环Zn上圆锥曲线Cn(a,b)数字签名方案(X iao 06方案)的安全性分析,发现该方案的公开参数选取和算法设计存在问题,导致利用韦达定理可以分解模数n,说明X iao06方案的安全性不是基于整数分解难题的.针对此缺陷,采取保密部分参数和修改验证算法的方法,提出了一个改进的环Zn上圆锥曲线的数字签名方案,并且给出了改进方案的数值模拟.分析表明,改进的方案是一个同时基于离散对数和整数分解双难题的环Zn上圆锥曲线的数字签名方案,不仅保留了原X iao 06方案的优点(明文嵌入方便,求逆元速度快,元素阶的计算及曲线上点的运算容易),还具有很强的抗破解能力. 展开更多

关键词 数字签名 整数分解 离散对数 圆锥曲线

在线阅读 下载PDF 职称材料