|
|
|
题名
|
作者
|
年代
|
出处
|
被引量
|
| 1 | 智能合约安全漏洞挖掘技术研究显示文摘近年来,以智能合约为代表的第二代区块链平台及应用出现了爆发性的增长,但频发的智能合约漏洞事件严重威胁着区块链生态安全。针对当前主要依靠基于专家经验的代码审计效率低下的问题,提出开发通用的自动化工具来挖掘智能合约漏洞的重要性。首先,调研并分析了智能合约面临的安全威胁问题,总结了代码重入、访问控制、整数溢出等10种出现频率最高的智能合约漏洞类型和攻击方式;其次,讨论了主流的智能合约漏洞的检测手段,并梳理了智能合约漏洞检测的研究现状;然后,通过实验验证了3种现有符号执行工具的检测效果。对于单一漏洞类型,漏报率最高达0.48,误报率最高达0.38。实验结果表明,现有研究涵盖的漏洞类型不完整,误报及漏报多,并且依赖人工复核;最后,针对这些不足展望了未来研究方向,并提出一种符号执行辅助的模糊测试框架,能够缓解模糊测试代码覆盖率不足和符号执行路径爆炸问题,从而提高大中型规模智能合约的漏洞挖掘效率。 | 付梦琳 吴礼发 洪征 冯文博 | 2019 | 计算机应用2019，39，7： | 32 |
| 2 | 分层采油工艺管柱受力分析及优化显示文摘针对分采泵分层采油井在生产中普遍存在泵效低、效果不理想等问题,对分层采油工艺管柱进行受力分析,计算中和点位置,优化管柱结构,减弱管柱弯曲对分采泵的影响程度。同时基于理论和生产实际经验,提出补偿自锁和低坐封力封隔器、分采泵配合过桥管加厚和扶正措施等技术措施,应用于生产能极大地提高分采泵分层采油效果。 | 朱洪征 姬园 吕旭 胡期旭 | 2010 | 石油矿场机械2010，39，10： | 22 |
| 3 | 协议逆向工程研究进展显示文摘首先给出了协议逆向工程的形式化定义,并探讨了主要应用领域的特定需求;然后从报文序列分析和指令执行序列分析两个方面介绍了协议逆向技术的研究现状,并对两类技术的优劣进行了比较;最后结合当前方案的缺陷和实际应用的需求,对协议逆向技术的发展趋势进行了展望。 | 潘璠 吴礼发 杜有翔 洪征 | 2011 | 计算机应用研究2011，28，8： | 21 |
| 4 | 急性脑梗死患者脑微出血的发病情况及其危险因素分析显示文摘目的探讨急性脑梗死患者脑微出血的发病情况及其危险因素。方法选择急性脑梗死患者75例,男51例,女24例,年龄42~83(64.9±10.8)岁。行头颅CT、磁敏感成像(SWI)检查,依据脑微出血检出的结果分成阳性组(23例)与阴性组(52例),比较两组的一般资料,探讨脑微出血发病的危险因素。结果SWI检查的检出率比CT检出率高(x^2=27.17,P<0.05)。阳性组年龄、高血压病、糖尿病患病率均较阴性组高,差异均有统计学意义(均P<0.05);两组性别、血脂异常、心房颤动、冠心病、吸烟、饮酒情况比较,差异均无统计学意义(均P>0.05)。logistic回归分析显示年龄增长、高血压病是脑微出血的独立危险因素(P<0.05)。结论急性脑梗死患者合并存在脑微出血的比例高,SWI检查是检测脑微出血的敏感方法,年龄大、高血压病与脑微出血的发生密切相关。 | 徐朝伟 罗建勤 陈健 罗勇 叶飞 洪征 吴寒冰 | 2016 | 浙江医学2016，38，2： | 16 |
| 5 | Web服务安全问题研究显示文摘Web服务具有平台无关性、动态性、开放性和松散耦合等特征,这给基于异构平台的应用集成带来极大便利,同时也使其自身面临许多独特的安全问题。Web服务的安全性对其发展前景产生重要的影响,也是目前Web服务并没有进入大规模应用阶段的主要原因之一。总结了Web服务存在的主要安全问题;概述了已有的Web服务安全标准;然后从消息层安全、Web服务安全策略、Web服务组合安全、身份与信任管理、Web服务访问控制、Web服务攻击与防御、安全Web服务开发等方面详细分析了目前有代表性的Web服务关键安全技术解决方案;结合已有的研究成果,讨论了Web服务安全未来的研究动向及面临的挑战。 | 贺正求 吴礼发 洪征 王睿 李华波 | 2010 | 计算机科学2010，37，8： | 15 |
| 6 | 低渗透油田多层开采层间干扰及分采界限探讨显示文摘为掌握低渗透油田多层开采层间干扰情况,以长庆油田一套井网两层开采试验区为研究对象,从影响层间干扰两个主要因素渗透率级差和层间压差入手,借助油井流入动态方程,利用各种生产资料、测试资料建立合采井流入动态曲线并进行了分析,分析结果表明:对于低渗透油田,其渗透率级差引起的层间干扰相对较小,影响各产层产量主要为层间流压差,确定了层间压差小于3MPa普通泵笼统合采,层间压差大于3MPa分层开采的技术界限。现场流压测试和分层采油结果验证了这一结论的正确性。 | 牛彩云 李大建 朱洪征 赵晓伟 吕亿明 | 2013 | 石油地质与工程2013，27，2： | 15 |
| 7 | 花生不同叶位叶片衰老差异的研究显示文摘在大田条件下,研究了高产花生品种鲁花11号和辐8707主茎不同叶位叶片衰老的差异。结果表明:花生主茎展开18片叶(饱果期)时,主茎叶片叶绿素含量、净光合速率(Pn)、可溶性蛋白质含量(Pr)、超氧化物歧化酶(POD)、过氧化氢酶(CAT)、过氧化物酶(POD)活性逐渐升高,顶3~6叶达最大值,向下逐渐降低。叶片丙二醛(MDA)含量、活性氧(O_2)释放速率随叶位的降低逐渐升高,顶6叶后开始迅速升高。花生主茎顶1~3叶属快速生长叶,顶4~6(7)叶属缓慢衰老叶,顶7(8)~10叶属迅速衰老叶。两品种间差异不大,辐8707叶片的衰老稍早于鲁花11号。 | 李向东 张高英 万勇善 徐守国 王洪征 | 2003 | 中国油料作物学报2003，25，3： | 15 |
| 8 | 基于状态的工控协议Fuzzing测试技术显示文摘针对传统Fuzzing测试应用于工控系统存在测试覆盖率和有效性低、异常监测手段受限等不足,提出了一种基于状态的工控协议Fuzzing测试方法。该方法采用XML脚本对协议状态机进行描述,设计了基于协议状态机的测试序列生成算法PSTSGM,对被测对象进行状态引导以求达到更高的命中率和覆盖率。提出了基于心跳的异常监测与定位方法 HFDLM,采用心跳探测和循环定位的方式,对被测嵌入式设备进行异常行为监测和异常用例定位。设计并实现了基于中间人代理的模糊测试原型系统SCADA-Fuzz,对电力SCADA系统进行了测试。实验结果表明,利用状态引导的测试能够有效发现安全漏洞。 | 张亚丰 洪征 吴礼发 周振吉 孙贺 | 2017 | 计算机科学2017，44，5： | 14 |
| 9 | 低液量水平井存储式产液剖面测井技术与应用显示文摘产液剖面测试是了解生产层段产液状况的重要手段,是油田开发的一项主要工作。针对低渗透油藏水平井单井产液低,采用常规的产液剖面测试技术手段测试的分段产液及含水准确性差的难点,提出了一种采用'油管输送+存储式采集'方式,利用水平井井下浮子流量计实现流量测试和井下电动取样器进行含水测试的方法,研制了关键工具,形成了低液量水平井存储式产液剖面测井技术。室内实验及现场试验表明,测试技术能够实现分段产液和含水率的准确监测,测试成本降低了80%。该技术达到了准确监测低液量水平井产液剖面的目的,为定性定量分析解释低液量水平井产液分布状况提供了技术手段。 | 朱洪征 郭靖 黄伟 姬园 景晓琴 吕亿明 | 2018 | 钻采工艺2018，41，6： | 14 |
| 10 | 基于递归聚类的报文结构提取方法显示文摘针对应用层协议报文序列长、结构复杂的特点,提出了一种基于递归聚类的报文结构提取方法。方法首先在基本块级通过渐近多序列比对算法对样本集进行递归聚类,在分离不同格式报文的同时,降低了序列比对规模;在报文对齐的基础上,依据对齐字节的取值变化率识别字段边界;提出递归回溯的协议结构分析策略,通过识别格式标识字段实现字段间层次关系的提取。对多种公开协议的分析测试表明,该方法能够得到BNF形式的报文格式,并在提高字段识别准确度的同时减少了时间开销,具有较高的应用价值。 | 潘璠 洪征 杜有翔 吴礼发 | 2012 | 四川大学学报(工程科学版)2012，44，6： | 13 |
| 11 | 单封隔器抽油管柱受力变形分析显示文摘分析了直井中单封隔器抽油管柱在坐封前后的受力、变形状态。提出了一种准确计算封隔器坐封前后管柱变形、封隔器坐封高度及管柱附件位置的方法,对设计工艺管柱结构、现场校核管柱附件深度具有重要意义。 | 赵晓伟 牛彩云 朱洪征 李大建 王百 | 2011 | 石油矿场机械2011，40，12： | 13 |
| 12 | 鲁棉14幼苗生长对氯化钠胁迫的反应及微量元素、激素处理的效应显示文摘以鲁棉 1 4为试验材料 ,利用盆栽和田间试验分别研究了棉苗生长对 Na Cl胁迫的反应及微量元素、激素浸种处理的效应。结果表明 ,Na Cl胁迫下“土壤 -棉花”系统 Na+、K+消长规律分别符合 y1=0 .1 70 38+ 6.70 32 3x( r=0 .941 6**)、y2 =1 . 0 1 0 72 - 0 . 92 4 0 7x ( r=- 0 . 8685 *)和 y=1 .0 5 0 98- 0 . 1 460 5 xi( r=- 0 . 9771 **) ,棉株体内Na+、K+含量与土壤盐分 ( Na Cl)含量具有显著或极显著的相关性。土壤盐分胁迫抑制棉花生长 ,但棉花可通过提高保护酶 ( SOD、POD、CAT)活性而表现出一定的耐盐伤害能力 ,土壤中 Na Cl含量 0 .3%~ 0 .4%是棉花保护酶活性的变化转折点。适宜的微量元素和激素浸种处理 ,具有增强棉花耐盐性的作用 ,浸种效应以 Mo1 0 0 0 mg· L- 1、Mn1 0 0 0 mg·L- 1、GA5 0 mg· L- 1浸种 2 4 h处理较好 。 | 辛承松 唐薇 王洪征 翟志席 | 2002 | 棉花学报2002，14，2： | 13 |
| 13 | 土壤养分含量及施肥与小麦产量关系的研究显示文摘为探讨小麦增产技术,推动小麦生产再上新台阶,我们从1992年开始对土壤供肥能力及施肥水平与小麦产量的关系进行了试验研究。现将研究结果报告如下:1材料与方法1.1土壤养分含量与小麦产量的关系1992年秋,在平邑县保太镇武阳湖安排10处试验,土壤均为轻壤... | 陈秀德 王洪征 黄孝新 张智波 | 1999 | 山东农业科学1999，31，4： | 12 |
| 14 | 防气式分采泵分层采油技术在长庆油田的应用显示文摘三叠系延长组是长庆油田主力开发层系,油藏在纵向上表现为多套小层叠合。受到超前注水、笼统注水等因素影响,两层笼统合采油井层间压差较大,层间矛盾突出,分采泵分层采油是消除合采油井层级间干扰矛盾的主要方式之一。鉴于长庆油田三叠系油藏饱和压力低、地饱压差小、油井气油比高,研发了一种'上泵抽下层,下泵抽上层'的防气式分采泵,为分采油层分别提供了排气通道,对高气油比油井适应性强。现场试验应用表明,油井防气式分采泵分采效果明显,为长庆油田叠合油藏的高效开发探索出一条新途径。 | 李大建 牛彩云 何淼 朱洪征 王百 赵晓伟 | 2012 | 石油钻采工艺2012，34，5： | 12 |
| 15 | 基于范式语法的工控协议Fuzzing测试技术显示文摘针对工控协议Fuzzing测试存在测试脚本编写工作量大、测试用例的覆盖面小、测试效率低等问题,提出了一种基于范式语法的工控协议Fuzzing测试方法。首先以改进的扩展巴科斯范式(modified augmented Backus-Naur form,MABNF)来描述工控协议;然后根据范式语法模型,将报文样本解析为范式语法变异树,进而生成范式语法变异树的描述脚本;提出了基于MABNF变异树的测试用例生成算法(MABNF-mutation-tree based testcases generating method,MTGM),先对MABNF变异树进行深度优先遍历,再采用语义变异策略对节点实施变异;最后利用MTGM得到冗余少、有效性高的测试用例集。使用该方法,实现了基于Peach的工控协议Fuzzing测试原型系统M-Peach,对供水SCADA系统进行了测试。与Peach的对比实验表明,所提出的方法能有效减少测试冗余,提高测试用例集的覆盖面和测试效率。 | 张亚丰 洪征 吴礼发 康红凯 孙贺 | 2016 | 计算机应用研究2016，33，8： | 11 |
| 16 | 长庆低渗透油田水平井机械堵水工艺显示文摘为解决长庆低渗透油田多段压裂、注水开发水平井见水问题,结合水平井生产现状,分析了水平井见水规律及见水特征,研发了可捞式机械桥塞、水平井封隔器、桥式单流阀等配套关键工具,设计形成了水平井趾部、中部、跟部单段见水或多段见水的机械封堵工艺管柱,并成功应用于矿场。共实施8口井,有效率100%,累计增油2 841t,累计降水2 160 m^3,控水增油效果显著。该机械堵水工艺为见水水平井有效治理提供了重要技术手段。 | 王百 吕亿明 甘庆明 李大建 朱洪征 崔文昊 | 2014 | 大庆石油地质与开发2014，33，1： | 11 |
| 17 | 云计算环境下的虚拟机可信度量模型显示文摘为了解决云计算环境下虚拟机可信度量方法存在的并发性和安全性问题,提出了一种树形可信度量模型.根据云计算环境的特点将度量过程分离,一方面采用基于完整性的方式来度量管理域的可信性,另一方面采用基于系统行为的方式来度量用户域的可信性,解决了传统度量模型难以并发度量的问题,提高了度量模型的可扩展性.结合系统调用截获和虚拟机内省技术,实现了可信度量原型系统,并通过实验评测系统的有效性和相关性能.实验结果表明,树形可信度量模型能够有效验证虚拟机的可信度. | 周振吉 吴礼发 洪征 徐明飞 | 2014 | 东南大学学报(自然科学版)2014，44，1： | 10 |
| 18 | 语义层次的协议格式提取方法显示文摘现有协议格式提取方法在语法层次对程序执行轨迹进行分析,字段识别结果可能存在冗余和冲突。为了提高字段识别准确率,提出了一种语义层次的协议格式提取方法。方法首先将执行轨迹中的二进制指令转换为语义等价的中间语言形式,并通过细粒度的动态污点分析跟踪字段语义解析过程,在此基础上,依据字段的语义不可分割性,利用语义层次的字段识别策略实现了协议格式提取。测试结果表明,该方法具有较高的识别精度和较低的分析复杂度。 | 潘璠 洪征 周振吉 吴礼发 | 2013 | 通信学报2013，34，10： | 10 |
| 19 | 桥式分采器的研制与应用显示文摘为有效解决多层系开发过程中笼统合采油井层间干扰矛盾,最大程度发挥各层产能,研制了防气式分采泵两层分采主体技术,现场应用效果显著,但无法实现油井三层以上分采。在油井两层分采技术原理基础上,提出了'产层单向过流进入油管、油管内层间产液桥式多级过流、封隔器层间封隔、普通抽油泵举升'三层分采技术思路,通过对单流阀结构的改进,研制形成双通桥式流道、阀球扶正单向流道结构特点的桥式分采器,设计了'桥式分采器+Y211封隔器+Y111封隔器+普通管式抽油泵'三层分采技术管柱。2013年在长庆油田首次成功开展2口井现场试验,效果明显,为长庆油田多层系开发区块油井多层分采提供了新的技术手段。 | 李大建 甘庆明 牛彩云 吕亿明 王百 朱洪征 | 2014 | 石油钻采工艺2014，36，3： | 9 |
| 20 | 水平井找水技术现状与快速找水方法探讨显示文摘水平井已成为低渗透、超低渗透油藏最经济有效地开发方式,但生产过程中,水平井见水、水淹情况日益突出,见水水平井有效治理难度大。为此,对国内外油田水平井找水测试技术进行全面调研分析,对不同找水技术原理、特点、应用界限、仪器输送方式进行了综合评判,通过技术集成、融合创新,提出了水平井高效快速找水测试技术发展方向,设计了水平井高效快速找水测试技术方案。该测试技术方案能够适应不同液量井找水测试,为水平井高效快速找水测试研发提供了借鉴。 | 李大建 朱洪征 马国伟 杨海涛 杜向前 | 2021 | 石油地质与工程2021，35，1： | 9 |
您所在的机构暂未开通此部分的功能，请联系管理员