ARMv8-A Return-Oriented Programming实现方法

1

作者 赵利军 李民 彭诚 《计算机应用与软件》 北大核心 2018年第11期253-258,313,共7页

ARMv8-A是ARM公司首款支持64位指令集的处理器架构,其引入一个全新的64位指令集A64。ARMv8-A与以往的ARM架构在指令集、指令编码、内部寄存器(功能定义、长度和个数)、函数调用规约、函数prologue和epilogue处理等诸多方面均存在很大的... ARMv8-A是ARM公司首款支持64位指令集的处理器架构,其引入一个全新的64位指令集A64。ARMv8-A与以往的ARM架构在指令集、指令编码、内部寄存器(功能定义、长度和个数)、函数调用规约、函数prologue和epilogue处理等诸多方面均存在很大的差异。在ARMv8-A处理器架构上,如何来实现返回导向编程ROP(Return-Oriented Programming)攻击以及是否具有图灵完整性等问题目前尚不明确。深入讨论ARMv8-A上实现ROP的基本单元的特性,给出其逻辑结构与分类方法,并给出实现ARMv8-A ROP的原理框架与方法。通过一个基于Linaro ARMv8 Linux实现的ARMv8 ROP攻击实例来验证提出的技术和方法。 展开更多

关键词 ARMv8 返回导向编程 指令序列 漏洞利用

在线阅读 下载PDF 职称材料

员工组织承诺与国有企业创新——员工持股计划的激励与约束双重逻辑 被引量：3

2

作者 孙哲 艾尼瓦尔 《武汉大学学报（哲学社会科学版）》 CSSCI 北大核心 2024年第6期130-141,共12页

创新是提升国有企业竞争力的重要手段。基于社会交换理论,以中央企业首批10家员工持股试点企业中的3家作为研究样本,通过对员工的问卷调研数据进行分析,可以得出以下结论:员工的情感承诺和持续承诺显著促进国有企业利用式创新,持续承诺... 创新是提升国有企业竞争力的重要手段。基于社会交换理论,以中央企业首批10家员工持股试点企业中的3家作为研究样本,通过对员工的问卷调研数据进行分析,可以得出以下结论:员工的情感承诺和持续承诺显著促进国有企业利用式创新,持续承诺和规范承诺显著促进探索式创新;横向监督在员工组织承诺与国有企业创新间起中介作用;知识共享在员工组织承诺与国有企业创新之间的中介作用并不成立,但知识共享在持股员工的组织承诺与利用式创新之间发挥显著的中介作用。员工组织承诺是实现国有企业创新驱动的关键动力之一,应充分发挥员工持股计划的激励与约束功能以激发员工创新意识、推动国有企业创新。 展开更多

关键词 员工组织承诺 国有企业 员工持股 探索式创新 利用式创新

在线阅读 下载PDF 职称材料

MODFLOW在宿迁市地下水资源评价中的应用 被引量：80

3

作者 周念清 朱蓉 朱学愚 《水文地质工程地质》 CAS CSCD 2000年第6期9-13,共5页

地下水是宿迁市主要的供水水源 ,过去由于开采布局不合理 ,在全区已形成多个大小不等的降落漏斗 ,且面积在不断扩大。为了加强地下水资源的管理 ,合理开发利用和有效保护地下水资源 ,必须进行地下水资源的调查与评价。本文采用 MODFL O... 地下水是宿迁市主要的供水水源 ,过去由于开采布局不合理 ,在全区已形成多个大小不等的降落漏斗 ,且面积在不断扩大。为了加强地下水资源的管理 ,合理开发利用和有效保护地下水资源 ,必须进行地下水资源的调查与评价。本文采用 MODFL OW模型对全区的地下水位和水量进行模拟和预报。在此基础上制定合理的开采方案 ,通过对开采量的优化和合理分配 ,在获得最大开采量的同时 ,有效地控制降落漏斗区水位的下降 ,为该地区地下水资源的合理开发利用提供了依据。 展开更多

关键词 MODFLOW模型 地下水资源 降落漏斗 评价 开采量

在线阅读 下载PDF 职称材料

系统缓冲区溢出攻击防范体系的建立 被引量：8

4

作者 王磊 张玉清 +1 位作者 王力 郎良 《计算机工程》 CAS CSCD 北大核心 2004年第12期106-108,共3页

缓冲区溢出攻击是Internet上危害最大、最广泛的一种攻击手段。该文在讨论缓冲区溢出攻击的内存模型和工作原理的基础上,提出了安全编程的概念与主要原则,并在整合前人工作的基础上,系统地提出了贯穿软件生命期,包括编程开发、编译测试... 缓冲区溢出攻击是Internet上危害最大、最广泛的一种攻击手段。该文在讨论缓冲区溢出攻击的内存模型和工作原理的基础上,提出了安全编程的概念与主要原则,并在整合前人工作的基础上,系统地提出了贯穿软件生命期,包括编程开发、编译测试、安全配置使用3个阶段的完整缓冲区溢出防范体系模型。 展开更多

关键词 缓冲区溢出 堆栈 安全编程 防范体系

在线阅读 下载PDF 职称材料

升平气田火山岩气藏井网井距研究 被引量：14

5

作者 周学民 郭平 +2 位作者 黄全华 彭彩珍 汪周华 《天然气工业》 EI CAS CSCD 北大核心 2006年第5期79-81,共3页

升平气田的储集层为中孔低渗火山岩,由于火山岩的特殊性,目前国内外关于火山岩气藏井网井距研究的相关报道较少,因此如何合理确定火山岩气藏井网井距对于保证升平气田开发取得最佳开发效果和经济效益具有重要意义。此次研究从地质、气... 升平气田的储集层为中孔低渗火山岩,由于火山岩的特殊性,目前国内外关于火山岩气藏井网井距研究的相关报道较少,因此如何合理确定火山岩气藏井网井距对于保证升平气田开发取得最佳开发效果和经济效益具有重要意义。此次研究从地质、气藏工程、数值模拟角度探讨了升平气田井网井距的确定,分别按照经济评价方法、定单井产能法、合理采气速度法、丰度计算法计算了其极限井距和技术合理井距,并以经济评价方法为基础确定该气藏的合理井距。研究认为只要技术合理,井距不低于其经济极限井距都是可行的。同时建议对升平气田实施非均衡开采,在相对高渗透层采用密井以获得高产,在低渗透层采用稀井以保证整个气藏开发的经济效益。最后结合数值模拟结果综合确定升深1井区采用1400m井距、升深2井区采用1000m井距。 展开更多

关键词 火山岩油气藏 低渗透油气藏 井网 开采 开发方案 经济效益

在线阅读 下载PDF 职称材料

油田产量优化的目标规划模型 被引量：16

6

作者 殷爱贞 张在旭 +1 位作者 黄昶生 李嘉庆 《石油大学学报（自然科学版）》 CSCD 北大核心 2003年第5期119-121,共3页

在现有开采条件下确定油田经济效益最大时的产量组合 (最佳经济产量 )的过程称为油田产量优化。分析了影响油田最佳经济产量的因素 ,将油田产量细分为自然产量、措施产量和新建产能产量 ,提出了自然油变动成本、措施油变动成本和新建产... 在现有开采条件下确定油田经济效益最大时的产量组合 (最佳经济产量 )的过程称为油田产量优化。分析了影响油田最佳经济产量的因素 ,将油田产量细分为自然产量、措施产量和新建产能产量 ,提出了自然油变动成本、措施油变动成本和新建产能油变动成本的计算方法。在此基础上 ,提出了多约束条件下以利润最大化为目标的油田产量优化模型。该模型的建立可为油田的中、短期开发规划提供定量的决策依据。 展开更多

关键词 油田开发 产量优化 目标规划 优化模型 利润

在线阅读 下载PDF 职称材料

基于消息机制的CAD软件二次开发技术的研究与实践 被引量：7

7

作者 计时鸣 陈胜勇 赵燕伟 《计算机工程与应用》 CSCD 北大核心 1999年第1期108-111,共4页

该文叙述了当前的软件二次开发方法的不足，介绍了多任务操作系统的消息驱动机制和以消息为纽带的软件二次开发方法，以及以这种方法开发ＭＢＰ程序的步骤。最后作者以ＡｕｔｏＣＡＤ为例，介绍了在ＷＩＮＤＯＷＳ多任务操作系统工作平... 该文叙述了当前的软件二次开发方法的不足，介绍了多任务操作系统的消息驱动机制和以消息为纽带的软件二次开发方法，以及以这种方法开发ＭＢＰ程序的步骤。最后作者以ＡｕｔｏＣＡＤ为例，介绍了在ＷＩＮＤＯＷＳ多任务操作系统工作平台下，一个机械ＣＡＤ系统的应用开发实例。 展开更多

关键词 软件二次开发 消息驱动 AUTOCAD CAD 机械设计

在线阅读 下载PDF 职称材料

油田开发规划决策软件系统 被引量：12

8

作者 刘志斌 傅青山 +1 位作者 丁辉 凡括元 《西南石油学院学报》 CSCD 2004年第1期79-82,共4页

针对油田开发规划所要解决的开发动态预测、产量构成优化、措施结构优化、产量最优配置、措施最优控制和综合规划方案。从用户需求的角度介绍了“油田开发规划决策软件系统”的结构设计和数据流程 ,并进行了模块功能设计 ,开发了“油田... 针对油田开发规划所要解决的开发动态预测、产量构成优化、措施结构优化、产量最优配置、措施最优控制和综合规划方案。从用户需求的角度介绍了“油田开发规划决策软件系统”的结构设计和数据流程 ,并进行了模块功能设计 ,开发了“油田开发规划决策软件系统” ,经多个油田试用取得了很好的效果。 展开更多

关键词 油田开发规划 软件开发 动态预测 优化配产 最优控制

在线阅读 下载PDF 职称材料

城市土地集约利用的内涵及对策研究 被引量：45

9

作者 汪波 王伟华 《重庆大学学报（社会科学版）》 2005年第5期16-18,共3页

本文经过分析,从不同方面对城市土地集约利用进行了解释,尝试性地给出了城市土地集约利用的内涵。同时,在理解城市土地集约利用内涵的基础上,对土地集约利用的政策进行了分析,提出了一些解决实际问题的措施。

关键词 城市土地集约利用 土地规划 政策分析 目标管理

在线阅读 下载PDF 职称材料

S油藏产能评价及开发方式优化设计 被引量：7

10

作者 陈祖华 郑永旺 《西南石油大学学报（自然科学版）》 CAS CSCD 北大核心 2012年第2期111-118,共8页

S油藏属于复杂断块和局部异常高压油藏,在对其地质特征以及现有10口试油测试和试采井共23井次的测试资料系统分析基础上,运用层序地层学、试井边界探测分析、产能评价等多种油藏工程方法对S油藏P1、P2、P3组等3套含油层系的压力系统、... S油藏属于复杂断块和局部异常高压油藏,在对其地质特征以及现有10口试油测试和试采井共23井次的测试资料系统分析基础上,运用层序地层学、试井边界探测分析、产能评价等多种油藏工程方法对S油藏P1、P2、P3组等3套含油层系的压力系统、原油性质、测试产能、米采油指数和采油强度等开发设计所需技术政策界限进行了评价,认为:P1组为一套正常压力系统、普通黑油为主、测试折算日产油能力在20 t左右、米采油指数较高的弹性水压驱动油藏;P2、P3组为异常高压、轻质挥发油为主、测试折算日产油在40～50 t左右、米采油指数较高的天然能量驱动油藏。结合S油藏地质条件,综合运用单井经济极限控制储量、经济极限井网密度、以及经济最佳井网密度等计算方法确定了S油藏合理井网密度和井距,运用复杂断块油藏建模及数值模拟方法对注水开采S区块P1油藏、天然能量间歇开采P2和P3油藏的开发方案进行了优化设计,提出最佳开发方案为部署直井14口井,水平井3口,预测15年后方案累产油93.48×104t,采出程度分别达到22.53%、8.19%和12.95%。 展开更多

关键词 复杂断块油藏 试井分析 产能评价 开发方案优化 开发指标预测

在线阅读 下载PDF 职称材料

基于目标规划的单矿床矿产资源开发优化模型 被引量：2

11

作者 郑明贵 王文潇 蔡嗣经 《金属矿山》 CAS 北大核心 2010年第5期51-54,共4页

在阐述目标规划优化机理的基础上,建立了基于目标规划的单矿床矿产资源开发优化模型,并利用"霍克-杰维斯"算法进行了求解,得出白象山铁矿由于其地质资源丰富,生产规模可以达到上限规模,而资金问题始终成为其生产规模扩大的关... 在阐述目标规划优化机理的基础上,建立了基于目标规划的单矿床矿产资源开发优化模型,并利用"霍克-杰维斯"算法进行了求解,得出白象山铁矿由于其地质资源丰富,生产规模可以达到上限规模,而资金问题始终成为其生产规模扩大的关键影响因素之一。研究结果表明,新矿产资源开发模式使得姑山矿区可持续发展能力达到良好及以上,效果较好。 展开更多

关键词 单矿床 矿产资源开发 目标规划 优化

在线阅读 下载PDF 职称材料

北京城区地热田某地热井开发与利用方案探析 被引量：1

12

作者 鞠凤萍 赵肖冰 +1 位作者 郭密文 林叶 《中国矿业》 北大核心 2016年第S1期259-264,267,共7页

地热资源因具有清洁、高效等特性而被日益广泛开发利用。通过分析北京地区地热资源概况及发展现状,对北京城区地热田某地热井开发利用与供需情况进行探讨,计算项目用水量并进行经济评价,同时考虑地热资源开发与环境保护的关系,提出科学... 地热资源因具有清洁、高效等特性而被日益广泛开发利用。通过分析北京地区地热资源概况及发展现状,对北京城区地热田某地热井开发利用与供需情况进行探讨,计算项目用水量并进行经济评价,同时考虑地热资源开发与环境保护的关系,提出科学合理、有序利用的地热井开发与利用方案,以确保北京地区地热资源实现可持续利用。 展开更多

关键词 地热田 地热井 开发与利用方案

在线阅读 下载PDF 职称材料

油田开发方案协同设计系统建模方法 被引量：1

13

作者 唐国维 王学春 +3 位作者 刘亚姝 李井辉 魏玉芬 刘华蓥（审稿） 《大庆石油学院学报》 CAS 北大核心 2006年第2期83-85,151,共3页

油田开发方案的制订过程复杂,需要相关专业人员共同完成.将计算机支持的协同工作技术引入到该领域,对Ellis三元概念模型进行扩充,采用面向对象的系统分析和设计方法、工作流的设计思想以及集合表示,构建了油田开发方案协同设计系统模型... 油田开发方案的制订过程复杂,需要相关专业人员共同完成.将计算机支持的协同工作技术引入到该领域,对Ellis三元概念模型进行扩充,采用面向对象的系统分析和设计方法、工作流的设计思想以及集合表示,构建了油田开发方案协同设计系统模型,为油田开发方案的制订提供标准的、协同的工作环境,以提高工作效率. 展开更多

关键词 油田开发方案 计算机支持的协同工作 Ellis概念模型 系统模型

在线阅读 下载PDF 职称材料

基于资源利用综合水平的采购量分配方法 被引量：1

14

作者 王怀祖 熊中楷 《重庆大学学报（自然科学版）》 EI CAS CSCD 北大核心 2003年第7期132-134,150,共4页

把供应商能够提供的一种商品的价格、质量、准时供货水平、售后服务水平等视为企业现有的资源 ,提出了资源利用综合水平的概念 ,并建立了资源利用指数 ,来考评一种商品采购量在几个供应商之间分配所得到的综合利用现有供应商资源的效果... 把供应商能够提供的一种商品的价格、质量、准时供货水平、售后服务水平等视为企业现有的资源 ,提出了资源利用综合水平的概念 ,并建立了资源利用指数 ,来考评一种商品采购量在几个供应商之间分配所得到的综合利用现有供应商资源的效果。资源利用指数是个相对值 ,即使是出现物价综合水平提高 ,供应商变化 ,供应商整体服务水平提高等因素的情况下 ,也能将本期的资源利用指数同以前期进行比较 ,反映出采购部门的采购量分配方案是否更充分利用了当时的供应商资源。在此基础上 ,建立了一种线性规划模型 。 展开更多

关键词 物流 资源利用综合水平 采购量 线性规划

在线阅读 下载PDF 职称材料

神经优化计算模型求解油田开发中的优化问题 被引量：1

15

作者 胡泽 贾永禄 晏建军 《西南石油学院学报》 CSCD 2003年第2期27-29,共3页

阐述了线性优化计算和非线性优化计算的神经网络模型 ,该模型可以在电路时间常数数量级 (几百纳秒 )内求解复杂的优化问题 ,且能克服一般数学理论求解优化问题的缺点。之后对油田开发中使用典型曲线自动拟合产量衰减曲线进行了分析 ,并... 阐述了线性优化计算和非线性优化计算的神经网络模型 ,该模型可以在电路时间常数数量级 (几百纳秒 )内求解复杂的优化问题 ,且能克服一般数学理论求解优化问题的缺点。之后对油田开发中使用典型曲线自动拟合产量衰减曲线进行了分析 ,并讨论了油田开发规划模型的建立与求解 。 展开更多

关键词 神经网络 优化计算 油田开发规划 产量预测

在线阅读 下载PDF 职称材料

一种以面向对象及形式化技术为基础的严格的软件开发方法 被引量：3

16

作者 吴会松 《郑州工业大学学报》 1997年第1期95-100,共6页

随着软件开发规模的迅速扩大，目前流行的软件开发方法（包括当前的软件工程法）已难以满足开发实践的要求，实践要求在软件开发方法学上能有新的进展。鉴于此，本文在面向对象及开式化方法的基础上，系统地提出了一种严格的软件开发方... 随着软件开发规模的迅速扩大，目前流行的软件开发方法（包括当前的软件工程法）已难以满足开发实践的要求，实践要求在软件开发方法学上能有新的进展。鉴于此，本文在面向对象及开式化方法的基础上，系统地提出了一种严格的软件开发方法，力图使开发者的创造性及开发环境的自动化能力都得到充分发挥。 展开更多

关键词 软件开发 面向对象 形式化方法 软件重用

在线阅读 下载PDF 职称材料

ROP图灵完备的普遍可实现性 被引量：5

17

作者 袁平海 曾庆凯 《软件学报》 EI CSCD 北大核心 2017年第10期2583-2598,共16页

返回导向编程(return-oriented programming,简称ROP)被广泛用于软件漏洞利用攻击中,用来构造攻击代码.通过更新ROP构造技术,证实了图灵完备的纯ROP攻击代码在软件模块中是普遍可实现的.ROP构造功能代码的难点是实现条件转移逻辑.通过... 返回导向编程(return-oriented programming,简称ROP)被广泛用于软件漏洞利用攻击中,用来构造攻击代码.通过更新ROP构造技术,证实了图灵完备的纯ROP攻击代码在软件模块中是普遍可实现的.ROP构造功能代码的难点是实现条件转移逻辑.通过深入分析条件转移机器指令的执行上下文发现,对这些指令的传统认知存在一定的局限性.事实上,在已有代码中存在少量的条件转移指令,它们的两个分支的开始部分都是可复用的代码片段(称为gadgets),而且这两个gadgets会从不同的内存单元中取得下一个gadget的地址,因此,以这些条件转移指令开始的代码片段可以帮助ROP实现条件转移逻辑.把这种代码片段称为if-gadget.在Linux和Windows系统上的实验结果表明,if-gadget普遍存在,即使在代码量很小的日常可执行程序中也存在.在Binutils程序集上的实验结果表明,引入if-gadget后,构造图灵完备的ROP代码要比用传统方法容易得多.在Ubuntu这样的主流操作系统上,由于可执行程序上默认没有实施防御ROP攻击的保护机制,因此,攻击者可以在这些软件模块中构造纯ROP攻击代码来发动攻击.由此可见,ROP对系统安全的威胁比原来认为的严重得多. 展开更多

关键词 软件漏洞利用 返回导向编程 图灵完备计算:条件转移逻辑

在线阅读 下载PDF 职称材料

ROP漏洞利用脚本的语义还原和自动化移植方法 被引量：2

18

作者 施瑞恒 朱云聪 +1 位作者 赵易如 赵磊 《计算机科学》 CSCD 北大核心 2022年第11期49-54,共6页

漏洞利用脚本在安全研究中有着极为重要的作用,安全研究人员需要研究漏洞利用脚本触发以及利用漏洞的方式,来对漏洞程序进行有效的防护。然而,从网络中获取的大量漏洞利用脚本的通用性和适配性都很差,局限于特定的操作系统及环境,会因... 漏洞利用脚本在安全研究中有着极为重要的作用,安全研究人员需要研究漏洞利用脚本触发以及利用漏洞的方式,来对漏洞程序进行有效的防护。然而,从网络中获取的大量漏洞利用脚本的通用性和适配性都很差,局限于特定的操作系统及环境,会因运行环境的改变而失效。这个问题在基于ROP的漏洞利用脚本中尤为普遍,使得ROP漏洞利用脚本的移植利用分析变得非常困难,需要依赖于大量的人工辅助与专家经验。针对ROP漏洞利用脚本的移植利用难题,提出了ROPTrans系统,通过ROP漏洞利用脚本的语义识别,定位与运行环境相关的关键语义及其变量,随后自动化适配环境,生成目标环境下的ROP漏洞利用脚本,以实现ROP脚本的自动化移植。实验结果表明,ROPTrans的成功率可以到达80%,验证了该方法的有效性。 展开更多

关键词 漏洞利用 控制流劫持 ROP 移植

在线阅读 下载PDF 职称材料

Windows ROP自动生成技术的研究与应用

19

作者 颜涛 王轶骏 薛质 《计算机工程》 CAS CSCD 北大核心 2011年第23期270-272,共3页

返回导向编程(ROP)技术可以有效绕过数据执行保护(DEP)机制,但人工分析可执行库中的二进制指令序列组合成ROP gadgets耗时而繁琐。为此,利用gadgets字典,设计并实现一种基于Windows平台的自动构建ROP Gadgets方法,允许ROP执行任意操作,... 返回导向编程(ROP)技术可以有效绕过数据执行保护(DEP)机制,但人工分析可执行库中的二进制指令序列组合成ROP gadgets耗时而繁琐。为此,利用gadgets字典,设计并实现一种基于Windows平台的自动构建ROP Gadgets方法,允许ROP执行任意操作,并完成图灵完整性。Exploit开发人员利用自动生成的ROP gadgets,可加速绕过DEP机制的Exploit开发过程,缩短Exploit的开发时间。 展开更多

关键词 缓冲区溢出 ROP自动生成 exploit程序 数据执行保护 Gadgets字典

在线阅读 下载PDF 职称材料

编制矿山开发建设项目水土保持方案的几点经验 被引量：6

20

作者 王海军 张雨华 +1 位作者 王兆良 代凤梅 《水土保持通报》 CSCD 北大核心 2005年第5期108-110,共3页

矿业开发破坏地表植被,扰动岩石结构,常造成严重的人为水土流失。通过几年来工作实践的经验总结,对矿山开发建设项目水土保持方案编制中,水土流失预测和防治措施的合理布设,提出一些切实可行的方法和途径。水土保持防治措施的布置既要... 矿业开发破坏地表植被,扰动岩石结构,常造成严重的人为水土流失。通过几年来工作实践的经验总结,对矿山开发建设项目水土保持方案编制中,水土流失预测和防治措施的合理布设,提出一些切实可行的方法和途径。水土保持防治措施的布置既要经济合理,又要满足各项水土流失防治理目标,它包括工程防治措施和植物防治措施2个部分。 展开更多

关键词 矿山开发建设 水土保持方案 经验

在线阅读 下载PDF 职称材料