我国水-能源-粮食耦合关系及影响因素

为缓解我国水、能源和粮食资源紧张问题，促进资源可持续利用，构建水-能源-粮食系统，利用耦合协调度模型对我国的30个省（自治区、直辖市）进行测算,并利用空间杜宾模型分析主要影响因素。结果表明：2003—2017年，我国能源、粮食评价[JP]指数高于水资源评价指数，系统综合评价指数逐年递增；大部分省份耦合协调度处于初级协调水平且呈现逐年上升的态势，个别省份耦合协调度濒临失调；耦合协调度空间自相关性较强，虽有明显波动，但是呈现逐年加强的态势；影响耦合协调度的主要因素有从业人口数、固定资产投资额、人均生产总值、人口总数、[JP]文盲人口占比、工业污染排放、城镇化。     

无线电综合测试仪校准装置的研究及其不确定度分析

This calibration device of radio comprehensive tester is studied and established in this paper. It solves the verification and calibration of a large number of general-purpose radio comprehensive testers. The calibration device consists of four calibration sub- systems and calibration software system, including RF generator, audio generator, audio analyzer and RF analyzer. It also researches on the configuration of standard equipment and analyzes the uncertainty of the calibration devices, ensuring accurate and reliable val- ue transfer.     

大宗粉煤灰的综合利用及提质方案

对于大宗粉煤灰原灰进行分选加球磨机粉磨，同时添加合适的激发剂进行提质，可以生产出不同细度和活性的粉煤灰产品，提升粉煤灰在水泥及商品砼中的用量。介绍了某发电公司的粉煤灰处置现状，在此基础上，对商品砼的粉煤灰性能要求进行了大量市场调研，针对性地给出了该公司粉煤灰的提质方案，最后进行了提质粉煤灰的应用市场和产品竞争力分析。     

Liner services network design and fleet deployment with empty container repositioning

Transportation demand of shipping container fluctuates due to the seasonality of international trade, thus, every 3–6 months, the liner company has to alter its current liner shipping service network, redeploy ships and design cargo routes with the objective of minimizing the total cost. To solve the problem, the paper presents a mixed integer linear program model. The proposed model incorporates several relevant constraints, such as weekly frequency, the transshipment of cargo between two or more service routes, and transport time. Extensive numerical experiments based on realistic date of Asia–Europe–Oceania shipping operations show that the proposed model can solve real-case problems efficiently by CPLEX. The results demonstrate that the model can reduce ship’s capacity consumption and raise ships’ capacity utilization.     

嵌入式实时操作系统内核混合代码的自动化验证框架

"如何构造高可信的软件系统"已成为学术界和工业界的研究热点.操作系统内核作为软件系统的基础组件，它的安全可靠是构造高可信软件系统的重要环节.为了确保操作系统内核的安全可靠，将形式化方法引入到操作系统内核验证中，提出了一个自动化验证操作系统内核的框架.该验证框架包括：（1）分别对C语言程序和混合语言程序（C语言和汇编语言）进行验证；（2）在混合语言程序验证中，为汇编程序建立抽象模型，并将C语言程序和抽象模型粘合形成基于C语言验证工具可接收的验证模型；（3）从规范中提取性质，基于该自动验证工具，对性质完成自动验证；（4）该框架不限于特定的硬件架构.成功地运用该验证框架对两种不同硬件平台的嵌入式实时操作系统内核μC/OS-II进行了验证.结果显示：利用该框架在对两个不同的硬件平台上内核验证时，框架的可重复利用率很高，高达到88%，虽然其抽象模型需要根据不同的硬件平台进行重构.在对基于这两种平台的操作系统内核验证中，分别发现了10~12处缺陷.其中，在ARM平台上两处与硬件相关的问题被发现.实验表明，该方法对不同硬件平台的同一个操作系统分析验证具有一定的通用性.     

塔北地区储层敏感性综合预测

综合分析地质、地震及测井资料，可以准确地预测储层的敏感性。以地质分析及敏感性实验资料为基础，以测井资料为标定手段，以地震信息为横向预测导向，综合处理各种信息，从而实现对区域储层的敏感性预测。其中，利用测井资料预测储层敏感性是关键，须采用多参数相关系数法进行单井储层敏感性分析。以塔北地区侏罗系为例，综合各类信息进行了储层敏感性处理，分析结果表明，该区储层速敏弱，水敏、盐敏、碱敏和酸敏程度中等，与其储层敏感性实验结果基本吻合。     

酮苯脱蜡装置用加氢裂化尾油生产优质白油料

加氢裂化尾油经酮苯脱蜡和白土精制工艺可生产高质量润滑油基础油.该基础油具有很好的低温流动性能,且对添加剂感受性好,硫、氮含量低,饱和烃含量高,可以调合中、高档润滑油,制备白油.加氢裂化尾油的综合利用具有明显的经济效益.     

砾岩储层精细描述中标准测井资料的应用

克拉玛依油田七区的标准测井资料是指使用标准电极系视电阻率测井、自然电位测井和井径测井,以相同的1:500深度比例尺及相同的横向比例进行测井作业所取得的资料.这种资料本来并不具备定量解释储层孔隙度和含油饱和度的能力,但这种资料占该区测井资料总量的比率高达34%.利用标准电极系视电阻率资料和岩心分析资料建立了视电阻率-岩性图版,利用自然电位减小系数α和岩心孔隙度分析资料φ建立了α-φ图版,根据综合测井资料求出标准测井视电阻率校正系数,进而确定了饱和度计算方程的参数.与相应的综合测井资料计算结果相对比,用该方法得到的孔隙度平均绝对误差及相对误差分别为1.85%和11.88%;含油饱和度平均绝对误差及相对误差分别为9.08%和24.75%.将该方法有选择地应用到该区砾岩储层精细描述研究中,弥补了缺乏综合测井资料无法进行测井储层评价及参数研究的缺陷.     

浅谈如何有效学习计算机软件知识

计算机软件知识的学习并不是完全线性的，而是不断循环往复、迭代的过程。本对如何深入、广泛、有效地学习计算机软件知识做出了一些探讨。     

An Exploratory Study of E-Business Success Factors

E-business success factors are Important for traditional enterprises to implement e-business. This topic is attracting more and more researchers to study. This paper makes an exploratory study on the factors influencing e-business success. Firstly, based on the literature review, 52 factors are suggested. Secondly, two rounds of survey with Delphi method are conducted. Qualitative and quantitative analysis are used to identify 57 factors. This is the foundation of empirical study.